evalb 関数は、比較演算子を含む式を、３値のロジックシステムを使って評価するために使われます。返り値は、true, false, FAIL です。評価できないときは、もとの数式がそのまま返されます。

たいていの場合、比較演算子 ( =, <>, <, <=, >, >= ) を含む式は、代数方程式や不等式として扱われます。しかし、evalb 関数に引数として渡される場合 (または if または while ステートメントの論理ステートメントとして使われる場合)、true または false で評価されます。

> や >= をもつ数式はそれぞれ、 < や <= をもつ等価な数式に変換されます。

evalb は数式の整理 (簡単化) を行わないので、実際は true である関係式に、false を返してしまうことがあります。このような場合は、evalb を使う前に、関係式の整理（簡単化）が必要です。

x = x;

evalb(x=x);

evalb(x=y);

evalb(x>y);