1676. Is 3 a factor of n?
False
Let v(d) = -7*d - 2. Let o be v(-1). Suppose 0*s - 4*s + 4*b + 28 = 0, 4*s - 73 = -o*b. Does 3 divide s?
True
Suppose h + 5*t = 14, 0 = -5*h - 3*t - 16 - 2. Let q(x) = -51*x - 33. Is q(h) a multiple of 21?
True
Suppose 84 = 7*y - 5*y. Suppose 6*i + 12 = y. Suppose 5*s = w + s - 84, -2*s = -i*w + 330. Is w a multiple of 16?
True
Suppose -10*m = -6*m + 32. Is 16 a factor of 4 + 93*m/(-12)?
False
Is 3 a factor of (0 + 9/(-2))/(17/(-340))?
True
Let b(o) = 5*o**3 - 20*o**2 - 14*o - 8. Is b(5) a multiple of 6?
False
Let j(b) = b - 11. Let g be j(7). Let v be 772/16 - (-1)/g. Let s = -31 + v. Is s a multiple of 8?
False
Suppose -1 - 7 = -2*p, -5*p - 405 = -5*k. Suppose -k - 317 = -3*u. Does 9 divide u?
False
Suppose 0 = -4*n + 5 - 1, -m = 3*n - 131. Is m a multiple of 7?
False
Suppose -73 = -2*y - v, -120 = -3*y - 3*v - 2*v. Does 19 divide y?
False
Let z = -780 - -1195. Is z a multiple of 45?
False
Is 3 a factor of 15/(-2)*(-23936)/408?
False
Let l = -602 - -887. Is 12 a factor of l?
False
Suppose 3*l = 3*k - 18, 5*k + 4*l - 5 + 2 = 0. Let p(w) be the first derivative of w**3/3 - 2*w**2 + 8*w + 68. Is 5 a factor of p(k)?
True
Let x(h) = h**2 + 9*h - 10. Let a be x(-12). Does 4 divide a/1 + -4 - (-1 + 3)?
True
Let a(u) = u**2 + 13*u + 9. Let w be a(-10). Let g = 39 + w. Is 14 a factor of (-21)/2*(-48)/g?
True
Let c(k) = -72*k - 730. Is 123 a factor of c(-38)?
False
Let c(m) = -19*m**3 - m**2 - 4*m - 3. Is c(-3) a multiple of 46?
False
Suppose -6 = 6*a - 0*a. Let j be ((-2)/(-4))/(a/(-10)). Suppose 0 = -j*w - 0*w + 25, 2*w = -4*v + 82. Is v a multiple of 13?
False
Let m(n) be the second derivative of 19*n**3/2 + 11*n**2 + 28*n. Does 25 divide m(4)?
True
Is 10 a factor of 637 + 10 + -2 - (-1 - 4)?
True
Let t(p) = 2*p. Let o(g) be the second derivative of g**4/6 + g**3/2 + g**2 + 2*g. Let m be o(-2). Is t(m) a multiple of 4?
True
Suppose 76 = 16*y - 54*y. Let l(n) be the second derivative of -47*n**3/6 - 2*n**2 + n. Is 37 a factor of l(y)?
False
Suppose -4*l = -3*g, l - 5 = -5*g + 6*l. Suppose -g*p + 2*p + 5*q = -8, -20 = 5*q. Is 3/9 - 70/p a multiple of 4?
True
Let o(z) = 33*z - 36. Is o(3) a multiple of 3?
True
Let g be (-30)/(-6) + 9/(-3). Is ((-100)/15)/(g/(-30)) a multiple of 20?
True
Let t be (16/(-4) - 4) + -1. Let a = 25 + t. Does 4 divide a?
True
Does 22 divide (-3)/(49304/(-6160) - -8)?
True
Let r(k) be the third derivative of k**6/120 - k**5/60 - 5*k**4/24 + k**3/2 - 3*k**2. Let n be r(3). Suppose -3*z - 18 = -n*z. Does 3 divide z?
True
Let o be -9*-1*8/(-12). Is 35 a factor of (-36)/(-54) - 836/o?
True
Let o = 137 - 223. Let g = 140 + o. Does 27 divide g?
True
Let z = 647 + -379. Let h = -166 + z. Is 17 a factor of h?
True
Let m be (-55)/44*(-13 - -1). Is 31 a factor of (-6948)/(-45) - 6/m?
False
Suppose 0 = k - 9 + 1. Suppose 6*i = 14*i - k. Suppose q - i - 4 = 0. Is q a multiple of 2?
False
Let c = -1867 + 2662. Suppose 4*y - c = -5*d, -2 = y - 7. Does 31 divide d?
True
Let k(c) = -3*c - 9. Let b(a) = -a**3 - a**2 + 1 + 11 + 9*a + 0*a**2 - 3*a**2. Let m be b(-5). Does 8 divide k(m)?
False
Let q(f) = f**3 + 13*f**2 - 25*f - 10. Does 54 divide q(-10)?
True
Suppose 0 = 5*m - 4*d - 41, 6*m - m - 33 = 2*d. Suppose 5*u - 2*u = 2*u. Suppose -m*t + 6*t - 28 = u. Does 5 divide t?
False
Let d = 1086 + -161. Does 3 divide d?
False
Suppose -6*h - 10 = -11*h. Does 14 divide 100 + h/(-3) + (-8)/6?
True
Let z(v) = 20*v. Let l(o) = -o**2 - 3*o - 1 - 2*o**3 + 5*o**3 - 2*o**3 + 2*o**2. Let p be l(-2). Is z(p) a multiple of 10?
True
Suppose j = 3*y + 242, -3*j + 5*j = y + 84. Is 10 a factor of ((-57)/(-10)*-2)/(16/y)?
False
Suppose -44*d - 4*y + 1784 = -42*d, 4*d - 3592 = -2*y. Is 18 a factor of d?
True
Suppose 4*c - 616 = -4*p + 256, 215 = c + 2*p. Is 33 a factor of c?
False
Let q(l) = -l**3 + l**2 + 5*l - 3. Suppose -2*i = 3*n - 6*i - 1, 0 = 4*n + 2*i - 16. Let s be q(n). Is 7 a factor of (s/7)/((-1)/14)?
False
Let o = -4 - 3. Suppose -68 = -5*t + 52. Let i = o + t. Is i a multiple of 17?
True
Let v be (-35)/20 + 1 + 9234/24. Let r be -1 + 2 + 319 + -2. Suppose -194 - r = -4*m + 5*k, -3*m + 4*k + v = 0. Does 36 divide m?
False
Let b = -167 + 491. Is b a multiple of 27?
True
Let a be (1 + -5)/(-4)*2. Suppose a*r + i = 225, -r + 0*r + 108 = -i. Is r a multiple of 5?
False
Let u = 199 - 32. Let f = 73 + u. Does 40 divide f?
True
Does 8 divide (66/(-4))/(25/(-550))?
False
Let v(a) = a + 3. Suppose x + 3*q + 1 = -2, -20 = 5*q. Let s be v(x). Let w = s - 8. Is 3 a factor of w?
False
Suppose 0*m - 67 = -m. Suppose 0 = -2*v + 4. Suppose -r - 3*x + m = 0, v*r = x + 2*x + 89. Is r a multiple of 26?
True
Let m = -10 + 38. Does 22 divide m/6*(0 + 9)?
False
Does 33 divide 921*(-4 - -14 - 9)?
False
Let g be (-160)/(-88) + (-4)/(-22). Suppose 0 = -4*k - g*a + 2 + 32, -2*k + a = -23. Is k a multiple of 2?
True
Suppose 0 = 3*b - 4*j - 28, 2*b + 4*j = -2*b. Suppose -b = -o, -5*o = -w + 16 + 7. Does 14 divide w?
False
Let r = 2933 + -1620. Does 50 divide r?
False
Suppose -2*n - 4*w = -100, 2*n + 3*w - 85 = 20. Is n a multiple of 20?
True
Let d(s) = -3*s**3 - 2*s**2 - 4*s + 19. Is 7 a factor of d(-4)?
False
Let h = 103 - 96. Is (h/(-22 + 8))/((-2)/992) a multiple of 62?
True
Suppose 21400 = -15*p + 20*p - x, -5*p + 21400 = -4*x. Is p a multiple of 40?
True
Suppose 3*r = 6*r + 4*i + 22, 5*r - 3*i = -56. Let h(j) = -j**2 - 13*j - 16. Is 7 a factor of h(r)?
True
Suppose -4*g - 2*j = -18, 0*g - j = -3*g + 6. Suppose 8*c = g*c + 160. Is c a multiple of 16?
True
Let l be -5*(4 - (-20)/25). Let h = 84 - l. Is 26 a factor of h?
False
Suppose -6 = 23*d - 26*d. Suppose -55 = -d*u - 4*m + 47, -4*u + 243 = -5*m. Does 8 divide u?
False
Let l = 22 - 22. Suppose 3*i - 26 - 94 = l. Is 8 a factor of i?
True
Let f = 1033 + -985. Is f a multiple of 24?
True
Let w be (-11)/44 + 169/4. Suppose -15*l - w = -17*l. Does 7 divide l?
True
Suppose -5*n + 0*n = -2*b + 827, -4*n = 5*b - 2084. Does 8 divide b?
True
Suppose -y = -4*j - 5, -4*y + 6 = -5*j + 3*j. Let t be ((-10)/(-15))/(y/6). Suppose -5*v - 2*m + 116 = -0*m, t*v + m = 94. Is 9 a factor of v?
False
Suppose -5*s + 2*r + 5542 = 0, -4*s + 5*r + 1014 = -3406. Is 20 a factor of s?
False
Let b = 49 + -1. Let p = 85 + b. Is 18 a factor of p?
False
Let s(t) = t**3 + 8*t**2 + 5*t - 5. Let n be s(-8). Let w be (4/(-6))/((-1)/n). Let i = w + 47. Does 5 divide i?
False
Let j(b) = -b**2 + 3*b + 12. Let n be j(5). Suppose 4*a + 2*i + n*i - 700 = 0, -5*a = 4*i - 874. Is 22 a factor of a?
False
Suppose -2 + 8 = -3*l. Suppose -o + 7 = h, 0 = 3*o - h - 5. Is -3 + (-93 + o)/l a multiple of 21?
True
Suppose -4*n - 17 = 5*r, -n - 4*n + 2*r = -20. Suppose 2*y - 484 = 6*h - n*h, -2*y - 5*h = -448. Is y a multiple of 13?
True
Let v(s) = -s**3 - 7*s**2 - s - 3. Let p be v(-7). Suppose 5*b + 199 = 3*n, -141 = -2*n - b - p*b. Suppose 0*r + n = 2*r. Is 11 a factor of r?
False
Let m be (-15)/(-12) + 2/(-8). Is m - (6 + -41 - (-1 + 0)) a multiple of 3?
False
Let q be (-480)/25 - (-1)/5. Let y(x) = -x**2 - 27*x - 42. Is y(q) a multiple of 10?
True
Suppose -4*b + 5*b = 0. Is 21 a factor of (b - 5 - -110)/1?
True
Let v(t) = 101*t + 720. Does 9 divide v(-7)?
False
Suppose -5*j + m = -m - 2397, 5*j = -2*m + 2393. Suppose 249 = 4*i - j. Is 18 a factor of i?
False
Let c(w) be the second derivative of -5*w**3/6 + 3*w**2/2 - w. Suppose 13*o + 15 = 8*o. Is 5 a factor of c(o)?
False
Let z(g) = 25*g**2 - 131*g - 741. Is z(-6) a multiple of 11?
False
Suppose 2*i = -5*i + 189. Let b = 58 - i. Is 5 a factor of b?
False
Let d = 794 - 165. Does 8 divide d?
False
Suppose 0 = 2*a - 304 - 432. Is 6 a factor of a?
False
Let y be 30/(-2) - 2/2. Let d = y + 2. Let q(p) = -p**2 - 14*p + 17. Is 13 a factor of q(d)?
False
Suppose -5*n + 0*n + 470 = 5*f, 0 = f - n - 102. Let m = -42 + f. Does 14 divide m?
True
Let b(y) = y**3 + 6*y**2 - 7*y + 1. Suppose -8 = -2*m + 2. Suppose 0 = m*s - 3*i + 42, 4*s + 44 = 3*i + 2*i. Does 9 divide b(s)?
False
Let c be (-2 + (-92)/8)*(-42)/(-9). Suppose -411 = -8*n + 5*n. Let v = c + n. Does 36 divide v?
False
Suppose 0 = 3*x - 8*x + 15. Suppose -x*c - 4*m + 155 = -179, -3*c + 3*m = -327. Is c a multiple of 11?
True
Suppose 0 = -p - c + 8, 3*p = 4*c - 0*c - 4. Let n be p*-1 + (13 - 5). Suppose 0*h - 5*z = -5*h + 490, n*z - 408 = -