______________ ______________ / 2 / 2 \/ 8 - 2*x - x \/ 8 - 2*x - x ----------------- <= ----------------- x + 10 2*x + 9
sqrt(-x^2 + 8 - 2*x)/(x + 10) <= sqrt(-x^2 + 8 - 2*x)/(2*x + 9)
[-4, 1] U {2}
x in Union(FiniteSet(2), Interval(-4, 1))
Or(And(-4 <= x, x <= 1), x = 2)
(x = 2))∨((-4 <= x)∧(x <= 1)