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