 -9*v**3 - 18*v**2 + 21*v - 9. Let c(k) = w*g(k) - 7*z(k). Is c(7) prime?
True
Let t be 21252/5 - (-40)/(-100). Suppose -5*g - 5*k + t = 0, 10 = 2*g - 5*k - 1697. Is g a composite number?
True
Let l be (-1 - -6)/(4/284). Suppose -4*u + l = -1033. Suppose 2*a = s - 171, 0*a - u = -2*s + 5*a. Is s a composite number?
True
Let y = -299 - -378. Is y composite?
False
Is 28330/(-40)*(-5 + 1) a prime number?
True
Let s(z) = 3*z**2 - 11*z + 23. Is s(-18) a prime number?
True
Let w = 87 + -63. Suppose w*x - 1329 = 21*x. Is x composite?
False
Suppose 0 = -12*q + 140484 + 124680. Is q composite?
True
Is 1 + 4 - (-267444)/(11 + -2) composite?
True
Let b = 87 - -72. Suppose -p + 5*u + b = 0, 180 + 3 = p + u. Is p a prime number?
True
Let j(c) = c**3 - 2*c + 1. Let w be j(2). Let f(h) = 41*h**2 - 4*h - 4. Let q be f(-3). Suppose -4*n + l = -q, 50 = -n + w*l + 168. Is n prime?
False
Suppose -2*f - 4*h = 2, 3*h = f + 4*h + 2. Is 10581/(-6)*(-5 - f) prime?
True
Let v = 10 - 7. Suppose -2*p + 6807 = 5*m, -2*m + 4086 = m + v*p. Is m prime?
True
Let x(o) = o**3 - 7*o**2 - o + 28. Let m be x(12). Let i = m - 485. Is i a prime number?
True
Suppose -53*d - 18394 = -55*d. Is d a prime number?
False
Let w = -10145 + 17434. Is w prime?
False
Is ((-12)/20)/(-2 - 147087/(-73545)) prime?
False
Let c(r) = -5*r + 2. Let h(z) = -4*z + 3. Let o(s) = -5*c(s) + 6*h(s). Let y be o(-6). Suppose -449 + y = -3*g. Is g composite?
False
Let l(t) = -13 + t**3 - 2 + 12*t**2 + 0*t + 4*t. Suppose 3063 = 4*p + 3095. Is l(p) composite?
True
Suppose 7*m + 0*m - 70 = 0. Let o(d) = -d**3 + 16*d**2 - 9*d - 5. Is o(m) a composite number?
True
Let f(v) = -2*v + 9. Let p be f(-3). Suppose -p*x = -19*x + 76. Is x prime?
True
Let v(i) = -1. Let w(f) = -f**2 - 21*f + 7. Let t(u) = -3*v(u) + w(u). Let n be (1 + -3)/(4/18). Is t(n) a prime number?
False
Let x(o) = 11007*o + 458. Is x(3) composite?
False
Suppose -12*k = -11*k + 4*i - 5899, -4*k = -5*i - 23617. Is k a composite number?
False
Let n(y) = -y**3 - 7*y**2 - 7*y - 3. Let g be n(-6). Suppose 0 = -c - g*c. Suppose -5*f + 842 + 593 = c. Is f composite?
True
Let a = 6998 + -2415. Is a composite?
False
Let j = -6 + 13. Let l = -8 + j. Is (-1)/(l/60) - -2 prime?
False
Suppose 19*n - 87191 = 130682. Is n a composite number?
False
Let y(o) = 64*o**2 - 2*o - 7. Is y(-2) a composite number?
True
Let w = 450 - 295. Suppose -2*n + 121 = -4*y - w, 5*y - 103 = -n. Suppose -5*t = -n - 167. Is t a prime number?
True
Let j = -1266 + 2581. Is j composite?
True
Let c = -533 + 1074. Is c a composite number?
False
Let y(q) = q**3 + q**2 - 6*q + 1. Let d be y(-3). Is 1985/(-5)*-1*d composite?
False
Suppose 4*n - 2*b = 6052, 3987 = 3*n - 5*b - 545. Is n a composite number?
True
Let i = 3664 + 4063. Is i a prime number?
True
Let k = 3506 + -1932. Let j = k - 987. Is j composite?
False
Suppose -z - 43 = -i, -16 = -i + 4*z + 39. Suppose -o - i = -582. Is o a prime number?
False
Let v(x) = -2*x + 10. Let c be v(3). Suppose 6*z - 1594 = c*z. Let r = -354 + z. Is r composite?
False
Suppose 5438 = -5*p + i - 7766, -5*p + 5*i = 13220. Is 2/(-1 - p/2636) a prime number?
False
Let s = 15891 - 7479. Suppose -f - s = -5*f. Is f a composite number?
True
Suppose -3*k + r + 4*r = 13, 3*r - 27 = -3*k. Let n be k/(-6) - 32/(-3). Suppose n*x - 345 = 7*x. Is x a prime number?
False
Suppose -4*m - 3 + 11 = 0. Let d(n) = 6*n - 7*n - n**m + 5 + 3*n**2. Is d(4) prime?
False
Suppose 4*w - 97884 = 4*s, 7*s - 73397 = -3*w + 2*s. Is w a composite number?
False
Let z(n) = n. Let p be z(4). Suppose 0 = -p*a - 4 + 16. Suppose -55 = -5*y + 5*q, -2*q + a*q + 39 = 3*y. Is y prime?
False
Suppose -2*h = -p + 4, 3*p + 0*h - 4 = -2*h. Suppose -5*g + 4055 = p*f, -3*f - 2412 = 3*g - 6*g. Is g a composite number?
False
Let q(f) = -3*f - 8. Let a be q(-3). Let i(j) = 108*j**2 + j. Is i(a) a prime number?
True
Let z(m) = -m**3 + 3*m**2 + 7*m - 7. Let o be z(4). Suppose -427 = -o*s + 4*i, -3*s = 5*i - 166 - 68. Is s prime?
True
Suppose 0 = -c - 75 + 21. Let b = -29 - c. Let k = b + 8. Is k a prime number?
False
Let d(c) = -c**3 + 7*c**2 + 3*c - 3. Let t be d(7). Let r = t - 32. Is 606/14 - r/(-49) composite?
False
Let k = 4 - 1. Suppose x + 763 = t, -k*t + 3*x = x - 2294. Let w = t + -431. Is w a composite number?
False
Let u(n) = -n**3 - 3*n**2 + 1. Let c be u(-1). Let m(z) be the third derivative of 7*z**5/20 + z**4/24 + z**3/6 + z**2 - 3. Is m(c) a prime number?
False
Suppose 0*w = -4*w + 8. Let p = 89 + -94. Is w/p + (-831)/(-15) composite?
True
Let s = -202 - -317. Suppose j - 6*j = -s. Suppose -2*x = -b + j - 6, -2*b = 4*x - 42. Is b prime?
True
Let l be (-4)/(-7) + 144/(-56). Let p = -45 + 77. Is l/(-8) + 23384/p a prime number?
False
Let u = -7 - -4. Let l be (u/2)/(-3)*-62. Let i = 53 + l. Is i composite?
True
Suppose 0 = -4*n + 5*r + 1003, 2*r = 5*n - 1041 - 200. Let m = n - 170. Is m prime?
False
Let j = 14 + 13. Suppose 0 = -j*w + 24*w + 138. Is w a composite number?
True
Let n(z) = -17*z + 2. Let i(h) = 6*h - 1. Let v(j) = -11*i(j) - 4*n(j). Let f be v(3). Let y = f - -58. Is y a composite number?
False
Let l(k) = 5*k**3 + 2*k**2 - 6*k - 12. Is l(7) composite?
False
Let k(d) be the first derivative of d**3/2 - 3*d**2 - d - 2. Let p(j) be the first derivative of k(j). Is p(5) composite?
True
Suppose 572 = 6*m - 694. Is m a composite number?
False
Let u(h) = -h**2 - h + 411. Suppose -11 = -g + 26. Let n = -37 + g. Is u(n) a prime number?
False
Let q(z) = 0*z**2 - 17*z + z**2 + 4 + 0*z**2 + 14*z. Let n be q(2). Let m(g) = 110*g + 3. Is m(n) composite?
False
Let p = 6387 + -3705. Let f = p - 1585. Is f a composite number?
False
Suppose -3*l + 24 = 4*n - 58, -5*l - 47 = -3*n. Suppose -7*y - 1380 = -n*y. Is y a composite number?
True
Is (-3)/2*(-746990)/15 composite?
False
Is (-132)/(1 - 13) - -23252 composite?
True
Let a = 12 + -17. Let g(q) = q**3 + 5*q**2 - 2*q + 3. Let j be g(a). Is (j - 12)/((-1)/(-89)) composite?
False
Let l(m) = -14*m**3 + 8*m**2 + 3*m - 9. Let y be l(-8). Suppose -3*i + 6096 = 4*j, -4*j = -9*j + 3*i + y. Let r = j + -940. Is r composite?
False
Suppose -3*j + 4 = 2*d - 20, j - 48 = -4*d. Suppose -285 = 9*k - d*k. Is k a prime number?
False
Suppose 6 = -3*j - 5*k, 2*j + 2*k = 3*j - 9. Let f(z) = -2*z + j + 0*z + 3*z**2 - 10 + 19*z**2. Is f(-6) composite?
False
Suppose 0 = -a + 3*w + 2*w + 38, -5*a - w = -86. Let b = a + -16. Let m(c) = 80*c - 1. Is m(b) prime?
False
Let w = -32 + 37. Suppose -w*z + 3*z + 4*f + 958 = 0, 1477 = 3*z + 4*f. Is z prime?
True
Let g = 6102 - 1709. Is g prime?
False
Let x(z) be the third derivative of -877*z**6/120 + z**5/60 + z**4/12 + z**3/6 - z**2 - 14*z. Is x(-1) a prime number?
True
Suppose -83 = -4*r + 33. Suppose r*p + 929 = 30*p. Is p a prime number?
True
Let o be 50/15 + 3/(-9). Suppose o*a - d - 280 - 86 = 0, 3*a + 4*d - 351 = 0. Let m = a - 78. Is m prime?
True
Let s(c) be the first derivative of c**4/4 - 5*c**3/3 - 3*c**2/2 + 12*c + 1. Let z be (7/(-14))/(1*(-4)/56). Is s(z) a composite number?
False
Suppose 0 = 22*i - 24*i + 3022. Is i prime?
True
Let z = 143 + 62. Suppose z = 4*b - 423. Is b a composite number?
False
Is (-1257)/(711/(-171) - -4) composite?
True
Suppose -3*z = 5*p - 16316, 5*p = -2*z - 0*p + 10879. Is z prime?
True
Let r be -1 + 1 - 0/11. Suppose r*t = 3*t - 9. Suppose t*o - 375 = -2*q, -36 = 4*o - q - 547. Is o prime?
True
Let o = -1239 + 2188. Is o a composite number?
True
Let j = -1179 - -3054. Let w = j - 394. Is w a prime number?
True
Let n(r) = -541*r**3 - r**2 - r. Let o be n(-1). Suppose o = f - 774. Is f composite?
True
Is 0 + (-6)/(-2) - 21208/(-11) composite?
False
Suppose 0 = 4*x - 5*g + 29, 0 = 3*x + 6*g - 10*g + 23. Is (2 - -3) + 333 + x composite?
False
Let l(f) = -8*f - 13. Let n be (-30)/(-12) + (-1)/(-2). Let x(q) = 7*q + 14. Let i(t) = n*l(t) + 4*x(t). Is i(5) prime?
True
Suppose -7*p + 9134 + 4033 = 0. Suppose -2633 = -2*d + p. Is d composite?
True
Let q be (-1 + 4)*(-2)/(-3). Suppose r = 594 + q. Suppose 6*p = 10*p - r. Is p a prime number?
True
Let a(g) be the first derivative of -g**3/3 + 23*g**2 - 25*g + 2. Is a(18) a prime number?
True
Suppose -6*f + 2*f = 2*m - 438, m - 231 = 2*f. Let w be ((-1)/(-1))/2*0. Suppose w = q - 408 - m. Is q a composite number?
True
Suppose -37*a + 42*a - 175 = 0. 