0. Is c composite?
True
Let q(b) = b**3 - 8*b**2 + 2*b + 8. Let j be q(7). Let x = 53 + j. Suppose -4*w = -x - 14. Is w composite?
True
Suppose -3*l = -0*l + 15, 0 = -5*j + l - 60. Is (-2)/13 - 3993/j a prime number?
True
Suppose 3*g - 13 - 2 = 0. Suppose -2*k - 21 = -g*k + 5*r, 4*k = 2*r + 14. Suppose -240 = -3*o + 5*w, -434 = -5*o - k*w - w. Is o prime?
False
Suppose p = -5*y - 215, 0*y = p - y + 209. Let s = 605 + p. Is s prime?
False
Let o(w) = -35*w**2 - 3*w + 2. Let q be o(-5). Let y(z) = 4*z**2 + 15*z - 29. Let t be y(-20). Let i = q + t. Is i composite?
True
Let t be ((-68)/(-6))/(11/9 + -1). Suppose -47*h = -t*h + 5444. Is h prime?
True
Let t(g) = -3*g + 9. Let q be t(3). Let m = 2 - q. Suppose -4*p = m*b - 116, 0 = 3*b + 13 - 1. Is p prime?
True
Suppose -41*h = -37*h - 31616. Is (-2 + h/6)*24/16 a composite number?
False
Let k = 53756 - 22747. Is k a composite number?
True
Let q(y) = -3*y**2 - 3*y - 37. Let z(w) = -4*w**2 - 2*w - 38. Let f(v) = -3*q(v) + 2*z(v). Is f(-16) a prime number?
True
Let i = 2343 + -1580. Is i prime?
False
Let y(h) = -4532*h + 211. Is y(-6) prime?
False
Suppose 36961 = 5*x - 4*r, 0 = -5*x + 3*r + 36735 + 227. Is x a prime number?
True
Let m(p) = -10*p**2 - 5*p + 11*p**2 + 3 + 6*p + 6*p. Let z be m(-7). Suppose 3*k + 3*j - 546 = 0, -k + z*k - 385 = 5*j. Is k prime?
False
Suppose -3*r = 22 - 76. Let l(t) = t**3 - 17*t**2 + 27*t - 23. Is l(r) a prime number?
True
Let b = -47052 - -95351. Is b a prime number?
True
Suppose -2*b + 2598 = 382. Suppose -2*i + 3246 = -b. Is i prime?
False
Let a(w) = 2*w**3 - 15*w**2 - 9*w - 12. Let c(y) = -y**3 + 5*y**2 + 3*y + 4. Let m(q) = -2*a(q) - 7*c(q). Is m(6) a prime number?
False
Let g be ((-477)/(-12))/(6/8). Is (-12)/(-6)*(g/2 - 0) a prime number?
True
Let s(c) = c**3 - c**2 + 1. Let u(z) = 2*z**3 + 18*z**2 + 15*z - 26. Let o(h) = -s(h) + u(h). Is o(-14) composite?
False
Let d = 9 + -39. Let h = 76 + d. Is h prime?
False
Suppose -12*o + 23067 + 23817 = 0. Is o a prime number?
True
Let a(z) = 11*z**2 - 6*z - 13. Let r(x) = -12*x**2 + 6*x + 13. Let l(m) = 3*a(m) + 2*r(m). Is l(-6) a composite number?
False
Let u(o) = 2*o**2 + 9*o - 5. Let m = 14 - 11. Suppose -m*c - 9 = 15. Is u(c) a composite number?
True
Is ((-4)/(-5))/(-9 + 1438541/159835) prime?
False
Suppose 3*z = x - 7, -4*x + z = -z - 18. Suppose -4*y = 2*m + 2, -x*m - 5 = y + m. Suppose y*b + 140 = 4*b. Is b composite?
True
Let i(y) = y**3 + 3*y**2 - 3*y + 23. Let o(x) = -2*x**2 + 20*x + 8. Let z be o(10). Is i(z) a prime number?
False
Let o = 23549 + -9468. Is o a prime number?
True
Let d = -222 + 107. Let u be (-1)/(d/57 - -2). Let b = 128 - u. Is b prime?
True
Let k = 1099 + 466. Is k a composite number?
True
Suppose b + 3*u + 0*u + 18 = 0, -4*b + 3*u = 12. Let x be (163 + 11)*(-2)/b. Let i = 337 + x. Is i a prime number?
False
Suppose -2*v - v - 159 = -o, -4*v = 2*o - 328. Let u be 12/28 - o/(-14). Suppose -u = -2*r + 80. Is r prime?
False
Let m(r) = -12910*r**3 - 5*r**2 - 7*r - 1. Is m(-1) a prime number?
True
Suppose 3*g = -2*g. Let x be g/((-12)/(-4)) + 252. Let q = 517 - x. Is q prime?
False
Suppose -2*w + 4 = -0*w. Suppose 2*q - w*f + 0*f - 148 = 0, 5*f = 3*q - 216. Is q a prime number?
False
Let j(t) = -t + 9. Let i be j(4). Suppose -u = y - 1684, 2*u + y - 3398 = i*y. Is (-11)/88 - u/(-8) a composite number?
False
Let k = 18889 - 11022. Is k a composite number?
False
Suppose -39654 = -17*a - 11485. Is a a composite number?
False
Let y = 16 - 11. Let m be (-2 + 0)/(-1 + 147/149). Suppose -j = 4*t - 271, -m = 3*t - 5*t - y*j. Is t a composite number?
False
Let t = -44 + -39. Let d be (t/(-4))/((-8)/(-64)). Suppose -d = -2*j - 2*k, -3*k = -j - 25 + 124. Is j a prime number?
False
Let a be (-7816)/(-3) + 4/6. Suppose -655 = -z + 3*j, z + 5*j + a = 5*z. Is z prime?
False
Suppose 0 = 2*s - 4*x + 48, -3*s - 2*s = x + 175. Let g = s + 38. Is g + -1 + 517 - -1 composite?
False
Suppose -5*o + 12025 = -3*n + 2645, 0 = -2*o - n + 3741. Suppose -i - 3*i = 3*q - o, 5*i + 2549 = 4*q. Is q composite?
False
Let s = 11 - -2. Let o = s - 11. Suppose f - 2*p = 47, -3*f - 2*p = o*f - 271. Is f a composite number?
False
Let p(g) = -g + 27 - 41 + 28. Let u be p(10). Is (-2)/(u*4/(-4904)) a prime number?
True
Let y = 15549 + -9352. Is y prime?
True
Suppose 40663 = -4*d + 7*d - 2*k, -2*d + k = -27108. Is d a composite number?
False
Let h(j) = 60*j - 47 + 47*j - 44*j. Is h(15) a composite number?
True
Let b be (-1)/(2/(2 + -8)). Let q(u) = 10*u - 8. Is q(b) composite?
True
Let l(u) = -38*u**2 - u + 2. Let i be l(7). Let b = i + 1023. Is (-1)/((-2528)/b + -3) prime?
True
Suppose -7*n - 14 + 77 = 0. Let r = 12 - n. Suppose -3*m + 6*m - 1728 = -3*x, r*m = 3*x + 1710. Is m prime?
False
Suppose -5*u - 2*o = -116025, 2*u - 13916 = o + 32503. Is u composite?
True
Let n = -734 - 624. Is -1 - (n - 4/6*-3) prime?
False
Let w(s) = 28*s**2 + 6*s + 7. Let m be w(5). Suppose t + m = n - 3*t, -3*t = 4*n - 3024. Is n a composite number?
True
Suppose -147 = s - 6364. Let g = -1670 + s. Is g a prime number?
True
Suppose 2109*b - 29294 = 2107*b. Is b a composite number?
True
Suppose -7*l + 11*l - 20 = 0. Suppose -3*n - z + 980 = 0, 5*n - l*z - 528 - 1112 = 0. Is n a prime number?
False
Let b be 62*4*(-3)/(-6). Suppose b = -x + 3*x. Is x a prime number?
False
Let i(n) be the third derivative of 379*n**5/60 - n**4/24 + n**3/6 - 5*n**2. Is i(1) a prime number?
True
Let k = 11 + -6. Suppose -12 = 5*m + 3*r + 5, -r + 21 = -k*m. Is 6 + m + 8 - -4 a prime number?
False
Let b be 54/(-4)*(-29 - -5). Let c = -75 + b. Is c a prime number?
False
Suppose 18*w - 418 = 29*w. Let c = -36 - -111. Let y = w + c. Is y a composite number?
False
Let b(k) be the first derivative of 7*k**3/3 + 35*k**2/2 + 5*k + 41. Is b(-14) a prime number?
True
Let s be 6*14/18 - 4/(-12). Suppose 5*o + k - 215 = 1143, -5*o + 1370 = s*k. Is o a composite number?
False
Suppose 46*r + 8663 = 47*r. Is r a composite number?
False
Let b = 7 + -17. Let x be 1/((b/12)/(-5)). Let t(w) = 13*w - 13. Is t(x) a prime number?
False
Let l(i) = -2*i**2 + 3*i + 16. Let p be l(-3). Let v(o) be the third derivative of -35*o**4/8 - 11*o**3/3 - o**2. Is v(p) prime?
False
Let q be ((-9)/(-6) - (-3)/(-2))/2. Suppose 5*u - u + 3986 = 2*f, q = -f + 3*u + 1993. Is f composite?
False
Let t(c) = -2*c**2 + 4*c - 11. Let j be t(5). Let w be (j - 12)*(-3 - -1). Suppose 4*m = -r + 409, w = 3*m - 2*m - r. Is m a composite number?
False
Let z = 107 + 65. Suppose 2*w = 2*l + z, -4*l + 256 = 5*w - 201. Suppose y + 3*s = w, -3*y + 2*s = -3*s - 211. Is y composite?
True
Let v = -6280 - -14591. Is v a prime number?
True
Let t(p) = p**3 - 31*p**2 - 4*p + 111. Is t(32) composite?
True
Let n(u) = 37143*u**3 - u**2 - 2*u + 2. Let f be n(1). Suppose -19*t = -f + 7977. Is t prime?
False
Suppose -4*j - 2*p + 46113 = 479, j - 11416 = p. Is j a composite number?
False
Let a(h) = -h**2 + 6*h - 1. Let g be a(4). Suppose -9*x + 1688 = -g*x. Suppose 5*n = n + x. Is n composite?
False
Suppose -3*m = -8*m + 285. Let p be (m + -2)*(-4)/(-5). Is (-20)/(-2)*p/8 composite?
True
Let r(b) = 152*b + 2. Let s be r(3). Suppose -20 = 5*c, -3*h - 3*c + s = -h. Suppose -2820 + h = -5*x. Is x prime?
False
Let w(i) = 47*i**2 + 13*i + 49. Is w(-6) a composite number?
False
Is (143373/15)/(68/340) composite?
False
Let b = 36330 - 13337. Is b composite?
False
Is ((-120)/18 + 6)/((-8)/17580) prime?
False
Suppose t + 4*t = 3*d + 40, -2*d = 0. Let l(c) be the first derivative of c**3/3 + 11*c**2/2 - 18*c + 1. Is l(t) a prime number?
False
Suppose -920 = d - c, -3*c - 512 - 4064 = 5*d. Let n = d - -1840. Is n prime?
False
Let j(q) = -q + 7. Let b be j(3). Let x(n) = n**2 + 5. Let l be x(-6). Suppose 2*t = -b*d + 260, -d + 120 - l = -3*t. Is d prime?
True
Let l = 187 - 15. Let o = -119 + l. Is o a prime number?
True
Suppose 7*p - 8*p + 491 = 0. Is p a composite number?
False
Suppose -22*t + 222223 = -148323. Is t composite?
False
Suppose -4*a - 96 - 348 = 0. Let m = 375 + a. Suppose -2*o + m + 182 = 0. Is o a prime number?
True
Let m(j) = 57*j - 53. Is m(22) a prime number?
True
Let v(l) = -26*l - 27. Suppose 0 = -5*p - 5 - 50. Is v(p) a prime number?
False
Let r(f) = -15*f - 16. Let n be r(-6). Is n*4/6*(-9)/(-12) a prime number?
True
Let c be (1 - 2233) + 