Let $f\in\Bbb{Z}[X]$ be a nonconstant polynomial that is not monic, i.e. its leading coefficient is not $\pm1$. Is is true that $\Bbb{Z}[X]/(f)$ is not finitely generated as an abelian group?
Trying a few simple nonmonic polynomials seems to verify this, and the problem seems to be that you 'get denominators'. I'm not sure how to formalise this however.
For what it's worth, I'm only interested in polynomials with trivial content, i.e. polynomials of which the greatest common divisor of the coefficients equals $1$.