 + 10. Is k(9) a multiple of 14?
True
Suppose 2*o - 5*i - 83 = 68, o + 2*i = 62. Let r = o - 25. Is 13 a factor of r?
False
Let h(w) = -17*w. Suppose 6 = -3*u + 4*p - 16, -p = -5*u - 31. Let z be (-3)/u*(1 + -3). Does 10 divide h(z)?
False
Let v be 1*-129*1 - 1. Let y = v + 223. Suppose y = 2*q + q. Does 8 divide q?
False
Let y be (-3)/(-1 - (-3 - -3)). Let k(r) = -r**3 + 4*r**2 - 2*r + 3. Does 3 divide k(y)?
True
Suppose -4 = 3*k - 430. Is 40 a factor of k?
False
Let d(i) be the first derivative of i**4/4 + i**3 + 2*i**2 + 3*i + 1. Let r be d(-3). Does 4 divide 2 - r - (2 - 2)?
False
Let k(o) = -o**3 - 6*o**2 - 6*o - 3. Let i be k(-5). Suppose -5*b - 117 = -i*j - 9, -2*j - 4*b = -108. Suppose -n = 2*n - j. Is n a multiple of 9?
True
Let h be 4*(-1)/((-8)/(-6)). Let b be 11/((3/40)/h). Is 13 a factor of b/(-12) + (-2)/3?
False
Suppose 0 = 12*u - 1097 - 151. Is u a multiple of 26?
True
Suppose -71 = -4*a - 5*h, -5*a = -2*h - 72 + 8. Let m(f) = f**3 - 13*f**2 - 13*f - 3. Does 3 divide m(a)?
False
Is -1 + 1 + 83 - 4 a multiple of 23?
False
Is (-11)/(-55) + 648/10 a multiple of 21?
False
Suppose -2*v - 2 = c + 2, -2*c + 3*v = -27. Does 6 divide c?
True
Suppose -5*o - 41 = -111. Is o a multiple of 2?
True
Let d(x) = -x**2 + 7*x. Let u be d(7). Suppose q = -u*q + 41. Let v = 62 - q. Does 8 divide v?
False
Let v(g) = -12 - g**2 + 3 + 3*g**2 - 20*g + 16*g. Is 13 a factor of v(6)?
True
Suppose 2*l + 2*l + 3*p = -329, l = 3*p - 101. Let v be (1 + 19/(-4))*-32. Let i = l + v. Is i a multiple of 17?
True
Let d(s) = s + 9. Let n be d(-8). Let f(c) = 42*c**2 - c. Does 21 divide f(n)?
False
Let a be -1 - (-5 - -2) - -1. Suppose a*r - 225 = -2*r. Does 15 divide r?
True
Let y be -1 + -1 - 1*-32. Let w = 46 - y. Is 8 a factor of w?
True
Let h be 2 + -1*(-1 - -2). Let d = 42 + -79. Does 22 divide (-1 - d) + (3 - h)?
False
Let k(v) = 44*v**2 - v - 1. Is 7 a factor of k(-1)?
False
Let a(o) = -14*o**2 + 2*o**3 - 3*o**3 + 0 - 5 + 3 - o. Does 6 divide a(-14)?
True
Let f = 160 + 120. Is 14 a factor of f?
True
Let q(h) = -2*h + 5. Let r be q(-5). Suppose -5*d = -35 - 240. Suppose -2*i + d + r = 0. Is 12 a factor of i?
False
Let m be (-12)/2 - (-15 + 13). Is m/6*(-10 + 1) a multiple of 3?
True
Let n(w) = -w**3 - 2*w**2 + 8*w + 5. Is 14 a factor of n(-5)?
False
Let k(t) = 3*t**2 - 6*t + 6. Is 5 a factor of k(4)?
True
Let p = 0 + 36. Is 8 a factor of p?
False
Let c(x) = 5*x**3 + x**2 - 2*x + 2. Suppose 4*l - 8 = -0*l. Does 14 divide c(l)?
True
Let z be ((-8)/(-5))/(14/805). Suppose -2*x + z = 2*x. Is x a multiple of 7?
False
Let a(s) = 3*s - 9. Let j = -23 - -44. Suppose -4*k + k + j = 0. Is 12 a factor of a(k)?
True
Suppose -u + 2*u = 6. Let k(t) = -t**3 + 7*t**2 - 6*t + 2. Let h be k(u). Suppose 0*i + 32 = h*i. Is 7 a factor of i?
False
Let v(f) = f**2 + f - 1. Let u be v(1). Let m = 14 - u. Let j = m - 6. Is j a multiple of 4?
False
Suppose -4*t = -l + 100, -100 = t + 3*t - 2*l. Is (-40)/t*15/6 a multiple of 3?
False
Let n be 2/(-3)*(16 + 2). Suppose 4*f - 49 - 23 = 0. Let b = f + n. Is b a multiple of 6?
True
Let m(f) = f**2 + 3*f - 2. Let v = 6 + 14. Suppose 5*y + 15 + v = 0. Is m(y) a multiple of 11?
False
Let q(u) = -u**2 + 6*u - 5. Let b be q(4). Suppose b*z - 64 = z. Is z a multiple of 16?
True
Let h(u) = 1 + u**3 - u + u + 10*u**2 + 8*u. Let w be 9*3/(-4 + 1). Is h(w) a multiple of 10?
True
Suppose p + 3*p = -8. Let m(r) = -6*r**2 - 3*r. Let y be m(p). Let x = -10 - y. Is 8 a factor of x?
True
Let y = 85 + -68. Is y a multiple of 17?
True
Suppose 8 = -5*u + 78. Is u a multiple of 7?
True
Let i = 124 - 64. Is 17 a factor of i?
False
Let k = 5 - 0. Suppose g - 14 = -s + 4*s, 0 = k*s - 15. Is g a multiple of 8?
False
Suppose 3*v + v = 12. Let i(r) = 3*r**2 - 3*r + 6. Let j be i(-5). Suppose -v*t + j = t. Is t a multiple of 12?
True
Suppose -z + 2*w = 4*w, 3*w = 3*z. Suppose z = -3*c + 4*c - 16. Is 16 a factor of c?
True
Let w(z) be the first derivative of 7*z**3/3 + 1. Let q be w(1). Let i = q + -4. Does 3 divide i?
True
Let m(i) = i**3 - 11*i**2 - 2*i + 30. Is 38 a factor of m(13)?
True
Let l(p) = p**2. Let h be l(0). Suppose h*j = -4*j + 104. Suppose 3*f + 5 = j. Is 7 a factor of f?
True
Suppose -5*r - 136 = -3*v, -3*r = -5*r - 5*v - 73. Let y = 61 + r. Is 11 a factor of y?
False
Is 158 + (-4)/(-1) + 0 a multiple of 19?
False
Let m = 48 - 21. Suppose w + 2*w = m. Is w a multiple of 2?
False
Let g(k) be the first derivative of -4 + 6*k - 1/4*k**4 - 2*k**3 - 1/2*k**2. Is 4 a factor of g(-6)?
True
Is -4 + 26*(3 - 1) a multiple of 12?
True
Suppose 0*k - 12 = -4*k, 5*g - 3 = 4*k. Suppose -g*r + 15 = -12. Does 9 divide r?
True
Does 30 divide (1 + 9)/(-7 - 110/(-15))?
True
Let c(k) = -2*k - 6. Let l be c(-5). Let q(s) = -2 + l*s + 16*s + 4*s. Is 9 a factor of q(1)?
False
Let u(l) = 8 - 10 - 15*l - l**2 - 16. Is u(-13) a multiple of 7?
False
Let h be ((-14)/(-6) - 3)*9. Is 14 a factor of (h/15)/((-2)/180)?
False
Suppose -2*s = 2*s + 8. Let j(r) = 7*r**2 - r + 2. Let x be j(s). Suppose -2*f + x = -34. Is 13 a factor of f?
False
Suppose 3*s - s = -2*q + 20, -4*q - 8 = 0. Does 6 divide s?
True
Let w be ((-63)/(-28))/((-3)/(-8)). Suppose -2*v + w*v - 260 = 0. Is 30 a factor of v?
False
Let y(q) = 2*q - 5. Let f(s) = s - 5. Let b(k) = -4*f(k) + 5*y(k). Is b(2) a multiple of 7?
True
Is ((-1)/(3/25))/(12/(-36)) a multiple of 9?
False
Let n(g) = -g - 1. Let w(y) = y**2 - 11*y - 4. Let m(c) = 5*n(c) - w(c). Is m(5) a multiple of 3?
False
Let c be 1 - (1 + 0 - 2). Let i be (0 + 2)*(-1 - -2). Suppose 0 = m - c*l - 19, 0 = i*l + l. Does 11 divide m?
False
Suppose 0 = 5*z - 0*z - 2*v - 204, 5*v + 10 = 0. Suppose 5*j - 105 = -z. Is 13 a factor of j?
True
Let t = 76 - 136. Let d = 114 + t. Does 12 divide d?
False
Let n(x) = x**2 + 2*x + 2. Let r(q) = 6*q**2 - 61*q + 46. Let m(i) = i**2 - 12*i + 9. Let j(h) = 11*m(h) - 2*r(h). Let y be j(-11). Does 9 divide n(y)?
False
Let l = -25 - -41. Does 6 divide l?
False
Suppose 0 = 4*y - 11 + 3, u + 3*y - 3 = 0. Let t be 3*(-1)/(u/8). Suppose s - t = -s. Does 2 divide s?
True
Let u be ((-4)/(-6))/(8/12). Let b be (1/(-2))/(u/(-24)). Let l = b - -4. Is l a multiple of 7?
False
Let b(u) = -u**2 + 3*u + 1. Suppose -5*i = -5*g + 30, 20 = 2*g + 2*g - 3*i. Let v be b(g). Suppose -r + 0*r = -y + 5, -v*r = 2*y - 10. Is 5 a factor of y?
True
Let i = -8 + 12. Let l(z) = 4*z + 5. Is 7 a factor of l(i)?
True
Let v = 11 + -3. Is v a multiple of 3?
False
Suppose -4*v - j + 112 = -6*j, 2*v - 4*j = 56. Does 9 divide v?
False
Is (-8)/(-14) + 903/49 a multiple of 11?
False
Let s = -170 + 252. Does 13 divide s?
False
Suppose -5*l = 15 + 10. Let h(p) = 2*p + p**3 + 6*p**2 + 1 + 0 - 6. Does 9 divide h(l)?
False
Let q be (9/12)/(1/24). Is 9 a factor of 1/(4/2)*q?
True
Suppose 5*w - p - 108 = 0, 120 = 5*w - 3*p - 2*p. Does 30 divide 1266/w - 8/28?
True
Suppose 7*a + 29 = 8*a. Does 12 divide a?
False
Let y(a) = 2*a - 4. Let i be y(4). Suppose -51 = -5*h - f, -i*f = 5*h - 40 - 14. Is 5 a factor of h?
True
Suppose -70 = -i - i. Does 35 divide i?
True
Let u(v) = 1. Let s(a) = 3*a - 4. Let d(f) = -2*s(f) - 6*u(f). Does 30 divide d(-15)?
False
Let z(k) = -246*k + 2. Is z(-1) a multiple of 50?
False
Let d(g) = 4*g. Let k be d(3). Suppose 2*b - k = b. Does 4 divide b?
True
Let l be (1 - 1)/(-4 + 5). Suppose -4*u + l*u + 28 = 0. Is u a multiple of 7?
True
Is 24/(-16)*(-20)/6 even?
False
Let j be (-1*(1 - 0))/1. Let w = 27 + j. Is w a multiple of 13?
True
Does 14 divide 0/((-3)/(-1)) - -49?
False
Suppose -3*l + 661 = -2*j + 87, -958 = -5*l + 2*j. Suppose 0 = 4*q - l + 24. Is q a multiple of 15?
False
Let j(o) = 5*o**2 + 5*o + 1. Let h(x) = -3*x**2 - 2*x - 1. Let f(n) = 7*h(n) + 4*j(n). Is 3 a factor of f(4)?
False
Suppose 0 = i + 4*i. Suppose x - 40 = -i*x. Is 10 a factor of 3/((-34)/x - -1)?
True
Suppose 7*g = 12*g + 10. Is 11 a factor of 0 + (g - -1)*-64?
False
Suppose -15 = 5*y, -m + 2*y = -6*m + 214. Is m a multiple of 22?
True
Let k(v) = -v + 5. Let n be k(5). Let l(h) = 5*h + n*h + 3*h**2 - 2 - h + 4*h. Does 22 divide l(-6)?
False
Suppose -2*i - 2*x = x - 171, -3*x - 81 = -i. Is i a multiple of 27?
False
Suppose u = -u + 40. Is u a multiple of 7?
False
Suppose 2*a + 157 = 3*t + 3*a, 5*a + 235 = 5*t. Is t a multiple of 17?
True
Let h(v) = -v + 19. Is h(14) even?
False
