(*
  Authors: Wenda Li
*)

theory mathd_algebra_215 imports Complex_Main
begin

theorem mathd_algebra_215:
  "(\<Sum> k \<in> {x::real. (x + 3)^2 = 121}. k) = -6"
  by sorry

end