10*i + 30 = -0*i. Is i/(-12) + 2924/16 + 0 composite?
True
Is 98665/(-175)*(0 + -5) a composite number?
False
Is (-118 - -117)/(2/(-22058)) a prime number?
False
Let t = 15 + -21. Let u = -2 - t. Is 71 + -1 + (1 - u) a prime number?
True
Suppose -3*y = -b + 1541, 0 = -3*b - y + 6*y + 4611. Let c = 2476 - b. Let o = -475 + c. Is o composite?
True
Is 4 + -2 - 17/((-136)/554760) composite?
True
Let j(r) be the first derivative of r**3/3 - 2*r**2 + 4*r - 2. Let y be j(4). Suppose 131 + 105 = y*q. Is q prime?
True
Let c(s) = 2*s + 2. Let l be c(-1). Suppose -3*x + 229 = 5*i, 3*x + 2*i + i - 237 = l. Is x composite?
False
Let b(d) = -4*d**3 - 6*d**2 - 15*d - 64. Is b(-9) a prime number?
False
Let l(w) = -w**2 - 7*w - 4. Let m be l(-5). Let s be 3 + m/1 + -3. Suppose s*h - h = 635. Is h a composite number?
False
Let n(s) = 73*s - 1. Let i be n(1). Let l = i - 40. Suppose -t + l = -97. Is t composite?
True
Let m(b) = b**3 + 13*b**2 + 30*b. Let k be m(-10). Suppose k*j + 794 = 2*j. Is j prime?
True
Let j(a) = -a**2 + 2*a - 4. Let u be j(-7). Let o = u + 125. Is o prime?
False
Let o(p) = -10*p - 10. Let c be o(-4). Is (-6)/c + 942/10 composite?
True
Suppose -5*h + 2790 = m, 4*m + 5*h - 8330 = m. Suppose -y - 191 = -m. Is y a composite number?
False
Let x = -26 - -29. Let h(q) = 70*q**2 + 5*q - 2. Let p be h(x). Let n = p - 420. Is n a composite number?
False
Let d(j) = 1404*j - 727. Is d(41) a prime number?
False
Let k(h) = -h**3 + 17*h + 4 - 2 + 15*h**2 + 6. Is k(15) a prime number?
True
Suppose 11 = q - 3*v, 10*v = q + 5*v - 11. Suppose q = 4*c + 3. Suppose 0 = l + c*s - 69, -4*l = -l - 5*s - 262. Is l a composite number?
False
Suppose -c + 5740 = b, 2*c - 4*b - 11462 = -0*b. Is c composite?
False
Let g be (-1 - -6509)*(9/(-6))/(-3). Let v = g - 2167. Is v prime?
True
Suppose -r + 6 - 27 = 0. Is (12/r)/(16/(-42056)) prime?
False
Suppose 8 = 2*i, p - 29 = 2*i - 7. Let h be (-33)/22 - p/(-4). Is (236/6)/(4/h) composite?
False
Let p(z) = -z**3 + 22*z**2 - 15*z - 19. Let a be ((-15)/(-2))/(30/40). Is p(a) composite?
False
Suppose -13*t = -5*t. Let k(m) = m**3 - m**2 - m + 379. Is k(t) a prime number?
True
Suppose -3*j + 6588 = -x, -4*j - 3*x + 1107 = -7677. Suppose -6*d + j = -2*d. Suppose i - d = -3*n + 5*i, i + 932 = 5*n. Is n composite?
True
Suppose 669 = -5*j + 3274. Let a = j - 180. Is a prime?
False
Suppose 0*u + u + s = 6, -5*s - 2 = -3*u. Suppose u*l - 1304 = -408. Let d = 315 - l. Is d a prime number?
False
Let f(l) = 17 - 11*l + 4*l**2 + 12*l - 10*l. Is f(-9) a prime number?
False
Let p(r) be the first derivative of -r - 5/2*r**2 - 1 + r**3. Is p(5) prime?
False
Let l(x) be the second derivative of x**4/12 + 11*x**3/6 + 53*x**2/2 - 32*x. Is l(-11) a composite number?
False
Let b(c) = 1711*c**2 - 31*c - 37. Is b(-4) a composite number?
True
Let p(k) = -55*k - 13. Let g(s) = -55*s - 12. Suppose 0 = 5*x + w - 16, 3*x = -0*w + 2*w + 7. Let r(v) = x*g(v) - 2*p(v). Is r(-9) a composite number?
True
Suppose 33*f - 5873 = 26*f. Is f a composite number?
False
Suppose -a - k - 1 = 2*k, 2*a = -5*k. Suppose -4*n + a*c + 15 = 0, 2*n - 3*c = 2 + 7. Suppose n = -2*x, x + x = -4*q + 188. Is q a prime number?
True
Let h(w) = -2*w**2 - w - 3. Let f be h(3). Let t = f + 179. Is t prime?
False
Let f be ((-40)/2 - 1)*-1. Suppose -1196 = -25*p + f*p. Is p a composite number?
True
Let f be ((-1)/2)/(2/4). Let p = -19 + f. Let z = 103 + p. Is z prime?
True
Let d = -39 + 22. Let p be ((-21)/(-3))/((-19)/(-646)). Is 161154/p + 2/d prime?
True
Let d = 18237 - 11890. Is d a prime number?
False
Suppose 2*o - 2*t = 20 - 2, 0 = -3*o + t + 19. Suppose -3*c = c + v - 2759, -5*v = -o*c + 3430. Is c prime?
False
Suppose -j - i = -2248, 15 = -0*i + 3*i. Is j a composite number?
False
Let s be (-9890)/6 + (-16)/(-48). Let m = -903 - s. Is m composite?
True
Suppose -3*l = 2*q - 5878 - 3691, -3*l - 9 = 0. Is q composite?
False
Let k be (2 + 10/(-8))/(1/244). Let b = 260 - k. Is b composite?
True
Is (-1 + -4678)/((10 + -8)/(-2)) a prime number?
True
Let x = 0 + 5. Suppose x*v + 3233 = -342. Let i = -362 - v. Is i a composite number?
False
Is 51/(-561) + (2 - 304196/(-22)) prime?
True
Suppose 3*x + 5*x = 8. Is (-5 - 8462)/(x + -2) composite?
False
Let h(q) = 6*q**3 + 25*q**2 - 11*q - 4. Let t(d) = 3*d**3 + 12*d**2 - 6*d - 2. Let g(x) = 3*h(x) - 7*t(x). Is g(-9) composite?
True
Suppose 21*h = 24*h + 42. Is 422/8*(-2 - h) composite?
True
Let m = -54 - -103. Let i be 1/4 + m/(-4). Let j = i + 91. Is j composite?
False
Suppose 6*h = 14*h - 504. Let x = h - 56. Is x prime?
True
Suppose -117239 = -3353*c + 3352*c. Is c prime?
True
Suppose -2*q + 0*q - 992 = 0. Let z = -198 - q. Is z composite?
True
Let x = 4 + -20. Let w = x + 18. Suppose 4*i - 1940 = w*t, 7*t = 3*i + 3*t - 1455. Is i a composite number?
True
Let b(c) = 5489*c**2 - 6*c - 6. Is b(-1) a composite number?
True
Let r(c) be the third derivative of c**5/60 + c**4/4 + 2*c**3/3 - 3*c**2. Let y be r(-6). Suppose y*l - 4 = 0, 5*k - 2*k - 2*l = 4. Is k a composite number?
False
Let t(j) = 6*j**2 + 5*j - 3. Suppose 7*v + 3*k + 33 = 4*v, -v - 3*k - 19 = 0. Let d be t(v). Suppose 4*s - 204 = d. Is s a composite number?
True
Let a = 25 + -42. Let u = a - -22. Let d(t) = 111*t + 2. Is d(u) prime?
True
Let d(l) = -4*l**3 + l**2. Let w be d(-1). Suppose 0 = w*c - 209 - 3936. Let x = c + -206. Is x composite?
True
Let c(p) = p**3 + 16*p**2 + 16*p + 15. Let q be c(-15). Let g(o) = -2*o**2 - 7*o + 5099. Is g(q) a composite number?
False
Suppose 5*i - 4*u = 21, 3*i - 3*u - 3 = 12. Let h(v) = -1 + 169*v - 101*v + 182*v. Is h(i) prime?
False
Is -145*(-3 + 4/5) a prime number?
False
Is (-2)/5 + (-2676204)/(-60) + 12 composite?
True
Let t be (8/(-14))/((-5)/35). Suppose t*q + 33 = -5*l + 5*q, 0 = q + 2. Is (-1304)/(-28) + 4/l a composite number?
True
Suppose -23 = -3*g - 4*a, 2*g + 2*g - 3*a - 14 = 0. Suppose -2*i = -g*i, 2*i + 6 = 3*k. Is 1650/20*k/3 prime?
False
Let k = 501 - 311. Let w be 0/3 + k/(-2). Is w*1/2*-2 a composite number?
True
Let y(d) = -5*d**3 + d**2 - 4*d + 3. Let b be y(2). Let t = b + 74. Suppose 2*g - t = 73. Is g composite?
False
Let r be (2/1)/2*1. Let c be (0 + 1)*(r - 1). Suppose c = -6*m + 2*m + 844. Is m a prime number?
True
Suppose 590 = c + c. Let f = c - -167. Is (f/12)/(2/4) composite?
True
Let w(s) = -s**2 - 5*s + 8. Let z be w(-6). Suppose -4*h - 8 = 0, -5*t + 2595 = 3*h + z*h. Is t prime?
True
Let k = -414 - -86. Let i(r) = r**2 + r - 551. Let s be i(0). Let y = k - s. Is y a prime number?
True
Let s(i) = 11*i**2 - 3 + 0 - i + 2. Let a be s(-4). Suppose 5*g - 216 = a. Is g a composite number?
False
Let p be 112/(-21)*(-6)/4. Suppose 0 = p*i - 12*i. Is i - -496 - (6 + -7) prime?
False
Suppose -9*t = -6*t - 324. Suppose 28*m = 24*m + t. Suppose -28*n + m*n + 69 = 0. Is n a composite number?
True
Suppose 2*j - 386 = -2*z, 0 = 4*z + 3*j - 173 - 597. Is z composite?
False
Suppose 0 = -3*z + 24 - 15. Suppose -z*f + 6*f - 66 = 0. Let x = 75 + f. Is x composite?
False
Let j = -13868 - -27769. Is j a prime number?
True
Suppose 3*a + 3*b + 8 = 20, 7 = -2*a + b. Is 567 - a - 2/((-10)/(-15)) a prime number?
False
Let l(d) = d**2 + 11*d + 12. Let b be l(-10). Suppose 5*z = j + 18, -2*z + j = -b - 4. Suppose 9*k - 2455 = z*k. Is k prime?
True
Let o be 15/(-10)*8/(-3). Let y(x) = 17*x - 7. Let v be y(o). Let r = v + -23. Is r a composite number?
True
Let l(d) be the first derivative of 13*d**4/3 + d**3/3 + d**2/2 + 4*d + 3. Let g(n) be the first derivative of l(n). Is g(-1) a composite number?
True
Let g = -905 - -458. Let d = -154 - g. Is d a prime number?
True
Let a be 6*2*2/8. Let b be (-1)/(a/(-9)*1). Suppose -b*q + 1236 = 9. Is q a composite number?
False
Suppose -o = f + 975 - 8077, o + 21310 = 3*f. Is f composite?
False
Suppose 148*c + 8223 = 151*c. Is c a composite number?
False
Let u(c) = -3*c - 15. Let o be u(-10). Suppose -3*g + o = 0, 0 = 2*z - 0*g + g - 51. Is z composite?
False
Let s = 166 + -89. Suppose 46 = i - s. Is i a prime number?
False
Let a(d) = -1865*d + 106. Is a(-15) composite?
False
Let r(h) = h**3 - 6*h**2 - 7*h + 6. Let j be r(7). Let w be j/15 - (-16)/10. Suppose w*d - 655 = -3*d. Is d a prime number?
True
Suppose 2*v = 3*j - 2451, -5*v - j = 1076 + 5077. Let r(n) = 49*n**2 + n + 13. Let y be r(-6)