posite number?
False
Let m(w) = -w**3 - 3*w**2 + 4*w + 56. Let o(q) = q**3 + 2*q**2 - 3*q - 55. Let t(i) = -2*m(i) - 3*o(i). Is t(0) a prime number?
True
Suppose 96 = -2*y + 3*n + 2, -y = -5*n + 61. Let s = y - -140. Suppose -5*i + 4*t + 169 = 0, 2*i = -4*t + s - 9. Is i a prime number?
True
Suppose -3*w = -2*y - 10, w - 9 + 1 = 3*y. Let s(n) = 10*n**3 + 3*n - 3. Is s(w) prime?
True
Suppose 2*b - 2 = 6. Suppose 0 = -3*v - 0*v - 2*l + 623, 819 = b*v + 5*l. Is v a composite number?
False
Let x(d) = 1074*d + 13. Is x(1) prime?
True
Suppose 0 = 4*r + 2*r. Is (-2)/(-6)*(921 + r) a prime number?
True
Let d be 9/3 - (51 + -3). Let i be (-32)/(-6)*d/6. Let s = -5 - i. Is s prime?
False
Suppose 5*d - 3*f - 660 = 2*d, 6 = 2*f. Is d prime?
True
Let i(v) = 2 + 0 - 19*v + 2. Is i(-6) a prime number?
False
Let y(k) = 4*k**2 + k. Suppose 3*z + 2*z = 5. Let s be y(z). Suppose d + s*n - 156 = 0, -3*d + 0*d + 408 = 3*n. Is d a prime number?
True
Suppose -2*w + 110 = 5*q, -2*q + 0*w + 44 = 5*w. Let n = q - 3. Is n composite?
False
Suppose 954 = -0*m + 6*m. Is m prime?
False
Let k(a) be the first derivative of a**2 + 2*a + 2. Let o be (1/(-3))/((-4)/72). Is k(o) composite?
True
Let w be 1 + 9/(-3) - -6. Suppose 3*b = b + w. Suppose d - 4*d = -b*j + 29, 2*d = j - 16. Is j prime?
False
Let j = 143 + -28. Is j a composite number?
True
Let x = -5 - -5. Is 48 - (-1 - x/3) a prime number?
False
Suppose 3*d = 5*d. Suppose d = 3*f - 12. Suppose f*b = 22 + 22. Is b a prime number?
True
Let q(l) be the first derivative of 4*l**3/3 + 3*l**2/2 + 3*l + 1. Is q(-4) prime?
False
Let m(t) = 17*t + 15. Let p be m(11). Suppose -92 = 3*q - 305. Let f = p - q. Is f composite?
False
Is 586*((-3)/2 + 2) prime?
True
Let s(r) = 21*r**2 + 16*r + 1. Is s(-10) composite?
True
Let u(q) = q + 187. Let t be u(0). Suppose 5*w = -12 + t. Is w a composite number?
True
Let n be (-3)/6 + 777/6. Let q = -62 + n. Is q composite?
False
Suppose 0 = -0*j - 2*j - 326. Let x = 326 + j. Suppose d - 2*h = 29, 5*d = 4*h - 0*h + x. Is d composite?
True
Suppose 2*r - 70 = 912. Is r prime?
True
Suppose 0 = o + 113 - 349. Let w = o - 77. Is w composite?
True
Let j(q) = -q**3 + 4*q**2 - 4*q + 3. Let r be j(2). Suppose -r*v - 2*v = 10. Is 2 - 65*2/v composite?
False
Suppose 25 = j - 24. Is j a composite number?
True
Suppose 952 = 5*f + 3*v, 2*f + 4*v - 569 = -f. Is f composite?
False
Suppose -6*w - 73 + 1051 = 0. Is w a prime number?
True
Let x(w) = 2*w**2 - 7*w + 1. Let n be x(4). Suppose -3*a + 605 = u + 121, 0 = -n*a - 3*u + 800. Is a a composite number?
False
Suppose -5*z - 6 = -26. Suppose -z*s + 0*s + 332 = 0. Is s composite?
False
Let r = -41 - -154. Is r a composite number?
False
Is -139*(4 - 2)*-1 composite?
True
Let v = -58 - -105. Suppose 3*n + 4*h = 2*n + v, n - 5*h = 74. Is n prime?
True
Suppose -3*w = -4*w + 9. Suppose 5*n - w = 536. Is n prime?
True
Suppose 888 - 316 = 4*z. Let c(l) = 63*l**3 - 2*l**2 - 2*l - 1. Let u be c(-1). Let g = z + u. Is g a composite number?
False
Suppose 9373 = 12*t + 289. Is t prime?
True
Let c = 4 - 5. Let y be ((-1000)/16)/(c/2). Suppose -4*l + y = -143. Is l composite?
False
Suppose -2*b - 3*x - 3 - 3 = 0, x - 8 = -4*b. Let s be 56/21*b/2. Suppose 0 = -s*m + 25 + 115. Is m composite?
True
Suppose -3*i - 2 = 3*z + 4, z + 2*i = 0. Let d = z - -8. Suppose -d*f = -9*f + 30. Is f composite?
True
Suppose m = 2*o + 2*m + 28, -o = 5*m + 32. Let l = -1 - o. Is l a composite number?
False
Let y be (2875/3)/((-9)/(-27)). Suppose 0 = 2*r + 5*g - 1167, -2*g + y = 5*r + 2*g. Is r prime?
True
Let f = 33 + -48. Is -38*(f/2)/5 a prime number?
False
Let z = 331 + 1078. Is z a prime number?
True
Let v = 321 - -346. Is v a prime number?
False
Let q = -4 - -1. Let o be 1/q - 295/(-3). Let i = o + -52. Is i prime?
False
Suppose u = -3*u + k + 63, -u - k = -12. Suppose 0 = 3*s + u. Let t(w) = w**3 + 6*w**2 - w - 7. Is t(s) composite?
False
Is 2/(8/(-2))*-358 composite?
False
Let a(k) = -5*k - 81*k + 7*k. Let m(n) = -n - 6. Let t be m(-5). Is a(t) a prime number?
True
Let o be -4 - 4*2/(-4). Let h(j) = j**2 + 2*j - 1. Let p be h(o). Is ((-21)/(-12))/(p/(-68)) composite?
True
Suppose 132 = 6*n - 2*n. Is n a composite number?
True
Is 4/4 - -131 - 3 a composite number?
True
Let d(x) = 482*x + 3. Is d(2) prime?
True
Let q = -206 + 471. Is q composite?
True
Suppose -3*k = 6, 2*m - 1391 = m - 5*k. Suppose g - m = -2*g. Is g a composite number?
False
Suppose 2*p - n = 3 + 9, -3 = -p + 2*n. Let i = 164 + p. Let m = i + -88. Is m a prime number?
True
Let i(o) = o**3 + 2*o**2 - 10*o + 21. Is i(16) a composite number?
True
Suppose 3*v + 0*v = -5*h + 607, 3*v - 623 = -h. Is v composite?
True
Suppose 3*v - 185 = -47. Suppose v + 11 = 3*a. Is a a prime number?
True
Let y(i) = i**2 - 2*i - 4. Let c be y(-2). Suppose 5*q + l = -0*q + 805, -c*q + 644 = 3*l. Is q a composite number?
True
Suppose -3*h - 5*k = 2*h - 2795, 1116 = 2*h + k. Is h composite?
False
Suppose 8499 + 1216 = 5*o. Is o composite?
True
Let l = 793 + -162. Is l a prime number?
True
Suppose -4*q = -4*p + 8256, 3*p = -p - 4*q + 8216. Is p a composite number?
True
Suppose 0*v + 407 = v. Is v composite?
True
Let l be (-42)/(-5)*140/3. Suppose 4*t - n - l = 0, -3*n + 85 = t - 0*n. Is t a prime number?
True
Let b = 76 - -68. Let c be 4/(-6) - 37*5/15. Let p = b + c. Is p a prime number?
True
Suppose -2*r + 158 = -1176. Let k = r - 266. Is k a composite number?
False
Suppose -234 = -3*t - 0*f - 5*f, 0 = 4*t - 4*f - 312. Let u = t - -125. Is u composite?
True
Let l(o) = o**2 + 69. Suppose -k = 3*k. Is l(k) prime?
False
Suppose 21 = -0*r - r. Let f = 43 + r. Suppose -p + 9 = -f. Is p composite?
False
Suppose 4*a + 3*t = 6, -a - 4*t - 14 = -3*a. Let u(w) = 22*w + 5. Is u(a) a composite number?
False
Suppose -5 = -v, a - 4*v + 41 = -33. Let c be (-178)/(-8)*(0 + 4). Let q = a + c. Is q composite?
True
Suppose -4*f - 89 - 437 = -3*k, 5*k + 5*f - 900 = 0. Let p = -59 + k. Is p composite?
True
Let b = -6 - 4. Let c = b + 14. Suppose 6*x = 3*s + 2*x - 163, c*s = -2*x + 210. Is s a prime number?
True
Suppose a + 1 = 0, -7*a - 4871 = -4*q - 4*a. Is q a composite number?
False
Let a(j) = 4*j**3 + 4*j**2 - 5*j + 4. Let p be (-37)/(-7) + 6/(-21). Suppose -2*w + 11 = p. Is a(w) a prime number?
False
Suppose 5*x - x = -40. Let p = x - -93. Is p prime?
True
Suppose -4*l = -2*l + 2. Let j = -11 - -4. Is j/(7/(-120)) + l a prime number?
False
Let v be 5/15 - 6/(-9). Let o(b) = 37*b**2 + 2*b - 1. Is o(v) prime?
False
Suppose 3*x = 7*x - 1628. Is x composite?
True
Let h = 684 + 137. Is h a composite number?
False
Let i be (6/18)/((-2)/(-18)). Let b(p) = 2*p - 2. Let l be b(i). Is (-6 - -4)/(l/(-46)) prime?
True
Let g be (-284)/6 + (-1)/(-3). Let l = g + -8. Let j = 77 + l. Is j a prime number?
False
Let o(k) = -k**3 + 4*k**2 - 2*k - 3. Let x be o(7). Let y = -58 - x. Is y prime?
False
Let d(a) be the second derivative of 0 + 1/6*a**3 + 1/12*a**4 - a + 19/2*a**2 - 1/20*a**5. Is d(0) composite?
False
Let d(w) = w**2 - 4*w - 11. Is d(12) a prime number?
False
Let h be (-5)/10*(-3 - 1). Suppose -484 = -6*d + h*d. Is d composite?
True
Let n(d) = -3*d + 1. Suppose -12 = -w - w. Suppose 2*s + r - 45 = w*s, 2*s + 3*r + 33 = 0. Is n(s) prime?
True
Is (-3)/6*(-1 + -717) prime?
True
Let v(g) be the second derivative of -g - 2*g**2 + 0 - 13/6*g**3. Is v(-3) prime?
False
Suppose 0 = -r - 4*w - 1, -3*w - 11 = -3*r - w. Suppose -r*f + 33 = -45. Is f a prime number?
False
Is 2 - 7/(21/(-225)) a composite number?
True
Is 7*(-722)/(-8) - (-6)/(-8) a composite number?
False
Let f(z) = z**2 - 3*z - 1. Let k be f(4). Let u = k + 2. Suppose 0*x = -u*x + 95. Is x a prime number?
True
Let n(f) = f**3 + 14*f**2 + 13*f. Let x be n(-13). Is (408 + x + 1)*1 a prime number?
True
Suppose 0*r = 4*r + 524. Let q = r - -87. Let f = 9 - q. Is f a prime number?
True
Let o(c) = c**3 - 3*c**2 - 5*c + 2. Let t be o(4). Let l(s) = -83*s - 3. Let u be l(t). Suppose 0*v - v + u = 0. Is v prime?
True
Let y be (-50)/(-1)*(-20)/(-50). Is y + 1/(-1 + 0) prime?
True
Let q = -50 - 107. Let o = q + 272. Is o a composite number?
True
Let v be (-10 - -2)/((-1)/62). Suppose 5*o = 3*g + v, 2*g + 2*g + 8 = 0. Suppose 2*b = 92 + o. Is b prime?
False
Suppose 2 = -3*j - 4. Let o be (-2 + 3)*j - 30. Let l = 90 + o. Is 