let mathd-algebra-293 = `!x:real. (x >= &0) ==> sqrt (&60 * x) * sqrt (&12 * x) * sqrt (&63 * x) = &36 * x * sqrt (&35 * x)`;;