 + 1037. Is n composite?
True
Let c(l) = -2*l**3 + 7*l**2 - l - 6. Suppose -o = -3*o - 4, -h = o + 10. Let f be c(h). Suppose -4102 = -z + v, -2*z + 3*v + 6727 + f = 0. Is z composite?
True
Let z = 521156 + 216549. Is z a prime number?
False
Suppose 0 = -2*g - 2*j - 92, -4*j - 68 = 2*g + 16. Suppose -24*l - 90 = 270. Let b = l - g. Is b prime?
False
Let w = -224962 + 332943. Is w prime?
True
Suppose -2*l - 24 = 2*l. Let z(s) = s**2 - s + 1. Let q(p) = 3*p**3 + 6*p**2 - 11*p - 5. Let k(a) = -q(a) + 6*z(a). Is k(l) a prime number?
False
Let l be (1 - 7)/(-3) + (-2 - -3). Let i(w) = 2 - 9*w + 10 + 98*w**3 - 89*w**3 + l*w**2. Is i(5) a prime number?
False
Let j(z) = 361*z**2 + 28*z + 4. Let v be j(-6). Suppose -2*m + 9630 = 3*i + 3*m, v = 4*i + 4*m. Is i composite?
True
Let l = 9007 - 13418. Let j = 7158 + l. Is j composite?
True
Let r(p) = 22*p**2 - 6*p - 2. Let x be r(-2). Suppose -3*y = -y + 3*u + 90, 5*u + x = -2*y. Let v = y + 542. Is v a prime number?
True
Suppose -5*s + 160285 = -5*d, 2*d = -5*s + 10*s - 160297. Is s a composite number?
True
Suppose 4*b = r + 1633439 + 688866, -5*r = -2*b + 1161139. Is b prime?
True
Suppose 2*t - 12 = -12. Suppose -4596 = -5*f - 3*i + 8297, -2*f - 3*i + 5150 = t. Is f composite?
True
Suppose 81020 = 5*f + 5*x, 3*x = -0*f + 4*f - 64802. Is (2/(-2))/(-3) + f/3 a composite number?
True
Suppose 3*h - 4*a - 88407 = 0, 2*h - 16*a = -12*a + 58934. Is h a composite number?
False
Let u be 141/27 + (-2)/9. Suppose 3*d + 1737 = w, -1721 = -2*w + w - u*d. Is w a composite number?
True
Suppose 0 = 722*b - 715*b + 8589. Let r = -604 - b. Is r a prime number?
False
Suppose -3*i = -101*d + 99*d + 229802, 5*i = 40. Is d composite?
False
Suppose -4*z + 323012 = 4*s, -3*s + 2*z = -68596 - 173663. Is s prime?
False
Let q(u) = 1225*u**2 + u. Let x be q(3). Suppose 4*g + 664 = x. Is g prime?
True
Suppose -202680 = -4*y + 2*r, -6*r - 101330 = 2*y - 4*y. Is y a prime number?
True
Suppose 1666 = 9*v + 8*v. Let l = -38 + 83. Let i = v - l. Is i a prime number?
True
Let g(h) be the second derivative of h**5/20 + 19*h**4/12 - h**3/6 + 11*h**2/2 + 18*h. Let u be g(-20). Let m = u - -818. Is m composite?
False
Let m(v) = 53*v**2 + 39*v + 7. Let n(k) = 26*k**2 + 18*k + 3. Let j(y) = -4*m(y) + 9*n(y). Let h be -3 + 9 - (-6)/(-2). Is j(h) prime?
False
Suppose 3*h = 5*q - 708245, 0 = 198*q - 196*q + h - 283298. Is q prime?
True
Is 6 - ((-78)/(-9) + 32/(-48)) - -262951 prime?
True
Suppose 0 = -4*p + 5*l + 43272 + 49419, -5*l - 115865 = -5*p. Is p prime?
False
Let s(b) = -b**3 + 17*b**2 - 6*b - 38. Let i be s(16). Let k = 757 - i. Is k a composite number?
True
Let g(y) be the first derivative of 59*y**3/3 + 11*y**2 - 7*y + 12. Suppose 5*z = 46 - 16. Is g(z) composite?
True
Let h(y) = 2*y + 19. Let c be h(-11). Is (27016/(-24))/(-3*c/(-27)) a composite number?
True
Let k(m) = 25*m**2 + 30*m - 512. Is k(35) prime?
False
Is (-90)/135 + (-577498)/(-6) + -8 a composite number?
True
Suppose 4*i + 15 = 5*r, 3*i - r + 5 = 2. Suppose -2*o + 3*o + 9 = i. Is ((-9)/(-2))/o*-2674 prime?
False
Is (25/(25/8) + -27)/((-2)/4534) prime?
False
Let g be (17 + -19)/((-2)/1207). Suppose -q = -3*i - g, 3*i = -0*q - 3*q + 3621. Is q a composite number?
True
Let j = 58047 - 35626. Is j composite?
True
Suppose -5*f = -10*f - 10. Let d = 5 + f. Suppose -2*w = 2*a - 220, d*a - w = w + 335. Is a prime?
False
Let k(h) = -2*h + 14. Let b(y) = -y**2 + y + 13. Let c be b(3). Let n be k(c). Suppose -2*q = 3*q + 5*f - 970, n = q + 5*f - 206. Is q a prime number?
True
Let i(l) = -1946*l - 10257. Is i(-88) a composite number?
True
Let h(q) = 2848*q - 15. Let x be h(1). Let n = 5606 - x. Is n a prime number?
False
Is 9*14/(-14)*(-482935)/15 a prime number?
False
Let b(r) be the first derivative of r**4/4 + 4*r**3 - 41*r**2/2 - 13*r + 28. Is b(7) a prime number?
True
Let u(h) = -16310*h - 465. Is u(-5) a prime number?
False
Let w(i) = -157 - 151 - 39*i - 100*i - 51. Is w(-8) composite?
True
Suppose 128601 = -54*w + 1161135. Is w a prime number?
True
Suppose -4*a + 3*z + 2635 = 0, -89*a = -87*a + 2*z - 1300. Suppose j + 0*j - a = -4*x, 2*x = -3*j + 1945. Is j a composite number?
False
Let b = 1124 + -1672. Let x = b - -779. Suppose 0 = a - 4*a + x. Is a a composite number?
True
Let w(c) = 10*c**2 + 16*c - 13. Let r = 324 + -341. Is w(r) a composite number?
True
Suppose 0 = 4*v + 45 - 17. Let s(d) = -18*d + 12 + 10 - 53. Is s(v) prime?
False
Is (-18801)/(-6) - 55/(-22) - 3 a composite number?
True
Suppose 1 - 19 = -9*t. Suppose 4*u - 997 = y, -4*u - 3*y - t*y = -1015. Is u - (1 + (-4)/2) composite?
False
Suppose -117*t + 362948 = -115*t - 3*i, 2*t - 4*i - 362954 = 0. Is t prime?
False
Is 10/2*-3 - -13342 a prime number?
True
Let a(y) = -49655*y + 4542. Is a(-5) prime?
True
Suppose -30*v = -27*v + 3, 4*w - 5*v = 78129. Is w composite?
False
Let t(k) = k**3 + 8*k**2 + 8*k + 7. Let p be t(-7). Suppose p = -x + 1961 - 7079. Is x/4*(16/12 + -2) composite?
False
Suppose 3*u + 27 = 3*t, 3*u = 2*t - 2*u - 33. Suppose -t*f = -f - 9699. Is f composite?
True
Let r(g) = 16*g - 5 - 1 - 5 - 10. Let b be (-6)/10 + (-968)/(-55). Is r(b) a prime number?
True
Let q = 137 + -135. Suppose 2*m = -r + 2185, 0*m - q*m + 2188 = 2*r. Is m composite?
False
Suppose -85 - 195 = 7*k. Let h = -739 + 2333. Is (-5)/(k/h)*4 a composite number?
False
Let g(i) = -1693*i - 71. Let x be g(-14). Suppose -3*t - x = -5*j - 5*t, 3*j - 3*t - 14187 = 0. Is j a composite number?
True
Let t(l) = -333*l + 66 - 42 - 128. Is t(-10) a composite number?
True
Suppose 6*p = 9556 + 950. Let x = 2496 - p. Is x prime?
False
Let r(b) = 5*b**2 - b + 1. Let h be r(1). Suppose -z + 4*z = 5*u - 70580, -5*u + h*z + 70570 = 0. Is u prime?
False
Let o(c) = -1053*c**3 + 3*c**2 + 6*c - 1. Let s(q) = 1051*q**3 - 4*q**2 - 7*q + 1. Let h(y) = -5*o(y) - 4*s(y). Is h(1) prime?
True
Let m be (-1)/(-3) + (-20)/15 + -3. Let y be -45*((-996)/9)/m. Let a = y + 1876. Is a a composite number?
False
Let o(f) = f**3 - 8*f**2 + 7*f + 3. Let v be o(7). Suppose p + 0*x + 4*x - 304 = 0, -v*p + 4*x + 976 = 0. Let i = p + 315. Is i composite?
True
Let a = -103 + 108. Is ((-42)/(-8) - a)*22004 a prime number?
True
Suppose -3*i + 1283 + 1617 = -m, 4 = m. Let n = 3787 - i. Is n prime?
True
Let o be ((-10)/5)/(-1 + 136/137). Let x = 124 - o. Let h = 1807 + x. Is h a prime number?
True
Suppose 0*m - 3*m - 4*p = 36, m + 5*p = -23. Suppose 34*w + 48 = 18*w. Is (-4 + (-964)/m)/(w/(-6)) a prime number?
True
Suppose -2906991 - 3497305 = -50*y + 7539154. Is y prime?
False
Let a(y) = 20285*y**2 + 13*y - 165. Is a(8) composite?
True
Let n(a) = -a**2 + 18*a - 62. Let m be n(7). Suppose 0 = -3*d - m, 5*d = -2*v + v + 1192. Is v composite?
False
Suppose 27*j - 88920 - 1538624 = 1207105. Is j a prime number?
True
Suppose -56*c = -55*c - 48. Let q be 6 + (c/4)/(-3). Suppose -2*y + 184 = 5*u + 46, 0 = q*y - 4*u - 102. Is y composite?
False
Let x(o) = 5*o**3 + 2*o**2 + 9*o - 2. Let t(w) = 6*w**3 + 2*w**2 + 10*w - 3. Let m(g) = -4*t(g) + 5*x(g). Let z be m(8). Let y = z - -225. Is y composite?
False
Suppose 998*k - 30440 = 1003*k. Suppose 0*v = -4*v - 192. Is k/v + (-1)/(-6) a prime number?
True
Let v = -135833 - -255766. Is v a composite number?
True
Let y = 781 - 794. Is (28/(y + 27))/((-4)/(-28978)) composite?
False
Suppose -6*z = -3*r - z + 2122, -2146 = -3*r - z. Suppose c = 4453 - r. Is c prime?
True
Is 2338952/11 - 18 - 5 prime?
False
Let m be (-2)/9 + (-2)/((-90)/235). Suppose -4*d + 659 = -j, -m*j + 2*j = -15. Suppose d = -2*p + 7770. Is p prime?
False
Let j(s) = s**3 - 5*s**2 + 19*s + 5169. Is j(0) a prime number?
False
Suppose 526 = 13*n + 201. Suppose h = -y + n, -3*y - 2*y - 105 = -5*h. Is (h/(-3))/((-6)/((-936)/(-4))) a composite number?
True
Suppose 0 = 19*a - 18*a - 6. Let d = a - -37. Suppose d*y - 1535 = 38*y. Is y prime?
True
Is ((-73170)/162 - (-2)/(-6))*(-3)/4 composite?
True
Suppose -39767 = -3*n + 2*l, -2*l + 5053 + 34734 = 3*n. Is n a composite number?
False
Let g(o) = 3483*o + 115. Let m be 8*((-14)/(-4) + -3). Is g(m) a prime number?
False
Suppose 275310 = 2*a - 116619 + 79751. Is a a composite number?
False
Suppose 0 = p - 14028 + 1285. Is p a prime number?
True
Let p(b) = b**3 - 14*b**2 + 3*b - 21. Let c be p(10). Let h = -2517 - c. Let l = -1387 - h. Is