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