112. Does 11 divide i?
False
Suppose -w + 0*w + 47 = 0. Let g = w - 17. Does 10 divide g?
True
Let x = -6 + 6. Let g be (x - (1 - 2))/(-1). Let c(h) = -9*h**3 + h**2 - h - 1. Does 10 divide c(g)?
True
Let y = 33 - 97. Is 12 a factor of (y/24)/((-4)/54)?
True
Suppose 117 - 22 = 5*w. Let f = w - 4. Is 4 a factor of f?
False
Suppose 4*f + 40 = 3*j, 2*j - 27 = 3*f - j. Let k = 7 + f. Is -2*1/(k/57) a multiple of 7?
False
Let h = 18 + -8. Let t = h - 16. Is 1/(-3) - 86/t a multiple of 12?
False
Let j(h) = 4*h + 5. Let s be j(-11). Let r = 71 + s. Does 16 divide r?
True
Let j = -9 + -1. Let u = j - -15. Suppose g + 21 = r + 2*g, -u*r + 3*g = -137. Is r a multiple of 9?
False
Suppose -5*c + 6 = -2*u - 30, -4*c - u = -34. Is c a multiple of 4?
True
Suppose 3*k = -3*n - 30, -5*n - 30 = -k - 4*k. Is 9 + (n - (0 + -4)) a multiple of 3?
False
Is 4 a factor of 16/5*5/2?
True
Let i(d) = -2*d**3 - 6*d**2 - 3*d + 2. Does 26 divide i(-5)?
False
Suppose -3*x = 2*n - 4*x - 35, -3*n + 2*x = -55. Does 3 divide n?
True
Let r be 2 + 0 + (3 - 2). Let o be (r/(-6)*-4)/2. Is 12 a factor of -1*(-37 + 0 + o)?
True
Let n(y) = y**3 + 4*y**2 + 5*y + 2. Let t be n(-3). Let u be -1 - (3 - t/(-1)). Suppose u*x - 32 = -4*x. Is 8 a factor of x?
True
Let u(m) = -m**3 - 4*m**2 - 3*m. Let c = 2 + 7. Let i(y) = -y + 5. Let g be i(c). Is u(g) a multiple of 7?
False
Let k(b) = -16*b + 10. Let z be k(5). Let q = 108 + z. Does 24 divide q?
False
Suppose 4*m = 7*m - 36. Let b = 22 - m. Does 8 divide b?
False
Let s(r) = 17*r - 50. Let j(d) = 6*d - 17. Let z(m) = -11*j(m) + 4*s(m). Is z(10) a multiple of 2?
False
Let k = -3 - 2. Suppose 7*v - 6*v = -3. Is (-80)/v*(-6)/k a multiple of 16?
True
Let b(x) = -10*x - 4. Let n be b(-3). Let l = -12 + n. Is 14 a factor of l?
True
Is 7 a factor of ((-14)/(-4) - 2)/(4/112)?
True
Let y = 11 + -6. Suppose 96 = 4*m + 3*l + 2*l, -y*m + 3*l = -157. Is 16 a factor of m?
False
Let z = 9 - 0. Is 12/54 - (-43)/z a multiple of 2?
False
Suppose 0 = 2*a + 6, v + a = -32 - 14. Let g = -25 - v. Does 5 divide g?
False
Suppose -s + 2*c + c - 8 = 0, 5*s + 5*c = 40. Suppose 2*r - 2 = s. Suppose -2*k + 3*a = -2 + 3, 0 = -k + r*a - 8. Is 7 a factor of k?
True
Let v(b) = -b**3 - 9*b**2 + 12. Does 10 divide v(-9)?
False
Let k(b) = 17*b**2 - 3*b - 2*b + 20*b + b**3 + 18. Is 17 a factor of k(-16)?
True
Suppose 4*a - 45 = 51. Suppose -a = -5*u + 76. Does 10 divide u?
True
Let i(l) = -4*l - 2. Let g be i(-3). Let h(o) = -o**3 + 11*o**2 - 7*o - 4. Is h(g) a multiple of 14?
False
Let y(c) = -c**2 - 5*c + 1. Suppose -30 = 4*b - 2*z, 0*b - 5*z = b - 20. Let x be y(b). Is (-1 - x) + 4/1 even?
True
Let a = 540 + -147. Is a a multiple of 11?
False
Suppose 672 = -u + 3*u. Does 28 divide u?
True
Let w(k) = k**2 - 2*k + 2. Let i be w(3). Let d be i/((4/54)/2). Suppose y - d = -2*y. Is y a multiple of 17?
False
Let q be (8/(-10))/(6/(-165)). Suppose -142 + q = -5*f. Is 24 a factor of f?
True
Suppose -b = 1 - 5. Suppose -b*t + 23 = a, 3*a - 9 = -4*t + 2*t. Does 3 divide t?
True
Let v(b) = 38*b**2 + 8*b + 6. Let o(t) = -13*t**2 - 3*t - 2. Let q(s) = 17*o(s) + 6*v(s). Is q(2) a multiple of 24?
True
Let c = -3 - 9. Let q = 4 + -6. Is (-9)/c*(q + 6) a multiple of 2?
False
Let f(g) = -12*g + 2. Let h be f(4). Does 29 divide 2*-2 - -1 - h?
False
Let w(d) = -d**2 - 3*d + 4. Let x be w(-4). Suppose 3*a - 3*z - 34 = -z, x = -5*z - 25. Is a a multiple of 8?
True
Let n be (-2)/7 - 2/(-7). Let l be (-4)/6 + 150/9. Let a = n + l. Is a a multiple of 9?
False
Let d(f) = -6*f - 9. Let s(l) = -12*l - 18. Let c(n) = 5*d(n) - 2*s(n). Does 15 divide c(-7)?
False
Let d = 6 - 6. Does 6 divide (d - 1)*(-14 + 2)?
True
Suppose -109 = -f + 5*m, 0 = -6*f + f - 3*m + 657. Does 36 divide f?
False
Suppose 40 = p - 0*p. Is p a multiple of 12?
False
Let f = -9 + 17. Let b(c) = 2*c + 3. Does 19 divide b(f)?
True
Suppose -5*w + w = -16. Suppose 4*t - 100 = -3*s, -5*s + 46 = t + w. Suppose 4*d - 18 - 15 = -3*q, t = 2*q + d. Does 11 divide q?
True
Let v(n) = n**2 + 1. Let d(m) = -4*m**2 - 9*m - 3. Let b(s) = -d(s) - 5*v(s). Does 6 divide b(5)?
True
Suppose 4*k - 19 = 3*l, 2*l - 3*k + 9 = -3. Let y = l - -4. Let c = 25 - y. Is 15 a factor of c?
True
Let o be 1/4 + (-43)/(-4). Let j = o + -7. Let g(k) = k**3 - 4*k**2 + 4*k + 1. Is g(j) a multiple of 9?
False
Suppose -x + 2*x - 33 = 0. Does 6 divide x?
False
Let j(u) be the third derivative of u**5/60 - 5*u**4/12 + 10*u**3/3 - 10*u**2. Does 11 divide j(12)?
True
Suppose -k = r - 147, -14*k + 3*r + 588 = -10*k. Is 47 a factor of k?
False
Let z be 1*(4/2 - -1). Suppose 167 = 3*a - 4*k + 8*k, -225 = -4*a - z*k. Is 19 a factor of a?
True
Suppose 4*z - 60 = 2*z - r, -4*z + 4*r + 96 = 0. Is z a multiple of 7?
True
Suppose 2*p + 3*x - 6 = 18, x + 8 = 2*p. Suppose -3*r = -30 - p. Does 12 divide r?
True
Let a(z) be the third derivative of -z**5/60 - z**4/6 + 2*z**3/3 + 4*z**2. Is 3 a factor of a(-4)?
False
Is (4/(-10))/(11/(-1320)) a multiple of 13?
False
Let u = -15 - -34. Does 19 divide u?
True
Suppose -4*i - 7 = -4*l - 23, 5*i - 25 = 4*l. Is 6 a factor of i?
False
Let l = -61 + 247. Does 31 divide l?
True
Is (-336)/36*(-2 + -1) a multiple of 14?
True
Let u be (-76)/(-12) + 1/(-3). Suppose 80 = 3*n - 4*p + u*p, n - 2*p - 16 = 0. Is n a multiple of 12?
True
Let h = -13 - -17. Is 4 a factor of h?
True
Suppose 0 = -5*y + 1101 - 156. Is 18 a factor of y?
False
Let d be 14/(-49) - 4/(-14). Suppose 5*j = 3*t - 24, d*j - 5*j = -15. Is t a multiple of 6?
False
Let u = 67 - -68. Is u a multiple of 15?
True
Suppose 3*t - 34 = -i, 4*t + 7*i = 2*i + 38. Let h = t - 20. Let l(p) = -4*p + 4. Does 16 divide l(h)?
False
Let g(s) = -3*s + 3. Is g(-7) a multiple of 7?
False
Let b(q) = -q + 6. Let f be b(6). Suppose f = -v - 1, -4*g + v - 3*v + 62 = 0. Is 8 a factor of g?
True
Let v = 29 - 19. Does 4 divide v?
False
Let p = -2 - -1. Let w = 5 + p. Does 2 divide w?
True
Suppose 0 = -5*i + i + 176. Suppose -5*c = -2*j - 25, -j - 3*c - 30 = -2*c. Let x = j + i. Does 12 divide x?
False
Let d = -9 + 3. Let b = -4 - d. Suppose b*k - 7 = k. Is k a multiple of 7?
True
Let x(y) be the second derivative of y**4/12 - 2*y**3/3 + 5*y**2/2 - 3*y. Is x(5) a multiple of 5?
True
Suppose 0 = -5*d + 2*j + 156, -5*d + j + 158 = -0*d. Is d a multiple of 11?
False
Let s = -15 - -3. Let p(d) = d**3 + 11*d**2 - 10*d + 10. Let f be p(s). Let j = f - -48. Does 10 divide j?
False
Let a = -84 - -114. Is 30 a factor of a?
True
Let z be (-1412)/(-24) - 1/(-6). Suppose z + 17 = 2*o. Is o a multiple of 16?
False
Let w be -2 + 1*(-1 - 2). Let r be (12/w)/((-2)/(-35)). Let f = 73 + r. Is f a multiple of 14?
False
Suppose -2*q - 2*u + 126 = 0, -218 = -3*q + 3*u - 47. Does 7 divide q?
False
Let q(i) = -2*i - 6. Let o be q(-4). Suppose u = o*v - 1, 10 + 21 = -3*u - v. Let z(t) = -t**2 - 13*t - 11. Is z(u) a multiple of 19?
False
Suppose -5*r + 2*r - 39 = 0. Let d(c) = c**3 + 6*c**2 + 3*c + 2. Let x be d(-3). Let f = r + x. Is 3 a factor of f?
False
Let t be (-4)/(-10) + 46/10. Let n(v) = v - 11. Let b be n(9). Let f = t + b. Is f a multiple of 2?
False
Let d(j) = j**2 + 5*j - 1. Let i be d(-6). Suppose -n + 4*z - 65 = -2*n, -i*z = -10. Is n a multiple of 19?
True
Let a(x) = x**2 - 8*x + 3. Let n be a(9). Suppose 0*d = 2*h + 2*d + n, 0 = 4*h - 4*d - 8. Is 4/(1 + h/3) a multiple of 10?
False
Let v(w) be the first derivative of -w**4/4 + 8*w**3/3 - 7*w**2/2 + 7*w - 3. Is 19 a factor of v(6)?
False
Let y = 30 + -25. Let x = y + 15. Is 20 a factor of x?
True
Suppose -2*v + 20 = 6. Is v a multiple of 5?
False
Suppose 3*h - 1 = 5*s, -3 = -3*h + 2*h - s. Let c be 77 + (-4 - (-4 + h)). Suppose m = -2*m + c. Is m a multiple of 25?
True
Let z(t) = 2*t**2 + t - 12. Does 11 divide z(6)?
True
Let a = 127 - 79. Is a a multiple of 16?
True
Let s(d) = -14*d + 8. Let a be s(6). Let i = -46 - a. Does 17 divide i?
False
Suppose -6*z + 2*z - 4*h + 68 = 0, -3*z - 4*h = -55. Let s = z + -5. Suppose y - 9 = s. Does 17 divide y?
True
Let q = 6 + -3. Is 4 a factor of -7*(q + 99/(-21))?
True
Let z(h) = h**3 - 3*h**2 + 2. Let u be z(3). Suppose 5*q = 2*q + 36. Suppose 3*m = u*t + 12, -2*m + m + q = 2*t. Is m a multiple of 6?
True
Let a be 22/6 - 4/6. Suppose -a*k + 5*k - 6 = 0. Suppose -4*o = 5*z - 42, -k*o - 2 + 41 = 5*z. Is 3 a factor of z?
True
Let p = 162