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