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