Is j/(-8)*(-268)/6 a composite number?
False
Let z = 10666 + -5049. Is z prime?
False
Suppose 3*j + 23 = 38. Suppose -4*v + 329 = w, j*w - 407 = -v + 1276. Is w prime?
True
Let j(v) be the first derivative of 4*v**3 + 3*v**2/2 - 2*v - 9. Let t be j(-3). Is (t/(-2))/(2/(-20)) a prime number?
False
Let s(i) = i**3 + i**2 + 5. Let c be s(0). Suppose 0 = c*q - 1854 + 509. Is q a composite number?
False
Suppose -3*g + 0*g + 441 = 0. Suppose -810 = -q + c, 9*q - 4*c - 1628 = 7*q. Let t = g + q. Is t prime?
True
Let m(u) = -13*u**3 - 6*u**2 - 8*u - 1. Let c be m(-4). Let p = c - 372. Is p prime?
False
Suppose 3*t + 30605 = 8*t + 3*c, 2*t - 12242 = 3*c. Is t a composite number?
False
Suppose 4*s + 22 = -3*y, 0 = 4*s - 9*y + 5*y + 8. Is (-5 + (-12)/s)*-71 prime?
False
Let x(v) be the second derivative of 157*v**3/6 - 21*v**2/2 - 12*v. Is x(6) a prime number?
False
Let j = 27 - 39. Let l = j - -14. Suppose -93 = -l*q + 5*p, -q = 4*p - 5 - 48. Is q prime?
False
Let w(q) = -969*q - 572. Is w(-15) prime?
True
Suppose 2*a + 6*a = 1392. Is (a/(-6))/(2/(-6)) composite?
True
Let h(t) = 8*t**2 + 2*t**2 - 3 - 3*t + t**3 - 5*t**2. Let o be h(-5). Let f = 19 - o. Is f a composite number?
False
Let a = 5 - 0. Suppose 0 = -2*y - a*q + q + 1094, 3*y - 1647 = -3*q. Is y a prime number?
False
Is (3795/5 - 1)*3/6 a prime number?
True
Let u be 0 - 4/2 - -333. Let l(n) = n**3 + 14*n**2 - 2*n + 28. Let a be l(-7). Suppose -4*b + a = -u. Is b prime?
True
Let h = 20 + -20. Suppose h = 26*j - 22*j. Suppose j = z - 129 - 2. Is z a prime number?
True
Let z be ((-508)/(-12))/(2/6). Suppose 5*t - 68 = -d + 9, 0 = -d + 5*t + z. Is ((-26)/(-3))/(4/d) a composite number?
True
Is -4 + 5 + 9919 + -7 a prime number?
False
Let g(r) = 15*r**2 + 3*r - 15. Is g(4) composite?
True
Let u(g) = 5*g**3 + 12*g**2 - 15*g - 11. Let j(o) = -4*o**3 - 12*o**2 + 14*o + 11. Let b(k) = -4*j(k) - 3*u(k). Is b(-9) composite?
False
Let h(f) = -33*f**2 + 5. Let l(k) = 280*k**2 - 42. Let q(d) = 42*h(d) + 5*l(d). Let a be q(1). Let y = a + 23. Is y composite?
False
Suppose 4*d + 5*n - 234 = 0, 0 = -4*d + 5*n - 9 + 223. Let w = 170 + d. Let h = w - 129. Is h a prime number?
True
Let d(r) = -367*r**3 + 4*r**2 + r + 1. Is d(-4) composite?
False
Let t be 8/(-2)*-1 + -1. Let l be ((-5)/(-3))/(51/153). Suppose -r + 5 - 37 = -d, t*d = -l*r + 88. Is d a composite number?
False
Let c(l) = 6115*l - 212. Is c(7) prime?
False
Let f be (0 + 1)/((-6)/(-2550)). Let d = f + 360. Suppose 2*w = 3*w - d. Is w a prime number?
False
Let a = 416 - -30. Is a a prime number?
False
Let m = -80816 + 118707. Is m composite?
True
Suppose -3*a + 2165 = m, 447 = a - 3*m - 268. Is a composite?
True
Let y = -591 - -1247. Let g = y - -41. Is g a prime number?
False
Let f(k) = -k + 5. Let g be f(8). Let i be g*(3 + (-22)/6). Suppose h + 211 = i*h. Is h a composite number?
False
Let a(l) = 88*l**3 - 3*l**2 + 4*l - 2. Let y(h) = h**2 + 2*h - 1. Let t be y(-4). Let i = t + -6. Is a(i) a composite number?
True
Let p(v) = v - 19. Let i be p(-6). Let l be 2/(-10) - 55/i. Is (-25580)/(-30) + l/6 a prime number?
True
Suppose 2*n + 43 = 4*x - x, n = -2*x - 39. Let p = -16 - n. Is p prime?
True
Let i(q) = 7*q**2 - 252*q - 84. Is i(55) prime?
False
Let u = -20 + 24. Suppose u*f - 6 = -22. Is (-4 + (-20)/f)*142 prime?
False
Let y be 693 + (19/7 - (-12)/42). Suppose 0 = 2*w + 2*v - y, 0*v = 4*w - 4*v - 1376. Is w a prime number?
False
Let f = -7632 + 12215. Is f prime?
True
Let w(z) = -z**2 - 43*z - 59. Is w(-21) a prime number?
False
Suppose 4*y - 24 = -2*y. Is (58/3)/(y/30) prime?
False
Let h(j) = -j**3 - 6*j**2 - 3*j - 11. Let b be h(-6). Suppose b*c - 1110 = 2887. Is c prime?
True
Let t(b) = 128*b**2 + 29*b - 180. Is t(13) a composite number?
True
Suppose 29*q - 127523 = 24*q + 2*w, 0 = -5*q - 3*w + 127503. Is q prime?
False
Let r be -3*(-1)/((-1)/1). Let z = -97 - -191. Let o = z - r. Is o composite?
False
Suppose -111024 + 27580 = -4*k. Is k a prime number?
False
Let o(n) = 6*n**3 - 16*n**2 + 67*n + 74. Is o(21) prime?
True
Let c = 15 + -13. Let b(s) = -58*s**3 - 16*s**3 - s - s**c + 2*s**2 + 2*s. Is b(-1) composite?
True
Let o(g) = 38*g**3 - 6*g**2 - 2*g - 5. Is o(3) composite?
True
Suppose 5*y - b = -3*b + 479135, -b = 0. Is y prime?
False
Let v(u) = -1878*u + 5. Is v(-2) a prime number?
True
Let l be ((-2586)/(-4))/(405/(-140) + 3). Suppose -l = -4*q + 2*q. Is q a composite number?
True
Suppose 0 = 3*n - 4*q - 2339, 5*n + q - 3907 = -q. Suppose 0 = 2*x - 3*z - 1738, -x + 3*z = -88 - n. Is x composite?
True
Let s = 1809 - 988. Is s composite?
False
Let k be (-12)/(-54) - 79/(-9). Is 3 - -6*(834/k + 1) a composite number?
True
Suppose 28*g = 22*g + 48486. Is g a prime number?
True
Let o be (-3 + 2)/((-4)/11096). Suppose 3*v + o = 4*l - 966, 2*l + 5*v = 1896. Let j = l + -611. Is j composite?
True
Suppose 85470 = 12*p + 14922. Is p a composite number?
False
Let q(v) be the second derivative of -10*v**3/3 + 9*v**2/2 - 13*v. Is q(-4) a composite number?
False
Is 332157/63 - (-1)/(-3) - 3 composite?
True
Let b(y) = y + 23. Let k be b(-21). Suppose 3*t + k = 14. Suppose 357 = 3*w - a, 0 = -t*w - 0*w - 5*a + 457. Is w composite?
True
Let b be 5 + (-1 - 2)/1. Suppose -b*q = -3*q + 3. Suppose -q*d + 746 + 49 = 0. Is d a composite number?
True
Let d(k) = 77*k - 13. Suppose 5*u = -25, 0 = -4*h + 4*u + 56 - 12. Is d(h) a composite number?
False
Suppose -31*c = -10*c - 11361. Is c prime?
True
Let b(w) = -3*w**3 + w + 1. Let t be b(-1). Suppose 0 = 3*k + 2*j - 19, -t*k = -2*j - 0*j - 35. Suppose 0 = -k*z + 1852 + 1001. Is z composite?
False
Let t(l) be the first derivative of -6*l**2 + 115*l + 36. Is t(0) a prime number?
False
Let u(n) = -45*n + 20. Let m = 54 - 71. Is u(m) a composite number?
True
Let l = -51 - -23. Let f = -6 - l. Is f a composite number?
True
Let h = -429 - -601. Let s = h + 39. Is s prime?
True
Suppose -4*w = p - 3615, -8*w + 14438 = 4*p - 3*w. Is p a prime number?
True
Suppose -4*x + 2*x = -2*f + 1668, -15 = -5*f. Is (-2)/4 - (-6)/(-12)*x prime?
False
Suppose 19*w - 206610 = -11*w. Is w a prime number?
False
Let l = -11617 - -19802. Is l a composite number?
True
Let w = 14981 - -4490. Is w a prime number?
True
Let k be -1 + (-6)/(-8) + (-22725)/60. Let c = k + 570. Is c a prime number?
True
Suppose 0 = -3*x - 3*y + 5*y - 10, 4*x + 2*y = 10. Let v(k) = 2 + 3*k**2 + x*k + 8*k**2 + 26*k**2 - k. Is v(1) a composite number?
True
Let z(u) = 127*u**3 - u**2 + u. Let w(k) = k - 8. Let j be w(9). Let l be z(j). Suppose -4*t + 3*t + l = 0. Is t a prime number?
True
Let y(g) = -203*g**3 - 13*g**2 - 21*g + 11. Is y(-6) a composite number?
False
Suppose 5 = -4*l - 3. Is l - (-4438)/5 - (-4)/10 a prime number?
False
Suppose 0 = 4*z + 14*z - 201330. Is z a composite number?
True
Let j = -973 - -2812. Is j a composite number?
True
Let a(k) = k**3 - 8*k**2 + k - 5. Let j be a(8). Suppose -b - j*b - 40 = 0. Is -3 - (0 - (-1 - b)) prime?
False
Let r(b) = 6*b**3 - 9*b**2 - 4*b - 32. Let u be r(8). Let s = 3553 - u. Is s composite?
True
Suppose 0*c + 2*c - 26 = 0. Suppose -12*l + c*l - 4 = 0. Suppose x + 18 = l*x. Is x prime?
False
Let b = 1335 + -590. Is b a prime number?
False
Let s(d) = 6*d + 5. Let m be s(0). Suppose -4*g - 4*c = g - 1263, -m*c = -10. Is g a prime number?
True
Let t = -1358 + 2720. Suppose 2*i + 4*r - t = 0, 3*r + 2764 = 4*i + r. Is i a composite number?
True
Suppose 3*h - 5*h - 2220 = -4*f, -2*h = 2*f - 1122. Let g be ((-3)/(-1) + -2)*f. Suppose 5*u - g = 188. Is u a composite number?
False
Let t = 2 + -1. Let x be t*-10*(3 - 31). Let y = x - 86. Is y prime?
False
Suppose 2*a + 2*a = -4*b + 68, 2*a - 14 = 2*b. Let w be (a/8)/(9/30). Suppose -3*j + 3*p = -6*j + 795, 0 = w*j - 3*p - 1357. Is j composite?
False
Let l = 117 + 176. Is l prime?
True
Suppose 0 = -c + a, a + 0*a + 8 = 5*c. Suppose c*s + 2*s = -4*y - 28, 5*y + s = -23. Is 345/3 - (-2 - y) prime?
True
Suppose -4*j - 5*s + 90489 = 25055, 16353 = j + 4*s. Is j composite?
False
Suppose 2*l = -3*k + 7598, 2*l + l + 2*k = 11397. Is l prime?
False
Let r(f) be the second derivative of f**7/504 - 7*f**6/720 - f**5/120 + f**4/4 - 5*f. Let o(m) be the third derivative of r(m). Is o(5) a composite number?
False
Suppose c + 199 = 1374. Suppose 20 = u + 3*u. Suppose -c = -0*o - u*o. Is o a