let mathd-algebra-160 = `!n:real x:real.
    (n + x = &97) /\
    (n + &5 * x = &265)
==>
    (n + &2 * x = &139)
`;;