et p(c) be the first derivative of 2*c**3/3 + 13*c**2/2 - 18*c + 17. Is p(-15) a composite number?
True
Let z = 7 + -2. Suppose -23647 = -18*i + z*i. Is i a composite number?
True
Let r = 158 + -75. Let j be r/(-4) + (-9)/36. Is 2 + (2 - j) - 3 prime?
False
Let y = -24 + 23. Is 315 - (-4 - (-3 - 0 - y)) prime?
True
Let r(f) be the first derivative of -9*f**2/2 + 20*f + 2. Let v be r(6). Let q = v - -56. Is q composite?
True
Is (-3295)/2*60/(-150) - 0 a composite number?
False
Suppose 504*n - 74073 = 501*n. Is n prime?
True
Suppose 5*v - 2286 - 2899 = 0. Let f = v + -118. Is f composite?
False
Let m(k) = 18*k**2 - 9*k - 2. Let n(s) = s**2. Let j(z) = m(z) + 3*n(z). Let f be j(5). Let i = f - 332. Is i composite?
True
Let u(x) = 32713*x**2 - 10*x + 8. Is u(1) prime?
False
Let i be ((-6)/(-8) - 1) + (-3477)/(-244). Suppose -i*p + 18*p = 1948. Is p composite?
False
Let p(z) = 115*z**2 + 2*z + 1. Let b be p(2). Let s = b + -139. Let f = 457 - s. Is f prime?
True
Suppose u = 4*c - 9, 9 = 2*u + 4*c - 9. Suppose 2*f = s - u, 4*s - 2*f - 2*f - 12 = 0. Suppose 5*m = h + 637, -s*m - 146 = -5*h - 537. Is m a prime number?
True
Let v(x) = 21*x**3 - 6*x**2 - 3*x + 2. Let z(h) = -10*h**3 + 3*h**2 + h - 1. Let n = 29 - 31. Let c(i) = n*v(i) - 5*z(i). Is c(2) prime?
False
Is 2*-1 - 8502417/(-77) prime?
True
Let y(p) = 10*p**3 + 9*p**2 - 10*p + 2. Is y(7) composite?
False
Suppose -4 = k - 5, -s + 581 = -5*k. Is s a prime number?
False
Let q = -4 + -2. Suppose 2*v + 3 = -29. Let i = q - v. Is i prime?
False
Let m = 18358 + -8831. Is m composite?
True
Let p be (100/30)/(2/18). Let j = -11 + p. Is j composite?
False
Suppose -5*a = -a + 4. Is a + 3 - -627*1 composite?
True
Let y = 24402 + -15451. Is y a composite number?
False
Let x = 13018 + -1241. Is x a composite number?
False
Suppose 0 = -3*h + 10*y - 6*y + 86081, 5*y = -5*h + 143410. Is h composite?
False
Let u be 0/(1 + 1) + 70. Suppose -o = -5*h - 2*o + u, -o = -h + 20. Suppose -2*p + 5*p = j + 21, -3*p + h = j. Is p prime?
False
Suppose -4*s = -f + 985, 7 = -2*s + 13. Is f a composite number?
False
Let x(y) = -2*y**2 + 3*y - 3. Let q be x(2). Let i(u) be the second derivative of -u**5/20 + u**4/6 - u**3/6 + 5*u**2/2 + u - 5. Is i(q) a composite number?
True
Let a = 36 - 52. Let p = 129 - a. Is p a prime number?
False
Suppose 3*v - 2*n - 102685 = 0, -5*v + 8447 = 5*n - 162728. Is v a composite number?
False
Suppose -28*z + 34*z = 126942. Is z a prime number?
True
Suppose -170*k + 214435 = -157*k. Is k a prime number?
False
Let s be (-3)/(6/8) + (-40)/5. Let y(w) = -112*w - 29. Is y(s) composite?
True
Suppose -713*f + 9564 = -709*f. Is f composite?
True
Let h(z) = 3*z - 1808. Let s be h(0). Let m = s - -4377. Is m a prime number?
False
Suppose 2*z = 5*c - 0 + 4, 4*z + 3*c - 8 = 0. Suppose 79 = z*a - 3*f, 2*a = -a - 3*f + 96. Is (a/4)/(4/16) a prime number?
False
Is (-22 - 1 - -2)*2117/(-219) prime?
False
Let g(s) = 9*s + 82 - 164 + 92 + 46. Is g(17) prime?
False
Let n = -44 + 188. Is 1 + -1 + n - 3 a prime number?
False
Let w be 2289/49 - 2/(-7). Suppose -927 = -4*s - w. Let c = s - 3. Is c prime?
False
Let z(p) = -p**3 - 2*p**2 + 4*p - 4. Let y be z(-4). Let b = y - 10. Suppose -b*k = -138 - 376. Is k prime?
True
Let n(f) = -f**3 + 3*f**2 + 4*f + 2. Let j be n(4). Let o be 22*-1*1/j. Let y(r) = -r**2 - 14*r. Is y(o) prime?
False
Suppose -208*c - 26193 = -209*c. Is c prime?
False
Suppose -5*d = -0*d - 45. Let u(t) = 241*t - 20. Is u(d) a prime number?
False
Let c be (1 - 2) + -479 + 6. Let a = 265 - c. Is a a prime number?
True
Let w(z) = -z**3 + z**2 + 112. Let j be w(0). Let c be 26/(-91) + 439/(-7). Let f = c + j. Is f a composite number?
True
Let g = -15 + 34. Suppose 2*r = -5*m - g, -2*m = 2*r - m + 15. Let q(a) = 4*a**2 - 11. Is q(r) a prime number?
False
Suppose -2*a = 5*s - 42, -2*a - 14 = 4*s - 6*s. Let y(z) = -z**2 + 7*z + 11. Let m be y(s). Let h(k) = 34*k**3 - 3*k**2 - 2. Is h(m) a composite number?
True
Let g(z) = 5*z - 261. Let i be g(55). Let m be 5*(2*-1)/(-2). Suppose m*a + i = 6*a. Is a composite?
True
Suppose -3*b + 14*b - 1397 = 0. Suppose -l = -b - 642. Is l a composite number?
False
Suppose 7*m - 3 - 81 = 0. Suppose 4*d + 2*h = 4 + 4, 0 = 3*d + 3*h - m. Is 147 + -12 - (d + 1) prime?
False
Suppose 8*v - 1 - 39 = 0. Suppose 3*l = 3*r + 2775, -4067 = -5*l - v*r + 538. Is l composite?
True
Let o = -6998 + 24777. Is o composite?
True
Let p = -238 - -145. Let n = p + 251. Is n a prime number?
False
Suppose -5232 = -3*u - 3*p, -2*p + 6961 = 4*u - p. Suppose 5*l = 4*f - 1709, 4*f - l - u = -6*l. Is f composite?
False
Suppose 107*k = 97*k + 34890. Is k composite?
True
Let l(w) = 5*w**2 + 10*w - 3. Is l(10) a composite number?
True
Suppose -1667 = -4*b + t - 16, 5*t = -2*b + 809. Suppose -442 - b = -2*k. Is k prime?
False
Suppose 2 = 4*c - 6. Let r be (-1 + 41)*(-4)/(-8). Suppose r = -2*n + 4*n - 5*t, 3*n - 30 = -c*t. Is n composite?
True
Let o = 513 - -1820. Is o a prime number?
True
Suppose 2*v - 6*v = -11916. Suppose -2*w = w - v. Is w a composite number?
True
Suppose -17 + 3 = n. Let z = 19 + n. Suppose -4*p - 1849 = -z*k, 0 = -k + 4*k - p - 1115. Is k a composite number?
False
Suppose -2*o - 2*o + 2*s = -6, -8 = -3*o - 2*s. Suppose -z + o*n = 2*z - 625, 2*n - 219 = -z. Is z composite?
False
Let p(a) = -45*a + 17. Suppose 4*d + 98 = -3*d. Is p(d) a composite number?
False
Suppose -o = 4*x - 6529, -6*x + x = 3*o - 8156. Is x a prime number?
False
Let q = -207 + 73. Let n = q - -343. Is n a prime number?
False
Let i(o) = o**2 + 3*o - 1. Let y be i(-4). Let j be y*(-10 - 0) + 3. Is 1/2 + j/(-2) prime?
False
Suppose 3*d = -2*d + 7015. Let u = d - 2241. Is u/((-4)/(-1 + 3)) composite?
False
Let j = 58318 - 38988. Suppose 5*h + 2*y - 12293 = 7046, -5*y + j = 5*h. Is h a prime number?
False
Let y(j) = -381*j + 1. Is y(-8) a composite number?
False
Is 2 - (1 + -1686) - 396/(-66) a composite number?
False
Suppose 7*b + 4*f + 16 = 4*b, 3*b - 5*f = -7. Is b/12 + 3976/12 prime?
True
Let z = 67 + -40. Let k = z - 24. Suppose -k*x = -x - 862. Is x a composite number?
False
Suppose 0 = -d + 2575 - 24735. Is ((-4)/(-6))/(d/11082 - -2) prime?
True
Suppose -5*k + 35 = 135. Let o = 2 - k. Is o a prime number?
False
Suppose -7 = -3*d - 1. Let k be -1 - (-9 - -4) - d. Suppose 4*y - 4*o = 2200, k*o = -7 + 1. Is y a prime number?
True
Is 1149/(-6)*-1 + (-1)/2 a composite number?
False
Suppose 0 = 3*m + 5*z + 937, z = -3*m + 2*z - 907. Let o = m - -481. Is o a composite number?
True
Is (-6)/14 - (-8 - 2046480/70) a composite number?
False
Is ((-79068)/21)/(-4) - 14/49 a prime number?
True
Let x(j) = 410*j - 259. Is x(6) a composite number?
True
Suppose 0 = 2*q - 6*q + 44. Let z(y) = y**2 + 5*y + 27. Is z(q) a prime number?
False
Let l(f) = 8357*f**2 + 11*f - 9. Is l(1) prime?
False
Let y(i) = 96*i**2 - 13*i - 12. Is y(-11) prime?
False
Suppose 685 = 5*o - 5*r - 8960, -5*o + 2*r = -9651. Let m = 3312 - o. Is m composite?
False
Let u(y) = -2*y**3 - y**2 + 3*y + 3. Let p be u(-4). Let d = p + 234. Is d prime?
True
Suppose 335 = 15*l - 220. Is l a prime number?
True
Suppose 6*z - 31347 - 21975 = 0. Is z composite?
False
Suppose 415*c - 432*c = -808809. Is c prime?
False
Let f(y) = y**3 - 4*y**2 + y - 2. Let w be f(4). Let q = 7 - w. Suppose 0 = 2*v + 5*o - 133, -v + 2*o + 84 + q = 0. Is v composite?
False
Let k = -1068 - -1387. Is k a composite number?
True
Suppose 0 = -14*y + 11*y + 33. Let q = 13 - y. Suppose -q*t + 844 = 2*t. Is t prime?
True
Let h = -4 + 6. Suppose 5*s + 282 = h*s. Let n = 237 + s. Is n prime?
False
Suppose 5*c + t = -2*t + 10, -2*t - 10 = -5*c. Is (3 + c)*(-238)/(-10) prime?
False
Let r = -7454 + 60399. Is r a composite number?
True
Suppose 4*v = -v. Suppose n - 730 = 2*c, -n - 3*c + 740 = -v*n. Suppose 3*d - n = 145. Is d a composite number?
False
Suppose 2*a - 39 = -2*p + 31, 2*p - a = 70. Is 4/14 - (-2 - 14165/p) a prime number?
False
Let x(c) = 59*c**2 + c**3 - 65*c**2 + 2*c - 8*c + 17 - 10*c. Is x(10) composite?
False
Suppose 0 = -5*n + 5*r - 15, 5*n - r - 2*r = -13. Is (n + (-5)/(-3))/((-27)/51111) composite?
False
Suppose 4*k + 316 = 3*u - 0*u, 534 = 5*u - 3*k. Let b = u - -467. Suppose 3*c = 8*c - b. Is c prime?
False
Let z = 362 - -2760. Suppose 76 = 6*s - z. Is s a prime number?
False