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