 Is c composite?
False
Suppose -4*r = -58 + 2. Suppose 2*s + 2*n = 0, -4*s + 4*n + r = -s. Suppose -q - 5*u = s*q - 373, -2*q = -u - 266. Is q a composite number?
False
Let a = 2378 + 1103. Is a composite?
True
Let p(v) = 37*v**2 - 16*v - 3. Is p(8) prime?
True
Let l = -316 + 468. Suppose 70 + l = 2*i. Is i prime?
False
Let i = 117 + -92. Suppose i*y = 30*y - 8195. Is y a composite number?
True
Let m(t) = -t**3 + 16*t**2 + 5*t - 57. Is m(-8) a composite number?
False
Let a(b) = 1553*b**3 - b**2 + 1. Let v be a(1). Let w = v - 914. Suppose 5*o + 25 = 0, 4*m - w = 5*o + 710. Is m composite?
False
Let s = -300 + -30. Let y be 1 + 0 + 4*9. Let j = y - s. Is j a prime number?
True
Is (-72)/64 - -1 - 66342/(-48) composite?
True
Let b(a) = 307*a**2 + 3*a - 1. Let n be b(1). Let s = n + -118. Is s prime?
True
Suppose -4*d = 93 + 27. Is 348/10 + (-6)/d a prime number?
False
Let h(y) = y**3 - 2*y + 1. Let j be h(0). Let t be (1 + j)*74/4. Suppose -g + 3*c + t = 0, -2*g - c = -7*g + 241. Is g a prime number?
False
Is 5217/2*((-224)/24)/(-14) a composite number?
True
Let r(g) = g**3 - 4*g**2 + g - 2. Let m be r(4). Suppose 9*q - 8*q = 5. Suppose b = q*i + 31, 3*b - 5*b + 86 = -m*i. Is b a prime number?
False
Let k(i) = 20*i**3 - 5*i**2 - i - 2. Let c(u) = u**3 - u**2. Let g(p) = -6*c(p) + k(p). Is g(3) a prime number?
False
Let n be (6/3)/6*-6. Is (n/(-5))/((-10)/(-9925)) a composite number?
False
Suppose 13*c - 1791 = -543. Let k = 1 + -1. Suppose k*h - 2*w = -2*h + 84, w - c = -2*h. Is h prime?
False
Let a be (-4)/(4*1/16). Let x = 23 + a. Suppose -x*z + 801 = -4*z. Is z a composite number?
True
Let j(o) = 5*o**2 + 4*o + 2. Let d = -4 - -7. Suppose -k = 6 - d. Is j(k) prime?
False
Let x(l) = 2*l**2 - l - 41. Suppose -7*m + 5*m = -5*u - 60, m = 0. Is x(u) a composite number?
True
Let z be 194 - (2 + (1 - 0)). Let w = 98 + z. Is w a composite number?
True
Suppose 0 = 4*j - 0*j - 6316. Is j a composite number?
False
Is (4/6)/((-50)/(-711825)) a composite number?
False
Suppose -3 = k - 6. Suppose 623 = 4*q - 3*z - 762, -1038 = -3*q + k*z. Is q prime?
True
Is (-25)/75 + 0 + 39706/3 a prime number?
False
Suppose -10 = 3*u - 25. Suppose 0*z + 5*h + 1115 = 5*z, 0 = u*z + 5*h - 1145. Is z a composite number?
True
Let a(f) be the first derivative of 7*f**3/3 - 11*f**2/2 + f + 4. Is a(-12) composite?
True
Let s(g) be the third derivative of g**6/60 - g**5/6 - g**4/8 + g**3/3 - 2*g**2. Suppose -b = 7*b - 56. Is s(b) prime?
False
Let m = 12 - 11. Let a(d) = 7*d**2 - 2*d + 5. Let j be a(5). Is ((-1)/2 + m)*j a composite number?
True
Let v = -9 - -14. Suppose -4*k - v*c = 16, 3*k = -0*k + 5*c + 23. Is (k/2)/(1/74) prime?
True
Is (4414/3)/((-20)/(-30)) prime?
True
Let j(a) = a**3 + 19*a**2 - 31*a - 29. Suppose 6*t - 140 = 13*t. Is j(t) composite?
False
Let k(s) = -113*s - 12. Suppose 2*i + w - 8 = -24, 4 = 2*i - 4*w. Let z be k(i). Suppose 178 - z = -3*l + t, -l = 4*t - 167. Is l prime?
True
Let g(w) = 15861*w**2 + 4*w - 2. Is g(1) a composite number?
True
Suppose 68901 = 6*a - 24057. Is a composite?
False
Let n(a) be the first derivative of 7*a**5/60 - a**4/24 + 5*a**3/6 + 3*a**2/2 - 11. Let o(q) be the second derivative of n(q). Is o(-5) prime?
False
Let a(f) = -f**2 + 14*f + 19. Let u be a(15). Suppose u*r - 9 = 251. Is r composite?
True
Suppose 4*b = -5*u + 142704, -4*b + 2*u - 6*u + 142700 = 0. Is b prime?
True
Suppose -3*n = 6, 3*n = -3*a - 0*n + 21. Suppose s = 5*f - 10, -a + 27 = 3*f - 3*s. Is 0 + f*(4 - -15) a composite number?
False
Suppose 4*i - 76117 = -t, -13*t - 76119 = -4*i - 16*t. Is i a composite number?
True
Let o = 55 + -45. Is (-4)/(-6)*8115/o prime?
True
Let d(a) = 26*a**2 + a + 32. Let q(i) = i**2. Let o(z) = -d(z) + 3*q(z). Let k(b) = -8*b**2 - 11. Let u(n) = 17*k(n) - 6*o(n). Is u(10) prime?
False
Suppose 4*l - 6 = l. Suppose -l*s + 5*s - 329 = -2*a, 4*a - 653 = -5*s. Is a a composite number?
False
Let y(t) = 6*t + 13*t**2 - t - 3*t + 9*t**2 - 3. Is y(-7) a composite number?
False
Let v = 85 + 1092. Is v prime?
False
Suppose 0 = -6*t + 10*t - 56. Let z(x) = 30*x - 7. Is z(t) a prime number?
False
Let z be 3883/(-99) - (-4)/18. Let c = 8 - z. Suppose -b = -0*b + 2*u - c, -5*b - 5*u + 240 = 0. Is b prime?
False
Suppose -4*r - 16 - 8 = 0. Let u be r/15 + (-12)/20. Is 2 + u + -3 - -121 composite?
True
Suppose -4*x = -2*l - 3002, -4*x + l + 3017 = -4*l. Let u = x - 305. Is u a prime number?
True
Suppose h - g - 12 = -3*h, -h = -3*g + 8. Suppose h*f = -2*o + 8, -f - 2*o = -2*f + 2. Suppose f*a - 80 = -2*s, -54 = 3*a - 3*s - 192. Is a composite?
False
Let z(g) = g**2 + 5*g - 1. Let l(c) = -c - 11. Let a be l(-6). Let y be z(a). Is 46*y/(4/(-14)) a composite number?
True
Let r(h) = -8*h**2 + 5*h + 5. Let n(t) = t**2 + t + 1. Let c(y) = -3*n(y) - r(y). Is c(-7) a prime number?
True
Let k(o) = -o + 4 + 4*o**2 - 3 - 3*o**3 + 4*o**3. Let m be k(-4). Suppose -f + 154 = -5*v, -3*f + 0*f + 422 = -m*v. Is f a prime number?
False
Let w(z) = 16*z + 1. Let n(q) = -17*q - 2. Suppose -4 = -3*b + 4*g, -4*b + 6 = -3*g - 4. Let p(d) = b*w(d) + 3*n(d). Is p(3) prime?
True
Let h(r) = -r**2 + 6*r - 1. Let t be h(6). Let m = t + -2. Is 12 + (m - (-7 + 3)) a composite number?
False
Suppose 21*t = 17*t + 2*c + 88684, 0 = 2*c. Is t composite?
False
Let d = 4 + 4. Let c = -18 + d. Is (-12670)/(-50) - (-4)/c prime?
False
Let m = -28523 + 67062. Is m a composite number?
True
Is 1/(50514/8418 - 6) composite?
True
Is 192 - 4 - (-6 - 0) composite?
True
Let x = 55 - 76. Let f = -23 - 12. Is (-9495)/f + 6/x prime?
True
Suppose -17 = -2*a - 5. Let k be (-13)/(-5) - a/10. Suppose -2*t + 738 = -h, -t + k*h + 375 = -0*t. Is t prime?
True
Let z(r) = -15*r**3 + r**2 - 6*r + 1. Let w be z(-9). Suppose -u = 5*k - 3*u - w, -8861 = -4*k + 3*u. Is k prime?
True
Suppose 3*o = -3*u + 22147 - 4369, -11840 = -2*o + 2*u. Is o composite?
False
Suppose w + 36 = 4*w. Let b be (-4)/w - (-14)/6. Suppose 3*a + b*q - 26 = 45, 2*a - 62 = -5*q. Is a a composite number?
True
Let m(k) = k - 12. Let y be m(14). Suppose -y*c = -v - 10, 0 = -4*v - c + 4*c - 25. Is -1 + (-3 - v) + 113 composite?
False
Suppose 43*i - 815771 = 1818194. Is i a prime number?
False
Suppose 40 - 192 = -l. Let p = l + -18. Let o = -87 + p. Is o a composite number?
False
Is (-11 - -13 - -46596) + 3 prime?
True
Is (-3906856)/57*(-18)/24 prime?
False
Let m be (-240)/35*13/((-39)/378). Let d = m - -689. Is d a composite number?
False
Let b(f) = 197*f + 3. Let d(c) = 2*c**2 - 2*c - 7. Let i be d(3). Let s be 0 + i - (-4 - -7). Is b(s) prime?
True
Is ((-46974)/(-9))/(-8*3/(-36)) composite?
False
Let d = 2872 - 1725. Is d composite?
True
Let l(d) = -d**3 + 12*d**2 - 11*d - 5. Let z be l(11). Is 127/(z/(-105)*3) prime?
False
Let g(x) = 31*x**3 + 3*x**2 - x + 2. Let u(y) = y**3 + y**2 + 1. Let n(f) = -g(f) + 3*u(f). Let w = 1099 - 1101. Is n(w) a prime number?
True
Let f be (15 + -45)*2/(-12). Let n(z) = z + 5*z - 2*z + 1. Is n(f) prime?
False
Let l(f) = f**3 + 7*f**2 - 20*f - 55. Is l(15) a composite number?
True
Let b = 6026 - 1207. Is b a composite number?
True
Let q(b) = b**3 + 62*b**2 - 110*b + 52. Is q(-53) a prime number?
False
Let d = -87904 + 123651. Is d prime?
True
Suppose u = g + 42843, -4*u - 55152 = 5*g - 226524. Is u composite?
True
Suppose 24 = 5*b - b. Is -4 - (-2)/(b/2679) a prime number?
False
Let k(o) = -o**3 + 13*o**2 + 14*o + 3. Let f be k(14). Suppose 0 = f*b + b - 172. Suppose b = 2*j + 3*t - 423, 0 = 2*j + 4*t - 462. Is j prime?
True
Suppose -2*l + 5469 = -2641. Is l a composite number?
True
Suppose -b = -3*h + 2177 - 6269, 0 = -2*b - 4*h + 8224. Suppose 2*z + 2734 = 2*o, 4*o - 4*z - b = o. Let d = o + -961. Is d prime?
False
Suppose 4*g = -3*y + 36, -3*y = g - 9 - 18. Suppose 2*k = y, 1622 = 5*o - 0*k + 3*k. Suppose 8*i = 6*i + o. Is i composite?
True
Let g(i) = 13*i + 15 + 0 - 30*i**2 + 37*i**2. Is g(-11) composite?
False
Let b be 1/((-30)/(-9) - 3). Suppose -3*m = 2*w - 8*m - 357, b*w - 3*m = 522. Suppose 0 = 2*l + 5*t - 132 - w, 1 = t. Is l composite?
False
Let u(o) = 6*o - 8. Let j be u(0). Is 2/j*422*(2 + -4) composite?
False
Suppose -7 + 17 = 5*w. Suppose q - w*z = 115, 5 = -9*z + 4*z. Is q a prime number?
True
Let n = -41 - -41. Is n - (-513 - (5 - 4)) composite?
True
Let j = 7591 + -1672. Is j prime?
False
S