8. Is 5 a factor of s?
False
Let l = 138 - -486. Let w be (-1)/3 - l/(-9). Let t = w + -43. Is t a multiple of 26?
True
Is -4 + 6 + (-2)/((-2)/57) a multiple of 3?
False
Let f = 1 - -1. Let p = 1 + f. Is 3 a factor of p?
True
Let b(s) be the second derivative of s**5/4 - s**4/6 + s**3/6 + s. Does 2 divide b(1)?
True
Let x be 2/(5 + -3) - -2. Let f(q) = q**3 - 3*q**2 - 2*q - 4. Let y be f(x). Is 3 a factor of (y/(-2))/1*1?
False
Is 21 a factor of 4 - (6 + -4)*(-236)/8?
True
Let t(b) = -b**3 - 2*b**2 + 2*b - 3. Let o be t(-3). Suppose -3*z = -n - 66, 5*z = -o*z - 3*n + 96. Let v = 50 - z. Is v a multiple of 12?
False
Suppose -3*u + 26 = 4*w, w - u - 18 = -w. Is 5 a factor of w?
False
Let o = 12 + 73. Suppose -2*c = 2*c + 8, 2*u - 20 = 5*c. Suppose -u*j - 10 = -o. Does 9 divide j?
False
Let b(a) = a + 11. Let g be b(-8). Let v be 0/(1 - (g - 0)). Suppose v = -3*h - 5*r + 28, h - 4*r + 7 = 2*h. Does 4 divide h?
False
Let s(u) = u**2 - 6*u - 4. Suppose 0 = 3*y - y - 14. Let l be s(y). Let g = l - -10. Does 8 divide g?
False
Let p(o) = o**3 + 8*o**2 + 9*o - 3. Suppose l + l + 2 = 4*n, 5*n = -4*l - 30. Is p(l) a multiple of 22?
False
Let a = -35 + 135. Does 10 divide a?
True
Suppose -3*b = -6*b + 9. Suppose -2*t - b = 3*o, -t + 12 = -4*o + o. Suppose -5*y = -3*y - 4, -5*k - t*y + 76 = 0. Is 7 a factor of k?
True
Is 15 a factor of (6/(-2) - -3) + 28?
False
Let i be (-10)/45 + (-160)/9. Let u be (-2)/7 + i/(-14). Let x = 11 - u. Is 5 a factor of x?
True
Let q(b) = 7*b**2 - 3*b - 2. Let x be q(-2). Suppose a = 2*a - x. Is 13 a factor of a?
False
Suppose -5*c - 4*t = -363, 2*c - 3*t = -93 + 252. Is 15 a factor of c?
True
Suppose i - 24 = 5*i. Is 0 + i*(-2)/2 even?
True
Let k = 468 - 845. Let y = k - -248. Is 4/6*y/(-2) a multiple of 13?
False
Suppose -2*s + 182 = -5*s - 2*c, -5*c + 115 = -2*s. Let p = 85 + s. Is p a multiple of 5?
True
Let i(t) = 21*t - 3. Let q be i(3). Suppose 3*a - q = -0*a. Is 10 a factor of a?
True
Does 25 divide 114 - ((-12)/3 + 3)?
False
Let m = 6 + 34. Is 5 a factor of m?
True
Suppose -5*g = 3*x + 3, 0 = x + 3*x - 16. Let k be -72*(1 + g/9). Is 7 a factor of 1 - k/3 - -1?
False
Let n(c) = c + 4. Let x be n(-4). Suppose 0 = -x*l + 3*l - 180. Is 20 a factor of l?
True
Is 4 a factor of 246/10 + 1 - 51/85?
False
Let r = -6 + 46. Does 10 divide r?
True
Suppose 3*d + 5*h - 45 - 25 = 0, d + 2*h = 22. Is 1/4 - d/(-8) a multiple of 4?
True
Is 16 a factor of (17 - -5 - 2)*15?
False
Let q(p) = p + 7. Let g be (0 + 0)/((-12)/6). Is 3 a factor of q(g)?
False
Let b(c) be the first derivative of c**4/4 - c**3 - c**2 - 6*c - 2. Is 10 a factor of b(5)?
False
Let m(z) = -z**2 - 31*z + 24. Is m(-26) a multiple of 14?
True
Suppose -4*h = 2 - 10. Let i(t) = -32*t**3 + t**2 + 2*t + 1. Let c be i(-1). Suppose -5*z + 3*z + 2*b = -c, 3*b = h*z - 30. Does 18 divide z?
True
Let z be 3/(-12) + (-213)/(-4). Suppose 0 = -p - 5*o + z, -p + 2*o = -4*p + 146. Is 23 a factor of p?
False
Let w(h) = -20*h**2 + 23*h + 17. Suppose 2 - 8 = q. Let i(z) = -7*z**2 + 8*z + 6. Let x(k) = q*w(k) + 17*i(k). Does 21 divide x(-7)?
True
Let u(i) = 120*i**2 + 2*i. Is 3 a factor of u(1)?
False
Let u(s) = s + 5. Let k be u(-2). Suppose j = -k*t + 57, -3*t - 114 = -2*j - 2*t. Is j a multiple of 19?
True
Suppose -4*p = 2*m - 194, p - 61 = 2*m - 5*m. Does 7 divide p?
False
Let c = -5 + 10. Let f = -3 + c. Suppose -f*a + 5 = -29. Is 17 a factor of a?
True
Let t(m) = -m**2 + 23*m + 9. Is t(19) a multiple of 20?
False
Suppose -4*w = -5*c + 53, 2*w + 3*c - 4*c = -25. Let g be 8/(-6)*w/8. Suppose 4*q - 10 = -o - 4*o, 0 = o + g*q - 2. Is o even?
True
Suppose -3*s - s + 32 = y, 0 = -4*y + 5*s + 170. Is y a multiple of 20?
True
Suppose 5 = -i - k, -4*i = -0*i + 5*k + 17. Is i/(-2)*2*6 a multiple of 16?
True
Let s = -185 + 109. Is 6*s/(-12)*1 a multiple of 20?
False
Let n = 97 - 64. Let o be 2/7 - (-24)/14. Suppose -o*s + n = s. Is 11 a factor of s?
True
Let a(g) = -19*g + 5. Let o be a(-4). Let s = o - 53. Is 14 a factor of s?
True
Let m = 2 + 3. Suppose -4*v + 48 = m*t, t - 2*t + 18 = 2*v. Does 3 divide v?
False
Suppose -4*h = h - 315. Does 24 divide h?
False
Is (-92)/(-3) + (-6)/9 a multiple of 6?
True
Let k = -14 - -5. Let u be (-3)/(1*k/12). Suppose -u*a + a = -150. Is 17 a factor of a?
False
Suppose -6 + 26 = 4*d. Is d a multiple of 5?
True
Suppose r = 1 - 5. Suppose -4*b + 6*c - c + 41 = 0, -4*c - 58 = -5*b. Let v = b + r. Does 10 divide v?
True
Let i(q) = -14*q**3 + q + 1. Let x be i(-1). Let j be 2/(-6) + x/6. Suppose -5*d + r = j*r - 25, 4*r - 10 = -2*d. Is d a multiple of 5?
True
Let o be 4/(-10) - 385/(-25). Does 8 divide o/10*28/3?
False
Suppose w - 2 = -3*b + 29, 0 = 2*w + 5*b - 66. Suppose w = 4*g - 21. Does 8 divide g?
True
Suppose 2*x - w = 92, -3*w = 5*x - 204 - 37. Is 5 a factor of x?
False
Let p = -7 + 9. Suppose t + 4*d = 35, 4*d - p*d - 84 = -4*t. Does 7 divide t?
False
Let o = -58 - -103. Is 9 a factor of o?
True
Is 10 a factor of (20/7)/(6/21)?
True
Let k(c) = 2*c - 1. Let z(a) = -a**2 + 5*a + 4. Let t be z(5). Is k(t) a multiple of 3?
False
Suppose -5*u - 4*m = -360, -2*m + 13 = u - 59. Is u a multiple of 12?
True
Let l be (-1)/((-2*1)/4). Let u be (l/5)/((-2)/(-10)). Suppose 5*m + u = 52. Is m a multiple of 10?
True
Let g(c) = -c + 84. Is g(0) a multiple of 21?
True
Suppose y = -s + 59, -3*s - 5*y + 177 = -y. Is s a multiple of 22?
False
Suppose s - 2*s + 4 = 0. Suppose 0 = s*r + 4*u - 256, 0 = -2*r - 3*u - 0 + 128. Suppose 2*c = 6*c - r. Is 8 a factor of c?
True
Suppose -3*y + 0*y = -2*v - 5, -4*v + 3*y = 13. Let h be 2/v - 10/(-4). Suppose -a - 3*a + 3*c + 108 = 0, h*a + 2*c = 68. Does 12 divide a?
False
Let i(h) = 4*h**2 - 16*h + 11. Is 19 a factor of i(7)?
True
Suppose -4*q = -3*w + 115, -2*q + 58 = 5*w - 99. Is 4 a factor of w?
False
Let k = 3 - 3. Let l(m) = -m**3 - m**2 - m + 21. Let t be l(k). Suppose -2*g + 5*n + t = 0, 29 = 4*g - 3*n + 6*n. Is 6 a factor of g?
False
Suppose 4*a + 16 = 3*s - 0*a, s = 3*a + 7. Let v = -1 + s. Suppose v*f - 18 = 51. Does 9 divide f?
False
Let h = 33 + -22. Is 4 a factor of h?
False
Suppose 18 = 3*d - 18. Is d a multiple of 12?
True
Let b = -21 + 30. Suppose 0 = 7*k - b*k + 136. Is k a multiple of 20?
False
Let o(x) = -2*x**3 - 5*x**2 + 4*x - 1. Let s(g) = -g**3 - 5*g**2 + 3*g. Let h(y) = 2*o(y) - 3*s(y). Is h(4) a multiple of 6?
False
Suppose 0*c + 4*x = 3*c - 21, -7 = -c - x. Suppose 0 = 3*k - c*k + 88. Does 15 divide k?
False
Let f(c) be the third derivative of 0 - c**2 + 1/10*c**5 - 1/120*c**6 + 1/6*c**4 + 0*c - 5/6*c**3. Is f(6) a multiple of 15?
False
Suppose 2*r + 5*h + 9 = r, -3*h = -5*r - 17. Let t = r - -27. Is t a multiple of 8?
False
Let w = 14 + -11. Does 2 divide w?
False
Let z be (1 + -1)*2/(-4). Suppose z = 4*d - 28 - 16. Is d a multiple of 11?
True
Suppose p - 3 - 12 = 0. Let z(f) = -f**2 + 17*f + 14. Does 22 divide z(p)?
True
Let c(t) be the first derivative of t**3/3 - t + 2. Let m be c(-1). Suppose 2*s - 41 + 3 = m. Is 7 a factor of s?
False
Let w(l) = 42*l**2 - 2*l - 1. Is w(-1) a multiple of 14?
False
Let j(g) = -g**2 - 6*g + 2. Let f be j(-6). Let u(r) = 4*r**2 + 2*r - 4. Is 12 a factor of u(f)?
False
Let h = 655 + -468. Is 11 a factor of h?
True
Suppose -5*s - 155 = -5*t, -2*t + t + 39 = 3*s. Is 33 a factor of t?
True
Let a be -1 - (-1 + -2)*1. Suppose 4*n + 20 = a*j, 3*n + 2*n + 22 = 2*j. Let f = j - 0. Does 3 divide f?
True
Let p = -3 + 21. Does 6 divide p?
True
Suppose -2*p - 18 = -0*p. Let t = 27 + p. Is t a multiple of 9?
True
Suppose 28 = 5*q - 27. Let h(o) = 3*o - 11. Let a be h(11). Let m = a - q. Is 4 a factor of m?
False
Let s be (-1)/(-1*(-2)/(-220)). Suppose 0 = -0*o - 5*o + s. Is o a multiple of 14?
False
Let q = 191 - 76. Is 24 a factor of q?
False
Is 2/(-14) + 848/56 a multiple of 5?
True
Let m(n) = 3*n**2 + 9*n + 6. Let c be m(-7). Let a = c - 54. Suppose 3*k - 42 = a. Is 13 a factor of k?
True
Let i(o) = -3*o + 2. Suppose 0 = 4*h - 5*v + 13 + 28, 0 = h - 5*v + 29. Let s be i(h). Is (-500)/(-14) + s/49 a multiple of 18?
True
Let b(i) = 3*i - 4*i - 6 + 4*i**2 + 7. Let f be b(1). Let j = 11 - f. Does 3 divide j?
False
Suppose -9 = -d + 5. Suppose 2*w = -2*y - 0 + 6, -4*w - 3*y = -d. Is w a multiple of 2?
False
Suppose 6 = -k - 0. Let f be (6/1)/((-4)/(-10)). Let w = k + f. Is w a multi