0 = -4*w + k + 3237, -5*k = 4*w - 1537 - 1694. Is w composite?
False
Let f be (3/(-2) + 1)*-46. Suppose w + 2 = f. Is w prime?
False
Let r(c) = 6*c**2 + 15*c + 5. Let n(i) = -3*i**2 - 7*i - 3. Let u(a) = -a**3 + 8*a**2 - 2. Let l be u(8). Let m(g) = l*r(g) - 5*n(g). Is m(-5) a prime number?
False
Let n = -1 - -6. Let b = 52 + -13. Suppose n*m = j + b, -4*m + 9*j = 4*j - 48. Is m a prime number?
True
Let u(p) be the first derivative of p**2/2 + 3*p - 2. Let n be u(-4). Is (n - -9)*(-34)/(-8) prime?
False
Let b = 26 - -267. Is b a composite number?
False
Suppose -8*b + 4*b - 1698 = -2*k, -3*k + 2*b + 2551 = 0. Is k composite?
True
Let i(z) = 3*z**3 + 5*z - 5. Is i(6) a prime number?
True
Let c(q) = -q**2 + 3*q + 3. Let h be c(-7). Let w = h + 216. Is w a composite number?
False
Let m = -350 + 499. Is m a composite number?
False
Let v(w) = w - 2. Let o be v(5). Suppose 3*d - 15 = -o*b, -2*b = 4*d + b - 17. Is (-1)/(-1*d/22) prime?
True
Suppose 141 = 4*r - 795. Let t(w) = -w - 145. Let z be t(0). Let x = r + z. Is x prime?
True
Suppose -2*g - k = -12, -5*g + 5*k + 63 = 18. Let l(m) = -m + 4. Let t be l(g). Is (-112)/t + 2/(-6) composite?
False
Suppose -4*l + 8 = -4. Let u(t) = -t**2 - t + 27. Let g be u(0). Suppose -k + g = -h, 2*k + 3*h = -l*k + 103. Is k a composite number?
False
Let v(k) = 12*k + 3. Let o(i) = 4*i**2 - 2*i - 1. Let d be o(-1). Let s be v(d). Suppose 7*t + 4*f = 4*t + 129, 2*t = 5*f + s. Is t prime?
False
Let h be 171/(-5) + (-1)/(-5). Let b = h + 55. Is b prime?
False
Let j = 16 + -10. Let s(o) = 2*o - 9. Let a be s(j). Is 2/a*222/4 prime?
True
Let m be (-2)/4 - 5/(-2). Suppose 5*a + 15 = 8*a. Suppose m*z - 94 = -4*w, -2*z + 4*z + a*w = 91. Is z composite?
False
Suppose 766 = 3*y - 212. Suppose 5*r = 3*r + y. Is r composite?
False
Let b(r) = -10*r - 13. Is b(-14) a prime number?
True
Let s = 3 + -1. Let i be 45/30 - 7/2. Is i*((-13)/s)/1 a prime number?
True
Let f = 283 - 432. Let t = f + -12. Let q = t + 282. Is q composite?
True
Let s = -439 + 884. Is s composite?
True
Suppose 12 = -2*l - 0*l. Is l/(1*8/(-452)) composite?
True
Is (2 - (0 - -4)) + 25 composite?
False
Suppose -u - 220 + 474 = 0. Is u composite?
True
Suppose -33 = 5*s + 112. Let d = -2 - s. Suppose d = 4*n - 9. Is n a prime number?
False
Let o = 13 - 11. Is o/((-55)/19 - -3) prime?
True
Suppose 0 = -5*a + 5*w - 10, 4*a - 4*w + 35 = -9*w. Let f(m) = -3 + 3*m + 2*m + 1 + 2*m**2. Is f(a) prime?
True
Let v(x) = 4*x**2 - 7*x + 5. Let q = -1 - 3. Is v(q) composite?
False
Let a(x) = 7*x + 5. Let p(u) = 2*u + 1. Let d(b) = -2*a(b) + 9*p(b). Is d(8) composite?
False
Let b = 8 + -8. Suppose x = -b + 3. Is x prime?
True
Let s = 109 - 54. Suppose 5*k = -2*w + 79, -5*k - 4*w + s = -28. Is k a prime number?
False
Suppose p - 946 = -5*b, 3*p = -0*b + 4*b - 772. Suppose -b = -y - 4*y. Is y a prime number?
False
Let s = -4 - -131. Is s a composite number?
False
Suppose -f + 468 = -215. Is f a composite number?
False
Suppose 0 = 19*t - 23*t + 1172. Is t composite?
False
Suppose -7*l + 8*l = 8. Is (-1573)/(-44) + (-6)/l a prime number?
False
Suppose -3*b - 5*o - 182 = 0, -b - 67 = 2*o - 6. Let p(w) = w**3 - 5*w**2 - 4*w + 4. Let t be p(4). Let r = t - b. Is r a prime number?
True
Let f be -7 - 6/(-2 + -1). Let y(z) = z**2 + 3*z - 7. Let r be y(f). Let i(g) = 2*g**3 - 3*g + 4. Is i(r) prime?
False
Let z = 73 - -48. Suppose 3*x = 4*m - m - 204, -3*x + z = 2*m. Is m a composite number?
True
Is 85 + -4*(-4)/(-8) a composite number?
False
Let w = 1234 + -681. Is w prime?
False
Let g = 1073 - 672. Is g a prime number?
True
Let b = -737 + 2248. Is b composite?
False
Is 370 - -3 - 0/4 composite?
False
Let o(y) = 107*y**3 + 3*y**2 - 2*y - 2. Let h be o(2). Suppose 6*g + 1086 = 5*t + 4*g, -5*g - h = -4*t. Is t composite?
True
Suppose -n = 3*n. Let p = n + 6. Let b(t) = t**2 + t + 7. Is b(p) a prime number?
False
Let q(s) = s. Let i be q(1). Let l(x) = 252*x**2 - x. Is l(i) composite?
False
Suppose 769 - 169 = -3*a. Let g = -73 - a. Is g a prime number?
True
Suppose 6*z - 4*z + 3*j - 545 = 0, 0 = 2*z - 4*j - 524. Suppose -4*l + z = f + 2*f, 3*l - 3*f - 201 = 0. Is l a prime number?
True
Suppose -2*i + 6 = -0. Let r(s) = -i*s + 1 + s - 18*s. Is r(-1) a composite number?
True
Let v(x) = -106*x + 17. Is v(-6) prime?
True
Suppose -5*z + 0*q + 3*q = 12, -q + 4 = -3*z. Suppose -r = -z*r. Suppose 5*y - 252 - 13 = r. Is y a composite number?
False
Suppose 10*s - 3935 = 5*s. Is s a composite number?
False
Let l be 3/2*6/(-9). Suppose 2*f = a + 26, 3*a + 76 = -a + f. Is l/(3/a*2) a prime number?
True
Suppose 0 = 5*w + 4*x - 29, w - 5*w = 2*x - 22. Let u be ((-395)/w)/(1/(-4)). Suppose 0*p + u = 4*p. Is p composite?
False
Let y be ((-3)/(-2))/((-12)/(-16)). Suppose y*o - 169 = -67. Is o composite?
True
Suppose -7*s + 14465 = -17462. Is s a composite number?
False
Suppose -2*r + 6 = -0*r. Suppose r*o - 282 = o. Is o prime?
False
Is -41*(-1 + 24)*-1 prime?
False
Let n = 481 + 152. Is n composite?
True
Let o = -10 - -13. Suppose -8*y + o*y = -730. Is y a prime number?
False
Let w(u) = u**3 + 6*u**2 - 6*u + 6. Let x be w(-7). Let b(p) = -22*p + 1. Is b(x) prime?
True
Suppose d = -d - 438. Let w = 107 + d. Is (-5)/25 - w/10 prime?
True
Let c be 13 - 11 - 62*13. Is (c/(-24))/((-2)/(-20)) a composite number?
True
Let b(v) = -2*v**3 - 3*v**2 - 16*v - 20. Is b(-7) prime?
True
Suppose -5*l + o = -505, 0 = 2*o + o. Suppose -552 = -4*g - 4*y, -l = 4*g - 3*y - 674. Is g composite?
True
Is 4/(-6)*(-3048)/16 prime?
True
Let b be (-23)/(-3) - 4/6. Suppose 5*o - 8 = b. Suppose 5*m + 0*v + 2*v = 389, -227 = -o*m + 2*v. Is m a composite number?
True
Let r = 2 - 6. Let j = 0 - r. Suppose -183 = -j*h - 4*b + 61, 0 = -3*h - 5*b + 175. Is h a composite number?
True
Let w(o) = -o**2 + 3*o. Let a be w(3). Let j(i) = i**3 - i + 38. Let l be j(a). Suppose 3*y = y + l. Is y composite?
False
Let h(b) = -b**2 - 8*b - 3. Let x be h(-7). Let g be 26/(-3)*(-1 - 2). Suppose x*s + k = 84, k = s - 0*k - g. Is s composite?
True
Let z be -1*3 - (4 + -11). Suppose 57 = 3*f - z*k, -4*f - k + 89 = -2*k. Is f composite?
False
Suppose 2*l - 8 = 0, -3*f - l = 2*l - 12. Suppose f = 3*b - 0*b - 702. Suppose -4*n + 5*x + 240 = n, -5*n + b = x. Is n composite?
False
Let w = 1002 + -361. Is w composite?
False
Suppose -4*s - 70 = -2*j - 10, -s = 4*j - 93. Let z be j/5 + (-2)/(-10). Suppose z*w - 392 = 663. Is w a composite number?
False
Suppose -5*v + 5*u + 7735 = 0, -v + 3*u + 1527 = 7*u. Is v a prime number?
True
Suppose -5*h = -10*h - 110. Let j = h - -285. Is j composite?
False
Let k(t) = t**2 - 8*t - 14. Suppose -38 = -3*o + 2*x - 0*x, 2*o - 36 = 4*x. Let j be k(o). Suppose 3*d = -4*b + 136, -5*b + j*d = d - 170. Is b prime?
False
Suppose -5*o + 0*o + 4361 = -4*d, 5*d = -o + 849. Is o a composite number?
True
Suppose 0 = 5*x - 1625 - 980. Is x a composite number?
False
Let u(r) = r**3 + 6*r**2 + 2*r. Is u(-3) composite?
True
Let o(t) be the second derivative of t**5/20 - 5*t**4/12 - t**3/6 + 7*t**2/2 - 5*t. Let n(q) = -2*q**3 - 2*q**2 - 2. Let d be n(-2). Is o(d) composite?
False
Let a = 15 + -12. Suppose a*d = -d + 764. Is d composite?
False
Let h be ((-45)/6 - -1)*-8. Let a = h + -14. Is a a prime number?
False
Suppose -3*u + 1880 = -985. Suppose 5*b - 40 = u. Is b a composite number?
False
Suppose 22 = -4*t + 5*t. Suppose 0 = j - t. Is j a prime number?
False
Let m(q) = q**2 + 3*q - 2. Suppose -2*o = -4*o - 14. Let j = o + 11. Is m(j) composite?
True
Suppose 45 = 5*x + 5*n, 0 = -2*x + x - 4*n + 21. Suppose r = x*r - 716. Is r composite?
False
Let k = -879 + -200. Let g = 1578 + k. Is g composite?
False
Let n be 388/2*2/4. Suppose c = -4*c - 10, 0 = -5*j - 4*c + n. Is j prime?
False
Suppose 827 + 828 = -5*k. Let z = k + 587. Is (-2 + z)/(1 - -1) prime?
True
Let p(b) = b**2 - 6*b + 2. Let h be 4/22 + 64/11. Let w be p(h). Is w/(-4) + (-42)/(-4) a prime number?
False
Let i = -17 + 28. Is i a composite number?
False
Let p(y) = 30*y**2 - 5*y + 2. Let z = 3 - 0. Is p(z) composite?
False
Is 2/(-4)*((-12)/6 + -2082) a prime number?
False
Suppose 2333 = 3*b - 2*b. Is b prime?
True
Suppose -3*k = 3*h, 0*k + 12 = 4*h - 2*k. Suppose 4*w + 6 = h*w. Is (254/w)/(6/(-9)) a composite number?
False
Suppose 0 = -2*l - 3*l + 25. Let t be -5 + (l + -1)/2. Is 