| 2 | | 2 | |x + 10*x + 16| >= |x - 16|
|x^2 + 10*x + 16| >= |x^2 - 16|
[-5, -16/5] U [0, oo)
x in Union(Interval(-5, -16/5), Interval(0, oo))
Or(And(-5 <= x, x <= -16/5), And(0 <= x, x < oo))
((-5 <= x)∧(x <= -16/5))∨((0 <= x)∧(x < oo))