2*x - 1 9 ------- - 1 <= --------- x + 5 2*(x + 5)
-1 + (2*x - 1)/(x + 5) <= 9/((2*(x + 5)))
(-5, 21/2]
x in Interval.Lopen(-5, 21/2)
And(x <= 21/2, -5 < x)
(x <= 21/2)∧(-5 < x)