let mathd-numbertheory-301 = `!j:num.
    ~(j = 0)
==>
    ((3 * (7 * j + 3)) MOD 7 = 2)
`;;