x - 1 x + 1 2*x - ----- <= ----- 2 3
2*x - (x - 1)/2 <= (x + 1)/3
And(x <= -1/7, -oo < x)
(x <= -1/7)∧(-oo < x)
(-oo, -1/7]
x in Interval(-oo, -1/7)