ppose -3*v - 17047 = -5*a, 0 = 2*a - 3*a - 4*v + 3391. Suppose 0 = -6*j + a + 439. Is j composite?
False
Suppose 11*o - 6 = 82. Is o/8*(-1 - -2)*269 prime?
True
Let c(t) = -63*t**2 + t + 109*t**2 - 19 + 97*t**2. Is c(7) a composite number?
True
Suppose 0 - 18 = -2*s. Let m be (s/6)/3*14. Suppose -3*k = -m*k + 844. Is k a composite number?
False
Let c(i) = -20*i + 4. Let b be c(4). Let p = 64 - b. Is p/(-16)*(-2 + -2) prime?
False
Let t be 1 - (-4)/(-3) - (-73912)/12. Suppose 6*m = 3*m + t. Is m prime?
True
Suppose x + 2*x - 5*v = 3016, 5*x - v = 5034. Let q = 1642 - x. Is q composite?
True
Is (-1)/(-3) + 19/((-228)/(-16856)) prime?
False
Suppose -5*l + 24 = 5*s + 4, -s = -2*l + 8. Suppose -y = -s*y. Suppose n = -y*n + 1693. Is n prime?
True
Suppose 3*u + 0*u - 198 = 0. Let g = -282 - -285. Suppose u = x - g. Is x composite?
True
Suppose 3*p - 51 - 87 = 0. Suppose x = -x + p. Suppose -c - x + 82 = 0. Is c composite?
False
Let h(g) = 261*g - 5. Let n be ((-128)/24)/(2/(-3)). Let x be h(n). Suppose p - 2*p = 4*z - 1679, 0 = 5*z - 4*p - x. Is z a prime number?
True
Let a = -100 + 820. Let o = -560 + 1029. Let f = a - o. Is f composite?
False
Let o(c) = 175*c**3 - 7*c - 2. Let p(z) = z**3 - z. Let l(s) = -o(s) + 6*p(s). Let w be l(-2). Is (-1)/(w/(-1348) + 1) composite?
False
Suppose 2*h + 2*j + 33996 = 6*h, -4*h - j = -34008. Is h composite?
False
Suppose 0 = -g - 0*g + 2*z - 188, 0 = -2*z - 8. Let h = -27 + g. Let i = h + 596. Is i a composite number?
False
Let h = -126 + 135. Suppose h*y = 11*y - 4490. Is y composite?
True
Let x be ((-6)/10)/(4/(-88980)). Suppose -3511 + x = 4*y. Is y a composite number?
False
Suppose 228*b - 227*b = 16331. Is b a composite number?
True
Let w be 1954/8*(-1 - 1)*-2. Let a = w + -100. Is a a prime number?
True
Suppose 17*g + 12*g - 187601 = 0. Is g a composite number?
False
Suppose -m - 14 = 4*k, 0 = -3*k - 0*k - 12. Suppose m*u = 8, h + u = 3*u + 4899. Is h composite?
True
Let c = -34592 - -60259. Is c prime?
True
Suppose 2*n = 4*g - 4622, 8*n - 13*n + 3486 = 3*g. Is g a composite number?
True
Let m(p) = -p**3 - 17*p**2 + 17*p - 8. Is m(-21) composite?
False
Suppose 8*f = -3*m + 5*f + 13128, 2*f = 3*m - 13143. Is m a prime number?
False
Let x = 3257 + -925. Suppose -3*h + c + 9343 = h, -h = c - x. Is h a composite number?
True
Let c(i) = i**2 + 5 - 2 + 8*i + 0*i**2. Let j be (-2 - -1)/((-10)/(-100)). Is c(j) composite?
False
Let t(g) = 61*g**2 + 7. Let n(o) = 4*o**2 - 3*o - 4. Let f be n(3). Let a = 27 - f. Is t(a) prime?
True
Let t = -63128 - -138555. Is t a composite number?
True
Let h(g) be the first derivative of 284*g**2 - 17*g - 29. Is h(2) prime?
False
Let v(k) = 762*k - 2 - 245*k + 401*k + 5. Is v(1) a prime number?
False
Let f be (5*(-4)/(-12))/((-1)/(-27)). Let t be 2 + 3/3*1. Suppose t*o + 445 + f = w, o = -w + 510. Is w composite?
True
Let t = -14 - -5. Let c(q) = 0 - q**3 - 2*q - 7 + 7 - 1 - 7*q**2. Is c(t) prime?
True
Let a(f) = 1477*f + 4. Let c be a(3). Suppose -2*r = 5*y - 94 - c, 2*y - 4*r = 1826. Is y prime?
True
Let k = -3 - -8. Suppose k*d + b - 8956 + 3251 = 0, -5*d = -2*b - 5705. Is d a prime number?
False
Let y(a) = 4*a**2 - 13*a - 5. Let x be y(13). Suppose -3*i + x = -i. Is i a prime number?
True
Let t be (-120)/(-24) + 316/1. Is (-3)/(-4)*(t - 5) composite?
True
Let i = 9 - 10. Is (i - (-337)/3)/(8/60) composite?
True
Let p be (-51)/(-9) + (-4)/(-12). Suppose p*r = 97 + 53. Is r composite?
True
Suppose b - 4*p - 2 = -2*p, 3*p = b. Suppose 4*u - 12 = -4*s + b*s, 2*u = 4. Is (93 - (0 - s))*1 a prime number?
False
Suppose 55 = 3*h + 7. Let b = h + -9. Let x(k) = 5*k**2 - 8*k + 2. Is x(b) a composite number?
False
Suppose -3*c - 4*x = -2 - 2, -3*c + 2*x = 20. Let f(d) = 87*d**2 - 19*d - 9. Is f(c) composite?
False
Suppose 5*t = -a + 103, t - 4*a = -3*t + 68. Suppose 4*h - 32 = 4*p, 6*h - 3*h = 5*p + t. Is h prime?
False
Let a(p) = -p**3 - 5*p**2 - 8*p - 7. Let h be a(7). Let m = 1257 + h. Let f = m - 299. Is f prime?
True
Suppose -2*w + 9 + 1 = 0. Let o be ((-1)/(-2))/(w/40). Suppose 2*b - o*p - 230 = 0, -3*p + 442 = 4*b - 2*p. Is b a composite number?
True
Suppose 0 = b - 4*k - 6119, 0 = -9*b + 4*b - k + 30658. Is b prime?
True
Let j(n) = n**2 + 10*n + 8. Suppose 9 = t - 2*t. Let i be j(t). Is i/((-1)/(-3)) - -6 a prime number?
True
Let p(w) = -w**2 + 11. Let z be p(0). Let b be (3/2)/((-1)/(-4)). Is ((-130)/b)/(z/(-33)) prime?
False
Suppose 0*s - 3*s + 6 = 0. Suppose d = s*v - 63, -v = d + d - 39. Is v prime?
False
Let y = 1722 - -1900. Is y a prime number?
False
Let n be (3 - 5)*5/2. Let p be ((-2)/1)/(-4 - n). Is p/(-4) + 471/6 composite?
False
Let w be 133/57*(-3)/4*-4. Let d(u) = 100*u + 3. Let q(y) = -200*y - 5. Let c(h) = 13*d(h) + 6*q(h). Is c(w) composite?
False
Let p be (-125)/(-45) + 4/18. Suppose -2*y = 3*o - 7*y - 8, -p = 3*y. Suppose -2*v + o + 13 = 0. Is v a prime number?
True
Is -3 + -1 + (2774/1 - -1) a prime number?
False
Let w = 50 + -47. Let q(c) = 18*c**3 + 3*c**2 + 5*c - 7. Is q(w) a composite number?
False
Let r be ((-84)/7)/(2/(-1594)). Suppose 4*f = 4*u - 9540, 0 = -4*f - 4*u - 0*u - r. Is (f/30)/((-2)/5) prime?
True
Let k be -1 - ((-2)/(-1) - 3). Suppose k = -2*b + 128 - 20. Let a = 143 - b. Is a prime?
True
Suppose 0 = 10*w - 10910 + 2330. Suppose -26*i - w = -32*i. Is i a prime number?
False
Let z be (-22)/(-33) - (-1852)/3. Let t = z - -46. Suppose 2*j + 669 = 4*v - 3*j, -4*v + t = -4*j. Is v a composite number?
True
Let t(b) = -7 + 14*b - 3*b**2 - 10*b + 11*b**3 + 0*b**2. Is t(7) prime?
False
Suppose 0 = 2*s - 5*v - 13, 3*s + 4*v - 23 = 31. Let t(o) = -o**2 + 19*o - 11. Is t(s) composite?
False
Suppose -4*v - 43 = -7. Let t(y) = -y - 1. Let q be t(v). Is (q/6 - 1)*597 a prime number?
True
Is (-2 - (-27780)/8)*(4 + -2) a prime number?
False
Let o(j) = 4 - 16*j**2 + 3 + 26*j**2 + 8*j. Is o(7) a composite number?
True
Let v(q) = -q + 5. Let n be v(0). Suppose -n*s + 8848 = -5077. Is s a prime number?
False
Let c(w) = -2148*w + 1. Is c(-12) composite?
True
Let r = -7399 - -10730. Is r a composite number?
False
Let p(b) = 3*b - 8. Let k be p(4). Suppose k*z = -u + 29 + 27, 3*u - 3 = -z. Is (-37)/(-5) - 6/z a prime number?
True
Let c(r) = 2*r**2 - 4*r - 6. Let t be c(-3). Let j = 26 - t. Suppose -j*f + 713 = -185. Is f prime?
True
Let d = 30 - 21. Suppose d*a - 676 = 8*a. Let z = a + -453. Is z a composite number?
False
Suppose -21*z = -85437 + 6750. Is z a composite number?
True
Let f(j) be the first derivative of j**4/4 - j**3/6 - 5*j**2/2 + 4*j + 9. Let p(c) be the first derivative of f(c). Is p(-7) composite?
False
Let d(u) = u**2 - 6*u + 17. Let m be d(7). Let s = m - 1. Is s composite?
False
Suppose 9*w + 254046 = 3*n + 6*w, -2*n + 3*w + 169367 = 0. Is n prime?
False
Let s(n) = n**3 + 2*n**2 - 3*n + 2. Let w be s(-3). Let m(a) = -3*a**2 + 3*a - a + 0*a**w + 3*a - 2 + 4*a**3. Is m(3) composite?
True
Suppose 23*q = 268 + 11830. Is q a composite number?
True
Let r = -12 + 1. Let f(b) = -18*b + 12. Let k be f(7). Let v = r - k. Is v a composite number?
False
Let w = 3132 - 1675. Is w a composite number?
True
Let r(d) = 228*d**2 - 13*d - 150. Is r(-7) a composite number?
False
Let w(s) = 8*s + 7. Let c be w(4). Suppose -3*k - 7 = 2*x + 31, 5*x + c = -4*k. Is 933/24 + (-2)/k a prime number?
False
Let l be (-20)/15 - (-130)/3. Is (8 - 7)*l/3 prime?
False
Suppose 0 = -2*u - 3*v + 12589, u + 5*v = -3*u + 25173. Is u prime?
True
Let v(s) = -138*s + 101. Is v(-37) prime?
False
Let t(p) = 464*p**2 - 15*p + 21. Is t(2) a composite number?
False
Let i be 2/6*21/1. Suppose 0 = -2*t + i*t. Suppose -3*k - 64 + 337 = t. Is k a composite number?
True
Let d(r) be the third derivative of -77*r**6/60 - r**4/24 - 2*r**2. Let n = -10 - -9. Is d(n) composite?
True
Let k = -8 + 145. Suppose 178 = 2*a - 2*r + 26, -2*a + 138 = 5*r. Let d = a + k. Is d composite?
False
Suppose -4139 = -s + 2*z - 4*z, 0 = s - 3*z - 4154. Let v = s + -1942. Is v a prime number?
True
Let r be (-2)/(-11) - 86/(-11). Let c(b) = b**2 + 6*b + 6. Is c(r) prime?
False
Suppose j = 5*t + 8782, 0 = -2*j + 28*t - 24*t + 17546. Is j composite?
True
Suppose -5*j = 4*v - 13316 - 7735, 2*j - 8430 = -4*v. Is j a prime number?
False
Let r be ((-69)/(-12))/(1/(-8)). Let w = 105 + r. Is w a prime number?
True
Let t(m) = 