let mathd-algebra-215 = `(FINITE {x:real | (x + &3) pow 2 = &121}) ==> (sum ({x:real | (x + &3) pow 2 = &121}) (\k. k) = -- &6)`;;