PolynomialQuotientRemainder[2 k^7 + 1, 3 k^3 + 2, k]