q = 24 + v. Suppose q = -w + 7*w. Is w prime?
False
Let q(i) = 34*i**2 + 20*i + 197. Is q(-14) prime?
True
Let b(m) = -66*m. Let n be b(-2). Let j = 69 - n. Let y = j + 158. Is y a prime number?
False
Suppose 0 = -3*p + 7*p - 16. Suppose 0*w = -p*w + 1188. Suppose 0 = 5*x - x + 5*h - 226, -w = -5*x + h. Is x a prime number?
True
Suppose -j = 9*j - 164130. Is j a composite number?
True
Suppose 0 = 2*f - 3*q + 1466, q + 7 = 3. Suppose 4*j - 1240 = -y, 5*j - 835 - 2899 = -3*y. Let r = y + f. Is r a prime number?
True
Suppose -5*z + 5 = -10. Suppose -193 - 296 = -z*l. Is l a prime number?
True
Let w(n) = -63*n**2 + 5*n + 12. Let d be w(5). Let g = -281 - d. Is g prime?
False
Is (-2)/(1 + -3)*(-2330)/(-5) a prime number?
False
Let f(w) = -61*w**3 + 2*w + w**2 - 174*w**3 + 2 + 10*w**3. Let k be f(-1). Suppose -4*v = -2*x + k, -6*v = -v - 5. Is x composite?
True
Suppose -439 = -r + 308. Let q = 1249 - r. Is q prime?
False
Suppose 4*v - 16 + 8 = 0. Suppose 4*t + 37 = v*p + 7, -t = -5*p + 39. Is -4 + p*(-69)/(-1) a composite number?
False
Suppose -j + o = -o - 474, -3*j = 5*o - 1367. Let z = j + -105. Is z a prime number?
True
Let k = -52 - -52. Suppose f - 730 + 97 = k. Is f a composite number?
True
Let k = 14 + -10. Suppose 0 = -i - 4, k*q = 8*i - 3*i + 32. Suppose 0 = q*r + 4*r - 3367. Is r a composite number?
True
Is (7 + -14)*(-14109)/21 composite?
False
Let r = 68 + -64. Is r + (-1)/(-1) + 644 prime?
False
Is (-1141)/(-21)*(3 - 0) a prime number?
True
Let o = -133 + 917. Let r = o - -135. Is r a prime number?
True
Suppose l = 8*l - 2107. Suppose -8*m = -3*m - 20. Suppose -u + 23 = -m*w - 24, -5*u - 2*w + l = 0. Is u a composite number?
False
Suppose 127499 = 24*c - 125917. Is c a prime number?
True
Let t = 93 + -93. Suppose t*i - 4*v = -3*i + 2941, 4*v + 1958 = 2*i. Is i composite?
False
Let u(s) = -s**3 - 5*s**2 + s - 8. Let c be u(-7). Suppose 0 = l - 3*l - 56. Let x = c + l. Is x prime?
False
Let x be 8*(0 - (-9)/(-12)). Let t = x - -9. Suppose 128 = t*b - 31. Is b composite?
False
Is 6*(-25180)/240*(0 - 2) a prime number?
True
Let o(b) = -b**3 + 7*b**2 + 7*b + 11. Let z be o(8). Suppose k + 1852 = z*k. Suppose -4*p - m - 2*m + k = 0, -m - 235 = -p. Is p a composite number?
False
Let q(v) be the first derivative of 5*v**2/2 + 39*v - 16. Is q(20) a composite number?
False
Let f(i) = -13*i**2 - 2*i - 1. Let m = 17 + -18. Let b be f(m). Is (-1702)/(-8) + b/(-48) composite?
True
Suppose 30255 = 10*t + 5*t. Is t composite?
False
Suppose b = -b - 2*u + 8066, -b + 4025 = 3*u. Is b a composite number?
True
Suppose 3*k - 3 = -3*q, q + 2*k = 2*q - 7. Is (-1 + (-2279)/q)/((-6)/9) prime?
False
Let j(w) = 9*w**2 + 9*w - 6 - 2 + 17*w - 6. Is j(11) a composite number?
False
Is ((-1)/3 - -1)/(242/22311069) composite?
False
Let m be (-10)/(-5) + -1 - -3. Let w be 2/2*4*1. Suppose 5*f = w*v - 625, 0 = -4*v - m*f + 572 + 44. Is v prime?
False
Suppose -8720 = -4*g - 5*l + 149884, 3*g = 4*l + 118953. Is g composite?
True
Let s = 79 - 74. Suppose -s*b = 2*x - 10159, 4075 = 4*b - 2*b - 3*x. Is b a composite number?
True
Let p(b) = b**3 - 35*b**2 + 107*b - 87. Is p(32) a composite number?
True
Let g = 17087 + -10972. Is g composite?
True
Suppose 0 = 2*h + 4*l + 10, 2*h - 5*l - 52 = -17. Suppose -3*w - 5*y + 494 = -902, -h*y = 4*w - 1863. Is w composite?
False
Is (-698580)/24*(-1 + (-6)/(-10)) composite?
True
Let x(c) = 20*c - 14. Let j be x(8). Let y = j + 111. Is y prime?
True
Let c(t) = t**2 + 3*t - 286. Let d be c(0). Let o = d + 497. Is o a composite number?
False
Let l(i) = i**2 + i. Let r(x) = 50*x**2 - 8*x + 13. Let o(t) = 2*l(t) + r(t). Is o(4) prime?
True
Let c(k) = k**3 - 12*k**2 + 15*k - 13. Let d be c(10). Let j be 4/(-14) - 144/d. Suppose 0 = -3*g + j*g + 77. Is g a composite number?
True
Is (-6 - 13542/30)*-5 a composite number?
False
Let l(z) = 55*z + 3. Suppose 0 + 7 = -k. Let i = -3 - k. Is l(i) a prime number?
True
Suppose 3*l - 2*u = 6917, 4*l + 2*u - 9256 = -2*u. Is l composite?
False
Let y be (-5)/(-10) + (-6)/(-4). Suppose 4 + y = 2*w. Suppose 2*u = -3*s - 0*u + 51, -u = -w. Is s a composite number?
True
Let w be -1 + (-2)/(-8) + (-12)/(-16). Suppose -4*f = -5*x - w*f + 4091, 823 = x - 2*f. Is x a composite number?
True
Let o(l) = 1538*l**2 - l - 8. Is o(-5) a composite number?
False
Let n = -16 - -10. Let d(a) = 177*a - 2. Let i be d(n). Is 7/(-21) - i/6 prime?
False
Is (-15)/6*(-2384)/40 composite?
False
Let w be 846/(-5) + (-3)/(-15). Let x = 254 + w. Is x a composite number?
True
Let q be (22/55)/((-1)/(-20)). Let p be 150/8 - 6/q. Suppose i + 4*i = 3*j - p, -12 = -2*j - 5*i. Is j a prime number?
False
Let x = -517 - -2838. Is x a prime number?
False
Let r(q) = 11*q - 35*q + 1 - 7. Let o be r(6). Let w = o + 335. Is w a prime number?
False
Let g be -13*3*(-6)/18. Let v be 3506/(-26) + (-2)/g. Let n = v + 292. Is n prime?
True
Suppose 3*o - 10932 = -3*l - 0*l, 2*l = -3*o + 10931. Is o prime?
True
Let d(k) = k. Let o be d(5). Suppose -o*y = -b - 1474, 0*y + y - 4*b = 291. Is y prime?
False
Suppose 2*i - 2220 = 578. Is i composite?
False
Suppose -3*b - 9 - 6 = 2*g, 12 = -b - 3*g. Let a(j) = -8*j + 1 - 1 - 1 - 16*j. Is a(b) composite?
False
Let u be (-6)/(-24) - (-3006)/8. Suppose r + 2 = 0, -4*s + 4*r = -0*r - u. Suppose -t = 5*z - 137, -2*t + 172 = 5*z - s. Is t prime?
True
Let m = -573 + 342. Let z = -1 - 0. Is (m/(-6))/(z/(-2)) prime?
False
Let y(v) = v**2 - 19*v - 19. Is y(-7) prime?
True
Let h(p) = -2*p**2 - 43*p + 30. Let i be h(-22). Suppose -2*j = 5*u - 3583, u + 12*j - 713 = i*j. Is u a prime number?
False
Let v(w) = 144*w**2 + 3*w + 6. Let k(c) = -145*c**2 - 2*c - 5. Let i(f) = -4*k(f) - 3*v(f). Is i(1) a prime number?
True
Suppose u + 16 = -3*u, -3*u + 1283 = 5*j. Let m = -81 + j. Is m prime?
False
Let l(f) = -11*f**3 + f**2 - 4*f - 3. Suppose -3 = -z + 3*s + 5, s = -4. Let c be (28/(-35))/(z/(-10)). Is l(c) composite?
False
Suppose -2*f + 26 = 122. Let c = f - -74. Is c a prime number?
False
Suppose 97 - 669 = -4*b. Suppose 4*s + b = m, -4*m + 2*m + 5*s + 295 = 0. Is m a prime number?
False
Suppose 3*z = -j - 3*j + 809, 2*z - 541 = -3*j. Is z composite?
False
Let o(d) = -d**2 - 8*d + 12. Let g be 2/14 - (-852)/(-84). Let x be o(g). Let n(l) = -13*l - 7. Is n(x) prime?
True
Let l = -7839 - -14224. Is l a prime number?
False
Suppose -c = z - 3594, 2*c = 5*z - 8425 - 9538. Is z a prime number?
True
Suppose -20 = -4*p, w - 5 - 17 = -3*p. Suppose -3411 = w*v - 10*v. Is v/12 - (-12)/(-16) prime?
False
Let i(w) = -1200*w + 221. Is i(-20) a prime number?
False
Let v = -38 - -40. Let t(x) = 31*x**2 + 2*x - 5. Is t(v) prime?
False
Let h(q) = -q**3 - q**2 - 5*q + 1. Let m be -8 - (0 - (-2)/(0 + -1)). Is h(m) a composite number?
False
Suppose 21*a + l = 18*a + 10764, 2*l = -3*a + 10761. Is a a composite number?
True
Is (-627160)/(-76) + 2 + (-30)/285 a prime number?
False
Let l(o) = 2*o**3 + 10*o**2 + o - 24. Let f(x) = x + 1. Let j(c) = -4*f(c) - l(c). Is j(-7) a prime number?
True
Let h = -90 + 51. Is h/91 - 10258/(-7) a composite number?
True
Suppose 107*r = 41*r + 613734. Is r prime?
False
Let b(m) be the second derivative of -m**5/20 + 5*m**4/6 - m**3/3 - 11*m**2/2 - m. Is b(6) prime?
False
Let t be 78/(-13)*(-1)/2. Suppose z = -t*z + 24. Let m(v) = -v**3 + 6*v**2 + 3*v + 1. Is m(z) a composite number?
False
Let j(h) = -42*h + 17. Is j(-27) composite?
False
Let h = 10680 - -8696. Let g = -11420 + h. Is g/27 - (-1)/3 a composite number?
True
Let p be (-12)/8*4/(-2). Suppose -2*n + 12 = 5*r - p, 2*n + 9 = 3*r. Is (-15)/10*(-430)/r a composite number?
True
Suppose -678 = -2*g + 16*c - 12*c, 4*g - 3*c - 1356 = 0. Is g prime?
False
Let y(g) = 25*g + 584. Let r be y(-23). Let c(u) = 12*u**2 + 3 + 2*u**3 + 10*u - 10 - 3*u**3. Is c(r) a composite number?
True
Let o = 2687 - 396. Is o a composite number?
True
Let o = -6 + 33. Suppose -32*r + o*r = -1340. Let y = r + -125. Is y prime?
False
Let c be (-2)/3*(-261)/2. Is c - (-2 - (1 + 1)) a prime number?
False
Let u = -137 - -139. Suppose 2*o - 1599 = 5*n, -3*o = -3*n + u*n - 2366. Is o prime?
True
Suppose -z + 2 + 2 = 0. Suppose 48 + 16 = -z*s. Is (-200)/s + 2/4 a prime number?
True
Is ((-32822)/6)/(2/(-30)) a composite number?
True
Suppose -2*o - 3*m + 9665 = 0, 4*m - 5651 = -3*o + 8846. Is o 