 Let d = 14787 + z. Is d prime?
False
Let n(h) = h**3 - 19*h**2 + 19*h - 7. Let b be n(18). Let t(g) = -30*g - 51*g - 17*g + 22*g - b. Is t(-4) prime?
True
Let y(v) = 206*v**2 - 18*v + 119. Is y(15) prime?
True
Suppose s + 11 = -3*p, 2*s = -s - 3*p - 63. Let g(v) = v**3 + 33*v**2 + 23*v + 53. Is g(s) a prime number?
False
Let y(n) be the second derivative of n**4/2 - 7*n**3/3 - 21*n**2/2 - 54*n - 2. Is y(14) a composite number?
True
Let y(d) = 6*d**2 + 177*d - 10. Is y(21) prime?
True
Suppose 4*y = -x - 4*x + 218418, -218400 = -4*y - 2*x. Is y a composite number?
True
Let m(t) = t**3 + 50*t**2 + 84*t + 97. Suppose z + 198 = -5*g, 0 = -g - 0*z + 4*z - 48. Is m(g) a prime number?
False
Let u(k) = -3 - 17*k**2 - 3*k**2 + 433*k**3 + 14*k + 0 - 434*k**3 - 3. Is u(-23) prime?
True
Suppose 0 = -5*f - 4*a + 2335731 - 221778, 0 = -5*f + 4*a + 2113937. Is f a prime number?
True
Let c = 26503 - 5864. Is c prime?
True
Let u = -4361 - -43830. Is u prime?
False
Let j(f) be the third derivative of 43*f**5/60 - 17*f**4/24 + 23*f**3/6 + 78*f**2. Is j(-27) composite?
True
Let i(a) = -27*a + 64. Let l be i(-14). Suppose 50*y - 52*y = -l. Is y a composite number?
True
Suppose 0 = -22140*m + 22131*m + 2415951. Is m composite?
False
Suppose -20*t = -5*t - 1885635. Is t composite?
True
Let l = -36 + 40. Suppose j + 8 = 2*j + 2*n, 5*n = -l*j + 20. Is j - -3 - (-117 - 7) composite?
False
Let m = -18 - -22. Suppose m*g = -3562 - 3626. Let t = 3194 + g. Is t a prime number?
False
Let v(q) be the first derivative of -19*q**2 - 3*q + 1. Let n = -146 - -138. Is v(n) prime?
False
Suppose -4*o = 2*r - 276078, 2*r + 5*o - 216792 = 59285. Is r a prime number?
True
Suppose -3*p - 9318 = 4626. Let a = -7060 + 14703. Let m = p + a. Is m a composite number?
True
Suppose -2*s = 3*q - 0*s - 4, 0 = -5*q - 5*s + 10. Suppose -5*p + 1014 = 2*x, 0 = -q*x + x + 3*p - 505. Is x composite?
True
Let w(a) = -a + 12. Let k be w(10). Let s(p) = -p**3 + p**2 - p + 2. Let n be s(0). Suppose 0 = n*b + k*b - 16604. Is b composite?
True
Let m(r) = -14*r**2 - 59*r - 71. Let t(f) = 5*f**2 + 20*f + 24. Let j(n) = -6*m(n) - 17*t(n). Let d be j(15). Is (-5)/20 + 27171/12 + d a prime number?
True
Suppose 0*w = -4*w + 20. Suppose -w*r + 2481 = g, -2453 = -g + r + r. Suppose -g = -8*k + 107. Is k a composite number?
True
Let y(f) = -36726*f + 563. Is y(-6) a composite number?
False
Suppose 203*y = 199*y + 5*f + 281707, 0 = 3*y - 2*f - 211275. Is y prime?
True
Let l be ((-1)/(-8)*-42)/(1/(-372)). Suppose -l = -4*g - 3*w, 2*g - 4*w - 647 = 335. Is g a composite number?
True
Suppose -3*k = 190 - 322. Suppose -k*n + 41*n + 237 = 0. Suppose n = 7*p - 6*p. Is p prime?
True
Let p = 68221 - 19476. Is p composite?
True
Suppose 4*p + 278*l - 1178460 = 280*l, 4*p = 3*l + 1178464. Is p a prime number?
False
Suppose 0 = -h - j, 4*j + 24 = 5*h - 3*h. Suppose -h*g + 17240 = 4*r, -2*r - 2*r = 5*g - 21547. Is g a prime number?
False
Let t(m) = m**3 - 15*m**2 - 18*m + 35. Let a(r) = 4*r - 12. Let z be a(7). Let c be t(z). Suppose -c*x = -5*x + 1174. Is x a composite number?
False
Let n(j) be the first derivative of 265*j**4 + 2*j**3/3 - 9*j**2/2 + 8*j - 67. Is n(1) composite?
False
Let f(q) = -3*q - 7. Let c be f(-3). Suppose 0 = -c*x + 2 + 6. Suppose x*l + 3*p - 5456 = -0*p, 2*p + 1353 = l. Is l composite?
False
Let q = 93923 + 68406. Is q a prime number?
False
Suppose v = 4*w - 26, -w - 3 - 33 = 4*v. Let d(c) = c**2 + 10*c + 5. Let g be d(v). Suppose -b - 929 = -5*p + 188, g*p - 5*b = 1125. Is p composite?
False
Suppose -7*z + 26 = 2*p - 2*z, -1 = 5*p - 4*z. Suppose 3*o - 4236 = -p*g, -3*o + 0*o + 4221 = -2*g. Is o a prime number?
True
Let w(z) = -z**2 - 14*z + 1. Let v be w(-6). Let f = 64 - v. Suppose -f*p - 631 = -16*p. Is p prime?
True
Let h(m) = 2405*m**2 - 6*m - 2. Let g be h(-1). Let u = -574 + g. Is u a prime number?
False
Suppose 0 = 44*t - 10320911 - 222237. Is t composite?
True
Suppose 96046 = t + 4*t + 2*m, -2*t + 38416 = 2*m. Suppose 124*o + 1557 - 2120 = -6887. Is (t/o)/(4/(-6)) composite?
True
Suppose 3*x - 7*t = 623391, -49*x + 46*x - 4*t = -623391. Is x composite?
False
Suppose 0 = -y - 1 + 23. Suppose -34*p + 12732 = -y*p. Is p composite?
False
Let y(x) = -308*x - 214. Let q(r) = -154*r - 107. Let z(b) = 5*q(b) - 2*y(b). Is z(-19) prime?
True
Let s = 14 + 953. Is s a prime number?
True
Let b(f) = 9*f + 23. Let y be (54/(-18))/((-1)/6). Is b(y) a prime number?
False
Let g(s) = 75*s**3 - 18*s**2 - 226*s - 103. Is g(34) a composite number?
True
Suppose -4*l + 2*j = -2*j - 39752, 0 = l + 5*j - 9920. Let m = l + -4612. Is m prime?
True
Let j(w) be the third derivative of 7*w**5/60 + w**4/4 - 5*w**3/6 + 2*w**2. Let g = 179 - 189. Is j(g) composite?
True
Suppose 4*i - 247068 = -4*n, 2*n - 19856 - 103683 = -3*i. Is n a prime number?
False
Let s(b) = 4*b + 56. Let o be s(-14). Suppose o = 3*g + 10 - 19. Suppose -u - 1107 = -3*u + 5*z, -u = g*z - 526. Is u a composite number?
False
Suppose -68*i + 218*i - 22643850 = 0. Is i prime?
True
Suppose -4*p + 7*p + 9 = 0. Is (-8289)/(-12) - (p + 22/8) a composite number?
False
Suppose 2*c + 853 + 1466 + 2789 = 0. Let a = 5121 + -9336. Let i = c - a. Is i prime?
False
Let u = 1520173 - 804884. Is u composite?
False
Let b(d) = 4*d**3 + d + 145. Let w(f) = 11*f**3 + 3*f + 436. Let h(m) = -8*b(m) + 3*w(m). Let u be h(0). Suppose -24 = 4*j - u. Is j prime?
True
Let i = -2076965 - -2983180. Is i a composite number?
True
Let z be (3 - 0)/((-33)/(-22)). Suppose 4*n = z*n - b + 969, 0 = -2*b - 2. Is n prime?
False
Let d(a) = a**3 + 3*a**2 - 7*a - 9. Let f be d(-4). Suppose -17*n = f*n - 1480. Is n a composite number?
True
Let l(m) = 4*m + 5*m**2 - 2 - 3 + 17 + 32. Is l(7) a composite number?
False
Let i(h) = 2040*h**2 + 10*h - 50. Let u be i(6). Suppose -28999 = 9*f - u. Is f a prime number?
False
Let y be (-1 - (-4029)/12) + (-21)/28. Suppose 14*t = 15*t - y. Is t composite?
True
Suppose 5*h = 3 + 22. Suppose -7*l + 285 = -h*l + m, 10 = -2*m. Is l composite?
True
Let w be 1/1*(3 + -26). Let h(s) = -s**2 - s - 5. Let o(b) = b**2 + 5. Let q(v) = -5*h(v) - 4*o(v). Is q(w) a composite number?
False
Is (-226657431)/(-5143) + (-2)/37 a composite number?
False
Let a = 706966 - 440375. Is a a prime number?
False
Suppose 0 = -s - 22*z + 23*z, -z + 4 = 0. Suppose -s*p + 1988 = -0*p. Is p a composite number?
True
Let w(k) = -k**3 + 4*k**2 + 3*k - 3. Let d be w(4). Suppose -10*r = -d*r - 2. Is (0 - -1)/(r/470) composite?
True
Suppose 9*u + 6*u = 11940. Let r be (-2)/12 + 5002/(-12). Let d = u + r. Is d composite?
False
Suppose -26*k - 2483100 = -95*k + 1223511. Is k a composite number?
False
Suppose 0 = 2*s + 4*j - 6 + 4, -2*j = -2. Is 35*-22*s + -1 prime?
True
Let a(v) = 3153*v - 7. Suppose 0*i + 4*i + 5*l - 3 = 0, -4*i + l = -9. Is a(i) a composite number?
False
Let f(d) = -196*d**3 - 39*d**2 + 21*d + 7. Is f(-6) a prime number?
True
Let o = -220 - -220. Is 54 - 56 - (-11791 - o) composite?
False
Is (-2 - -5) + -4 + 1104404/1 a composite number?
False
Let k(f) be the first derivative of -f**3/3 - 7*f**2/2 - 5*f - 22. Let r(z) = z + 1. Let d(b) = -k(b) - 3*r(b). Is d(14) composite?
True
Let n(v) = -v**3 - 6*v**2 - 6*v. Let h be n(-5). Suppose -u + h*u = 24. Suppose u*l + 356 = 1070. Is l composite?
True
Suppose 33654868 = 25*q + 22*q + 5*q. Is q a prime number?
True
Let q(u) = u**2 + 23*u + 15. Suppose 25*g + 180 = 20*g. Let t be 1/7 - g*(-45)/70. Is q(t) a composite number?
True
Let q(d) = d**3 + 19*d**2 + 34*d + 16. Let m be q(-16). Let g = -189 + m. Is g composite?
True
Let t = 97 + -90. Suppose -8*j + 89295 = t*j. Is j prime?
True
Let d(q) = 7*q**2 - 6*q + 19. Suppose h + 8*h - 72 = 0. Let g be h/(-12)*(-16)/(-4)*-3. Is d(g) a prime number?
True
Is ((-662)/5)/(-6 + 7952/1330) a prime number?
False
Let o be (0 - 0)*(1 - 2)/(-1). Is (-4 - 8/(o - 4)) + 1945 a composite number?
True
Let w be (-53)/(-5) + (-51)/85. Let b be (-1)/(3523/(-7042) + 5/w). Suppose 3*l + 2*v = b, -3*l - l + 4703 = v. Is l prime?
False
Suppose 0 = 3*t + t - 20. Suppose -f = -t*a + 3837, 3*a - 4*a - f = -771. Suppose -4*v - 4*i + a = 0, 0 = -4*i + 7 - 3. Is v composite?
False
Suppose -5*j + 2*j - 15 = 0. Let d be (-224)/(-20)*(0 + j). Is ((-17)/(-2))/((-4)/d) composite?
True
Suppose -t - c = -18, -15*c = 2*t - 10*