let mathd-algebra-354 = `!a:real d:real.
    (a + &6 * d = &30) /\
    (a + &10 * d = &60)
==>
    a + &20 * d = &135
`;;