 + 11. Is i(-5) a multiple of 8?
False
Suppose 3*x = -5*y + 67, 2*y - 11 = y - 3*x. Suppose y*s - 13*s - 7 = 0. Is 3 a factor of s?
False
Let p = -64 - -108. Suppose 3*k + n - 4*n = 12, 0 = 5*k + n - p. Is 3 a factor of k?
False
Suppose q + 5 = 0, -5 = 2*y - 7*y + 4*q. Let v(h) = -3*h**3 + h**2 + 7*h + 3. Is v(y) a multiple of 8?
True
Let b(j) be the second derivative of j**4/6 + 5*j**3/6 + 8*j. Is 6 a factor of b(-4)?
True
Let d = 79 - 370. Let r = 461 + d. Is 11 a factor of r?
False
Let r be (-13 + 14)*(14 - 0). Suppose 0 = -8*i - r + 46. Is 1908/33 - i/(-22) a multiple of 29?
True
Let u(h) = -h. Let n(z) = 6*z + 1. Let w(b) = n(b) - 2*u(b). Let q(r) = r**3 + 8*r**2 - 9*r + 3. Let d be q(-9). Does 17 divide w(d)?
False
Is 18 a factor of 21/(5*7/1260)?
True
Let q(g) = -g**3 - g**2 - g - 4. Let k be q(-2). Suppose -2*y - k*y + 2*r + 346 = 0, -4*y - 5*r = -311. Does 40 divide y?
False
Let v(d) = d**2 + 9*d - 8. Let s be v(-7). Let t be 212/44 + (-4)/s. Suppose 3*c - t*q - 98 = 0, 0 = 4*q - 2*q - 4. Is c a multiple of 6?
True
Let i(o) = o**3 + 8*o + 5. Let q(v) = -v**3 + v**2 - 9*v - 5. Let d(r) = -7*i(r) - 6*q(r). Let f be d(-6). Let l = 2 + f. Is l a multiple of 9?
True
Let g(s) be the second derivative of -4*s**3 - 3*s**2/2 + 17*s. Is g(-2) a multiple of 8?
False
Let s(u) = 22*u + 262. Is 2 a factor of s(11)?
True
Suppose -5*l - 455 = -3*f, 0 = f - 2*f - 4*l + 180. Is 16 a factor of f?
True
Suppose 2*p + 5*h = 0, -6*p + 4*p = h - 8. Suppose p*l + 1 = -2*b, -3*b - 2*l = -l - 5. Suppose 7*k = b*k + 260. Is 13 a factor of k?
True
Suppose 16*a + 171 = 1931. Is a a multiple of 5?
True
Let z = -8 + 10. Suppose z*m - 6*m = -64. Suppose 19 = 3*v + 2*t, 5*t = -4*v - 0 + m. Is 7 a factor of v?
False
Let i be -148*(-10)/(9 + -4). Does 19 divide 3 - 0 - (-1 + i/(-2))?
True
Suppose 2*f - 15 = 7*f, l + 20 = -2*f. Let p(j) = j**2 + 12*j - 2. Let z be p(-6). Let i = l - z. Is 24 a factor of i?
True
Suppose 2*s - 3*h - h - 14 = 0, 5*s = 3*h. Let r be (1 + s)/(4/(-6)). Suppose -r*b + 4 = -b. Is b even?
True
Does 40 divide (1/(-1))/(14/(-36862))?
False
Let c(b) = 205*b**2 - 11*b + 19. Does 19 divide c(2)?
True
Let t be (-270)/(-5) - (-1)/(-1). Suppose -100 = -2*z + 4*j, 2*j = z - 3*j - t. Is 6 a factor of z?
True
Is 71 a factor of 7755/18 + 6/36 + 4?
False
Suppose 5*v - 3*v = 0. Let f(k) = -k**3 + k**2 - k + 6. Let y be f(v). Suppose 2*n + 116 = y*n. Does 8 divide n?
False
Let c = 79 + -81. Let w(u) = 8*u + 5. Let f(v) = 23*v + 14. Let s(r) = -3*f(r) + 8*w(r). Is 7 a factor of s(c)?
False
Let r(h) = 10*h - 142. Let m be r(12). Let v = 11 + -8. Does 20 divide 74/v - m/(-33)?
False
Let y(h) = -3 - h**3 - h - h**2 - h**2 + 4. Let l(n) = 2*n - 23. Let q be l(10). Is y(q) a multiple of 6?
False
Let c(w) = -51*w + 24. Let j be c(-12). Suppose j = b + 3*b. Does 28 divide b?
False
Does 5 divide ((-458)/7)/(80/(-280))?
False
Let u(h) = 4 - 2 - 3*h**2 - 2*h - 14*h + 4*h**2. Is 13 a factor of u(20)?
False
Suppose -5*v = 5*a - 85, -2*v - 3*a + 14 = -15. Suppose f - n - v = 0, -5*f = -9*f + 2*n + 98. Is f a multiple of 2?
False
Suppose -6 = -z - 2*z. Suppose -4*m = -7 - 333. Suppose -3*p - m = -z*x, 3*p = 7*p + 12. Is x a multiple of 13?
False
Suppose 0 - 2 = -t. Let l be -2 - (-1 - 5) - t. Suppose -5*h - l*w + 12 = -7, 3 = -w. Does 5 divide h?
True
Let n be -2 + -1 - (-1 + 3). Let h be (-1220)/(-8)*12/n. Is (-22)/33*h/4 a multiple of 24?
False
Suppose -2*z = h + 3*z + 1, 3*z - 12 = -2*h. Let a = h + 21. Is a a multiple of 23?
False
Let u(j) = -j**2 + 15*j - 9. Suppose -4*c + 20 = -4. Let l be u(c). Suppose z - l = -2*z. Is z a multiple of 4?
False
Suppose -125 - 43 = -d. Suppose -5*g + 0 = 15, -3*s - g - 3 = 0. Suppose -3*u - u + d = s. Is u a multiple of 21?
True
Let h = 850 + -727. Is 41 a factor of h?
True
Suppose 3*j + 4 - 1 = 0. Let r = 3 - j. Suppose -f = -l - 9, 9*f - l = r*f + 49. Is 9 a factor of f?
False
Let i = 30 + 46. Let c be (3 - 2)/(4/i). Suppose -c = -l + 59. Does 26 divide l?
True
Does 18 divide ((-18)/24)/(29395/5880 + -5)?
True
Let b = 15 + 8. Let x = b - -18. Suppose 2*a + 0*a = v + x, 4*a = v + 81. Is a a multiple of 12?
False
Suppose -37 = 3*n - 139. Suppose 5*x + 59 = 2*u, -u = x - 5*x - n. Does 14 divide (u/55)/((-1)/(-35))?
True
Let k = 18 + -14. Suppose 5*g + 224 - k = 0. Let w = -26 - g. Does 12 divide w?
False
Let g = -241 - -1231. Does 15 divide g?
True
Suppose 2*f - f - 45 = 0. Let s = f + -21. Is 6 a factor of s?
True
Suppose -4*b + 1 + 3 = 0. Does 8 divide (b + -4)*(-408)/18?
False
Let k(y) = -y**3 - 2*y**2 + 14*y + 5. Let s be k(-6). Suppose -11*q = -1 - s. Is q a multiple of 2?
True
Let k = -91 - -94. Suppose 0 = -k*j + 4*h + 442, -4*h + 6 = -14. Does 14 divide j?
True
Let b(m) be the second derivative of 3*m**5/20 - m**4/6 + m**2/2 - 5*m. Let v be b(1). Suppose -v*p = -5*p + 33. Is p a multiple of 6?
False
Suppose 0 = -g + 2*q - 4*q + 10, g = -4*q + 18. Suppose 5 = -g*z + z. Is 15 a factor of 9/15 - 147/z?
True
Let z(w) = 37*w + 291. Does 8 divide z(29)?
False
Suppose -s = 3 + 3. Let w = s - -11. Suppose 0 = 2*m - 4*c - c - 47, w*m + c = 185. Is 15 a factor of m?
False
Suppose 3*z = 4*q + 68, -4*z - q + 4 = -112. Let t be (-132)/165*(-2)/(-8)*-10. Suppose t*a + z = 3*a. Does 7 divide a?
True
Let d(a) = -10*a + 1. Let i(b) = -b**3 - 8*b**2 + 9*b. Let j be i(-9). Let r be j - 1 - 2/2. Is 7 a factor of d(r)?
True
Let o(u) = u**3 + 11*u**2 - 2*u + 1. Let z be -10 + 1/(-1) + 0. Let x be o(z). Let k = x - 10. Does 3 divide k?
False
Suppose 0 = -2*h + 5*r + 87, -h - 7*r + 2*r + 21 = 0. Is (1*(-31)/(-3))/(4/h) a multiple of 4?
False
Suppose -9*g + 0*g = -432. Does 8 divide g?
True
Let l = 58 - 4. Suppose 8*d - 6*d = l. Does 11 divide d?
False
Suppose 0*l = 4*l + 4*k + 8, -l + 2*k = -7. Let z(v) be the first derivative of 41*v**3/3 - v**2/2 + 2*v + 1. Is 21 a factor of z(l)?
True
Let s = 264 - 208. Is s a multiple of 3?
False
Suppose 0 = -5*o + 25, 2127 = 4*y - 0*o - o. Does 18 divide y?
False
Let n = -86 - -141. Does 12 divide n - (1 + (-7 - -3))?
False
Let l(b) = b**3 - 10*b**2 - b + 13. Let o be l(11). Suppose -o = -j - 2*j. Is j a multiple of 22?
False
Let i(k) be the first derivative of -k**5/15 - k**4/4 + 7*k**3/3 - 6. Let c(l) be the third derivative of i(l). Does 21 divide c(-6)?
True
Suppose -4*q - 3*m = -4013, -q + 6*q = -m + 5030. Is 42 a factor of q/6 - 4/(-24)?
True
Suppose h - 137*s - 5 = -134*s, 4*s = -4*h - 60. Suppose 5*g + 4*m - 171 = 254, 0 = 4*g - 5*m - 340. Let k = g + h. Is k a multiple of 18?
False
Let m(u) = u**3 + 3*u**2 - 4*u - 3. Let w(r) = r**2 - 7*r + 4. Let n be w(6). Is m(n) a multiple of 2?
False
Let y(c) = c + 2 - 4 + 6. Let q be y(12). Suppose 0*d - d + q = 0. Does 4 divide d?
True
Let p = -959 + 1722. Is p a multiple of 79?
False
Suppose 3*u = -12 - 24. Let l(a) = -4*a - 4. Does 11 divide l(u)?
True
Suppose -3*w + 2*v + 1 = v, -5*w + 2*v + 2 = 0. Let o(t) = -t**2 - t + 23. Let z be o(w). Suppose 0 = n - z - 23. Is n a multiple of 23?
True
Let l(q) = -12*q - 24. Does 7 divide l(-22)?
False
Let q(w) = 54*w**2 + 53*w - 110. Is 140 a factor of q(-10)?
True
Let f(i) = i**3 - 10*i**2 - i + 10. Let g be f(10). Suppose g = 4*w + 4, -2*w = -5*y - 5*w + 7. Suppose y*j = -3 + 69. Is j a multiple of 19?
False
Let y(a) = -4*a**3 - a**2 - a. Is y(-3) a multiple of 41?
False
Let k be 183/15 - 1/5. Let l = k + -9. Suppose -137 = -f - f + 5*u, l*u - 74 = -f. Is f a multiple of 20?
False
Let t be (19*18/(-5))/((-42)/(-140)). Does 8 divide 1/(909/t + 4)?
False
Suppose 13*z + 4 = 2*t + 11*z, 0 = 4*t - 3*z - 3. Is 18 a factor of ((-3)/9)/(t/(-2943)*-3)?
False
Let n = 493 - -1067. Is n a multiple of 46?
False
Suppose 5*g = -5*o - 25, -3*g = 2*o - 4*o - 10. Suppose 4*s + 12 = g, 0*s = -2*c - 4*s + 90. Is 17 a factor of c?
True
Let c = -2257 + 4664. Is 29 a factor of c?
True
Suppose 5*q + 75 = -5*n, 0 = 5*q - 2*n + 30 + 24. Suppose 8*h = 3*h - 4*m + 77, 0 = 3*h + 4*m - 43. Let j = h + q. Does 2 divide j?
False
Let b(n) = n**3 + 5*n**2 - 4*n - 5. Suppose 9 = q - 9. Suppose 7 = -3*i + g - 10, 0 = 2*i - 4*g + q. Is 15 a factor of b(i)?
True
Suppose g - 8 = -3*g. Suppose -4*w + 6 = -g. Suppose -4*j - w + 122 = 0. Does 10 divide j?
True
Let p(q) = q**3 - 9*q**2 + 2*q + 28. Is 16 a factor of p(12)?
False
Let j(p) = -2*p**3 - 7*p**2 - 9*