/ / ____ \\
| |3 \/ 23 ||
Or|And(x <= -1/7, -oo < x), And|- + ------ <= x, x < oo||
\ \7 7 //
$$\left(x \leq - \frac{1}{7} \wedge -\infty < x\right) \vee \left(\frac{3}{7} + \frac{\sqrt{23}}{7} \leq x \wedge x < \infty\right)$$
((x <= -1/7)∧(-oo < x))∨((x < oo)∧(3/7 + sqrt(23)/7 <= x))
____
3 \/ 23
(-oo, -1/7] U [- + ------, oo)
7 7
$$x\ in\ \left(-\infty, - \frac{1}{7}\right] \cup \left[\frac{3}{7} + \frac{\sqrt{23}}{7}, \infty\right)$$
x in Union(Interval(-oo, -1/7), Interval(3/7 + sqrt(23)/7, oo))