t(b) = -b**2 + 10*b + 3. Let k(i) = i**2 - 11*i - 3. Let y(l) = 2*k(l) + 3*t(l). Let q be y(6). Let h = q + -2. Is h composite?
False
Suppose 4*y + 325 - 1013 = 0. Suppose 5*b + c = y, -3*c = -4*b + 135 + 14. Is b a prime number?
False
Suppose 2*o - 612 - 266 = 0. Is o a composite number?
False
Let l(d) = 18*d**2 + 5. Is l(4) composite?
False
Let u = 1054 + -587. Is u composite?
False
Let m(r) be the second derivative of r**4/12 + r**3/3 - 2*r. Let s be m(-3). Suppose s*g = -15, 217 = 2*u + 2*u + 3*g. Is u a composite number?
True
Let k = 32 - -57. Is k prime?
True
Let x = 123 + -85. Let u = x - -127. Suppose -3*b - 2*b + 4*o + 275 = 0, -3*b - 5*o = -u. Is b a prime number?
False
Suppose 5*q + 49 = -116. Is 7172/q*(-6)/4 a prime number?
False
Let i = -71 + 198. Is i a composite number?
False
Let y = 166 + -99. Is y a prime number?
True
Let i(p) be the second derivative of 53*p**7/2520 + p**6/720 - p**5/120 + p**4/12 - 3*p. Let g(s) be the third derivative of i(s). Is g(1) a composite number?
False
Let d be 52*((-1)/(-2) + -3). Let s = d - 25. Let q = s + 226. Is q composite?
False
Suppose 5*u - u = -8. Let n be u/(-4) + (-1)/2. Suppose -y + 9 + 26 = n. Is y composite?
True
Suppose -2*d + d = -3*n - 7, -2*n + 10 = 3*d. Suppose 2*p = -3*t + d, -5*t = -3*p - 0*p - 13. Suppose j + 1 = q + 17, -j - t*q = -13. Is j composite?
True
Is (614/(-4))/((-6)/12) a prime number?
True
Let i(l) = -3*l - 2. Let v be i(4). Let d = -41 - -61. Let h = d + v. Is h a composite number?
True
Let s be (-17253)/(-36) - (-1)/(-4). Suppose -s = -4*w - 91. Is w prime?
True
Suppose 5*i = -556 - 1599. Is i/(-1) - 0/4 composite?
False
Let g = 6 - 12. Let w = g - -10. Suppose 0 = w*b + 5*r - 30, -4*r - 15 = -b + 3. Is b prime?
False
Let j = 6 - 4. Suppose 3*p - 499 = -j*f, -f = 2*p - 7*p + 810. Is p prime?
True
Let q(a) = -a**2 + 3*a - 1. Let c be q(1). Is -3 + (1 - c - -382) prime?
True
Let t = -124 + -20. Let q = 229 + t. Is q composite?
True
Let j(h) = 13*h**2 + 10*h + 27. Is j(-8) composite?
True
Let p = 270 - 107. Is p a composite number?
False
Let j = -7 + 7. Suppose 2*g + 2*m - 146 = j, g - 5*m = -m + 98. Suppose -4*q = -g - 134. Is q a prime number?
True
Let h(z) = z**2 - 8*z - 7. Let x be h(9). Suppose -x*o = -o - 3*q - 4, 3*q = -4*o + 61. Is o composite?
False
Suppose -3*n + 7 + 2 = 0, 3*v = -3*n + 21. Suppose -3*y + 222 = 3*f, 2*y + 3*f - 83 = 64. Suppose -y + 19 = -v*h. Is h a prime number?
False
Let q = 6 + -3. Let f(y) = -y**2 + 3*y + 4. Let r be f(q). Suppose -r*t + 3*t + 19 = 0. Is t composite?
False
Suppose 2230 = -8*o + 18*o. Is o a composite number?
False
Let j(k) = 2*k - 5. Let b(w) = -w**2 - 6*w - 3. Let y be b(-2). Let g be j(y). Suppose g*u - 2*h - 421 = 0, -2*u + 3*h - h = -172. Is u prime?
True
Let q = 1923 + -1270. Is q a prime number?
True
Let f be (-14)/2*4/(-14). Let q(k) = 2*k**2 - 4*k + 3. Is q(f) composite?
False
Suppose -65 = -3*o - 2. Suppose o = 5*a - 39. Suppose -r - 2*r = -a. Is r composite?
True
Let l(i) be the second derivative of 5*i**4/3 - i**3/6 - i**2/2 - 3*i. Is l(2) a composite number?
True
Let j = 586 + -303. Let f be ((-5)/(-25) - 1)*(0 + -140). Suppose j = 5*z - f. Is z a composite number?
False
Suppose 0*k = 2*k - 30. Suppose 68 = 2*t + 4*q, k = 2*t - 3*q - 25. Is t a composite number?
True
Let a be (1 + -1)/(1*-2). Suppose -3*z + 2*z = a. Suppose 5*h + 4*l = 77, h - 3*l + z*l = 4. Is h prime?
True
Let d(v) = -v**2 + 1. Let k(b) = b**3 - 8*b**2 - 2*b - 13. Let n(i) = -2*d(i) - k(i). Is n(8) composite?
True
Let x(k) = 4 - 2*k - 5 + k - 2. Let q be x(-3). Suppose q*n - 239 = -3*a - 2*n, 5*a - 2*n = 377. Is a a composite number?
True
Let b = 102 - 282. Let l = 299 + b. Is l a prime number?
False
Let m = 652 + -167. Is m a composite number?
True
Suppose 5*d - v - 1273 = -177, 0 = 3*v - 12. Suppose 0*u = -5*u + 5*b + d, -2*b = 2*u - 84. Suppose 3*y - 241 = 4*i, -y + u = i - 42. Is y a composite number?
False
Let m be 4/3 + (-6)/(-9). Suppose m*k + 1 = -5*u - 6, 0 = u - 3. Let l = k + 26. Is l a prime number?
False
Let j(y) = -y**3 + 10*y**2 - 5*y + 7. Let a be j(9). Let l = a - -12. Suppose 2*t - 3*t = 4*p - 104, 0 = -3*p + 5*t + l. Is p a composite number?
True
Let x be (4/6)/((-6)/(-5715)). Is 6/21 - x/(-7) a prime number?
False
Let z(v) = -v - 1. Let l be z(-3). Let x be (0 - 4)*2/l. Is ((-91)/(-2))/((-2)/x) prime?
False
Suppose 3*c = -0*c + 15. Let m be (1*c)/(5/5). Suppose -2*v - 18 = -4*v - 5*s, 3*v + m*s - 32 = 0. Is v a composite number?
True
Suppose -8285 = -69*w + 64*w. Is w a composite number?
False
Is (11/4 - 3)*-796 a composite number?
False
Let b = -28 + -20. Let v be (0 - b)/(-3 + 4). Let k = 94 - v. Is k a prime number?
False
Let s(n) = -8*n**3 - 5*n**2 - 5*n + 5. Let t(f) = -25*f**3 - 14*f**2 - 14*f + 14. Let w(h) = 11*s(h) - 4*t(h). Suppose -1 = r - 2. Is w(r) composite?
False
Suppose 0 = -4*n - 493 - 59. Let z = -41 - -50. Is (3/z)/((-2)/n) a prime number?
True
Let i = -74 - -34. Let n = i - -77. Suppose -n = o - 143. Is o a composite number?
True
Suppose 2*p + 4795 = 3*v, 5*v + 0*p - 3*p = 7991. Is v a prime number?
True
Let q(o) = 129*o**3 + 2*o**2 + o. Is q(2) a prime number?
False
Suppose 0 = 5*p - 256 - 614. Let h(j) = 15*j**3 - j**2 - 2*j + 1. Let s be h(-2). Let y = s + p. Is y a composite number?
True
Let a = 3818 + -2524. Suppose -k = -5*b - 647, 2*k - a = b + b. Is k composite?
False
Suppose -2*a + 515 - 93 = 0. Is a a composite number?
False
Suppose -5*c + 2*g - 22 = -2*g, 5*g - 23 = 4*c. Let d = 3 + c. Let n(h) = 21*h. Is n(d) composite?
True
Let c = 5 + 4. Let s(y) = -y**2 + 8*y + 7. Let k(d) = 1. Let w(n) = 4*k(n) - s(n). Is w(c) prime?
False
Suppose 4*u - 4*g - 24 = -4, g + 9 = 3*u. Suppose 2*j = 4*l + 86, -3*l - u*l - 90 = -2*j. Is j a composite number?
True
Let q(l) = -2*l - 1. Let b be q(-1). Suppose 0 = -2*w - 0*u + u + b, -3*w = -2*u. Let f = w - -4. Is f a prime number?
False
Let q = -1 - -3. Suppose -q*y + 103 - 35 = 0. Is y composite?
True
Let l = 120 + 27. Let z = l - 62. Is z prime?
False
Let n(k) = -k**3 + 6*k**2 - 4*k - 3. Let r be n(5). Let u be 2 + -3 + r + 3. Suppose 2*d + 2*g = 12, d + u*g - 18 = -2*d. Is d a prime number?
False
Let g = 1874 + -907. Is g prime?
True
Suppose -15*i = -17*i - 30. Let f = 9 - 18. Let o = f - i. Is o composite?
True
Let g(k) = -k**2 - 7*k - 6. Let x be g(-4). Let h be ((-27)/x)/(-3)*38. Suppose 5*l = 0, 2*l + 3*l - h = -3*i. Is i a composite number?
False
Let p = 14 + -63. Let y = p + 89. Suppose -2*g + y + 22 = 0. Is g composite?
False
Let b be (-24)/(0 + -3) + -1. Let t(v) = -v**3 + 9*v**2 - 5*v + 2. Let y be t(b). Suppose 0 = -0*o - o + y. Is o composite?
True
Suppose 4 = 5*i - 1. Let x be (2 - i)/((-2)/(-6)). Suppose -x*c = 4 - 34. Is c a composite number?
True
Let r = 488 + -277. Is r a composite number?
False
Let n be (-261 - 4)*1 - -2. Let f = 397 + n. Is f a composite number?
True
Let a(x) = -x**3 - 11*x**2 + 23*x - 3. Is a(-14) a prime number?
True
Suppose 4*r - 10 = 2*o, -3*r + 7 = 5*o - 33. Is 953/o + 16/40 composite?
False
Let p = 25 + -20. Let l be 18/(0 + 2/7). Suppose -p*d = -4*c - 107, 5*d - 26 = -2*c + l. Is d prime?
True
Suppose 0*r = -r + 1. Let q be 16/(-12)*(-9)/6. Is q/r + -1 + 14 a prime number?
False
Suppose -46 = -5*h + 44. Suppose 3*k + h = -p + 6*p, 4*p + 6 = -k. Let c(l) = 4*l**2 + 2*l + 7. Is c(k) prime?
True
Suppose 4*v = 7*v - 2421. Is (v/(-12))/((-4)/16) prime?
True
Let u(y) = -37*y + 3. Is u(-2) composite?
True
Suppose -5*o + 208 = -o. Suppose 4*u + 0*u + 22 = -3*n, -5*n = -u + o. Let p = 20 + n. Is p a prime number?
False
Let y be 2025*9/(108/8). Let v = y + -931. Is v composite?
False
Let f(w) = -14*w + 9. Is f(-6) composite?
True
Let a(k) = 7*k**2 - k + 5. Suppose 0*q - 10 = 2*q. Is a(q) composite?
True
Let h(j) = 10*j**2 - 6. Let d be h(-7). Suppose -2*a = 4*i - 441 - 63, 3*a = 4*i - d. Suppose -2*s + i = 2*s + 3*y, 3*y = 2*s - 62. Is s a composite number?
False
Let f(g) = -g**3 + 3*g**2 + 7*g - 5. Let v be f(4). Suppose -s = -2 + v, s = 4*k - 145. Is k composite?
True
Is (33/(-4))/(10/(-40)) a prime number?
False
Let i(s) = -s**2 - s + 2. Let m be i(-2). Suppose -2*w - 202 = -m*w. Let n = w + 360. Is n a prime number?
False
Suppose 0 = -4*u - 428 + 116. Let c = u + 143. Is c a composite number?
True
Let i(c) = 36*