let mathd-algebra-398 = `!a:real b:real c:real.
    (&0 < a /\ &0 < b /\ &0 < c) /\
    (&9 * b = &20 * c) /\
    (&7 * a = &4 * b)
==>
    &63 * a = &80 * c
`;;