let mathd-algebra-137 = `!x:num.
    (&x + &4 / &100 * &x = &598)
==>
    (x = 575)
`;;