et m be (4 + -3)/((-1)/(-17)). Let q be 16*(3 - 5/4) - -3. Let s = q - m. Is s a composite number?
True
Is 2981/9 + (-2)/9 a composite number?
False
Suppose v - 1 - 1 = -2*c, -5*c + 5 = -4*v. Suppose -d - 1 = c. Is d*(-78)/3 - -1 a composite number?
False
Let b = 2 + 2. Suppose 18 = -2*k - b*c, -3*c = -5*k - c - 45. Let y = 2 - k. Is y prime?
True
Suppose -330 = -2*n + 4*f, -294 = -2*n - 6*f + f. Is n a composite number?
False
Suppose 0 = -4*h - 12, -h - h - 18 = -2*t. Let o(g) be the second derivative of g**5/20 - g**4/2 + 7*g**2/2 - g. Is o(t) a prime number?
True
Let w(g) = 2*g**2 + 14*g - 19. Is w(17) prime?
True
Suppose 0 = -3*n - 2*b + 3299, -3*n - 3*b = -2*b - 3295. Is n a composite number?
False
Is -10 + 12 + 22 + 1 a composite number?
True
Let m(x) = -2*x**2 + 4*x - 2. Let n be m(2). Let r(b) = -3*b**3 - 4*b**2 - 4*b - 3. Is r(n) composite?
False
Let b(l) = -l**2 + 8*l - 8. Let z(o) = 3*o**2 - 16*o + 17. Let a(h) = -5*b(h) - 2*z(h). Is a(-7) composite?
False
Suppose -l = -5*l - 4. Let q = l + 3. Suppose 2*j - 378 = 2*s, 0 = q*j + 4*s - 173 - 217. Is j composite?
False
Let g(a) = 0*a + 4 - 12*a - a**2 - a**2. Let q be g(-10). Let t = -51 - q. Is t composite?
True
Suppose 0 = -u + 188 + 707. Is u composite?
True
Let j(f) = -f**3 + 6*f**2 + 6*f + 7. Let q be (-2)/(-4) + 13/2. Let b be j(q). Suppose b*v = -4*v + 52. Is v composite?
False
Let x(s) = 2*s - 4. Let a = 4 - 6. Let c = a - -6. Is x(c) composite?
True
Let j(f) = -535*f - 1. Is j(-2) prime?
True
Suppose 0 = 2*h - 102 - 750. Let a = h - 249. Is a composite?
True
Let w = 1 + -1. Suppose d + 3*s - 63 = w, -3*d + 2*d - 2*s + 60 = 0. Suppose 78 = 4*g - d. Is g prime?
False
Let n(w) = 2*w**2 - 1. Let m be n(-1). Is 3*m - (-76)/1 prime?
True
Suppose 5*g + 181 = 36. Let m = g - -20. Let n = 16 + m. Is n a prime number?
True
Is (-3)/9 + 4960/3 - -4 a prime number?
True
Suppose -3*x + 105 = -744. Suppose -2*r + 507 = -x. Is r prime?
False
Is 1/2*(3 - 3 - -1474) a composite number?
True
Let y = -1 + 7. Let z(u) = u**3 - 5*u**2 + 5*u - 9. Is z(y) a prime number?
False
Let j be (2 + 1164/2)/(-1). Let c = -381 - j. Is c prime?
False
Let w be (-644)/(-6) - 2/(-3). Suppose -w = -4*d - 24. Is d a composite number?
True
Let d be (-62)/(-3) - 2/3. Suppose -5 - d = -5*g. Suppose -5*o - 80 = -g*l, -2*l + 5*o = -5*l + 40. Is l composite?
True
Let y(s) = 2*s**3 - 4*s**2 + 2*s - 238. Let o(b) = -3*b**3 + 7*b**2 - 4*b + 475. Let n(a) = 3*o(a) + 5*y(a). Is n(0) composite?
True
Let s be (-10)/((-5)/(15/(-2))). Let r = -10 - s. Suppose -d + 16 - r = 0. Is d a composite number?
False
Is (-8 + 495)/((-2)/(-2)) prime?
True
Suppose -5*l + 2*l - 3 = -5*f, 4*f + 5*l - 32 = 0. Suppose 4*w - 20 = 0, 0*v - 4*w + 29 = f*v. Is v a prime number?
True
Let u(j) be the third derivative of j**7/560 + j**6/720 - j**5/60 - 2*j**2. Let m(k) be the third derivative of u(k). Is m(2) a composite number?
False
Suppose -8349 = -5*o + 2*i, -3*o + 4*i + 4998 = -i. Suppose -2*l = -4*q + 24, 0 = -q - l - 4*l - 5. Suppose -2*k - t = 2*t - 667, 4*t = -q*k + o. Is k prime?
False
Let g(w) = w**3 + w**2 + w + 3. Let o be g(0). Suppose -o*a - 39 = 5*n, 5*n = 4*n - a - 9. Let s(c) = -10*c - 1. Is s(n) a prime number?
True
Let s be -3*8/(-36)*6. Suppose -5*f = -3*f - s*g - 866, 5*f - 2*g - 2181 = 0. Is f a composite number?
True
Let v be ((-12)/10)/((-9)/30). Suppose -c + 2 = -v. Let k = 25 - c. Is k prime?
True
Suppose -9*v = 158 - 1247. Is v a composite number?
True
Suppose -1202 = -4*o - 3*n + 1314, -4*n = -16. Suppose -q = 3*g - 2*q - o, -5*q - 1060 = -5*g. Suppose -5*f + g = -2*f. Is f a composite number?
True
Let u(g) be the first derivative of -g**5/10 - 5*g**4/24 + 2*g**3/3 - 3. Let h(n) be the third derivative of u(n). Is h(-6) a prime number?
True
Suppose 77481 = 7*h + 2*h. Is h a composite number?
False
Suppose -3*m + 0*m - 114 = 0. Let g = -15 - m. Is g a composite number?
False
Suppose 4*h = 1379 - 379. Suppose 0*t - h = -5*t. Suppose -2*d + 86 = d - 5*b, -4*b = 3*d - t. Is d a composite number?
True
Let f(y) = y**3 - 9*y**2 + y + 13. Is f(10) prime?
False
Suppose -27 = -4*f + 33. Let d be ((-3)/(-5) - 0)*f. Suppose -41 = -2*u + d. Is u a prime number?
False
Is -1 + -30*(0 + -13) a composite number?
False
Let b = 128 + 3. Is b composite?
False
Let r(o) = 32*o**2 + 2*o - 1. Let m(k) = -k**2 - 3 + 3 - 6*k + 5 + 3. Let d be m(-7). Is r(d) a composite number?
True
Suppose j = -j - 6. Let m = j + 5. Is 2 + m*23 - 1 a prime number?
True
Let f(n) = -202*n - 1. Is f(-1) composite?
True
Let q be 2*-197 + 6 + -5. Is (2 + 0)/((-6)/q) a composite number?
False
Suppose -10 = -2*o - 0. Suppose -77 = -o*m + 73. Suppose 3*x - 204 = -m. Is x prime?
False
Let x(n) = n**3 - 5*n**2 - 3*n. Let b be 3/(-3*1/2). Let q be (-4)/b*7/2. Is x(q) composite?
True
Let y = 3 + -1. Suppose y*b - 28 = 5*i, 4 = -2*b - 4*i + 50. Is b a composite number?
False
Suppose 7*d - 3134 = 1311. Is d prime?
False
Suppose 0*l - 19 = -5*i + 3*l, -5*l = i + 13. Let q = i - -1. Is (-804)/(-9) + (-1)/q prime?
True
Let b(v) = -2*v**3 + 28*v**2 + 4*v + 29. Is b(13) a composite number?
False
Suppose 0 = 3*u + 3850 - 14629. Is u prime?
True
Suppose 0 = 2*f + c - 914, -4*f = 3*c - 942 - 886. Let k = f - 294. Is k a composite number?
False
Suppose 5*h - h = 12. Suppose -4*w + 4*s + 1452 = 0, -h*w - w = -2*s - 1460. Suppose w = 3*n + u, -5*u + 0*u + 262 = 2*n. Is n a prime number?
False
Let g = -9 + 8. Let k(x) = -20*x + 1. Is k(g) a composite number?
True
Let p(c) = -8*c - 2. Let l(m) = 9*m + 2. Let b(h) = 5*l(h) + 4*p(h). Is b(9) a prime number?
False
Let f(v) = 6*v**2 - 19. Is f(16) a prime number?
False
Suppose 4*o + 5*q = 1143, -3*o + q + 831 = -4*q. Suppose -734 = -4*t - o. Is t a prime number?
True
Suppose 0*z + 3*z = 3. Suppose -3*s + 2*s = -z, -4*x = -2*s - 506. Is x prime?
True
Let p(d) = 5*d**2 - 7*d - 3. Is p(-5) a prime number?
True
Let w = -151 - 16. Let b = -262 - w. Is -2 + (4/(-2) - b) prime?
False
Let i = 25 - 24. Is 1 + i + (-1 - -21) a prime number?
False
Let r(q) = -18*q - 11. Let h(b) = -b**2 + 2*b + 2. Let v be h(4). Is r(v) composite?
False
Suppose -16 = -4*k - 4*r, 5*k - 4*r - 25 = -5. Suppose -1 - k = -c. Suppose -4*v + j + 234 = -j, -c*v - 5*j = -270. Is v composite?
True
Let v = 2095 - 1254. Is v a prime number?
False
Let d = 617 - 138. Is d prime?
True
Let x = 1199 - 526. Is x composite?
False
Let v be (68/(-6))/((-3)/207). Suppose -2*l + 4*o + v = 0, 257 = 2*l + 4*o - 541. Is l prime?
False
Let h(d) = -d**3 - d**2 + 3. Let m be h(0). Is m*(10/3 + -1) composite?
False
Suppose -6*b + 92 = -2*b. Suppose 3 = -5*v + b. Is v a composite number?
True
Suppose 4*h - 41373 - 30863 = 0. Is h prime?
True
Let g = -29 - -1. Is (2/(-4))/(2/g) a composite number?
False
Is (1982/(-10))/((-7)/105*3) a prime number?
True
Suppose -183 = -3*v + 2*o + 100, 2*o - 172 = -2*v. Is v composite?
True
Suppose -r = -458 - 63. Is r prime?
True
Let o = -4599 - -6776. Is o a prime number?
False
Suppose -666 = -2*k + 728. Is k composite?
True
Suppose 0 = 2*z - 3*m - 299, 2*m - 284 = 3*z - 5*z. Is z a prime number?
False
Let y = 190 - -1. Is y a composite number?
False
Let j = 243 - -152. Is j composite?
True
Is (571 + 2)*1/3 prime?
True
Let l(t) = 2*t**3 - 3*t**2 - 2*t + 2. Let b be 1*-2 - (-2 - 8). Let o be (4/(-6))/(b/(-36)). Is l(o) a prime number?
True
Suppose 0 = 28*a - 34*a + 12930. Is a composite?
True
Let w = -11 - -120. Is w a prime number?
True
Let r = -60 + 93. Suppose 4*h + 5*l - 26 = r, -32 = -4*h + 4*l. Is h composite?
False
Suppose 0 = -2*n + 91 - 739. Let l = -167 - n. Is l prime?
True
Let r = 23 - 14. Let c = r - -6. Is c composite?
True
Let s(x) = -139*x + 32. Is s(-11) a prime number?
False
Let o(n) = n**3 - 11*n**2 + 7*n - 10. Let i be o(11). Suppose i + 51 = 2*y. Is y a composite number?
False
Let h be 1 - (2 - 2)/2. Suppose z + 24 = 2*g, -5*g - 3*z + 37 = -h. Is g composite?
True
Let s(f) = f**3 - 5*f**2 - 2*f + 6. Let u be s(5). Let o be -1*(-122)/u*-2. Let p = o + -15. Is p composite?
True
Suppose r = -4*p + 8, 4*p - 8 = 4*r - 2*r. Suppose -3*v - 68 + 557 = r. Is v a prime number?
True
Let s be (-3 + (-36)/(-8))*8. Suppose s*w - 3246 = 6*w. Is w a prime number?
True
Suppose 3*s = -p + 4*s - 14, 5*p = -s - 46. Is (-326)/p*(3 + 2) a prime number?
True
Suppose 0*j 