3*x + 2/3 - x - 1 > x + 1/2
-x + 3*x + 2/3 - 1 > x + 1/2
(5/6, oo)
x in Interval.open(5/6, oo)
And(5/6 < x, x < oo)
(5/6 < x)∧(x < oo)