/ / 5 4 3 2 \ \
And\CRootOf\x - 2*x - 2*x + 7*x + 13*x - 98, 0/ <= x, x < oo/
$$\operatorname{CRootOf} {\left(x^{5} - 2 x^{4} - 2 x^{3} + 7 x^{2} + 13 x - 98, 0\right)} \leq x \wedge x < \infty$$
(x < oo)∧(CRootOf(x^5 - 2*x^4 - 2*x^3 + 7*x^2 + 13*x - 98, 0) <= x)
/ 5 4 3 2 \
[CRootOf\x - 2*x - 2*x + 7*x + 13*x - 98, 0/, oo)
$$x\ in\ \left[\operatorname{CRootOf} {\left(x^{5} - 2 x^{4} - 2 x^{3} + 7 x^{2} + 13 x - 98, 0\right)}, \infty\right)$$
x in Interval(CRootOf(x^5 - 2*x^4 - 2*x^3 + 7*x^2 + 13*x - 98, 0), oo)