Let u(y) = y + 119. Is u(-8) a multiple of 25?
False
Suppose -150*i = -147*i - 402. Is i a multiple of 25?
False
Suppose 5 = -2*v + 9, -3*i + 12601 = 2*v. Is i a multiple of 12?
False
Suppose 43*w = 53037 + 47196. Is 71 a factor of w?
False
Let g(q) = 3*q**2 - 5*q - 4. Suppose v + 3*v = -4*j + 24, 4*j = -8. Let k be g(v). Suppose 3*l = -l + k. Does 11 divide l?
False
Let u(d) = -3*d**2 + 2 - d**3 - 12*d + 2*d**3 + 1 + 15*d. Let j be u(3). Let r(z) = z**2 - 8*z. Is 24 a factor of r(j)?
True
Let o(c) = -65*c - 621. Does 6 divide o(-11)?
False
Let q = -32 + 36. Suppose 0 = y + 2*i - 25, -5*i + 76 = q*y - 9. Does 7 divide y?
False
Let n = 2 + 15. Let l = 20 - n. Suppose b - l = 5. Is 3 a factor of b?
False
Suppose -l + 3*r = -692, -9*l - 2*r - 2758 = -13*l. Is l a multiple of 48?
False
Is 41 a factor of 2 - (-360)/(-171) - 40512/(-38)?
True
Let j(z) = 137*z - 32. Is 11 a factor of j(3)?
False
Suppose -5*p = -2*h + 5, 2*h - 2*p + 22 = 6*h. Suppose 18 = h*j - 2. Suppose -2*a = 4*s - 240, 0 = 4*s - s - j*a - 180. Is 15 a factor of s?
True
Suppose -5*u + 326 + 679 = 0. Let p = u + -139. Is 31 a factor of p?
True
Suppose w + 2*f - 246 = 0, -3*w - 4*f - 214 + 952 = 0. Does 82 divide w?
True
Let l(f) = 3*f**2 - 13*f + 17. Let g be l(6). Let x be ((-18)/(-4))/(12/80). Let d = g - x. Is d a multiple of 6?
False
Suppose 0 = -5*b - 2*j + 2502, -494 = -0*b - b - 2*j. Is 27 a factor of b?
False
Let c = -1520 - -2290. Does 10 divide c?
True
Suppose 2*a - 4*x - 672 = -2*x, 2*a + 4*x = 690. Does 7 divide a?
False
Suppose p - 2*p + 58 = 0. Suppose -3*f + f = -p. Suppose t = 10 + f. Does 13 divide t?
True
Let a = 136 - 67. Let o = 13 + a. Is 23 a factor of o?
False
Let m = 1228 + -772. Is m a multiple of 26?
False
Let k(o) = -3*o + 25. Let n(l) = -2*l - 37. Let s be n(-6). Does 10 divide k(s)?
True
Let c(z) = 74*z + 151. Is 83 a factor of c(26)?
True
Suppose -y + 5*i = -0*y - 14, i = 3*y. Let k be (1 + 0 + -2)*-7. Let t = k + y. Does 3 divide t?
True
Suppose 5*a = 0, 3*m - 5*m + 104 = -a. Suppose m = -o - 2*t, 2*o + 5*t + 100 = -0. Let b = 91 + o. Is b a multiple of 16?
False
Let y = 248 - 88. Is y a multiple of 16?
True
Suppose -4*j = -9*j + 195. Let u = j + 14. Suppose -5*c + u = -142. Is c a multiple of 13?
True
Let k be 0 + 1 + -4 - -2. Let i(p) = -8*p + 6. Let o be i(3). Is o/(-5)*(k + 6) a multiple of 5?
False
Suppose -t = 3*t - 16. Suppose 2*b + 402 = t*s, -5*s + 220 = b - 272. Is 9 a factor of s?
True
Suppose g + 2*g - 201 = 0. Let y = g + -41. Suppose -3*b = -y - 10. Does 12 divide b?
True
Let g(j) = 38*j + 23. Is 9 a factor of g(2)?
True
Suppose 9*d = 10*d - 64. Suppose -5*q = t - d, q - 6*q + 420 = 5*t. Is 22 a factor of t?
False
Let y(c) = 6*c**2 - 5*c + 6. Let k(z) be the third derivative of 17*z**5/60 - 2*z**4/3 + 19*z**3/6 - 6*z**2. Let t(m) = 4*k(m) - 11*y(m). Does 7 divide t(7)?
False
Let v(a) = -17*a**3 - 5*a**2 - a + 2. Let f be v(-2). Let p = f + -16. Is p a multiple of 13?
True
Suppose 25 = -8*i + 13*i. Suppose 0 = 2*v - i*v + 135. Is v a multiple of 18?
False
Let d = 39 - 35. Suppose -s = -3*s + i + 47, 92 = d*s - 4*i. Let x = s - 10. Is x a multiple of 4?
False
Let a(n) = n. Let s be a(6). Suppose -f + 1235 = -s*f. Let o = -161 - f. Is o a multiple of 22?
False
Suppose 3*v + 1882 = 4*f + 419, 3*f = v + 1096. Is f a multiple of 19?
False
Let f(p) = 3*p**2 - 8*p - 5. Let a be f(6). Suppose -288 + a = -u. Let w = -153 + u. Is 23 a factor of w?
False
Suppose -3*y - 1267 = -4*l - 48, -4*y = -3*l + 916. Does 16 divide l?
True
Let j(m) = m**2 + 10*m - 9. Suppose 0 = k - 0*k - 6. Let p be -3*(-2)/k*-12. Is j(p) a multiple of 12?
False
Let g(l) = -l**3 - 7*l**2 + 22*l + 25. Does 10 divide g(-10)?
False
Suppose 2*g - 1266 = 2*x, -g + 5*x + 279 = -342. Does 16 divide g?
False
Let b(j) = j**2 - 5*j + 2. Let c be b(5). Let s(f) = 6 + f + c*f + 0*f. Is s(7) a multiple of 7?
False
Let y be 12*1*2/(-4). Let v(q) = q**3 + 1625*q**2 - 6*q + 3 - 1 - 1620*q**2. Is v(y) a multiple of 2?
True
Let h(w) = 2*w**3 - 52*w**2 + 77*w + 10. Does 38 divide h(25)?
False
Let c be 1/8*4*4. Suppose 0 = -14*f - c*f + 6864. Is 48 a factor of f?
False
Suppose 557 = 8*o + 69. Does 8 divide o?
False
Let h(v) = v**2 + 8*v + 14. Let y be h(-6). Suppose -y*d - 33 = -3*d. Is d a multiple of 28?
False
Does 14 divide ((-1)/12)/(-1) + (-31217)/(-228)?
False
Suppose 10 = 5*d - 4*d. Let b = -10 + d. Suppose b = 3*o - 5*o + 42. Is 18 a factor of o?
False
Does 21 divide (2/(-8))/(((-40)/4)/18040)?
False
Let d be 0/((-4)/(-4 + 8)). Does 13 divide d + (-2)/(-3) + (-1864)/(-12)?
True
Let n(v) = 2*v + 6. Let r be n(-4). Let c be (6/(-12))/(r/8). Suppose -c*x + 8 + 16 = 0. Does 12 divide x?
True
Let z(r) = r**2 - 8*r + 10. Let k be z(5). Let l(p) = -2*p**3 - 9*p**2 - 10*p - 12. Is l(k) a multiple of 9?
True
Suppose 7*g - 3251 = -1179. Does 8 divide g?
True
Let j = 2 - -1. Suppose 0 = x - j*x. Suppose 5*n - 2*z - 31 = -x*n, -5*n = 3*z - 41. Is n a multiple of 3?
False
Let u(q) = 22*q + 39. Let i be u(11). Suppose -t + 0*t - 183 = -2*p, 3*p + 5*t - i = 0. Is 23 a factor of p?
True
Let l(y) = -y**3 + y**2 - 5*y - 4. Let f = 6 + -9. Is 11 a factor of l(f)?
False
Let k(d) be the second derivative of -19*d**3/6 - d**2/2 + 3*d. Let i be k(6). Let n = i - -167. Is 14 a factor of n?
False
Suppose 62*q + 36045 = 77*q. Is q a multiple of 89?
True
Suppose 9*q - 3 = -3. Suppose -96 = -3*w - 6*g + 2*g, -5*w + g + 183 = q. Is 35 a factor of w?
False
Let u = -1238 - -2136. Is 11 a factor of u?
False
Suppose 2*g - 322 = -2*w, -4*g - 5*w = -6*g + 322. Is 52 a factor of g?
False
Suppose 3*j - 3*n - n = -11, -9 = 3*j - 3*n. Let t(x) = -48*x - 2. Is t(j) a multiple of 13?
False
Let d be -10 + 6 + 0 - (-418)/2. Suppose -2*c - d = -7*c. Is c a multiple of 6?
False
Let t be (-3 + 2)*-1*5. Let k(s) = 15*s - 3. Is 16 a factor of k(t)?
False
Is 19 a factor of (-1 + 23/4)/(30/120)?
True
Let m(s) = s**3 + s + 3. Let k be m(0). Suppose -l = 5*c - k*c - 11, c - 3 = -l. Is 308/6 + c/12 a multiple of 13?
True
Does 24 divide 8/10 - (-118028)/190?
False
Let m = 2494 - 1534. Is m a multiple of 40?
True
Suppose -3*b = 5*d - 9, -2*d = 3*d - 2*b - 19. Suppose 6 = t + d. Suppose 3*q = 2*q + z + 15, 0 = -4*q - t*z + 95. Does 20 divide q?
True
Let j be (-4)/10 + 162/30. Suppose -4*u - j = -17. Does 15 divide (-6)/(-9)*14*u?
False
Let h be 2220/45 - (-2)/3. Let o = -80 + h. Let z = 7 - o. Does 16 divide z?
False
Let k be 1/((-2)/(-184)*1). Let d = -11 + 15. Suppose -d*t - 12 = -k. Does 5 divide t?
True
Suppose 3 = -r + 3*k, -k + 1 = -5*r - 0. Suppose 2*z + 5*d - 435 = r, -228 = -4*z + 2*d + 678. Is z a multiple of 45?
True
Is (-42 + 1)*(-8 - -96)/(-8) a multiple of 41?
True
Suppose 1882*i - 1881*i = 757. Is 10 a factor of i?
False
Let v(b) = 4*b**2 - 8*b + 4. Let a be (40/(-12))/(2/3). Is 9 a factor of v(a)?
True
Let s = 35 - 15. Let d be (-592)/s*10/(-4). Let c = d - 23. Is c a multiple of 17?
True
Suppose 9*q + 4 - 31 = 0. Is (-3896)/(-12) + q/9 a multiple of 43?
False
Suppose 0 = 4*g - 2*d - 28, g + 4*d + 6 + 5 = 0. Let h = -1 + g. Suppose -7*o = -h*o - 72. Is o a multiple of 18?
False
Let l be (-54)/(-8) + (-4)/(-16). Let r be (-6 + l)*(-13 - 0). Let t = 1 - r. Is 3 a factor of t?
False
Let z be -1*(3 - -13)/(-4). Let r(m) = -3*m - 3*m + 5*m - z. Does 2 divide r(-11)?
False
Suppose -3*g + 2*y = -117 + 29, -118 = -4*g + 2*y. Suppose s + 5*l = 1 - g, 106 = -3*s + 4*l. Is ((-14)/(-14))/((-2)/s) a multiple of 6?
False
Let y(h) = -h + 3. Let w be y(3). Suppose 1 = -q - w. Is 10 a factor of (22 - (-1)/(-1)) + q?
True
Suppose -6*j = -3*j. Suppose z - 71 - 39 = j. Let s = z + -60. Does 9 divide s?
False
Suppose 66 = 5*p - 94. Is 16 a factor of p?
True
Suppose 10*f + 7*f - 4930 = 0. Does 6 divide f?
False
Is (-12 - -5)/(6/(-474)) a multiple of 26?
False
Does 28 divide (88/55)/((-2)/(-245))?
True
Is (-4)/(128/(-5208))*8 a multiple of 14?
True
Let o(n) = n - 2*n + 3*n + 3*n**2 - 2. Let f be -5*(3/(-5))/(-1). Is 8 a factor of o(f)?
False
Let o(f) = f + 9. Let a be o(7). Let t = -14 + a. Suppose 100 = 3*s + t*b, 0*s - b - 40 = -s. Is s a multiple of 13?
False
Suppose -2*h + 4 = 5*x - 3*x, 0 = -4*x - 5*h + 8. Suppose -x*t = -5*t, -4*t = d - 53. Is 25 a factor of d?
False
Let m(v) = 17*v**3 - 5*v**2 + 3*v. Let l be m(4). Suppose 6*x - 11*x + l =