let mathd-algebra-89 = `!b:real.
    ~(b = &0)
==>
    ((&7 * b pow 3) pow 2 * inv ((&4 * b pow 2) pow 3) = &49 / &64)
`;;