(*
  Authors: Wenda Li
*)

theory mathd_algebra_293 
  imports Complex_Main "HOL-Computational_Algebra.Computational_Algebra"
  "HOL-Number_Theory.Number_Theory"
begin

theorem mathd_algebra_293:
  fixes x :: real 
  shows "sqrt (60 * x) * sqrt (12 * x) * sqrt (63 * x) 
                = 36 * x * sqrt (35 * x)"
  by sorry

end