let mathd-algebra-51 = `!a:real b:real.
    (&0 < a /\ &0 < b) /\
    (a + b = &35) /\
    (a = (&2 / &5) * b)
==>
    b - a = &15
`;;