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