(*
  Authors: Wenda Li
*)

theory mathd_algebra_296 imports Complex_Main
begin

theorem mathd_algebra_296 :
  "abs (((3491 - 60) * (3491 + 60) - 3491^2)) = (3600::int)"
  by sorry

end