>

evalb(Float(infinity)<infinity);

>

evalb(Float(undefined)<undefined);

The evalb command cannot be used in some cases.
In some cases, you must subtract the righthand side from the lefthand side before evaluating inequalities that use <, <=, >, or >=.
${\mathrm{\Re}}{}\left({x}\right){<}{1}{+}{\mathrm{\Re}}{}\left({x}\right)$
 (10) 
>

evalb(Re(x)Re(x+1)<0);

The evalb command uses address tests to determine equality.
You must convert symbolic arguments to floatingpoint values when using the evalb command for inequalities that use <, <=, >, or >=.
>

evalb(evalf(sqrt(5))>2);

Alternately, in this case you could use the is command to evaluate the boolean expression, without using evalf.
The evalb command can be used in combination with any number of packages.
>

evalb(StringTools[Search]("2","This sentence does not contain any numbers.")=0);

The evalb command can be used to check if an equation has an xterm.
>

evalb(coeff(x^3+2*x^25,x)<>0);

>

evalb(coeff(x^3+2*x^25, x^2)<>0);
