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