I know we know that the coefficients are rational, but it's still good practice to give the variable to Poly when it is known.  So this should be `Poly(f20, x)`.