# MATH use equality for truth values
[hear] (= (= 0110 0110) (> 011110 0110));

[hear] (= (= 010 010) (> 01111110 011110));

[hear] (= (< 01110 011110) (= 0111110 0111110));

[hear] (= (= 01110 01110) (= 011110 011110));

[hear] (= (= 01110 01110) (= 00 00));

[hear] (= (< 01111110 0110) (< 011110 0110));

[hear] (= (< 011110 010) (> 00 00));

[hear] (= (> 00 0111110) (= 01110 0110));

[hear] (= (> 0110 01110) (> 011110 0111110));

[hear] (= (> 0110 01111110) (> 010 01111110));

[hear] (not / = (> 0110 01110) (< 010 011110));

[hear] (not / = (= 011110 01110) (< 010 0110));

[hear] (not / = (= 0111110 011110) (< 0110 011110));

[hear] (not / = (> 011110 01111110) (= 01110 01110));

[hear] (not / = (= 01110 010) (> 011110 010));

[hear] (not /
         = (< 01110 01111110) (< 01111110 0110));

[hear] (not / = (= 0110 0110) (> 0110 0111110));

[hear] (not /
         = (= 0111110 0111110) (< 01111110 0110));

[hear] (not / = (= 01110 01110) (< 011110 01110));

[hear] (not / = (> 0111110 0110) (< 0111110 011110));

[hear] (define true 1);

[hear] (define false 0);

[hear] (= (true) (= 010 010));

[hear] (= (true) (= 00 00));

[hear] (= (true) (> 011111110 0111110));

[hear] (= (true) (= 0111110 0111110));

[hear] (= (true) (= 011110 011110));

[hear] (= (< 0111110 01111110) (true));

[hear] (= (= 0111110 0111110) (true));

[hear] (= (> 011111110 0111110) (true));

[hear] (= (= 0110 0110) (true));

[hear] (= (< 01110 01111110) (true));

[hear] (= (false) (< 0111110 00));

[hear] (= (false) (= 0110 01110));

[hear] (= (false) (< 01111110 0110));

[hear] (= (false) (> 010 0110));

[hear] (= (false) (> 0110 0111110));

[hear] (= (= 011110 01110) (false));

[hear] (= (= 00 010) (false));

[hear] (= (< 01111110 01110) (false));

[hear] (= (= 01110 00) (false));

[hear] (= (= 011110 01110) (false));

[hear] (= (true) (true));

[hear] (= (false) (false));

[hear] (not / = (true) (false));

[hear] (not / = (false) (true));