. Let r(j) = -j. Let s(d) = k(d) + 3*r(d). Let i be s(-1). Let c = -12 - i. Is c prime?
False
Let p = 16 + -16. Suppose 4*k + o - 58 = p, 0 = -3*k + o + 40. Is k a composite number?
True
Let d(h) = h**2 - 7*h + 4. Let t be d(7). Let a = -33 - -33. Let k = a + t. Is k a prime number?
False
Suppose -3*d = -4*c - 107, 3*d + 143 = 7*d - 5*c. Let u = 116 - d. Is u a prime number?
True
Is 3*(-6)/(-9)*(-2395)/(-10) composite?
False
Let t = -172 + 313. Suppose 2*z - 4*z = 4*r - 182, 3*r = 3*z + t. Is r composite?
True
Let w be (-1 + 2)/(3/(-9)). Let a = 146 + w. Is a composite?
True
Let x(u) = u**3 + 3*u**2 + u + 3. Let l be x(-3). Suppose l = -2*s + 16 + 58. Is s a composite number?
False
Suppose -f = 3*f - 24. Is (-109)/(-3) + 4/f a prime number?
True
Let u(p) = 4 + 0*p**2 + p**2 - 3*p**3 + 0 + 2*p**3. Let s be u(0). Is 1/s - (-2380)/16 a prime number?
True
Let c = 3 + 0. Suppose -72 = -c*v + 21. Is v a prime number?
True
Let j(a) = 6*a + 2 + 2*a + a - a**2. Let v be j(9). Suppose v*t = -5*l + 5*t + 21, -3*l + 24 = 2*t. Is l a composite number?
True
Suppose 79 + 178 = u. Is u a prime number?
True
Suppose 5*x - 2*x = -q + 70, -2*q - 4*x + 138 = 0. Is q prime?
True
Let r be 2*4*(6 + 0). Suppose 2 = -w + 2*w. Suppose r = 4*b + 2*v, -w*b - v + 20 = 2*v. Is b composite?
False
Let d be 3 - (-2)/4*0. Suppose 0 = 3*t + 4*k - 9, -9 = -d*t - 2*k + 6*k. Is t a prime number?
True
Suppose -60 = -5*z - 0*z. Suppose 2*a = 12 + z. Is 40/a*(-6)/(-2) composite?
True
Suppose -2*n = -3*k + 4635, 2*n - 3098 = -2*k + 6*n. Is k composite?
False
Is ((-254)/(-4))/((-3)/(-6)) a composite number?
False
Let f be ((-10)/(-1))/(6/297). Suppose -f = -5*q + 100. Is q composite?
True
Suppose 0 = -v + 2*b + 37 + 20, -9 = 3*b. Is v prime?
False
Suppose 2*p + 2*y = 4*y + 10, 5*p - 3*y = 17. Is p/(1 - 128/130) composite?
True
Suppose -3*g + 5*g = 0. Suppose g = -y + 25 + 6. Is y a prime number?
True
Let q(n) = -3*n**2 + 3*n**2 + n + 3*n**2 + 4 + n**2. Is q(-3) a prime number?
True
Let y(f) = 10*f**2 + 4*f - 7. Suppose k - 3*k = -10. Is y(k) a composite number?
False
Let m = 6 + 25. Is m a composite number?
False
Let d(a) = 2*a**3 - a**2 + 4*a - 1. Let p be d(-3). Let b = p - 70. Let n = b - -231. Is n a prime number?
False
Suppose -o + 2363 = -2*j + j, 4*j = 5*o - 11811. Is o prime?
False
Let m be (-72)/(-10) + (-2)/10. Suppose 3 = 4*g - m*g, 3*y = -3*g + 54. Suppose 18 = u - y. Is u prime?
True
Let b(s) = -17*s + 7. Is b(-12) a composite number?
False
Let x(c) = -c**2 - c - 50. Suppose h + 5*y = 25, -4*h - 2*y - 15 = -5*y. Let v be x(h). Let o = -27 - v. Is o a prime number?
True
Suppose 0 = v + v. Let d(t) = 5*t**2 + 2*t + 28. Let l(j) = -2*j**2 - j - 14. Let a(k) = -3*d(k) - 7*l(k). Is a(v) composite?
True
Let p = 1 - -5. Let f(u) = 3*u**2 + 15*u - 8. Let i(z) = 2*z**2 + 8*z - 4. Let t(d) = -3*f(d) + 5*i(d). Is t(p) a prime number?
False
Let r = 442 - 83. Is r a prime number?
True
Suppose 0 = -6*l + 5*l + 2933. Is l a prime number?
False
Is -12 + 14 - (-538 + -1 + 0) a composite number?
False
Let a = -18 - -22. Suppose 504 = a*o - 2*w, -389 = -3*o + 3*w - 7*w. Is o prime?
True
Let h = -584 - -1031. Is h prime?
False
Suppose -2*a = -4*a. Let x = -14 - -16. Suppose -40 = -2*r + x*h, 5*r - 4*h = -a*r + 99. Is r a composite number?
False
Suppose 0 = -2*r - h - 21, -4*r + 2*h = -3*r + 18. Is r/7*7/(-2) a prime number?
False
Is ((0 - 5) + 2508)*1 prime?
True
Suppose 10*i - 370 = 5*i. Suppose -3*z + 73 = -i. Is z composite?
True
Let w(o) = -o**3 + 8*o**2 + 8*o + 11. Let k be w(9). Suppose k*n + 33 = 77. Is n a composite number?
True
Let b(d) = -d**3 + 6*d**2 - 4. Suppose 0 = 4*v - 1 - 23. Let t be b(v). Is (3 - 77)*2/t composite?
False
Let h(w) be the third derivative of -w**6/120 + w**5/60 + w**3/6 + w**2. Is h(-3) prime?
True
Let t(x) = -411*x + 26. Is t(-5) a prime number?
True
Suppose 0 = -3*y - 2*m - 109 + 378, 1 = m. Is y a composite number?
False
Let r(t) be the first derivative of -t**4/4 + 2*t**3/3 + 3*t**2/2 - t + 1. Let b(g) = -3*g**3 + g**2 - 1. Let n be b(1). Is r(n) a prime number?
False
Suppose 4*i - 6*i + 2*z = -510, 5*i + 2*z - 1247 = 0. Is i composite?
False
Let o = -1 - -12. Let j = o - 7. Suppose -k - j*u + 97 = 0, 3*k + 0*u - 226 = u. Is k composite?
True
Let d be 6*-3*2/(-18). Let y be (-1*d - -3)*19. Suppose 0*l + y = l. Is l a prime number?
True
Let l be (-12)/15*(-5)/(-1). Let c be 12/9 - l/6. Suppose 3*k + 15 = h - 7, c*h + 3*k - 89 = 0. Is h prime?
True
Let k be 4*-2*(-1)/4. Suppose 2*v = k*u + 6*v - 66, -5*v - 120 = -5*u. Suppose -3 = i, -3*q + 0*i + u = 5*i. Is q a composite number?
True
Suppose -2*g + v = -v + 14, 5*g - 4*v = -34. Let x(u) = -6*u + 5. Let c be x(g). Let w = c - 27. Is w a composite number?
True
Let l be -1*(2 + -4 + -1). Let g = l - -2. Suppose g*y + 30 - 85 = 0. Is y a composite number?
False
Let g(b) = -3*b. Let o be g(-1). Suppose o - 1 = 2*s. Let m = 3 - s. Is m a prime number?
True
Let y(r) = r**2 + 6*r + 3. Let b be y(-6). Suppose 0 = -t - 3 + 2. Is 37*(t - (-6)/b) composite?
False
Suppose -4*y + 941 = 273. Let j = y - 99. Suppose u - 60 = -4*m - 2, 0 = -5*m + u + j. Is m a prime number?
False
Let h(l) = -l**3 + 7*l**2 + 2*l - 8. Let k be h(6). Let n = k + -21. Is n composite?
False
Let z = -52 - -129. Let j = 128 - z. Is j prime?
False
Let h(o) = 24*o - 5. Is h(7) a prime number?
True
Let d(z) = 39*z**2 - 2*z + 1. Let h be d(-2). Let u = 303 - h. Suppose -c + u = -49. Is c a prime number?
True
Let w(l) = 18*l + 3. Is w(5) a composite number?
True
Let r(s) = -2*s**2 - 2*s + 1655. Is r(0) a composite number?
True
Let y(v) be the first derivative of -v**5/20 + 5*v**4/6 - 7*v**3/6 + 5*v**2/2 - 2*v + 2. Let w(b) be the first derivative of y(b). Is w(8) a composite number?
True
Let l = -43 - -62. Suppose 0 = -4*f + 5*u + 33, -3*f - 2*u + 5*u + 21 = 0. Suppose -l = f*c - 3*c. Is c composite?
False
Let b = 659 - -132. Is b a prime number?
False
Suppose d - 4 = 6. Let a(v) be the third derivative of v**4/12 + v**3/6 + v**2. Is a(d) composite?
True
Suppose -i = a + 2*i - 13, 3*i = -3*a + 21. Suppose -m + 5 = -0*l - l, -3*m + 29 = a*l. Is m a prime number?
True
Let b(t) = t**3 + t**2 - t + 1259. Is b(0) prime?
True
Suppose -d = 2*d. Suppose i - 120 = -d*i. Suppose -2*s - 26 = 2*q - 80, 2*s - i = -5*q. Is q a prime number?
False
Is (699/6 + 6/3)*2 composite?
True
Let y = -3 - -6. Suppose -1 = -l + y. Suppose 0 = -l*v - 217 + 693. Is v composite?
True
Let z be (-1)/(24/27 - 1). Is -3*(-1 + (-480)/z) a composite number?
False
Suppose -2*y - 2*y + 2*q - 2332 = 0, 5*y - 4*q + 2918 = 0. Is y/(-2) - (0 + -2) a prime number?
True
Let g = -24 + 31. Is -2 - (g*-46 + 1) prime?
False
Suppose 1940 + 1378 = 6*t. Is t composite?
True
Let h = -1 - 5. Let y be 2/(8/h)*-2. Suppose y*q + 18 - 117 = 0. Is q a prime number?
False
Let u(x) = 15*x. Let t = -1 + 2. Let v be u(t). Let r = 0 + v. Is r composite?
True
Let u be (-5)/(15/6) - -5. Suppose 3*a = u*g + 3, 0*g - 11 = -4*g - a. Let j(f) = 6*f**3 + 2*f - 3. Is j(g) composite?
True
Let i(n) = 54*n**2 - 6*n + 1. Is i(3) prime?
False
Let u be 6/(4 - 1) - 14. Is 2/3 + (-2524)/u composite?
False
Is (-34)/221 - (-64443)/13 a prime number?
True
Suppose -3*h + 933 = 4*w, 3*h + 4*w = 7*h - 1216. Is h prime?
True
Let s be (-1 - 1) + 2*80. Let x = s + -89. Is x composite?
True
Let o(c) be the first derivative of 55*c**2/2 - c - 2. Is o(2) a composite number?
False
Let z = 0 + 2. Suppose r - z*r = 0. Suppose 4*y - y - 12 = r, -2*y = 4*s - 60. Is s composite?
False
Let f = -6 + 13. Suppose -i = -5*i + 184. Let x = f + i. Is x a prime number?
True
Let y(z) = -9*z - 11. Let h be y(-9). Suppose 0*b - h = 5*b. Is (1 - 6/4)*b a composite number?
False
Let c = 91 + 26. Suppose -4*y - c = -7*y. Let x = 58 - y. Is x prime?
True
Let l(y) = y**3 + 5*y**2 + 3*y - 1. Let u be l(-3). Let a = u - -59. Is a prime?
True
Let b(s) = s**3 + 12*s**2 + 10*s - 9. Is b(-11) composite?
False
Suppose 0*g + 2*g = f + 19, -2*g + 4*f = -34. Is 5830/70 - 2/g composite?
False
Let w be 18/10 - (-3)/15. Suppose -w*c = -0*c - 374. Is c composite?
True
Let v be (-26)/((-6)/21*1). Suppose 4*m - v = 5*k - 356, 0 = -5*k - m + 265. Is k a prime number?
True
Suppose -y = y - 20. Suppose q + 2 = 8. Suppose 61 = g - 5*b, -q*b - y = -b. Is g a composite number?
Tr