 y + 45. Let w be a(15). Suppose -9*i + w + 26211 = 0. Is i a prime number?
True
Suppose 4*a - 1555902 = -562*s + 555*s, -s = -4*a + 1555918. Is a prime?
False
Let m(o) = -3*o**3 + 31*o**2 + 41*o - 23. Is m(-24) prime?
True
Suppose 3*o = -7*o + 10. Let r(d) = 2*d**3 - d**2 - d + 1. Let q be r(o). Is 1/(-2)*(q - 795) a composite number?
False
Let n(s) be the second derivative of s**5/20 - s**4/4 - 3*s**3/2 - 2*s**2 - 13*s. Let k be n(5). Let r = k + 54. Is r a prime number?
False
Let w(d) = -1120*d + 56. Let k(t) = 59*t - 3. Suppose 2*p - 3*p + 386 = 5*j, -4*p - 227 = -3*j. Let z(x) = j*k(x) + 4*w(x). Is z(6) a composite number?
True
Let v(f) = 2*f**2 - 9*f + 14. Let t be v(4). Is (6 - 75/t)/(6/(-1708)) a composite number?
True
Suppose -12*d - 22 = -4*q - 10*d, -17 = -4*q - 3*d. Suppose 3*f - 15940 = -5*w, 0*f - q*f + 26545 = 4*w. Is f prime?
False
Suppose -2*f - 5 = 4*a - 185, -267 = -3*f - 3*a. Suppose -2*t = -g - 54, -4*t - 30 = 3*g - 138. Suppose -5*y + t = -f. Is y composite?
False
Suppose -10*g + 4*r + 10 = -9*g, -g = -r - 25. Let k = g + -22. Suppose 4546 = 4*v + 2*u, -k*v + 3*v + 5*u = -5690. Is v composite?
True
Let g be -2 - ((-9)/3)/(-1). Let s(p) = -248*p + 16. Let n be s(g). Suppose -307 = -f + n. Is f a composite number?
True
Let p(v) = 352487*v**2 + 480*v + 969. Is p(-2) a composite number?
False
Suppose -4*p - g = -13, -4*p + 8*g + 23 = 11*g. Suppose 4 = 4*v - 16. Suppose p*s - 4 = 0, 2*t - v*t + 1541 = -5*s. Is t composite?
True
Let m(q) = -4 + 7 + 4 + 22*q + 5*q**3 - 21*q**2. Is m(13) a prime number?
False
Let a(n) = 10780*n**2 + 1049*n - 10. Is a(-7) a prime number?
True
Suppose 25 = -9*j + 70. Suppose 0 = -20*y - j*y + 205075. Is y prime?
False
Suppose 0 = -41*w + 38*w + 6741. Suppose -349 = -4*n + w. Suppose -268 = -7*t + n. Is t prime?
True
Let q(j) = 15 + 18 + 7 - 33*j. Suppose 3*o - 16 = -44 - 11. Is q(o) composite?
True
Let q(l) = 1772*l**3 - 1770*l**3 - 26*l**2 - 17 - 396*l + 388*l. Suppose 3*t - 2*t - 17 = 0. Is q(t) a composite number?
True
Let b = 212835 - 20906. Is b prime?
True
Let w(n) = -9*n**2 + 5*n - 4. Let s be w(2). Let r = -35 - s. Let b(k) = k**2 - 2*k + 11. Is b(r) composite?
True
Suppose 0 = 4*a + 2*x - 57410, 13954 = 5*a - 5*x - 57831. Is a prime?
False
Let m(k) be the second derivative of 7*k**5/20 + k**4/4 - 4*k**3/3 - 3*k**2/2 - 17*k. Is m(5) composite?
False
Suppose 3*u + 26 = 2*t + 638, 5*t = -5*u - 1580. Let d = 875 + t. Is d composite?
False
Is (66/(-72))/11*-4*(4 + 72569) prime?
False
Suppose -12*j + 1684 = 52036. Is (8 + -5)/((-4)/j) composite?
True
Suppose -168*z = 78*z - 64470942. Is z prime?
False
Let q = -24 + 34. Let o = q - 5. Suppose s - m = 3*s - 103, 3*m = -o*s + 256. Is s prime?
True
Let g(i) = 9545*i + 5548. Is g(11) a composite number?
False
Suppose -3*o = 2*l - 5, 5*o + l - 5*l = 23. Is (-564)/(-36) - 15 - (-3637)/o a prime number?
True
Let b be 144/84 - (-4)/14. Let k be b/(2*5/30). Is (-146 - 0)*(-3 + (-3)/k) a composite number?
True
Let t be 1 + -5 - (-8 + -9393). Suppose 4483 + t = 8*v. Is v a prime number?
False
Let k(x) = 118*x**2 + x + 50. Let r(m) = 118*m**2 + 2*m + 51. Let z(t) = -4*k(t) + 5*r(t). Is z(7) composite?
False
Suppose 19*d + 13*d = -22*d + 12013542. Is d prime?
False
Suppose 0 = -7*m + 2*m - 0*m. Suppose -15 = 5*r - 5*j, m*r - 4*r + j + 3 = 0. Suppose 2*k - 337 = 3*h, r*k = 6*k - 4*h - 672. Is k a composite number?
False
Suppose 33 - 29 = 2*o, -3*p + 62 = -2*o. Is 29682/p + (-86)/473 a prime number?
False
Suppose 4*c = 11*l + 79736, 5*l = -c + 4*c - 59802. Is c composite?
True
Let u(t) = 259*t**2 + 149*t + 67. Is u(-21) prime?
False
Let c(l) = -l**3 + 2*l**2 + 3*l. Let i be c(3). Suppose -2*z = 2*z - 4*w - 1160, 2*z - 5*w - 589 = i. Is z a composite number?
True
Suppose 2*z - 4*u + 2*u = 22, -5*z + 50 = -4*u. Suppose m + 4 = 0, 2*a - 11*m - 5874 = -z*m. Is a composite?
False
Suppose -35 = -4*l + 3*c, 2*c - 9 - 5 = -2*l. Suppose -k = -4*d - 478, -l*k = -11*k - d + 1395. Is k prime?
False
Let u = -220 - -240. Suppose 62023 = 3*h + 4*y, -h + u*y = 16*y - 20701. Is h a composite number?
False
Is (-2)/3*((-18453231)/18 + -3) a composite number?
True
Suppose 6 = 14*p - 11*p. Let l(k) = 4*k**2 + k + k + 2 + 31*k**2 + 8*k**2. Is l(p) a prime number?
False
Let n(h) = 16*h**2 - 478*h - 197. Is n(58) prime?
True
Let k(r) = 1102*r - 41. Let o be (-22)/(-4) + (-45)/30. Is k(o) a composite number?
True
Let k(g) be the first derivative of -2*g**2 - 4*g**2 - g + 5*g**2 - 7*g**2 - 10. Is k(-5) prime?
True
Suppose -w + 3*f + 55701 = 7*f, -3*w = 2*f - 167153. Is w a composite number?
False
Let s be (-10)/6 + (-318798)/(-54). Let i = -3783 + s. Is i composite?
True
Let y(m) be the third derivative of 7*m**5/60 + 5*m**4/8 + 25*m**3/6 + 4*m**2. Is y(-19) composite?
False
Let r(k) = -2 - 3*k**3 - 10*k**2 + 8*k**2 + 1 - 16*k**2 + 6*k. Is r(-9) composite?
True
Suppose -4*k + 15444 = -27*r + 31*r, 2*r = -k + 3857. Is k a prime number?
False
Let t(z) be the first derivative of 8*z**3/3 + z**2/2 - 6*z + 8. Suppose 0 = 200*l - 203*l - 21. Is t(l) a composite number?
False
Let h(k) = -46*k**2 - 7*k + 4. Let t be h(-8). Let n = -4057 - t. Let o = -764 - n. Is o composite?
False
Let c be 3/(-9)*-3 - 209. Let s be (c/(-12))/((-3)/18). Let j = s + 201. Is j prime?
True
Let a(v) be the third derivative of v**6/120 - v**5/12 + v**4/6 - 3*v**3 + 47*v**2. Let t be a(5). Suppose -5*g = -25, 2*s - t*g - g - 3391 = 0. Is s composite?
True
Let q(a) = 146*a - 4 - 24 - 17 + 272*a. Is q(10) composite?
True
Suppose 5*l + 262 = -88. Suppose 0 = -4*w - 3*r - 1872, -46 + 1449 = -3*w - 2*r. Let a = l - w. Is a prime?
False
Let i = 225 + -224. Is i/((-3 + 5)/13606) prime?
True
Suppose -17 - 3 = -10*u. Let i(l) = 453*l - 7. Is i(u) a composite number?
True
Let s(a) = 1009*a**3 - 97*a**2 + 475*a - 8. Is s(5) prime?
True
Suppose 0*g = -4*g + 5720. Let a(c) = -c**2 + 64*c - 286. Let b be a(29). Let z = b + g. Is z composite?
True
Is ((-376)/(-24) + -19)*(-1937094)/4 a composite number?
True
Let a(y) = -y**3 + y**2 + y + 221. Let q be a(0). Suppose -k - 2*f = -5, -3*k + 5*k - 2 = 4*f. Suppose 4*x - k*x - q = 0. Is x a prime number?
False
Suppose 8 = 42*r - 38*r. Suppose 4*s + 14 = -2*i, -3*i = r*s + 2*s + 17. Is (-3206)/(-3) + s/(-3 + -3) a prime number?
True
Suppose 0 = 3*y - m - 166 - 15261, 4*y = -2*m + 20586. Let q = 7482 - y. Suppose 9*p = -511 + q. Is p prime?
False
Let w(s) = -38451*s - 10973. Is w(-10) composite?
True
Let d(k) = -k**2 + 8*k. Let z be d(8). Suppose z = 5*f + 2221 - 14786. Is f prime?
False
Let w = 2359 - 28923. Let b = 44467 + w. Is b prime?
True
Suppose 7*i + 320 = -3*i. Let b be 4/5 - i/10. Suppose -5*d - 4*w + 820 = w, -651 = -b*d + w. Is d composite?
False
Suppose 14*v - 15*v = 5, -3*v + 29961 = 4*j. Let d = -4427 + j. Is d a composite number?
False
Let y(b) = 1057*b**2 + 5*b + 35. Let i be (9 + -4 + -11)/2. Is y(i) composite?
False
Is 162/891 - (-9396341)/11 a prime number?
True
Let x = -2099 - -4956. Is x a composite number?
False
Let b = 459 + -459. Suppose -2*r - 687 + 15045 = b. Is r a composite number?
True
Let i(p) = 3*p - 2*p - 14 + 2*p. Let x be 8/((-88)/(-223)) + (-3)/11. Is i(x) a composite number?
True
Let q(f) = 21*f**3 + 2*f**2 - 6*f - 14. Let p(w) = -122*w - 23*w**3 + 15 - 2*w**2 + 128*w + w**3. Let c(t) = -6*p(t) - 7*q(t). Is c(-3) composite?
True
Let v(b) = 5*b - 136. Let u be v(0). Is (-17202)/(-8) - (-170)/u a prime number?
False
Let k(r) = r**3 - 3*r**2 - 4*r + 9. Let z be k(4). Is 3 + ((-36)/z - (-1 - 767)) prime?
False
Suppose 51*k - 3643312 = -162817. Is k a prime number?
False
Let p(o) = -o**3 - 13*o**2 - 140*o - 559. Is p(-62) a prime number?
True
Suppose 42*z - 36*z = -2*m + 224152, -5 = -z. Is m prime?
True
Suppose -22*q + 63 = 19. Suppose 0 = 57*i - 55*i - 3*r - 9121, -q*r - 13679 = -3*i. Is i a prime number?
False
Let l(b) = 9*b**2 + 3*b - 102. Let c be l(-22). Suppose -5*u = -2*u - k - c, 5*k - 4206 = -3*u. Is u prime?
False
Suppose 0 = -15*k + 37923 + 111852. Let q = k + -3386. Is q a composite number?
False
Let f = -1310201 + 2214748. Is f a composite number?
True
Let u(p) = -25*p**3 + 14*p**2 - 22*p - 1058. Is u(-33) composite?
True
Suppose 0 = 5*j - 35, 3*j = 38*x - 40*x + 2552227. Is x a composite number?
False
Let y = 22 - 13. Let u(q) = -4*q + 40.