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