 3*n + 7. Is b(w) prime?
True
Is -1 + 28/1 - 2 composite?
True
Suppose 2*s - 2 + 6 = 0. Let d(i) = -i**3 - 2*i**2 - i + 1. Let c be d(s). Suppose n - 81 = -l, -2*n + 241 = 3*l + c*n. Is l composite?
True
Let d(y) = -y**3 + 5*y**2 + 4*y - 1. Is d(-6) a prime number?
False
Let n(q) = 3 - 3*q - 4 + 11*q + 0*q. Is n(4) a composite number?
False
Let v(t) be the second derivative of t**4/12 + 5*t**3/6 - 3*t**2/2 - 3*t. Is v(3) a prime number?
False
Let t = -431 - -618. Is t composite?
True
Let b(m) = 4*m - 3. Let l = 4 + 2. Is b(l) composite?
True
Let k(j) = 2*j**3 + 11*j**2 - 23*j - 5. Let l(a) = -a**3 - 5*a**2 + 11*a + 2. Let b(d) = 6*k(d) + 13*l(d). Is b(-5) composite?
True
Let b(t) = -2*t**3 - 2*t**2 - 4*t + 3. Is b(-5) composite?
False
Suppose -1204 = -4*v - 4*w, 0*w = -5*w - 25. Let y = 7 + -5. Suppose 4*c = -2*x + 382, 3*c - 7*x + y*x = v. Is c a composite number?
False
Let o(v) = v**3 + 14*v**2 + 8*v - 3. Is o(10) prime?
True
Suppose -3*o - 2*w = -5*w - 24, 0 = w - 1. Let u(b) be the first derivative of -b**4/4 + 8*b**3/3 + 11*b**2/2 - 7*b + 1. Is u(o) composite?
False
Let b(a) = -25*a - 2. Is b(-1) a prime number?
True
Suppose 6*w - 185 = w. Is w prime?
True
Suppose 53 - 173 = 3*n. Let p = 73 + n. Is p prime?
False
Suppose 2*m + 2*n = 62, -5*m + 6*n - n = -145. Suppose -2*b + m = b. Is b composite?
True
Let j = 4500 + -2677. Is j prime?
True
Suppose -2*p = 5*u - 742, p = 3*u - 12 - 431. Suppose -6*o = -2*o - u. Is o composite?
False
Let j = 20 + 15. Is 8280/j - 6/(-14) a prime number?
False
Let p(b) = b**3 + 9*b**2 - 11*b - 11. Let v be p(-10). Is (v + -1)*44/(-8) a composite number?
False
Let u(q) = q**3 - 5*q**2 - 4*q - 6. Let n = 6 - 1. Let d be u(n). Let o = -7 - d. Is o composite?
False
Suppose 0 = -5*b + 223 + 542. Suppose b = 3*t - 6. Is t prime?
True
Let z = -7954 - -14241. Suppose -5*p + k - 3*k = -z, -5*p - 4*k = -6279. Is p a prime number?
True
Let j(w) = -26*w + 23. Suppose 2 + 6 = 2*t. Let r(l) = -13*l + 11. Let m(x) = t*j(x) - 9*r(x). Is m(6) a prime number?
True
Let t(l) = l**2 + 4*l - 7. Let a be t(-5). Let c be (1 - a)*(-354)/(-9). Suppose c = -5*n + 303. Is n prime?
True
Suppose -g - 9 = -4*g. Let u be 4/10*(g - -72). Let k = 39 + u. Is k a prime number?
False
Suppose -5*h - 7*p + 3*p + 1071 = 0, 203 = h - 2*p. Is h composite?
False
Let k(r) = 9*r**2 - 7*r**2 + 33 - r**3 + r**2 - 4*r**2 + r. Is k(0) a prime number?
False
Let i(l) = -2*l + 19. Is i(-6) composite?
False
Let p = -2 - -4. Let v(d) = -p*d - 42*d**3 - 2*d**2 - 28*d**3 + 0*d**3 - 1. Is v(-1) a composite number?
True
Suppose 2*p + 5 = 3*p. Suppose p*k + 168 = 2153. Is k a prime number?
True
Suppose p - 54 = 209. Is p a composite number?
False
Suppose 62 = 3*w + 812. Let r = w + 384. Suppose 0 = -4*k + 2*k + r. Is k a prime number?
True
Suppose 0 = 5*i - r - 22, 4*i - 3*r - 24 = r. Let b = i - 0. Is b composite?
True
Let h(x) = -x**2 - x + 233. Is h(0) a composite number?
False
Let b(g) = -g**2 - 8*g - 3. Let s be b(-7). Suppose s*n = -n - 20. Is (-532)/6*6/n a composite number?
True
Let p = 308 - -190. Suppose 0 = 5*y - 137 - p. Is y a prime number?
True
Let v be 1 - -2 - 49/7. Is 98 - ((0 - v) + -3) a composite number?
False
Let n(q) = 8*q**2 - 6*q + 23. Is n(8) prime?
True
Let w be 15/75 - 38/(-10). Suppose -g + 83 = w*l, -2*g + 0*g = -5*l - 192. Is g a composite number?
True
Let s = 2 - 2. Let k be (-2)/(s - 2) + -2. Let v = k - -16. Is v a composite number?
True
Let a(t) be the third derivative of -t**7/560 + t**6/720 + t**5/15 + t**2. Let i(g) be the third derivative of a(g). Is i(-1) a prime number?
False
Is 16/56 + 6898/14 a composite number?
True
Suppose -4*f = -i - 1 + 32, 5*i - 2*f - 155 = 0. Let s = -19 + i. Suppose -3*c + c = -s. Is c a prime number?
False
Let j be 15/1*3/9. Suppose -4*s + 293 = 2*n - n, 0 = 3*n - j*s - 862. Is n a composite number?
True
Let x(y) = -y**3 + 4*y**2 + 7*y - 7. Let b be x(5). Suppose -b*a = -4*q - 19, 0*q + 5 = -5*q. Suppose 0 = 2*g + i - 135, 0 = a*g + i - 254 - 82. Is g composite?
False
Let k be (12/(-15))/((-1)/5). Suppose -183 = k*h - 995. Is h a prime number?
False
Let r = -5 - 1. Let d(u) = -23*u - 5. Is d(r) prime?
False
Suppose 320 = 2*k - 46. Is k a prime number?
False
Let c = 11 + -6. Let i(t) = 4*t**2 + 3*t - 2. Is i(c) a prime number?
True
Suppose -2*d + 320 = -298. Let a = 10 - 7. Suppose a*q - 354 = d. Is q a composite number?
True
Let a(t) = -3*t - 2. Let b(q) = -2*q - 2. Let r(k) = 3*a(k) - 4*b(k). Let y be r(0). Let j(v) = 26*v**3 + 2*v**2 - 3*v + 1. Is j(y) prime?
True
Let b = -171 + 406. Is b prime?
False
Let d(u) = -u**3 - 6*u**2 + 4. Let b be d(-6). Suppose -b*y = -k - 11, 0 = -4*y + y - k + 3. Is ((-59)/4 - y)*-4 composite?
False
Let l = 721 + 156. Is l a composite number?
False
Is 149 + 2 + 2/(-1) a composite number?
False
Suppose -b - 228 = b. Is (b/9)/((-2)/3) a prime number?
True
Let h = 7 - 19. Let o = h - 88. Let x = o + 189. Is x a composite number?
False
Let v = -16 + 29. Is v a prime number?
True
Suppose 0*s - 3*s = -144. Let f be 2/3 - (-93)/9. Suppose -s + f = -z. Is z a prime number?
True
Suppose -2*r = -3*z - 6, 10 = -3*r - 8*z + 3*z. Suppose r = -3*f + 2*f + 14. Is f a composite number?
True
Let n(y) = 185*y + 5. Is n(6) a prime number?
False
Suppose 2*k - 866 = 5*c, 5*c - 198 = k - 621. Is k a composite number?
False
Suppose 0 = -3*j + 287 - 86. Is j a prime number?
True
Suppose -3*x - x = 0. Let o(h) = -h + 1 + x*h + 7. Is o(5) prime?
True
Let t(i) = 9*i + 4*i - 4 - 10*i + 5 + 9*i**2. Is t(-5) a composite number?
False
Suppose -a - 3*a + 44 = 0. Suppose 4*j - 660 = -0*j. Suppose -6*z = -a*z + j. Is z composite?
True
Let n(m) = -5*m - 2. Is n(-7) a composite number?
True
Suppose 5*n = 6*i - 3*i - 3182, -4*i - 3*n = -4233. Is i composite?
True
Let m be ((-12)/(-15))/(1/15). Let c be 9/(-4) + 3/m. Is 188/8 + 1/c a prime number?
True
Let q = 234 - 23. Is q a composite number?
False
Let r(j) be the first derivative of -j**3/3 - 11*j**2/2 + 5*j - 3. Is r(-7) prime?
False
Suppose i = 2*i + 1. Let r be i*-5*1 + -2. Suppose 0 = 2*m - 6, 3*q - 34 = -r*m + 14. Is q a prime number?
True
Let y(x) = 33*x**2 - x - 1. Let f be y(-1). Let v be -19 - (3 + -2 - 1). Let o = f + v. Is o composite?
True
Suppose -3*p + 1157 = 3*w + 2*w, 2*p - 3*w - 746 = 0. Is p composite?
False
Let b(d) = -74*d + 7. Is b(-2) composite?
True
Let d be 9/(-3) - -2 - -3. Suppose y + 2*y + 3*o = 0, -d*y = -o - 15. Suppose 5*f = -3*t + 342, -f - 3*t = -y*f + 279. Is f a composite number?
True
Let g = 6 - 11. Let f(v) be the second derivative of v**5/20 + 2*v**4/3 + 2*v**3/3 - 3*v. Is f(g) prime?
False
Let v be (-2)/3 - 20/(-12). Is -5 + 6 - (v + -7) prime?
True
Let n = -4 - -2. Is ((-9)/n - -2)*2 prime?
True
Suppose -y + 159 - 46 = 0. Is y composite?
False
Let v be (-4)/(-10) + 39/15. Suppose 538 = -n + v*n. Is n a composite number?
False
Suppose 5*d - 40 = 80. Is 258/d - 2/(-8) prime?
True
Is ((-2)/(-4))/(-1)*-662 a composite number?
False
Suppose -20 = 3*q + 2*q + 4*w, 15 = -3*w. Suppose 4*d + m = -q*d - 2, 2*m - 2 = -2*d. Is (12/16)/(d/(-4)) prime?
True
Suppose 0 = -2*o + 6*o. Is 1756/12*(3 + o) composite?
False
Let r(t) = -26*t + 29. Is r(-16) prime?
False
Let j = 2095 - -1068. Is j prime?
True
Suppose -y + 2*y = 5. Suppose 0*c = 3*c + y*a + 200, -176 = 3*c - a. Let l = 143 + c. Is l a composite number?
False
Let g = -1 + 1. Suppose -3*f - 4*v + 349 = g, 2*f + 2*v + 113 = 3*f. Is f a prime number?
False
Suppose 20 = 4*i + 3*a - 2*a, 2*a = 8. Suppose -g + 5*g - 8 = 0. Is 177/g + 2/i a prime number?
True
Suppose -2*s - f = 83 - 5, 3*s + 4*f + 127 = 0. Let n = 104 + s. Is n composite?
False
Let w = 11 + -6. Let k = 9 - w. Is 75/2 + (-2)/k composite?
False
Let h(d) = -1984*d**3 - d**2 + 2*d + 4. Is h(-1) a composite number?
True
Let g(a) = 23*a**3 - 3*a**2 + 4*a - 3. Let r = -1 - -3. Is g(r) a composite number?
True
Let t(r) = -r - 1. Let c(n) = -4*n - 5. Let x(l) = -c(l) + 5*t(l). Let y be x(-4). Suppose 4*a - y - 48 = 0. Is a a prime number?
True
Is ((-8)/(-9 + 5))/(4/7778) a composite number?
False
Is 205/10*226 - -4 a composite number?
False
Suppose -3*w + 5*x = -2*w - 20, -5*w - x = -204. Let n = w + 17. Is n a composite number?
True
Suppose 3*f = -f + 3*a + 11, -3*f - 28 = 5*a. Let i be ((-2)/(-3))/((-14)/21). Is (i + 