y(m) be the second derivative of -m**8/6720 + m**7/360 - m**6/144 + m**5/40 + m**4/6 + 2*m. Let k(j) be the third derivative of y(j). Is k(6) prime?
False
Is (8776/(-16))/((-1)/2*1) prime?
True
Let j(x) = x**3 + 19*x**2 + 4*x - 5. Is j(-9) a composite number?
False
Suppose -2*s + 8803 = 3*j, 3*j + s - 3*s - 8795 = 0. Is j a prime number?
False
Let x = 8 - 3. Suppose -308 = -4*q + w + w, x*q - 4*w - 379 = 0. Is q composite?
False
Let h(t) = t - 3. Let w be h(6). Suppose 6*x - 2*m = x + 1045, -w*m = 15. Is 1/2 + x/6 a prime number?
False
Suppose -108 = 6*o - 3*o. Let f = 67 + o. Is f composite?
False
Suppose 14 = 3*b - v, 0 = b + 3*v - 0*v + 2. Let r = -10 + b. Is (39/1)/(r/(-4)) a prime number?
False
Suppose -152 = 2*v + 2*v. Let u = -20 - v. Let p = u + 3. Is p a prime number?
False
Let s(f) = 2*f**3 + 6*f**2 + f + 23. Is s(6) a prime number?
True
Let c = -88 - -197. Is c a prime number?
True
Let j(x) = -2*x + 16. Let d be j(8). Let t = 141 - d. Is t prime?
False
Suppose 3*g + 3*g - 2238 = 0. Is g a composite number?
False
Suppose 2*u + 2*q = 0, 2*u + u = 4*q + 14. Let r = -6 - 0. Is 3/r*u - -38 composite?
False
Suppose 5*i = -5*s + 5, i - 10 = -3*s - s. Let c = i - -3. Let m(k) = 76*k**2 + k. Is m(c) a composite number?
True
Let d(q) = 23*q - 13. Is d(16) prime?
False
Let p(r) = -r**2 + 14*r. Let t be p(8). Suppose -5*n + 164 = -2*n - 5*z, -n = 5*z - t. Is n a composite number?
False
Let y(x) = -3*x**2 - 4*x - 4. Let a be y(5). Let c = 160 - a. Is c prime?
False
Suppose 74*l = 80*l - 2274. Is l a prime number?
True
Let d(q) = 28*q**2 - q - 4. Suppose 10 = 2*u, s - 4*u = -2*u - 13. Is d(s) composite?
False
Suppose -4*p + 84 = -40. Suppose 2*x + 3*x = 5*h + 35, 3*x - p = 5*h. Is x/(-9) - 1585/(-45) composite?
True
Suppose 0 = -3*m + 5 + 13. Suppose 3*a - m*a = -483. Is a composite?
True
Suppose -5*k + 28 + 16 = 2*g, -3*k - 5*g = -15. Is ((-5)/k)/((-2)/212) composite?
False
Let d = 510 - 8. Is d a composite number?
True
Suppose 27 = -6*g + 525. Is g composite?
False
Let o = 10346 + -4137. Is o prime?
False
Let o(x) = -3*x**2 + 8*x + 244. Let f(u) = -u**2 + 3*u + 81. Let h(q) = -11*f(q) + 4*o(q). Suppose -p = 2*p. Is h(p) a composite number?
True
Suppose -5*i + 360 = -2*f, -i - 2*i + 3*f = -207. Suppose 0 = -h - h - 5*w - 9, 2*w - 4 = 3*h. Is -1*(i/h + 0) a composite number?
False
Suppose 3*v - 2*y = 5, 4*y + 4 = 2*v + 3*y. Suppose 2*s - 52 = -o - 3*s, 172 = v*o - s. Is o composite?
True
Let m(y) = -2*y**3 - 11*y**2 + 2*y + 7. Is m(-8) prime?
True
Let h be 16/40 + (-8796)/(-10). Let g = h + -293. Is g a composite number?
False
Let x = -3 - -1. Is (9/12 + x)*-92 prime?
False
Suppose 3*u - 2933 = -5*z + 4*u, z = -2*u + 591. Is z prime?
True
Suppose 2*j - 3*g + 10 = -6, -4*j + 2*g = 16. Let b be ((-1)/(-2))/(1/302). Let r = j + b. Is r prime?
True
Let s be ((-23)/(-2))/((-3)/(-72)). Let n = s - -61. Is n composite?
False
Suppose 0*w - 4 = -2*w. Let g(b) = b**2 - b + 1. Let t be g(w). Is t/(-6) - 278/(-4) a composite number?
True
Let r = -773 + 1252. Is r a prime number?
True
Let g(s) = -134*s + 4. Is g(-5) a composite number?
True
Let v(k) be the first derivative of 91*k**2 - 3*k - 1. Let a be v(2). Suppose j = 4*j + 5*f - a, -j + 107 = 5*f. Is j composite?
False
Let x be (7/(-2))/(2/(-20)). Suppose 0 = -4*f - 3*v + 225, -4*f = -2*f + 4*v - 120. Let b = f - x. Is b a composite number?
False
Suppose -4*y = 2*u - 866, u - 75 = 4*y + 376. Is u a composite number?
False
Let g = 341 - 184. Is g composite?
False
Let o be 14/(-28) + (-259)/2. Let p = -77 - o. Is p a composite number?
False
Suppose -5*b + 383 = -132. Let z = 104 - 68. Let m = b + z. Is m a composite number?
False
Let r = -83 + -77. Let d = r + 96. Let q = 99 + d. Is q a composite number?
True
Suppose 0 = -24*z + 19*z + 3365. Is z a prime number?
True
Suppose o - 1 = -i, -3*o + i + 0*i + 15 = 0. Suppose w + 2*p - 14 = -w, 0 = -3*w + o*p + 42. Is w a composite number?
True
Let r = 6 - 5. Is 5 + r*(3 + -5) composite?
False
Suppose f - 1036 = -3*f. Is f a prime number?
False
Let j = 125 + -2. Suppose -4*m + m + 354 = 3*i, i - j = -2*m. Is i prime?
True
Let x(w) = 3*w**3 - 6*w + 19. Is x(6) composite?
False
Suppose 0 = 5*q - 0 + 10. Is (-4)/q + (-90)/(-2) a prime number?
True
Let r = 6 - -39. Suppose -3*s = 2*s + r. Let b(f) = f**3 + 8*f**2 - 14*f - 10. Is b(s) composite?
True
Let q(h) = -h**3 + 9*h**2 - h - 5. Let t be 5 + (0 - (-3)/3). Is q(t) a composite number?
False
Is (-2)/8 - 5445/(-4) a composite number?
False
Suppose 3*i - u = 306 + 16, -2*i + 208 = -2*u. Is i composite?
False
Let b(u) be the second derivative of -3*u + 0*u**2 - 79/6*u**3 + 0. Is b(-1) a prime number?
True
Let s(u) = 95*u**2 - 13*u - 41. Is s(-6) composite?
False
Suppose 0*n - 220 = -4*n. Let v = 2 + -2. Suppose -n = -d - v. Is d a prime number?
False
Suppose 0 = -5*d + 3*l + 3912 - 1222, 5*l - 566 = -d. Is d composite?
False
Suppose -3*n - p = -5*n + 549, -4*p = -3*n + 826. Let o be n*(-3 - -2)/(-2). Let z = -84 + o. Is z prime?
True
Suppose 2*x + 8 = 4*y, -3*x + 5*y - 15 = 2*x. Let o be 46/2*(-3 - x). Let s = o + 33. Is s composite?
True
Let s(w) = -w**2 + 13*w - 14. Let f be s(11). Is f/(-16)*-2*19 a composite number?
False
Let r(s) = -12*s - 10 + 23 - 2*s**2 + s**2 - 9*s. Is r(-10) a prime number?
False
Suppose 6 = -3*p, 5*b + 44 = 3*p + 315. Is b a prime number?
True
Let p(z) = -1180*z - 14. Let x(y) = 393*y + 5. Let j(u) = -5*p(u) - 14*x(u). Let d be j(1). Suppose -3*v = -4*a + a + 246, -5*a + v = -d. Is a a prime number?
True
Let k(j) = 9*j + 6. Is k(9) a composite number?
True
Let i(s) = -s**2 + 2*s - 1. Let a be i(2). Let u be (2 - 3 - -1)/a. Suppose -2*o = -u*o - 164. Is o prime?
False
Suppose 15 = -0*r + r. Let u = 24 - r. Is u prime?
False
Let y(q) be the second derivative of -q**2 + 1/6*q**3 - 3*q + 0. Is y(9) composite?
False
Let n = -25 + 30. Suppose -a + 696 = 3*a - 5*u, 2*a - 378 = -n*u. Is a composite?
False
Suppose 2*y - 787 = -3*z, y - 2*y = 2*z - 525. Is z composite?
False
Suppose y - 5 = 4*x, 2*y + 4*x - 10 = -0*y. Let w(c) = 18*c - 6 + 0 + 7. Is w(y) composite?
True
Suppose -4*u - u + 385 = 0. Is u composite?
True
Let c(t) = 40*t - 1. Suppose 4*p = -4*h + 12, 4*p - 8 - 10 = -5*h. Let x = h + -3. Is c(x) prime?
False
Let j = 13 - 21. Let r = 15 + j. Suppose -4*u - 57 = -r*u. Is u composite?
False
Let i(c) = 197*c**2 - 2*c. Let x be i(-4). Let a be 12/10*x/12. Suppose -a = -4*t - 5*r, 4*t - 6*t = -3*r - 158. Is t a prime number?
True
Let a(f) be the second derivative of f**5/4 + 5*f**4/12 + f**3/3 + 5*f**2/2 + f. Is a(4) a prime number?
False
Let i = 3 + -1. Suppose 0 = -r + k, -i*r - 12 = -6*k + k. Suppose 0 = -0*w + r*w - 24. Is w a prime number?
False
Suppose 2*v = v + 122. Is v prime?
False
Let b(o) = 54*o + 49. Is b(6) a prime number?
True
Suppose 4*b + 7 = 5*b + i, i - 15 = -5*b. Suppose b*j - 4 = 2*k + 10, -3*j + 31 = -5*k. Suppose u = j + 13. Is u a prime number?
False
Suppose -68 = -j + 3*j. Let q = -110 - -197. Let f = j + q. Is f prime?
True
Let q(b) = b**2 - 9*b + 11. Let o be q(8). Suppose 4*y + 14 = 2*i, o*y - 15 = -2*i + 20. Is i prime?
True
Let h(f) = 0*f - 3 - 1 - f. Let o be h(-10). Is (-2)/o*(-97 - 2) composite?
True
Suppose 6*n - 18577 = 6665. Is n a prime number?
False
Suppose 5*b - 627 = 2*b. Is b a prime number?
False
Suppose -p + 29 = 5*c - 0*c, -2*p = c - 22. Let n(o) be the third derivative of o**4/24 + o**3 - o**2. Is n(p) a composite number?
True
Let k = -6 + 8. Suppose g + 3*q = -9, -3*g + k = q - 3. Suppose g*n - 27 = -0*n. Is n a prime number?
False
Is 905 - (2*(0 - 1) - 0) prime?
True
Suppose -2*c + 0*c = 5*u + 18, -5*c = -2*u + 16. Let t(v) = -v - 4. Let j be t(c). Suppose -3*y + 45 = -j*y. Is y a composite number?
True
Suppose 321 + 932 = v. Is v prime?
False
Let s be ((-30)/4)/(2/(-36)). Suppose 4*g = 5 + s. Is g composite?
True
Suppose 2*g = 4*w + 6*g - 1052, 0 = -5*w - 4*g + 1311. Is w prime?
False
Let c(m) = 7*m**3 - 4*m**2 - 3. Let s be c(3). Let q = s + -67. Is q a composite number?
False
Suppose x = -4*x + 25. Suppose 2*a + b - 1 = 3*a, -2 = 4*a - x*b. Is a/(-6)*-2 - -26 a prime number?
False
Let r(v) be the third derivative of -19*v**4/24 + 7*v**3/3 + v**2. Let u be r(-13). Let m = -172 + u. Is m a composite number?
False
Suppose -3*o + 15 = 0, 0 = -d -