a := 1
b := 2
c := 3
# (a /\ b) + c = 4
a/\b+c
# (c + a) /\ b = 2
c+a/\b
# a + (b * c) = 7
a+b*c
# (c * b) + a = 7
c*b+a
# (-b) + c = 1
-b+c
# b + ( -c) = -1
b+-c
# (((a - b) + c) - 4) + 5 = 3
a-b+c-4+5
# (((-a + b) - c) + 4) - 5 = -3
-a+2-c+4-5