Let s = 276 - 277. Is s - 711/6*-68 composite?
True
Let j = -2776628 + 4115607. Is j composite?
False
Suppose 4*t - 325 = -2*j - 17, -3*j + 231 = 3*t. Let z = t + -53. Let u = -2 + z. Is u prime?
False
Let p(x) = 4*x**2 - 295*x - 293. Is p(108) a composite number?
False
Let a(d) = 254*d**2 + 51*d + 73. Is a(-60) prime?
True
Suppose 0*j = -4*x - 3*j + 11940, -8 = -2*j. Let p = x - 1534. Suppose -p = -7*n + 1331. Is n composite?
False
Suppose 15*l = 7*l - 64. Let b be (4*12/32)/(3/l). Is (568/12)/(b*(-3)/18) prime?
True
Let o = 335 + -101. Is 597532/o - (-4)/9 prime?
False
Suppose 0 = 2*c - 16*c - 62832. Let o = c - -12527. Is o a composite number?
False
Suppose -4*x + 10*x = 96. Let i(q) = 115*q**2 - 37*q + 101. Is i(x) prime?
True
Let y(w) = -2*w**3 - 88*w**2 + 8*w + 397. Let v be y(-44). Suppose -4*s + 122 = -3510. Let t = s - v. Is t a prime number?
True
Let t = -223385 - -637900. Is t a composite number?
True
Suppose 2*g = -2*c + 238050, -8 = -c + 5*c. Is g composite?
False
Let z be (-57714)/4*(-10)/15. Suppose z + 6927 = 2*o. Suppose -6*q = -41003 + o. Is q composite?
True
Suppose d + 3 = j, 3*j + d + 1 = 14. Let a(p) = 3*p**2 + p + 6. Let n be a(j). Let r = 143 - n. Is r a prime number?
False
Suppose -196*x = -191*x - 135. Is ((-843)/9)/(-1 - (-24)/x) a prime number?
False
Let h(s) = -33*s**2 + 4*s + 3. Let c be h(-1). Let d = c - -19. Is (-50)/d*(-33)/(-2) composite?
True
Suppose 0 = 21*a - 36680 - 19243. Let z = a + -1444. Is z a prime number?
False
Suppose a - 3*c - c = 432, 4*a - 5*c = 1706. Suppose -7*y + 2929 = -a. Is y composite?
False
Let t = 88 + -83. Suppose -2*n = 4*p - 11358, 4*n - 9736 - 12915 = t*p. Is n composite?
False
Suppose -o - 18 = -b + 3*o, -2*o = 4*b. Suppose -2*m + b*t + 110 = -6*m, 0 = -5*m + 3*t - 154. Let l = m - -66. Is l composite?
False
Let z be 19/2 - 7/(-14) - 1. Is 1/((z/(-54))/((-3389)/6)) prime?
True
Let o(b) = -317*b**2 + 14*b - 14. Let y(w) = 106*w**2 - 5*w + 5. Let s(i) = -3*o(i) - 8*y(i). Let p be s(-7). Suppose 3*f - 586 = p. Is f composite?
True
Let p(j) = -3 - 10 + 5*j + 299*j**3 + 6 + j**2. Is p(2) prime?
True
Let s = -346660 + 570587. Is s composite?
True
Suppose 2370*q - 3172697 = 2366*q + 3*i, 5*q - 3965923 = -2*i. Is q a prime number?
True
Let p(u) = -u**3 + 2*u**2 + 10*u - 2. Let d be p(4). Suppose -2 = g - d. Is -14*(g + (0 - 180/8)) composite?
True
Let g be (3/(3 - 4))/(6/(-4)). Suppose 149 = g*z - 9. Is z a prime number?
True
Suppose 73205 = 4*w + 11709. Let c = 1971 + w. Is c prime?
False
Suppose -3*z + 3*o + 30891 = 0, 0 = 5*z + 3*o - 56561 + 5036. Suppose -4*q - g = -13735, 0 = -3*q - 0*q - g + z. Is q prime?
True
Suppose 36*j + 7*j = 11311666. Suppose 29*r - j = 12177. Is r a prime number?
True
Let n(m) = -106*m**3 + 3*m + 2. Let p be n(-1). Let i = -97 + p. Suppose -i*x + 66919 = -4609. Is x prime?
True
Let d(h) = -15*h**2 + 2*h - 215. Let w be d(-23). Let c = w - -18329. Is c a prime number?
True
Let d(s) = -s - 71. Let v be d(-44). Is (-127840)/(-36) - (2 + 51/v) prime?
False
Let d(k) = 1355*k + 3176. Is d(27) composite?
False
Let t = 5019 - -707. Let i = t - -32313. Is i a prime number?
True
Suppose -19*h - 6335 = 4096. Is (h/6)/(66/(-2596)) a prime number?
False
Let j be (-16)/(-6) + 8*(-11)/(-264). Is (j/(-12))/(1 + (-215982)/215976) composite?
False
Suppose 73445 + 2670201 = 33*h + 63485. Is h prime?
False
Suppose -165 = -8*b + 3*b. Suppose -3*r = 3*d + b, 5*r + 53 + 12 = 5*d. Let q(s) = -118*s - 7. Is q(r) a prime number?
True
Suppose 4*l + 81 - 883 = -2*k, 4*l + 1203 = 3*k. Is k + -2 + -3 + 1 composite?
False
Suppose 0 = -f - 73 + 79. Is (-2978)/(-4)*(f + 0/5) a composite number?
True
Suppose 669904 = 7*c + y, -4*c - 8684 = y - 391485. Is c a prime number?
True
Suppose -44*y = -7273535 + 2785579. Is y prime?
True
Suppose -4789386 - 3497473 - 1869201 = -20*g. Is g prime?
True
Let p be ((-31)/93)/(1 + (-26)/24). Suppose p*a - 3*o - 6521 = 0, 5*a + o - 4955 = 3201. Is a prime?
False
Suppose 5*p + 3881 + 3999 = 0. Let q = p + 6419. Is q a composite number?
True
Let j be (0 + -2 - (-1 - -4))*-4. Let x be j/9 + 26/(-117). Suppose -x*k + 3*k - 307 = 0. Is k a prime number?
True
Let s(d) = 4*d**2 - 99*d - 5. Let l(a) = 5*a - 55. Let h be l(9). Is s(h) composite?
True
Suppose 99944346 - 29362711 + 21162781 = 288*i. Is i a composite number?
False
Let y be 2/(-15) - -3*(-208229)/(-315). Suppose -5*x + 5*g + 11860 = 0, -5*g + 5125 + y = 3*x. Is x a prime number?
True
Let h be (-117)/((-1)/(24/9)). Let b = h - 196. Let u = b + -82. Is u prime?
False
Is (7536 - -3)*2 + -24 + 25 composite?
True
Let v(h) = 2520*h**2 - 9*h - 15. Let w be v(-5). Suppose 5*y - w = o, -7*y + 3*y - 5*o + 50395 = 0. Is y a prime number?
False
Suppose -12 = 5*v - 32. Let b be (v - 17)/(-1 + 0)*-1. Let z(a) = 8*a**2 + 9*a + 20. Is z(b) a composite number?
True
Let r be (-1026)/(-247) - 2/13. Suppose 6*y - y - r*t = 15438, 5*t = y - 3096. Is y composite?
True
Let h(c) = 1461*c**3 - 10*c**2 + 2*c - 13. Let p(l) = -974*l**3 + 7*l**2 - l + 9. Let d(q) = 5*h(q) + 7*p(q). Is d(1) prime?
True
Let b(h) = 604*h**2 - 6*h - 10. Let s be b(-2). Let d = s - 1619. Is d prime?
False
Suppose -5*g - 6 = -7*g. Let j(v) = 16 + v**g + 21*v - 16 + 20*v**2 - 23. Is j(-17) composite?
False
Let s = 20 + -23. Let h(x) = 6*x - 72 + 77 - 5*x**3 - 3*x**2 + 3*x**2 + 3*x**2. Is h(s) prime?
True
Let j(u) = -2*u**3 - 7*u**2 - 4. Let a be j(-4). Let r = -39 + 645. Suppose -a*k = -r - 846. Is k composite?
True
Suppose 0*w - 5*d = -2*w + 17, 20 = 3*w - 2*d. Suppose w*z = -24251 + 382985. Is z/6 + 1/6 a prime number?
False
Suppose 3*w - 7*w - 16 = 0, 0 = -5*j + 2*w + 33. Suppose 2*q - 17525 = -3*o, -j*q + 8121 = -4*o - 35726. Is q a prime number?
False
Let n(m) = -648*m - 11. Let c be n(-1). Let o = -148 + c. Is o a prime number?
False
Suppose -192 = 68*j - 20*j. Is (-210)/(-55) + j + (-45249)/(-33) a composite number?
True
Suppose b + 9 = -q + 4*q, 4*q + b - 19 = 0. Let h be 4/q*27/3. Suppose -h*r - 22 = -1021. Is r composite?
True
Suppose 5*n - 62 - 15 = -i, 0 = 4*n - 3*i - 54. Suppose -5*u + 6*u - 28 = -c, n = -5*c. Suppose u*x + 1055 = 36*x. Is x composite?
False
Suppose 7*g - 84 = -0*g. Suppose s = 3*s + 4*q + g, -4*s - 5*q = 18. Is s*4/(-2) + 403 a prime number?
False
Let h be (-504)/84 + (-2 - 1) + 0. Let z(w) = 62*w**2 + 16*w + 29. Is z(h) a prime number?
False
Let j be 6083/(63/9) - (-5 - -1). Let l = j - -9578. Is l prime?
False
Let q(t) be the third derivative of -t**6/120 - 2*t**5/15 - 5*t**4/12 - 16*t**3/3 + 3*t**2 + 10*t. Is q(-15) prime?
True
Let a = 447183 + -224710. Is a a prime number?
False
Suppose 0 = 5*k - 5*u - 3235, 641 = k - 0*u + u. Let j = k - 219. Let n = j + 188. Is n a prime number?
True
Let c = 777 + -743. Suppose -55387 = -c*y + 84387. Is y a prime number?
True
Let c(u) = -225033*u + 353. Is c(-4) a composite number?
True
Let h(q) = 2*q**2 - 17*q + 14. Let g be h(7). Is (52597 - g)/4*1 composite?
False
Let g = -814 - -278. Let j = 1097 + g. Suppose -j = -d + 358. Is d composite?
False
Let z(x) = 14*x + 36 - 56 - 12*x**2 - x**3 + 28. Let w be z(-13). Is (-13)/65 + (-1476)/w a composite number?
True
Let h = 321 + -318. Suppose h*p - 4*c = -p + 64636, -p - 3*c = -16175. Is p a prime number?
False
Suppose 0 = -4*l + 5*g + 40, 5*l - l + g = 16. Suppose -l*y - 5886 = -41081. Is y a prime number?
True
Is 11 - (-226918 + (-150)/(-25)) prime?
False
Suppose 0 = 5*u + 3*z - 26620, 5*u - 3*z - 26620 = -8*z. Let b = -3171 + u. Is b a composite number?
False
Suppose -3 - 17 = -5*v + 5*n, 2*n - 16 = -4*v. Let w(a) be the first derivative of 7*a**4/4 - 4*a**3/3 + 5*a**2/2 + 3*a - 2. Is w(v) a prime number?
False
Let i(c) = -24*c - 5. Let h be i(11). Let r be 6/(-3 - 0) + 2 - h. Suppose -q + 924 = -r. Is q prime?
True
Is (-13)/(-65)*-38345*2/(-2) a prime number?
True
Let r(g) = 65*g**2 + 13*g - 33. Let w be r(11). Suppose -q + 2*u + 1692 = -973, 0 = -3*q + u + w. Is q composite?
False
Let o(l) = -8*l**3 + 3*l**2 + 12*l + 120. Suppose -5*h = 2*g + 25, -g = -3*h + 31 - 57. Is o(h) composite?
False
Let r(h) = -13659*h - 10496. Is r(-7) composite?
True
Let d(r) = 74*r**3 + 2*r**2 + r - 5. Let j be d(2). Let s = 1516 - j. Is s prime?
True
Let k(g) = -208*g - 2. Let m be k(-2). Suppose m = l + 88. Suppose -l = b - 2529. Is b a prime numbe