x + 1/2 - x - 2/3 < 1 + 2*x
-x + x + 1/2 - 2/3 < 2*x + 1
(-7/12, oo)
x in Interval.open(-7/12, oo)
And(-7/12 < x, x < oo)
(-7/12 < x)∧(x < oo)