0*v**2 + 14*v - 27. Is p(8) composite?
True
Let o(j) be the third derivative of j**6/120 + j**5/6 + 3*j**3/2 + 3*j**2. Let c be o(-10). Is (-211)/(-4)*(13 - c) a composite number?
False
Let i(z) = z**3 - 12*z**2 + z - 8. Let m be i(12). Suppose 13933 = 3*s + m*p - 5*p, -9274 = -2*s - 3*p. Is s composite?
False
Suppose 2*y + 4 = 0, -3*v + y = v - 119866. Is v a composite number?
True
Suppose 2*b + 9 - 2 = 3*a, 0 = 2*b + 4*a - 28. Suppose b*x - 4166 = 1278. Is x prime?
True
Let j be 4/(2 + -1 + 1). Suppose 1633 = 4*i - 3*o + 147, 0 = -i + j*o + 374. Let d = i + -167. Is d a composite number?
True
Let u(h) = 22*h + 1. Let m be u(1). Let w(d) = -2*d**3 - 9*d**2 - 2*d - 1. Let q be w(-5). Let t = q + m. Is t a prime number?
False
Let t be 1 - (-2 + -1) - -3. Let m(d) = 49*d + 5. Let v be m(t). Suppose l = x + 141, 95 = 3*l + 2*x - v. Is l composite?
True
Let k = 4291 - 2498. Suppose s = k - 124. Is s a composite number?
False
Suppose 0 = -5*j - z + 204181, -2*j + z + 28796 = -52882. Is j composite?
True
Let v(r) = -23*r**2 - 5*r - 35. Let o be v(12). Is (-4)/((-4)/o*-1) composite?
False
Let h be ((-10)/(-15))/((-4)/(-18)). Suppose -h*f + 806 = -667. Is f a composite number?
False
Suppose 5*u = 6 + 14. Suppose -p + 3*h = -12, u*p + 0*h = -5*h - 3. Is 488 + -6 - (0 - p) prime?
False
Let c(s) = 2*s**2 - 9*s - 26. Let o(q) = -q**2 + 9*q + 26. Let g(u) = 3*c(u) + 2*o(u). Is g(13) prime?
False
Suppose -5*f + 4747 - 697 = 0. Let z = 1436 - f. Suppose 5*w + 2*b - 797 = 3*b, -5*b + z = 4*w. Is w a composite number?
True
Suppose -12*x + 12576 - 2148 = 0. Is x composite?
True
Suppose 10*d = 15*d - 160. Let r = d + -26. Suppose 0 = -r*s + 2066 - 224. Is s prime?
True
Suppose -s - k = -19, 57 = 3*s - 4*k + k. Let t = s + -10. Let n = 4 + t. Is n prime?
True
Let i(k) = -247*k**3 - 5*k**2 - 3*k + 8. Is i(-3) a prime number?
False
Let y(l) = -44*l + 5. Let d(x) be the third derivative of x**4/24 + x**3/2 + 7*x**2. Let g be d(-7). Is y(g) composite?
False
Let w be (-1)/(-4) - (-1004)/16. Let l(p) = -p + 39. Let j be l(11). Let d = j + w. Is d composite?
True
Suppose 39*p + 3*p = 95802. Is p a composite number?
False
Is (-2)/((-6)/5907) + -6 + 10 prime?
True
Suppose 3*a - 3*j - 18 = 0, 2*a - j = -2*j. Suppose 5*x = s + 263, -a*x - s + 4*s = -100. Is x a prime number?
True
Let a(m) = -13*m + 19. Let o(b) = -4*b + 6. Let y(w) = -2*a(w) + 7*o(w). Let h be y(3). Is 30/20 + (-295)/h a prime number?
True
Suppose -2*b = 3*q + 40, 0 = -2*b - 0*b - 4*q - 36. Let n = b + 8. Is (8652/n)/((-2)/3) a composite number?
True
Is (-1)/((-6)/(104223 - -3)) prime?
False
Suppose 69613 = 2*g - 5*b + 6*b, -3*g + 104420 = b. Is g a composite number?
False
Suppose -6*i + i = 0. Suppose i = -6*o - 6 + 24. Suppose 2*w = -0*k + k + 289, -3*w - o*k + 438 = 0. Is w a prime number?
False
Let l(d) = -3*d**3 - 20*d**2 + 3*d + 1. Is l(-11) composite?
True
Suppose -157*r = -148*r - 81639. Is r a prime number?
False
Suppose 2*y + 56 + 18 = 0. Let p = -2 + 12. Is y/1*(p + -21) prime?
False
Let x = 4 + -2. Suppose -3*l + 14 = x. Suppose -2*n + 3*a + 29 = -27, -l*n + 132 = 4*a. Is n a composite number?
False
Let n(c) = 116*c**2 + 9*c + 56. Is n(9) a composite number?
False
Suppose -17*a + 41*a - 22056 = 0. Is a prime?
True
Let n(t) = t**2 + 91. Is n(0) composite?
True
Let n(p) = p**3 - p**2 - p. Let j be n(2). Is (-33 - -29) + (-101)/(j/(-2)) composite?
False
Suppose -5375 = 4*k - 19619. Suppose 4*h - h - k = 0. Is h composite?
False
Let i be (-2)/9 + 2620/45. Is 2 + (i - 3) - -2 composite?
False
Suppose 3*j = 737 + 7. Let h = 59 + j. Is h composite?
False
Let x(o) = 23*o**2 - 27*o**2 - 1 + o**3 - o**3 - 13*o - o**3. Is x(-16) composite?
True
Suppose 0 = -s - 0*s. Suppose 0 = 2*l - 2*r - 792, 4*l - r - 854 - 715 = s. Is l a prime number?
False
Let d = -7 + 7. Let k be -733*(-1 - (d - 0)). Suppose -f + 163 = 3*y, -k = -4*f + y - 107. Is f a composite number?
False
Let f(t) be the first derivative of t**2 - t + 2. Let k be f(2). Let s(z) = 8*z**2 - 5. Is s(k) composite?
False
Let i = -16109 - -23984. Suppose -4*q + 5*l + i = 4*l, -5*l = -q + 1964. Is q a composite number?
True
Let b = 1 + 0. Let w be (3 - 6)/(b/(-25)). Suppose -m = 3*n - 19, -3*n + w = 3*m + 30. Is m composite?
False
Let y be 1788 - 15/(-5) - -4. Let b = y + -1255. Suppose -4*r = -2*d - b, -d = -2*r + 3*r - 129. Is r prime?
False
Let h be (0 - 1)*3 - -28. Let k be (70/h)/(2/745). Suppose 7*r + k = 8*r. Is r a prime number?
False
Let q(z) = -1313*z - 202. Is q(-3) a prime number?
False
Let j = 1455 - 506. Suppose -5*p + 2441 + j = 0. Suppose -5 = u + 4*u, 2*l + 4*u - p = 0. Is l prime?
False
Let r be 3/((-15)/5) + 5. Suppose -3*k - 5728 = 4*l - 6*l, -r*l = k - 11442. Is l prime?
True
Let a = -20634 + 30617. Is a a composite number?
True
Let b(q) be the second derivative of 26*q**3/3 - q**2/2 + q. Let u be b(6). Suppose -3*o - 4*z + 206 = -21, 4*o - u = 3*z. Is o prime?
False
Let k(c) = 4*c**3 + 9*c**2 + 9*c + 15. Let x(q) = 5*q**3 + 10*q**2 + 8*q + 14. Let i(a) = -6*k(a) + 5*x(a). Is i(9) composite?
True
Let g = -7527 - -16330. Is g prime?
True
Suppose -72*h = -50177 - 2111479. Is h prime?
False
Suppose -5*x - 4*w + 2789 = 0, 3*x + x - 3*w - 2256 = 0. Let f = x - -353. Is f a prime number?
False
Suppose 0*t = -5*q - 3*t - 50, 0 = 4*q - t + 57. Let w(y) = 13*y + 1. Let n be w(2). Let s = n + q. Is s composite?
True
Suppose -5*n + 16051 + 5969 = 5*l, 13187 = 3*n - 2*l. Is n prime?
False
Is 15525 - (6 + 64/(-8)) composite?
False
Is (1/1)/((-9)/(-230967)*11) prime?
True
Let r = 787 - -192. Is r prime?
False
Let n be 140*((-6)/5 + 0). Let u = n + 546. Suppose -5*w + 595 = -2*s, -3*w - 6*s = -3*s - u. Is w a composite number?
True
Let a(y) be the first derivative of 93*y**2 - 5*y - 4. Is a(4) a composite number?
False
Let y(l) = l**3 - 6*l**2 - 10*l - 4. Let j be y(11). Let o = j + 240. Is o prime?
False
Let q(g) = g**3 - 5*g**2 + 7*g + 10. Let n(c) = c**3 - 7*c**2 - 27 - 7*c + 28 - 2*c**3. Let u be n(-6). Is q(u) a composite number?
False
Let t(n) be the third derivative of n**4/6 + 7*n**3/3 - 5*n**2. Let i be t(-8). Let c = i + 49. Is c composite?
False
Suppose -218792 = -20*d + 24628. Is d a composite number?
True
Suppose t - 1 - 1 = 5*p, 2*t - 4 = 2*p. Suppose -5*z - 651 = -2*h - p*h, -3*h + 5*z + 974 = 0. Is h a composite number?
True
Is 9837 + 25 - (-1 - 2) a prime number?
False
Let b = -61 + 360. Suppose b = h + 46. Is h composite?
True
Let n = 140 + -40. Suppose -80 = 2*l - 3*x - 286, 3*x + n = l. Is l a prime number?
False
Let m(w) = w**3 + 4*w**2 - 2*w + 3. Suppose 5*a - y = -22, -a + y - 2*y = 2. Let x be m(a). Suppose -1325 = -x*z + 6*z. Is z composite?
True
Suppose -3*g - 12 = 3*g. Let k(p) = -2*p - 11*p - 5 - 7*p + 0. Is k(g) prime?
False
Suppose 5*n + 2*f + 2*f = 38, -4*n = f - 26. Suppose -n*g - 155 = 73. Let p = 269 - g. Is p composite?
False
Let h = -4 + 7. Let y(i) = 9*i - 1. Let n(k) = -k. Let b(c) = -22*n(c) + 2*y(c). Is b(h) a prime number?
False
Let r(p) = -35*p**3 - 3*p**2 - p + 4. Is r(-5) a prime number?
False
Let r = -89 - -126. Let i(j) = j**2 - 11*j + 26. Let d be i(8). Suppose d - r = -f. Is f composite?
True
Let k be 2 + (-18)/(-10) - 2/(-10). Suppose 1485 = s + k*u, 0*u = -3*s + 4*u + 4519. Is s composite?
True
Let b = 61 + -58. Suppose b*c - 4*q = 389, -q + 528 = 4*c + 3*q. Is c prime?
True
Suppose 3*l = 4*d - 22498 + 1878, -2*l + 15465 = 3*d. Is d a composite number?
True
Let f be 48/3 - -1*1. Let y = f + -9. Let m = y - -41. Is m a composite number?
True
Is (3/(6/(-11)))/(21/(-17598)) composite?
True
Let q(d) = -3*d + 3*d + 0*d - 4*d + 5*d - 1 + 53*d**2. Let f = -7 - -10. Is q(f) composite?
False
Let d = -538 - -2130. Is 4 + (d - (-25)/5) a prime number?
True
Suppose -5*n + 3*v - 5024 = -17394, 0 = -4*v. Is n a prime number?
False
Let s = 62 + -56. Is s/(-4) - (-151)/2 prime?
False
Suppose -9916 = -5*f + 3*d, -5*f + 5938 = -2*f + 4*d. Is f composite?
True
Suppose 18 = 3*n - 5*n. Let m(u) = -2*u**3 - 11*u**2 + 9*u - 1. Let b be m(n). Let w = -322 + b. Is w a prime number?
True
Let c(k) = k**3 - 6*k**2 + 7*k - 5. Let u be c(5). Let q = u + 2. Suppose q*a - 8*a = -91. Is a prime?
False
Let f(m) = -206*m - 213. Is f(-11) prime?
True
Suppose -k - 1 = -17. Is k/72 + 421/9 a composite number?
False
Let f(a) = -a. 