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