h(m) = m**3 + 7*m**2 + m + 7. Let f be h(-7). Suppose -2*x + d*x - 24 = f. Does 9 divide x?
False
Let f(o) = 13 - o**2 - 12*o + 15 - 4 - 6. Does 3 divide f(-13)?
False
Let o(t) = 12*t + 10. Let p be o(8). Suppose -50 - 21 = -2*y - 3*a, p = 2*y - 4*a. Is y a multiple of 21?
False
Suppose 0*c - 15 = 5*c. Let j(s) = -8*s. Is j(c) a multiple of 14?
False
Suppose 4 = -3*u + 16. Suppose -3*n - 12 = -u*n. Is n a multiple of 6?
True
Suppose 0 = -5*n + 341 - 46. Is 8 a factor of n?
False
Let o = -8 + 4. Let k(b) = b**3 + 7*b**2 + 5*b. Is 14 a factor of k(o)?
True
Is 6 + 288/(-45) - 1097/(-5) a multiple of 13?
False
Let f = -329 - -231. Let s = -68 - f. Is 15 a factor of s?
True
Let i(m) be the third derivative of m**5/60 - m**4/24 + 19*m**3/6 + 5*m**2. Is i(0) a multiple of 6?
False
Let j(b) = b**2 + 3*b + 2. Let z be j(-3). Let h = z - 0. Suppose 5*y - h*y = 66. Is 14 a factor of y?
False
Suppose -4*x - 16 + 4 = 0. Let i = x - -6. Is 5/((-15)/(-14))*i a multiple of 12?
False
Let u(d) = 20*d**3 + d**2 - d. Let n be u(1). Let x = -6 + n. Is x a multiple of 14?
True
Let i = 136 - 112. Is i a multiple of 2?
True
Let s = 5 + -1. Let y be ((-13)/s)/(3/(-12)). Suppose 4*u = y + 23. Does 4 divide u?
False
Is (324/15 - 3) + 4/10 a multiple of 19?
True
Let h(t) = -3*t - 7. Let c be h(-6). Let q(s) = -s + 20. Does 9 divide q(c)?
True
Suppose 74 = 4*q - 82. Does 13 divide q?
True
Let m(c) = 6*c**2 - 4*c + 6. Is m(3) a multiple of 8?
True
Let a = -166 + 237. Is a a multiple of 21?
False
Let s be (0 - 0)/3 - -47. Suppose 0 = f - 5*u - 12 - 3, 3*u - s = -5*f. Is f a multiple of 4?
False
Does 23 divide (2 - 2) + (-230)/(-2)?
True
Suppose -4*t - 1 = -5. Let k(v) = t - 5*v + 8*v + 2 + 7*v - v**2. Does 2 divide k(10)?
False
Let j = 12 - -13. Is 14 a factor of j?
False
Let c = 36 - 21. Suppose -p - 7 = -4*p + i, 5*p - c = 5*i. Is 9 a factor of 11 + (p - 3 - 1)?
True
Let r = 207 - -21. Is r a multiple of 19?
True
Suppose 8*m = 11*m - 150. Is 10 a factor of m?
True
Let p(i) = -2*i**3 - 20*i**2 + 2*i - 10. Let k(t) = t**3 + 10*t**2 - t + 5. Let y(v) = 9*k(v) + 4*p(v). Does 8 divide y(-10)?
False
Suppose 8*l - 3*c - 271 = 3*l, -4*c - 220 = -4*l. Is 10 a factor of l?
False
Does 11 divide (-28)/(-70) - 228/(-5)?
False
Is (-5 + 3 - 1)/(3/(-246)) a multiple of 21?
False
Let k = -1 - -2. Suppose -9 - k = -5*h. Suppose -2*a + 31 = -p + 77, 0 = 4*p + h*a - 134. Does 18 divide p?
True
Suppose -3*z + 9 = w, z + 37 = 3*w - 0*z. Let t(k) be the second derivative of k**4/12 - 2*k**3 + 5*k**2/2 - 2*k. Is t(w) a multiple of 2?
False
Let g = 37 + -56. Let z be (-382)/(-14) + 6/(-21). Let s = g + z. Does 4 divide s?
True
Suppose 3*l = 5*x - 0*x - 3, -29 = -5*l - 3*x. Is 4 a factor of l?
True
Suppose 0 = s + y - 6, -5*s - 4*y + y + 22 = 0. Does 6 divide 134/8 + s/8?
False
Is (-24)/(-8) + 17/1 a multiple of 13?
False
Suppose q + 79 = 3*q + 3*g, 0 = -2*q + 3*g + 109. Does 21 divide q?
False
Suppose 4*y - 7*y = -p - 1082, -4*y = -4*p - 1448. Does 30 divide y?
True
Suppose -28 = -3*y + 38. Is y a multiple of 22?
True
Suppose 3*s + 5*k = 133, k + 107 = 4*s - 78. Is s a multiple of 23?
True
Suppose p + 1 = 2. Let k be (-1 + p)*1/(-2). Suppose k = w - 5, j + 2*j + 3*w = 39. Does 8 divide j?
True
Let r(w) = -w**3 + 6*w**2 + 2*w - 7. Let y be r(6). Suppose -y*n + 47 = -4*d, 2*d = -4*n - 2 + 50. Suppose q = n - 4. Does 5 divide q?
False
Let o = 19 + -17. Suppose -5*k = x - 0 - 63, -o*x + 30 = 2*k. Is k a multiple of 4?
True
Let a be (-2)/(-4) + (-7)/(-2). Is 9 a factor of 94/a - (-9)/18?
False
Let n be 0 - (16 + (-3 - -1)). Let c = 1 + n. Does 8 divide (-2 + -2)/(2/c)?
False
Does 7 divide (-1550)/(-55) - 4/22?
True
Suppose -2*s - 2*u + 164 = -0*u, 160 = 2*s - 2*u. Is s a multiple of 9?
True
Let y = 152 + -82. Does 13 divide y?
False
Let r = 25 - -1. Suppose 2*j - r = 40. Let k = j - 23. Is 10 a factor of k?
True
Let x be ((-26)/(-10) - 3)*20. Does 7 divide 4 + x - -3 - -15?
True
Let f(o) = o**3 + 11*o**2 + 19*o + 6. Does 16 divide f(-8)?
False
Suppose 3*z - 69 = -5*f, 0 = -z - 4*z - 2*f + 134. Does 14 divide z?
True
Let m(g) = -g**2 + 11*g - 8. Let n(k) = -k**3 + k**2 + 4*k + 3. Let a be n(-2). Does 10 divide m(a)?
True
Suppose -2*l - 48 = -3*l. Suppose -6*p + l = -2*p. Suppose -16 = -5*u + 3*q + p, 0 = -4*u + 4*q + 24. Does 5 divide u?
True
Suppose 2*x - 29 = 2*v - 3*x, 3*v + x + 18 = 0. Is 2/v + 316/28 a multiple of 3?
False
Let d(c) = 3*c**2 + 4*c - 3. Is 15 a factor of d(4)?
False
Let w(c) be the second derivative of c**5/10 + c**3/6 + c**2 - c. Is w(2) a multiple of 20?
True
Let b = 36 - 26. Is 10 a factor of b?
True
Let o be (-2)/6*-3 - 22. Let l = o - -12. Let q = l - -20. Is q a multiple of 8?
False
Let k(p) = -p**2 - 5*p + 6. Let u be k(-5). Suppose -5*h + 9 = -u. Suppose 86 = 5*v - 2*m - 64, h*m = 15. Does 16 divide v?
True
Suppose -3*x + 162 = 6*x. Does 9 divide x?
True
Suppose o - 15 = -o + 3*w, -4*o + 15 = -3*w. Suppose o*i - 1 = i, -2*u + 13 = 5*i. Does 2 divide u?
False
Suppose -68 + 1688 = 9*w. Is w a multiple of 30?
True
Let t = 0 + 1. Let x be 52/4 + -1*t. Suppose -2*j = j - x. Is j a multiple of 2?
True
Let k = -23 + 40. Let p = 26 - k. Is 6 a factor of p?
False
Let c(o) = -8*o + 4. Let s be c(-3). Let u be (-4)/14 + (-132)/s. Is -2*u/(5/6) a multiple of 4?
True
Let o(m) = -10*m**2 + m. Let u be o(-1). Let g = u - -22. Is 11 a factor of g?
True
Let y(k) = -5*k**2 - 3*k + 2*k**2 + 3*k + 1. Let o be y(-1). Does 21 divide o + 58 - (-4 - -1)?
False
Let c(w) = -1. Let x(v) = 3*v - 6. Let j(a) = 9*c(a) + x(a). Is j(12) a multiple of 8?
False
Let j be 4/(-10) + 48/20. Suppose 3*i - 22 = -j*s, 3*s - 17 = -2*s + 2*i. Does 3 divide s?
False
Let m(x) = x**3 - 7*x**2 - 5*x - 7. Suppose -5*p = j - 42, -j = -4*p - p + 38. Is m(p) a multiple of 14?
False
Suppose 5*k - 4*k - 44 = 0. Let h = k + -11. Does 11 divide h?
True
Let x = -7 - -6. Let h(k) = -4*k - 1. Let a be h(x). Suppose 0 = -3*j - 15, -38 = -a*m + 3*j - 2*j. Is 11 a factor of m?
True
Let q(y) = -y**2 - 11*y + 8. Is 6 a factor of q(-10)?
True
Let g(z) = -z**2 - 7*z. Let j = 13 + -8. Let w = -10 + j. Is 3 a factor of g(w)?
False
Let p = 4 + -2. Suppose 8 - 64 = -p*t. Is t a multiple of 14?
True
Let g(m) = 6 + 4*m + 0 + 4*m**2 - 3*m**2 + m. Let a be g(-4). Suppose -2*x + 60 = -r + 5*r, -a*x + 59 = 5*r. Is x a multiple of 9?
False
Suppose 25 = 3*b - 23. Is 10 a factor of (b/(-3))/(10/(-45))?
False
Let i(t) = -t**3 - 9*t**2 - 2*t - 11. Let s = -1 - -5. Suppose -3*h + 18 = -3*g, s*h - 15 = 3*g - 0. Is 7 a factor of i(g)?
True
Suppose 100 = -2*s - 3*l, 5*l = -s - 104 + 40. Is 6 a factor of ((-77)/s)/((-1)/(-12))?
False
Let m(x) = x**3 + 11*x**2 - 2*x + 11. Suppose 11*n - 6*n + 55 = 0. Is m(n) a multiple of 12?
False
Let s be (-1520)/(-15)*(-6)/(-2). Suppose -6*n - s = -10*n. Is 19 a factor of n?
True
Let p = 15 - 9. Suppose p*w - 4*w - 18 = 0. Does 7 divide w?
False
Let u be -2 - 7/((-14)/12). Let h(j) be the third derivative of j**4/8 + 2*j**3/3 - j**2. Is h(u) a multiple of 6?
False
Suppose -2*l - 10 = 0, -5*b + 2*l = -100 - 95. Does 15 divide b?
False
Let i(x) = -x**3 + 4*x**2 - 3*x. Let z be i(2). Is 8 a factor of (-1)/z - (-93)/6?
False
Suppose -2*w = 4*c, -w + c - 9 = -6*w. Let f be -3 + (w - -8) + -3. Let o = 23 + f. Is o a multiple of 9?
True
Suppose 16 = -5*h - 14. Let i(a) = -a + 12. Is 5 a factor of i(h)?
False
Let n = 17 + -14. Suppose 5*d + 114 = n*v, 152 = v + 3*v + 5*d. Is 12 a factor of v?
False
Suppose -4*l - 5*x = 52 - 12, 0 = 5*l + x + 50. Let z be ((-15)/l)/((-6)/(-160)). Let s = z + -8. Is s a multiple of 16?
True
Let j = -11 - -17. Is j even?
True
Suppose 3 + 22 = 3*j + 4*z, 5*j - 4*z = -1. Suppose j*p = 95 - 14. Is 17 a factor of p?
False
Let o = 5 + -2. Let y = o + -3. Suppose -4*z + 43 + 25 = y. Is 17 a factor of z?
True
Let k(m) = -19*m. Does 4 divide k(-1)?
False
Is 5 a factor of (-2)/(110/(-27) + 4)?
False
Let a(o) be the third derivative of o**6/360 - o**5/40 + o**4/12 - o**3/6 + o**2. Let s(c) be the first derivative of a(c). Does 20 divide s(6)?
True
Suppose -2*a = 19 - 141. Is a a multiple of 7?
False
Suppose 5*c = -0*c. Let m(p) = -p - 20. Let h be m(c). Let s = -8 - h. Is 4 a factor of s?
True
Let o = -4 - -1. Does 11 divide 33/12*(1 - o)?
True
Let t be (-6)/21 - (-78)/(-21). Is (-1)/2 + (-74)/t a multipl