2*x - 1 9 ------- - 1 >= --------- x + 5 2*(x + 5)
-1 + (2*x - 1)/(x + 5) >= 9/((2*(x + 5)))
Or(And(21/2 <= x, x < oo), And(-oo < x, x < -5))
((21/2 <= x)∧(x < oo))∨((-oo < x)∧(x < -5))
(-oo, -5) U [21/2, oo)
x in Union(Interval.open(-oo, -5), Interval(21/2, oo))