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

ForAllRealQ

ForAllRealQ[ineqs, {x1, x2, ...}]
tests whether for all real values of the xi the inequalities and equations ineqs are satisfied.