let mathd-algebra-412 = `!x:real y:real.
    (x + y = &25) /\
    (x - y = &11)
==>
    x = &18
`;;