2. Let s be h(3). Let o = m - s. Is o composite?
False
Let o(b) be the third derivative of 5*b**4/3 + 13*b**3/6 - 2*b**2. Is o(14) a prime number?
False
Let t = -2374 + 892. Let i = 2473 + t. Is i a composite number?
False
Is 36/66 + -1033*699/(-11) prime?
False
Let s(p) = 6*p**2 + 17*p - 21. Let t(k) = 13*k**2 + 35*k - 43. Let x(u) = 9*s(u) - 4*t(u). Is x(-10) composite?
False
Suppose 4*h + 0*h = 128. Suppose -4*i - 5 + 1 = 4*w, 4*i - h = 5*w. Suppose 4*z - i*z = 97. Is z prime?
True
Let c(g) = -33*g**3 - 4*g**2 - 4*g - 3. Let o = -23 + 21. Let z = 0 + o. Is c(z) a prime number?
False
Let m = 1255 + -3538. Let b = -1376 - m. Is b prime?
True
Let d = -491 - -1378. Suppose -w + d = 78. Is w a prime number?
True
Let d = 2429 + 10604. Is d a prime number?
True
Let f = -364 + 1122. Is f prime?
False
Let p(h) = -h - 4. Suppose -3*x + 2*i - 10 = -2*i, 3*x - 5*i + 11 = 0. Let j be p(x). Let s(y) = -8*y**3 - 2*y**2 - 4*y - 2. Is s(j) composite?
True
Let a = 924 + 497. Suppose 2*k + 3*h = a, -4*k + h + 0*h + 2835 = 0. Is k prime?
True
Is (-725)/(-225) - (-2)/(-9) - -101938 a composite number?
True
Let z = 37 + -30. Is 94/(2 - 12/z) a prime number?
False
Suppose 0 = 4*y + 2*t - 12182, -4*y - y + 15235 = -5*t. Is y composite?
True
Let w(q) be the first derivative of q**3 - q**2/2 - 2*q - 4. Let v be w(5). Suppose -2*d - v = -490. Is d a prime number?
True
Suppose 0 = 4*l + 51 - 1155. Suppose 150 = 2*o - 5*n, 0*o - 4*o + l = -4*n. Is o a composite number?
True
Let c(t) = -11*t + 487. Let n be c(44). Suppose -2*o - 1038 = -4636. Suppose 0*u = -5*m + n*u + o, u = m - 359. Is m composite?
True
Let n(j) = 739*j + 25. Is n(34) a prime number?
False
Suppose -4*t + 5*t - 4843 = 0. Is t prime?
False
Suppose -3*n + 43405 + 36828 = -4*v, 5*v = 10. Is n composite?
True
Suppose b + 121 = 2*l - 7*l, -2*l = -b + 47. Let c = l - -28. Is c composite?
True
Let k = 47651 - 15480. Is k prime?
False
Suppose 0 - 42 = -2*b. Let d(t) = 53*t + 50. Is d(b) prime?
True
Is 16/40 + (117452/(-10))/(-2) prime?
False
Let m(i) = 3103*i + 437. Is m(14) prime?
False
Is 1/((28/(-11585))/(-4)) a composite number?
True
Let n(a) = a - 38. Let o be n(-24). Let j(i) = i + 5. Let y be j(-8). Let p = y - o. Is p a prime number?
True
Is (5254/3)/((-138)/(-207)) prime?
False
Let r(a) = 502*a - 725. Is r(9) a prime number?
True
Let w(x) = -45*x + 8. Let j(n) = 90*n - 17. Let b(z) = 6*j(z) + 11*w(z). Is b(5) prime?
True
Let r(t) = 30*t**2 + 2*t + 1. Let c be r(-1). Let g = c - 17. Is (-8)/g + (-113)/(-3) a prime number?
True
Is (-3 + 1165)/7*596/8 a composite number?
True
Suppose 79*f - 84*f + 3*k = -108623, -4*f + 4*k + 86892 = 0. Is f prime?
True
Let i be (-3)/((-3)/(-1)) - -35. Let a = 80 - i. Is a a prime number?
False
Let d(f) = -54*f - 13. Let z(q) = 53*q + 13. Let h(r) = -2*d(r) - 3*z(r). Is h(-4) prime?
True
Is 4/(-5) + (-615499)/(-355) composite?
False
Is (4/(-11 + -1))/(1/(-5331)) a prime number?
True
Let o be (1/1)/((-2)/(-34)). Let f(w) = 20*w**3 + 17*w**2 - 17*w + 2014. Let x(h) = -7*h**3 - 6*h**2 + 6*h - 671. Let n(v) = o*x(v) + 6*f(v). Is n(0) composite?
False
Let f(i) = 4 - 72*i + 0 - 21. Is f(-9) composite?
False
Is (6 + 21357/(-9))/(-3) a prime number?
False
Let s(t) = -t**2 + 15*t - 15. Let d be s(14). Let g = d - 3. Is (-1)/g - (-451)/4 a composite number?
False
Suppose 3 + 1 = 2*w. Suppose 0 = 4*x - 7*x - 5*a + 1296, 0 = -4*x - w*a + 1714. Is x prime?
False
Let i be 206/(-14) + (-6)/21. Let z(r) = r**2 + 6*r - 2. Let g be z(4). Let d = i + g. Is d composite?
False
Let i(z) = -z**2 - 18*z - 37. Let h be i(-15). Suppose -h*d + 4*d = -1628. Is d prime?
False
Suppose -14*k + 13*k = -40085. Is k a prime number?
False
Suppose 5*o + 3 = 33. Suppose o*l = -5*l + 29227. Is l composite?
False
Suppose 0 = -3*h - 2 - 19. Let c(s) = -3*s**3 - 3*s**2 + 4*s - 10. Let l be c(h). Suppose -l = -0*t - 4*t. Is t prime?
True
Let t = 805 - 115. Suppose p - 7*p + t = 0. Is p a prime number?
False
Suppose 25*v - 13464 = 76261. Is v composite?
True
Suppose 0 = -8*w + 10*w - 574. Is w a composite number?
True
Is -8 - (-2 - 3) - (2 - 2184) composite?
False
Let l = 19 - 19. Suppose l = -0*y + 2*y - 130. Suppose 0 = -d + 2*d - y. Is d a composite number?
True
Let q(r) = -r + 13. Let l be q(9). Suppose -l*z + 1764 + 224 = 0. Is z a prime number?
False
Suppose 0 = -3*l - 4*m + 688, 4*l - 814 - 140 = 2*m. Is (-19)/((4/l)/(-1)) composite?
True
Let m be ((-4)/5)/((-8)/40). Let n be 566/((-4)/m + 3). Suppose 9*x = 4*w + 4*x - 1182, n = w + 5*x. Is w prime?
True
Is -3 + (333630/35 - 2/7) a composite number?
True
Is (-6)/4*16566/(-99) composite?
False
Let o(q) = -285*q - 1522. Is o(-75) a composite number?
False
Suppose 447 + 478 = 5*t. Suppose 2*o = w + t, 4*o - 4*w = -196 + 564. Is o prime?
False
Let l be 4/(-4)*1*0. Suppose -u = -4*q + 745 + 429, -4*q + 3*u + 1178 = l. Is q a prime number?
True
Suppose 0 = -4*d + 12, y + 4*d - 24 = -y. Let o(t) = 215*t - 5. Is o(y) composite?
True
Suppose 4*l = -5*c + 18, 4 = l + 2*l - c. Suppose 6 = l*d - 2*f, -d + f = 3*d. Is (-1 - 0)/d + 126 prime?
True
Suppose g + 4 = 6. Let v = 5 - g. Is v/(-6) - 174/(-4) prime?
True
Let b(o) = -o**2 + 9. Let z be b(5). Let s = z + 14. Is 14238/6*s/(-6) prime?
False
Let l(a) = a + 5. Let s be l(-3). Suppose -5*b = -b - 16. Suppose -12 = -3*i + i - 3*d, -s*d = -b. Is i composite?
False
Let v(g) = -9 + 5*g - 1 - 1 + 28*g. Is v(6) a prime number?
False
Is (-82846)/(-3) - (-75)/45 - 6 a composite number?
False
Let n(v) = 12*v**3 - v**2 + 7*v - 21. Is n(9) prime?
False
Let v(d) = -3*d**3 + d**2. Let r be v(-1). Suppose -r*t = -5*t + 191. Is t composite?
False
Suppose -2*f = 3*d - 5*d, 18 = -4*d - 2*f. Let s be 6 - (d + (-12)/(-3)). Suppose -5*x - s*i + 8000 = 0, -5*x + 7173 = -4*i - 800. Is x a prime number?
True
Suppose -13*c - 11 = -2*c. Is c + 156123/63 + (-2)/14 a composite number?
False
Let b = 8 + -5. Suppose 4*a + b*n = -81, n - 87 = 3*a - 2*n. Is (8/a)/(1/(-1611)) composite?
True
Let y(o) = 5*o**2 - 13*o - 7. Let d be y(7). Suppose d = 5*k - 5358. Is k a prime number?
False
Let d = 12092 - -16785. Is d prime?
False
Let i(c) = -c**2 + 35*c - 83. Is i(30) a composite number?
False
Suppose -7*g = -5*g - 4*w - 2446, 0 = -3*g - 4*w + 3649. Is g a composite number?
True
Suppose 5*l - 3 = 7. Is ((-1)/l)/((-1)/894) a prime number?
False
Let q(f) = 252*f - 125. Is q(10) a prime number?
False
Suppose 4*q + 25 + 11 = 0. Let o = 23 + q. Is o prime?
False
Let w = 1970 + -1348. Is w composite?
True
Suppose -342 = -6*c + 6174. Suppose -2223 = -5*d - h, 1327 = 3*d - 0*h + 4*h. Let f = c - d. Is f prime?
True
Let p be -4 + (-46 + 1)/(-5). Suppose -p*d + 5*w = -230, 0 = d + 2*w - 29 - 29. Let s = -13 + d. Is s a composite number?
False
Let n(i) = 1304*i - 119. Is n(12) a composite number?
True
Let n = -10 + 12. Suppose 4*o - 3*f = 10, -n*f = -f - 2. Suppose -r + 1 = -o, -4*h + 1526 = 2*r. Is h a composite number?
False
Let d(a) = 29*a**2 - 2*a - 10. Let g be d(7). Suppose 162 = w - g. Is w a prime number?
True
Suppose -14*h + 1170 + 5368 = 0. Is h composite?
False
Let p(o) = 103*o**2 - 2*o - 1. Let j be p(-3). Let t = -537 + j. Is t prime?
False
Let y = 9 + -7. Suppose y*g + 0*d + 2*d = 4, -2*g = -4*d - 10. Is (-2)/g + 14100/36 prime?
False
Let g be 585/81 + (-4)/18. Suppose -2*t - 2 = 0, g*s - 2*t - 447 = 2*s. Is s composite?
False
Let i(m) be the first derivative of -m**5/20 - 5*m**3/6 + 3*m**2/2 + m + 5. Let c(s) be the first derivative of i(s). Is c(-6) composite?
True
Let q(o) = 555*o**2 - 16*o + 115. Is q(6) composite?
True
Let u(w) = 4140*w + 227. Is u(9) a composite number?
True
Let o(i) = -5*i + 86. Let s be o(17). Is 1151*s*(7 - (8 - 2)) composite?
False
Let g be ((10 - -2) + -4)/(-1). Let c(m) = -m**2 - 5*m + 1. Let r be c(-5). Is (-554)/g + r/(-4) a prime number?
False
Let b = 1190 + 1575. Suppose 0*v + 4*s + b = 5*v, 3*s - 2765 = -5*v. Is v a prime number?
False
Let f(o) = -10*o**3 - 8*o - 13. Is f(-4) a composite number?
False
Is 1 - (1 - -1) - (-1876)/2 composite?
False
Suppose 0 = -4*t - 0*t - 3*r + 2819, 0 = -4*t + r + 2799. Let k = t - 192. Is k a composite number?
False
Let m(x) be the second derivative of -47*x**3 - 13*x**2/2 - 24*x. Is m(-5) a prime number?
False
Let g = 36 - -349. Suppose 0*t = -5*t + g. Is t a prime number?
Fals