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