let amc12b-2021-p4 = `!m:num a:num.
    (m > 0 /\ a > 0) /\
    (&m / &a = &3 / &4)
==>
    (&84 * &m + &70 * &a) / (&m + &a) = &76
`;;