let amc12b-2020-p5 = `!a:num b:num.
    (a > 0 /\ b > 0) /\
    (&5 / &8 * &b - &2 / &3 * &a = &7) /\
    (&b - &5 / &8 * &b - (&a - &2 / &3 * &a) = &7)
==>
    a = 42
`;;