/(-8). Suppose 0 = m - 2*h - 6, 5 = -3*m - z*h - 9. Let j(k) = 215*k**2 + 4*k + 1. Is j(m) a prime number?
True
Let s(d) = 1219*d - 6. Let a be (3 + 1)*1 + 71 + -74. Is s(a) a composite number?
False
Suppose 3*m = -3*m + 32142. Is m prime?
False
Let v = 6264 + -3685. Is v prime?
True
Suppose -g = 0, 5*b = b + 5*g + 5676. Suppose -3*c + 4*q = -2131, 0*q = -2*c + 3*q + b. Is c a composite number?
True
Let s = -14 + 4. Let i = s - -12. Suppose -5*q + 170 = i*t + t, 4*t = -20. Is q a composite number?
False
Let v be 0 + 11 + (-4 - -3). Suppose 9*b - v*b = 10. Is 1660/3 + b/30 a prime number?
False
Suppose 54*l - 121858 + 29572 = 0. Is l a prime number?
True
Let x = -6416 - -12574. Suppose 6*a = 8*a - x. Is a a prime number?
True
Let k(c) = 5*c**2 - 14*c + 13. Let m be k(6). Suppose 4*s - 127 - m = 0. Is s composite?
False
Suppose 77*n + 14682 = 83*n. Is n composite?
False
Let t = -7 - -28. Let b = 27 - t. Let a(o) = 2*o**3 - 5*o**2 + 5. Is a(b) a composite number?
False
Let t = -12 + 18. Is -3*-2*67/t prime?
True
Let b(v) be the first derivative of -18*v**2 + 5*v - 4. Suppose -5*g - z - 24 = -5*z, -16 = 5*g + 4*z. Is b(g) a prime number?
True
Let x(n) = 9*n**2 - 10*n - 9. Let j be x(-8). Let b = j - 13. Is -11 + 11 + b/2 a composite number?
False
Suppose 0*a = -a + 4. Suppose -2 - 18 = a*c. Let k(y) = 7*y**2 + 4*y + 4. Is k(c) prime?
False
Suppose 2*l = -8, -149835 = -5*m - 5*l - 6000. Is m a composite number?
False
Let q(m) = 3*m + 20. Suppose 0*h + h - 2*z - 4 = 0, 0 = -4*h + 4*z - 4. Let n be q(h). Suppose n*p = 191 + 131. Is p a composite number?
True
Let x(i) = -6*i**3 + 5*i**2 + 5*i - 1. Let s(b) = -2*b - 1. Let t be s(1). Is x(t) composite?
False
Let w(k) = 6*k**3 - 3*k**2 - 57*k - 1. Is w(10) a prime number?
False
Let l = -24 + 27. Let o be (1 + -7)/l - 104. Let u = o + 191. Is u prime?
False
Is (-2948)/(-33)*786/8 a composite number?
True
Suppose -h + 351 = 4*s, h = -1 + 4. Suppose 3*v + 100 = -4*i + 2*i, 4*v = 5*i - 118. Let r = s + v. Is r a composite number?
True
Let r = 92 + -87. Suppose -189 = -q - r*f, -3*q = q - f - 861. Is q a composite number?
True
Let l(f) = -f**3 + 19*f**2 + 2*f - 30. Let a be l(19). Is (-134)/(((-2)/62)/(a/16)) prime?
False
Suppose -11*o + 12052 = 579. Is o prime?
False
Suppose -v = v + 3*q - 11, 19 = 4*v + 3*q. Let t be -1895 + (13 + -1)/v. Let j = t + 2653. Is j prime?
True
Suppose -9603 - 11029 = -8*k. Is k composite?
False
Let b be ((88/(-5))/2)/(6/(-6810)). Is 0 - (b/(-1) - 1) prime?
False
Let j(y) = -10*y**2 - 6*y - 5. Let h be j(7). Let l = 341 - h. Suppose b - l = -325. Is b composite?
True
Let s(t) = -85*t - 30. Let g(r) = -r - 1. Let a(f) = 2*g(f) + s(f). Is a(-9) composite?
False
Let k = -30 + 82. Let j be -1 + (k - 3) + 0. Suppose -4*l + j = 4. Is l composite?
False
Let r be (2 - 2 - -6)/(20/10). Suppose a - 1 = 0, 2*f - r*a = 2*a + 737. Is f prime?
False
Suppose 9*b - 4*b - 5485 = 0. Is b a prime number?
True
Is 381*(2/7)/(114/133) a composite number?
False
Let r(l) be the first derivative of l**3 + l**2 + 4*l - 1. Is r(11) a prime number?
True
Suppose 3*g + v + 1 = 0, 6*v + 5 = -3*g + v. Suppose -2*a + 2 = -t, -t - 3*a + 8 = -g*a. Suppose t*j + 0*j - 78 = 0. Is j composite?
True
Suppose 0 = -3*r - 3*q, 4*r + 10 = 7*r + q. Suppose 0 = 5*c - r*d - 3161 - 29, 3*d + 2547 = 4*c. Is c a prime number?
False
Let o(z) = -z**2 + z. Let j be o(2). Let q(k) = -k**3 + 5*k**2 - 2*k - 5. Let w be q(4). Is (j/w)/(4/(-570)) prime?
False
Suppose 7 = 46*c - 45*c. Suppose c*a = 3*a + 596. Is a composite?
False
Let p(b) = 3086*b + 379. Is p(6) prime?
False
Suppose -o - c + 2 = 0, 0 = -o - 4*c + 2. Let h(n) = -2 - o*n + 4*n + 5*n**2 - 3*n - n. Is h(3) composite?
False
Let k(p) = -25*p**3 - 3*p**2 + 4*p - 1. Let b = 35 + -15. Let c = b - 23. Is k(c) composite?
True
Let s = 13483 + 9370. Is s a composite number?
False
Let n = -37 - -39. Let t(c) = -2*c**2 + 1 + 16*c**3 - c**2 + c + 2*c**2. Is t(n) a composite number?
False
Suppose -10*b + 9*b + 1 = 0. Let n(i) = 85*i**2 + i - 1. Is n(b) composite?
True
Let l = 234662 + -130057. Is l prime?
False
Let b = 13946 - -15341. Is b composite?
False
Suppose 3*f - 2*f = 2174. Suppose 0 = -25*h + 27*h - f. Is h prime?
True
Let q = 38104 - 16811. Is q composite?
True
Suppose -106187 = -7*u + 29634. Is u prime?
True
Suppose 6*a - 1291 = 311. Is a a composite number?
True
Let o be -3 + 1*(-1 + 4) + -4. Let p(u) be the first derivative of -19*u**2 - 10*u - 2. Is p(o) prime?
False
Suppose 7*s - 21*s + 1232 = 0. Suppose -90*g + s*g = -7724. Is g a prime number?
False
Let i(y) be the third derivative of y**2 + 0 - 5/3*y**3 - 11/24*y**4 + 0*y. Is i(-7) composite?
False
Let z = -2063 + 3462. Is z a composite number?
False
Suppose -w + 3112 + 2145 = 0. Is w a composite number?
True
Suppose -73 = -2*i + 139. Let d = 58 + -115. Let c = i - d. Is c a composite number?
False
Suppose -31731 = -3*s + x, 5*x - 9895 = -3*s + 21836. Is s prime?
False
Let b = 16 + -11. Suppose 3*o - 1 = -4*l - 9, 0 = -2*o + 2*l + 18. Suppose -3*w = -o*c - 103, -5*c = -b*w - 2*c + 168. Is w prime?
False
Is 260 - (-4)/((-1 - -3) + -6) a prime number?
False
Let u(k) = -631*k + 17. Is u(-2) a composite number?
False
Let r(i) = -3*i**3 - i**2 + i + 2. Let u be r(-1). Suppose u*g + g = 5*d - 5401, 2*d + g = 2163. Is d composite?
True
Suppose 0 = z - 72 - 970. Suppose -4*l - 3*o = 1393, -4*l + 7*l + 5*o + z = 0. Let f = -126 - l. Is f a prime number?
True
Let y be ((-11)/2)/(3/(-6)). Let t = y + -8. Suppose h - 76 = -t*h. Is h a prime number?
True
Is (12918/(-12))/(1/(-2)) a prime number?
True
Suppose w - 2 = 2*q - 2*w, -5*q - 2*w + 33 = 0. Suppose -z - 3*m - 575 = -0*m, q*z - m = -2859. Let j = -285 - z. Is j prime?
False
Let b = 39 - 45. Is 10/(-30) - 296/b composite?
True
Let m(f) = 4*f**2 - 8 + 33*f**2 + 48*f**2 + 8*f. Is m(3) a composite number?
True
Let v(k) = 23*k**2 + 5*k + 5. Is v(-2) a composite number?
True
Suppose -2*p = 4*p - 18. Suppose 3*b - 484 = -4*a + 12967, -12 = p*a. Is b prime?
False
Is (-15)/(-45) - (182112/(-9))/4 composite?
False
Let v = -493 + 1646. Is -4 - (10/(-5) - v) a prime number?
True
Let r(w) = w**3 - 2*w**2 + 4*w - 22. Let t = 82 - 76. Is r(t) a prime number?
False
Suppose 2*l - 7*l = 15, 0 = 5*v + l - 121382. Is v a composite number?
True
Let y = -17 + 13. Is 609 + ((-6)/3 - y) a composite number?
True
Let k(o) = 639*o**3 + 2*o**2 + 37*o - 7. Is k(4) a composite number?
True
Suppose 6*r = 28*r - 5522. Is r a prime number?
True
Let d(v) = v**3 + 36*v**2 + 74*v - 36. Is d(-33) a composite number?
True
Let w(n) = -6*n**3 + 6*n**2 + n - 9. Is w(-6) composite?
True
Suppose -4*s - 438 = -7*s. Let t = s - 49. Is t a composite number?
False
Suppose 4*z = o + 2, -5*o + 0*z - 3*z = -13. Suppose 0 = 3*u - o*l - 3837, -3*u + 0*u = -5*l - 3846. Is u a composite number?
False
Let q be ((-14)/5)/((-8)/200). Let d = -21 + 59. Suppose 2*j - 27 = -3*l + d, q = 2*j - 2*l. Is j a prime number?
False
Let f(d) = 89*d**2 - 16*d + 47. Is f(-10) a composite number?
True
Let k(n) = n**2 - n - 9. Let h be k(-6). Let c = -25 + h. Suppose -c*s - 1414 = -15*s. Is s a composite number?
True
Suppose -2*a + 65 + 47 = 0. Let s = 81 - a. Suppose 2*c + 30 = t + 225, s = -5*t. Is c a prime number?
False
Suppose 3*c = -6*c + 122058. Suppose -4*w + 2*n + c = 0, 0*w - 4*n = -3*w + 10179. Is w composite?
False
Let q(x) = 335*x - 22. Let o be q(8). Suppose -5*h + o = -3*h. Is h a composite number?
True
Is (90/(-20))/(-9)*(47834 + 0) prime?
True
Let h(j) = 115*j + 6. Is h(5) a prime number?
False
Let k = 7 + 1. Suppose -9235 = -13*j + k*j. Is j a prime number?
True
Suppose -5*l + 2*m = -9*l + 18024, -4*m + 9006 = 2*l. Is l prime?
True
Suppose 2*f = -0*f + 2*l + 4, -26 = -4*f - 2*l. Suppose 5*b = b + 4*d - 480, -f*b = 5*d + 630. Let s = 35 - b. Is s a prime number?
False
Let f = 3 + 3. Let p(b) = 7*b**3 + 5*b**2 - 17*b - 3. Let k(w) = -15*w**3 - 9*w**2 + 34*w + 6. Let g(m) = f*k(m) + 13*p(m). Is g(-12) a prime number?
False
Suppose 2*x = 13 + 1. Let g(z) = 4*z**3 - 2*z - 4*z - x - 11*z**2 - 2*z**3 - z**3. Is g(12) a prime number?
False
Let d = 4970 + -2579. Is d prime?
False
Let m be 1 + (11 + -3)/4. Suppose -i - 1083 = -m*i - x, i = -x + 542. Is i composite?
False
Suppose -2*y = -215 - 485. Let a = y + 323. Is a a prime number