let mathd-algebra-432 = `!x:real. (x + &3) * (&2 * x - &6) = &2 * x pow 2 - &18`;;