 i. Suppose -197 = -v*k + 2*l, 3*k = -6*l + l + 211. Is k prime?
True
Let c = -2 + 93. Is c a prime number?
False
Suppose 0 = 4*j - 6*j - 4, j - 77 = -v. Is v a prime number?
True
Suppose 0 = -3*r - 5*y + 14, 6*r - 11 = 3*r - 2*y. Suppose -6*l = -5*c - 2*l + 392, 0 = -4*c - r*l + 295. Suppose 0*b - c = -4*b. Is b a composite number?
False
Let x(w) = 16*w**3 + 4*w**2 + w - 2. Is x(3) a prime number?
False
Let z = -2352 - -1041. Is 8/(-12) + z/(-9) a prime number?
False
Let y = -34 + 55. Is y composite?
True
Suppose 5*y = f - 511, 3*f = y - 2*f + 107. Let x = -65 - y. Is x a composite number?
False
Let x be 2/6*0 + 0. Suppose -b = -6 - x. Is b a prime number?
False
Suppose h + 4*n - 350 = 0, -h - 3*n + 355 = -0*n. Suppose -4*d + 0*g + 288 = -4*g, -h = -5*d + 3*g. Is d composite?
True
Let a(d) = d**3 - d**2 + 12*d - 3. Is a(8) a composite number?
False
Suppose 0 = 4*f - f + 1671. Let t = -346 - f. Suppose m - t = -0*m. Is m prime?
True
Suppose 5*j = 13 + 2. Suppose -4*o + 13 = -j*o. Is o prime?
True
Let s be 48/15 + (-1)/5. Let b = 2 + -5. Is 1 + b/(s/(-13)) a prime number?
False
Suppose 0*w = w - 4. Is w + -2 + -3 + 792 a prime number?
False
Let z(u) = -7*u + 7. Let f(x) = 13*x - 14. Let w(h) = -6*f(h) - 11*z(h). Let t be w(5). Is (-4)/t*-43 - 1 a composite number?
True
Suppose 5*g + 2*r + 2022 = 9925, -4*g = 3*r - 6328. Is g composite?
False
Suppose -6*n + 8 = -3*o - 2*n, 0 = -n + 2. Suppose o = s + 3*k + 7 - 3, 4*k + 8 = 0. Suppose 4*b - 552 = 3*w, s*w - 721 = -5*b - 2*w. Is b composite?
True
Let l(k) = -26*k**3 + k + 4. Is l(-3) a prime number?
False
Let g be 1/(-1)*2 - -6. Suppose z + g*z - 950 = 0. Suppose -64 = -2*f + z. Is f a composite number?
False
Let q(a) = a**3 + 7*a**2 - 2*a - 1. Let l be q(-7). Let w(r) = r**3 - 11*r**2 - 9*r - 19. Is w(l) composite?
True
Let k(y) = -301*y - 15. Is k(-10) composite?
True
Let f(s) = -522*s**3 - 2*s - 1. Is f(-1) a composite number?
False
Suppose 2*v = v + 10. Let t = v + -17. Is (t*37)/(9 + -10) a prime number?
False
Is 160 + 1*2/2 a composite number?
True
Suppose 4*j = -620 - 4. Let z = -148 - -69. Let v = z - j. Is v a composite number?
True
Suppose 0 = -5*c - 3*d - 5 - 0, 17 = -4*c - 5*d. Let l = 2 - c. Is (l + 2)*(-13)/(-2) a prime number?
True
Is 1088 - (-13)/(52/(-24)) a prime number?
False
Suppose -3 = -2*q - 1, -p - 3*q + 4 = 0. Let o be p + (0/3 - -1). Suppose 9*f - 38 = -n + 4*f, 0 = -o*f + 10. Is n a prime number?
True
Suppose 0 = -4*f - 2*k - 0*k + 10, 5*k + 7 = -2*f. Suppose -3*w - w + f = 0. Suppose -3*b + 4*q = -w - 13, 2*b - q - 16 = 0. Is b composite?
True
Suppose l = -2*m + 9, l + 4*m + 4 = 21. Suppose -l + 2 = r. Is (-614)/(-8) - r/(-4) prime?
False
Let p = 93 + 440. Is p prime?
False
Let p be 4/6 + (-35)/3. Let m = p - -21. Is m prime?
False
Suppose 4*n + 5*z - 80 = -15, 0 = 4*z - 4. Is n prime?
False
Let x(v) = 23*v**2 - 12*v - 9. Is x(-8) prime?
True
Let t(z) = 3*z**2 + 3*z - 8. Let x(o) = -3*o**2 - 3*o + 9. Let v(h) = 4*t(h) + 3*x(h). Is v(-7) composite?
True
Suppose -3*u - c - 39 = 0, 0 = -c - 5 + 2. Is 184/u*(-57)/2 prime?
False
Let p = -12 + 7. Let z be 1/p + 61/5. Is (0 - -10)/(8/z) composite?
True
Suppose 3*w - 555 = -0*w. Is w a prime number?
False
Let w(k) = 4*k**2 - 10*k - 13. Is w(-6) a composite number?
False
Let a(i) = 13*i - 32. Let c(s) = 3*s - 8. Let u(n) = 2*a(n) - 9*c(n). Let q be u(-10). Suppose -q - 20 = -2*d. Is d a prime number?
True
Is ((-1)/(-2))/((-7)/(-1190)) a prime number?
False
Let n(w) be the first derivative of -68*w**2 - w - 2. Let g be n(-2). Suppose -g = -5*r + 364. Is r prime?
True
Let i be (30/4)/(12/16). Let o be (4/(-2) - -1)*15. Let f = i - o. Is f composite?
True
Let s(d) = 28*d**2 + 2*d + 1. Let y be s(4). Suppose -4*b = o - y, 4*b - 724 = 3*o - 255. Is b a prime number?
False
Suppose 0 = u - 4 - 1. Suppose -b = d + b - 135, -5*d = -u*b - 735. Is d a composite number?
True
Let k be 4 + (1 - 2) + 0. Suppose 3*l + 7 = -y - l, -3*y - 4*l + k = 0. Suppose 0 = -m + 2 + y. Is m a prime number?
True
Let x(k) = 13*k + 2. Let s be x(2). Suppose -2*z = -4*u - 24, -6*z = -2*z - 4*u - s. Suppose 94 = 3*p - 5*c, -2*c - 27 = -z*p + 29. Is p prime?
True
Suppose 5*x + 191 - 8076 = 0. Is x composite?
True
Suppose -10 = -5*w + 5. Suppose 33 = q + 2*l, -w*l + 90 = 3*q + 6. Is q composite?
False
Let t(g) = -g**3 - 2*g**2 - g. Let w be t(0). Suppose -3*y + 309 + 948 = w. Is y a composite number?
False
Is 152 + -1 - (-17 + 13) a prime number?
False
Is 0 - -95 - (-3 - -5) a prime number?
False
Suppose -3*m = -4*m + 243. Suppose -4*g - 85 = -z - 2*g, -3*g - m = -3*z. Is z prime?
False
Suppose 5*v = 20 + 5. Suppose 217 - 52 = v*p. Is p prime?
False
Suppose -15 = -6*x + 3*x. Suppose 1398 = -3*c + x*c. Is c prime?
False
Let p(x) = -4*x - 2. Let d be (-1)/4 - 3/(-12). Suppose d*y + 4*y + 24 = 0. Is p(y) composite?
True
Let x(a) = 38*a + 6. Is x(4) composite?
True
Let p = 12 + -2. Is p a composite number?
True
Suppose 5*b - 25 = 5*l, 0 = -b - 3*l - 10 - 1. Let f be 0/(-2) - b*-308. Suppose 2*s + 2*s = f. Is s composite?
True
Suppose 5*r + 394 = g, 0 = 2*g - 2*r - 3*r - 773. Is g a prime number?
True
Suppose 3*n - 1425 = -0*n. Is n/11 + (-8)/44 a prime number?
True
Let h(j) = -j**3 - j**2 + j + 307. Let p(q) = q + 11. Let w be p(-11). Is h(w) composite?
False
Suppose 2*n = -0*n + 696. Let x = n - 189. Is x a composite number?
True
Is -2 + 1641 + (-6)/3 composite?
False
Let p(w) = -2*w**2 + 5*w + 7. Let m be p(5). Is 20/6*m/(-10) composite?
True
Let r(v) be the second derivative of 67*v**5/120 - v**3/6 - v. Let y(w) be the second derivative of r(w). Is y(1) prime?
True
Suppose -3*u = -2*u - 75. Suppose -2*z + u = -z. Let r = -42 + z. Is r a prime number?
False
Let g(s) = -s - 1. Let a be g(-1). Suppose a = -2*c + 2*y + y - 50, 0 = -4*c - 4*y - 80. Let x = 13 - c. Is x a composite number?
True
Suppose 0 = k - 105 - 76. Let p = 444 - k. Is p a composite number?
False
Suppose h + 747 = 2*h - 4*l, 3*h + 3*l = 2226. Is h composite?
False
Let s(z) = z**3 - 4*z**2 + 5*z - 4. Let t be s(3). Suppose -21 = -t*x + 7. Is x prime?
False
Suppose 10 = -4*u - 2. Let s(g) = 18*g**2 + 2*g - 1. Is s(u) composite?
True
Let z be (-20)/4 + 0/1. Let b(n) be the second derivative of n**4/6 - n**3/6 - n**2 + n. Is b(z) a composite number?
False
Let g = -2 + 5. Let u(n) = 3*n**2 + 0*n**2 - 2*n**2 - 1 + 9*n**g + n**2. Is u(1) a prime number?
False
Let n = -1141 + 1727. Is n a composite number?
True
Suppose -4*t - 132 = 92. Let u = 130 + t. Is u a composite number?
True
Let d = 602 + -223. Is d prime?
True
Let n be (-6)/(-18) + (-10)/3. Is -2 + (-288)/n + -3 a composite number?
True
Suppose -b = -5*o + 4*b + 20, -3*o + 10 = -2*b. Suppose o*u - 4 = 142. Is u + (2 - 0) - -2 a prime number?
False
Let v be (-430)/(-14) + 4/14. Suppose -g + 2*g - 16 = -5*n, g - 2*n = 2. Let p = v + g. Is p prime?
True
Suppose 5*k = n + 543, -k - 3*n + 113 = -2. Suppose l + 5*w - 59 = 0, -k - 136 = -3*l + 2*w. Is l a prime number?
True
Suppose 4*b = d - 3*d - 2, -4*b = -3*d - 3. Suppose b = -0*j - 3*j + 99. Suppose 5*i - 4*x - 25 = j, 30 = 4*i + 5*x. Is i composite?
True
Is -1*(-3157 - (-2 + 0)) a prime number?
False
Suppose l - d + 3 = -2, d - 17 = 5*l. Suppose -a + 44 = -3*a. Let g = l - a. Is g composite?
False
Let w = -336 - -196. Let b be ((-11)/4)/(5/w). Let t = -46 + b. Is t a composite number?
False
Suppose -2*c + 12 + 1286 = 0. Is c prime?
False
Let r = 0 + 1. Let x be -1 + r/(1/4). Suppose -252 = -x*h + 27. Is h a composite number?
True
Let r = -1 + 2. Let u(m) = 2*m**3 + m**2 - 2*m + 1. Let k be u(r). Let p(z) = 39*z + 1. Is p(k) composite?
False
Suppose -10*m + 5646 + 1264 = 0. Is m composite?
False
Suppose -8 = -p + 2*p + 4*w, -w - 2 = p. Suppose 127 = h - p*h. Let l = h - 76. Is l a composite number?
True
Let b = 1652 + 117. Is b composite?
True
Let d(f) = 299*f**2 + 9*f + 3. Is d(3) prime?
False
Suppose -l + r = 0, 3*l + 4*r = -l. Suppose 8*d - 5*d - 1257 = l. Is d composite?
False
Let u = 134 + -25. Is u composite?
False
Let a = 18 - 13. Suppose -102 = -j + a*m, -4*j + 88 + 304 = -4*m. Is j prime?
True
Suppose 0 = -0*j - 3*j + 15. Suppose -2*p = 5*v - 116 + 8, -j*p + 2*v = -241. Let b = p - 27. Is b a prime number?
False
Suppose 0 = 2*f - 3*x + 3, 5 = f - 0*f + 5*x. Is f - (3/3 - 3) prime?
True
Let