e the second derivative of m**5/120 + 5*m**4/6 + m**3/2 + 3*m. Let i(y) be the second derivative of o(y). Is i(-10) a composite number?
True
Suppose -3*b - 20 = -5*s, -3*b = -4*s + b + 16. Suppose s*f - 5*m - 57 = 0, 0 = -0*f - 5*f + 2*m + 67. Let z = 132 - f. Is z prime?
False
Suppose 3*z - 2*z - 5*d - 72 = 0, d = 5*z - 336. Let y = z + -20. Is y a composite number?
False
Let s(l) = l + 7. Let z be s(-7). Let v be 15*((-1)/(-3) + z). Suppose 0 = -v*o + 358 + 697. Is o a composite number?
False
Let f be 10*(-2)/(-4) - 3. Suppose -3*r + f*u + 1210 = 102, -3*r + u = -1106. Let z = r - 159. Is z a prime number?
False
Let j(i) = i**2 + 4*i + 1. Suppose 0 = -5*d + 11 - 1. Suppose -3 = 3*b - 3*a, -4*a - 8 = d*b + 18. Is j(b) a composite number?
True
Let s be 1859/5 + (-1)/(-5). Suppose n + 1 = s. Is n composite?
True
Let y(r) = -8*r - 1. Let t(l) be the first derivative of -9*l**2/2 - 2*l - 1. Let q(m) = -6*t(m) + 7*y(m). Is q(-4) a composite number?
False
Suppose z - 4*r - 145 = -0*r, -121 = -z - 4*r. Is z composite?
True
Suppose -2*r + r - 20 = -5*m, 5*m = -5*r + 20. Suppose 0 = k - 2*k - 4*d + 31, 5*k - d - 260 = r. Is k composite?
True
Suppose -5*n + 4 = -11, -1971 = -3*d + 5*n. Is d a prime number?
False
Let m(y) = -y**3 - 3*y**2 - y - 3. Let r be m(-3). Suppose 0 = b - r*b - 77. Is b a composite number?
True
Suppose -5*z - 4*s = -2952, -z = 2*z - 4*s - 1784. Suppose -2*q - 3*c + 4*c + z = 0, -q - 2*c + 306 = 0. Let d = -171 + q. Is d prime?
True
Suppose -7 + 3 = -2*a. Suppose -a*y = -7*v + 4*v + 11, 4*y = 8. Suppose 5*f + v = 80. Is f a prime number?
False
Is 38/171 - (-4010)/18 a prime number?
True
Suppose -3*n + 53 = f, -3*f + 5*n = -f - 106. Suppose h + f = 2*h. Is h a prime number?
True
Let t = 3867 + -2338. Is t a composite number?
True
Let m(w) = -w**3 - 3*w**2 - 2*w. Let x be m(-3). Suppose 2*o + 200 = x*o + t, 4*t + 118 = 2*o. Is o prime?
False
Suppose -4*g - 4*s = -s - 9, -g - 5*s - 2 = 0. Let b = -6 - -1. Is b/((9/(-6))/g) composite?
True
Let v = 270 - 191. Is v composite?
False
Suppose 2*r - 4 = -2*y, -6*y - 2*r = -y - 10. Suppose 109 = y*n - 3*q - 501, 5*n = 3*q + 1507. Is n a composite number?
True
Let b(c) = -c**3 - 4*c**2 + 3*c - 5. Let o(x) = x**3 - x**2 - 6. Let m = -1 + 1. Let p be o(m). Is b(p) a prime number?
False
Suppose -3*q - 1 = -2*q, -5*p - 3*q = -17. Suppose r + 2 = p. Suppose 3*d - r*d - t = 9, 0 = 5*d + 4*t - 90. Is d prime?
False
Let h = -34 + 50. Let o(j) = 4*j - 21. Is o(h) composite?
False
Let k be (-66)/(-10) - (-4)/10. Let b = 9 - 3. Let g = b + k. Is g composite?
False
Suppose 0*m + 1524 = 6*m. Is m prime?
False
Suppose 2*u + p - 2 = -8, 3*u + 7 = -p. Let j be -65*u*(-1)/(-1). Suppose 0*q = -q + j. Is q prime?
False
Let f(o) = -o**2 + 6*o + 9. Let c be f(7). Is (858/c)/1 + -2 a prime number?
False
Let c(l) = -l**2 + 34*l + 13. Is c(14) composite?
False
Let w(v) = v**2 + 2*v - 1. Let a be w(-3). Suppose -2*y = -3*b + a*b - 8, 4*b = -3*y + 12. Suppose y*k + 14 = 322. Is k a composite number?
True
Is (1949 - 1) + 2*3/(-2) prime?
False
Let g be ((-6)/(-5))/((-6)/(-15)). Suppose 5*a - 267 = 4*h, g*a - 5*h = 60 + 108. Is a prime?
False
Suppose 2*v - 4 - 6 = 0. Suppose 3*a + 5*o - 15 = 0, -v*a + 3*o + 29 + 30 = 0. Is a prime?
False
Suppose -y = -2*z - 379, 2*y + 2*y = -2*z + 1566. Is y composite?
False
Let u be ((-6)/8)/(1/(-124)). Suppose 578 = 5*c + u. Is c composite?
False
Let n = -32 + 23. Let g = n - -15. Suppose -3*w = -2*w - g. Is w prime?
False
Is ((-1491)/(-6))/(1/2) composite?
True
Let n be 16/6*(-819)/(-14). Let l be (-7 - -1)/((-9)/n). Let k = -49 + l. Is k prime?
False
Let l = 6794 + -4591. Is l composite?
False
Let u be 3/9 + 2/(-6). Suppose -x + 0 + 2 = u. Let r(c) = 4*c**2 - 2*c - 2. Is r(x) composite?
True
Suppose 2*r - 106 = -4*g, 2*r - 5*r - 5*g + 158 = 0. Is r a composite number?
True
Let m = -831 - -3400. Is m a composite number?
True
Let r = -29 - -48. Is r a composite number?
False
Let u(q) be the third derivative of q**7/2520 - q**6/720 - 7*q**5/120 - q**4/24 + q**2. Let m(f) be the second derivative of u(f). Is m(-6) a composite number?
True
Suppose 4*w - 1180 = -0*w. Is w prime?
False
Is 2/2*(753 - 10) composite?
False
Is -6 + 2 - (-273 - -2) composite?
True
Suppose f = -3, 4*i - 7*f = -3*f + 1096. Is i prime?
True
Suppose -8 = 3*m - 38. Is (-4)/((-8)/(-6)) + m composite?
False
Suppose b + 0*g = 5*g - 49, -5*b - 197 = -g. Let o = b + 107. Suppose -2*i = i + 2*t - 121, -2*i + 5*t = -o. Is i a prime number?
False
Let f(b) = 111*b. Let d be f(-3). Let l = d + 488. Is l a prime number?
False
Let i be 69/21 - (-4)/(-14). Is 1/(i/(4395/1)) composite?
True
Is ((-29)/2)/(1/(-62)) a composite number?
True
Suppose -2*b + 3*k = -10, 5*b = k - 1 + 13. Suppose 0 = -b*o + 194 + 60. Is o a composite number?
False
Suppose 32 = 5*s + 12. Suppose s*k - 7*k = -75. Is k a prime number?
False
Is (2/(-4))/(88348/22088 + -4) composite?
True
Suppose 0 = 2*g + g - 3. Is (3/(-2))/(g/(-2)) a composite number?
False
Let u(k) = -k**3 - k**2 - k + 1. Let m(i) = -i**3 - 6*i**2 + i + 4. Let h(y) = m(y) - 2*u(y). Let n be h(3). Is -35*(n - 2 - 1) a composite number?
True
Let u(c) = 64*c + 5. Is u(6) prime?
True
Suppose 4*l = 5*w + 3189, 3*l + 3*w - 2140 = 218. Is l a composite number?
True
Let l(w) = 36*w**2 - 2*w - 1. Is l(-4) a composite number?
True
Suppose -5*p + 1735 = 2*h, 0 = -p - 5*h + 51 + 273. Suppose p = 2*k - 7*k - 3*v, 2*v + 67 = -k. Let m = 154 + k. Is m a prime number?
True
Let t = -1 + -6. Let c(z) = z**2 + 8*z + 9. Let s be c(t). Suppose s*g - 23 = 27. Is g a composite number?
True
Let c = -144 + 268. Suppose 4*l = -0*l + c. Is l prime?
True
Let v be (-2)/3 + 1034/3. Suppose 658 = -2*k + 5*p - 3*p, k = -4*p - v. Let g = 549 + k. Is g a prime number?
False
Let q = 2056 + -1073. Is q a prime number?
True
Suppose -4 = -2*q, -2*p = -5*p - 5*q + 10. Let i be (-2 - -121) + (p - 1). Suppose -n - 29 = -i. Is n a composite number?
False
Let c(f) = 6*f**2 + 1. Suppose 5 = 4*h - 3. Suppose h = 2*y - r, 0*y + 2*r + 12 = -4*y. Is c(y) a prime number?
True
Is 303 - 0 - ((-4 - 7) + 7) prime?
True
Let p = 1466 - 315. Is p prime?
True
Suppose 3*m - 4*r = 288, 0*m + 96 = m + 5*r. Suppose -m - 38 = -2*k. Is k prime?
True
Let a(l) = -12*l**3 + l**2 + l - 1. Is a(-3) a prime number?
False
Suppose -4*i + 1 = -19. Suppose o - i*o = -4*a - 8, 0 = -3*a + o + 2. Is a/4 - 1105/(-10) a composite number?
True
Suppose 0 = -4*w + 2*w + 30. Suppose 5*t + d = -0*t + 3, 0 = -2*t + 4*d - 12. Suppose -o + t = -w. Is o prime?
False
Let g(r) = 7*r**2 - 5 + r**3 - 4*r**2 - 2*r + 0*r. Let b be g(-5). Is 4/(-10) + (-333)/b a prime number?
True
Let g(m) = -m**3 - 8*m**2 - 3*m + 5. Let w be g(-5). Let b be -2 + (w - -2) - 0. Let c = -18 - b. Is c a composite number?
False
Is 812/1 + 15/(-5 - 0) prime?
True
Suppose -130 = -6*x + 584. Is x composite?
True
Let o(c) = 11*c + 3. Let a be o(6). Let r = a - 16. Is r a composite number?
False
Let r(y) = y**3 - 7*y**2 - 6*y - 12. Let a be r(8). Suppose -p = a*g - 123, -2*p - g = -2*g - 255. Is p a prime number?
True
Suppose 5*s + 0 = -3*t + 17, 2*t - 3 = -5*s. Let j be (-30)/(-7) + (-4)/t. Suppose -2*f + 42 = j*p, p + 51 = f - 3*p. Is f composite?
False
Let v(i) = i**3 - 4*i**2 + i - 9. Suppose 0 = -4*y + 7*y + 42. Let a = y - -21. Is v(a) prime?
False
Suppose 0 = 7*q - 10*q - 12. Is q - (1 + -3 - 144) composite?
True
Suppose 12*k = 10*k - 22. Let w(j) = j**2 + 8*j - 7. Is w(k) prime?
False
Suppose 3*c + 2*c = 25. Suppose -k = 4*k + c. Is 22 - 1 - 2*k composite?
False
Suppose -2*l + 3072 = 5*x + 439, 2*l = -2*x + 2636. Is l a composite number?
False
Suppose -n - a + 3 = 2*a, 5*n - a + 17 = 0. Let h = 14 + n. Is h a composite number?
False
Suppose 4*w + 0*w - 326 = -5*f, 0 = 5*w + 3*f - 401. Is w a composite number?
False
Suppose -3*u - 6 = -4*r - 0, 4*r + 2*u = 16. Suppose -1 - r = n, -3*n = -3*h + 12. Suppose 0 = -3*a - h*a + 69. Is a prime?
True
Let q = -3 - -5. Suppose -q*i = -4*c + 22, 13 = 3*c - i - 4*i. Let a = -3 + c. Is a composite?
False
Is 1 - (-1415 - (1 - 0)) a composite number?
True
Let f(s) = 3*s**3 + 8*s**2 + 3*s + 1. Is f(6) a prime number?
False
Let w be 39/9 + 2/(-6). Suppose -2*p - 2 + 8 = 0. Suppose -d - 80 = -w*m, -13 = m - p*d - 44. Is m a composite number?
False
Suppose 0 = k + 