Equations for 152.trs

Equation 1

-(s(-(z))) = p(z)

Equation 2

-(y) = z

Equation 3

p(p(y)) = p(-(-(-(z))))