 20. Let k(b) = 629*b**3 + b**2 - 9*b + 13. Let p(h) = 5*f(h) - 7*k(h). Is p(2) prime?
True
Let i(v) = v**3 - 32*v**2 + 36*v - 65. Is i(38) prime?
True
Suppose 4*n - 4*c - 16 = 0, 2 = 5*n - 5*c + 9*c. Suppose 0 = n*w - 10, -2*b + 3529 = -w - 4*w. Is b a prime number?
True
Suppose -4*v = -20 + 12. Suppose v*h = -4*h + 7554. Is h a prime number?
True
Let c(d) = -6*d - 57. Is c(-16) a composite number?
True
Let u(c) = -c**3 + 4*c**2 - 2*c + 2. Suppose 5*b - 22 = -7. Let p be u(b). Suppose p*a - 108 - 287 = 0. Is a composite?
False
Is -3 - -8*(-3241)/(-14) a composite number?
True
Suppose 414 = 2*n + 4*c, -n = c - 215 + 7. Is n a prime number?
False
Suppose 0 = -49*x + 48*x + 1541. Is x composite?
True
Let l(d) = -d**3 + 9*d**2 + 3*d + 7. Suppose -4*c + 20 = -4. Let o = 12 - c. Is l(o) a prime number?
False
Let r = -6504 - -9707. Is r a prime number?
True
Suppose 0*l = 2*l - 24. Suppose 7*w - l = 4*w. Is 20 + w/(-4) + 2 a composite number?
True
Let q be -33*2/(-14) + 42/147. Let k(i) = -i**3 + 3*i**2 + i + 2. Let a be k(3). Suppose -q*x + 3*m + 280 = 0, 240 = 5*x - 0*x + a*m. Is x composite?
False
Let n(c) = -28*c + 2. Is n(-2) prime?
False
Let o(l) = -13*l**2 + 5*l - 10. Let k be o(-6). Is k/(10/(-5)) + 3 a prime number?
True
Let w(b) = -440*b**3 - 21*b**2 - 15*b + 40. Let x(u) = -88*u**3 - 4*u**2 - 3*u + 8. Let q(v) = 2*w(v) - 11*x(v). Is q(3) composite?
True
Suppose -d + p = 6*p - 218, -809 = -4*d + p. Suppose d = -r + 2*r. Is r a composite number?
True
Is 13059805/2727 - (-4)/(-54) prime?
True
Let d be (-10)/10*(-5)/(-2)*-10. Suppose -1345 - 9185 = -3*q. Is q/d + 6/10 prime?
False
Let r(j) be the first derivative of j**4/4 + 16*j**3/3 + 9*j**2 - 19*j - 10. Is r(-14) a composite number?
True
Is (7/(-7))/(-1*4/21884) prime?
True
Let n = -45 - -31. Let q be 24/14 - 4/n. Suppose -2276 = -q*v - 714. Is v prime?
False
Let y(b) be the first derivative of 174*b**4 + b**3/3 - b**2/2 + b + 15. Is y(1) a composite number?
True
Let s be (-43)/15 + 28/(-210). Is (-1814)/(-8) - s/(-4) prime?
False
Let i be 5/(25/(-20)) + 176. Let x be 4 + -4 - (-18 - 1). Let f = i + x. Is f a prime number?
True
Let w(d) = 376*d**2 - 11*d - 19. Let a(p) = 188*p**2 - 5*p - 9. Let i(u) = 5*a(u) - 2*w(u). Is i(-2) prime?
True
Let t(h) be the first derivative of -5 + h**2 + 3*h - 2*h**2 + 2*h**2 + 1. Is t(8) composite?
False
Let y = -18 + 20. Suppose 4*d + 3*w - 9 = 0, -2*d + 1 = y*w - 3. Suppose -3*z = -z + 4*p - 14, -5*p + 1 = -d*z. Is z prime?
True
Let n = -37 + 44. Let j(k) = -k**3 + 9*k**2 + 4*k - 8. Is j(n) prime?
False
Let z(c) = 3*c**2 - 3*c + 15. Let v be z(10). Let b = v - 149. Suppose b = 2*q + 6. Is q a composite number?
True
Let o = 2655 - -12872. Is o composite?
False
Suppose 14*b = 7*b + 24829. Is b a composite number?
False
Suppose 3*k = 4*s - 7793, 0 = -3*s - k + 8808 - 2960. Is s composite?
False
Is ((-47)/4)/((-54)/28296) prime?
False
Let q = -981 - -1514. Let w(x) = -x**2 - 5*x. Let b be w(-3). Is q/b + 2/12 composite?
False
Let q(k) = 44*k**2 - 5*k + 7. Let u be q(5). Suppose 7*d = 4*d + 57. Suppose -d*a + 21*a = u. Is a a prime number?
True
Let g(y) = 27*y**2 + y - 9. Let o be g(4). Let h = 160 + o. Is h a prime number?
True
Suppose -2*m + n = 6*n + 5, 35 = 4*m - 5*n. Suppose 2 + 3 = 4*y - m*c, -4*c - 4 = -4*y. Suppose y*f = -2*f + 94. Is f a prime number?
True
Suppose 0 = -69*m + 62*m + 50498. Is m a prime number?
False
Let x be 2*2*(6 - 5). Suppose x*q - 18 = -4*z + 10, 0 = -2*q + 4*z + 2. Suppose q*m - 182 = -2*m. Is m a composite number?
True
Let z(s) = 4*s**3 - 3*s - 25. Is z(6) a composite number?
False
Suppose -84*s = -78*s - 194802. Is s a prime number?
True
Let u = 4730 - 2716. Suppose 4028 = 4*g - k, 0 = 2*g - 2*k - 2*k - u. Is g composite?
True
Is 6 + 2 + 37378 + 5 a composite number?
True
Suppose 4*g = -2*g + 18. Is g/(-5) + (-836)/(-10) a prime number?
True
Let t(a) = -25*a - 13. Let g(x) = x + 1. Let v(b) = 6*g(b) + t(b). Let h be v(-5). Let q = -51 + h. Is q composite?
False
Let g(b) = 3*b**2 + 9*b - 8. Let l(p) = 4*p**2 + 14*p - 12. Let y(c) = 7*g(c) - 5*l(c). Is y(-11) prime?
False
Let u(c) = -502*c - 27. Is u(-8) composite?
False
Let i(c) = c**3 - 9*c**2 + 9*c - 10. Let h be i(8). Let y(a) = 39*a**2 - 2*a - 3. Is y(h) a prime number?
True
Let y be 5 - 5 - (-2 + -2409). Suppose -m + 4*u + y = 0, 5*m - u + 4481 = 16536. Is m a composite number?
False
Let z(f) = 12*f**2. Let l be z(-1). Suppose -4*i = b - 324 - 65, 0 = 3*i - l. Is b prime?
True
Suppose n - 2*z = 113, 3*n - 2*z = 286 + 49. Is n composite?
True
Let m be -3 - (0 + (-2 - 4)). Suppose 5*r - 1783 = m*h, -3*r + 3*h = -88 - 977. Is r composite?
False
Let v = 206 - 720. Let n = v + 1005. Is n a composite number?
False
Suppose -5*s - 6*c = -4*c + 4643, -5*s = -3*c + 4648. Let i = s - -2724. Is i a prime number?
False
Suppose -2953 = 3*i + 2*w, -2*w - 996 = i + w. Suppose 3*z + 15 = 0, 6*t - z + 7245 = t. Let s = i - t. Is s prime?
False
Suppose 131574 = -15*c + 21*c. Is c prime?
True
Suppose 5*l - 4*o = 25, -7*l - 5*o = -12*l + 30. Let i(c) be the second derivative of 397*c**3/6 + c. Is i(l) composite?
False
Let c = -91 + 64. Let f be (-6513)/(-27) - (-6)/c. Let n = 464 - f. Is n a prime number?
True
Let l = 1 - -37. Suppose -3*t + 4*t - l = 0. Is t a prime number?
False
Let n(x) = x**3 - 11*x**2 + 11*x - 3. Let b be n(10). Is 12/21 + 8053/b composite?
False
Suppose 17 = -2*r - 3*m + 39, 4*r = 5*m. Suppose -u + 3*c + 16 = 0, u = -2*c - 2*c - 12. Suppose -d = 3*w - 478, -r*d + u*w + 1549 = -898. Is d prime?
True
Let q(j) be the second derivative of -j**5/20 - j**4/4 + 5*j**3/2 - j**2/2 + 15*j. Is q(-12) a prime number?
False
Let x(i) = 38*i**2 - 5*i - 5. Let u be x(-2). Let f = u + -306. Is f/(-4) + (-1)/4 composite?
False
Suppose -60481 = -24*u + 5303. Is u prime?
True
Let u(k) = -78*k + 1. Let o(w) = w**2 - 9*w + 17. Let y be o(6). Is u(y) a prime number?
True
Let t(b) = -b**3 + 11*b**2 - 5*b - 7. Let p be t(7). Let r be (-3)/(-6)*p*1. Suppose 3*g + r = 4*g. Is g a composite number?
True
Let w(i) = i**3 - i**2 - 4*i. Let q be w(3). Let c(t) = -2*t + 3. Let j be c(q). Is 279/(-6)*6/j a composite number?
False
Suppose 735 = -k + 2144. Is k a prime number?
True
Let u(i) = -26*i**2 + 7*i + 5. Let j be u(-4). Let r(k) = -k**2 + 6*k + 40. Let o be r(-16). Let f = o - j. Is f a prime number?
True
Suppose -4*m + 19168 = 4*k, -5*m + 10*m = 5. Is k composite?
True
Let d(w) = 31*w**2 + w - 1. Let l be 7/5 - (-22)/(-55). Is d(l) a prime number?
True
Let q = 2814 + 2959. Is q prime?
False
Let f = -13850 - -25113. Is f a prime number?
False
Suppose 0 = 248*y - 231*y - 103921. Is y composite?
False
Let b be (8 - 3)*(-38)/5. Let p be (b/(-4))/(3/6). Suppose 2*g - p = 3*w + 219, 0 = 4*w. Is g composite?
True
Suppose 4*b - 5*y = 0, -2*b + 3*b + 3*y = 17. Let o(k) = 4*k**2 + 2 + 0 + 2*k**2 + 2 - k. Is o(b) a prime number?
True
Suppose 2*a - 1978 = -o + 5906, -11823 = -3*a - 3*o. Is a a composite number?
False
Let l(y) = -166*y + 5. Is l(-15) prime?
False
Let c be 1352/4 + 8 + -4. Suppose 206 = 3*z - r, -6*z + z = -3*r - c. Is z a prime number?
False
Is ((-175008)/128)/((-306)/(-104) + -3) composite?
True
Is (189624/(-16))/1*12/(-9) a composite number?
True
Suppose 0 = 14*k - 86*k + 286128. Is k prime?
False
Let n = 26 - 27. Let c = 3 - n. Suppose -c*q + 290 = -2*q. Is q prime?
False
Let i = -110 + 143. Is i a prime number?
False
Suppose 4*a - 9*a = 26310. Is a/(-4)*7/((-105)/(-10)) composite?
False
Let x = -10394 - -15097. Is x composite?
False
Is (6 - 5)/((-10)/(-112390)) composite?
False
Suppose 25*f - 63335 = 195890. Is f prime?
True
Let t(s) = 246*s + 7. Let d be t(-22). Is 12/(-9) + d/(-15) a prime number?
True
Is ((-84)/70)/(3/(-10)) + 745 a composite number?
True
Let o(v) = -3*v + 4. Let n be o(-2). Is 2562/4 - (-5)/n a prime number?
True
Suppose 6*k - 26 = 10. Suppose 300 = k*c + 60. Let r = 117 - c. Is r a composite number?
True
Let k be (-1 + -103)/(2/(-9)). Suppose -5*b + 2314 = 4*p + 460, -k = -p + b. Is (-2)/(2*(-2)/p) composite?
False
Let f be (1 - -3) + -144 - 4. Suppose 89 = 2*g - 1089. Let d = f + g. Is d composite?
True
Let s(x) = 42*x**3 + x**2 - 19*x**3 - 20*x**3 + 2*x + 7. Is s(6) a prime number?
False
Suppose 3*z = -5*a + 27, -4 - 6 = -2*a - z. Let q be 2/(-2) + 6 - 0. Suppose