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