x + 2 7*x - 1 5 - 2*x ----- - ------- <= ------- 15 5 9
(x + 2)/15 - (7*x - 1)/5 <= (5 - 2*x)/9
[-1/5, oo)
x in Interval(-1/5, oo)
And(-1/5 <= x, x < oo)
(-1/5 <= x)∧(x < oo)