ppose 35*n - 178177 = 543628. Is n prime?
False
Let i(j) = 436*j - 6. Let n be i(1). Suppose -3*u + 2*u = 4, 2*d + 390 = u. Let m = d + n. Is m composite?
False
Let o = -1312 - -2811. Is o prime?
True
Suppose 0 = -4*b + 5*b. Suppose -4*o = -3*z - 1016, -2*o - 3*o - 2*z + 1270 = b. Is o composite?
True
Let o = -10 + 16. Suppose 2*f = -2*g - 4, -2*f + g = -f - o. Suppose -15 = 5*w, -f*w + 0*w + 1249 = 5*c. Is c composite?
False
Let o(n) = -n**3 + 27*n**2 + 21*n + 4. Is o(21) composite?
True
Suppose -3*f + 1779 = -z - 2*z, 3*f - 1747 = -5*z. Is f prime?
False
Suppose 0 = 4*q - 5*y - 45476, 7*q + 4*y = 3*q + 45476. Is q composite?
False
Is (-3935)/2*156/(-30) prime?
False
Let c = -13 - -16. Suppose -c*l = -0*l - 2*q - 385, -3*l = -4*q - 377. Is l prime?
True
Suppose -5*z = 4*c + 407 - 1208, 0 = -2*z + 2*c + 306. Is z composite?
False
Suppose 5*w + 140 = 30. Let i = 241 - 126. Let q = i + w. Is q a composite number?
True
Let k = -87 - -89. Let i(w) = 37*w**3 - 2*w**2 - 2*w + 3. Is i(k) a composite number?
True
Let i = -327 - 59. Let h = i - -625. Is h composite?
False
Let c = 13 - 9. Suppose 2*x + i - 96 - 306 = 0, c*x - 804 = 4*i. Suppose 10*k - 7*k - x = 0. Is k prime?
True
Let v be -87*1/3*2. Let q = -27 - v. Is q a composite number?
False
Suppose -c + 4*c - g = 32902, -21933 = -2*c + g. Is c a composite number?
True
Let k(w) be the third derivative of w**8/20160 - w**7/1260 - w**6/144 + w**5/12 + 4*w**2. Let r(i) be the third derivative of k(i). Is r(-8) composite?
True
Suppose -420 = -5*x - 3*r, 0*r = -2*x + 5*r + 168. Let l = x - 5. Is l a composite number?
False
Let o(k) = 211*k - 3. Suppose 3*z + 5*f = 1, z + 2*z + 2*f - 4 = 0. Is o(z) a composite number?
False
Let s(p) be the third derivative of 541*p**5/60 - p**4/24 - p**3/6 + 22*p**2. Is s(-1) a prime number?
True
Let a(d) be the first derivative of 441*d**2/2 + 6*d + 1. Is a(1) prime?
False
Let u(r) = 14 + 2*r**2 - 1 + 8*r - r - r. Is u(-8) prime?
False
Suppose -2*b - 3834 = -m + 2*b, 5*b + 20 = 0. Let k = -2451 + m. Is k prime?
True
Let w(g) = -g - 9. Let a be w(-8). Let k = a + 554. Is k a composite number?
True
Suppose 0 = 60*s - 11*s - 1487983. Is s a composite number?
False
Suppose n + 17 = -2*x, 3*x = 3*n + n + 2. Is ((-22)/x)/(10/60) prime?
False
Suppose 4*o = o + b, 0 = 5*o - 5*b + 10. Let c be o/(-2)*(326 + 2). Is (c/3)/(12/(-18)) a prime number?
False
Is ((-10)/((-10)/(-13399)))/(-1) composite?
False
Suppose -n - 4*q + 59957 = 0, -3*n = 6*q - 3*q - 179835. Is n prime?
False
Suppose 2*o + 402 = 7*x - 2*x, 0 = -2*o + 4*x - 406. Suppose -8*n - 3004 = 2564. Let s = o - n. Is s composite?
True
Let b = 433 - 272. Is b a composite number?
True
Suppose -z - x = -1085 - 14142, 2*z = -4*x + 30446. Is z a composite number?
True
Suppose -6*l + 150936 = -54330. Is l a prime number?
True
Let d = -24 + 36. Is ((-18)/d)/((-3)/68) a composite number?
True
Let p = 1686 + 4325. Is p composite?
False
Let f = 28823 + 101906. Is f a prime number?
True
Suppose 15*u = 6*u + 46881. Is u prime?
True
Suppose 35*w - 427971 - 601274 = 0. Is w a composite number?
True
Let y = 273 - -68. Let j = y + -76. Suppose 2*s - j = 541. Is s a composite number?
True
Suppose 2*a = d + a + 54, -2*d + a - 109 = 0. Let n = -33 - d. Is 480/n + (-4)/(-22) a composite number?
True
Suppose 21*l - 7701 = 90. Is l prime?
False
Let y be 12/6 + 470/1. Suppose -4*u + y + 216 = 0. Let l = 255 - u. Is l composite?
False
Let l(z) = 2*z**3 - 12*z**2 - 2. Let y be l(6). Is 2429*(y + 1)*-1 a prime number?
False
Suppose -4*f + 7*f = 9. Suppose -3*l + 3 = 0, 3*a = -f*l + 6 + 12. Suppose -5*s - 4*x + 30 = 0, -a*x - 12 - 43 = -3*s. Is s composite?
True
Let b(u) be the second derivative of 20*u**3/3 - u**2/2 + 9*u. Let c be b(-1). Let i = c + 128. Is i a prime number?
False
Let t(x) be the third derivative of 0 - x**2 + 0*x + 10/3*x**4 - 1/6*x**3. Is t(1) prime?
True
Let s(r) be the third derivative of 1/8*r**4 + 7*r**2 + 0*r + 0 + 1/12*r**6 - 1/15*r**5 - 1/2*r**3. Is s(2) prime?
True
Let s(a) = 3*a**2 - 6*a - 3. Let j be s(4). Suppose -x + 4*b + j + 58 = 0, -3*x = 3*b - 237. Is x a composite number?
False
Suppose 0 = 4*s + 2 - 18. Let d = s - 7. Is (-3)/(d*(-2)/(-22)) prime?
True
Suppose -5*g + 2*w = -22, 0*g + 16 = 5*g + 4*w. Suppose -2617 = r - 4*r + 5*p, -3*r + g*p = -2621. Is r prime?
False
Let q(u) = u**2 + 2*u + 6. Let r be 6/(-9)*(-15)/(-2). Let w be q(r). Suppose w = m - 16. Is m a composite number?
False
Suppose 4*a + 2*o = 22, 5*a - 7*o - 21 = -3*o. Suppose q = -q, n - 45 = -a*q. Suppose 0 = 2*t - 175 + n. Is t a prime number?
False
Is 264610/82 + 56/1148 prime?
False
Let o = 2114 + -3574. Let x(d) = -d**2 + 9*d - 10. Let m be x(8). Is (1/m)/(2/o) a prime number?
False
Let k(r) = 93*r + 2. Let l be (-4)/(-1) + 33/(-11). Is k(l) composite?
True
Let r(t) = -8*t + 1. Let o be r(-4). Suppose 6 = 5*l + 6. Suppose l = n - o - 29. Is n prime?
False
Let s = -14 - -5. Let b = -9 - s. Suppose b = -5*v - c + 1340, 0*v + 2*c = -v + 277. Is v a prime number?
False
Let o(d) = -d**2 + 5*d + 4. Let v be o(3). Suppose -5*t - 2*n + 16 = -4*n, -t = 4*n + v. Suppose -t*b - 62 = -a + 2*b, 15 = 5*b. Is a a composite number?
True
Suppose 2436 = h - 1229. Is h a composite number?
True
Let a = -14 - -19. Suppose -p + 4*n + 566 = a*n, 5*n = 4*p - 2309. Is p prime?
True
Let q(r) = 31*r**2 + 7*r - 15. Is q(-11) prime?
True
Let a = 0 + 1. Let y = a - -1. Suppose 4*j - 48 = -y*t + 5*j, -t - j + 30 = 0. Is t a composite number?
True
Let p(c) = c**3 - 6*c**2 + 2*c + 12. Let h be p(5). Let s be 2/((-1 - h) + 0). Is s/(-3) + (-994)/(-3) prime?
True
Let a = 32120 + -16623. Is a composite?
False
Suppose 0*r + 6*r - 4206 = 0. Suppose -3*i = -2*p - 647, 3*i + 5*p = r - 61. Is i a prime number?
False
Suppose -5*i + i = 0. Suppose -5*l + 896 + 119 = i. Is l a prime number?
False
Suppose -3*l = -5*b + 10, -2*b = -6*b + 3*l + 11. Is b/((3 + 1)/(-1004)) composite?
False
Suppose 0 = -h + 2*h - 2*f - 8, -4*h - 5*f - 20 = 0. Suppose -4*x - 3*q + 3 = h, -2*x - 5*q - 24 = -5*x. Suppose j = -4, b = -x*j + 8 + 31. Is b prime?
False
Let m(z) = -2*z + 12. Let u be m(5). Suppose 0 = u*p - 0*p - 1222. Is p a prime number?
False
Suppose 0 = -4*z - 0*z + 16. Suppose 12 = z*n - 0*n, 5*n - 13 = -b. Is (574/(b + 4))/1 prime?
False
Let f(d) be the second derivative of d**5/20 + 5*d**4/12 + 2*d. Let r be f(-3). Is 7538/r - 8/(-36) composite?
False
Let q = -1903 + 3656. Is q composite?
False
Suppose -1814 = -7*c + 5795. Is c composite?
False
Let c = 3703 - 2606. Is c a prime number?
True
Let x(i) = 5*i + 4. Let z be x(3). Suppose -n + z = -24. Is n prime?
True
Let m(g) = -g**3 + 5*g**2 + 7*g - 4. Let p be m(6). Suppose 4*k = -3*r + 1231, 7*k - 1538 = p*k - 3*r. Is k a composite number?
False
Is 14610 + (-14)/(-21)*6/(-4) prime?
False
Let l(r) = -24*r + 3. Let t be l(-4). Suppose 3*u = -36 - t. Is -2*(2 + u) + 1 prime?
False
Let d(x) = 2*x**3 - 15*x**2 - 11*x + 16. Let z be d(-12). Let w = z - -8347. Is w composite?
False
Let w be (-18)/(-42) + (-22)/(-14). Suppose 0 = -4*r + g + 11512, 4*r + g = w*r + 5750. Suppose 6*a - 9*a + r = 0. Is a a prime number?
False
Let u = -42 + 41. Is 2499 - 4*(-4)/((-4)/u) a composite number?
False
Suppose 4*t = -3*d + 5*d - 10026, -15 = 3*t. Is d prime?
True
Let n(j) = -12*j**2 + 9*j - 23. Let v be (-3)/5 + (-294)/35. Let c(d) = -3*d**2 + 2*d - 6. Let f(r) = v*c(r) + 2*n(r). Is f(-7) a prime number?
False
Let z = 298 - 143. Let h be z/(-15) + (-1)/(-3). Is ((-15)/h)/(6/148) prime?
True
Let m be 0 - (4/(-4) - 3). Suppose -5*l + 10*t - 5*t = 590, m*l = 5*t - 475. Let a = l - -226. Is a a prime number?
False
Let o(q) = -q + 2. Let y(n) = n + 4. Let z be y(3). Let p be o(z). Is p*1*(-18)/6 composite?
True
Is ((-9054)/54)/(2/(-222)) a composite number?
True
Suppose 176*w - 162*w = 133378. Is w composite?
True
Suppose 3 = -2*m + 9. Suppose -5*a + m = 8, -4*a = o + 32. Is 10/(-4)*(o - -2) a prime number?
False
Suppose -6*d + 2*d = -s - 16, -2*d + 22 = 3*s. Suppose 0 = j + s*c - 331 - 104, 2*j - 878 = -4*c. Is j a prime number?
True
Let b = 3 + -3. Suppose b = 3*f - 4*x + 3*x - 429, 0 = -2*x. Is f composite?
True
Suppose 9015 + 2490 = 15*x. Is x composite?
True
Let y(x) = 15*x - 13. Let i be y(5). Let z = i - 4. Is z a prime number?
False
Suppose t = -x + 16124,