*g + 6. Let w(i) be the third derivative of -3*i**6/40 + i**5/15 + i**4/6 + i**3/2 - 4*i**2. Is w(y) prime?
True
Let k(w) be the third derivative of -w**5/60 + w**4/3 - 2*w**3/3 - 2*w**2. Let z be k(7). Suppose 0 = -z*h + 5*h - 70. Is h composite?
True
Let s = 1 - -5. Let h(t) = 3*t**2 + 3*t - 2. Let g be h(6). Suppose g = s*y - 2*y. Is y a composite number?
False
Suppose h + 2*o - 61 = 0, 3*h + o - 89 = 114. Is h a composite number?
True
Suppose 0 = 6*y - y - 50. Suppose -3*k - y = d, -4*d + 3 + 17 = -3*k. Is (-387)/k + 2/8 a composite number?
False
Is ((-9)/(-36))/((-1)/(-844)) composite?
False
Suppose q = 2*w - 170 - 237, 5*q = -4*w + 821. Let c = 331 - w. Is c a composite number?
False
Let x(v) = -289*v - 28. Is x(-3) a composite number?
False
Let s be (-1)/((-2)/10 + 0). Let l = -5 + s. Suppose 5*b - 239 = 4*j + 6, -2*b + 3*j + 91 = l. Is b a composite number?
False
Suppose 15*g - 13*g = 6. Let p be (-1)/(1 - (-6)/(-5)). Suppose x + g*z = 67, 0 = -p*x + 4*z + 300 + 111. Is x composite?
False
Suppose v - 9 = -2*v. Suppose 4*t = -3*x + 509, 0 = -v*t - t + 20. Is x a prime number?
True
Suppose -5*z - 4*c - 10 = 0, 3*c + 17 = -4*z - 2*c. Let i = -324 + 664. Suppose -2*m = z*m - i. Is m prime?
False
Let n(d) = -3*d - d**2 - 4*d**3 - 3*d**2 + 5 + 5*d. Is n(-5) a composite number?
True
Let f(g) = 25*g + 42. Is f(17) prime?
True
Suppose -3*y = -2*a + 176, -3*a = 3*y + 34 - 268. Is a prime?
False
Let c be (21/(-28))/((-2)/56). Let f = c + 16. Is f composite?
False
Suppose 26 = -3*b + 1556. Suppose -104 + 490 = 3*t - 5*r, -4*t + b = -2*r. Is t a composite number?
False
Let a(m) = m**3 + 4*m**2 - 6*m + 6. Suppose -3*p = p + 20. Let b be a(p). Suppose -j = -0*j - b. Is j a prime number?
True
Suppose -4*x + 637 = 3*w, 0 = -2*x - 0*w - 2*w + 320. Is x a prime number?
True
Suppose -2*u = 4*m - 2350, 3*m - 1440 = 5*u + 316. Is m a composite number?
False
Is 750 + (-5 + 3 - -1) a composite number?
True
Suppose g - 2*o = -164, -o - 3*o = -5*g - 790. Is (-4)/(24/g)*3 a composite number?
True
Let z = 18625 - 12768. Is z prime?
True
Let i(p) = -5*p**2 + 5*p + 119. Let h(q) = -q**2 + q - 1. Let s(j) = -4*h(j) + i(j). Let v be s(0). Let r = v + -85. Is r a composite number?
True
Is (-1)/3*993/(-1) prime?
True
Let r be -3 - -1 - (3 - 5). Is 57 - 1/3*r a prime number?
False
Suppose -2*j - 219 = -g, 268 + 377 = 3*g - 3*j. Is g a prime number?
True
Let i(c) = -21*c**3 + 2*c**2 + 2*c + 1. Let q be -1*(-1 + 0 + 2). Is i(q) a prime number?
False
Suppose -2*y + 298 = -0*y. Is y prime?
True
Let o be (-1)/(4/(-3) + 1). Let c be 23 - -1*(-7 - -3). Suppose -2*z - 4*g = -3*z + c, 0 = o*g + 12. Is z composite?
False
Let w = -5 - -8. Is ((-526)/6)/((-1)/w) composite?
False
Suppose -k + 0*k + 13 = 4*w, -2*w = -5*k - 1. Is (w - (2 + -23)) + 1 composite?
True
Suppose 2*a - 20 = -3*a. Suppose -y + a*y - 15 = 0. Suppose y*i - i = 28. Is i prime?
True
Let a = 925 + -392. Is a a composite number?
True
Is (-7 - (-95)/15) + 764/3 a prime number?
False
Is (2 - (-18)/(-8)) + 1530/8 a composite number?
False
Suppose -4*u + n - 35 = 0, -n + 4*n - 42 = 5*u. Let o(p) be the third derivative of p**5/60 + 5*p**4/24 + p**3/6 + 6*p**2. Is o(u) a prime number?
True
Let x = 128 + 551. Is x a prime number?
False
Suppose 0 = -0*x + 5*x. Suppose -b + 0*b + 55 = x. Suppose 940 = 3*g + b. Is g a composite number?
True
Let v be 5 + 178 + 0 + -4. Let t = v + 12. Is t prime?
True
Suppose 5*r + 80 = 250. Let k = 43 + r. Is k composite?
True
Let c(g) = 40*g - 3. Let d be c(4). Suppose -4*t - 2*p = 35 - d, 0 = -4*t + 2*p + 126. Is t a composite number?
False
Suppose -t - 15 = -5. Let m(f) = f**3 + 11*f**2 + 11*f + 13. Let h be m(t). Suppose -2*a - 2*j = h*j - 118, -3*a - 3*j + 177 = 0. Is a a composite number?
False
Let x be 6/2 - (-2 + 2). Let r(m) be the second derivative of m**3/3 + 2*m**2 + 4*m. Is r(x) composite?
True
Suppose -6 = -5*b + 19. Is 92*(b/4 + 0) a prime number?
False
Suppose 4*c - 1045 = -c + 5*s, -2*c = 2*s - 402. Let r = 302 - c. Is r composite?
False
Let x = 2 + 1. Let l be 3/(-9)*(-2493)/x. Suppose 4*p = l + 55. Is p a prime number?
True
Suppose 116 - 1387 = -w. Is w a composite number?
True
Let s(c) = c**3 - 5*c**2 - 6*c + 4. Let r be s(6). Suppose 2*j = r*j - 446. Is j prime?
True
Suppose 4*j - 7 = 3*a + 3, 4*a + j + 26 = 0. Let s(m) = -m**3 - 10*m**2 + 7. Let i be s(a). Let l = -70 - i. Is l composite?
False
Let i = 4 - 1. Suppose -i*c + 10 = -c. Suppose -c*f + 22 + 88 = 0. Is f a prime number?
False
Let y(d) = d. Suppose -8*o + 3*o = 0. Let b be y(o). Suppose b = -2*j + 4 + 66. Is j a composite number?
True
Suppose 0 = -5*b + 2*r + r + 725, 580 = 4*b - 3*r. Is b a composite number?
True
Let r(m) = 25*m**2 + 2*m - 2. Is r(-3) composite?
True
Let z = 36 + 41. Let u = 0 + z. Is u prime?
False
Let m be -2 - 126/(-2) - -1. Suppose 0 = -2*y + m + 26. Let w = 121 - y. Is w a composite number?
True
Let g(j) = -44*j - 5. Let n(x) = -87*x - 11. Let u(a) = 9*g(a) - 4*n(a). Is u(-2) a prime number?
False
Suppose -416 = -2*v - 2*v. Let k be v/(-6)*(-11 - -2). Suppose -3*t = -3 - k. Is t composite?
False
Suppose -2*y = 5*d - 1067, 2*y + 2*y + 2*d = 2158. Let t = -162 + y. Is t a prime number?
True
Let b(r) = r**2 - 2*r - 2. Let h be b(4). Let q(d) = d**3 - 5*d**2 - 4*d - 6. Let c be q(h). Let g(n) = 6*n + 1. Is g(c) a composite number?
False
Let f(v) = v**2 + v - 3. Let g be f(-4). Is ((-3)/g)/((-3)/1017) prime?
True
Let t(i) = 2*i**2 + 21. Is t(12) composite?
True
Suppose 4*y = -13 + 1. Let k(m) = 130*m**2 - 2*m - 5. Is k(y) a composite number?
False
Suppose -2*l + 3*l - 701 = 0. Is l a prime number?
True
Let o be (-1 - 51/15)*5. Let t = o - 35. Let r = 146 + t. Is r composite?
False
Suppose 3*g + 2 - 35 = 0. Is g prime?
True
Let d = -10 - -12. Suppose -b + 894 = d*b. Is b a composite number?
True
Let m = 633 - -1532. Is m composite?
True
Suppose 3*c = m + 1649, -1897 + 228 = -3*c - 4*m. Is c prime?
False
Let u(o) = -o + 157. Let r = 4 + -4. Is u(r) a prime number?
True
Suppose 13 = 4*m - a, -2*a + 24 = 3*m + 2*a. Let p = m + -2. Let h = 25 - p. Is h a composite number?
False
Let u(s) = -19*s + 13. Is u(-4) a prime number?
True
Suppose -4*b + 396 = 4*h, 0 = 4*b - 9*b + 2*h + 481. Is b prime?
True
Suppose 0 = 4*y + 3*q + 54, 5*y - 2*y - q = -34. Suppose 2*j + 10 = 0, -2*j = 4*z - 6*j - 44. Is (z/y)/((-2)/132) a prime number?
False
Let o be (4/(-12))/(1/(-9)). Suppose 2*q - 2*d = 28, -4*q + o*d - 4*d = -81. Is q prime?
True
Suppose 0 = -3*p + 4*p - 5*j - 192, 3*j + 938 = 5*p. Is p composite?
True
Suppose -6*s = -8*s + 2. Is s/((10/(-188))/(-5)) a composite number?
True
Let k(x) = 174*x - 13. Is k(3) a composite number?
False
Let h(d) = 9*d + 1. Let v be h(5). Let a be (18/15)/(12/(-320)). Let p = a + v. Is p composite?
True
Suppose 2*z - 18 = -2*v - 2*z, -v = -2*z + 7. Is v*(1 - 2) + 38 a composite number?
False
Let f(b) = -3*b**3 - 3*b**2 + 7*b - 66. Let u(h) = -5*h**3 + 3*h - h**2 - 33 + 0*h + 4*h**3. Let c(k) = 2*f(k) - 5*u(k). Is c(0) composite?
True
Suppose 0 = -3*d + 2*f + 6, 6*f = 5*f. Suppose j - 7 = -d. Suppose m + 356 = 5*y, 0*y + 351 = j*y + 4*m. Is y prime?
True
Suppose 2*q + m = -14, -3*q - 18 = -q + 3*m. Let j be 37/(-2*(-3)/q). Is -1 - (j + 0 + -1) composite?
False
Let z be 2 + 4 + -2 - -1. Suppose -o = -z, -30 = -2*q + o + 579. Is q composite?
False
Let o be 1*(416/4 - -3). Suppose -5*c = -2*f - o + 514, -3*f - 3*c = -558. Is f composite?
False
Let a = 38 - -120. Is a composite?
True
Suppose 2*p - 10 = -6. Suppose 4*g + 125 = b, -4*g = -p*b - 0*b + 258. Is b a prime number?
False
Let y(b) = -b**3 + 13*b**2 - 4*b - 1. Suppose -4*c + a + 17 + 14 = 0, 3*c = -3*a + 42. Is y(c) composite?
True
Let c be 7/(-3) + 2/6. Let a(w) = w**2. Let f(d) = -d**2 + d + 1. Let u(y) = 6*a(y) + f(y). Is u(c) a prime number?
True
Suppose 0 = -3*m + u + 109, -m + 2*m = -3*u + 23. Suppose -2*l = 60 - 24. Let r = m - l. Is r a prime number?
True
Is 5/(-15) - 1902/(-9) composite?
False
Let a = 71 + 12. Is a composite?
False
Let y be ((-2)/(-1) - 3)*-1. Suppose 0 = -t + 7 - y. Suppose -2*s = -t*s, -236 = -4*v - s. Is v a composite number?
False
Suppose 2*c + 2 = c. Let t(n) = -2 - 75*n - 2 + 3. Is t(c) prime?
True
Is 1063 - 3/(9/(-12)) a prime number?
False
Let y(b) = 3*b + 1. Let j be y(1). Let i = j + 