et l(x) = -71*x**3 + 2*x + 1. Let j be l(-1). Let u(c) = 16*c**2 + 190*c - 26. Let m be u(-12). Is (131/(-2))/((-145)/j - m) a composite number?
True
Let d be (-2 + 12/8)*-10. Suppose 0*j = -j - d*u - 4895, 0 = j + u + 4875. Let z = -3209 - j. Is z prime?
False
Let s = -1468470 + 2584907. Is s a prime number?
False
Let x(m) = 2*m**2 - m - 3. Let y be x(2). Let s(a) = 6 - y - 14*a - 28. Is s(-12) a composite number?
True
Let f = -53591 - -99984. Is f prime?
False
Let i(z) be the first derivative of 2438*z**2 + z + 48. Is i(2) composite?
True
Let i = -2961 + 5734. Let d = 9126 - i. Is d a prime number?
True
Suppose -23*m - 1345288 + 4040819 = 0. Is m prime?
False
Let k be (6/12)/((-2)/(-8)). Suppose -21*w + k = -23*w. Is (-1338)/w*(11/(-2))/(-11) composite?
True
Let f(d) = 2526*d + 13. Suppose -156*p = -161*p + 5. Is f(p) a composite number?
False
Let k = -163 + 156. Let m(t) = -10*t**3 + 10*t**2 - 7*t - 66. Is m(k) prime?
False
Suppose -5*y + 2*d = -5, y - 4*y + 5*d = -22. Is 5919/y*(-2)/3 a prime number?
False
Let o = 3027 - 2126. Let y = 1705 - o. Suppose 2*b + y = 2*c, -2*b = -3*c + 4*c - 387. Is c a composite number?
False
Is ((-4)/(-16)*77929)/((-94)/(-376)) a composite number?
False
Let q(a) = -a**3 + 11 + 2*a - 1 + 2*a. Let i be q(6). Let l = i + 291. Is l prime?
True
Let w = 220884 - 128093. Is w a composite number?
False
Suppose -4*j + 699946 = -2*y, -62*y + 61*y = -4*j + 699951. Is j a prime number?
True
Let b be ((-3)/(-6))/((-2)/4) - -60. Let t = b - 55. Let k(z) = 7*z**3 + 8*z**2 - 2*z + 13. Is k(t) prime?
False
Let h(m) = 16*m**3 - 9*m**2 - 12*m + 95. Let u be h(6). Suppose -4*x + u = 567. Is x composite?
False
Let v(z) = -1610*z - 8783. Is v(-18) prime?
False
Let h(o) = 142*o**3 + o**2 + o - 3. Let d be 2/10 + (-3 - 2088/40). Let r = d + 57. Is h(r) prime?
False
Let a = -2645 - -4272. Let j = a + 946. Is j prime?
False
Let n(l) = l + 1. Let t(y) = 1160*y**2 + 9*y - 4. Let p(s) = 5*n(s) + t(s). Is p(3) a composite number?
True
Let i = 27148 - -109969. Is i a prime number?
True
Suppose t - 3187 = -2*n + 405, 2*n = -10. Is t prime?
False
Let d(s) be the third derivative of -127/24*s**4 + 10*s**2 + 0*s + 34/3*s**3 + 0. Is d(-21) a composite number?
True
Is 6/48 - (-2161255)/8 a prime number?
True
Let x(c) = 92741*c**2 - 504*c + 1007. Is x(2) composite?
True
Let d = -88619 - -423058. Is d a prime number?
False
Let w = -429 + 1905. Suppose -3*h + a + w = 0, 2*a + 1 = -5. Is h a composite number?
False
Let y(l) = -l**2 + 3*l + 12. Let v be y(5). Suppose -2*a = 2*j + v*a - 34, 4*j = -3*a + 48. Suppose -13*w + j*w = -844. Is w prime?
True
Suppose 8*s = -42 + 66. Is s/(21/28) - -333 a prime number?
True
Let d = -31 - -35. Suppose -d*i + 13 = 1. Suppose -2*p = -i*l + 1883, l - 4*p + 1266 = 3*l. Is l composite?
True
Suppose -2*j = 5*i - 15819, -3*j = -5*i + 4*i + 3157. Suppose 0 = -6*w - i - 2285. Let t = w + 3091. Is t a composite number?
True
Suppose 3*u - 2037058 = -4*w, 11*u + 4*u - 30 = 0. Is w a prime number?
True
Let w(z) = 38*z**2 + 2*z - 4. Let h(d) = -115*d**2 - 5*d + 11. Let r(y) = -3*h(y) - 8*w(y). Is r(-3) a prime number?
False
Let z = 404 + 384. Let g = z - 415. Let d = 584 - g. Is d composite?
False
Let v(n) = 560*n - 341. Is v(36) composite?
False
Let c = 19601 + 14820. Is c prime?
True
Is -15 - (-170)/17 - 6*-1123 a composite number?
False
Let q(j) = -j**3 + 5*j**2 + 10. Let d be q(5). Is 1359 - ((-8)/d)/(1/5) a prime number?
False
Let s(y) = y**3 + 67*y**2 + 36*y + 10. Let h be s(-33). Suppose 21*x - 29*x = -h. Is x prime?
True
Let a(z) = 15*z - 8. Suppose -5*p + 2*u - 3*u - 41 = 0, 5*u = -2*p - 21. Let l be a(p). Let c = -1 - l. Is c prime?
True
Suppose -p = -2*p - 3001. Suppose 3*w + 6098 = 6*z - 2*z, -2*w - z = 4069. Let h = w - p. Is h composite?
False
Let b = 386409 - 275418. Is b composite?
True
Let q = -281 - -284. Is (-17206)/q*63/(-42) a composite number?
True
Let h = -45 + 81. Let z = h - 28. Suppose z = 4*u, -213 = -p + u - 76. Is p a prime number?
True
Let f = 359 - 356. Suppose -l - 5201 = -f*p, -5*p + 9*l - 4*l = -8675. Is p composite?
False
Let l(v) be the third derivative of 1661*v**4/24 + 13*v**3/3 - 17*v**2. Let b be l(6). Is b/16 - (45/6)/(-5) prime?
False
Suppose 51*i - 32570839 = 21913430. Is i composite?
True
Let z(m) = 55*m**2 - 8*m + 3. Let y(d) = -d**3 + 2*d**2 - 4*d + 2. Let q be y(2). Let x be z(q). Is 0 - (-5)/(15/x) prime?
True
Suppose -6279478 = -82*f - 0*f. Is f a prime number?
True
Let f(m) = -64*m - 77. Let d be f(-17). Let t = d - 382. Is t a composite number?
True
Suppose -2*d + 52 = -6*d. Suppose -734 = -81*z - 22037. Is z/3*78/d a composite number?
True
Suppose -23*h = 2805626 - 2755771 - 10472144. Is h prime?
True
Let k(p) = -p**3 + 7*p**2 + 2*p - 5. Let w be k(7). Suppose -89304 = -w*z + 25815. Is z a prime number?
True
Let s be (-2 - 9) + 2 - -1. Let a(r) = 3*r**3 - 14*r**2 + 6*r - 11. Let q(b) = 4*b**3 - 15*b**2 + 5*b - 10. Let k(p) = -5*a(p) + 4*q(p). Is k(s) prime?
True
Let j(b) = -325*b - 131 + 177 - 118. Is j(-7) prime?
True
Suppose -42446545 = 104*q - 409*q. Is q a composite number?
False
Let h(q) be the second derivative of q**3/6 - 13*q**2/2 + 14*q. Let x be h(18). Suppose 3*u - 8103 = 3*k, 0*k = x*u - 2*k - 13517. Is u prime?
False
Suppose -2*r + 762*s = 763*s - 1150165, 3*r - 5*s - 1725254 = 0. Is r prime?
False
Let b = -29 - -33. Suppose 7*d = b*d + 519. Suppose -3*y + 73 = -d. Is y composite?
True
Is -1 + ((-2463)/(-6))/((-20)/(-480)) a composite number?
False
Let n be 20/(-8)*-3*(-2)/(-5). Suppose -4*d + 41928 = h + n*h, 41901 = 4*d - 5*h. Suppose -6*m = -9*m + d. Is m prime?
False
Let f = 46 - 43. Suppose 4*p + 8432 = -f*w, -3*p + 14100 = -5*w + 2*p. Is -1 - w - (-3 + 3) composite?
True
Let w(q) = -32*q**2 - 7*q + 61. Let p be w(-11). Let c = -2529 - p. Is c a prime number?
False
Let d(t) = -85 + 29*t**2 + 3*t**3 - 4*t**3 - 2996*t + 3003*t. Is d(14) a composite number?
False
Let z(j) = 1691*j + 253. Is z(96) a prime number?
False
Is (-18)/(-441)*(-3 - -10) - 802014/(-14) composite?
False
Let y = 140660 - -66029. Is y prime?
False
Let q = -269907 + 142044. Is 8 + (-13)/(39/q) prime?
False
Suppose 15 = 5*m, 29233 = 4*k + 5*m + 9802. Suppose -3*a + 0*a - 6 = 0, t + a = k. Let i = t - 2575. Is i prime?
True
Let s = -291 - 423. Let g = s - -2221. Is g prime?
False
Let s be 16/(-6)*126/(-12). Is (2/3)/(s/38094) a prime number?
True
Let n be (3 + 2 - 3) + -2. Suppose n = 6*w + 81 + 15. Is 0*4/w + 583 prime?
False
Let x = 388 - 253. Let s = 141 - x. Suppose -17*r + s*r = -21439. Is r a composite number?
False
Let z be (-3)/(6/80) - (-2 + 0). Let g = 34 + z. Is 3 + g + -2 - -638 a prime number?
False
Suppose 0 = 2*m - 6, -b + 2*b = -5*m - 602. Suppose 522*i + 6402 = 3*v + 525*i, -4*v - 2*i + 8548 = 0. Let k = v + b. Is k prime?
True
Let y be 5/(1 + 0) - 12951/(-3). Let r = y + 75. Is r composite?
False
Suppose 8*c - 17533063 + 1383359 = 0. Is c a prime number?
True
Let a(c) = c**3 + 7*c**2 + 13*c + 12. Let m(n) = -n**2 - 6*n - 5. Let w be m(0). Let h be a(w). Let i(s) = -163*s - 4. Is i(h) prime?
False
Let i be ((-5)/10)/((-15)/12 + 1). Is 2*(31246/4 + i) a composite number?
True
Let a be ((-6)/(-10))/((-14)/(-13580)). Suppose 2*i - 3*c - 224 = a, -3*i + 1247 = 5*c. Is i composite?
False
Suppose 28*b = 10560 + 124260. Let j = 6892 + b. Is j a prime number?
False
Suppose -a - 6*j = -7*j + 1, -3*a = -j + 5. Is (18975/(-30) + 8)/(a/12) composite?
True
Let j(k) = 5*k**2 + 16*k - 8. Let w be j(-4). Suppose w*y - 7707 = 5*y. Is y prime?
False
Suppose 0 = -15*j + 67058 - 20343 + 104770. Is j a prime number?
True
Let x = -123068 + 222711. Is x composite?
False
Suppose -1 - 54 = -11*a. Suppose -23 = -2*m - a. Suppose -m*z + 1496 = -z. Is z a prime number?
False
Let n(i) = 31*i + 149. Let s be n(-22). Let f = s - -1168. Is f a composite number?
True
Suppose 0 = 3*k + 135 - 360. Let n = k - -674. Suppose -7*o + 140 = -n. Is o prime?
True
Suppose 2*v + 6 = 0, h + 2*v + 36 = 3*h. Suppose 0 = -6*o + o + h. Suppose -o*l + 2*p + 2713 = 0, -2 + 22 = 5*p. Is l a composite number?
False
Let q be (-3)/1*25/(-15). Suppose 5*u - 25090 = 5*g, q*u - 9288 - 15811 = 2*g. Is u a prime number?
True
Let o(x) be the first derivative of -x**4/2 + 4*x**3/3 + 2*x**2 + 11189*x + 173. Is o(0) a prime number?
