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