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