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

ExistsRealQ


tests whether there exist real values of the for which the inequalities and equations ineqs are satisfied.