let mathd-algebra-234 = `!d:real.
    (&27 / &125 * d = &9 / &25)
==>
    (&3 / &5 * d pow 3 = &25 / &9)
`;;