4 - 2971. Is r a prime number?
True
Is (-2)/((4/(-10))/((-1229)/(-5))) composite?
False
Let r be ((-10)/(-3))/((-4)/(-6)). Suppose -r*i + 3*j + 5 = 0, -2*i + 11 = -2*j - j. Is 6/4*i + 226 a prime number?
True
Let m(b) = -187*b + 5. Is m(-4) a composite number?
True
Let x = -860 + 1311. Is x prime?
False
Suppose 5*t + 730 = 5*f, 6*f - 3*f = 4*t + 434. Let a be (2/(-5))/(5/f). Is a*2/(-2) + -3 a prime number?
False
Suppose 0 = 2*o + 3*o - 20. Suppose -5*c + 31 = -o. Is c prime?
True
Let f = 7857 - 4714. Is f a prime number?
False
Is (0 - 1)/(5 + 236/(-47)) composite?
False
Let n(j) = -2*j**3 - 3*j**2 - 2*j + 9. Is n(-4) a prime number?
True
Let p(j) = -13*j**2 - 9*j - 3. Let s(z) = z + 1. Let n(g) = -p(g) - 5*s(g). Is n(3) prime?
True
Is 1 + (-1 - -4) - -165 a prime number?
False
Let k = -427 + 636. Is k prime?
False
Is (0 + -2 + 57)*1 prime?
False
Suppose -4*n + l = -3*n - 14, 0 = 3*l + 9. Let x(a) = 14*a - 9. Is x(n) composite?
True
Suppose 2*p + 3*k = 175, k = p - 22 - 68. Is p composite?
False
Suppose -x + 0 = -6. Suppose -57 = 3*o - x*o. Is o composite?
False
Let r = 8 + -5. Suppose 3*b + 3*i + 22 = 190, 2*b + r*i - 115 = 0. Is b prime?
True
Let q(r) be the first derivative of -r**4/4 - 2*r**3/3 + 9*r**2/2 + 3*r - 4. Is q(-7) a composite number?
True
Let t(r) = r**3 - 3*r**2 - 3*r - 4. Let g be t(4). Let a = g - 4. Is (11/a)/(1/(-12)) a composite number?
True
Suppose -2*o + 8 = 2*h, h + 4*o - 4 = 3. Suppose -n = h*n - 32. Suppose -4*g = -n*g - 2*y + 142, 0 = -3*g - y + 106. Is g a prime number?
False
Let x(m) = 4*m + 0 - 7 + 2*m. Is x(7) a composite number?
True
Let y = -44 - -67. Is y a prime number?
True
Suppose -2*s + 255 = s. Is s prime?
False
Is -13*(5 - 4)*-37 prime?
False
Suppose -553 = -6*b - b. Is b composite?
False
Let p(x) = -2*x**3 - 4. Let d be p(-3). Suppose 3*t - d = 289. Is t prime?
True
Suppose -3*s = -k + 76, k + 2*s - 82 = 3*s. Is k a prime number?
False
Suppose 0 = 4*k + 4*a + 24, 3*a + 2 + 1 = 2*k. Is (-1)/k + (-1520)/(-12) a prime number?
True
Let d(i) = -9*i - 6. Suppose 87 = 2*z + 17. Suppose -z = 2*j + 3*j. Is d(j) a prime number?
False
Suppose -b - 4*b - 41 = -n, 36 = -5*b - 4*n. Is 4/b*(-186 - -4) composite?
True
Is (-1)/(((-16)/1028)/4) a prime number?
True
Suppose 4*a - t = 3 + 11, -3*a - 3*t + 3 = 0. Let f(r) = -1. Let h(y) = -63*y + 1. Let b(j) = 3*f(j) - h(j). Is b(a) a composite number?
True
Let f = -4 - -6. Suppose -3 = -3*d + f*w + w, 0 = -3*w. Is -1*d/3*-21 composite?
False
Let c = -279 + 494. Is c a composite number?
True
Suppose -3*s - 7 = -19. Suppose 5*v - i - 194 = 0, 3*v - s*i + 9 = 122. Is v a prime number?
False
Let d(p) = p**2 - 4*p - 17. Let a be d(7). Suppose a*q + t - 205 = 0, -4*q + 3*t + 252 = q. Is q composite?
True
Let k(f) = f + 2. Let t(u) = -u. Let n(m) = k(m) - t(m). Let z be n(7). Let c = -9 + z. Is c prime?
True
Let w be -2 + 5 + 0 - -170. Let o = w - 46. Is o composite?
False
Let v(g) = -g**3 + 2*g**2 + g + 4703. Is v(0) a composite number?
False
Suppose -p = 5*j + 45, -23 = -2*j + 3*j + 3*p. Is (-831)/(-12) + 2/j prime?
False
Let p(f) = -f**3 - 2*f**2 - 5*f + 3. Is p(-4) composite?
True
Suppose 0 = 6*z - 5*z - 31. Let r = -111 - -177. Let g = r - z. Is g a composite number?
True
Let n(s) be the first derivative of -s**4/4 - 4*s**3/3 + 5*s**2/2 - 7*s - 2. Is n(-6) prime?
False
Suppose -x + 3*s + 13 = 0, -2*x + 2 + 0 = 2*s. Suppose 0 = 4*z - 2*z - c - 182, -x*c = -5*z + 461. Is z a composite number?
False
Let g(v) = 7 + 1 + 1 - v + 2*v. Is g(10) a composite number?
False
Let t = -192 + 353. Is t a prime number?
False
Let a be 5/(3*(-2)/(-18)). Let f be 32/10 - 3/a. Is (f/6 + -1)*-138 a prime number?
False
Suppose -l = -3*c + 2084, 3039 = 3*c + 2*l + 952. Is c composite?
True
Suppose 140 + 546 = 2*j. Suppose -j + 47 = -4*w. Let y = -49 + w. Is y prime?
False
Let f(m) = 12*m**2 - 3*m + 5. Is f(6) a composite number?
False
Let o = 798 - 79. Is o composite?
False
Suppose 3*g = -3*w + 810, -g + 4*w + 108 + 137 = 0. Is g a composite number?
True
Suppose 3*b - 4 - 2 = 3*p, -11 = -2*p + 5*b. Let t = 9 + p. Is 4/(-8) + 63/t a prime number?
True
Let y(k) = -9 + 6*k - k**2 - k + 8*k + 3*k. Is y(6) composite?
True
Suppose 4*j - 2*j - 136 = 0. Let m = j + -45. Is m a prime number?
True
Let t = 0 + 0. Let x = t + 5. Suppose 0*w = -x*w + 595. Is w prime?
False
Let l = 173 - 120. Suppose 3*a + 0*a - 47 = 5*z, -3*z = 4*a - l. Is a prime?
False
Let b(p) = -209*p. Let s be b(1). Let t = s - -109. Let f = -45 - t. Is f composite?
True
Suppose 1 = -x - 2. Let t be (-2)/6 + (-7)/x. Let s(m) = 2*m**3 - m**2 + 2. Is s(t) composite?
True
Let q = 0 - -3. Suppose 0 = 3*m - 49 - 5. Suppose -q = -t + m. Is t a prime number?
False
Suppose 4*z = -4*y - 4, -2*z - 23 + 0 = -5*y. Suppose 28 = y*x - 14. Is x composite?
True
Suppose 0 = -3*d - 2*i + 1, -3*d + i - 7 = -2. Let j(t) = 73*t**2 - 1. Let r be j(d). Suppose 2*k + k - r = b, 5*k = -3*b + 106. Is k prime?
True
Is 210 - (-1)/(3 + -2) a composite number?
False
Let a = 64 + -19. Suppose -4*k - 13 = -4*p - a, 0 = -3*k - p + 28. Is k prime?
False
Suppose -2*b - 12*b = -166082. Is b a prime number?
True
Let v = 7 - 4. Let y(m) be the first derivative of 17*m**2/2 + 2*m - 1. Is y(v) a composite number?
False
Let u = 386 - -1215. Suppose 4*d = 3*o - 1041, 0 = -4*o + d - 213 + u. Is o a composite number?
False
Let n(w) = -w - 2. Let v be n(-8). Let k be -220 + 2 - v/2. Let p = -142 - k. Is p a prime number?
True
Suppose 18 = m + 5*q - 10, 0 = -m + 5*q - 22. Suppose -5*z - 5*v = -m*v, -2*z = 4*v + 16. Suppose -76 = -z*r - 2*r. Is r composite?
False
Is (3967 - -2) + 0 - -4 a prime number?
False
Suppose 0 = -5*f - 4*b + 2506, -f - 5*b + 497 = -0*b. Is f a composite number?
True
Suppose -2*b = -7*b + 15, -5*o + 2662 = -b. Let q = o - 348. Is q prime?
False
Suppose 7*n = 2461 + 192. Is n a composite number?
False
Let s be 170 + 0*(-4)/16. Let i = -105 + s. Is i a prime number?
False
Suppose -2*v = -v + 6. Let x(s) = -s - 2. Let b be x(v). Is b/18 + (-2030)/(-18) a composite number?
False
Suppose 3*h - 5*d - 2192 = -h, 0 = 5*d - 20. Is h prime?
False
Is 106*-1*2/(-4) prime?
True
Suppose 170 = -5*p - 10. Let y = -25 - p. Is y prime?
True
Let z = 2 + -7. Let l(q) be the first derivative of -q**2/2 + q + 2. Is l(z) a prime number?
False
Suppose 1246 = 2*o - 4*c, 5*c - 568 = -3*o + 1356. Is o a prime number?
False
Suppose -5*t + 2*v + 940 = -3*v, -t = 2*v - 173. Is t composite?
True
Suppose -14*a - 915 = -9*a. Let c = 436 + a. Is c composite?
True
Let v be (2 + -3)/(3/9). Let z be 15/((4/v)/(-4)). Suppose m - z = 29. Is m prime?
False
Let u = 18 + -13. Suppose -2*c + 5*m = -101, -u*m = -5*c + 305 - 30. Suppose 10 = x + a, -3*a - c = -5*x - 0*x. Is x a prime number?
True
Suppose s = -5*j - 18 - 8, 3*j + 24 = -2*s. Let y = s + 31. Is y a composite number?
True
Suppose -441 = -2*k - 143. Let l = k - 58. Is l composite?
True
Let d be 1759/2 - (-1)/(-2). Suppose 4*u - d = u. Is u composite?
False
Let o(l) be the first derivative of 2*l**3 - l**2 - l + 1. Is o(-5) composite?
True
Suppose 0 = -2*t + 5*t - 39. Is t composite?
False
Suppose 0 = 3*d - z - 1, -3*z + 14 = -1. Suppose 2*h - 84 = -d*h. Is h prime?
False
Let u be (-2)/(-3)*(-3 - -468). Suppose 3*c - 198 = 3*o, -2*o - 3*o = 5*c - u. Suppose 2*h - 26 = 3*d, -7*h + 3*h + 3*d + c = 0. Is h a prime number?
True
Suppose -331 = -6*n + 383. Is n prime?
False
Suppose -754 = -2*n + 316. Is n prime?
False
Suppose 32 = 5*j - 748. Let x = j + -76. Suppose -4*f + x = 4*t, -3*t - t - 2*f + 78 = 0. Is t composite?
False
Suppose -3122 = 4*m - 1006. Let b = m + 836. Is b a prime number?
True
Let p(f) = f**3 - 4*f**2 + f - 7. Let y = -9 + -3. Let b be (-1)/(3/y) + 1. Is p(b) composite?
False
Let q(c) = 17*c**2 + 6*c - 13. Is q(8) a composite number?
False
Let f = 9 - 7. Suppose -2*a - 16 + 106 = f*o, -3*o - 6 = 0. Is a a prime number?
True
Suppose 5*m - 6*m = -3. Let k(b) = b**3 + 12*b**2 + 7*b + 9. Let g be k(-10). Suppose 0 = 4*s - m*l - g, -2*s - 4*l = -3*s + 25. Is s composite?
False
Suppose -2*o - 2*h + 60 = 6, -o - 4*h + 15 = 0. Let b = 62 - o. Is b a prime number?
True
Let l(i) = -6*i - 2. Let w be l(2). Let s = w - -97. Is s a prime number?
True
Let s(n) = 19*n**2 - 2*n. Is s(-3) composite?
True
Is (-12 + 10)/(-2 - 208/(-106)) prime?