let mathd-algebra-126 = `!x:real y:real.
    (&2 * &3 = x - &9) /\
    (&2 * (-- &5) = y + &1)
==>
    (x = &15) /\
    (y = -- &11)
`;;