This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)

ExistsRealQ

ExistsRealQ[ineqs, {x1, x2, ...}]
tests whether there exist real values of the xi for which the inequalities and equations ineqs are satisfied.