let mathd-algebra-419 = `!a:real b:real.
    (a = -- &1) /\
    (b = &5)
==>
    (--a - b pow 2 + &3 * (a * b) = -- &39)
`;;