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