let mathd-algebra-55 = `!q:real p:real.
    (q = &2 - &4 + &6 - &8 + &10 - &12 + &14) /\
    (p = &3 - &6 + &9 - &12 + &15 - &18 + &21)
==>
    (q / p = (&2) / (&3))
`;;