2 x - 4*x x - 3 1 - x -------- + ----- >= ----- 8 5 6
(x - 3)/5 + (x^2 - 4*x)/8 >= (1 - x)/6
/ /46 \ \ Or|And|-- <= x, x < oo|, And(x <= -2, -oo < x)| \ \15 / /
((46/15 <= x)∧(x < oo))∨((x <= -2)∧(-oo < x))
46 (-oo, -2] U [--, oo) 15
x in Union(Interval(-oo, -2), Interval(46/15, oo))