3 + x <= 8*x + -3*x - 7
x + 3 <= 8*x - 3*x - 7
And(5/2 <= x, x < oo)
(5/2 <= x)∧(x < oo)
[5/2, oo)
x in Interval(5/2, oo)