a prime number?
False
Let d(f) = -f**2 - 11*f + 1. Let b(t) = t**2 + 10*t - 1. Let u(q) = -5*b(q) - 4*d(q). Is u(-5) a prime number?
False
Let u(t) = 4*t. Let r be u(1). Let m be 2/(-3) - (-7)/(-3). Is r + -2 + (86 - m) a composite number?
True
Suppose -q - 2*q + 117 = 3*k, -3*q + 103 = -4*k. Is q a prime number?
True
Let j = 32 + 34. Let w = 317 - j. Is w prime?
True
Let c = -3 + 3. Suppose c = -5*f + 7 + 3. Suppose -v + 24 = 5*k, f*k = -4*v + 4*k + 52. Is v composite?
True
Suppose n = -n + 54. Let s be (-6)/n + (-821)/(-9). Is (-2)/(-8) + s/4 prime?
True
Suppose -2*o = 0, -3*q + 0*o = o + 546. Let b be q/8 + (-1)/4. Let y = 72 + b. Is y composite?
True
Let n = 1 + -1. Suppose 9 = 3*x - n*x. Is 7*x/(2 + 1) composite?
False
Suppose -32*c + 34*c - 1034 = 0. Is c a composite number?
True
Let r(i) = 118 + 217 + i + 2*i - 4*i. Is r(0) prime?
False
Let w = -6 - -16. Let h be (-1 - -61) + w/5. Suppose 5*l - h = 3*l. Is l composite?
False
Let s be -6*((-21)/6 + 3). Suppose 327 = s*b - 282. Is b a composite number?
True
Suppose u = -2*u + 6. Suppose -4*s = -3*c - 21, -s - 47 = u*c + 2*c. Let k = c - -18. Is k prime?
True
Let n(a) = a - 1. Let h be n(5). Let v = h - -2. Is v a prime number?
False
Suppose 4*i - n - 361 = 0, -3*i - 3*n + 104 = -178. Let s = i - 42. Is s a composite number?
True
Let w = 2383 - 848. Is w composite?
True
Let f(j) = j**2 - 2*j - 1. Let y be f(2). Let g be -1*((-291)/3 - y). Suppose 5*w - 20 = 0, w - 9 + g = a. Is a a prime number?
False
Let d be (-2)/(-2) + (1 - -3). Let f = 8 - d. Suppose -5*v = f*i - 173, 2*v + 3*i = 7*i + 90. Is v composite?
False
Suppose v - g = 11, 9 = v - 2*g - 7. Let r(a) = -a**3 + 8*a**2 + 5*a - 13. Is r(v) a prime number?
True
Is -3 - ((-46)/(-3))/(1/(-6)) prime?
True
Let h = -1 + 5. Suppose -4*k + h*j = -24, 5*k + 3*j = k + 10. Suppose 0*u + u - 39 = -v, -k*v + 3*u + 142 = 0. Is v prime?
True
Suppose -3*o - 2*o = 0. Let n(z) be the third derivative of z**4/24 + 11*z**3/3 + z**2. Is n(o) prime?
False
Let l(a) = -a**2 - 7*a - 2. Let y be l(-6). Suppose 0*b + b = y*d - 630, -2*b = 3*d - 478. Suppose 2*r = -0*r + d. Is r composite?
False
Suppose -2*w = -3*z + 1623, -2*z - 3*z = 4*w - 2705. Is z a prime number?
True
Let o(n) = -n**3 - 5*n**2 - 18*n + 2. Is o(-12) prime?
False
Suppose 148 = 3*h + h. Is h composite?
False
Suppose 0 = -c + 4*n + 22 - 79, 157 = -3*c + 5*n. Let x = -26 - c. Is x composite?
False
Let w(u) = 6 + 1 - 3*u + u**2 - u. Suppose 0 = 5*o - 8*o + 18. Is w(o) a composite number?
False
Let j = -6760 + 9657. Is j prime?
True
Let h = -46 - -68. Is h composite?
True
Suppose -f - 3*l + 38 = -444, 1918 = 4*f + 2*l. Is f composite?
False
Let y = 9 + -5. Suppose -y*m + 31 + 109 = 0. Is m composite?
True
Let g(r) = 10*r**2 + 3*r. Let y be g(-2). Suppose 0 = -4*m + 50 + y. Suppose i = -2*i + m. Is i composite?
False
Let t be 1/2 + 5/(-10). Suppose t = 2*k - 69 - 65. Is k a composite number?
False
Let s(r) = 2*r**2 - 3*r - 1. Let l(g) = g + 1. Let n be l(4). Suppose n*d - 7 = -17. Is s(d) a composite number?
False
Let r(y) = -y**2 + y. Let t be r(1). Suppose 0 = 5*h - 3*c - 111, t*h + c = -2*h + 40. Is h a composite number?
True
Suppose 0*x = 3*x - 12. Suppose c = 3*k + 9, 5*c - 19 = 2*k - 0. Suppose 0*a - c = -3*a, 0 = 4*s + x*a - 336. Is s prime?
True
Let t(i) = -2 - 91*i - 4 + 0. Is t(-7) a prime number?
True
Suppose -17 = -4*h - 5. Suppose -h*v + 332 = v. Is v a composite number?
False
Let i(j) = 8*j**2 - j - 23. Is i(6) prime?
False
Let f be 2 - (1 + 1*-5). Suppose 0 = f*u - 4*u - 242. Is u a prime number?
False
Let q(b) = b**2 - 5*b - 5. Let o be q(6). Is (-70)/(-5) - (0 + o) composite?
False
Let n(o) = o**3 - o + 3109. Is n(0) composite?
False
Let x(b) = -2*b**2 - 5*b - 10. Let d be x(-7). Is d/(-3) - 4/(-6) a composite number?
True
Suppose -6 = -5*x + 2*x. Let d = 2 + x. Suppose -d*w = 0, -355 = -5*n - 4*w + 670. Is n composite?
True
Is 2/(-5) + (-29334)/(-10) prime?
False
Suppose -3*n = 2*v - 35, 2*v + 5*n - 29 = -0*v. Suppose 3*w = 2*w - 4*a + v, 2*a - 10 = 0. Suppose -w*l + 164 = -2*u, -l + 3*u - u + 81 = 0. Is l composite?
False
Let w(h) = -4 + 0*h + 0 - h. Let s be w(0). Is 7/s*(0 + -8) a composite number?
True
Let y(v) = -2 - 5*v + 6*v + 7*v**3 - 4*v**2 + 3*v. Is y(2) composite?
True
Is 2255/5 + (-5)/((-10)/(-4)) composite?
False
Let a = 62 - 429. Let b be (-2)/12 + a/(-6). Suppose 2 = 2*q + 4, -h + 4*q = -b. Is h a composite number?
True
Let k(q) = q**2 - 6*q - 6. Suppose 4*j = -x, 3*x - 3*j - 22 = -4*j. Is k(x) composite?
True
Let p(d) = 0*d - 7*d - 3*d + 3*d. Let f be p(-1). Is (-6)/21 + 219/f a prime number?
True
Let g = -1187 + 2388. Is g composite?
False
Let i be (-1 - -1)/(1 - 2). Suppose i*k = -2*k - 142. Let b = k + 202. Is b prime?
True
Let q(l) = -l - 12. Let w be q(-11). Let i = -3 - w. Let t = 9 + i. Is t prime?
True
Suppose 5*r = -5*d + 4*d + 649, -5*r + 2656 = 4*d. Is d a composite number?
True
Let c = 63 - -20. Is c composite?
False
Suppose 2*i + 2 + 8 = 0. Let m = i + 15. Is m a prime number?
False
Let q = -36 + 76. Let d be q + 3 + 1 + -1. Suppose 0 = b - 0*b - d. Is b a prime number?
True
Let p = -4 + 6. Suppose p*c - 27 + 1 = 0. Suppose 2*l - 65 = c. Is l composite?
True
Let r(n) = 5*n + 7. Is r(6) a composite number?
False
Suppose 0 = 5*n - 4*n + 83. Let v = -25 - 135. Let w = n - v. Is w a prime number?
False
Suppose 0*k + 9 = k. Let b be 39/k + 4/6. Suppose -2*c - 5*v = -15, -9 = 4*c - b*c - v. Is c prime?
False
Let q = 3 - 1. Let r(y) = 2*y**3 - 4*y**2 + 3*y - 2. Let x be r(q). Suppose -5*d + 99 - x = 0. Is d prime?
True
Suppose u = 2*k - 68 - 648, 2*k = 5*u + 708. Is k prime?
True
Let y(p) = 10*p**2 + 1. Let g(u) = u + 10. Let t be g(-5). Let f be 2 - (-3)/(2 - t). Is y(f) a prime number?
True
Suppose 0*h + 8 = -h. Is (0 + 2)*(-652)/h prime?
True
Let o(l) = l**3 + l**2 - l + 3. Let w be o(5). Suppose -4*g = -40 - w. Is g composite?
False
Let t = 732 + -1600. Let g = -521 - t. Is g a composite number?
False
Let a(c) = 18*c**2 + 3*c - 16. Is a(-15) a prime number?
True
Let u(y) = 74*y**2. Is u(1) composite?
True
Let m = -1294 - -821. Let d = -292 - m. Suppose -5*o + d = -264. Is o a prime number?
True
Suppose -7*r + 680 + 153 = 0. Is r prime?
False
Let x be 28/6*(-15)/10. Let i = x - -9. Is i + 10*(-14)/(-4) composite?
False
Let s(f) = -f**2 - 4*f + 5. Let z be s(-5). Suppose -2*c - 352 = -z*c. Let o = -45 - c. Is o a prime number?
True
Let s(l) = 51*l - 28. Is s(11) a prime number?
False
Suppose -4 = -d + 10. Suppose -d = 2*h + 6. Let p = h + 17. Is p composite?
False
Suppose 7 - 2 = d. Suppose 0*c + d*v - 86 = 3*c, v - 70 = 3*c. Is (-14)/4*c - 0 prime?
False
Let k(h) = 9*h**2 - 6*h - 2. Is k(7) a prime number?
True
Suppose 0 = -c + 3. Is c/(-2)*(-1482)/9 a prime number?
False
Suppose -5*j = 3*v - 485, 0*v - 291 = -3*j + v. Is j composite?
False
Let p = -234 + 428. Is p composite?
True
Let k(g) = -542*g - 7. Is k(-1) a composite number?
True
Let g(v) = -v**2 + 383. Let d be g(0). Let u = d - 242. Is u prime?
False
Suppose -306 = 4*f - 2674. Suppose -6*z + 2*z = f. Let d = z - -207. Is d prime?
True
Is -1*(-6)/(-4) + (-4908)/(-24) composite?
True
Suppose -5*q - 2 + 8 = s, -2*s = 3*q + 2. Suppose q*o = o + 6. Is o a composite number?
True
Suppose -9*p = -5*p - 2228. Is p a composite number?
False
Let n(w) = -w - 174. Let k be n(0). Let o = -85 - k. Is o a prime number?
True
Let g(r) = 62*r**2 + r - 1. Let w be g(1). Suppose 0*k - w = -4*y + 2*k, -49 = -3*y + 4*k. Is y a composite number?
True
Is -4 + 255/(-1 + 2) a prime number?
True
Suppose 10 = 2*c - 4*j, 0*j + 8 = -2*j. Let s be (-7)/c*3 + 0. Let g(b) = b. Is g(s) a composite number?
False
Is 5/(-5)*2498/(-2) a prime number?
True
Suppose 33*j = 36*j - 11166. Is j a prime number?
False
Let v = -180 + 271. Is v composite?
True
Suppose -5*j - 37 = -6*j. Is j composite?
False
Let d = 20 + -11. Suppose -3*q = -0*q + d. Is 43 - 2/(-2) - q composite?
False
Let x(v) = -21*v**3 - v**2 - 3*v - 2. Let o(c) = -31*c**3 - c**2 - 5*c - 3. Let g(u) = 5*o(u) - 8*x(u). Is g(2) prime?
False
Let j(h) = h**3 + h**2 - 55. Let k be j(0). Let b = k - -77. Is b composite?
True
Is (-92)/6*420/(-40) a composite number?
True
Let u be 0*(2 + (0 - 1)). Let p(n) = n + 45 - 3 + 7. Is p(u) a prime number?
False
Suppose -4*w + 190 = w. 