((-10)/(-4))/(-5)*0. Suppose -14*m + 16*m - 14 = n. Is m a multiple of 2?
False
Let z(j) = -2*j + 2. Let t be z(-6). Suppose 5*o + 3*q = 4*o + 8, o = 2*q + 18. Suppose o = 3*c - s, -3*c + 2 = -2*s - t. Does 3 divide c?
False
Let f = -19 - -33. Is f a multiple of 14?
True
Let r = -2 + 5. Suppose -r*w = -2*t - 84, -2*w = 3*t - 84 + 28. Does 14 divide w?
True
Let u be (-1)/((-9)/(-5) - 2). Suppose k = -u + 6. Does 5 divide k*(-2)/(6/(-33))?
False
Let o(n) = n**2 - 3 - 2*n + 2*n + 0 + 2*n. Does 21 divide o(-6)?
True
Is 22 a factor of ((-16)/3)/(-2)*(-99)/(-6)?
True
Let s = -5 - -9. Suppose 5*a = -q + 216, 0*a - 47 = -a - s*q. Let u = a - 21. Is u a multiple of 8?
False
Let a = 117 + -8. Is a a multiple of 27?
False
Let i(o) = 2*o + 2. Let n be 2/10 + (-11)/5. Let j be i(n). Is 87*((-4)/6)/j a multiple of 13?
False
Let r = 19 + -4. Suppose -2 = l - 85. Suppose 5*q + 2*x - 152 = 0, x + l = 2*q + r. Is q a multiple of 10?
False
Let w(h) be the third derivative of -h**5/30 - 2*h**3/3 + 2*h**2. Let g(c) be the first derivative of w(c). Is 9 a factor of g(-7)?
False
Suppose 32*r - 1043 = 25*r. Is r a multiple of 19?
False
Suppose -5*c = c - 120. Does 4 divide c?
True
Let i be (-1 + 1)*(-1)/2. Suppose i = 3*r - 4*s - 7, -2*r + 3*r + 3 = 4*s. Is 2 a factor of r?
False
Let f = 39 - 19. Is f a multiple of 10?
True
Let h = -1 + 4. Suppose -h*j + 15 = 0, i = -2*i - 5*j + 46. Is i a multiple of 6?
False
Suppose 26*m - 24*m = 378. Is 40 a factor of m?
False
Let r be 295/(-20) - (-2)/(-8). Does 18 divide (-18)/r*45/1?
True
Suppose 5 = 2*v - v. Let b(y) = -y**3 - 5*y**2 + 5*y - 2. Let q be b(-6). Suppose r - q*k - 22 = -4, 5*r + v*k - 15 = 0. Does 6 divide r?
True
Suppose -5 = -5*k + 5*x, 2*x - 2 = k - 6. Is 14/8*k*-2 a multiple of 7?
True
Let d(k) = k**3 + 6*k**2 - 4*k - 6. Is 4 a factor of d(-6)?
False
Suppose 0 = 4*f - w - 165, -w - 55 = -f + 2*w. Is 20 a factor of f?
True
Let z(n) = n**3 - 6*n**2 + 7. Let t be z(6). Let j(c) = c**2 - 4*c - 1. Does 6 divide j(t)?
False
Let x(p) be the second derivative of p**5/20 - p**4/6 + p**3/3 + p**2 + p. Let l be 8/6*(-9)/(-6). Does 3 divide x(l)?
True
Suppose 4*u = -v + 15, -u - 19 = -6*u - v. Is 114/7 + u/(-14) a multiple of 9?
False
Let a = 24 - 16. Is a a multiple of 8?
True
Let j(c) = 20*c**2 + 41*c**2 - c + 56*c**2. Let r be j(1). Suppose 4*p = 2*z - 72, -2*z + r = z - 2*p. Is 20 a factor of z?
True
Suppose -5*f + 150 = a + 2*a, -2*a + 4*f = -78. Let h = -27 + a. Is 6 a factor of 8/6*h/4?
True
Let n(b) = -4*b + 2. Does 11 divide n(-8)?
False
Let v = 110 + -73. Is 14 a factor of v?
False
Let m be -5 - -2*2/(-4). Let a = m + 6. Suppose -2*t + 3*l + 10 = 0, -3*l = -a*t - 3*t + 15. Is t even?
False
Is (-2)/3 + (-428)/(-12) a multiple of 14?
False
Suppose -3*b + 17 = 4*f, -2*f - 4*b = -9*b + 11. Suppose -f*g = 3*q - 89, 0 = 4*g - 4*q - 153 - 15. Is g a multiple of 9?
False
Suppose 66 = 3*g - g. Is 6 a factor of g?
False
Let t(a) = -a**3 + 7*a**2 + 10*a. Is t(8) even?
True
Is 2 a factor of (-1)/(-5) - 63/(-35)?
True
Let c(z) = -z**3 + 4*z**2 + 6*z - 3. Let l be c(5). Let b(r) = 2*r**3 + r**2 - 3*r + 2. Is b(l) a multiple of 7?
False
Suppose 6*m - m = -10. Let k(z) = 5*z**2 - 2*z. Does 12 divide k(m)?
True
Suppose -5*y - 62 = 3*d - 863, -5*d = -4*y + 663. Does 9 divide y?
True
Let q = -114 - -39. Let w = q - -117. Does 11 divide w?
False
Let l(g) = 4*g**3 + g**2 + g + 4. Is 14 a factor of l(2)?
True
Let y = 171 + -56. Does 23 divide y?
True
Is 5 a factor of 32/(-48) - (-80)/3?
False
Suppose 8 = -4*w + 24. Suppose 5 = w*o - 83. Is 22 a factor of o?
True
Suppose -4 = -2*p, -3*i = 2*i - p - 13. Suppose -4*a - 4*z = 0, -4*a + i*z + 10 = 2*z. Suppose -a*m = -6 - 8. Does 7 divide m?
True
Let a(j) = 13*j**2. Let u be a(-1). Suppose -k = -u - 18. Does 11 divide k?
False
Suppose 3 = h, -3*h - 111 = -2*b + 58. Does 10 divide b?
False
Suppose 4*m - 9 = -u, -5*u - 12 - 12 = -3*m. Let g(z) = -7*z + m*z + 0*z - 2 + 0*z**2 - z**3 + 8*z**2. Is 19 a factor of g(7)?
True
Let j = -7 + 8. Is 37 + 2/j + -3 a multiple of 18?
True
Suppose 0 = 4*d - x - 179, -3*d - 2*x = d - 194. Is d a multiple of 7?
False
Suppose -4*q - 5 = q. Let t(m) = 14*m - 16. Let i be t(2). Is 7 a factor of (q/(-3) + 1)*i?
False
Suppose -22 = -2*o - 0*o. Let j(z) = z**3 - 12*z**2 + 11*z + 14. Let d be j(o). Suppose -3*x = -k + x + 9, -x = k - d. Is 7 a factor of k?
False
Does 14 divide 2/(-10) - 726/(-30)?
False
Let p(b) = 2*b + 9. Let g = 14 - 6. Is 16 a factor of p(g)?
False
Let n = -42 + 72. Suppose 4*k + k = 0. Suppose -3*b + 2*h = -44, k = 4*b - 3*h - 87 + n. Is 18 a factor of b?
True
Let x(f) = f. Let y be x(1). Let o = y + 38. Let i = o + -16. Is i a multiple of 9?
False
Suppose -5*y = -15, -y + 277 = 5*v + 3*y. Is v a multiple of 9?
False
Suppose 0 = 5*m - 2*g - 71, -40 = -3*m + 3*g + 8. Is 7 a factor of m?
False
Let r be 5*(-1 + 0 + 2). Suppose 4*o = -2*u + 188, -r*u = 4*o - 3*o - 56. Is 25 a factor of o?
False
Let w(o) = o**3 + 7*o**2 - 7*o + 8. Let f be w(-8). Let x(i) = -i**3 - i**2 + i + 32. Is 16 a factor of x(f)?
True
Suppose 2 = -l + 8. Suppose 0 = -l*i + 4*i, -16 = -2*f + 5*i. Let m = f + -4. Is 3 a factor of m?
False
Let n(j) be the second derivative of -j**4/12 + 3*j**3/2 - 2*j**2 - 3*j. Suppose 5*o - 5 = 5*y, 5*y = -4*o - o + 35. Is n(o) a multiple of 16?
True
Suppose 3*h - 5*h = 64. Let x = -22 - h. Is 5 a factor of x?
True
Suppose 17 = 4*f + 5. Suppose -3*d + f = -5*d - 5*v, -69 = -4*d + 5*v. Does 4 divide d?
False
Suppose 0 = -2*f + 4*f + 28. Let g = f + 22. Is g even?
True
Suppose 5*n - 2*n = -9. Does 25 divide 54/(-9)*22/n?
False
Suppose 3*q + 2*g - 39 = 0, -2*g = q - 6*q + 49. Suppose -r + 2*u = -2*u - q, -u = 3*r - 7. Let x = r - 1. Is x even?
True
Let k(x) = -6*x - 1. Let r = -12 + 4. Let y be k(r). Let h = y + -34. Does 8 divide h?
False
Let w = -8 + 8. Suppose 5*y - 90 = -w. Does 6 divide y?
True
Suppose a - 22 = -2*t - 9, 6 = 2*a. Let k = t + -3. Suppose -7*r = -2*r - 10, -32 = -k*o + 5*r. Is o a multiple of 6?
False
Let j be (1*-1)/((-4)/40). Is 200/3 + j/(-15) a multiple of 22?
True
Is 100 - ((9 - 4) + -1) a multiple of 4?
True
Suppose -260 = -3*w - 8. Is 28 a factor of w?
True
Let r = -33 - -9. Let i = r + 57. Is 12 a factor of i?
False
Let b(w) = -7*w - 2. Let u be b(-1). Suppose 0 = p + 2, u*f = 4*p - p + 46. Is f a multiple of 2?
True
Let p be 10/(-5) - (-6 - 1). Let a(b) = b - 4. Let w be a(p). Let n(l) = 27*l - 1. Is 13 a factor of n(w)?
True
Suppose -2*h + m = -18, -5*h + 5*m + 46 = 2*m. Is h a multiple of 4?
True
Let y be 20/(-2)*72/(-15). Suppose 0 = -5*o + 47 + y. Is 19 a factor of o?
True
Let w(h) = h + 24. Let p be w(-13). Let s = p + 9. Does 5 divide s?
True
Suppose 4*z + z - 37 = 2*w, 0 = 4*z - 3*w - 31. Suppose 3*x + 28 = z*x. Is 5 a factor of x?
False
Suppose f + f + d - 22 = 0, -f + d + 11 = 0. Is 3 a factor of f?
False
Let x(c) = c**3 + 4*c**2 - c + 4. Let q be 3/6*(-2 - -4). Let z = q - 5. Is 4 a factor of x(z)?
True
Let b = -2 - -48. Is 29 a factor of b?
False
Let x(m) = -5 + m**2 + m + m + 3. Let h(v) = -2*v**2 + 5*v - 4. Let a be h(3). Does 11 divide x(a)?
True
Let p = 5 + -5. Let a be (-6 + p)*8/(-6). Suppose -2*d + 0*d + a = 0. Is d a multiple of 2?
True
Let q = 8 + -1. Suppose -5*k + q*k = 162. Is k a multiple of 21?
False
Suppose -u - 266 = -n, -n - u + 266 = -0*u. Is 14 a factor of n?
True
Let i(d) = -d**3 + 9*d**2 + 13*d - 10. Does 36 divide i(9)?
False
Let m(p) = -p - 26. Let a(l) = -2*l - 27. Let y(w) = 2*a(w) - 3*m(w). Is y(0) a multiple of 12?
True
Let u = -9 + 21. Is u a multiple of 10?
False
Let u(k) = -17*k**3 - 7*k**2 - 3. Let n(t) = -9*t**3 - 3*t**2 - 1. Let i(q) = -5*n(q) + 2*u(q). Suppose 2 + 2 = 4*r. Is i(r) a multiple of 11?
True
Let a = 15 - 9. Suppose 4*c + 20 = a*c. Does 10 divide c?
True
Let o(x) = x**3 - x**2 + 3*x - 1. Suppose p + 2 = -2*n + 5*p, -p + 2 = 0. Is 13 a factor of o(n)?
True
Let u(t) be the first derivative of t**4/4 - 2*t**3 - 11*t**2/2 - 2*t + 2. Does 7 divide u(8)?
False
Is -160*2*(-3)/12 a multiple of 8?
True
Let v be (0 - 1)/3*-6. Suppose v*l - 3*c = l + 37, -c = 3*l - 81. Does 14 divide l?
True
Let r = -2 + 4. Suppose -3*k - r*k = -85. Is k a multiple of 13?
False
Let c(w) = w**2 + 3*w - 7. Let v(x) = x - 11. Let g be v(6). Let m be c(g). Suppose -m*r = 5*h - 60, -r + h 