False
Let j = 9543 - -7942. Suppose 3*i = -2*i + j. Is i prime?
False
Let l = 558 - -15499. Is l a composite number?
False
Suppose -1463651 = -4*c - 5*r - 469449, 5*r - 30 = 0. Is c a prime number?
True
Suppose -6*w - 2 = -20. Suppose -21 = -4*m - 5*y, -5*m + 27 - w = 4*y. Suppose -m*u + 2*u = -574. Is u prime?
False
Let c = -347 - -356. Suppose -c*x = 18*x - 48627. Is x a composite number?
False
Suppose -13 = -a - 11, -5*a = x - 14. Is (8/12)/(x/9366) composite?
True
Let n = -380 - -587. Suppose 205*u = n*u - 14302. Is u a composite number?
False
Let k(z) = -25*z**3 - 31*z**2 - 34*z + 193. Is k(-21) prime?
True
Let s = -349411 + 563828. Is s composite?
True
Let t = 129 + -65. Let j = t + -48. Is (223/2)/(j/160) prime?
False
Is 14/10 + 10277388/55 a prime number?
False
Suppose 0 = 2*m + b - 6, 3*b + 17 = 5*m + 5*b. Suppose m*x + 3076 - 9491 = 0. Is x composite?
False
Let x(j) = 11*j**2 + 90*j + 7. Let o(t) = -16*t**2 - 135*t - 10. Let s(h) = 5*o(h) + 8*x(h). Is s(-23) prime?
True
Let v(t) be the second derivative of t**5/10 - 7*t**4/12 + 9*t**3/2 + t**2/2 - 126*t. Let k = -26 - -31. Is v(k) a prime number?
True
Suppose -257*f + 31101178 = 39*f + 90*f. Is f a prime number?
False
Let r be (-1)/(-1) - (-3 + (294 - -5)). Let a = r + 1862. Is a composite?
False
Is 1779000 + (16/(-12)*-3 - (73 - 62)) prime?
True
Let u = 4084 + 12099. Is u a composite number?
False
Suppose 177*g = 165*g + 516. Suppose -44*v = -g*v - 6281. Is v prime?
False
Suppose 218389 = p - 0*a + 2*a, 3*p + 3*a - 655167 = 0. Is p composite?
False
Suppose 8*h = 12*h + 52. Let z(x) be the third derivative of -x**6/120 - 11*x**5/60 + 13*x**4/24 - 4*x**3 - 11*x**2. Is z(h) a composite number?
True
Let c = 677 + -57073. Let q = 79587 + c. Is q composite?
True
Suppose 0 = -2*s + 8*s + 60. Let w(v) = 10*v**2 - 3*v + 7. Let n(z) = -11*z**2 + 3*z - 6. Let r(i) = 6*n(i) + 7*w(i). Is r(s) a prime number?
True
Let u(q) = -55*q - 71. Let g = 30 + -46. Is u(g) composite?
False
Let n = 2804 - -7837. Let r = n + -4722. Is r a composite number?
True
Let z(y) = 114*y**2 - 6*y + 41. Let h = -455 - -443. Is z(h) prime?
True
Is 2591/5*2654/6 + 4/(-30) a composite number?
False
Let l = 540968 - 248586. Is l prime?
False
Let g(w) = -3*w**3 + 3*w**2 - 2*w + 3. Let y be g(3). Let v = 74 + y. Suppose v*t - 22*t = -18295. Is t a prime number?
True
Let t(g) = 4*g**2 + 32*g + 12. Let z be t(-8). Is (-4 - -7)*347/z*68 composite?
True
Is ((167289/15)/(-1))/((-10 - -31)/(-105)) composite?
False
Let v(j) be the third derivative of 25*j**4/12 + 43*j**3/6 + 51*j**2. Suppose -2*t - 22 = -4*s, -2*t + 34 = 3*s - 0*t. Is v(s) prime?
True
Let g = 346248 + -192149. Is g a composite number?
True
Suppose -63 = -5*m + 2*x, 4 + 12 = -4*x. Suppose m*i - 8474 = 8664. Let g = i - 671. Is g a composite number?
False
Suppose -89*i + 86*i + 9 = 0. Suppose -5*o = 2*v - 2029, i*v = -5*o + 1780 + 1256. Is v prime?
False
Let a(c) = -c**3 + 19*c**2 - 2. Let s be a(19). Let q(b) = 1816*b**2 - 4*b - 1. Is q(s) a composite number?
True
Let n(z) = z**3 + 2*z**2 + 30*z - 5. Let i(x) = 16*x - 84. Let u be i(6). Is n(u) prime?
True
Let f(h) = h**2 - 2*h + 3. Let k be f(1). Suppose -g - 5 = -k*g. Suppose 0 = v + g*n - 1525, 3*n + 7 = 1. Is v a composite number?
True
Let c(p) = -240*p - 707. Is c(-21) prime?
False
Let f be 23/8 + 2/16. Suppose 6758 = f*x - x. Is x a prime number?
False
Is (14 + -1010842 + 5)/(-3) a composite number?
True
Let k(a) = 5*a**2 - 7*a + 6. Let q be k(2). Suppose 0 = -16*y + q*y + 4. Suppose 2*g - 1341 = -i, y = 2*i + 3. Is g composite?
True
Suppose 7*r = 9*r - 4. Suppose r*i = 5*c - 25, 5*i + 70 = 8*c - 3*c. Is (-6)/(18/i) - -1688 a prime number?
True
Let u(p) be the first derivative of -127*p**2/2 + 6*p + 74. Is u(-13) a prime number?
True
Let k(r) = -r**3 + 19*r**2 + 15*r - 4. Let n(s) = 3*s - 19. Suppose 3*l - 50 = -14. Let x be n(l). Is k(x) prime?
True
Let s(o) = 518*o**2 + 262*o - 89. Is s(-22) a prime number?
True
Is 275302 - (1 + 35/(-20))/(2/(-8)) a composite number?
False
Let x = 13802 + -561. Is x a prime number?
True
Let h(i) = 11*i**2 + 2*i + 9. Let x = 65 + -64. Let v be (-14)/4 - x/2. Is h(v) composite?
True
Suppose 1 = 2*n + 27. Let s(m) = -m**2 + m. Let h(p) = 8*p**2 + 11*p + 10. Let w(f) = h(f) + 6*s(f). Is w(n) a composite number?
False
Suppose -5*y - 6*i = -2*i + 2, 2*i = y - 8. Is ((-117125)/75)/(y/(-6)) prime?
False
Let r(z) = 9*z**3 - 11*z**2 + 48*z + 32. Let x be r(8). Let n be 1/(-2)*0 + -2975. Let y = n + x. Is y a prime number?
False
Let l(c) = -2827*c - 248. Is l(-25) prime?
False
Let w = 32895 + -17459. Suppose -5*r = -u - 2*u + w, -3*r = -3. Is u prime?
True
Let v = -76 + 72. Let l be (-6)/(-4) - v/8. Is (6 - 2839)/(l/(-2)) prime?
True
Let v(p) = 92592*p**3 + 6*p**2 - 2*p - 13. Is v(2) prime?
False
Let j = -84446 + 193999. Is j a composite number?
True
Let o(z) = -2559*z - 3. Suppose 4*w + 6 = -2. Let i be o(w). Suppose -9*v + 816 = -i. Is v composite?
False
Suppose -6*u = r - 3*u + 4384, -3*r = 5*u + 13132. Let k = 534 - r. Is k prime?
True
Suppose 68*t = 4730791 - 287796 + 1119337. Is t a composite number?
False
Suppose 0 = -2*l + 5*n + 958, 5*l - 4*n - 1824 = 571. Suppose -5*b = -4*s - l, 4*s + b - 4*b = -473. Let k = 433 + s. Is k composite?
False
Let b be (-19 - -16) + 3*1. Suppose 7*z + 4*l + 5091 = 8*z, 5*z - 2*l - 25401 = b. Is z a composite number?
True
Let y be 2*(1/(-2) + 8 + 4). Suppose y*c + 20 = 28*c. Suppose 3*j + 195 - 769 = c*a, -380 = -2*j + 4*a. Is j a composite number?
True
Suppose -4*v + 2*v = -3384. Let i = v - 433. Is i a composite number?
False
Let y be (2/8)/((-4)/(-16)). Let h(q) = 834*q**2 + q - 1. Let z be h(y). Let v = -301 + z. Is v prime?
False
Let d be (-4)/(-2*10/15). Suppose 5*t - 4*t + 2*h + 15 = 0, 15 = -d*h. Let s(q) = 9*q**2 + 12*q + 4. Is s(t) composite?
True
Suppose -303086 = -10*m - 92436. Suppose 5*l = o + 4*o + m, l + 2*o = 4213. Let w = l + -1104. Is w a prime number?
True
Suppose 22*m - 25 = 27*m, -8*m - 54129 = -w. Is w a composite number?
True
Is 2*20924 + (-385)/77 a composite number?
False
Suppose -22*o - 91 = -25. Let b(r) = -1 - 1 - 51*r + 4 + 2. Is b(o) prime?
True
Let n(b) = 4*b + 445. Let f(p) = -8*p - 80. Let d be f(-10). Let o be d/(2*6/(-4)). Is n(o) a composite number?
True
Suppose 80*b + 26*b - 17*b - 15419161 = 0. Is b prime?
True
Suppose -2*i - 4*l = -848, 3*i = 6*i + 3*l - 1269. Let a = 955 - i. Is a a prime number?
False
Suppose 0 = 2*o - 7*x + 8*x - 893766, -x = -4*o + 1787520. Is o prime?
True
Suppose -4*k + 18517 = -69243. Let o = k + -15161. Is o composite?
False
Suppose 2*q - 1091 - 1081 = 0. Suppose -9*m - 2958 = -q. Let n = m - -627. Is n a prime number?
True
Suppose 0 = 6*o + 2533 + 6983. Let c = -489 - o. Is c a composite number?
False
Suppose -26*q = 376527 - 1189833. Is q prime?
False
Let a(p) = 17*p**2 + 17*p + 33. Let y(s) = -10*s - 32 - 12*s + 21*s. Let h be y(-22). Is a(h) composite?
True
Let q(o) = -142*o**2 - o + 8. Let r(s) = -140*s**2 + 6. Let d(y) = -3*q(y) + 2*r(y). Is d(-7) a prime number?
True
Let w = 590733 - -45421. Is w a composite number?
True
Let j = 60464 + -42201. Is j a prime number?
False
Suppose -2*k + 4*g + 314164 = 0, 4*g = -2*k - g + 314119. Suppose -35076 - k = -44*s. Is s a prime number?
False
Let o(s) = 3148*s + 415. Is o(6) a composite number?
True
Suppose 2*j = -t - 0*t + 8, 4*j - 40 = -5*t. Let z = 1254 - 1252. Suppose t*c - 2099 = 3*c - z*v, -3*c + 2*v + 1253 = 0. Is c a prime number?
True
Is 9*(-4)/48*(-957552)/36 a composite number?
False
Suppose 0 = 26*d - 22*d - 4*t - 24, -3*d - 2*t + 13 = 0. Let l(a) = -a**2 + 4. Let j be l(0). Suppose -i + j*x = -d*i + 1616, 2*i = 3*x + 833. Is i prime?
True
Suppose -6*h - 2*h = -90560. Let d = h + -7049. Is d prime?
True
Let o(q) = 36*q**3 + 36*q**2 - 26*q - 196. Let l(d) = -7*d**3 - 7*d**2 + 5*d + 39. Let p(m) = 11*l(m) + 2*o(m). Is p(-6) a composite number?
False
Let s = -113770 - -165663. Is s prime?
True
Is (3 + (-2 - (-2)/(-1)))*-24833 composite?
True
Let w = -73 - -80. Suppose 0 = -0*c - w*c + 301. Suppose -c*g = -45*g + 13874. Is g prime?
False
Let q = -78593 + 177256. Is q a composite number?
False
Let u(h) = -h + 1. Let y(i) = 7. Let w(n) = -u(n) + y(n). Let v be w(-16). Is (4/22 - v/(-55)) + 419 prime?
True
Let f(t) = t**2 - 10*t