IrreduciblePolynomialQ[x^4+3*x+1]