5/40 - 7*a**4/24 + 35*a**3/6 + 17*a**2. Let u(b) be the first derivative of w(b). Is u(-8) prime?
True
Let o = -1815 + 2119. Let c be 1118/(-2)*(2 - 3). Suppose o = n - c. Is n composite?
False
Let o(r) = r**3 + 31*r**2 + 30*r + 2. Let u be o(-30). Let z(k) = -k**2 - 7*k - 1. Let f be z(-6). Is (11 - -543) + (f - u) a composite number?
False
Let b(t) = 3*t**2 + 31*t - 273. Is b(19) composite?
False
Suppose -p = 3*p - 4*w - 64564, p - 16141 = 2*w. Is p a composite number?
False
Let f = 252627 + 773686. Is f a composite number?
False
Suppose -10*a + 4*a + 78 = 0. Let r(d) = 2*d**2 - 5*d + 50. Is r(a) prime?
False
Is 44/(-6) - -8 - ((-816388)/3)/4 a composite number?
True
Let o = -376833 + 527660. Is o composite?
False
Let r = 12 + 8. Suppose 4*o + 8 = r, -5*j - 4*o = -32. Suppose l = -w - j*l + 2344, w - 2347 = -4*l. Is w prime?
False
Suppose -13223 = -11*p + 24870. Suppose 0 = -3*k + 5246 + p. Is k prime?
True
Let t(k) = -8*k**2 - 6*k + 14. Let v be t(-6). Let l = 132 + v. Let x = l + 219. Is x prime?
True
Let b(u) = -11*u**2 - 6*u + 16. Suppose -16*q - 9 = -41. Let a(d) = -12*d**2 - 5*d + 17. Let y(g) = q*b(g) - 3*a(g). Is y(8) composite?
True
Suppose 3*x = 2*c + 19, 0 = -2*c - x - 31 + 8. Is c/((-8)/(-41592)*-3) composite?
True
Let s(w) = -2*w**2 - w + 3. Let o be s(-3). Let d be ((-2)/3)/((-4)/o). Is (-3 - -1157 - 1) + d composite?
False
Let m(p) = -p**2 + 52*p + 20779. Is m(0) prime?
False
Let u = 267308 - 1014152. Is u/(-98) - (-2)/14 a composite number?
False
Let v be (-4)/(-6) - 1/3*-10. Suppose 2*j = -3*j + 15. Suppose -3*d + 1370 = v*i, -i - 7*d + j*d + 349 = 0. Is i composite?
True
Suppose 4*t + 4 = 4*p, -5*t + t + 24 = 3*p. Let m(b) = b**2 - b - 3. Let h be m(t). Suppose 0 = 4*w + 8*x - h*x - 3812, 0 = -5*x. Is w composite?
False
Let w = 195 - 191. Suppose -q + 3 + 1 = 0, 0 = 3*d + w*q - 8473. Is d a prime number?
True
Let i(c) = -c**2 + 40*c - 300. Let g be i(32). Let o = -3103 - -1404. Let d = g - o. Is d composite?
True
Let p = 129620 + -89081. Is p prime?
False
Suppose 5 = -98*z + 103*z. Let t(w) = 1571*w**3 - w**2 - 4*w + 5. Is t(z) a composite number?
False
Let p(f) = 2479*f**2 - 473*f + 5. Is p(-12) composite?
False
Suppose -y + 1784*q - 1785*q = -64371, -128734 = -2*y + 2*q. Is y prime?
False
Let m be (14 - 215/15)/(1/(-23181)). Suppose 0*j + 30893 = 4*q - 5*j, q - m = 2*j. Is q composite?
False
Suppose -8*f + 4532 - 900 = 0. Let b = 947 - f. Is b a composite number?
True
Suppose 0 = -3*g + 2*g, 98 = 2*o + 4*g. Let k = -33 + o. Let l(j) = -j**2 + 30*j - 7. Is l(k) prime?
False
Suppose -117272 = -5*f + w + 255332, 0 = 4*f - 2*w - 298082. Is f a prime number?
True
Let v = 191 - 188. Suppose -956 = -v*a - r, -2*a + r + 445 = -194. Is a a prime number?
False
Let j = 66 + -17. Let w = -40 + j. Suppose w*v - 15*v + 150 = 0. Is v prime?
False
Let q(k) = -k**3 + 9*k**2 - 4*k - 11. Let g be q(8). Is 7563/(-8)*(-14)/g*4 a prime number?
True
Let x(h) = h**3 + 4*h**2 - 19*h + 8. Let b be x(-7). Let s(c) = -51*c + 85. Is s(b) a prime number?
False
Let x = 1179 - 436. Suppose 0 = -4*y + 2*k + 2*k + 2880, -4*y = k - 2890. Suppose 4*r = i - x, 3*r = 4*i - 5*i + y. Is i a prime number?
False
Let u(v) = -27*v + 88. Let d be u(4). Let o = 165 - d. Is o composite?
True
Let p(k) = k**3 - 13*k**2 - k + 18. Let r be p(13). Suppose -2*f = 5*t - 2293, -f = r*t - 2*f - 2281. Is t a composite number?
False
Suppose 0 = 4*h - w - 1603073, 4*w - 283569 - 117212 = -h. Is h prime?
False
Suppose -4456*a + 4467*a - 272393 = 0. Is a a composite number?
False
Suppose -7341 = -3*d - t, 0 = d - 2*t - 1572 - 882. Suppose 2*x = -3*k + 3677, 3*k - 5*k - 3*x + d = 0. Let j = -760 + k. Is j a composite number?
False
Suppose -7*u - 1024 = -15*u. Suppose -u*r + 132*r - 7036 = 0. Is r composite?
False
Suppose 14 = 5*b + 3*y, -5 = -y - 2. Let v be ((-2)/(-4) + 2 - b)*614. Is (-16)/(-8) + v*1 a composite number?
True
Suppose -19*l = -9*l - 139880. Suppose -q + 12*t + 2802 = 8*t, 0 = 5*q + 2*t - l. Is q a prime number?
False
Is (8*12/288)/(2/80286) prime?
True
Suppose -2*h + 30 = -0*h - 4*a, -h + 3*a + 20 = 0. Suppose 0 = -h*m + 4*l + 22715, -m + 4537 = 2*l - 4*l. Is m a prime number?
True
Let m(k) = 300*k**3 + 6*k**2 - 2*k + 7. Let w be m(4). Suppose 7*l - w = 134768. Is l a prime number?
False
Suppose -16121 + 145408 = 3*n + 4*o, 5*o - 10 = 0. Is n composite?
False
Let r(q) = -8*q - 83. Let y be r(-11). Suppose y*n - 284 + 104 = -i, 15 = 3*n. Is i prime?
False
Let n(c) = -c**3 + 29*c**2 - 53*c - 28. Let v be n(27). Is (-4 + v + -672)*-1 composite?
False
Suppose -5*j - 2*s = -31, 5*s = -3*j - 2 + 13. Let l = -3 + j. Let y(h) = 18*h**2 + h + 1. Is y(l) prime?
True
Let p(c) = 87*c**3 - 4*c**2 - 83*c + 717. Is p(14) composite?
True
Suppose -5*g = 2*m - 540553, 56*m - 5*g - 540523 = 54*m. Is m a prime number?
True
Is (-1*2/7)/(((-3168)/26893692)/44) a prime number?
True
Suppose -15629390 = 109*n - 119*n. Is n composite?
True
Suppose -2*y = 3*u + 3029, -2*u - 4030 = 2*y - 998. Let k = -536 - y. Is k a composite number?
False
Suppose -56*j = -61*j - 28545. Let c = 21676 + j. Is c a composite number?
True
Let w(x) = x - 7. Let s be w(9). Suppose -6 = s*c, 2657 + 9874 = 2*d + c. Suppose -4*v - 3*u = -2*u - d, 6263 = 4*v + 5*u. Is v prime?
True
Let o be 7/(105/92496) + (-4)/10. Suppose -g + 2470 = 2*c, 4*c = -c + 2*g + o. Suppose -3*u + c = 55. Is u a prime number?
False
Suppose 1614152 + 1142603 - 410699 = 8*g. Is g composite?
False
Suppose 0 = 5*v - 20, 2*p - 5*v + 0*v + 4 = 0. Let t(w) = 4358*w + 45. Is t(p) composite?
True
Let l(q) = -4*q - 43. Let o(t) = -t - 1. Let a(x) = -l(x) - o(x). Let d be a(-8). Suppose 5*b = 3*f - 7*f + 1003, d*b = -5*f + 806. Is b a prime number?
True
Let r be 5/((-45)/(-6221)) + 6/(-27). Suppose 3*p - 3*s - 6039 = 0, -3*p - s - 8055 = -7*p. Suppose 5*o = p + r. Is o a composite number?
False
Let c be (-18)/6*-1 - 273. Let k be ((-648)/60)/((-3)/c). Let g = k + 1849. Is g prime?
True
Let f(t) = 6*t**3 - 22*t**2 + 109*t + 73. Is f(14) prime?
True
Suppose 0 = 10*q - 5*q. Let p be (q - 2 - 2) + 3. Is -19 + 19 - (p + -481) prime?
False
Let r(o) = 4*o**2 - 7*o - 67. Suppose -4*s = -5*q - 8*s - 62, 2*q + 23 = -s. Is r(q) a composite number?
True
Suppose -6*k - 16*k = 516934. Is k/(-5) - (-72)/(-180) a composite number?
True
Suppose 82615 = 43*i - 210000. Is i a composite number?
True
Suppose 4773 = 8*i - 4731. Is ((2 - 1) + -2)*1 + i prime?
True
Suppose -3*d - 28 = a, -4*d - d = 3*a + 52. Is (2*5)/(d/(-356)) a composite number?
True
Let j(h) = 169*h + 1183. Let a be j(-7). Let l = 4130 + -1871. Is l/(-18)*(-2 - a) a prime number?
True
Let r = -247327 + 399194. Is r a composite number?
True
Let b be 4 - 6/3 - -58*1. Suppose -59*c - 191 = -b*c. Is c a prime number?
True
Let z(d) = 37391*d - 83. Is z(2) a prime number?
True
Let j(n) = 4343*n - 686. Is j(3) composite?
False
Suppose -59562 = -2*s - 2*z, 5*s - 14*z + 11*z - 148889 = 0. Is s a prime number?
False
Is 4 - (2 + (-35)/(-1)*-643) a prime number?
False
Let z(g) = 0 - g + 3 + 6*g. Suppose -19*d + 837 = 685. Is z(d) a prime number?
True
Suppose -2*d + 3*c + c = -9886, -5*d = -3*c - 24722. Suppose -4*n = -4, -3*n = 5*l - 49833 + d. Is l a prime number?
False
Let m(b) = -2*b - 63. Let p be m(-33). Suppose p*f = 7 + 8, -5198 = -3*h - f. Is h composite?
True
Let d = -89 + 89. Suppose 2 = -2*j - 5*t - d*t, 3*j - 6 = -3*t. Suppose 5*i - 17027 = -2*s, -j*s + 17019 = -0*i + 5*i. Is i composite?
False
Is (-1944764)/(-10) - ((-696)/60 - -11) prime?
False
Let t = 2885 + 1136. Suppose -3*b + 4094 = -t. Is b a composite number?
True
Let g be ((-4)/(-5))/((64/40)/4). Suppose 4 = -w - 3*c, 0 = g*w - 4*w - 3*c - 5. Is 15*(-173)/w - 20/5 prime?
True
Let o(d) = 5*d - 9*d + 3*d**2 - 211*d**3 - 2 - 505*d**3. Let u be o(-3). Suppose 2*n = -5*n + u. Is n composite?
False
Suppose -41*l - 1873333 = -6911700. Is l composite?
False
Let u(m) = 586*m + 1461. Is u(37) a prime number?
True
Suppose -272 = -2*r - 4*w, -4*r - 5*w - 635 = -9*r. Let x = 1487 + -1467. Is 16239/13 - x/r prime?
True
Let g(v) = -646*v**2 + 17*v + 67. Let j be g(-4). Let t = -5068 - j. Is t a prime number?
False
Suppose -1071524 = 406*y - 482*y. Is y composite?
True
Suppose -682*g = -699*g + 692563. Is g a composite number?
False
Is (970035/1650)/(-1 - 33/