2. Is z(-4) prime?
False
Let q = -17 - -13. Let s(z) = -4*z**3 + 5*z**2 - 5. Is s(q) a prime number?
True
Let x be (1 - 2) + (119 - 1). Suppose x = 5*w + 2*g, -41 = -2*w + 5*g - 0*g. Suppose 0 = 3*h + 5 - w. Is h prime?
False
Suppose -4*t + 8 = 0, 3*u + 4*t = -823 + 7020. Is u a composite number?
False
Let t(n) = 65*n - 6. Let a be t(6). Is a/20 + (-3)/15 composite?
False
Suppose 5*u + 4 = 3*u. Is (-1)/(-2)*(-340)/u composite?
True
Let p = 1476 - 998. Is p a prime number?
False
Let b(w) = -w**3 - w**2 + 8. Let j be b(0). Let u be ((-106)/8)/((-2)/j). Is 1/(2/(2*u)) a prime number?
True
Let m = 5 - 3. Suppose m*p = -a - 3*p + 109, 3*a - 263 = p. Is a a composite number?
False
Let c(d) = -d**3 - 12*d**2 - 7*d - 10. Let v be c(-9). Let h = v - -393. Is h a prime number?
False
Let b(f) = -f**3 + 4*f**2 - f - 3. Let u be b(3). Suppose -3*q - 23 + 134 = 0. Suppose 2*i - u*i = -q. Is i prime?
True
Suppose 3*k + 5*y = -k + 3651, 5*k + 2*y = 4585. Is k a prime number?
True
Let s(l) = -l**2 + l + 5. Let z be s(0). Suppose z*n + 13 + 17 = -d, 0 = 3*d - 3*n. Is 8/20 - 383/d composite?
True
Let b(z) = z**3 + 3*z**2 - 4*z - 4. Let w = -4 - 0. Let c be b(w). Is (6/c)/((-1)/22) composite?
True
Suppose 191 = r - 203. Is r a composite number?
True
Let i(r) = r - 5. Let h be i(7). Suppose -5*s + h*d + 273 + 6 = 0, 2 = -d. Is s composite?
True
Is 16197/21 - (-16)/(-56) a composite number?
True
Let m = -1345 - -2514. Is m a prime number?
False
Suppose 5*w = u + 107, 4*w - 92 = u + 3*u. Let i be 6/w + 36/21. Suppose -4*t = -n + 50, -3*n = -0*n - i*t - 140. Is n composite?
True
Is (4 + 0)*789/12 composite?
False
Let q be (-8)/6*(-2 - 1). Suppose -484 - 384 = -q*c. Is c prime?
False
Suppose 2*a = -0*a. Let n be (0 - 3/(-6))*a. Suppose 0 = u - 1, n = -s - u + 11 + 21. Is s prime?
True
Let q be (-6)/(-15) + (-23)/(-5). Suppose -q*i + 210 = -275. Is i composite?
False
Let t = -690 - -1009. Is t a prime number?
False
Let p(i) = -7*i + 3. Let f(a) = 0*a**2 + 13*a - a**2 - 15*a. Let h be f(-4). Is p(h) a prime number?
True
Let m(j) = 19*j**2 - j + 7. Is m(-5) composite?
False
Suppose -5*p = -3*a + 24, -3*a + 3*p + 40 = 2*a. Suppose 5*s + 0*v - 389 = v, 2*v + a = 0. Is s a prime number?
False
Suppose -3*m - 1975 = -l - 4*l, 0 = -2*m. Is l a composite number?
True
Let a = -12 + 21. Let z = 1 + a. Suppose -s + z = -43. Is s composite?
False
Let y = 370 - 179. Is y prime?
True
Suppose 5*y + 0*y + 2*m + 1 = 0, 2*m - 2 = -2*y. Let q = y + 3. Is 34 - 2*q/(-4) prime?
False
Let b(o) = -33*o - 29. Is b(-20) a prime number?
True
Let h(v) = v**2 + 5*v + 4. Let g be h(-5). Let x(y) = 5*y**2 - 4*y + 1. Is x(g) a prime number?
False
Let a be (-1)/3 - 152/(-6). Let t = a - 6. Is t prime?
True
Let w be 24/14 + 8/28. Let q be -1 + 2 + 36 - w. Is q + (2/(-1) - -2) composite?
True
Let c(a) = 4*a + a**2 + 2*a**2 + 3 + 7*a**2 - a. Is c(-2) composite?
False
Suppose 0 = -3*y + 3*k + 480, 323 = 2*y - 0*y - 3*k. Is y prime?
True
Suppose -x - 1380 = -2*x. Suppose 2*k - x = -2*k. Let h = k + -239. Is h a composite number?
True
Let t be (-90)/4*1*36. Let w = t - -1139. Is w a composite number?
True
Suppose 5*t + 148 + 322 = 0. Is t*(-1 - 0)/2 prime?
True
Suppose 147 = y - 766. Is y a prime number?
False
Let f = -716 + 1013. Let l = f + -106. Is l a prime number?
True
Suppose 4*z - 4*q = 2*z + 16, -4*z - q + 5 = 0. Is -1*(3 - z)*-47 composite?
False
Suppose 5*k - k - 24 = -2*f, 2*f - 4 = 0. Suppose 5*w + 3*b = 464, -w + 10*b = k*b - 76. Is w prime?
False
Suppose -r - 19 = 3*q, 0 = r + 4*r - 4*q + 38. Let j = -7 - r. Suppose 0*b = j*b - 63. Is b a prime number?
False
Let c be -3 + (27/3 - 3). Suppose -u = o + c*o - 413, 3*o - 3 = 0. Is u a prime number?
True
Let b(z) = 2*z**3 - 4*z**2 - 6*z - 5. Is b(5) a composite number?
True
Let v = -11 - -10. Is (-762)/(-8) - v/(-4) composite?
True
Let d be ((-6)/(-4))/((-6)/8). Is d/(-7) + (-789)/(-7) a composite number?
False
Let s(g) = 54*g + 19. Let u(l) = 0 - 10 - 3*l - 24*l. Let z(p) = 6*s(p) + 11*u(p). Is z(3) prime?
False
Suppose 4 = z, -v - 3*z + 17 = -4. Is 1451/v + (-20)/90 a composite number?
True
Let t = 993 - 604. Is t prime?
True
Is 618*(2 + 3/(-2)) a composite number?
True
Let h(y) = -y + 12. Let j be h(8). Let c = 48 + -21. Let o = j + c. Is o a prime number?
True
Let f(v) = -11*v**2 + 3*v - 11. Let h(s) = 1 - 4*s**2 - 6 - s**2 + s. Let p(c) = -6*f(c) + 13*h(c). Is p(-6) prime?
True
Let o be (-6)/(-4) - (-6)/4. Suppose o*p = p. Suppose 0 = -3*f - 3, -4*f = -4*y - p*f + 416. Is y prime?
True
Let r(k) be the third derivative of k**6/120 - k**5/15 + k**4/8 + k**3/2 - 3*k**2. Let s be r(3). Suppose 52 = g + s*g. Is g a composite number?
False
Let a = 749 - 486. Is a a prime number?
True
Suppose v - 3*v = -358. Is v prime?
True
Suppose 3*f - 18 = -4*z, -2 = -2*z + 4. Suppose -f*k + 7 + 1 = 0. Suppose -k*b + 188 = -0*b. Is b a composite number?
False
Let a = 731 - 352. Is a a composite number?
False
Let l(j) = -7*j**3 + 12*j**2 - j - 13. Let r = 4 + -5. Let i(d) = d**3 - d**2 + d + 1. Let v(f) = r*l(f) - 6*i(f). Is v(8) prime?
False
Suppose 2*j = j - 102. Suppose -2*g - 145 = 3*l, -3*l - 248 = 3*g - 32. Let a = g - j. Is a prime?
True
Suppose -3*i - 240 = f - 4*f, 12 = -3*i. Let b = 15 + 14. Let x = f - b. Is x composite?
False
Let f(a) = 12*a**3 + 4*a**2 - 9*a. Is f(5) a prime number?
False
Let v(k) be the second derivative of 1/2*k**3 + 0 - 1/3*k**4 + 1/20*k**5 + 3*k - 5/2*k**2. Is v(4) prime?
True
Let g = -7 - -19. Let f = 5 + g. Is -4*2/(-4) + f prime?
True
Let w = -972 - -1806. Suppose 2*b = 4, -7*j + 3*j + w = -5*b. Is j a composite number?
False
Suppose 3*d + 5*q = -2*d - 15, -6 = -2*d + 2*q. Suppose d*z = -4*z. Suppose -5*f = 3*a - 254, f - a = -z*a + 46. Is f a prime number?
False
Let u(k) be the third derivative of -7*k**4/12 + k**3/6 + 4*k**2. Is u(-3) prime?
True
Suppose -m + 669 = 2*m. Is m a prime number?
True
Let u be 110/9 - (-8)/(-36). Let f be (-3)/u + (-74)/(-8). Let y = 28 + f. Is y prime?
True
Let u(g) = -g**3 + g**2 + 3*g - 1. Let y be u(2). Suppose 5*l = 9 + y. Suppose -l*i + 119 = 9. Is i a composite number?
True
Let a = 4 - -127. Is a a composite number?
False
Suppose -18*k + 22*k = 11156. Is k a prime number?
True
Let s(k) = k**3 + 5*k**2 - 4*k + 4. Let w be s(-6). Let a(u) = -u**3 - 7*u**2 - 9*u - 3. Is a(w) prime?
False
Let y(v) = 12*v + 13. Is y(11) a composite number?
True
Let q = 5 - 23. Let h = -13 - q. Is ((h - 2) + -2)*23 a composite number?
False
Let d = 6030 - 3019. Is d a composite number?
False
Suppose 5*g + 4*k = -2, -3 = 2*g + g + 3*k. Let m(w) = -w**3 + 3*w**2 + 8*w - 1. Let t be m(-6). Suppose -g*p + t = 3*p. Is p a composite number?
True
Suppose -x = -6*x + 20. Suppose -x*y + 2265 = y. Is y a prime number?
False
Suppose -4*k = -z + 6*z - 1873, -z = -1. Is k composite?
False
Let r = 315 - 188. Is r prime?
True
Suppose -2 = -2*k + 8. Suppose -k*u = -u - 204. Is u composite?
True
Suppose -5*p - 11 = 4, -4*k + 12928 = -4*p. Is k a prime number?
True
Let l = 10 + -8. Suppose 5*w - 3*s - l*s = 15, -6 = -w + 4*s. Suppose d = w*d - 53. Is d a composite number?
False
Suppose -738 = -4*w + 3*p - 5*p, -w + 2*p = -187. Is w prime?
False
Let k(w) = w**2 + 4*w + 7. Is k(-8) composite?
True
Let z = 123 - -34. Is z prime?
True
Let y be 2*2/4*2. Suppose 4*a + y*d - 22 = 0, d + 7 + 10 = 5*a. Is (38/a*2)/1 prime?
True
Let u = 76 - -47. Is u a composite number?
True
Let k(r) = r + 2. Suppose 2*l + 4*b + 2 = 0, -l + 2*b + 14 = b. Is k(l) composite?
False
Let r(q) = q. Let y(k) = -31*k - 3. Let x(b) = -3*r(b) - y(b). Is x(3) a composite number?
True
Is 2103/11 - (-11)/(968/(-16)) a composite number?
False
Let a(n) = n**3 + 6*n**2 + 6*n + 3. Let b be a(-5). Let o be -2 - (-3 + (b - 0)). Suppose 0 = -o*m + 9, 2*m = -3*c - 5 + 116. Is c prime?
False
Suppose c + 1 = 0, 51 = -5*x - c - 0*c. Is (-813)/(-5) + (-4)/x composite?
False
Suppose -4*x - 18 + 2 = 0. Let q = x + 16. Let c = 101 - q. Is c a prime number?
True
Let g = -326 - -501. Suppose 0*d = -5*d + g. Is d a prime number?
False
Suppose 0*b = b - 683. Is b a prime number?
True
Let a be (3/2)/((-3)/(-8)). Let u(n) = 29*n**2 + 6*n - 3. Is u(a) prime?
False
Suppose -4*t = k - 511, -3*t = 2*t + 4*k - 647. Is t prime?
True
Let v be 2/1*1*2. Suppose 0 = 4*b - 2*p - 35 + 13, 13 = -v*b