8 - 641. Let q = h - -2891. Is 14 a factor of q?
True
Let i(b) = 52*b**3 - 9*b**2 + 48*b - 38. Is 7 a factor of i(5)?
False
Suppose -2*d + 5*m = 3*d - 1845, -1836 = -5*d + 2*m. Let s = 111 + d. Is 9 a factor of s?
True
Let z = -40 + 89. Let b be 161/z + 4 + 4/(-14). Let p = b - -13. Does 4 divide p?
True
Let n = 3122 + -227. Suppose 3*z - 2885 = -5*k, -3*k = 4*z - z - n. Is 60 a factor of z?
False
Let k = -5179 + 6305. Does 16 divide k?
False
Suppose -3*b + 9503 = -y, 2*b + 15*y = 17*y + 6334. Is 32 a factor of b?
True
Suppose -29*m + 28*m + 4*u + 755 = 0, -2*u = -3*m + 2285. Is 14 a factor of m?
False
Suppose -5*r - 17 = g - 28, 0 = 4*r + 20. Suppose 0*h + 4*h - 16 = 0. Suppose -c + g = 2*l, -c = h*l - 5*c - 72. Is l a multiple of 9?
True
Suppose -947*d + 961*d = 68558. Is 83 a factor of d?
True
Suppose 0 = 4*q - 3*q - 2. Let h be (-33)/q*(-18)/(-27). Let m = 9 - h. Does 9 divide m?
False
Let o(g) = -55*g + 1067. Is 38 a factor of o(-16)?
False
Suppose m + 3*m = -3*g + 6040, 10 = -2*m. Is g a multiple of 6?
False
Let k(s) = 2*s - 19. Suppose 0 = 3*w + g - 40, 4*w - 36 = 5*g - 8. Let z be k(w). Suppose 4*l = h + 272, -59 = -3*l + z*h + 145. Is l a multiple of 11?
False
Let n = 303 + -314. Does 7 divide (107/(-2))/(n/(-88)*-4)?
False
Let p(v) = -3*v + 106. Let c be p(22). Let z = c - -1241. Is z a multiple of 39?
False
Let u(k) = 5*k**2 - 25*k - 20. Suppose 0 = j - 24*j + 276. Does 8 divide u(j)?
True
Let p be 5 - ((-21)/(-1))/7. Suppose -p*t = -4*h + 1116, -5*h - 272 = -6*h + 4*t. Does 18 divide h?
False
Suppose 6*c - 744 = 2*c. Let w = c - 56. Is 13 a factor of w?
True
Let a(g) = -16*g - 113. Let t be a(-7). Is (12087/(-204))/(26/(-24) - t) a multiple of 20?
False
Let r(m) be the second derivative of 49*m**3/3 + m**2 - 2*m + 12. Is r(1) a multiple of 10?
True
Let p(t) = -t**3 + 11*t**2 - 17*t - 5. Let i = -39 + 48. Let m be p(i). Suppose 4*w + 360 = 5*a, -m*w = a + 6 - 78. Is a a multiple of 24?
True
Let m(b) = b + 10. Let n(g) = -2*g - 19. Let p(k) = -9*m(k) - 4*n(k). Let q be p(-14). Suppose 5*t - 145 - 65 = q. Is 8 a factor of t?
False
Let i(m) = 3*m**2 - 578. Let d be i(0). Let q = 1199 + d. Suppose 5*x - q = 3*j, 2*x + 0*j - 240 = 4*j. Is x a multiple of 18?
True
Let j(s) = -8*s + 81. Let t be j(-16). Suppose -2*f - 43 = -3*v + 2*f, v + 3*f - 36 = 0. Let c = t + v. Is c a multiple of 23?
True
Let a(b) = -15*b + 26*b**3 - 27*b**3 + 24*b**2 - 7*b**2 + 45. Let r be a(18). Is (72/5)/(-6 + r/(-90)) a multiple of 9?
True
Suppose 3*v = 4*s - 54 + 156, v - 26 = 4*s. Suppose 0 = -4*w + h - 92 - 24, 3*h = 4*w + 124. Let t = w + v. Is t a multiple of 10?
True
Is 4 a factor of (563859/(-516))/(6/(-16))?
False
Let k(q) = 402*q - 1670. Is 29 a factor of k(32)?
True
Let y(o) = o + 11. Let g be y(-5). Suppose -2*q + g = q + 3*n, 0 = -q + n. Is -12*(((-1)/4)/q - 4) a multiple of 6?
False
Let l = -69 + 124. Suppose 5*d - 15 + l = 0. Let p = 11 - d. Does 11 divide p?
False
Suppose 0 = 95*x - 28211 - 12639. Does 5 divide x?
True
Let y be ((-176)/(-4) - 5) + 3. Suppose y - 350 = -2*k + 2*p, 0 = p - 3. Is 8 a factor of k?
False
Let b(w) = 196*w**2 - 10*w - 296. Does 50 divide b(11)?
False
Suppose 593*a = 597*a - 3*l - 34698, 8697 = a + 3*l. Is 3 a factor of a?
True
Let i(o) = 16*o + 12. Let h(n) = -n**3 - 17*n**2 - 5*n - 80. Let q be h(-17). Is 3 a factor of i(q)?
False
Let f(z) = -5*z**2 - 56*z - 11. Let l be f(-11). Suppose l = -14*r + 61*r - 12925. Is 3 a factor of r?
False
Let y(k) = -27 - 284*k - 14*k**2 + 148*k + 141*k + k**3. Is 8 a factor of y(16)?
False
Suppose 4*r - 8*t = -11*t + 9, 2*t - 6 = -r. Let g(s) = -s**3 - 3*s**2 + 4*s + 369. Does 11 divide g(r)?
False
Let j be (-122)/(-72)*4 - (-6)/27. Suppose 0 = j*h + 2*h - 1170. Is 53 a factor of h?
False
Suppose -f = -3*b - 5638, 6*f = 10*f + 3*b - 22492. Suppose f = 27*i + 2224. Does 6 divide i?
True
Is (-2)/(-3)*21*91220/280 a multiple of 7?
False
Suppose 5*q - 3399 + 10758 = 6*b, 4*q + 3693 = 3*b. Is 2 a factor of b?
False
Suppose -10*z = -12*z + 90. Let w be (-2)/(-3) - 6015/z. Does 13 divide w/(-5) + (-45)/75?
True
Let p(f) = 4*f**2 + 149*f - 3720. Is 11 a factor of p(25)?
False
Let j(o) be the third derivative of -115*o**4/24 - 8*o**3 - 32*o**2 + o. Is j(-2) a multiple of 13?
True
Suppose v - 5 = 0, -3*v + 778 + 421 = 2*j. Is j a multiple of 4?
True
Let c(n) = -8*n + 98. Let v be c(20). Let t = v + 97. Is 7 a factor of t?
True
Let r be (-554)/(-3)*(-3)/12*-12. Suppose 5*w - r = 191. Suppose -i + 90 + 69 = -5*p, 5*p - w = -i. Is i a multiple of 11?
True
Let i be 6*((-52)/(-6) - 2). Let c(y) = 4*y - 107. Is c(i) a multiple of 7?
False
Let m be (2/(-4) + -1)/(4/(-8)). Suppose -7*q + 8*q = 0. Suppose q = -m*j + 146 + 70. Is 24 a factor of j?
True
Suppose 11*d + 34*d - 4*d - 106272 = 0. Is 16 a factor of d?
True
Suppose 8885 = 20*p - 2735. Is 40 a factor of p?
False
Let j = -31 + 38. Let t(m) = m + 5. Let l be t(j). Suppose -3*n - 5*w - l = -95, w + 41 = n. Is n a multiple of 12?
True
Let y(n) = 11*n + 140. Let f be y(-35). Does 32 divide 5 - -9*f/(-7)?
True
Let n(q) = 2*q**2 - 29*q - 3*q**2 + 30*q + 2*q**3 + 1. Let k be n(1). Suppose 0 = -2*c - 3*z + 129, 3*z - 188 = -k*c + 4*z. Does 21 divide c?
True
Let f(r) = r**2 - 215*r + 35072. Is 44 a factor of f(0)?
False
Let g(j) = 8*j**3 - 29*j**2 + 23*j + 111. Is g(7) a multiple of 55?
True
Let w = 862 - 861. Let t(i) = 870*i**2 - 5*i + 5. Is 83 a factor of t(w)?
False
Suppose 0 = -5*k + 2*j + 19, -4*k + 5 = j - 6*j. Suppose k*n = 0, -2*n + 0*n = t - 15. Suppose -10*d = -t*d + 40. Does 3 divide d?
False
Let b(f) = f**3 - 12*f**2 - 8*f + 35. Let j be b(13). Let o = j - 84. Is 11 a factor of (0 + 2)*264/o?
True
Suppose 2383 = -8*i + 359. Let t = -175 - i. Let o = t + -68. Is o a multiple of 5?
True
Let r be (((-3060)/42)/(-5))/((-3)/21). Let g = 110 - r. Is g a multiple of 11?
False
Let o(u) = -u**2 + 6*u + 5. Let b be o(-11). Let v = -140 - b. Is v a multiple of 42?
True
Let u = 269 + -293. Does 11 divide 2 - -1 - 9048/u?
False
Let y(t) = -14*t**2 + t + 6. Let f(n) = 44*n**2 - 2*n - 19. Let u(s) = 6*f(s) + 17*y(s). Let p = -1 - -3. Is u(p) a multiple of 51?
True
Suppose -m + 94 = 4*n, -19 = 4*n + 4*m - 119. Suppose -416 = -n*s + 343. Is s even?
False
Suppose 3907 = -19*o - 463. Is 33 a factor of (-8)/((-3 + o/(-78))/1)?
False
Let x = 319 + 4213. Is x a multiple of 22?
True
Let l = 0 - -320. Suppose -2*u - 86 = 3*r + 75, 4*r + l = -4*u. Let j = u - -128. Is 13 a factor of j?
False
Does 84 divide 53/(583/23496)*(-24)/(-2)?
False
Suppose 5*l + 16 = x, 4*l + 6 = -3*x - 3. Let w be (16/(-3))/(2/l). Suppose w*p - 112 = 4*p. Does 6 divide p?
False
Let i(u) = 3*u**3 + 8*u**3 - 7*u + 12 - 6*u**3 - 2*u**3 + 73*u**2. Is 36 a factor of i(-24)?
True
Let j(m) = -m**3 + 85*m**2 - 143*m + 15. Is 327 a factor of j(82)?
False
Let x(b) = 249*b + 20. Let d be x(4). Suppose -4*f - 1520 = -3*g, 0*g + 2*g = 4*f + d. Let p = g + -331. Is 11 a factor of p?
False
Let v(c) = 2*c**3 + 14*c**2 + 10*c - 10. Let f be v(-6). Is (136 - f) + 11 + -7 a multiple of 3?
True
Let d = -4 + 3. Let y(v) = -38*v - 83*v - 4 - 33*v. Does 25 divide y(d)?
True
Suppose 3*r = 8*h - 12*h + 13809, -10318 = -3*h - 10*r. Does 108 divide h?
True
Let w = 20829 + -14080. Is w a multiple of 5?
False
Let v be (-4 - -11) + -5 + 1. Let x be 2/v + (-20)/(-15) - -3. Suppose 4*f = x*a - 124 - 92, 2*f = 2*a - 88. Does 8 divide a?
True
Let p = 299 - 294. Suppose 2*s + 1474 = 2*y, 240 = -2*y + p*s + 1702. Is 17 a factor of y?
False
Let k = 3628 - 70. Is k a multiple of 61?
False
Let v(i) = 61*i - 9. Suppose 10*x - 6 = 8*x. Let l be v(x). Suppose 4*w - k + 35 - l = 0, -2*w - 3*k = -59. Does 17 divide w?
True
Suppose 5*h - 4 = 11. Let i = -432 - -606. Suppose 0*j - i = -h*j. Does 9 divide j?
False
Suppose 3*f = 6*f - 12. Suppose 3*s - 3*n - 232 = 251, -3*s + f*n = -478. Let t = -116 + s. Is 20 a factor of t?
False
Suppose -4*r + 3*t = -27974, 35 - 43 = 4*t. Is 38 a factor of r?
True
Suppose 14 + 32 = 2*q. Let y be 62/2*(-4)/(-4). Suppose -t + q = -y. Is t a multiple of 9?
True
Let o = -23 + 38. Let a be (o/10)/((-4)/(-8)). Suppose -2*y = 3*j - 341, 5*y - 860 = -2*j - a*j. Is 30 a factor of y?
False
Suppose -57*n + 1 = -56*n. Let b(c) = 8 - 6*c - 8 - n - 7 - c**3. Is 49 a factor of b(-5)?
True
Let m = 3141 - 1734. Suppo