let mathd-algebra-362 = `!a:real b:real.
    (a pow 2 * b pow 3 = &32 / &27) /\
    (a / (b pow 3) = &27 / &4)
==>
    (a + b = &8 / &3)
`;;