Specify that all variables should be considered complex, even if they appear in inequalities:
By default,
Reduce considers all variables that appear in inequalities to be real:
For every real number
y there exists a complex number whose square is real and less than
y:
By default,
Resolve considers all variables that appear in inequalities to be real: