/ / / 5 4 3 2 \\ / / 5 4 3 2 \ / 5 4 3 2 \ \\
Or\And\-3 <= x, x < CRootOf\x - 249*x + 18*x + 22*x + 13*x + 3, 0//, And\x < CRootOf\x - 249*x + 18*x + 22*x + 13*x + 3, 2/, CRootOf\x - 249*x + 18*x + 22*x + 13*x + 3, 1/ < x//
$$\left(-3 \leq x \wedge x < \operatorname{CRootOf} {\left(x^{5} - 249 x^{4} + 18 x^{3} + 22 x^{2} + 13 x + 3, 0\right)}\right) \vee \left(x < \operatorname{CRootOf} {\left(x^{5} - 249 x^{4} + 18 x^{3} + 22 x^{2} + 13 x + 3, 2\right)} \wedge \operatorname{CRootOf} {\left(x^{5} - 249 x^{4} + 18 x^{3} + 22 x^{2} + 13 x + 3, 1\right)} < x\right)$$
((-3 <= x)∧(x < CRootOf(x^5 - 249*x^4 + 18*x^3 + 22*x^2 + 13*x + 3, 0)))∨((x < CRootOf(x^5 - 249*x^4 + 18*x^3 + 22*x^2 + 13*x + 3, 2))∧(CRootOf(x^5 - 249*x^4 + 18*x^3 + 22*x^2 + 13*x + 3, 1) < x))
/ 5 4 3 2 \ / 5 4 3 2 \ / 5 4 3 2 \
[-3, CRootOf\x - 249*x + 18*x + 22*x + 13*x + 3, 0/) U (CRootOf\x - 249*x + 18*x + 22*x + 13*x + 3, 1/, CRootOf\x - 249*x + 18*x + 22*x + 13*x + 3, 2/)
$$x\ in\ \left[-3, \operatorname{CRootOf} {\left(x^{5} - 249 x^{4} + 18 x^{3} + 22 x^{2} + 13 x + 3, 0\right)}\right) \cup \left(\operatorname{CRootOf} {\left(x^{5} - 249 x^{4} + 18 x^{3} + 22 x^{2} + 13 x + 3, 1\right)}, \operatorname{CRootOf} {\left(x^{5} - 249 x^{4} + 18 x^{3} + 22 x^{2} + 13 x + 3, 2\right)}\right)$$
x in Union(Interval.Ropen(-3, CRootOf(x^5 - 249*x^4 + 18*x^3 + 22*x^2 + 13*x + 3, 0)), Interval.open(CRootOf(x^5 - 249*x^4 + 18*x^3 + 22*x^2 + 13*x + 3, 1), CRootOf(x^5 - 249*x^4 + 18*x^3 + 22*x^2 + 13*x + 3, 2)))