-x - 1 + 3
---------- <= 2*x + 7*x - 7/6 - 2/3
2
(-x - 1 + 3)/2 <= 2*x + 7*x - 7/6 - 2/3
/17 \ And|-- <= x, x < oo| \57 /
(17/57 <= x)∧(x < oo)
17 [--, oo) 57
x in Interval(17/57, oo)