/ / / 12 11 10 9 8 7 6 5 4 3 2 \ / 12 11 10 9 8 7 6 5 4 3 2 \ \ / / 12 11 10 9 8 7 6 5 4 3 2 \ \ / / 12 11 10 9 8 7 6 5 4 3 2 \ \\
Or\And\x <= CRootOf\4*x - 20*x - 35*x + 250*x - 5*x - 704*x + 955*x - 2270*x - 4179*x + 9244*x + 2306*x + 8664*x + 32374, 2/, CRootOf\4*x - 20*x - 35*x + 250*x - 5*x - 704*x + 955*x - 2270*x - 4179*x + 9244*x + 2306*x + 8664*x + 32374, 1/ <= x/, And\x <= CRootOf\4*x - 20*x - 35*x + 250*x - 5*x - 704*x + 955*x - 2270*x - 4179*x + 9244*x + 2306*x + 8664*x + 32374, 0/, -oo < x/, And\CRootOf\4*x - 20*x - 35*x + 250*x - 5*x - 704*x + 955*x - 2270*x - 4179*x + 9244*x + 2306*x + 8664*x + 32374, 3/ <= x, x < oo//
$$\left(x \leq \operatorname{CRootOf} {\left(4 x^{12} - 20 x^{11} - 35 x^{10} + 250 x^{9} - 5 x^{8} - 704 x^{7} + 955 x^{6} - 2270 x^{5} - 4179 x^{4} + 9244 x^{3} + 2306 x^{2} + 8664 x + 32374, 2\right)} \wedge \operatorname{CRootOf} {\left(4 x^{12} - 20 x^{11} - 35 x^{10} + 250 x^{9} - 5 x^{8} - 704 x^{7} + 955 x^{6} - 2270 x^{5} - 4179 x^{4} + 9244 x^{3} + 2306 x^{2} + 8664 x + 32374, 1\right)} \leq x\right) \vee \left(x \leq \operatorname{CRootOf} {\left(4 x^{12} - 20 x^{11} - 35 x^{10} + 250 x^{9} - 5 x^{8} - 704 x^{7} + 955 x^{6} - 2270 x^{5} - 4179 x^{4} + 9244 x^{3} + 2306 x^{2} + 8664 x + 32374, 0\right)} \wedge -\infty < x\right) \vee \left(\operatorname{CRootOf} {\left(4 x^{12} - 20 x^{11} - 35 x^{10} + 250 x^{9} - 5 x^{8} - 704 x^{7} + 955 x^{6} - 2270 x^{5} - 4179 x^{4} + 9244 x^{3} + 2306 x^{2} + 8664 x + 32374, 3\right)} \leq x \wedge x < \infty\right)$$
((-oo < x)∧(x <= CRootOf(4*x^12 - 20*x^11 - 35*x^10 + 250*x^9 - 5*x^8 - 704*x^7 + 955*x^6 - 2270*x^5 - 4179*x^4 + 9244*x^3 + 2306*x^2 + 8664*x + 32374, 0)))∨((x < oo)∧(CRootOf(4*x^12 - 20*x^11 - 35*x^10 + 250*x^9 - 5*x^8 - 704*x^7 + 955*x^6 - 2270*x^5 - 4179*x^4 + 9244*x^3 + 2306*x^2 + 8664*x + 32374, 3) <= x))∨((x <= CRootOf(4*x^12 - 20*x^11 - 35*x^10 + 250*x^9 - 5*x^8 - 704*x^7 + 955*x^6 - 2270*x^5 - 4179*x^4 + 9244*x^3 + 2306*x^2 + 8664*x + 32374, 2))∧(CRootOf(4*x^12 - 20*x^11 - 35*x^10 + 250*x^9 - 5*x^8 - 704*x^7 + 955*x^6 - 2270*x^5 - 4179*x^4 + 9244*x^3 + 2306*x^2 + 8664*x + 32374, 1) <= x))
/ 12 11 10 9 8 7 6 5 4 3 2 \ / 12 11 10 9 8 7 6 5 4 3 2 \ / 12 11 10 9 8 7 6 5 4 3 2 \ / 12 11 10 9 8 7 6 5 4 3 2 \
(-oo, CRootOf\4*x - 20*x - 35*x + 250*x - 5*x - 704*x + 955*x - 2270*x - 4179*x + 9244*x + 2306*x + 8664*x + 32374, 0/] U [CRootOf\4*x - 20*x - 35*x + 250*x - 5*x - 704*x + 955*x - 2270*x - 4179*x + 9244*x + 2306*x + 8664*x + 32374, 1/, CRootOf\4*x - 20*x - 35*x + 250*x - 5*x - 704*x + 955*x - 2270*x - 4179*x + 9244*x + 2306*x + 8664*x + 32374, 2/] U [CRootOf\4*x - 20*x - 35*x + 250*x - 5*x - 704*x + 955*x - 2270*x - 4179*x + 9244*x + 2306*x + 8664*x + 32374, 3/, oo)
$$x\ in\ \left(-\infty, \operatorname{CRootOf} {\left(4 x^{12} - 20 x^{11} - 35 x^{10} + 250 x^{9} - 5 x^{8} - 704 x^{7} + 955 x^{6} - 2270 x^{5} - 4179 x^{4} + 9244 x^{3} + 2306 x^{2} + 8664 x + 32374, 0\right)}\right] \cup \left[\operatorname{CRootOf} {\left(4 x^{12} - 20 x^{11} - 35 x^{10} + 250 x^{9} - 5 x^{8} - 704 x^{7} + 955 x^{6} - 2270 x^{5} - 4179 x^{4} + 9244 x^{3} + 2306 x^{2} + 8664 x + 32374, 1\right)}, \operatorname{CRootOf} {\left(4 x^{12} - 20 x^{11} - 35 x^{10} + 250 x^{9} - 5 x^{8} - 704 x^{7} + 955 x^{6} - 2270 x^{5} - 4179 x^{4} + 9244 x^{3} + 2306 x^{2} + 8664 x + 32374, 2\right)}\right] \cup \left[\operatorname{CRootOf} {\left(4 x^{12} - 20 x^{11} - 35 x^{10} + 250 x^{9} - 5 x^{8} - 704 x^{7} + 955 x^{6} - 2270 x^{5} - 4179 x^{4} + 9244 x^{3} + 2306 x^{2} + 8664 x + 32374, 3\right)}, \infty\right)$$
x in Union(Interval(-oo, CRootOf(4*x^12 - 20*x^11 - 35*x^10 + 250*x^9 - 5*x^8 - 704*x^7 + 955*x^6 - 2270*x^5 - 4179*x^4 + 9244*x^3 + 2306*x^2 + 8664*x + 32374, 0)), Interval(CRootOf(4*x^12 - 20*x^11 - 35*x^10 + 250*x^9 - 5*x^8 - 704*x^7 + 955*x^6 - 2270*x^5 - 4179*x^4 + 9244*x^3 + 2306*x^2 + 8664*x + 32374, 1), CRootOf(4*x^12 - 20*x^11 - 35*x^10 + 250*x^9 - 5*x^8 - 704*x^7 + 955*x^6 - 2270*x^5 - 4179*x^4 + 9244*x^3 + 2306*x^2 + 8664*x + 32374, 2)), Interval(CRootOf(4*x^12 - 20*x^11 - 35*x^10 + 250*x^9 - 5*x^8 - 704*x^7 + 955*x^6 - 2270*x^5 - 4179*x^4 + 9244*x^3 + 2306*x^2 + 8664*x + 32374, 3), oo))