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