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

ExistsRealQ

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