5*x - 6 2*x - 3 ------- - 3*x >= 7 - ------- 3 4
-3*x + (5*x - 6)/3 >= -(2*x - 3)/4 + 7
/ -117 \ And|x <= -----, -oo < x| \ 10 /
(x <= -117/10)∧(-oo < x)
-117 (-oo, -----] 10
x in Interval(-oo, -117/10)