let mathd-algebra-148 = `!c:real f:real->real.
    (!x. f x = c * x pow 3 - &9 * x + &3) /\
    (f (&2) = &9)
==>
    c = &3
`;;