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