 -w - 3*k + i = 0. Let y = w - 1030. Is y a prime number?
True
Let y = -577 + 9484. Let i = 5166 + y. Is i a prime number?
False
Is 66749 + (-5 - -1)/(9/18) prime?
False
Let o be (-10)/(4 + 6/(-1)). Suppose o*f - 20 = -4*m - 0*f, 15 = 3*m - f. Suppose 2*z = -0*z - 2*h + 768, m*h - 1539 = -4*z. Is z prime?
False
Let s = 477 - 266. Suppose w = -88 - s. Is -3 - (-9 - -2) - w a composite number?
True
Suppose 3*c - 35 = -29. Suppose -4102 = -q + 4*w, 4*w - 8169 = -c*q + 5*w. Suppose -3*x - 4*m = x - 5448, m + q = 3*x. Is x a prime number?
True
Let a be (-70)/(-6) - (-3)/9. Let i be 1/3 - 4/a. Let o(w) = -w**3 - 3*w**2 + 1213. Is o(i) composite?
False
Let m(p) = -1701*p - 22. Is m(-43) composite?
False
Let t be 1/((-3)/(-9)) - 0/2. Suppose 0 = 5*r + t*p + 1641, 6*r + p + 1637 = r. Let l = -76 - r. Is l a prime number?
True
Suppose -134*g - 1091203 = -5*t - 137*g, -2*g = 4*t - 872964. Is t prime?
False
Let z = -50 + 57. Let q be z/(-14) + (-1 - 1/(-2)). Let j(m) = -268*m**3 + m. Is j(q) a prime number?
False
Suppose 0 = 3*g - 13*g + 40. Suppose g*d - 4*y = -2*y + 2348, d = y + 588. Is d a prime number?
False
Suppose 4*v + 1391725 = 5*b - v, 2*v - 4 = 0. Is b composite?
False
Is (-2)/(-3) - (-12447178)/498 a composite number?
True
Suppose -3*o = 4*b + 7, -2*b = o - b + 2. Is 2 - -1 - 11*(-62 - o) a composite number?
True
Let k(t) = 27*t - 2*t**3 - 383*t**2 + t**3 + 405*t**2 - 61. Is k(17) a composite number?
True
Suppose 0 = -3*u - d + 461, 19*u = 14*u - 3*d + 763. Let l = u - 109. Is l a composite number?
True
Let a be (-4094)/(-12) + 1/(-6). Let l = a - -366. Is l composite?
True
Is 29771 - (-2 + 5)*23/((-483)/14) composite?
True
Suppose -2*n - 3*m + 8942 = 0, 6*n + 8930 = 8*n - 3*m. Suppose 0 = -4*o + 4144 + n. Is o composite?
False
Let n = -83 + 83. Suppose n*v - 5 = -v. Suppose -4*h - 2*y - 87 + 2309 = 0, 1686 = 3*h - v*y. Is h a composite number?
False
Let c be ((-10)/(-15))/(7/63) - -3. Is 1*(-51)/c*-21 composite?
True
Let y(q) = 6930*q + 1403. Is y(4) composite?
False
Suppose 0 = -4*p - 101*p + 76230. Suppose -3*j = -4*l - 3637, -6069 = -9*j + 4*j + 3*l. Let i = j - p. Is i prime?
False
Let a(n) be the second derivative of -n**5/20 - 13*n**4/6 - 14*n**3/3 - 67*n**2/2 + 4*n. Let w be a(-27). Let c = -883 + w. Is c a prime number?
False
Is (1/6)/(30/8607420) composite?
False
Let g(l) = -7*l**2 - 2 + 5*l - 4*l**2 + 2*l**3 + 2*l**2 - 2*l. Let u be g(4). Is 2/u - (-10808)/42 prime?
True
Suppose 76533 + 266513 = 3*y + 2*r, r = -2*y + 228699. Is y/18 + (-5)/(-45) a prime number?
True
Is 21/(210/(-8))*295985/(-4) composite?
False
Let m = -1059 + -10733. Let x = -2143 - m. Is x a prime number?
True
Let u be (-3)/(-2) - (4 + 376915/(-22)). Suppose -13*w + 43*w - u = 0. Is w prime?
True
Suppose 10*j + 25 = 45. Suppose -j*v = 3*s - 6*s + 25501, -17006 = -2*s - 4*v. Is s prime?
True
Let r(b) = 24*b - 140. Let s be r(6). Suppose 11*m - s*m = 86233. Is m prime?
False
Let d = 179624 - 116753. Suppose 17131 = 26*l - d. Is l prime?
False
Is (1 - 1108032/(-27)) + 17/((-1377)/18) composite?
False
Let x(c) = -c**3 + 4*c**2 + 4*c + 6. Let l be x(5). Let k be (-493983)/(-33) - 4*l/22. Is k/11 - 6/(-33) prime?
True
Suppose 9*l - 6*l = 3*w - 164619, -w + 5*l + 54893 = 0. Let b = w + -21425. Is b a composite number?
True
Suppose -1807014 - 440676 = -6*m. Is m prime?
False
Let b = 177139 - -128982. Is b a prime number?
True
Suppose 0 = -3*m - 95 + 449. Suppose m*g + 62166 = 124*g. Is g prime?
False
Let d(k) be the first derivative of 1591/2*k**2 + 2 + 6*k. Is d(1) prime?
True
Is 77*675 - (0 - -4) a prime number?
True
Is -558722*5/(-20) - (-5 + 39/6) a composite number?
True
Let r be 0/(3 - (-10)/(-2)). Suppose 3*m + 10*v - 7*v - 21 = r, 3 = -3*m + 5*v. Suppose -6*h + m*h + 7318 = 0. Is h a prime number?
True
Is ((-26931)/(-188))/((-6)/(-3736)) a prime number?
False
Let x(o) = 4420*o**3 + 8*o**2 - 21*o + 13. Is x(2) composite?
False
Let p(d) = 5337*d**2 - 222*d + 2137. Is p(10) a composite number?
True
Let t be (2/(-2))/1*(1295 - 8). Let f = 5514 - t. Is f composite?
True
Is (90/(-324))/(10/(-884562)) + (-1)/6 prime?
True
Suppose -7*t = -5*t - 27242. Is t a composite number?
True
Let k = -14 - -19. Let b(c) = -9*c**2 + 23*c + 5. Let m(o) = -13*o**2 + 35*o + 7. Let z(q) = k*m(q) - 8*b(q). Is z(8) a composite number?
True
Let z(r) = 2*r**3 - 9*r**2 + 14*r - 21. Let d(j) = j - 38. Let q be d(-22). Let y be (-6)/(-1)*q/(-36). Is z(y) a prime number?
False
Let r = 802775 - 45318. Is r composite?
False
Let q(w) = -22*w**3 + 12*w**2 + 52*w - 155. Let h be q(3). Let m = -2446 - -1288. Let a = h - m. Is a composite?
False
Let p(q) = -7*q**3 - 10*q**2 + q + 2. Let c be p(-9). Suppose k - 2*v = -935 + 5233, -5*v - c = -k. Is (2 + -3)/(-3 - (-12916)/k) composite?
False
Suppose 6*t + 3*t + 1105125 - 4479486 = 0. Is t prime?
True
Suppose -58*u + 5992389 = 59*u. Is u composite?
False
Let n(u) = -1456*u + 281. Is n(-18) a composite number?
False
Is 78 + -75 - ((-2 - 1) + -7987) a prime number?
True
Let u(h) = h**3 + 19*h**2 - 24*h - 19. Let m be u(-20). Let y = m - 58. Suppose -y*v + a + 9646 = v, 0 = 5*v - 2*a - 12059. Is v composite?
False
Is 433830/12*4/10 prime?
True
Let g(o) = -36*o**3 + 6*o**2 + o - 11. Let d(v) = 108*v**3 - 17*v**2 - 2*v + 32. Let b(r) = -6*d(r) - 17*g(r). Let l = -110 - -108. Is b(l) composite?
False
Let k be ((-11)/((-88)/(-192)))/((-9)/(-1056)). Is (-21)/7*(-1 - k/(-6)) prime?
False
Suppose 3*o - 8 = 1, 3*r - 4*o + 3 = 0. Suppose r*m - 7*i + 3*i - 3 = 0, 0 = -5*m - 4*i - 27. Is (-1274)/(-4) - m/6 a composite number?
True
Let m(a) = 41*a**3 - 3*a**2 - 13*a - 14. Suppose -4*j = -2*r + 26, j = -24*r + 21*r + 18. Is m(r) a composite number?
True
Let n = 1196 + -1212. Let z(s) = 23*s**2 - 11*s + 1 - 1 + s**3 + 5. Is z(n) prime?
True
Let j(c) = -2405*c + 2392*c + 1 - 10 + c**3 + 8*c**2. Is j(17) composite?
True
Suppose -5*l + 12094 + 28191 = 0. Is l composite?
True
Suppose 2*m - 2144327 = -37*m - 14*m. Is m a prime number?
True
Suppose 23*h = -36*h + 4399571. Is h composite?
True
Let f(l) = -7*l**2 + 8*l + 12. Suppose 45 - 21 = -3*h. Let g be f(h). Let d = 967 + g. Is d a composite number?
False
Let p = -9 + 10. Let o be (-18)/15 - 1 - 44/55. Is 630 - (p - (1 - o)) a composite number?
True
Suppose 65*v - 1201332 + 6707586 = 299*v. Is v a composite number?
False
Let r(d) = 1267*d**3 - 20. Is r(3) a composite number?
True
Let i(x) = -x**3 - 11*x**2 - 20*x - 16. Let t be i(-9). Suppose -2*s + 1997 = o + 2*o, o = t*s - 1993. Is s composite?
False
Let b be (-94)/14 + 4/(-14). Is (4746 - (4 + b))*1 composite?
True
Let f(y) = 2916*y**2 - 75*y + 26. Is f(19) composite?
False
Let y be (-23676)/4*(-1)/3. Suppose -y = -21*c + 47020. Is c composite?
False
Let r = 8980760 + -6234853. Is r a prime number?
True
Let c be 1/1 + -1 + 2. Suppose 71 = 5*f + 5*r + 26, 5*f - c*r - 45 = 0. Is (-212720)/(-144) + (-2)/f a composite number?
True
Let j(f) = f**3 - 2*f**2 - 2*f - 3. Let l be (0 + 2)/(0 - (-10)/(-15)). Let s be j(l). Let y = 125 + s. Is y a prime number?
True
Suppose 259396 = 6*j - 143725 + 144167. Is j prime?
True
Suppose -3*x - 4*r = 9, -r + 12 = -2*x - 5. Let k be (-46)/(x/((-1995)/(-6))). Suppose 12*z + k = 17*z. Is z a prime number?
False
Let x = -451 - -445. Is 48301 + (x - -8)*-1 prime?
True
Let z = -30 + 34. Suppose 0 = t - z + 222. Let j = t + 487. Is j a prime number?
True
Suppose 0 = 5*k + 5*u - 247000, -19 = 2*u - 21. Is k prime?
False
Let q(b) be the first derivative of -830*b**4 - 5*b**3/3 - 7*b**2/2 - 3*b - 36. Is q(-2) composite?
True
Let q(p) = -p**2 + p + 1115. Let k = 14 - 10. Suppose o = -k*o - o. Is q(o) a prime number?
False
Let t = 379102 + -247799. Is t a prime number?
True
Let f(k) = 10*k - 40. Let t be f(4). Suppose t = -42*d + 42437 + 124177. Is d a prime number?
True
Let c = 102 - 92. Let i be 12/c*20/6. Is 3367 + 6/i*(-32)/24 a composite number?
True
Let x(c) = 26*c**2 - 54*c - 4. Let d(j) = 12*j**2 - 27*j - 1. Let m(w) = 7*d(w) - 3*x(w). Is m(24) a composite number?
True
Suppose -9*h - 2*h = -73469. Let r = -4100 + h. Is r prime?
True
Let l(v) = 220*v**2 + 912*v - 131. Is l(-114) a composite number?
False
Is (-467095)/(-20) + 27/(-36) prime?
False
Let v = -2508 - -6695. Is v a composite number?
True
Let q(n) = 2*n - 3. Let z be q(2). Suppose -