ppose -10*d = -157 - 23. Suppose d*j - 23*j + 5665 = 0. Is j a composite number?
True
Let k(s) = 444*s**2 + 45*s - 45. Is k(-16) composite?
True
Suppose -149*u = -143*u - 200706. Suppose 24*l - u = 13*l. Is l prime?
True
Let y = -7105407 + 10319198. Is y a prime number?
False
Suppose -10*b - 555 = 4675. Let n = 776 + b. Is n a prime number?
False
Let s(d) = 1001*d**2 - 128*d - 91. Is s(-18) a prime number?
True
Suppose 6*u = -13 + 43. Let d be 26/u + 4/(-20). Suppose d*q = -4*g + 5613, -2*q + 2238 = -6*g + 4*g. Is q a prime number?
False
Suppose 11854462 = 126*k + 35*k - 2401605. Is k prime?
True
Let o(w) = -392*w + 55. Let h be o(19). Let a = 15708 + h. Is a a prime number?
False
Let r = 39269 - 13602. Is r composite?
False
Suppose 0 = -6*c + 9*c - p - 66028, 65986 = 3*c + 5*p. Is c composite?
True
Let a(m) = 17943*m + 1545. Is a(4) composite?
True
Let g(x) = -411*x - 1002. Is g(-15) a composite number?
True
Let o = 129265 + 106670. Suppose 17*c = 22*c + 5*y - o, 2*c = y + 94368. Is c composite?
True
Let g(m) = -m**2 + 7*m - 12. Let x be g(3). Suppose 21 + x = -3*z. Is (-7 - (-13 - z)) + (-1083)/(-1) composite?
True
Let w(z) = 6*z**2 + 13*z + 3. Let f be w(-6). Let p be 8/(-36) + 4/(108/f). Suppose p*r = 10, 0 = l + l + r - 864. Is l prime?
True
Suppose -4*a = -330*h + 331*h - 9247, -5*a = -5*h + 46185. Is h composite?
False
Let c(x) be the third derivative of 0*x + 0 + 1/8*x**4 + 19*x**2 - 2/3*x**3. Is c(9) composite?
False
Suppose n - 14028 = -4637. Is n a composite number?
False
Suppose 12*r - 8*r - 3*d = 220403, -4*d = r - 55115. Is r a prime number?
True
Let y be (-3)/2*(-16)/12. Suppose d = -3*h + 584, -2*d + y*h + 1719 = d. Let k = 1086 - d. Is k a composite number?
True
Let c(z) = z + 27. Let b be c(-9). Let o be ((-2)/(-4))/(3/b - 0). Suppose -5*s - 12775 = -6*w + w, -o*w + 4*s = -7661. Is w composite?
True
Let u = -36 + 46. Suppose -2*t - u = -16. Suppose t = 3*q, -5*q - 360 = -4*l + 567. Is l composite?
False
Let q(s) = -710*s**3 - 4*s**2 - 5*s - 5. Let g be q(-2). Let j = g + -3298. Is j prime?
True
Let g(s) = 206*s + 569. Is g(58) composite?
False
Let o = -497 - -501. Suppose 0 = -4*v + 16, -o*v + 4081 = -4*w + 34549. Is w a composite number?
False
Let c be (75/20 + -3)/(4/16). Suppose -4*u + 3*n + 8139 = -8024, -c*u - 5*n = -12144. Is u a composite number?
True
Suppose -8*k - 165727 = -746687. Suppose 23*m - 3*m = k. Is m a composite number?
False
Suppose 5*i + 42*i + 125*i = 7864012. Is i a prime number?
False
Let o(k) = 95*k**2 - 81*k - 13. Is o(-5) a composite number?
False
Let n(h) = 3*h**3 - 23*h**2 + 5*h + 6. Let z be n(16). Let r = z + -1809. Is r prime?
False
Suppose -5*o = 2*t - 4*t, -t + 15 = 5*o. Suppose -3*r + 1139 = o*d, -4*d + 2839 = d - r. Suppose 3*j - 3510 = -k - d, -4*k = 5*j - 11761. Is k composite?
False
Suppose 0 = -5*m - 2*l - 74, -4*l = -5*m - 7*l - 76. Let c(j) be the third derivative of 2*j**5/15 + 9*j**4/8 + 23*j**3/6 + j**2. Is c(m) composite?
False
Let m = -1754 + 3258. Suppose k + y - 765 = -3*y, 2*k - 5*y = m. Is k a prime number?
True
Let z(g) be the third derivative of -7133*g**4/24 - 2*g**3 - 136*g**2 + 1. Is z(-1) prime?
True
Suppose -3*o + 9528 = 3*i - 102357, 2*o + 298320 = 8*i. Is i a composite number?
True
Suppose 5*z = -b - 0*z - 353, 3*b + 1109 = -5*z. Let v = 2549 - b. Is v a prime number?
True
Suppose -94*q - 20*q = -12517314. Is q a composite number?
True
Let t = 70144 + -40631. Let o = -14880 + t. Is o prime?
True
Let x = -45 - -38. Let n = x - -33. Suppose 0 = 29*v - n*v - 2211. Is v a prime number?
False
Suppose -3*u = 3*c - 151500, 27*c - 201991 = 23*c - u. Is c a composite number?
False
Let b(y) = -1039*y**3 - 49*y**2 - 32*y - 19. Is b(-7) a prime number?
True
Let q(l) = -l - 3. Let w be q(-7). Let v(f) = -2*f**2 + 2*f + 1. Let i(u) = 2*u**2 - u - 2. Let g(b) = w*i(b) + 3*v(b). Is g(5) composite?
True
Is 0 + 3/15 - (-1195389)/(-170)*-4 prime?
False
Let s(b) = b**3 + 16*b**2 + 14*b - 21. Let g be s(-15). Is (8 + g)/(1 + 1840/(-1844)) composite?
True
Let u(d) = d**3 - 24*d**2 + d - 24. Suppose -5*c - 8*p = -3*p - 140, 5*c - 2*p = 112. Let m be u(c). Suppose -5*o + 7508 + 4457 = m. Is o composite?
False
Let u = 24 + -20. Let m(j) = j**2 - 4*j + 2. Let z be m(u). Suppose 0 = 2*k + 4, a - 411 = -k + z*k. Is a a composite number?
False
Is 1/(710133/2485441 + (-110)/385) a composite number?
False
Let m(n) = -16*n**3 - 7*n**2 + 28*n + 95. Is m(-6) a prime number?
False
Suppose -3*d = -t - 3, -8 = -3*t + 2*d - 10. Suppose -c - 5*b + 456 = -t*c, 3*c - b = 1288. Is c composite?
False
Let w(q) = -97*q**2 - 30*q - 99. Let h(f) = 97*f**2 + 31*f + 99. Let g(t) = -3*h(t) - 4*w(t). Is g(-4) a prime number?
True
Let f = -74526 + 106653. Is f prime?
False
Suppose -71*k - 51*k + 31*k = -98473193. Is k prime?
False
Suppose 2*t - 2*z = 7722, -2*z = 3*t - 16360 + 4787. Suppose -t + 100 = -3*m. Is m a composite number?
True
Let o(t) = -7 + 4 - 6 - 124*t - 114*t. Is o(-7) composite?
False
Let f be (0 + 2 - 6)*(-15)/12. Let d(u) = f*u**2 + 8 - 7*u - u + 14*u**2 + 2. Is d(5) composite?
True
Is -7*(72360/(-84) - -11) a prime number?
True
Let o(x) = -22*x**2 + 48*x - 2. Let d(u) = 18*u**2 - 47*u + 2. Let j(k) = -7*d(k) - 6*o(k). Is j(-31) a composite number?
False
Is (-1)/5 + (6 - 3) + 208155/25 a composite number?
False
Let b = 1679 - 1176. Suppose z + 50 = b. Is z composite?
True
Suppose t + 3*q = -4 - 15, -2*t + 2 = -2*q. Is (t - -6)*(-12981)/(-6) prime?
True
Let m(b) = 16701*b - 1405. Is m(4) a composite number?
True
Let n(f) = 2*f**3 + 5*f**2 - 26*f + 44. Suppose -7*p = s - 11*p - 13, 3*p + 21 = 2*s. Is n(s) composite?
True
Let u be (2/4)/(4/(-48)). Is (-8)/10 - (27918/(-10) - u) prime?
False
Let k(c) = 761*c - 4. Let j(h) = -762*h + 3. Let m(w) = 3*j(w) + 2*k(w). Let i be m(-2). Let o = 3067 - i. Is o composite?
True
Suppose 2*s + 2*s = 4*m - 2656, -2*m + 4*s = -1324. Suppose 0 = -2*z + 2*h + 1308, 5*z - z + 5*h - 2580 = 0. Suppose -4*o = -z - m. Is o a composite number?
True
Is 36*(-8)/32 - -258242 prime?
True
Let f(n) be the first derivative of 14*n**3/3 + 7*n**2 + 73*n + 275. Is f(-21) a prime number?
True
Let r be (-10)/135 + (-86793)/(-567). Suppose r*s = 146*s + 13307. Is s a prime number?
True
Let z(p) = p**3 + 8*p**2 + 5*p - 14. Let t(i) = i**2 + 30*i + 49. Let x be t(-28). Let j be z(x). Is -3 - (-244)/4 - j composite?
True
Let a(j) = -26 + 6*j - 9*j - j. Let g be a(4). Is ((-26)/(-4))/((-7)/g) composite?
True
Suppose 3*w - 5*w = y - 46, 5*w = -4*y + 187. Suppose y*b + 5277 = 51*b. Is b composite?
False
Let o = 5213 - 3704. Is o a prime number?
False
Let x = 106757 + -58188. Is x a composite number?
True
Let c = -39 + 43. Let r be 1613*(2/(-8) - (-5)/c). Let j = 248 + r. Is j composite?
False
Let g(a) = 13935*a**2 + 22*a - 56. Is g(-5) composite?
False
Let i(g) = 4*g**2 + 6*g - 1. Let b be i(-4). Let p = b + -13. Let f = 59 + p. Is f composite?
True
Let g be ((-2 - -5) + 1)*(-648)/(-288). Suppose -26*l + 149447 = -g*l. Is l a prime number?
False
Let j(q) = 15 - 9*q + 23*q**2 - 4 + q + 4. Is j(-13) a prime number?
False
Let u = -349 + 348. Is (-9 + -16993)*((-2)/(-4) + u) prime?
True
Let h(m) = m**2 + 9*m - 14. Let f be h(-10). Let y(b) = 3*b**3 - 2*b**2 + 6*b + 8. Let p be y(f). Is 6 - p/(-42) - (-2147)/7 a prime number?
True
Let z(w) = -9*w**2 + 21*w - 9. Suppose -16 = 8*k - 4*k. Let j(b) = -b**2. Let y(o) = k*j(o) - z(o). Is y(8) composite?
False
Suppose -20 = p - 5*p. Suppose 4726819 = 2*i - p*x, i - 2363414 = x - 0*x. Is (i/(-77))/(-7) - 2/(-11) prime?
False
Let l = -81315 + 34089. Let t = l + 66613. Is t a prime number?
True
Suppose 2*p - 9*n = -12*n + 51, 84 = 3*p + 2*n. Suppose 805 = p*z + 5*z. Is z a prime number?
True
Let n(v) = 11*v**3 - 71*v**2 - 82*v - 138. Let p(k) = 4*k**3 - 24*k**2 - 27*k - 46. Let t(u) = -3*n(u) + 8*p(u). Let c be t(23). Is (-1 - c/8)/(3/24) prime?
False
Let a be 0 - 20 - (45 + -49). Is (-11304)/a + -4*(-5)/40 composite?
True
Suppose 4*y + 13 - 5 = 0. Let x(o) = -5*o - 7. Let s be x(y). Suppose z - 265 = -3*t, z - s*t - 2*t = 249. Is z a composite number?
True
Suppose 100*f = 133*f - 8813298 - 796863. Is f composite?
False
Let w be (-3)/(-4) - (-22)/(-8). Is (-3 - -4) + (25904 - w) prime?
False
Let b be 1/(-1) - ((-49)/7 - 0). Suppose -v + 4*a = -19063, -b*v