**2. Let b(c) be the third derivative of -c**6/40 + c**5/15 + 5*c**4/24 - c**3/6 + 3*c**2. Let a(t) = b(t) - 4*i(t). Is a(4) a prime number?
True
Let b(a) = -9*a**3 - 3*a**2 - 2*a - 1. Let k be b(-3). Let g = -136 + k. Is g a prime number?
False
Suppose -5*y = -2144 - 251. Is y a prime number?
True
Suppose -2*f + 5*u - 36 = -6*f, -3*f - 3*u + 24 = 0. Suppose -5*d - 3*n - 2*n = -775, -2*n = -f*d + 620. Is d prime?
False
Let m = 566 - 317. Is m prime?
False
Let x(m) = 3*m + 2. Let t be 28/12 - (-4)/6. Is x(t) a prime number?
True
Let x(y) = 15*y**2 + 2*y + 5. Is x(4) prime?
False
Let m = 15 - 10. Let d = 59 + -13. Suppose -3*n = i - d, 190 = 5*i - m*n + 20. Is i prime?
True
Let y(s) = s. Let g(n) = -22*n + 1. Let l(r) = -g(r) - 4*y(r). Let x be (4/2 - 6)/(-2). Is l(x) a prime number?
False
Let l(h) = h**2 + h + 4. Let g be l(-8). Suppose -n - 355 = -4*d, 2*n + g = -5*d + 507. Suppose 2*b - b - d = 0. Is b a composite number?
False
Let p(r) = r**2 - r + 2. Let i(s) = -2*s**2 + 2*s - 3. Let v(w) = -2*i(w) - 3*p(w). Let y be v(0). Is (y + 3*11)/1 a prime number?
False
Let q(n) = -n**3 - 2*n**2 + 8*n - 4. Is q(-9) composite?
False
Suppose -302 = -2*a + 56. Suppose -2*r + 5*r + 5*h - a = 0, -5*h = -r + 33. Is r a prime number?
True
Suppose -2*r = -749 + 69. Suppose -165 = -2*w - 5*q + r, q = 4*w - 1065. Is w a prime number?
False
Suppose -1017 = -2*o + g + 4*g, -2*o - 3*g = -977. Suppose o + 366 = 2*r. Is r a prime number?
True
Let q = -364 - -835. Is q a prime number?
False
Suppose -l - 2*l = 0. Let t(r) = -6*r**3 - r**2 + 4*r + 1. Let g be t(-3). Suppose 2*a = 4*b - g, l*a = -3*b - 5*a + 100. Is b composite?
True
Let v = 6 + 17. Let h = 0 + v. Is h a composite number?
False
Let j = 5 - 5. Suppose t + j*t = -4, -2*q + 262 = 4*t. Is q a composite number?
False
Let i be (49/(-35))/((-2)/10). Is (191/(-5))/(i/(-35)) a prime number?
True
Is 9/(-12)*(4 - 272) a prime number?
False
Suppose 20 = 3*v + 2*v. Let t(u) = 3*u + 0 + 0*u - 2. Is t(v) a composite number?
True
Suppose -3*p + 5*d = 0, p - 3*p = -2*d. Let i = 1 - p. Is i/(-3) + 30/9 a composite number?
False
Let p = 545 - 252. Is p composite?
False
Let n be 40/18 - 4/18. Suppose -n*c - 12 = -32. Let y = c + -1. Is y a composite number?
True
Suppose 0 = -0*q + 3*q + 3378. Let p = -471 - q. Is p composite?
True
Let r(b) = -2*b + 9. Let d be r(6). Is d/6*2 - -70 a prime number?
False
Let k(v) = 3*v**2 + 48*v - 26. Is k(-23) a prime number?
True
Is (2/1)/(-2) - -188 composite?
True
Suppose 0 = -3*w - 357 - 45. Let h = w - -201. Is h composite?
False
Suppose 5*k + 385 = 1920. Is k a prime number?
True
Suppose -4*o + 3473 = v, 3*o - v - 2*v - 2616 = 0. Is o a prime number?
False
Let w(k) = -2*k - 6. Let c = 5 + -9. Let a be w(c). Suppose -a*d = -32 + 6. Is d a prime number?
True
Let p = 200 - 120. Suppose -5*k + 78 = -2*h, -2*h = -6*h + 4*k - 180. Let n = p + h. Is n prime?
True
Let i be 26/1*(-22)/4. Let o be -208 - (2 - (-1 + 6)). Let h = i - o. Is h a composite number?
True
Let j = -5 - -11. Suppose j*t - 5*o = 2*t - 8, 4*t - 3*o = 0. Let k(w) = 5*w + 4. Is k(t) composite?
False
Is 479/(-3)*(-6 + 3) a prime number?
True
Let n = -2 + 4. Suppose -n*i = 4*p, -4*i + 12 = -2*p + 4*p. Is (3/4)/(i/16) a prime number?
True
Suppose 3 = 2*t + i, -2*t = 4*i + 3 + 3. Suppose 0 = -q - 0*q + t. Is q a prime number?
True
Let w be 44/10 - (-2)/(-5). Suppose 0 = v - w*v + 447. Is v a prime number?
True
Suppose 3*o - l - 1745 = 269, -5 = -l. Is o composite?
False
Let a(b) be the third derivative of -3*b**4/8 - b**3/2 + b**2. Suppose -4*x + 2*z = 32, 3*x + 3*z - 18 = 4*x. Is a(x) a composite number?
True
Let w(a) = 10*a**2 + 6*a - 1. Let c be w(7). Suppose 0*k + 3*k - c = 0. Is k a composite number?
True
Is (-87)/(-58)*172/6 prime?
True
Let d = 1 + 2. Is 38 - (d/3 + 0) a composite number?
False
Suppose -2*l - 2*l - 424 = 0. Let x = l - -13. Let j = -62 - x. Is j a prime number?
True
Let j(u) be the first derivative of -39*u**2 + u + 3. Is j(-2) composite?
False
Let v be -61 + 3/(9/(-6)). Let h be 1 + (2/1 - 105). Let k = v - h. Is k composite?
True
Let p be (89 - 0) + 5 + -2. Suppose j = -p + 2078. Is (-2)/(-8) + j/24 prime?
True
Is ((-6)/12)/((-1)/1102) a composite number?
True
Suppose 5*g - 3*h = -449, -2*g - g - 255 = 3*h. Let s = g + 193. Let o = s - 52. Is o a prime number?
True
Let q = -5 - -2. Suppose -3 + 0 = -3*l - 2*n, 3*l + 9 = 2*n. Is 2 - (l - q) - -71 composite?
False
Suppose -3*k - 5*l = -110, l = 3*k - l - 103. Is k a composite number?
True
Let q be 3/9*(-12)/(-2). Suppose 0 = a + q*a - 6. Is a prime?
True
Let p(f) = -21*f**3 + 2 - f**2 - 3 + 2*f + 65*f**3. Let i be p(1). Let t = -9 + i. Is t composite?
True
Suppose -6*t + 3 + 27 = 0. Suppose -n - 5*m = -10*m - 143, -t*m + 93 = n. Is n composite?
True
Suppose 2*d = q - 5*q + 1686, -d = -q + 414. Is q prime?
True
Let u be 9208/(-36) - (-4)/(-18). Is u/((-4)/2) - 1 a composite number?
False
Suppose 8 = s - 77. Is s composite?
True
Let f(b) be the first derivative of -b**2 + 3*b - 2. Let w = -9 + 4. Is f(w) a composite number?
False
Is -1 - -4*(-2 - -8) a prime number?
True
Suppose -2*s + 428 = 2*r + 3*s, 3*s = -r + 215. Is r a prime number?
False
Let g be (-716)/(-10) - 8/(-20). Suppose p - l = 111, 4*p - 388 = -4*l + g. Is p a composite number?
False
Let i = -2 + 5. Suppose 5*f = -5*u + 650, i*f + 372 = -u + 4*u. Is u a prime number?
True
Suppose -5*j = -4*l - 10 - 10, l - 5*j + 20 = 0. Let o = 18 - l. Suppose -z = z + h - 21, -3*z = -3*h - o. Is z a composite number?
True
Let n(t) = -t**2 + 7*t + 11 + 27*t**3 - 8*t**2 - 26*t**3 + 3*t. Is n(10) a composite number?
False
Suppose -217 = 5*a - p, -5*a + 5*p - 133 = 72. Is a*(5/4 + -3) a composite number?
True
Suppose -6*c + 924 = 66. Is c a prime number?
False
Let j(s) = 2*s**3 - 9*s**2 - 4*s - 6. Let o(h) = -h - 3. Let p be o(-10). Is j(p) a prime number?
True
Suppose -3*z + 254 + 283 = 0. Is z a prime number?
True
Suppose 2*u - 2974 - 4314 = 0. Let o = -2595 + u. Is o prime?
True
Suppose -4*s - 4*g + 36 = 0, -g + 0*g + 21 = 4*s. Suppose -t = s*t. Suppose t = -b - 4*m - 17, 2*m - 2 = 5*b - 27. Is b prime?
True
Let o be 0 + 1 + (4 - 3). Suppose -3*g - 4*k = -2, -o*g - 5*k + 1 = g. Let h(c) = 32*c**2 - 2*c + 3. Is h(g) a composite number?
False
Suppose -6*i - 78 = -0*i. Let s(h) = 2*h**2 + 13*h - 12. Is s(i) prime?
True
Suppose 6*r = 454 + 2024. Is r composite?
True
Suppose 3*l - 4*l + 85 = 0. Is l composite?
True
Let j be (-5)/(-2)*16/10. Suppose -j*u - 474 = -4*s - 102, -2*u = s - 84. Let t = -59 + s. Is t composite?
False
Suppose 3*s + 1080 = 9903. Is s a prime number?
False
Suppose 1 = -3*g + 13. Suppose 0 = -3*a + g*l + 1133, -l = -2*a + 257 + 490. Is a composite?
True
Let d = 23 - -12. Is d a composite number?
True
Let o(i) = i**3 + 2*i**2 - 5*i + 7. Let n(s) = -2*s - 7. Let x be n(-6). Is o(x) a composite number?
False
Let z(o) = -o**2 + 8*o - 1. Let d be z(7). Let r be 1/2*(d - 0). Is r*3/6*22 a prime number?
False
Suppose -4*s = 3*a - 73, 2*s + 3*a + 79 = 6*s. Is s a prime number?
True
Suppose -5*y = 1 - 11. Suppose y*f = -6, 5*i - 4*f - 165 = -28. Is i a composite number?
True
Let g(o) = 4*o**2 - 3*o + 3. Let k be 46/14 + (-4)/14. Let c be 5/((-45)/12)*k. Is g(c) a composite number?
False
Suppose 4*u + 3*v = 21, -5*v = -2*u - 3*u. Let n = 5 - u. Is (-1 + 4/n)*53 a prime number?
True
Is -1 + (-3 - -1) + 82 a prime number?
True
Let w(v) = 541*v**3 + 2*v**2 - 3*v + 1. Is w(1) a composite number?
False
Let j = -1501 + 7124. Is j prime?
True
Let a(p) = p**3 + 4*p**2 - 4*p + 7. Suppose -2*i = 3*n + 21, 5*n + 7*i - 2*i = -40. Let y be a(n). Suppose -149 = -y*l - 43. Is l prime?
True
Suppose -u + 3 = 1. Suppose 3*l - 345 = -0*z - 3*z, -2*l + z = -239. Suppose -u*j = -l - 52. Is j prime?
False
Suppose 3*g + 2*g = -75. Is ((-7)/7)/(1/g) prime?
False
Is (12/4 - 4)*-89 prime?
True
Let j(h) = 13*h + 2 - 7*h + 0 + 16*h. Is j(2) prime?
False
Is 147 - (-2 + 3)*-2 a prime number?
True
Suppose -1336 = -4*n - 4*u, 0 = -0*n + 2*n - 2*u - 680. Is n composite?
False
Let a(n) = -n. Let g(u) = -24*u - 13. Let z(d) = -a(d) - g(d). Is z(10) a composite number?
False
Suppose 0 = -4*i - i - 5*n + 1240, -3*i + 747 = 2*n. Is i prime?
True
Suppose -r + 3*x = -0*x - 242, 5*r - 4*x = 1243. Is r a composite number?
False
Suppose 0