logic w, x, y, z: int

goal start:
(w=5 and 
 y=7  ->
     ((((w*2)-5)*((w*2)-5))+((6-1)*(6-1)))
          =
      (((y-2)*(y-2))+(((8+2)*(8+2))-75))
)