/ / 6 5 4 3 2 \ \
And\CRootOf\25*x + 56*x - 642*x - 3106*x - 4847*x - 2502*x + 81, 1/ <= x, x < oo/
$$\operatorname{CRootOf} {\left(25 x^{6} + 56 x^{5} - 642 x^{4} - 3106 x^{3} - 4847 x^{2} - 2502 x + 81, 1\right)} \leq x \wedge x < \infty$$
(x < oo)∧(CRootOf(25*x^6 + 56*x^5 - 642*x^4 - 3106*x^3 - 4847*x^2 - 2502*x + 81, 1) <= x)
/ 6 5 4 3 2 \
[CRootOf\25*x + 56*x - 642*x - 3106*x - 4847*x - 2502*x + 81, 1/, oo)
$$x\ in\ \left[\operatorname{CRootOf} {\left(25 x^{6} + 56 x^{5} - 642 x^{4} - 3106 x^{3} - 4847 x^{2} - 2502 x + 81, 1\right)}, \infty\right)$$
x in Interval(CRootOf(25*x^6 + 56*x^5 - 642*x^4 - 3106*x^3 - 4847*x^2 - 2502*x + 81, 1), oo)