(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")))