1 var 1
2 var 1
3 urem 1 1 2
4 and 1 1 -2
5 eq 1 3 4
6 root 1 -5