3. Does 9 divide d?
True
Let s(b) = -b**3 + 2*b**2 - 42*b + 774. Does 9 divide s(0)?
True
Let n(l) be the third derivative of -5*l**4/24 - 5*l**3/6 + 3*l**2. Let o = -13 + 9. Is 3 a factor of n(o)?
True
Suppose 5*f - 5223 = -4*j, -f = -4*j + 6632 - 1379. Is j a multiple of 82?
True
Suppose 2*i + 3*i = 115. Let q = i - 4. Suppose -q = 3*x - 61. Does 11 divide x?
False
Let h(r) = -r**3 - 8*r**2 - 16*r - 20. Let t(z) = -z**3 - 8*z**2 - 15*z - 19. Let a(w) = -5*h(w) + 6*t(w). Is a(-7) a multiple of 6?
False
Suppose -5*z + 649 = 2*j, -j + 5*z = -288 - 29. Suppose -m = -5*h + 321, -5*h - m + 3*m + j = 0. Suppose 4*c - 8*c = -h. Does 4 divide c?
True
Let d(l) = l**2 - 10*l + 6. Let m be d(8). Let c = m - -10. Suppose -3*z = -c*z - 33. Does 9 divide z?
False
Suppose -4*a - 77 = x, -4*x = 4*a - x + 71. Does 8 divide a/(-30) - 22/(-3)?
True
Suppose 5*t - 2*b + 0*b - 64 = 0, -2*b - 28 = -2*t. Is (-3 - t/(-8)) + 74/4 a multiple of 16?
False
Let b = 153 + -102. Let o = 99 - b. Is 5 a factor of o?
False
Let s(r) = r**2 + 4*r + 1. Let v be s(6). Let c = 1 + 1. Suppose 3*t = -4*k - c*t + 125, t = -2*k + v. Is 10 a factor of k?
True
Suppose 4*x = 3*s - 809 + 3100, 1141 = 2*x + 3*s. Is 22 a factor of x?
True
Let u(d) = -d**2 + 16*d - 13. Let v be u(15). Suppose 8 = -v*q + 40. Is q a multiple of 8?
True
Let r(w) = -w**2 + 27*w - 22. Let d be r(11). Suppose 2*q = -g + 46, -2*q - d = -4*g - 4*q. Is 13 a factor of g?
False
Let n(o) = 497*o**2 - 9*o + 9. Is n(3) a multiple of 20?
False
Let v = -145 + 226. Let l be ((-22)/3)/(18/v). Let o = l + 70. Is 12 a factor of o?
False
Suppose -41*h = 29*h - 1050. Is 15 a factor of h?
True
Let z be ((-5)/3)/((-2)/(-6)). Let m(f) be the third derivative of -f**6/120 - f**5/60 - 11*f**4/24 - f**3/2 + 248*f**2. Does 31 divide m(z)?
False
Let p(n) = 5*n**2 - 12*n + 38. Is 7 a factor of p(4)?
True
Let r(j) = -3*j**2 - j + 290. Is 58 a factor of r(0)?
True
Suppose -3 = 6*n - 7*n. Suppose 5*d + n*z - 694 = 0, -290 = -d - d + 5*z. Does 16 divide d?
False
Suppose 0 = j + 2*t - 1375, -5*t - 5435 = -j - 3*j. Is j/(-10)*2/(-3) a multiple of 5?
False
Let z(x) = -x**2 - 11*x - 10. Let u be z(-8). Let o = u + -44. Let v = o + 42. Is v a multiple of 4?
True
Let v = 97 - 44. Let k = 89 - v. Does 4 divide k?
True
Let g = -36 - -33. Is -39*g/3*3 a multiple of 39?
True
Suppose -3*g + 1 = y - 1, 5*g = 0. Suppose -y*i + 101 = -11. Is i a multiple of 14?
True
Let y = -10 - -10. Suppose -5*c + 5 = y, -3*c - 437 = -3*g - 62. Does 18 divide g?
True
Let m(h) = -h**3 - 11*h**2 - 3*h + 6. Let b be m(-11). Suppose -2*y = b - 167. Is 16 a factor of y?
True
Suppose q + 26 = -2*o - 2*q, 4*o = -2*q - 44. Suppose -810 - 226 = 37*v. Let n = o - v. Is n a multiple of 6?
True
Let m = -51 + 46. Is 22 a factor of (0 - -98) + (-9 - m)?
False
Let z(f) = 2*f + 214. Is z(-16) a multiple of 81?
False
Let r(v) = 4*v**3 + v**2 - v + 1. Let w be (-6)/(-30) - (-117)/15. Suppose 5*y - w = 2. Is 7 a factor of r(y)?
True
Is 40 a factor of (-9 - 290/(-50))/(6/(-1875))?
True
Suppose -24 = -10*m + 6*m. Let n be 3/18 - 25/m. Let j(f) = -f**2 - 9*f - 4. Is 11 a factor of j(n)?
False
Let p = -194 - -262. Does 3 divide p?
False
Suppose -8*n + 5963 = -4333. Does 7 divide n?
False
Let i be -59*1*(12 - 13). Let z = -27 + i. Is 6 a factor of z?
False
Let m = -7 - -14. Let z = m - -4. Let h(l) = 3*l - 15. Is h(z) a multiple of 15?
False
Suppose 5*p + a - 24 - 2 = 0, -4*a = -2*p + 28. Suppose -g + 2*s - 537 = -p*g, 3*g - 5*s - 316 = 0. Is g a multiple of 45?
False
Is (-37)/(-2)*(-13 - -19) a multiple of 49?
False
Suppose 194 = 5*a + 2*f, -4*a + 5*f = 53 - 228. Does 25 divide a?
False
Suppose 0 = -5*o + 9*o - 12. Let r be o/(-21) + 575/7. Let y = r + -46. Is y a multiple of 16?
False
Does 13 divide -13*((-3)/(-1) + 36 + -42)?
True
Is 264 + -203 - (-1)/1*-5 a multiple of 7?
True
Let t(x) = 15*x + 11. Suppose -3*w + 22 = 3*b - 2, -b - 2 = -4*w. Is 17 a factor of t(b)?
False
Let f be 1/(-5) + (-518)/35. Let w be (-1134)/f - (-2)/5. Suppose 3*a = a + w. Is 19 a factor of a?
True
Let m = 159 + 171. Is 22 a factor of m?
True
Let r be 2/(-28)*4 + 900/14. Suppose -h = 4*i + h - r, -27 = -i + 5*h. Does 14 divide i?
False
Let h(c) = 2*c**2 + 3*c + 3. Let b(w) = -w**2 - 2*w - 2. Suppose 0 = 2*l + 4, 6*l - 3*l + 30 = 4*m. Let k(s) = m*b(s) + 5*h(s). Is k(3) a multiple of 11?
False
Let m(l) = l**2 + l. Let a be m(-1). Suppose a*g + 3*g = -135. Is 18 a factor of g/(-6)*(-60)/(-25)?
True
Let o = -51 - -198. Is o a multiple of 7?
True
Let m(g) = -48*g**3 + 5*g**2 - 24*g - 87. Is m(-3) a multiple of 78?
True
Let r(p) = 340*p + 210. Does 30 divide r(3)?
True
Let s(t) = -t**3 + 10*t**2 + 10*t + 15. Let q be s(11). Suppose -3*m + 47 = 5*c, 2*c - q*m + 9 = c. Suppose 6*x + 45 = c*x. Is x a multiple of 12?
False
Is 214*21/(-14)*-3 a multiple of 73?
False
Let y = -169 - -329. Is y a multiple of 32?
True
Let a(d) be the third derivative of -d**5/60 - 7*d**4/24 - d**3/2 + 3*d**2. Let p be a(7). Let y = p + 169. Does 25 divide y?
False
Let m be 3*(-4)/(-18)*9. Suppose -y - m = -12. Is (28/6)/(2/y) a multiple of 6?
False
Let c(h) = h**3 + h**2 - 3*h + 1. Let k(g) = -g**2 - g + 1. Let x(j) = -c(j) + 5*k(j). Is x(-6) a multiple of 16?
True
Let n = 1773 + -1173. Does 60 divide n?
True
Does 10 divide (-13 - -14)*(845 - -5)?
True
Let r = 14 + -8. Suppose 206 = -r*q + 7*q. Suppose -u - u + 4*n + q = 0, 309 = 3*u + 2*n. Is u a multiple of 27?
False
Let d(z) = 134*z - 2. Let i be d(3). Let a = -196 + i. Suppose 8*g - a = 4*g. Is 17 a factor of g?
True
Let g(n) be the second derivative of 0 + 8*n - 5/2*n**2 + n**4 - 1/6*n**3. Is g(-2) a multiple of 9?
True
Let y(p) = 4*p**2 - 3*p - 1. Let s be y(3). Suppose 4 = 5*d - s. Suppose 5*h - 5*m + d*m - 34 = 0, 3*m = 12. Is h a multiple of 3?
True
Suppose -6*a + 4 = -4*a. Suppose a*z + 64 = 6*z. Suppose 9*b = 11*b - z. Is b a multiple of 8?
True
Let u(t) = 11*t**3 + 12*t**2 + 2*t - 53. Is u(5) a multiple of 16?
True
Let z = -33 + 39. Suppose -z*c + 56 = 2. Does 9 divide c?
True
Suppose 0 = -4*f - 40*z + 37*z + 2408, -4*f = 5*z - 2408. Is f a multiple of 7?
True
Suppose -9*i + 11*i - 4*m = 80, 3*m + 108 = 3*i. Does 3 divide i?
False
Let h be 8/204*3 + (-2508)/(-68). Suppose 29 + h = 3*z. Is 3 a factor of z?
False
Let z(k) = 30*k. Let b(h) = 3*h. Let o(g) = -42*b(g) + 4*z(g). Is o(-8) a multiple of 24?
True
Suppose -5*z + 598*n + 3118 = 602*n, -2478 = -4*z + 5*n. Is 4 a factor of z?
False
Suppose 0 = 3*o + 4*x - 2020, 3*x - 6*x = -3. Does 84 divide o?
True
Is (7497/245)/(2/40) a multiple of 23?
False
Let a(v) = v**2 - 16*v - 25. Let l be (-381)/(-18) + -2*1/12. Is a(l) a multiple of 20?
True
Suppose -24 = -44*t + 42*t. Is 8 a factor of ((-42)/12)/((-1)/t)?
False
Suppose 11*r - 2106 = 3944. Is 37 a factor of r?
False
Suppose b - 2*b = 3*a - 33, 10 = -5*a. Does 5 divide b?
False
Suppose -h - 130 = 4*h. Let o = h + 46. Suppose o = j + 3*j. Is 5 a factor of j?
True
Let b(x) = -27*x + 17. Suppose -k + 4 = -2*k. Does 28 divide b(k)?
False
Let u = -379 + 401. Does 17 divide u?
False
Let z(i) = 111*i**2 + 3*i + 2. Let o(t) = -111*t**2 - 3*t - 2. Let q(g) = 5*o(g) + 6*z(g). Is 22 a factor of q(-1)?
True
Let m(o) be the third derivative of 7*o**5/20 - o**4/12 + o**3/2 - 9*o**2. Let j be m(-2). Suppose l = -0*l + j. Is 25 a factor of l?
False
Is 2817/2 + 1 + 726/484 a multiple of 83?
True
Suppose w = 2*k - 722, -4*w - 20 = w. Suppose -3*a = -k + 89. Does 6 divide a?
True
Suppose 0 = -z - 12 - 1. Let j(l) = -l**3 - 13*l**2 - l + 2. Let q be j(z). Does 22 divide (-4)/(-6)*4*q?
False
Let v = 77 + -137. Is (v/(-24))/((-1)/(-24)) a multiple of 16?
False
Let v(j) = 44*j. Suppose 2*r = -4*y - 10, -2*r = y - 0*r + 4. Let x be 2*(y + (-5)/(-2)). Is v(x) a multiple of 11?
True
Let x(l) = -l + 3. Let m be x(3). Suppose m = -6*n + 99 + 243. Is n a multiple of 12?
False
Does 17 divide (366/4)/((-5)/(960/(-36)))?
False
Suppose -5*q = -0*q + 5, -4*q = -y + 129. Is 4 a factor of y?
False
Let h be 220/14 - (-6)/21. Suppose -h + 221 = 5*z. Is 41 a factor of z?
True
Does 9 divide (-72)/(-1)*14/24*3?
True
Suppose 8*g - 2 = 7*g. Let r(s) = 3*s + 35*s**g - 3 + 0*s**3 - s**3 + 0*s - 27*s**2. Is r(5) a multiple of 22?
False
Suppose -11771 = 24*z - 43067. Is z a multiple of 26?
False
Suppose 17*y = 19*y - 2*z - 2458, 