 number?
False
Let v(g) = 275*g**2 + 70*g - 4. Is v(-5) prime?
True
Suppose -5*m + 11995 = -3*b, -b = -2*b. Is m composite?
False
Let k = -44733 - -100082. Is k prime?
False
Let i = 1189 + 601. Suppose 2*a - 2*g = 2*g + i, a - 3*g - 892 = 0. Is a a prime number?
False
Let v(m) = 88*m**2 - 7*m - 70. Is v(-9) composite?
False
Is ((-441)/(-588))/((-3)/(-397268)) a composite number?
False
Suppose -440593 + 21428 = -5*h. Is h a prime number?
True
Let j(i) = 3956*i**2 + 5*i. Is j(-3) a composite number?
True
Let a(i) = -129*i**3 + i + 3. Is a(-5) composite?
True
Is 3/(-15) - (-242424)/45 a composite number?
False
Let w = -32 + 59. Suppose t = 5*t - 4*h, 5*h = -4*t + w. Suppose 0 = -3*y - t*r + 1362, -3*y + r + 1342 = -0*y. Is y prime?
True
Let o = -19 - -19. Suppose -2*x + 5*q = -o*q - 103, 5*q = 25. Let z = x + -30. Is z composite?
True
Let v(w) = 223*w**2 - 16*w - 30. Is v(-4) composite?
True
Let x be 86/(-7) + (14/49)/1. Is (x/18)/(4/(-13998)) composite?
False
Is (25890 - 117/9) + 4/2 a prime number?
False
Suppose 7*z - 3*z - 8 = 0. Is (-9)/6*z + 410 + 2 a prime number?
True
Suppose 0 = -3*h + 3*v + 48294, -5*h + 22794 = -2*v - 57699. Is h composite?
True
Let x = 210 + -146. Suppose -4*o + 2*u + 178 = 12, -5*u = -o + x. Suppose -3*w + 0*w + o = 0. Is w a prime number?
True
Suppose 2*g + 2*g = 49804. Is g a prime number?
True
Let q be 13 + (-4 - (-3 - -1)). Suppose -2090 = -q*j - 11*j. Is j prime?
False
Let t(u) = 6203*u - 38. Is t(7) a prime number?
False
Suppose 0 = -5*p + 2*p + 36. Suppose -3*y + 405 = -69. Suppose y = 5*f - p. Is f composite?
True
Let c(y) = -y**2 + 8*y - 5. Let o(f) = -f**3 - 7*f**2 - 7*f + 3. Let u be o(-6). Suppose 12*v = 9*v + u. Is c(v) composite?
True
Let b be (10/6)/(-3 - (-115)/30). Suppose -5*i - 888 = 5*w - 9168, 2*i + b = 0. Is w composite?
False
Let d be -184 + 12 + (-2)/2. Let t = -297 - d. Let m = t + 263. Is m a prime number?
True
Let y(h) = h - 19. Let p be y(16). Let d be (p - 0 - -8) + -3. Is (-2)/(-4) - (-369)/d a composite number?
True
Let j be 11/4 - (-25)/20. Suppose j*i = 4*x + 349 + 947, -x = -2*i + 643. Is i a composite number?
True
Suppose s - 1 = -4*o, -1 + 16 = s - 3*o. Is 2/s - 920/(-72) a prime number?
True
Suppose 1220 + 50 = 5*i. Is (i/(-5))/(22/(-55)) prime?
True
Suppose 3*h - 5*n = -11652, 4*n = -4*h - 5028 - 10476. Let x = 6394 + h. Is x a composite number?
True
Suppose -3*c - 4*x - 8 = 0, -x = c - 0*x + 1. Suppose -5*r + 4*v + 1583 = 0, 3*r + c*v + 87 = 1056. Is r composite?
True
Let v(p) = -839*p + 125. Is v(-22) composite?
False
Let y = -2627 + 10536. Is y a prime number?
False
Let z = 25 + -21. Suppose z = -d + 6. Is 240 + 2*(-1)/d a prime number?
True
Suppose 120867 = 80*y - 77*y. Is y composite?
False
Let u = 1366 - 428. Suppose -4*f + 4*q = -4, -3*f + 3*q - 9 = -4*f. Suppose -f*k = 2*x - 2*k - u, -3*x + 1421 = -2*k. Is x a prime number?
False
Suppose 3*m + 12 = -0*m, -21 = -f + 4*m. Suppose q = f*i - 9116, -2*q - 3 = -1. Is i a composite number?
False
Let w(h) = h**3 + 12*h**2 + 14*h + 25. Let k be w(-11). Let m = -7 - k. Is (-4172)/(-14) - (m - 2) composite?
True
Let j be (-79)/(-2)*8/48*12. Suppose -x + 6*x - 420 = 0. Let u = x + j. Is u prime?
True
Suppose 2*j = -4*g, j - 3*g = 2*g. Let p(t) = -t**3 + 15*t**2 - 44*t - 4. Let w be p(4). Is (-46)/(-2) - (j - w) a composite number?
False
Suppose -5*m = -3*m - 362. Let t = 80 + -43. Suppose 5*x + 5*a = 4 + m, x - t = -3*a. Is x composite?
False
Is 6 + -7 - -1112 - 0/1 composite?
True
Is ((-13)/(-26))/(2/29516) composite?
True
Let n = 21 - 17. Is n + 0 + -3 - -262 a composite number?
False
Let a(w) = w. Let m be a(2). Suppose m*p - 107 = 803. Let d = -254 + p. Is d a composite number?
True
Suppose 0 = 5*m + 20, 3*m + 12 = 5*f - 10. Suppose 0 = 4*q - 3*u - 6369 + 1006, 4*u + 2694 = f*q. Is q a prime number?
False
Suppose 0 = 5*o + 3 + 2, 4*d - o - 18365 = 0. Is d a composite number?
False
Let r = 11615 - 244. Is r a prime number?
False
Let p(f) = -11*f**3 + 7*f**2 - 6*f + 3. Is p(-8) a prime number?
True
Suppose 0*m = 3*m + 3*y + 81, -54 = 2*m + 5*y. Is 1174/10 - m/45 a prime number?
False
Let b(j) be the first derivative of j**4 - j**3/3 + j**2 - j + 2. Let o be b(1). Suppose 335 = a + o*a. Is a a composite number?
False
Let i be 261/(-54) - (-2)/(-12). Let p = 5 + i. Suppose p = o + 4*o - 275. Is o a composite number?
True
Suppose 0 = -2*q - 3 + 7. Suppose 0*o = 4*w + o - 888, q*w - 3*o = 458. Is w prime?
True
Is 6/(-2)*((-55086)/18 + 0) prime?
True
Let i(p) = -6 + 11*p**2 - 2*p + 50*p**2 - 2*p + 7. Is i(-2) a prime number?
False
Is (((-2)/(-2))/(-2))/(13/(-106366)) prime?
True
Let t(o) = -55*o + 7. Let x be (-3 - -1)*(-14 + 17). Is t(x) prime?
True
Let o be (2 - -7)*(-2)/(-6). Let l be ((-3)/(-2))/(((-11)/2)/(-11)). Suppose 0 = -l*g - 3*a + 120, -o*g + 2*g = 2*a - 43. Is g a composite number?
False
Let h = -9101 + 13210. Is h a composite number?
True
Suppose 0 = -16*o + 405850 - 80714. Is o a composite number?
True
Suppose 96 = -b + 4*p, -3*p = -4*b - 312 - 59. Let c = 113 + b. Is c a prime number?
False
Let c = 82110 + -47899. Is c a composite number?
False
Let y(z) = z**3 + z**2 - z + 5. Let w be y(0). Is 1049*(-4 - (-25)/w) a composite number?
False
Let u(c) be the second derivative of c**4/4 - c**3/3 + 5*c**2/2 - 5*c. Let p be u(-6). Let b = p + -74. Is b a prime number?
False
Let a = 19332 + 2629. Is a a composite number?
False
Let p = -1572 + -26. Let x = 1049 - p. Is x composite?
False
Let t = -2308 + 14733. Let o = -5382 + t. Is o composite?
False
Let t(y) = -y**3 - y**2 - y - 1. Let s = 4 - 6. Let m be t(s). Suppose 2*h = -2 - 4, m*o = -2*h + 719. Is o prime?
False
Suppose 0 = -16*y + 3*y + 230009. Is y prime?
False
Let t(a) = 67*a + 5. Let w(p) = p - 2. Let h be w(4). Is t(h) a composite number?
False
Suppose 5855889 = -64*o + 103*o. Is o prime?
True
Let c = -32603 - -82266. Is c composite?
False
Let o be (-60)/9*93/2. Let h(m) = m**2 - 17*m - 21. Let q be h(18). Is (-9)/q + -6 - o a composite number?
False
Let s = 8 - 11. Let b be 5 - s/(4/(-4)). Is (-20)/(-15)*213/b a composite number?
True
Suppose -31*v + 253670 = -21*v. Is v prime?
True
Suppose -o + 8*d - 9*d = -12645, 4*o - 2*d - 50556 = 0. Is o prime?
True
Suppose 4*x = 6*x - 4. Suppose -4*g - x*l = -2754, 5*g - 3568 + 108 = l. Is g composite?
False
Let t = 1662 + -544. Suppose -121 - t = -3*v. Is v a prime number?
False
Let y = 1 + 3. Suppose -5*u + 2631 = 3*q, u = -q - y*u + 887. Suppose 0 = o + v - 292, 0 = 3*o + 3*v - 4*v - q. Is o a prime number?
False
Is ((-161)/(-14) - 8)/((-2)/(-404)) a composite number?
True
Let m(x) = 24*x**2 + 40*x - 7. Is m(6) a composite number?
False
Let v = -38 + 36. Let r(n) = 0 - 155*n + 0 - 1 - 2. Is r(v) a composite number?
False
Suppose 0 = 507*p - 532*p + 2297725. Is p a composite number?
False
Let m = 20947 + -6804. Is m a composite number?
False
Let a(g) be the third derivative of 0 + 1/24*g**4 + 79/6*g**3 - 1/120*g**6 + 0*g - 3*g**2 + 0*g**5. Is a(0) composite?
False
Let o(s) = -5*s**2 - 123*s - 15. Is o(-19) a prime number?
False
Let n(k) = -k**2 + 4*k - 2. Let z be n(2). Let p be (0*(-3 - -2))/7. Suppose p*v + 3*q - 410 = -z*v, 0 = 5*v - q - 1008. Is v a prime number?
False
Let j be 102/9 + 6/9. Suppose -4*n + 1 = -7. Suppose n*y + j = 146. Is y a composite number?
False
Let k(f) = f - 1. Let j be k(5). Let y = j - 0. Suppose -2*u - y*o = 26 - 72, 40 = 2*u + o. Is u prime?
True
Let q(n) = -15*n - 10. Let y(m) = m + 1. Let d(z) = q(z) + y(z). Let c(h) = h - 1. Let k(x) = 6*c(x) - d(x). Is k(4) prime?
True
Let l = -177 - -80. Let p = l + 258. Is p a composite number?
True
Let s = -42 - -70. Suppose 0 = 4*i + 4*r - s, -1 - 4 = i - 3*r. Suppose -355 = -3*a - a - 3*h, 0 = i*a - h - 367. Is a prime?
False
Suppose -5 = -5*s + 5. Suppose -3*j = -6*z + 3*z - 12, -3*j - 4*z = -5. Suppose q = j*w - 385, 5*w - 506 - 137 = s*q. Is w a prime number?
True
Let d(a) = 122*a**2 + 5*a - 46. Is d(5) a prime number?
False
Suppose 0 = -5*w + 3*d + 34, w = 5*w + 2*d - 14. Let a be -1765*w/(100/(-8)). Is ((-2)/4)/((-1)/a) prime?
True
Let d = 54 - 54. Suppose d = o - 404 - 117. Is o composite?
False
Suppose 19*x + 9478 = 147171. Is x prime?
True
Suppose -4*x - 3*a + 6757 = 0, -5535 = -4*x - 2*a + 1227. Is x composite?
False
Let c(k) = k**2 - 6*k +