(let* ((x (read))
(y (read))
(z (read))
(xa (expt x y))
(xb (expt (expt x z) (/ y z))))
(format t "~A^~A=(~A^~A)^(~A/~A)~%~A=~A~%~A" x y x z y z xa xb (if (= xa xb)
"It is true"
"It is false")))
Note that non-ascii characters in the above source code will be escaped (such as \x9f).