# Euler considered the prime values for n^2 + n + 41;
# This is a 76 second calculation on a 2.93 GHz machine
h := n^2+n+41;
y := c*a*z^2+((((d+2)*(1/3))*c-2)*a/d+1)*z+((((367*d^2+d+1)*(1/9))*c^2-((d+2)*(1/3))*c+1)*a/d^2-(((d-1)*(1/3))*c+1)/d)/c;
y2 := subs(n = y, h);
y3 := factor(y2);
# note that y is an expression in 4 variables.
# After a composition of functions, an algebraic factorization
# can be observed in y3. As long as y3 is an integer, it will
# be composite. This is because y3 factors and both factors
# are integers bigger than one.
maxn := 6000;
A := {}:
for n to maxn do
g := n^2+n+41:
if isprime(g) = false then A := `union`(A, {n}) end if :
end do:
# now the A set contains composite values of the form
# n^2 + n + 41 less than maxn.
c := 1: a := 1: d := 1: z := -1: p := 41:
q := c*a*z^2+((((d+2)*(1/3))*c-2)*a/d+1)*z+((((367*d^2+d+1)*(1/9))*c^2-((d+2)*(1/3))*c+1)*a/d^2-(((d-1)*(1/3))*c+1)/d)/c:
A2 := A:
while q < maxn do
while `and`(q < maxn, d < 100) do
while q < maxn do while
q < maxn do
A2 := `minus`(A2, {q});
A2 := `minus`(A2, {c*a*z^2+((((d+2)*(1/3))*c-2)*a/d+1)*z+((((367*d^2+d+1)*(1/9))*c^2-((d+2)*(1/3))*c+1)*a/d^2-(((d-1)*(1/3))*c+1)/d)/c});
z := z+1;
A2 := `minus`(A2, {c*a*z^2-((((d+2)*(1/3))*c-2)*a/d+1)*(1*z)+((((367*d^2+d+1)*(1/9))*c^2-((d+2)*(1/3))*c+1)*a/d^2-(((d-1)*(1/3))*c+1)/d)/c}); q := c*a*z^2+((((d+2)*(1/3))*c-2)*a/d+1)*z+((((367*d^2+d+1)*(1/9))*c^2-((d+2)*(1/3))*c+1)*a/d^2-(((d-1)*(1/3))*c+1)/d)/c
end do;
a := a+1; z := -1;
q := c*a*z^2+((((d+2)*(1/3))*c-2)*a/d+1)*z+((((367*d^2+d+1)*(1/9))*c^2-((d+2)*(1/3))*c+1)*a/d^2-(((d-1)*(1/3))*c+1)/d)/c :
end do;
d := d+1: a := 1:
q := c*a*z^2+((((d+2)*(1/3))*c-2)*a/d+1)*z+((((367*d^2+d+1)*(1/9))*c^2-((d+2)*(1/3))*c+1)*a/d^2-(((d-1)*(1/3))*c+1)/d)/c :
end do:
c := c+1: d := 1:
q := c*a*z^2+((((d+2)*(1/3))*c-2)*a/d+1)*z+((((367*d^2+d+1)*(1/9))*c^2-((d+2)*(1/3))*c+1)*a/d^2-(((d-1)*(1/3))*c+1)/d)/c :
end do:
A2;
