|x | |-- + 12| >= 2 | 7 | |x |
|x/x^7 + 12| >= 2
(-oo, 0) U (0, oo)
x in Union(Interval.open(-oo, 0), Interval.open(0, oo))
And(x > -oo, x < oo, x != 0)
(x > -oo)∧(x < oo)∧(Ne(x, 0))