let mathd-algebra-400 = `!x:real.
    (&5 + &500 / &100 * &10 = &110 / &100 * x)
==>
    (x = &50)
`;;