4*x + 1/3 - x > x + 1/2 + -x + 3/4
-x + 4*x + 1/3 > 3/4 - x + x + 1/2
/11 \ And|-- < x, x < oo| \36 /
(11/36 < x)∧(x < oo)
11 (--, oo) 36
x in Interval.open(11/36, oo)