= n - -96. Is s prime?
False
Suppose 3*x + 4*b = 8*x - 1691, b = -4. Is x composite?
True
Let n be ((-2)/(-4))/(1/(-34)). Let w be (-3267)/(-77) - 4/(-7). Let r = w + n. Is r a prime number?
False
Suppose 0 = -5*m + 3*p + 3422, m - 2*p - 2*p = 681. Suppose 4*v - 1807 = m. Is v a composite number?
True
Let b(g) = -g**2 + 13*g + 2. Let a be b(13). Suppose -v - 445 = -a*v. Is v a composite number?
True
Let c(g) = 8 - 1 + 0 - 5*g - 4*g**3. Let t(o) = -o**3 - o**2 - o. Let x(a) = c(a) - 5*t(a). Is x(-5) composite?
False
Suppose -3*v - 5*x = 105 - 378, 2*x - 91 = -v. Is v prime?
False
Let y = 158 - 89. Is y a composite number?
True
Let i = 4032 - 2003. Is i a composite number?
False
Suppose 28220 = 5*v + 5*s, 3*v + s = -0*v + 16922. Is v a prime number?
True
Let s(v) = -v - 1. Let u(x) = -71*x - 2. Let g(j) = 3*s(j) + u(j). Is g(-2) a prime number?
False
Suppose -i - 20 = -5*k, -i - 11 = -2*k - 0*i. Suppose -k*h + 7*h + 1476 = 0. Let j = h - -526. Is j a composite number?
False
Let r(b) = -2*b**3 - 18*b**2 - b + 13. Is r(-12) a prime number?
False
Suppose 5*k - 578 = -4*b, 3*b - 5*k - 159 = 257. Is b a composite number?
True
Let w = -11 - -6. Let l(n) = -n**2 - n - 1. Let r(g) = 3*g**2 + 5*g + 3. Let b(s) = 2*l(s) + r(s). Is b(w) a composite number?
False
Suppose 0 = 3*a + 2*a - 25. Suppose 2*x - a*x + s + 1922 = 0, 5*x - 3200 = s. Suppose -4*z + 5*o + 821 = 0, x = 3*z + o + 9. Is z composite?
True
Let s(b) = b**2 - b + 1. Let d(x) = 2*x**2 + 7*x + 5. Let k(g) = d(g) - 3*s(g). Is k(10) a prime number?
True
Let t(x) = x + 76. Let r be t(0). Suppose 3*c + r = 7*c. Is c composite?
False
Let g(a) be the second derivative of a**5/20 - 5*a**4/6 + 13*a**3/6 - 3*a**2/2 + 6*a. Is g(10) composite?
False
Suppose 0*u = 2*u + 108. Suppose -3*c = c - 8. Is (-9)/6*u + c a composite number?
False
Let g be ((-1)/(-3))/(1/309). Suppose 4*a - 3*x = 181, 4*a = -4*x + g + 85. Is a composite?
True
Let m be 358 - 1 - (4 + -2). Suppose 2*y - m = -3*y. Is y a composite number?
False
Let r be (0 - 0)/(-1 + 2). Suppose r = -3*o - 4*y + 365, -4*o + 2*o - y + 250 = 0. Is o a prime number?
True
Suppose 0 = -2*a - 6 + 2, 5*a - 34 = -4*x. Let i(j) = 2*j**2 - 7*j - 10. Is i(x) composite?
True
Suppose 0 = -3*o - 6, -5*f + 4*o - 12 - 40 = 0. Is (f/(-10))/((-2)/(-65)) a prime number?
False
Let g = -18 - -27. Let s(j) = -j**2 + 17*j + 11. Is s(g) prime?
True
Suppose -2*u - 3*u + 5*c - 5 = 0, -u + 3*c + 3 = 0. Let j(l) = -7*l + 1. Let b be j(u). Let k = 41 - b. Is k a composite number?
False
Suppose 3*o - 523 = 4*j, 6*o - o - 4*j = 877. Is o prime?
False
Let v(d) = -18*d**2 - 26*d - 11. Let k(b) = -6*b**2 - 9*b - 4. Let c(f) = 17*k(f) - 6*v(f). Let w be c(2). Suppose t + 3*t = w. Is t composite?
False
Suppose -2*n = -6*n + 16, 0 = d + 4*n - 44. Suppose a - d = -6. Is a prime?
False
Let u be (12/(-18))/(2/(-81)). Let m be (-6)/u + 804/(-27). Let g = 56 + m. Is g a composite number?
True
Let f(t) = 2*t**2 + 2*t + 7. Is f(-8) prime?
False
Let b be 3/9 + (-5)/(-3). Is -2 + b - 35*-1 a composite number?
True
Let x be (12/(-8))/1*-2. Suppose x*w + w - 4*y = 756, 4*y = -2*w + 390. Is w a composite number?
False
Let q(g) = 6*g + 11. Is q(2) prime?
True
Is 3 + (4592/4)/1 composite?
False
Let a(o) = -o**3 + 5*o**2 + o - 2. Let t be a(5). Suppose t*s - s - 36 = 0. Let u = s + -3. Is u prime?
False
Is (15/6)/(2/2396 + 0) a composite number?
True
Suppose 5*l = -0*h - 2*h + 145, -25 = 5*l. Is h a prime number?
False
Let o(w) = 5*w**3 - w**2 - 2*w + 2. Let d be o(3). Suppose -3*x = -x - d. Suppose -3*k + 3*f = -162, 2*k = -5*f + x + 40. Is k a composite number?
False
Suppose u - 5 = 0, 3*h - 5*u - 65 = h. Let g be (3/(-1))/((-5)/h). Is 122/18 + 6/g prime?
True
Let i = 1 + -1. Suppose 4*c = 8 - i. Suppose -c*d = -16 - 22. Is d a composite number?
False
Let a(s) = 5*s**2 + 30*s + 39. Is a(-22) prime?
False
Let v(g) = -g + 8. Let x be v(0). Suppose 0 = -5*j + j + 2*p - x, 2*j = -5*p + 20. Suppose j = -2*z - 3*z + 10, -4*r + 3*z = -134. Is r a prime number?
False
Suppose c - 2*c + 4 = 0. Suppose -3*i + 111 = -3*p, 82 = -3*i + 5*i - c*p. Is i a composite number?
True
Is 377 - (32/48)/((-2)/6) composite?
False
Let z = -338 + 547. Is z prime?
False
Let s = 43 + 53. Suppose -5*t - 2*f + 65 + s = 0, 0 = t + f - 34. Let h = t + -17. Is h a prime number?
False
Let u = 4 + -2. Let h(p) = 5*p**2 + 2 - 3*p - u. Is h(2) composite?
True
Let c be (2072/6 + -2)*-3. Let n be (-2)/(-9) - c/(-18). Let s = -32 - n. Is s a prime number?
False
Let i(f) = 207*f - 12. Is i(9) a composite number?
True
Let m(g) = -5*g + 5. Let q be m(4). Let j = 28 + q. Let t = 54 + j. Is t a prime number?
True
Suppose -5*j = -i - 2*i - 67, 0 = -3*j + i + 37. Suppose 2*k = -7*p + 2*p, 2*p - j = -3*k. Is 7*(-14)/p*1 composite?
True
Let o(c) = -c - 4. Let g be o(-9). Suppose -2 = -b + g. Is b a prime number?
True
Let o(y) = 117*y + 11. Is o(3) composite?
True
Let b be 2/1*(-3)/6. Is b + (-2 - (-217 + -3)) a composite number?
True
Suppose -2*t - 951 = -5*t. Is t composite?
False
Let g be (6/(-4))/(4/(-40)). Let q(w) = -3*w - 2. Let r be q(-2). Suppose p + 5*z = g, -r*p - 4*z = -z - 60. Is p composite?
True
Suppose -w - 4*d + 12 = 0, 3*w - 5*d + 16 = 1. Let t be (w - 1)/(2/(-12)). Suppose -2*h - 24 = -t*h. Is h a prime number?
False
Suppose 58 = 4*x + 454. Let j = x + 145. Is j prime?
False
Let y = 14 + -10. Suppose 0 = -y*g + 4*u + 340, -47 - 212 = -3*g + 5*u. Is g a composite number?
False
Suppose -1038 + 146 = -2*v. Is v a composite number?
True
Suppose 0 = -4*f + 14 + 58. Suppose 19 = a - f. Is a composite?
False
Suppose 26 = 5*n + 1. Let v = 3 - n. Let t(b) = -42*b + 1. Is t(v) prime?
False
Let g(v) = -252*v + 1. Let i be g(-2). Suppose -2*u - i = -2*p - 173, 2*p - u = 328. Is 1 + (-7)/((-7)/p) a prime number?
True
Suppose 0 = 2*r - 0 + 38. Suppose -6*z + 176 = -2*z. Let c = r + z. Is c a composite number?
True
Suppose -34 + 134 = 4*f. Suppose -6*q + f = -q. Suppose 0 = r + 4, q*c + 5*r - 553 = 2*c. Is c composite?
False
Let u be (3 + -1 - 1)*-2. Is 1/u*110/(-5) composite?
False
Suppose -4*p - 5 = -1. Is (59 - 2) + p + -1 composite?
True
Suppose -3*j + 8881 = 4*g - 2*j, -2*g + 4458 = 4*j. Is g a composite number?
True
Let p be 3*1 + -6 + 4. Let w(c) = -17*c + 1. Let o(x) = -16*x + 1. Let n(i) = -3*o(i) + 2*w(i). Is n(p) composite?
False
Let j(b) = 187*b**2 - b - 1. Is j(-2) composite?
True
Suppose -3*h + 4 = -7*h. Let x(c) = -19*c - 6. Let t(a) = -18*a - 5. Let q(l) = 7*t(l) - 6*x(l). Is q(h) prime?
True
Let v(l) = -3*l**2 + l - 4. Let u be v(-4). Let i = u + 153. Let g = 150 - i. Is g prime?
True
Suppose -5*u = -0*u - 40. Let v(y) = -y**3 + 8*y**2 + 11*y + 4. Let h be v(u). Let z = 171 - h. Is z a composite number?
False
Let m(l) = 2*l - 4. Suppose -i = 3*s - 3, -6*i - 3*s + 6 = -4*i. Let f be m(i). Suppose -a = 5*o - 17, -3*o + 4 = -f. Is a a composite number?
False
Let g(n) = 2*n - 4. Suppose -3*b = 5*z - 18, -5*b + 2*b = 3*z - 12. Let m be g(z). Suppose 2*l = 2*p + 54, 7*l - 96 = 3*l - m*p. Is l a prime number?
False
Let o = 309 - -3124. Is o composite?
False
Is ((-91)/1 - 2)*-1 a composite number?
True
Let x = -271 - -629. Is x prime?
False
Suppose 0*a - 12 = -4*a. Is 75 - -1*6/a a composite number?
True
Suppose 2*j = 4*j. Suppose 2*x + 23 - 313 = j. Is x composite?
True
Suppose -2*n + 23727 = 9*n. Is n prime?
False
Let w(f) = -f**2 - 5*f + 4. Let n be w(-6). Let t be (n - -3 - -239) + -3. Is 2/(-2 + 480/t) composite?
False
Let s(j) = -5*j**3 - 1 - 8*j - 1 + 10*j**2 + 4*j**3. Is s(7) a composite number?
False
Let o = -75 - -126. Let i = o - 20. Is i a composite number?
False
Let n(x) = 120*x**2 - 3*x - 4. Is n(3) prime?
False
Let b = -2 + -5. Let w = -5 - b. Is w prime?
True
Let m = 6 + -6. Suppose 0 = -m*g - 4*g + 868. Is g a composite number?
True
Let g = -265 - -518. Is g prime?
False
Let x(a) = a**2 + 2*a - 4. Let o be x(-4). Suppose -o*m + 58 = -3*m. Let v = 81 - m. Is v composite?
False
Let a(n) = n**3 + 5*n**2 + 2*n + 3. Let z be a(-5). Let t = z + 11. Is 20 - -2*2/t composite?
True
Let u(l) = 10*l**3 - l**2 + 2*l - 1. Let s be u(1). Let y be 5*((-6)/s)/(-1). Suppose a - 2*p + y - 26 = 0, -4*p = 3*a - 19. Is a prime?
True
Let b = 35 + 2. Is b a prime number?
True
Suppose 4*w - 2*o = -6, -o = w - 2*o + 3. Suppose 2*k + 2*k - 8 =