False
Let j(l) be the first derivative of l**5/4 - l**4/8 - 17*l**3/6 + 9*l**2 - 3. Let d(b) be the second derivative of j(b). Is d(-6) composite?
False
Suppose -4*w + 168 = -20. Suppose 0 = -4*m - 51 + w. Is 0 + (m - -1112) + 4 a prime number?
False
Let p(u) = 831*u + 343. Is p(26) a prime number?
False
Let z(a) = -9*a**3 - 30*a**2 + 107*a - 21. Is z(-31) prime?
True
Let c be ((-3)/(-2))/(42/(-28)) + 208334. Suppose 5*i + 4*f - c = 0, -125013 = -3*i - f + 3*f. Is i composite?
False
Let s be ((-32)/(-32))/((-1)/(-17)). Suppose -31*i + s*i = -456442. Is i composite?
False
Let l = 812027 - 413790. Is l a prime number?
False
Let f(d) = 55*d**2 - 10*d - 5. Let b be f(-6). Let v = b - 832. Is v a prime number?
False
Let v be -4 + 6 + 2 + 0. Suppose -4 - v = -4*w. Suppose -4*j + 1332 = 4*r, -w*j = -5*r + j + 1697. Is r a prime number?
True
Let g = 225453 - 129974. Is g prime?
True
Let s(p) = 2400*p**2 + 17*p - 3. Let l be s(4). Suppose -7195 - l = -20*v. Is v composite?
True
Is 18193 + 12 + (0 - 6) composite?
False
Let h(p) = 18*p**2 - p + 234. Let n be h(-13). Suppose -2*c + n = -3*t, 0 = -5*t - 5. Is c prime?
False
Let s = -17103 + 68722. Is s a prime number?
False
Let q(u) = -26*u - 159. Let b be q(-7). Is -661*b/3*-3 a prime number?
False
Suppose 12*f = -2*x + 17*f + 826116, -2*x + 826114 = -4*f. Is x a composite number?
False
Suppose 0 = 4*y - 2*y - 6. Suppose -2*d + 4*d - 6377 = 5*f, -5*d - y*f = -15865. Suppose 8*v - d = 80. Is v composite?
True
Suppose -125*s + 121*s + 883024 = 5*q, 0 = 2*s + 4*q - 441518. Is s a composite number?
True
Suppose -19 + 11 = -4*w. Suppose -k - 37036 = 5*h, 9998 = -w*h - k - 4817. Is h/6*(-30)/9 a prime number?
False
Suppose 1587649 = 12*o + 37*o. Is o a prime number?
True
Let n(y) = 521*y**2 - 3*y + 449. Is n(27) prime?
False
Suppose 0 = 2*k - 3*g - 170895 - 60756, -4*g + 579185 = 5*k. Is k a prime number?
False
Let t(w) = -2*w + 2. Let u be t(-17). Let c = u + -31. Suppose -c*v + 2*y = -3593, -3*v - y + 7 = -2151. Is v a composite number?
False
Suppose 6*v = 79 + 113. Let t be (v/(-3))/((-8)/276). Let a = 119 + t. Is a a composite number?
False
Is 116158 + 1 - (-40 - -41 - -9) a prime number?
False
Is (-57)/(-95) - 9/(90/(-1739324)) a prime number?
True
Let d(y) = -20*y + 2997. Let t be d(0). Suppose 0 = 5*a - 2*a - 18. Suppose -t = -a*p + 12477. Is p composite?
False
Suppose 3*p = -34070 + 152939. Let j = p - 27552. Is j a prime number?
True
Suppose 59*k - 64*k = 3*d - 63543, -3*k = -2*d + 42362. Is d a prime number?
False
Let g(w) = 5*w**2 - 53*w + 25. Let m be g(24). Let a = 165 - 163. Suppose -m = -a*j + 925. Is j a prime number?
True
Suppose -4*m + 105 = 89. Suppose m*q - 8*q + 27011 = 5*p, -p = 5*q - 5398. Is p composite?
True
Let h be (-4)/(-26) + 171/(-13). Is (h/(455/(-3514)))/(2/185) a prime number?
False
Let d(m) = 11168*m**2 - 26*m + 5. Is d(-2) a prime number?
True
Let t(i) be the third derivative of 181*i**4/6 + 41*i**3/6 - i**2 - 58. Is t(14) a prime number?
True
Let u(q) = 265*q**3 + 2*q**2 - 3*q. Let m be u(2). Suppose -m + 826 = 4*r. Let b = 791 - r. Is b a composite number?
True
Let o = 17651 + -11245. Suppose -33*k + 31*k = -o. Is k a prime number?
True
Suppose -v - 2*j + 3*j + 493 = 0, 3*v + 3*j = 1497. Let r = v - 197. Is r a prime number?
False
Suppose 0 = 7*j - 368671 + 35947. Suppose -19*q + 6542 = -j. Is q prime?
False
Let q be (-6 - (-6)/2) + 14 - 0. Suppose 9 = 5*x - q. Suppose -3*b = -2*y - 124, -x*b - 3*y + 6*y = -167. Is b a prime number?
False
Suppose -71*t - 121*t = -229*t + 1291781. Is t a prime number?
True
Is (-2)/5*(-747180 + 215) prime?
False
Suppose 0 = 28*a - 778034 - 1098890. Is a prime?
True
Let j = 59161 - 38732. Is j a composite number?
True
Is (-25 - -24)*(2 - 233665) a composite number?
False
Let f(i) = i**2 - 21*i - 33. Let l be (2/8)/((-5)/460). Is f(l) prime?
False
Is 1434/(-1195) - (-2466841)/5 a prime number?
False
Let g be 3402/(-306) - (-5)/((-255)/(-6)). Let o(q) = 88*q**2 - 8*q - 99. Is o(g) a prime number?
False
Let f(k) be the second derivative of k**4/3 + 17*k**3/6 + k**2/2 + 7*k. Let s = -43 - -31. Is f(s) a prime number?
True
Suppose z - 2 = 1. Let r be ((1*-12)/z)/(-1). Suppose -3*t - 349 = -x + 204, -r*x + 2212 = -t. Is x prime?
False
Let l = -514106 - -813913. Is l a prime number?
True
Suppose 180900 = 13*c - 3*c. Let a = -12097 + c. Is a composite?
True
Let m(d) = 40*d**2 + 28*d + 13. Let j(c) = c**2 - c - 4. Let a(y) = -5*j(y) + m(y). Is a(-17) a composite number?
False
Let v = -37 + 35. Let t be v*(8001/(-6))/1. Suppose d = 4*d - t. Is d prime?
False
Suppose 4*b - 5595509 = 6*x - 5*x, 3*x + 2797757 = 2*b. Is b a composite number?
True
Suppose -2*j = -14907 - 8937. Let h = j - 8343. Is h a prime number?
False
Suppose v + 4630 = -s + 20385, v - 3*s = 15735. Suppose 7*h - v = -5159. Is h a composite number?
True
Suppose 4*p - 4 - 44 = 4*m, 2*m = p - 10. Suppose 0 = -p*n + 63951 - 5137. Is n prime?
True
Let h(u) be the first derivative of u**4 - 26*u**3/3 - 7*u**2/2 + 48*u - 48. Let y(f) be the first derivative of h(f). Is y(7) a composite number?
True
Suppose -10*l + 1684473 = 247193. Suppose 23*a - 7*a = l. Is a composite?
True
Suppose 0 = 4*l + 2*z - 16, l = 2*l + 5*z + 14. Let f be 2/3*l/(-4) - -2. Is 2 - ((-73)/f - (-2)/(-1)) a prime number?
False
Let u = -28 - -49. Suppose -2*w - 3*t + 43861 = 0, -u*w + 16*w - 5*t = -109640. Is w composite?
True
Let h(k) = -4*k**2 - 3*k**2 - 5*k**2 + 65 + 10*k + 16*k**2. Is h(22) composite?
False
Let h(y) = 25050*y + 355. Let i(a) = -5010*a - 71. Let p(b) = -2*h(b) - 11*i(b). Is p(3) a prime number?
True
Let f(h) = -88*h**2 - 83*h**2 - 63 + h + 182*h**2. Is f(10) a composite number?
True
Suppose -12*n + 40 = 40. Suppose n = 4*j + 8*j - 12072. Is j composite?
True
Let x(b) = -18*b**2 + 1. Let m be x(-1). Let t = 22 + m. Suppose 943 = t*g - 2002. Is g a composite number?
True
Suppose -6*w + 64 + 368 = 0. Suppose 3*s - i = -4*i + 48, 0 = 3*s - 5*i - w. Suppose -16*p - 1689 = -s*p. Is p a composite number?
False
Let d(k) be the third derivative of k**6/30 - k**5/10 - 5*k**4/4 + 13*k**3/6 - 62*k**2. Is d(9) a composite number?
True
Let r be (-12)/(-4 - -7) - -4. Suppose -10*q + 5*q + 8295 = r. Let a = q - 430. Is a a prime number?
True
Let t(f) = -87*f**3 - 3*f**2 - 23*f - 84. Is t(-5) prime?
True
Suppose -n + 10 = 2*o, -2*n + 29 = 3*o - 2*o. Let l(q) = q**2 + 26*q - 68. Let k be l(-28). Is (2*-237)/(k/n) - 1 prime?
True
Suppose 0*v + 8*v = -v + 471654. Is v prime?
False
Let j = -64 + 67. Suppose 3*y - 4*y = c, 4 = -y + j*c. Is 1*y/(2/(-2518)) prime?
True
Let f(y) = 2*y**3 - 5*y**2 + y - 4. Let p(d) be the third derivative of -d**4/24 + d**3 - 2*d**2. Let r be p(0). Is f(r) prime?
False
Let c(q) = 394*q - 35. Let b be (-7 + 10)*(-5)/(-1). Let t be c(b). Suppose -3920 = -5*v + 3*v + 2*s, -3*v + t = 2*s. Is v prime?
False
Is (7/(-2))/(-1) + (-9)/(90/(-485915)) a composite number?
True
Let c(s) = 20*s - 26. Let l be c(4). Let y be (80772/27)/2 + 12/l. Suppose 98 = -3*a + y. Is a a prime number?
False
Suppose -5*l = g - 314, -2*l - 2*l + 4*g + 232 = 0. Let d = -65 + l. Let y(v) = 572*v**2 - 5*v - 8. Is y(d) composite?
True
Let c(o) = -140*o**2 + 36*o + 23. Let z be c(11). Let v = z - -27050. Is v a composite number?
False
Suppose 2*l = -4*n + 2055702, -4*l + 1205*n = 1203*n - 4111454. Is l a composite number?
True
Is -5 + 9 + 97295*3 a composite number?
True
Let p be ((-1)/3)/((-1)/3). Let l(h) = -6 - 39*h - p - 43*h. Is l(-2) composite?
False
Suppose 0 = 33*d - 30*d - 63. Is 1586/3 + d/63 a composite number?
True
Suppose -y - 4*x = -1207850, 5*y + 100*x - 97*x - 6039352 = 0. Is y prime?
False
Let p = -1148 - -1635. Let x(d) = -3*d - 13. Let j be x(-5). Suppose p = j*w + 171. Is w composite?
True
Let v(c) = -c**2 + 16*c + 77. Let z be v(21). Is (35/z)/(-2 - (-18967)/9484) a composite number?
True
Let d(n) = -13*n + 5. Let k be d(0). Suppose -k*p + 847 = -5*h + 3307, -4*p = 20. Is h prime?
True
Let a = -2009 + -3651. Let k = 87 - a. Is k a composite number?
True
Let o = 329278 - 229313. Is o prime?
False
Let n(t) = t**2 + 9*t - 1817. Is n(143) composite?
False
Suppose 335*r - 430*r - 1446490 = -29296215. Is r a prime number?
False
Suppose -5*n + 5 = -p + 4, 5*p - 43 = n. Is (807/p)/(16/240) composite?
True
Let h be 