+ 0*d**3 + 28*d**2 - d**3 - 8*d**2. Let w be 7/(-21) + (-120)/(-9). Is 42 a factor of n(w)?
False
Let w be 12/(-18) - 44/(-3). Let l = w + -14. Let x(i) = -i**3 + 2*i**2 + 49. Does 6 divide x(l)?
False
Let i be (2 + -4)*(2 + (-171)/6). Let x = i - 50. Suppose x*l - 4*l + 37 = 0. Is 7 a factor of l?
False
Suppose -4*s - 7 = 5, -2*w - s = -415. Is 27 a factor of 2 + (w - 0) + (-4 - 0)?
False
Let l = 50254 + -29870. Is l a multiple of 49?
True
Let v(q) be the second derivative of -q**5/20 - 11*q**4/12 - 7*q**3/2 - 14*q. Let p be v(-9). Let a = p + 28. Does 28 divide a?
False
Let v(k) = -k**2 - 4*k - 2. Let l be v(-3). Let i be l + 1 + (-222)/6. Is 16 a factor of (1 + (-5 - 0))*(2 + i)?
False
Suppose -170 = 2*y - 12*y. Let f = y - -116. Is f a multiple of 7?
True
Suppose 11*n - 7*n - 20 = 0. Suppose 5*g - 1209 = j, -4*g - 2*j + n*j = -976. Does 11 divide g?
False
Let j(t) = 481*t + 1717. Is j(4) a multiple of 32?
False
Suppose 24 = 4*f + o, 5*f - 3*o = -2 + 15. Let n(h) = -5*h**3 + h**2 + h - 5. Let c(y) = -6*y**3 - 6. Let v(u) = -4*c(u) + 5*n(u). Is 14 a factor of v(f)?
False
Suppose -70*f + 150*f - 465234 = -129*f. Is 13 a factor of f?
False
Suppose 2*f = -3*f + 15. Suppose f*x - n = -288, 7*n = 2*n. Let r = x + 128. Is 8 a factor of r?
True
Let c(z) = -164*z - 123. Let s(v) = -v - 1. Let j = -132 + -114. Let u(i) = j*s(i) + 2*c(i). Is 25 a factor of u(-1)?
False
Let r = 38 + -35. Suppose -1 = r*t + 11. Does 11 divide 4112/64 - (-1)/t?
False
Let q = 6049 + -5573. Does 17 divide q?
True
Let o(b) = b**3 + 21*b**2 + 19*b - 25. Let f be o(-20). Is 16 a factor of (-2)/(-12) + ((-47975)/30)/f?
True
Suppose 102564 = 42*m - 5*m. Is 84 a factor of m?
True
Let h = 2 - -22. Suppose 0 = -2*i - 4*o - h, -3*o + 5 = 17. Is (-66)/i - (-6)/(-12) a multiple of 2?
True
Suppose 4*o = 60 + 20. Suppose -23*m = -o*m. Suppose -5*t - t + 816 = m. Is t a multiple of 34?
True
Suppose 43*n - 34*n = 2052. Suppose 28*k = 31*k - n. Is 15 a factor of k?
False
Let t be (-24)/(-10) - (-6)/(-15). Let d(u) = -2 - u**2 + 28*u**3 - 488*u + 4 - 5 + 491*u. Is d(t) a multiple of 20?
False
Let f be 70/(-315) - 11522/(-9). Suppose -f = -5*c - 5*c. Is c a multiple of 16?
True
Let s be (-6 + (-40)/(-6))/(2/12). Suppose p = s*p. Suppose 0 = -b + 5*m + 4, -b + 2*b - 3*m - 6 = p. Is 3 a factor of b?
True
Let i = 73 + -9. Let n = 71 - i. Is n a multiple of 2?
False
Let c(i) = 74 - 141*i - 119*i + 2*i**2 + 284*i. Is c(-24) a multiple of 10?
True
Let w(o) = 2 - 5 - 56*o**2 + 85*o**2 + 1 + 3. Is 12 a factor of w(4)?
False
Is ((-3 + 5)*(-50)/(-5))/(8/1320) a multiple of 33?
True
Suppose 2*k = -8 + 20. Does 9 divide -666*(-9 + k + 2)/2?
True
Suppose 9*h - 671008 - 26672 = -11*h. Does 54 divide h?
True
Suppose -5*k + 7 + 28 = 0. Let r(w) = w**3 - 3*w**2 - 21*w + 1. Does 12 divide r(k)?
False
Suppose 5*j + 2*c = -205, 0 = j + 4*c - 2*c + 49. Suppose 2*t = 3*i + 227, 12*t = -4*i + 15*t - 302. Let h = j - i. Does 26 divide h?
False
Suppose -15706 = 25*c - 35*c + 7374. Does 24 divide c?
False
Let y(n) = -2*n - 4. Let i be y(-2). Let v(r) = r**3 + r**2 + r + 3. Let d be v(i). Suppose 4*t - d = 57. Does 5 divide t?
True
Let t = -34 - -98. Suppose -5*b - t = 1. Is (-650)/b - (-3 - -2) a multiple of 9?
False
Suppose -877 - 1899 = -39*z - 865. Is 5 a factor of z?
False
Suppose 0 = -2*o + 10, w = 5*w - 2*o - 10598. Suppose -18*u - w = -35*u. Is u a multiple of 52?
True
Let p be (-14)/(-4) + -5 + (-57)/(-2). Let t(d) = d**2 - 22*d - 70. Is t(p) a multiple of 11?
False
Suppose -2*p = 3*p + 2*x - 2470, 2*p - 3*x - 988 = 0. Suppose -4*m - 2*a = -1194, m + a = 185 + 114. Suppose 5*h - c = p, 2*h - m = -h + c. Is 25 a factor of h?
False
Let b(z) = -z**2 - 4 - 3*z**2 + 4*z**2 - 2*z**2 + 8*z**2. Does 3 divide b(-5)?
False
Suppose -m - 58 = -2*l, -3*m + 4*l - 39 = 125. Let o = 51 + m. Suppose 3*j - o*i = 398 - 23, j + 4*i = 115. Is j a multiple of 57?
False
Let l = -56 - -61. Suppose 0*r + 3*r = l*r. Suppose -5*s + 10*s - 3*u - 547 = 0, r = 4*s - 4*u - 436. Does 9 divide s?
False
Let t(w) = -7*w - 17. Let m be t(-2). Is 1920/42 - (12/14)/m a multiple of 23?
True
Is 12 a factor of 4759 - (-8)/(-40)*-85?
True
Suppose 0 = -132*s + 142*s - 61200. Does 18 divide s?
True
Suppose -82 = 2*g - 3*d, -5*g - d = 2*d + 184. Let k = g - -69. Suppose -w + k = -2*q + q, 0 = 3*q + 15. Is w a multiple of 2?
True
Let p(c) = c**2 + 20*c + 94. Let v be p(-11). Let h(f) = 3*f**2 + 4*f + 28. Is 9 a factor of h(v)?
False
Suppose -4*x - 5*y = -9, -2*x - 4*y + 6 = -2*y. Suppose -x*r - 636 = -18*r. Is 5 a factor of r?
False
Let b = -32296 + 58691. Is b a multiple of 110?
False
Suppose 2*x - 4 = 2*n, 4*x - n + 2*n - 23 = 0. Suppose -16 = -x*g - 1. Suppose 44 = u + g*j, -4*u + 5*u + 4*j = 47. Is 5 a factor of u?
True
Suppose 2*v + 3*i + 9 = v, 2*i = -3*v + 1. Suppose -b + 13 = v*d, 2 = -b - 0*b. Suppose d*t + 2457 = 5*g + 922, -2*g - 2*t + 606 = 0. Is 29 a factor of g?
False
Let z = -24513 + 29204. Is z a multiple of 136?
False
Suppose 0 = -119*z + 247121 + 170807. Is 45 a factor of z?
False
Let c = 171 - 160. Suppose -1716 = c*t - 33*t. Does 14 divide t?
False
Let k = 365 - 356. Suppose -k*u + 23*u - 11060 = 0. Is u a multiple of 23?
False
Let b be ((-6)/(-7))/(2/28). Let r be b/28 - 522/(-7). Suppose 0 = -r*n + 73*n + 30. Is n a multiple of 4?
False
Let q = -3939 + 4089. Is 75 a factor of q?
True
Let f = 42 + -45. Let a be f + 0 + 11 + -2 + 4. Suppose a*s = 11*s - 12. Is 6 a factor of s?
True
Let j(g) = 573*g**2 + 51*g - 169. Is j(3) a multiple of 24?
False
Suppose -5*q = 3*a - 306, -2*q - 2*a = q - 183. Let k = q - 51. Does 14 divide (-6)/4 + ((-2646)/k)/(-7)?
False
Let q = 27249 + -24387. Is q a multiple of 18?
True
Suppose 21*y + 208 = 817. Suppose 0 = -i + 5*q - 6 + y, -4*i + 8 = q. Does 3 divide i?
True
Suppose 3*t + 349 = -k - 0*k, -3*t = -4*k + 329. Let d = -93 - t. Does 8 divide d?
False
Let s(p) = p**3 + 4*p**2 - 112*p + 50. Is 35 a factor of s(11)?
False
Let u = -26 - -29. Suppose -3*x = -3*b - 2*b - 5, -13 = 5*x - u*b. Is 11 a factor of 2*34 - (x - -9)?
False
Let s be (-474)/(-4)*(-4)/(-18)*3. Let j = -22 + s. Let z = j + -12. Is z a multiple of 25?
False
Let h = -24 - -426. Let i = h - 196. Suppose 6*u - 154 = i. Does 10 divide u?
True
Suppose 3*j = 4*t - 4, -2*t + 8 = 2*j - 8. Suppose -t*q + s - 1 = 0, 3*s - s - 2 = 2*q. Suppose 4*n + q*n + 16 = 0, -3*n = -4*i + 264. Is 8 a factor of i?
False
Let d = -811 + 924. Let f = -13 - 4. Let p = d - f. Is p a multiple of 22?
False
Let f = -201 - -225. Does 32 divide 3073/4 + (138/f)/(-23)?
True
Suppose 2*t = 3*v + 9, 1 = 2*t - v - 2. Suppose t = 4*j - 2*j - 434. Suppose 0 = -8*h + j + 559. Is 14 a factor of h?
False
Let t = -4871 - -7585. Is 20 a factor of t?
False
Let u(w) = 9*w**2 - w - 4. Let m be u(2). Let k be m/(-15)*(-1 - -27). Let f = k + 111. Is 10 a factor of f?
False
Is 14 a factor of 3649 - (-9)/(-3)*80/(-30)?
False
Suppose -14*d - 2690 + 74398 = -d. Is d a multiple of 28?
True
Let j(d) = -5*d + 6. Let k(t) = 3*t + 35. Let r be k(-11). Let g be j(r). Let y(v) = v**2 - 3*v - 10. Is 9 a factor of y(g)?
True
Let u = 4 - 7. Let n be (-6)/(-45) - 185188/2010. Does 46 divide (u/(-6))/((-1)/n)?
True
Suppose -4*n = 12, 0 = p + 4*n + 34 - 21. Let x(u) = 1106*u**2 - 2. Does 24 divide x(p)?
True
Suppose 19*c - 2*c - 782 = 0. Let d(b) = 17*b**2 + 2*b. Let k be d(-2). Let g = k - c. Does 18 divide g?
True
Let h(y) = -13*y + 15. Let v be h(0). Let g(j) = v*j**2 + 12*j + 2 + 20*j**3 + j**2 - 23 - 19*j**3. Is g(-15) a multiple of 4?
True
Is (-947768)/(-32) + 54/24 + -1 a multiple of 120?
False
Let k(v) be the third derivative of 17/30*v**5 - 2 - 11/6*v**3 - 1/6*v**4 + 0*v + 10*v**2. Is 19 a factor of k(-2)?
True
Suppose 2*b + 3*b = 4*h - 18, 3*h + 2 = -4*b. Let q(j) = 7*j - 16*j - 17*j - 6*j + 32 - 36. Does 20 divide q(b)?
True
Is 166/1826 + (-59706)/(-22) a multiple of 23?
True
Let g(r) = r**3 + 5*r**2 - 55*r + 346. Is 3 a factor of g(8)?
True
Let q = -162 + 270. Let n = 344 + -416. Let k = q + n. Is 36 a factor of k?
True
Suppose 2*c = v - 5586, v = 144*c - 143*c + 5593. Is 25 a factor of v?
True
Is (-1 - -2 - 8) + 575 + -10 a multiple of 60?
False
Let j(w) = 646*w**2 + 2*w. Let g be j(-1). Let a = g - 284. Is a a multiple of 18?
True
Suppose 0 = 2*y + z - 2, -3*y + 3*z + 4 = -8. Let b(s