2). Let v(w) = 31*w**2 + w + 1. Is v(m) a prime number?
True
Let h = -24275 - -104812. Is h a composite number?
False
Suppose -3*c = -l - 5 + 1, -c = -4*l + 17. Suppose -5*k + 3415 = -4*b + 12752, l*b = -3*k + 11662. Is b a composite number?
False
Let p(c) = c**3 - 14*c**2 + 22*c - 25. Is p(16) composite?
False
Let i = 26 + -24. Suppose 3*m = -m + i*k + 2528, -5*m = 2*k - 3151. Is m a composite number?
False
Let n = 3035 + 2096. Let u = -2780 + n. Is u prime?
True
Let b be -2 + (-5)/((-20)/16). Suppose 0*f - 5*f + 1635 = 0. Suppose -b*o + f = o. Is o a composite number?
False
Suppose 0 = 5*z - 4*p + 126, -4*z - 129 = z - p. Let f = -26 - z. Suppose f*w + q - 858 = -4*w, q + 862 = 4*w. Is w prime?
False
Suppose 4*i + 12 = 0, -3*l + i = -4*i - 2976. Let w = -148 + l. Is w a composite number?
False
Let v(k) = 55*k**2 + 16*k - 4. Suppose -8*d - 6 - 50 = 0. Is v(d) a composite number?
False
Let w(n) = n**3 - 11*n**2 - n - 21. Is w(12) prime?
False
Let y(j) = 47*j**2 - 3 + 162*j - 153*j - 4*j**2. Is y(4) a prime number?
False
Let i = 51 - 91. Let c = 253 - i. Is c prime?
True
Suppose -4*d + 0*u - 4*u = -19452, -2*u = -4. Is d a prime number?
True
Suppose -928 + 3363 = 2*y + x, 0 = -x - 3. Is y a composite number?
True
Let h(b) = -b**2 + 10*b + 27. Let u be h(12). Suppose l - 6391 = -4*v, u*v + 5*l - 6403 = -v. Is v prime?
True
Let l(i) = i**3 - 4*i**2 + 6*i - 3. Let f be l(6). Suppose -5*s + 0*s = -2*t - 85, t - 5*s + 45 = 0. Let u = f + t. Is u a composite number?
True
Let g be -1*(-3 - (5 - 4)). Suppose -2*y - 1250 = -g*c, 305 = -0*c + c - 2*y. Let n = c + -166. Is n prime?
True
Let v be (-39)/(-12) - 3/(-4). Suppose 0 = 2*d - 6 - v. Suppose d*i = -44 + 154. Is i a prime number?
False
Is 1469 + (-4 + (-6 - -16) - 4) prime?
True
Let i be -3 - ((-4 - 0) + -659). Let x = i + -449. Is x composite?
False
Let q(h) be the third derivative of -h**4/24 + h**3/3 + 7*h**2. Let y be q(-3). Suppose 98 = -3*l + y*l. Is l prime?
False
Is 1523/4*(-1 - (-4 + -25)) prime?
False
Let h(l) = l**2 - 10 - 10 + 2. Let y be h(15). Suppose w - y = -2*w. Is w a prime number?
False
Suppose 3*r - 68 = -r. Let p = r - 28. Let b(j) = -j**3 - 9*j**2 + 14*j + 7. Is b(p) a composite number?
True
Let o(b) be the first derivative of b**4/4 + 11*b**3/3 - 3*b**2 + 5*b + 2. Is o(-6) composite?
True
Let l(j) = 425*j**2 + 11*j - 5. Is l(-7) a prime number?
True
Let x(l) = -5*l**3 - 23*l**2 - 17*l + 1. Let f be x(-16). Let i be f/12 + 1/4. Is (1/3)/(7/i) prime?
True
Let z(o) = 22*o + 1. Let d be z(5). Is d - (0 - -1) - 1 composite?
False
Let g = -3797 - -13168. Is g prime?
True
Let p be 4/(-20) - (-44)/20. Let b be (-2 - 1)*124/(-6). Suppose -b = -4*v - p. Is v a prime number?
False
Suppose 20 = -4*u, 3*v - 669 = 5*u + 1114. Let z(f) = f**2. Let k be z(2). Suppose -k*r - v = -6*r. Is r composite?
False
Suppose 2*p - 1 - 5 = 3*g, 5*g = 0. Suppose -f = -p*f - 22. Is 2/f + (-7506)/(-22) prime?
False
Suppose -6721 = 5*x - 606. Let h = x - -2436. Is h composite?
False
Suppose -2*v + 7*v - 109 = -3*a, 0 = -a + 4*v + 8. Let f = a + -28. Suppose 844 = 4*q - f*q. Is q a prime number?
True
Suppose 17*j - 16*j - 204 = 0. Suppose r + j = -5*m, -12 = 2*m + 3*r + 67. Let n = 78 + m. Is n prime?
True
Let j = 13 - 11. Suppose -n - 1 = -c, 2*c = -3*n + j - 0. Is c/(2 - 105/53) prime?
True
Let u = 5 - 6. Let f(b) = b + 1. Let r(n) = -68*n - 51. Let t(q) = 255*f(q) + 5*r(q). Is t(u) prime?
False
Let r(q) = 13*q**3 - 8*q**2 + 8*q + 10. Let m be r(-4). Let i = 2289 - m. Is i composite?
False
Let r(q) = 0*q + 14*q**2 + 2*q + 16*q**2 - 1 - q. Let j be 1/((1/(-2))/(-1)). Is r(j) composite?
True
Is (-13812)/(-4) + 0 + -1 + 1 a composite number?
True
Is -6 + (44 - -2 - -6) a composite number?
True
Let u(w) = 16*w - 1. Suppose 0*m - 10 = -5*m. Let h be u(m). Let q = 446 - h. Is q a composite number?
True
Suppose -d = -2*t - 98, 159 + 36 = 2*d - 5*t. Let j be (3 - -1529)/4 - -2. Suppose -d + j = 5*s. Is s composite?
True
Let t(m) = -m**3 - 38*m**2 - 61*m + 161. Is t(-44) a composite number?
False
Suppose -1 = 5*g + 49. Let d be (8/g)/(-2)*95. Let w = 45 - d. Is w prime?
True
Suppose -z + 4*f + 0*f = -313, -4*z + 2*f + 1182 = 0. Let c = z + 464. Is c composite?
False
Let c(q) = 11*q**2 + 5*q - 4. Let k be c(4). Suppose -34 = -v + k. Suppose -2*j = -388 - v. Is j composite?
False
Let m(g) = -g**2 + 12*g + 4. Let u be m(12). Suppose -u*i - 2 = 5*f - 4, -1 = i + 2*f. Suppose -i*p - 346 + 1225 = 0. Is p prime?
True
Let x = -5877 + 17508. Is x prime?
False
Suppose 5*g - 5*d = 2*g + 500, -335 = -2*g + 5*d. Let z = 2103 + g. Is (-2)/7 + z/49 composite?
True
Suppose -2*w + 0*w - 20150 = -4*a, w = -2*a + 10081. Is a a composite number?
False
Let j(k) be the third derivative of k**5/20 + 5*k**4/12 - 3*k**3/2 - 55*k**2. Let b(q) = -2*q**2 + 7*q - 4. Let z be b(4). Is j(z) prime?
True
Let g = -7831 + 19902. Is g a composite number?
False
Let y(i) be the third derivative of i**4/24 + 5*i**3/2 - i**2. Suppose 0 = -5*w + 4*o + 4, -2*w = -w + 5*o + 5. Is y(w) composite?
True
Let i(p) = 51*p**2 + 5*p - 4. Let k = 9 + -6. Let z be i(k). Suppose 2*x - z = 32. Is x a prime number?
True
Suppose 130225 = 6*k + 7891. Is k prime?
True
Let g(p) = -p - 310. Let w be (-3)/6*-2 + -1. Let f be g(w). Let x = f - -627. Is x prime?
True
Suppose 0 = -u + s, 6 = s + 4. Let o(j) = 658*j + 3. Is o(u) prime?
True
Let d(g) = -3*g**3 - 14*g**2 - 19*g - 67. Is d(-20) a prime number?
True
Let m(f) = 38*f**3 + 7*f**2 + 3. Let r(d) = 25*d**3 + 5*d**2 + 2. Let g(t) = 5*m(t) - 7*r(t). Is g(2) a composite number?
True
Let p(c) be the first derivative of -c**4 - 4*c**3/3 - c + 4. Is p(-4) composite?
False
Let k(r) = -72*r - 179. Is k(-23) composite?
True
Let b(z) = -117*z + 1. Let q = 10 + -12. Is b(q) composite?
True
Let u(r) = r**2 - 13*r - 8. Let d be u(9). Let q be 2/(-3 - d/12). Suppose -261 = -3*o - q*w, w = o - 4*w - 87. Is o composite?
True
Suppose 60*d - 545902 = 46*d. Is d a composite number?
False
Suppose 6*c = 2*c - 1256. Let v = 195 + c. Let p = 386 + v. Is p composite?
True
Let j(c) = -3*c**3 - 21*c**2 - 122*c + 61. Is j(-20) composite?
True
Suppose -5*j + 2*g - 19560 = 5*g, 2*j + 7840 = 2*g. Is ((-2)/4 - 0) + j/(-58) a prime number?
True
Suppose -10662 = -k + 8369. Is k a composite number?
False
Let q(g) = 398*g - 7. Let d be q(4). Let x = d - 878. Is x a prime number?
False
Let l(v) = 25*v**2 + 3 - 12 + 86*v**2 - 6*v + 115*v**2. Is l(-2) prime?
True
Let h = -55882 + 82101. Is h composite?
True
Let l(z) = z**2 + 3*z - 6. Let q be (-1 - 9/(-6))*8. Is l(q) composite?
True
Suppose -5*l - 35 = -2*t, -10 = -4*t - 6*l + 4*l. Let i(z) = 41*z**2 + 6*z. Is i(t) prime?
False
Let p = -56425 + 98798. Is p a composite number?
False
Let p = 4 - -1. Let a(y) = 21*y + 5. Let b be a(p). Suppose -g = g - b. Is g a prime number?
False
Let i(c) = 22*c**3 - 2*c**2 - 25*c + 94. Is i(15) a prime number?
False
Let p = 27961 - -370. Is p a composite number?
True
Let p(r) = r + 65. Let l be p(0). Suppose 8*z = 9*z. Suppose h - l = -z*h. Is h a prime number?
False
Let o be (-3 - -2) + 2262/(-3). Let d = -538 - o. Is d composite?
True
Let z = 54252 - 30395. Is z a prime number?
True
Let h(p) = -2*p - 9. Let f be h(-7). Suppose -3*s + 5*d - d + 4209 = 0, 5*s - 6980 = -f*d. Suppose 3*c + 1415 = 3*y + c, -2*c = 3*y - s. Is y a prime number?
False
Let o = 14739 + -5462. Is o a composite number?
False
Suppose -213166 = -2*y + 38364. Is y prime?
False
Let m(v) = -975*v + 9. Let l be m(-4). Is l/27 + (-4)/(-18) a prime number?
False
Suppose -7*y + 3*y = -101356. Is y a prime number?
True
Suppose -5*d - 4*b = 659909, d = -b - 0*b - 131981. Let o = 473 + -668. Is 2/13 + d/o a prime number?
True
Is 7/14*-12 + 8273 composite?
True
Is 76803/3 - 32/((-52)/13) prime?
True
Let v = 48 + -19. Suppose -v*w = -26*w. Suppose -3*b - k + 427 = 0, -2*b + w*k + 290 = -2*k. Is b prime?
False
Let m be -3*4/4*-7. Suppose 2*r = 97 + m. Is r composite?
False
Is ((-96)/(-9) + -9)*1437 a prime number?
False
Let h(w) = -w**2 - 7*w + 16. Let f be h(-8). Let l(x) = x - 1. Is l(f) composite?
False
Suppose 3*j + 2*h + h = 6, -j + 3*h = -10. Is 27626/18 + j/18 composite?
True
Suppose -2*x - 5*g = -8818, x - 2*g - 1115 = 3276. Is x a prime number?
False
Let j(r) = -227*r + 47. Let o be j(-9). Suppose o = -3*