(assert= 3 (+ 3)) (assert= 6 (+ 1 2 3)) (assert= 0 (+)) (assert= -3 (- 3)) (assert= 4 (- 7 3)) (assert= -4 (- 1 2 3)) (assert= 0 (-)) (assert= 1 (*)) (assert= 2 (* 2)) (assert= 14 (* 2 7)) (assert= 1 (/)) (assert= 0 (/ 5)) (assert= 2 (/ 5 2)) (assert= 6 (/ 18 3)) (assert= 1 (%)) (assert= 3 (% 7 4)) (assert= 1 (^)) (assert= 128 (^ 2 7)) (assert= 8 (* 2 (+ 1 3)))