 5. Let i(b) = 4*l(b) - 7*q(b). Let n be i(1). Suppose -5*y = n*u - 540, -75 = 4*y + 5*u - 490. Is y a multiple of 41?
False
Let r be (-1 - (-26)/6)/(2/3). Let g be r + (1 - 7 - -2). Let q(z) = 29*z**3 - 2*z**2 + 5*z - 4. Is q(g) a multiple of 3?
False
Let b(m) be the first derivative of -m**2 - 1/4*m**4 - 28 + 0*m**3 + 132*m. Is 11 a factor of b(0)?
True
Let m(r) = r**3 - 26*r**2 - 48*r + 32. Let q(c) = -c**3 + 26*c**2 + 47*c - 33. Let p(o) = 2*m(o) + 3*q(o). Is p(27) a multiple of 41?
True
Suppose 407 = i - p, 12*i + 395 = 13*i + 3*p. Let r = i - 278. Is 6 a factor of r?
True
Let a be (5512/40)/((-2)/(-10)). Suppose 780 = 13*l - a. Is 8 a factor of l?
False
Let w(q) = -7632*q**3 + q**2 + 5*q + 6. Is w(-1) a multiple of 11?
True
Let u = 71 + -54. Suppose -16*n + u*n = -12. Is 16 a factor of n/42 + 426/21?
False
Suppose -21*a + 241810 = -300830. Does 136 divide a?
True
Let k(o) = -o**2 - 15*o + 61. Let n be k(-18). Suppose -3*c + 949 = -5*y, -5*c + n*y - 5*y = -1550. Is 14 a factor of c?
True
Let f = -102737 - -153788. Does 119 divide f?
True
Let p be (6/(-9))/(7/(-42)). Suppose 0 = p*b - 0*b + 240. Is 14 a factor of (-5168)/b + 10/(-75)?
False
Suppose -52*w = 66*w - 1310036. Is 26 a factor of w?
True
Is 11 a factor of (-36)/(-6) + 11/(77/20223) - -4?
False
Let r(c) = -35*c + 315. Let i be r(9). Let a(q) be the first derivative of q**4/4 - 2*q**3/3 - q**2 + 71*q + 2. Is 20 a factor of a(i)?
False
Suppose -17*n - 21824 = -33*n. Let u = n - 956. Is u a multiple of 24?
True
Suppose -4*w + 890 = -6. Suppose -10 = 2*d, -5*d + 99 = 2*q - w. Is q a multiple of 58?
True
Let o = -13018 + 18793. Does 7 divide o?
True
Does 7 divide 21/(-2)*59/(1770/(-16620))?
True
Let k(r) = r**2 + 11*r + 19. Suppose 12*v = 9*v - 39. Is k(v) a multiple of 9?
True
Let m(b) be the third derivative of -b**4/24 - b**3/6 - 4*b**2. Let d be m(-14). Suppose 4*f - 41 - d = 3*l, f - 25 = -5*l. Is 2 a factor of f?
False
Let s = -1694 + 1559. Let p be 943/(-5) - 2/5. Let t = s - p. Does 9 divide t?
True
Let o be (-2)/(-4) + -4*(-245)/40. Suppose 0 = 2*y - 3*a - 5, 0 = 5*y + 2*a + 10 + o. Is 4 a factor of 4*2*y/(-10)?
True
Suppose -93*u = -90*u - 759. Does 3 divide u?
False
Let g(p) = 73*p**2 - 13*p + 138. Is g(-8) a multiple of 13?
True
Let o(m) = -m**3 - m**2 - 2*m + 90787. Let n be o(0). Suppose 52*b + 13983 = n. Is b a multiple of 79?
False
Let x(t) be the third derivative of 23*t**5/20 + t**4/4 - t**3/2 - 226*t**2. Is 10 a factor of x(3)?
False
Let s be (5 + 0)*(-6)/(-5). Is (-4792)/(-6) + (-4)/s a multiple of 13?
False
Let k(c) = -c**3 + 2*c**2 + 25*c + 27. Let m be k(-9). Let x = m - 319. Does 11 divide x?
True
Let s(h) = 27*h + 1041. Is s(54) a multiple of 8?
False
Let f(d) = 3*d**2 - 28*d - 64. Let n be f(-29). Suppose -32*x + n + 1337 = 0. Does 3 divide x?
True
Let v = -10 + 10. Suppose 5*q - 347 = -4*i, 35 + 52 = i + q. Suppose -4*c + i + 88 = v. Is 5 a factor of c?
False
Let a = -1682 + 2714. Does 86 divide a?
True
Let d be (5 + -3 - 4) + 4. Suppose -4*b + d*b = b. Let k(f) = f**2 + 2*f + 80. Is 8 a factor of k(b)?
True
Let w(t) = -17*t - 19. Let o be w(6). Let s = -46 - o. Does 25 divide s?
True
Suppose 5*m + 0 = q - 3, -2*m = -2*q + 6. Suppose w = -m*u - u + 89, 0 = 4*u - w - 336. Is 15 a factor of u?
False
Suppose 2 = -2*p, 2*p = -5*z - 2*p + 16. Does 9 divide (-17)/((-510)/z) - 6446/(-30)?
False
Suppose 26 = -5*u + 6, -54 = -d + u. Suppose -774 = 47*z - d*z. Does 18 divide z?
False
Let l = -183 - -216. Let y = l - -335. Does 23 divide y?
True
Let y be 3/(9/10) - 3/9. Suppose -3*k = -4*k - y*k. Suppose 15*v - 5*v - 910 = k. Does 7 divide v?
True
Let h be 4/22 - ((-35416)/22)/1. Is (1/(-2) + -3)/((-7)/h) a multiple of 34?
False
Suppose k + 3*k = s - 700, 2*s + 2*k = 1410. Is s a multiple of 9?
False
Suppose 5*j + 4 - 19 = -4*x, 5*x = 0. Let c be 76/(-6)*(-6 - 3)/j. Suppose 0 = 2*f - 82 - c. Does 15 divide f?
True
Suppose 3*z + 12*h - 7194 = 9*h, -4*h - 7208 = -3*z. Is z a multiple of 5?
True
Suppose k + 7 = -5*s, -24*k + 19*k - s - 11 = 0. Let n(v) = -787*v - 57. Is n(k) a multiple of 81?
False
Let i(m) = m**2 + 7*m + 71. Is 62 a factor of i(42)?
False
Let m(h) = 2*h**2 - 2*h + 602. Is 22 a factor of m(-56)?
False
Let l = 49 + 853. Does 5 divide l?
False
Does 48 divide 4/12 - (-568354)/267?
False
Let o(v) be the first derivative of 7*v**5/120 + 3*v**4/8 + 6*v**3 + 16. Let y(b) be the third derivative of o(b). Is y(11) a multiple of 21?
False
Let l(w) = 5*w**3 + 14*w**2 + 40*w + 52. Let f(h) = h**3 - 2*h**2 - 2*h - 1. Let i(s) = -4*f(s) + l(s). Is i(-12) a multiple of 52?
False
Let w(v) = -v**3 - 13*v**2 + 12*v + 12. Let l be w(-12). Let s be (-6)/(-2)*l/(-36). Suppose -513 = -s*f + 20*f. Is f a multiple of 19?
True
Let z(s) = -19*s - 128. Let c(u) = u**3 + 22*u**2 - 47*u + 14. Let a be c(-24). Is z(a) a multiple of 31?
True
Let y = -3724 - -8110. Is y a multiple of 51?
True
Let s = -4684 + 6685. Is s a multiple of 45?
False
Suppose -3*x - 72900 - 80782 = -5*q, -92175 = -3*q - 2*x. Is 79 a factor of q?
True
Suppose -101*z + 31*z = -914550. Is z a multiple of 39?
True
Let b(k) = -48*k**2 - k + 3. Let g be b(1). Let v = 82 + 8. Let a = g + v. Is 11 a factor of a?
True
Let u(x) = 11*x**2 + 650*x - 4. Is 40 a factor of u(24)?
False
Suppose -68650 = -5*v + 4*h - 12556, 4*v + h = 44871. Is v a multiple of 17?
False
Suppose -13*o + 68*o - 1329345 = -80*o. Is o a multiple of 43?
True
Let u be 1/((-12)/(-8))*3. Suppose -3*c + 1786 = -3*l - 4298, -5*l = -u*c + 4044. Does 37 divide c/10 - (-4)/(-20)?
False
Let s(c) = -6*c**3 - 83*c**2 - 57*c + 32. Is 18 a factor of s(-23)?
True
Let p(c) = 2*c**3 - 4*c**2 - 9*c + 8. Let q = 79 + -71. Is 38 a factor of p(q)?
False
Let b be (-7518)/(-15) + (-12)/60. Suppose 5*x = -4 - 11, 3*g - 2*x = b. Does 33 divide g?
True
Let i(q) = 7*q**2 - 10*q - 2. Let u(x) = 20*x**2 - 29*x - 6. Let w(p) = -17*i(p) + 6*u(p). Let t be w(5). Let o(l) = l**2 - l + 3. Is o(t) a multiple of 4?
False
Let u = -37 - -39. Suppose 4*y - u*y + h = 413, 2*h = 3*y - 637. Suppose -33 + y = 4*k. Is 22 a factor of k?
True
Let j be 64/320 + (0 - (-859)/5). Let n(r) = r**2 + 6*r - 1. Let f be n(-7). Suppose j - 40 = f*d. Is d a multiple of 22?
True
Let v(n) be the second derivative of n**5/20 - 3*n**4/4 + n**3/3 + n**2/2 - 5*n. Let y be v(8). Let f = y + 69. Is f a multiple of 6?
False
Suppose -5*i + 2*k + 71140 - 25659 = 0, -3*k + 18200 = 2*i. Is i a multiple of 9?
False
Suppose 4*y - 2*l = 3*y - 249, 5*y = -4*l - 1273. Suppose 1311 = -0*u + 3*u + v, 2*u + 2*v - 874 = 0. Let g = y + u. Is 17 a factor of g?
False
Suppose 0 = -4*t + 5*b + 1380, -33*b + 28*b + 370 = t. Is 46 a factor of t?
False
Suppose 2*r + 496 = -2*r. Let a = r + 173. Does 21 divide 13/(455/30)*a?
True
Suppose 0 = -2*j + 2*i + 220, 0*j = 2*j - 5*i - 232. Let o = 150 + -65. Let u = j - o. Does 3 divide u?
True
Suppose -2*u = -3*b - 11, -2*u + b = -0 - 5. Let z(a) be the first derivative of 173*a**4/4 - 2*a**3/3 + a**2/2 - a - 35. Does 19 divide z(u)?
True
Let j(m) be the first derivative of -295*m**2/2 - 25*m - 172. Does 17 divide j(-5)?
False
Let u(b) be the second derivative of -b**3/3 - 4*b**2 - b. Let l be u(-7). Does 5 divide (48/18)/(l/45)?
True
Let z = 3729 + 11039. Does 104 divide z?
True
Let k(s) = 13*s - 42. Let i be k(18). Suppose -188*u + i*u = 2020. Does 52 divide u?
False
Let s = 2235 + -855. Is 7 a factor of s?
False
Let l(t) = 1383*t - 5403. Is 42 a factor of l(47)?
True
Let g be ((-6)/(-5))/(10/(-300)). Let j = -66 - g. Is 8 a factor of (-470)/j + 2/6?
True
Let v = -79 - -88. Suppose 0 = 4*p - 4*t - 128, p - 43 - v = -3*t. Is p a multiple of 30?
False
Let y(o) = 13*o**2 + 77. Is 50 a factor of y(-11)?
True
Let l = -5153 - -6677. Is 163 a factor of l?
False
Let d(w) = -829*w - 5400. Is d(-33) a multiple of 44?
False
Suppose -348*u = -197*u - 4502820. Is u a multiple of 213?
True
Let s = 343 - -845. Does 9 divide (-2 + (-4)/(-4))/((-4)/s)?
True
Suppose -2 = -h, -w - 4 = 15*h - 19*h. Suppose 2*v = -3*j + 37, -w = -v + 2*j - 3. Does 7 divide v?
False
Does 9 divide -4 + 6700 + (-7)/((-35)/(-45))?
True
Suppose -4345 = -2*k + 5*t + 2986, 4*k = t + 14689. Does 28 divide k?
False
Let m = 53261 + -35441. Does 99 divide m?
True
Suppose 0 = -120*d + 346015 - 39153 + 35378. Is 23 a factor of d?
True
Le