1 var 1
2 var 4
3 var 4
4 var 4

17 urem 4 2 3
18 urem 4 3 4
19 cond 4 1 17 18
20 cond 4 1 2 4
21 urem 4 20 3

22 eq 1 19 21

23 urem 4 3 4
24 urem 4 2 3
25 cond 4 1 23 24
26 cond 4 1 4 2
27 urem 4 26 3

28 eq 1 25 27

31 or 1 -22 -28 
32 root 1 31