1 var 8 2 var 8 3 and 8 -1 2 4 and 8 -1 -2 5 eq 1 3 4 6 zero 8 7 eq 1 -1 6 8 ne 1 5 7 9 root 1 8