) = -c**3 - 7*c**2 - 6*c + 7. Let a be o(-6). Is s(a) composite?
True
Suppose -2*i + 10 = 0, l - 3*i = -4*i + 13. Suppose -7*r + l*r - 7 = 0. Is (364/(-49))/((-2)/r) a composite number?
True
Let r(f) be the second derivative of f**3/6 + 2*f. Let n be r(3). Is ((-3)/n)/((-1)/86) composite?
True
Suppose -25 + 202 = 3*o. Is o prime?
True
Let v(x) = 271*x + 15. Let s(k) = 407*k + 22. Let z(r) = 5*s(r) - 7*v(r). Is z(4) a prime number?
True
Suppose -103 = -3*h + 5. Let m be (-8)/h - (-26373)/(-27). Let l = m + 1608. Is l a prime number?
True
Let j(a) = 8*a**3 - 4*a + 3. Let c be (-9)/27 - 62/(-6). Suppose -4*o + c = 2. Is j(o) a prime number?
True
Is (22637*12/(-18))/(4/(-6)) a prime number?
True
Let v = -469 - -706. Suppose 9435 = 7*p + v. Let c = p - 749. Is c prime?
False
Suppose 3*t - 7*t = -2052. Suppose 0 = u - 1, -2*r + t = -u + 6*u. Is r a prime number?
False
Let p(d) = -471*d**3 - 3*d**2 - d + 3. Let y = 75 + -77. Is p(y) composite?
False
Is ((12 + 746023)/(-19))/(0 - 1) a prime number?
False
Is -13*((-4)/1)/(-12)*-381 a composite number?
True
Suppose q - 4 = 4. Suppose 3*a + f + 2334 = q*a, 3*a + 3*f - 1404 = 0. Is a a composite number?
False
Suppose 4*k - 20 = -k. Suppose -k*t = t. Suppose 4*j = -4*z + 616, 4*j + t*z - 619 = -3*z. Is j prime?
True
Suppose -y - 12 + 18 = 0. Suppose -3*c = 3*r - 1212, y*r = 3*c + 7*r - 1216. Suppose -u - j = u - 406, -2*u - 5*j + c = 0. Is u a prime number?
False
Suppose -12*j + 20692 = -22952. Is j a composite number?
False
Let y be 6/4*-2 - -2. Let f = 42 - 56. Is (22*f/4)/y a prime number?
False
Let t = 55 - 50. Suppose z + 295 = 2*z - 2*x, -626 = -2*z - t*x. Is z composite?
True
Let r = 7681 + -4294. Suppose 3*o - r = -3*m, o = -0*o + m + 1123. Is o prime?
False
Let f(j) = j**2 - j - 1. Let b(i) = -116*i**2 + 7*i - 1. Let m(t) = -b(t) - 2*f(t). Is m(2) prime?
True
Suppose 0 = 3*b - 4*l - 6186, 5*b - 7*l = -6*l + 10310. Is b prime?
False
Suppose 5*z = -0 + 10. Suppose z*t - 266 - 218 = 0. Suppose 0 = 4*d - t - 322. Is d a prime number?
False
Let l be 213*(46/6 + -4)*1. Let v = 1368 - l. Is v composite?
False
Let w = 544 + 862. Suppose 5*i - w = 1109. Is i a prime number?
True
Let x(f) = 6*f**3 + 4*f**2 + 5*f + 1. Let b be 4 + (3 - 0) - 3. Suppose b = 9*n - 8*n. Is x(n) prime?
False
Suppose -5 = 2*r - 11. Suppose -5*m = r*j - 30, 2*m - 5 - 15 = -2*j. Is 9/(-15) + 1796/j a composite number?
False
Let v = -351 + 238. Let s = v - -242. Let g = 430 - s. Is g a composite number?
True
Suppose 42*t = 39*t + 5403. Is t a composite number?
False
Suppose 5*w - 31226 = -11886. Is (w/8)/((-1)/(-2)) prime?
True
Let u = -7 - -10. Let a(f) = f**3 - 4*f**2 - f + 3. Let x be a(u). Let b = x + 74. Is b composite?
True
Suppose -3*y = -y - 400. Let f = 33 + y. Is f a prime number?
True
Let c(f) = -f**3 + 11*f**2 - 7*f - 13. Suppose 6 = 2*m, 2*s + 4*m - 5 = 5. Let i(p) = 10*p**2 - 1. Let r be i(s). Is c(r) prime?
False
Suppose -12*a + 92330 = -15634. Is a a composite number?
True
Let c(i) = -i**2 + 9*i - 3. Let t be c(8). Suppose -8*y = -t*y - 18. Suppose 0 = y*s - 1223 - 283. Is s prime?
True
Let b(t) = 29*t**2 - t. Let s = -7 - -8. Let l be b(s). Let j = 114 - l. Is j a composite number?
True
Let h(x) = x**2 + 4*x - 2. Let z be (-3)/(-2)*(-100)/30. Let k be h(z). Suppose 2*r - 120 = m, 3*m = r + k*r - 242. Is r prime?
True
Suppose 0 = 4*a - 3*h + 54, -3*h - 54 = -3*a - 96. Let l(x) = 3 - 5*x - 16*x + 2. Is l(a) a composite number?
False
Let x(y) = -89*y**2 + 4*y + 5. Let l be x(-2). Let h = l - -1021. Is h composite?
True
Let g(p) be the first derivative of -5*p**2 - 4. Let v be g(-13). Suppose -2*k - v = -4*k. Is k composite?
True
Suppose 0 = -149*o + 145*o + 25932. Is o a composite number?
True
Let p(n) = 2*n**2 + 2*n + 25. Let t be p(-17). Suppose -i - 2296 = -4*w + i, -t = -w - 2*i. Is w prime?
False
Is (-6)/10 + 46/10 - -26301 prime?
False
Suppose 5*k = -3*u + 19718, 5811 + 2071 = 2*k - 4*u. Is k prime?
True
Let y(k) = 28*k**2 + 15*k + 84. Is y(-13) a composite number?
False
Let p(r) = r**2 + r - 1. Let d(q) = 501*q**2 + 3*q + 8. Let a(k) = d(k) + 3*p(k). Is a(4) prime?
True
Suppose -5*i = -3*y + 8977, 8*y - 14945 = 3*y + 5*i. Let w = y + -223. Is w prime?
False
Let r = -1 - -4. Suppose 4 = j + w - r*w, 4 = -4*w. Suppose 0 = 2*s - j*o - 634, -4*s + 1274 = -2*o + o. Is s a prime number?
False
Suppose 3*z + 30*z - 150711 = 0. Is z prime?
True
Let b(j) = -11*j**3 - 10*j**2 - 15*j - 25. Let i be b(-12). Let y = i + -10890. Is y composite?
False
Let d = 2 + 0. Suppose 3*f - 240 = -5*i + 2*i, -i + 5*f + 62 = 0. Suppose i + 177 = d*m. Is m a composite number?
False
Let c be -1 - (3 + -4) - 3. Let d be -1*(c - -4) - -4. Suppose p + d*p - 298 = -3*l, -4*l + 4*p = -360. Is l a prime number?
False
Suppose v + 4*h + 2 = 0, -4*v - 3*h + 3 = -v. Suppose 3*a + 3 = 4*n + 16, 0 = v*a - 4*n - 10. Suppose a*t = 2*z - 278, 4*z - 2*t = 2*t + 556. Is z composite?
False
Let l = -4747 - -26733. Is l composite?
True
Let l(n) be the second derivative of -1/6*n**3 + 0 - 7*n - 1/12*n**4 + 67/2*n**2. Is l(0) prime?
True
Suppose -2*m - 7167 = -3*l, -9*l = -8*l + 3*m - 2400. Is l prime?
False
Let u(m) = m**2 + 10*m + 9. Let i be u(-7). Let g be ((-174)/4)/(9/i). Suppose 2*b + 0*c = 5*c + g, 4*b + 5*c - 146 = 0. Is b prime?
False
Let r(g) = 2*g**3 + 92*g**2 + 45*g + 74. Is r(-45) prime?
True
Let a(p) be the second derivative of -p**4/12 - 17*p**3/6 + 7*p**2/2 + 6*p. Is a(-10) prime?
False
Let j = 3413 - -15486. Is j prime?
True
Is ((-25928)/20)/((-4)/10) - 2 composite?
True
Let v be 1*(-1)/2*-4. Suppose 0 = -31*w + 42*w. Suppose -4*z - v*j + 7032 = w, 0*j + 1765 = z + 4*j. Is z prime?
False
Suppose 3*j + 9 = 39. Suppose -j*h + 1194 = -4*h. Is h a composite number?
False
Suppose 109*c - 2734262 = 47*c. Is c prime?
True
Suppose 20*f - 503961 = 508099. Is f composite?
True
Suppose 19*m - 908132 = -73*m. Is m composite?
False
Suppose -5*w - 56*p + 52*p = -1885, -w = 2*p - 383. Is w composite?
False
Let o(z) be the first derivative of z**7/840 + z**6/360 - z**5/120 + 23*z**4/8 + 2*z**3/3 - 8. Let x(g) be the third derivative of o(g). Is x(0) composite?
True
Let w = -26157 - -50474. Is w a composite number?
False
Suppose 1722 = -4*s - 658. Let o = 902 + s. Is o a composite number?
False
Let p = 42 - 39. Suppose -h + 1 + 2 = 0, p*h = -m + 276. Is m composite?
True
Suppose 2*w = 3*c - 33100, w + 22067 = -c + 3*c. Suppose 2*s + 2*d - 7502 = 0, -251 = -3*s + 5*d + c. Is s composite?
True
Suppose 5*j + 16 = 1. Let u be (-1 - 641)/(6/j). Suppose -y = -0*y - u. Is y prime?
False
Let r be (-77)/55 + (-2)/(-5). Let m = r - -68. Is m composite?
False
Let z(r) = -r**3 - 8*r**2 - 4. Let q be z(-8). Let g(n) = -4*n**3 + 5*n**2 - n - 5. Let d be g(q). Is (d/25)/((-1)/(-5)) a composite number?
False
Suppose -3*p = 5*k - 392, 2*k = 4*p + 6*k - 536. Is p composite?
False
Let r(x) = 20*x**2 + x. Let c be r(-1). Suppose -3*b + 592 = c. Is b prime?
True
Let n = 445073 - 274020. Is n prime?
True
Let u = -13 - -18. Suppose 0 = 3*c - u*g - 1918, 3*c - 1278 = c + 4*g. Is c a composite number?
False
Is (-310304)/(-12) + 5/15 composite?
True
Let d(a) = 34*a - 33. Let m be d(5). Suppose -x + 1642 + m = 0. Is x prime?
False
Is 21/(-63) - 131608/(-12) composite?
True
Let n(s) = 16*s + 1. Let y be n(4). Suppose l = 6*l - y. Suppose 68 = k + l. Is k composite?
True
Let s = -5040 + 7543. Is s prime?
True
Let l(w) = -3*w**2 + w - 2. Let x be l(2). Let f = x + 14. Suppose f*a - 115 = a. Is a a prime number?
False
Let g = 378 - -314. Suppose 2*s + g = h - 975, -4*s = 20. Is h prime?
True
Suppose 79*d + 22505 = 86*d. Is d a composite number?
True
Let m be (2 + -2196)*1/(-2). Suppose -m + 5497 = 5*v. Suppose -y + v = 5*k + 211, 536 = 4*k + y. Is k prime?
False
Suppose -3*i + 17 = -1. Suppose i*s - s = 415. Is s a composite number?
False
Suppose -2*h = -6*h + 8. Suppose -5*o + 3*p = -2*p - 1245, -h*o = 4*p - 510. Is o composite?
False
Suppose -14*s + 114071 = 23*s. Is s a prime number?
True
Let x = 16 + -13. Suppose 2*n + 3*n = x*f - 31, -2*f = 2*n + 6. Is 4 + (-2 - (f - 65)) composite?
True
Let x(r) = -42*r**3 - 21*r**2 - 5*r + 1. Is x(-5) composite?
False
Suppose -10118 = -b - d, 2*b - 6132 = 3*d + 14129. Is b a composite number?
True
Let y = 4648 - -3457. Is y a prime number?
False
Su