-3*(5 - 5*x) - 10 >= 3*(2*x - 4)
[13/9, oo)
x in Interval(13/9, oo)
And(13/9 <= x, x < oo)
(13/9 <= x)∧(x < oo)