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