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