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