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