let mathd-algebra-104 = `!x:real.
    ((&125) / (&8) = x / (&12))
==>
    (x = (&375) / (&2))
`;;