 number?
True
Let t = 72 - 56. Suppose -p + 12 = 3*p, -b - t = -5*p. Is (66/24)/(b/(-724)) prime?
False
Let x be (5/(-5) + (-2)/(-4))*-6. Is 1439*x/6*(-18)/(-9) composite?
False
Let l(p) = 73*p**2 + 38*p + 2. Let k be (1/4)/(18/(-360)). Is l(k) a prime number?
True
Let y(c) be the third derivative of c**6/120 - c**5/60 + c**4/24 - 20*c**2. Let s be y(0). Let a(f) = f + 1177. Is a(s) a composite number?
True
Let c = 47 - 51. Let w be (28/8 - c)/((-1)/4). Is (-12)/15 - 63054/w a composite number?
True
Suppose -y - 133*w + 128*w + 99489 = 0, y - 3*w - 99457 = 0. Is y prime?
True
Suppose h = 3*h - 10092. Suppose h - 876 = 5*q. Let g = q + -305. Is g a prime number?
False
Suppose 5*t + 120663 = k, -11014 - 471554 = -4*k - t. Is k prime?
False
Let j(p) = 4 - 2 - 4*p**2 - p + 3*p**2. Let x be j(0). Is (-14)/(-21)*4605/x a composite number?
True
Is ((-1 - 4)/(-15))/((-5)/(-2612055) + 0) a composite number?
False
Let h(n) = -2*n**2 - 62*n - 49. Let u be h(-30). Let g(v) = 2*v**3 + 6*v**2 + v + 4. Is g(u) a composite number?
True
Let p = 658973 - 378804. Is p prime?
False
Let s(n) = 0 + 3 + 2 + 0 + 12*n**2 - 10*n. Is s(9) a prime number?
True
Let q = 495 + -470. Suppose 11416 + 83409 = q*g. Is g a composite number?
False
Suppose -8*m + z = -4*m + 36, 3*m + 12 = -3*z. Is -1*(-25322 - (-7 - (m - -4))) a composite number?
True
Suppose 0 = 12*s - 23 + 83. Let z be (2 + 14/s)/((-32)/80). Suppose 2*x = 4*x - q - 4464, -z*q - 6697 = -3*x. Is x composite?
True
Suppose 10*g - 13*g + 4*s + 213879 = 0, 4*s = -4*g + 285172. Is g prime?
True
Let d(c) = 12*c - 20. Let v(t) = -t**2 + 6*t + 15. Let p be v(9). Let b be d(p). Is ((-411)/(-9))/(2 - b/(-84)) a prime number?
False
Let p(d) = -d**3 - 5*d**2 + 2*d + 15. Let s be p(-5). Suppose 0 = -3*m - 5*w + 13682, m - s*w - 4557 = -3*w. Is m composite?
True
Is (-9*(-20)/(-720))/(2/(-242576)) prime?
False
Suppose 0 = -3*v + h - 4*h + 51, -2*h = -5*v + 57. Let s = 31 - v. Suppose 0 = -s*k + 12*k + 5718. Is k prime?
True
Let h = 218432 + -155851. Is h composite?
False
Let f(a) = 795*a**2 - 3*a + 3. Let w be f(1). Suppose -2*q + 208 = -q. Let l = w - q. Is l a prime number?
True
Suppose 3*t = f - 3810, -t = 2*f - 2598 - 4994. Let i(p) = 75*p - 19. Let w be i(-16). Let m = f + w. Is m composite?
False
Let g = 50 - 44. Let d be g/12 - 33/6. Let b(i) = 71*i**2 + 9*i + 9. Is b(d) a composite number?
True
Let a = -190996 - -358179. Is a a composite number?
True
Let f = -1411 + 5704. Let c be f + (-6)/(4 + -1). Suppose -4*z + 11*z - c = 0. Is z composite?
False
Suppose -5*x - 125*m + 129*m = -60741, 12154 = x + 5*m. Is x prime?
True
Suppose 123967 + 131966 = 9*q. Suppose 54992 = 19*n - q. Is n prime?
True
Suppose -3*r + z = 41, -56 = 27*r - 23*r - z. Let s(a) = -217*a - 8. Is s(r) composite?
True
Let k be (0 + 6)*(-33)/(-6). Suppose 19*d + k = 90. Suppose -3*r + 5493 = -3*j, d*j - 8 = j. Is r a prime number?
False
Suppose -3*h + 5*x = 4, -h - 9*x - 8 = -4*x. Suppose 0 = -y + l - 14905, -2*l = 5*y + 3*l + 74575. Is (-1)/h + (-1)/(9/y) a composite number?
False
Let s be ((-4)/6)/((-54)/243). Suppose -j - 6002 = -l, -16334 = -4*l + s*j + 7679. Is l a composite number?
False
Let x = -1549 - 2036. Let t = x - -6238. Is t a prime number?
False
Let o(n) = 5718*n**2 + 20*n + 73. Is o(8) a prime number?
False
Suppose 3*q = k + 1869, 4*q + 0*k - 2494 = 2*k. Let j be (7/(21/72))/(3/q). Let b = j - 1069. Is b a prime number?
True
Suppose 0 = -o + 2, 5*q - 5*o = 680. Let b(c) = -c**2 - 5*c + 1. Let x be b(-8). Let f = x + q. Is f prime?
False
Let o = 37901 + -8808. Is o a composite number?
True
Let i be (-5)/20 + (-848)/(-64). Suppose -i*h = -9*h - 32228. Is h prime?
False
Suppose 2*p = -5*k + 92489, -5*p + 3*k = -3*p - 92481. Suppose 0 = -2*i + 4, 5*j - 2*i = p + 109929. Is j a prime number?
False
Let v(h) = -150*h**3 - 3*h**2 + 25*h + 66. Is v(-4) a composite number?
True
Let j(d) = 60*d**3 - 4*d**2 + 4*d - 2. Let c be j(3). Suppose 4*o + c = 262. Let b = o + 626. Is b prime?
True
Let z = -34 - -98. Let v(d) = 11*d - 64 + z. Is v(5) prime?
False
Let o = 201042 + -41603. Is o composite?
True
Suppose 4*j - 16 = 0, 14*i - 17*i - 6*j + 33021 = 0. Is i composite?
True
Suppose 64251 = 47*c + 27*c + 25*c. Is c prime?
False
Suppose -110*q - 4882443 + 15960697 = 264*q. Is q prime?
False
Let v(m) = 522*m**3 - 56*m**2 + 506*m + 37. Is v(13) a prime number?
False
Let u(b) = -278*b + 6211. Is u(-81) prime?
True
Let t = -16 + 19. Suppose 2*g + 2*u = 11245 + 12919, 0 = -4*g - t*u + 48323. Is g a prime number?
False
Let f(d) = -362*d + 430. Is f(-2) composite?
True
Let d(t) be the third derivative of 23/120*t**6 + 1/15*t**5 - 19*t**2 + 0*t - 1/12*t**4 - 1/3*t**3 + 0. Is d(3) a composite number?
True
Suppose 6*p + 250 = 214. Is (-45)/(-18) - 3267/p composite?
False
Suppose 3*l + 116 - 848 = 0. Let f(g) = -l*g + 3 + 525*g + 603*g. Is f(1) prime?
True
Suppose 33264 = 5*c + 2*p - 128123, 2*c - 3*p - 64570 = 0. Is (-263)/(-1315) - (-1 - c/5) a prime number?
False
Let f(v) = 80*v**3 + 6*v**2 - 6*v - 1. Let z be f(3). Suppose -2*x + 3*j + 1472 = 0, -2*x + 5*x + 2*j - z = 0. Is x a composite number?
False
Let s = 3284 - 1152. Let x = s + 9065. Is x a prime number?
True
Let c = -3 + 2. Let n(i) = -4636*i**2 + 22*i - 9. Let w(b) = -1158*b**2 + 5*b - 2. Let t(m) = 2*n(m) - 9*w(m). Is t(c) a prime number?
True
Let v = -2744 - -1535. Let h be (-562)/1405 + (-44)/(-10). Is h + (0 - v)*1 a composite number?
False
Suppose 33*a = 35*a + 3274. Let x = a - -3135. Suppose 9*w - x = 7*w. Is w prime?
False
Let s = 564 + -807. Let c(j) = -88*j**3 - 4*j**2 - 5*j + 9. Let r be c(2). Let w = s - r. Is w composite?
True
Suppose -13*p = 37074 - 145676. Is p composite?
True
Let v = -1578 + 26177. Is v a prime number?
False
Let l be (6/(-24) - 5/(-4))*21. Suppose -l*k = -30*k + 8082. Is k composite?
True
Is 136013*-8*21/(-168) composite?
False
Suppose 57*x = 54*x. Suppose 55879 = 5*a + 2*z - x*z, -2*a - 3*z = -22345. Is a a prime number?
True
Is 3124225/30 + 1/6 a prime number?
False
Let a(q) be the second derivative of 3/4*q**5 + 0 - 9*q - 1/6*q**3 + 1/6*q**4 - 5/2*q**2. Is a(3) a prime number?
False
Is 2*3/15*(-12 - -398467) - -1 prime?
False
Suppose 19 + 15 = 5*m - 2*y, 12 = 4*y. Is 37429*((-385)/49 + m) prime?
True
Let l(k) = 164*k**2 + 45*k - 91. Is l(-10) composite?
False
Let l = -5561 - -55822. Is l a prime number?
True
Suppose -5*p + 4401 = 1866. Let f = p - -43. Let l = f - -289. Is l a composite number?
False
Suppose 0 = 2*s + a - 240191, 143*s - 3*a - 240171 = 141*s. Is s a composite number?
True
Suppose -10*l + 250512 = -6*l + 3*j, 0 = -5*l + 5*j + 313175. Suppose -5*d = -4*a - l, 4*a + 9209 = 2*d - 15841. Is d a composite number?
False
Is -37 + 22 + 26 - 14*-12762 a composite number?
True
Let x(h) = h**3 - h**2 + h - 13. Let k be x(3). Let f(n) = 25*n**3 + 8*n**2 - 10*n + 21. Is f(k) a prime number?
False
Let a(n) = 31*n**2 - 262*n + 21. Is a(-118) composite?
True
Is (-340)/204*(-125931)/5 prime?
False
Let p(x) = 2*x**3 - 14*x**2 - 13*x + 9. Let y be p(14). Suppose -2 = -j - j. Is (8 + y)*((j - 0) + 0) prime?
True
Suppose -8*q + 1452539 + 1992771 = 14*q. Is q a composite number?
True
Let j be (-6)/8 - (-8)/((-192)/(-191874)). Let p = j - 3303. Is p a prime number?
True
Suppose -3*y + 15 = -6*y, 0 = -4*f + 2*y + 44602. Suppose -5*s = -6 - 59. Suppose z + f = s*z. Is z a prime number?
True
Suppose 34*i = 929 + 499. Suppose -i*r + 31915 = -29*r. Is r prime?
False
Let c = 496 + -494. Suppose 2*o - 37965 = -5*g, -g - 3*g + c*o = -30372. Is g a prime number?
False
Let o = -1202 - -1156. Suppose -5*p + 555 = 4*k + k, 0 = -5*k - 10. Let f = p + o. Is f composite?
False
Suppose -4*k = 3*f - 4, -8*f + 3*f = -k + 24. Let i(b) = 643*b - 13. Is i(k) composite?
True
Suppose 0 = 3*w - 27 + 9. Let q(t) = 3 - 2*t - 1605*t**3 + t + 1607*t**3 + 4 - t**2. Is q(w) composite?
False
Let q = 132 - 82. Suppose -4*i + q = 6*i. Suppose k - 3*k = -4, -5*s + 8295 = i*k. Is s composite?
False
Let x(h) = 19*h + 295. Let o(s) = 39*s + 590. Let k(v) = 3*o(v) - 7*x(v). Is k(-42) composite?
True
Is (33/(-18))/(17/(-458286)) prime?
False
Let t(h) = h**3 + 9*h**2 - 23*h - 12. Let l be t(-11). Let b be -44*-34*l/(-4). Suppose 3*z - 199 = b. Is z a prime number?
True
Let o(u) = -u**3 - 4*u**2 + 4*u - 56. Let 