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