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