= -b**3 - 8*b**2 - 10*b - 1. Let m be c(-8). Let w = m + -33. Is w a composite number?
True
Let q(r) = -2*r - 3. Let n be q(3). Let p be ((-3)/n)/(1/6). Suppose 0 = -5*u - 10, -p*i + 4*u = 2 - 112. Is i prime?
False
Let j(h) = 4*h + 4. Let b be j(5). Suppose 3*f - 792 = -5*c, -2*f = -4 - 4. Suppose -4*x + c = b. Is x composite?
True
Suppose 5*h + 5 = 0, -472 = -3*c - 3*h + 4*h. Is c composite?
False
Suppose l = 2*z - 2 - 2, 0 = -3*l - 4*z + 18. Let i be (-14)/6 - l/3. Is (-77 - 0)/(3/i) composite?
True
Let v(q) = 2*q**2 - 4*q + 12. Let y = -20 - -28. Let j be v(y). Suppose 0 = -4*t + j - 32. Is t prime?
True
Let z(j) = -j**3 + 7*j**2 + 19. Let i(d) = 2*d**3 - 13*d**2 - 38. Let o(p) = -6*i(p) - 11*z(p). Is o(0) a prime number?
True
Suppose -x + 267 = -g, 233 = 2*x + 2*g - 309. Suppose -l + 0*l + 5*a = -118, 2*l + a - x = 0. Is l a composite number?
True
Let d(u) = -7*u + 2. Let a be d(-4). Suppose 0 = -3*s + 12, -5*l - 4*s - s = -a. Suppose l*g + 2*g - 104 = 0. Is g composite?
True
Suppose 2*d - 30 = -2*b, b - 2*b + 2*d + 12 = 0. Let p = 21 - b. Is p a composite number?
False
Let l(b) = 118 + b**2 - 2*b**2 - 29. Let k = 3 - 3. Is l(k) composite?
False
Let u(c) = -2*c**3 + 7*c**2 - 7. Let w be u(6). Let l = -134 - w. Is l prime?
True
Let q(g) = -g**2 - 25*g - 6. Is q(-20) a prime number?
False
Let u be -2 + 5 - 60/5. Is (3/u)/(2/(-2622)) prime?
False
Suppose s + 135 = -4*s. Let o = 111 + s. Suppose 232 = 4*g - o. Is g composite?
False
Suppose 0*z - 18 = -4*z + 3*v, z + 3 = -3*v. Suppose -6 = -z*k + 3, 3*j - k - 111 = 0. Let h = 123 - j. Is h composite?
True
Let p(d) = 5*d**3 - 5*d**2 + 4*d - 3. Is p(6) a prime number?
False
Suppose 0 = -5*h - 4*i + 1047, 6*i + 432 = 2*h + i. Is h prime?
True
Suppose j = 6*j - 10. Let d be ((-27)/(-3))/(-3)*j. Is 208/6 + (-2)/d prime?
False
Suppose -16 = 2*m - 6*m. Suppose m*d = 894 + 334. Is d composite?
False
Let j be ((-1)/(-2))/((-3)/186). Let p = 28 - j. Is p a prime number?
True
Let l = -2 - -27. Suppose l = s + 6. Is s composite?
False
Let y be 6/(-15) - (-4)/10. Suppose -2*c = -6, 2*v - 3*v - 4*c + 50 = y. Is v prime?
False
Let m(z) be the first derivative of 11*z + 1 + 1/3*z**3 + 1/2*z**2. Is m(8) prime?
True
Let f(h) = -9*h**3 + 11*h**2 + 20*h + 4. Let p(s) = -4*s**3 + 6*s**2 + 10*s + 2. Let u(m) = -3*f(m) + 7*p(m). Let q be u(10). Is 10/((-3)/((-15)/q)) prime?
False
Let f = -1743 + 2680. Is f composite?
False
Suppose -8295 = -5*z - 5*c, 2*z + 1043 = -c + 4359. Is z a composite number?
False
Let j(d) = -29*d - 12*d - 32*d + 7*d + 1. Is j(-5) composite?
False
Let c = 4 + 1. Suppose -o + 202 + 543 = c*k, -5*k + 745 = 3*o. Is k a prime number?
True
Suppose -127 - 43 = -2*o. Is o a prime number?
False
Let p be (0 - 1)*2*3. Let i(b) = -3*b + 2 + 2*b + 2*b**2 - 3 + 4*b. Is i(p) a composite number?
False
Is (-1)/((-2)/596 + 0) composite?
True
Let x be ((-12)/(-2))/((-4)/(-190)). Suppose -2*i - d - 45 = -x, 0 = 2*i + 3*d - 236. Is i composite?
True
Let j = 83 - 28. Is j prime?
False
Let k = -12 + 23. Let o(q) = q**3 - 8*q**2 - 15*q + 5. Is o(k) composite?
True
Suppose -3*k = d + 2*k - 710, -25 = -5*k. Is d a composite number?
True
Let d = 3310 + 1237. Is d a prime number?
True
Let i(x) be the third derivative of -x**6/120 + x**5/5 + x**4/8 - 11*x**3/6 - 2*x**2. Is i(11) a composite number?
True
Let s(t) = t**3 + 4*t**2 + 3*t. Let h be s(-7). Let y = -115 - h. Is y prime?
True
Is 4 - 1 - (-2 - 9) prime?
False
Suppose 4*j + m = 424 - 2364, j = -2*m - 478. Let h = -249 - j. Is h a prime number?
False
Suppose -k - 2*x + 233 = 0, k - 3*x + 47 = 285. Is k prime?
False
Suppose 4*q + 1 = 3*i, 2*q + 5 = 3*i - 6. Suppose 8 + i = 3*h. Suppose 3*g + 2*w = 111, -3*g + g + h*w + 55 = 0. Is g a prime number?
False
Let o(l) = 17*l**3 + 2*l**2. Let a be o(-2). Let p = a + 259. Is p composite?
False
Suppose -r + 3*q = -30, 5*q = -r - 3*r + 137. Is r a composite number?
True
Let l(q) = q + 10. Let d be l(-8). Let o(x) = 4*x**3 + 3*x - 2. Let c be o(2). Is c - (-1 + d + 0) prime?
False
Suppose -r - 5*h = -87, -r = 2*r - 2*h - 176. Let u = r + 27. Is u a prime number?
True
Let l = 566 - -1155. Suppose -4*n = -m - 1387, -5*n + 15 = m - l. Is n a composite number?
False
Let l(p) = p**3 - 12*p**2 - 24*p + 26. Is l(15) composite?
True
Suppose 0 = -4*h + 5*a + 27733, 3*h + 5*a - 5315 = 15441. Is h prime?
False
Suppose 0 = 2*j - 12 + 2. Suppose -5*c = -3*g + 82, -3*g - g - j*c = -51. Is g a composite number?
False
Suppose 0*t = 4*t - 32. Let q(o) = 1 + o + 13*o + t*o. Is q(3) composite?
False
Suppose 20*m = 3840 + 83860. Is m composite?
True
Let z(p) = -p**2 - 4. Let j be z(0). Is ((-838)/3)/(j/6) a prime number?
True
Is 1088 + (4 + -3)/(-1) prime?
True
Let c(f) = f**2 - 10*f + 8. Let y = -5 + 14. Let o be c(y). Is ((-130)/1 - -3)/o prime?
True
Let v = 74 + -10. Let c = v - -307. Is c composite?
True
Let d(y) = 4*y**2 + 30*y + 11. Is d(15) composite?
False
Suppose -6*a + a = -1285. Is a a prime number?
True
Let y(n) = -979*n + 2. Is y(-3) composite?
False
Suppose 7*p = 15376 + 11917. Is p prime?
False
Suppose -h - 39 = -4*h. Let g = 11 - -47. Suppose -3*b - h = -g. Is b a prime number?
False
Suppose 0 = -a + 5*o + 70, -3*a - 2*a + 465 = -2*o. Let r = 20 + -15. Suppose 5*u - r*j = a, 2*u = 5*j - j + 38. Is u composite?
False
Suppose u = 4*m - 75, -18 - 77 = -4*m - 3*u. Let g = m - 9. Is g composite?
False
Let l be (-5298)/(-5) - 3/5. Suppose -3*k = q - l, k - 2*q = -k + 706. Is k composite?
False
Suppose -4*f = 2*d - 178, f = -f - 2*d + 90. Let c = 699 + f. Is c composite?
False
Suppose -3*p + 2*d - 3 = -23, 4*p + 5*d - 65 = 0. Is 11205/75 - 4/p a composite number?
False
Let m be (-4)/(-28) - 171/21. Let p be ((-6)/m)/(8/32). Let b(r) = 8*r**2 - r - 4. Is b(p) a prime number?
False
Let z(c) = c**3 - 4*c**2 + c - 4. Let s be z(4). Suppose i - 3*f + 6 = s, -f = -2*i - 4 + 12. Is i a composite number?
True
Suppose 0 = -2*i - 2*i - 32. Let c = 19 + i. Suppose c = u - 0*u. Is u a prime number?
True
Let x be 3 + (1 - (-1 + 0)). Suppose j + x = 12. Is j a composite number?
False
Is (5 + 6)*6/2 a prime number?
False
Let c = 240 + -109. Is c a prime number?
True
Suppose -29 = -4*k - 5. Suppose k*u = 2*u + 332. Is u composite?
False
Let w(l) = -l**2 - 16*l - 18. Let u be w(-18). Let c = u + 119. Is c prime?
False
Suppose -7*u + 6223 = -0*u. Is u a prime number?
False
Let h = 4065 - 1916. Is h composite?
True
Is 1365 + (-6 + 4)*2 composite?
False
Let q(l) = -10*l - 27. Is q(-25) a composite number?
False
Suppose 0 = 3*o - c + 6 + 37, 0 = 5*o - c + 75. Is ((-38)/(-3))/(o/(-24)) composite?
False
Let m(c) = -c**3 - 11*c**2 - c - 9. Let v be m(-11). Suppose 63 = v*f - 115. Is f a composite number?
False
Let u = 18 - 12. Let z(x) = -x**2 + 7*x + 5. Is z(u) prime?
True
Let h be (2/(-4))/((-2)/(-132)). Is 1 + 1 + -2 - h composite?
True
Suppose -5*m - 2*o - 33 = 0, -5*m + 0*o = -o + 21. Is ((-1)/(-2))/(m/(-70)) a composite number?
False
Suppose -11 = -5*n - 5*u - 1, 5*n - 28 = 4*u. Suppose 22 = n*c + 4*w + 6, 5*w - 20 = 5*c. Suppose l + l - 22 = c. Is l a prime number?
True
Let g(s) = -s + 11. Suppose 0*t - 5*t + 40 = 0. Let v be g(t). Suppose 4*q = v*h + 1034, -5*q + h = -1767 + 480. Is q a composite number?
False
Let o(c) = -5*c - 25. Is o(-12) prime?
False
Let y(w) = -w**3 + 3*w**2 - 1. Let l be y(2). Suppose 0 = 3*u - 5*q + 180, 5*q = -2*u + l*u + 50. Let d = u + 120. Is d prime?
False
Let j = -21 - -37. Suppose -4*g = 3*h - 248, 2*h - j = -2*h. Is g prime?
True
Let v(d) = d**2 - 6*d - 2. Let g be v(5). Let h = 36 - g. Is h prime?
True
Suppose -3*j = -6*j - 147. Suppose 312 = 3*s - 0*s. Let h = j + s. Is h a composite number?
True
Let l = -1256 + 2721. Is l prime?
False
Let n(z) = -z**3 + 14*z**2 - 4*z + 5. Let s be n(9). Suppose 0 = -0*v - 2*v + s. Is v composite?
True
Suppose -5*z + x + 4 = 18, 2*z = 5*x - 24. Is (118/3)/(z/(-3)) composite?
False
Let i be (-92)/(-22) + (-8)/44. Suppose -i = 4*v + 4. Let u = v + 9. Is u composite?
False
Let y be 2/(-6) + (-16890)/(-18). Suppose 4*z = -y + 2590. Is z a prime number?
False
Let q(g) = g**3 + 5*g**2 + 3*g - 3. Let l be q(-4). Let c = l - -70. Is c a prime number?
True
Let n(u) be the first derivative of -u**4/4 - 2*u**3/3 - u**2 - 2*u + 2. Let r be n(-2). Is (-591)/(-12) + r/(-8) a prime number?
False