ppose 29*t = -964 + 3719. Let o = 9 - 8. Let j = o + t. Is j a multiple of 12?
True
Let j(y) = 2*y**2 + 2*y - 40. Let t be j(17). Let b = -436 + t. Does 18 divide b?
False
Suppose 4*a = -t - 4*t + 33331, -5*a = -3*t + 20006. Is 22 a factor of t?
False
Let j be ((-50)/65)/(-5) - 1062/(-26). Suppose -7*v = 13 - j. Suppose 2*n + q - 200 = n, -3*n = -v*q - 600. Does 40 divide n?
True
Suppose 0*c + 1 = c, 4*a - 66 = -2*c. Let k be (8/a)/((-15)/(-12) + -1). Let r(z) = 11*z**2 + 6*z - 5. Is 9 a factor of r(k)?
False
Let w = -69 - -73. Suppose w*v = -f + 75, 0 = -4*f + v + 3*v + 220. Suppose -5*q - 3*r = -124, 4*q - 18 - f = 5*r. Is q a multiple of 4?
False
Suppose 277 + 3495 = 9*a - 638. Does 5 divide a?
True
Suppose -2 - 22 = -8*c. Suppose -3*a + c*i + 24 = 0, 2*a - 1 = -0*a - i. Suppose -2*n + a*n - 35 = 0. Is 10 a factor of n?
False
Let d(b) be the first derivative of 11*b**2 - 32*b - 4. Let o be d(15). Suppose -c - 4*c = 4*q - o, q - 234 = -4*c. Is 20 a factor of c?
False
Let q(x) = -x**3 - 35*x**2 + 39*x + 113. Let o be q(-36). Suppose o*n = -2*t + 2368, 2983 = 2*t + n + 615. Is t a multiple of 39?
False
Is -4*1 - ((-42423)/24 - (-24)/(-64)) a multiple of 7?
True
Suppose -7*i + 11*i - 52 = -5*f, 16 = -4*f. Suppose 3*q - 4*n - i - 58 = 0, -4*q = -5*n - 101. Does 12 divide q?
True
Let v be ((-3 - -4) + -3)/(-2). Let p be (v + -25 + 1)*-2. Suppose 0 = -2*f + p + 44. Does 15 divide f?
True
Let v(a) = -4*a**2 + 44*a + 13. Let h be v(15). Let y = 851 + h. Is 39 a factor of y?
True
Let l(t) = 29*t**2 - 11*t - 6. Let k(c) = 58*c**2 - 22*c - 13. Let s(w) = -2*k(w) + 5*l(w). Let b be s(3). Suppose -22*x + 20*x = -b. Is x a multiple of 14?
True
Let s be 11/(55/25 + -2). Suppose s = 2*j + 39. Is ((-162)/j)/(1/(-4)) a multiple of 27?
True
Let m = 48846 + -31613. Does 19 divide m?
True
Suppose -t = 4*d - 3493, 5*t - 3*t = -5*d + 6983. Is 7 a factor of t?
False
Suppose 0 = -208*z - 1830 - 40 + 206. Let o = -2 + 1. Is 223/4 + (6/z - o) a multiple of 7?
True
Let c = 112 + -114. Let z(s) = 298*s**3 + 2*s**2 + 4. Let g be z(c). Is g/(-22) + (-8)/(-44) a multiple of 9?
True
Let f(r) = -2*r**3 + 5*r**2 - 7*r + 39. Let y be f(6). Let h = y + 589. Does 6 divide h?
False
Let d = -5388 - -50726. Is d a multiple of 10?
False
Suppose -13*x + 14*x - 93427 = 0. Suppose 47*g - x = -23491. Is g a multiple of 16?
True
Suppose -q - 10155 = -2*s + 8713, 9366 = s + 8*q. Is 5 a factor of s?
True
Suppose 9*q + 5*k = 4*q - 30, -3*q - 5*k = 10. Is 6 a factor of -5 - (-10 + 8/(q/5))?
False
Let f = 7741 - 5871. Is f a multiple of 17?
True
Is 14 a factor of -82028*(4/14)/(-10*(-52)/(-455))?
False
Suppose 4*m + 2*o - 749 = 873, 0 = -2*m - 4*o + 820. Let y = 509 - m. Is 21 a factor of y?
True
Suppose -3*t + r + 10 = -3*r, -2*r = -5*t - 2. Is 717/t*(-12)/18 a multiple of 6?
False
Suppose 40*c - 83*c + 16430 = -42*c. Does 62 divide c?
True
Let h = 12501 - -4665. Is h a multiple of 14?
False
Let n = -302 + 302. Suppose n = -4*s + 2*f - 4*f + 3590, -5*s + 4465 = -2*f. Is s a multiple of 12?
False
Let v = 76 + 6548. Does 18 divide v?
True
Is 27 a factor of 75602/16 + -11 + (-1305)/(-120)?
True
Suppose -342 = -8*w - 102. Is w/(-50) - 38/(-5) a multiple of 2?
False
Let f = -2471 + 4001. Does 70 divide f?
False
Suppose 4 = -n, 4*l - l = 4*n + 3979. Let h be (-12)/(-42) + l/7. Suppose -2*k + h = k. Is 24 a factor of k?
False
Let h(w) = 2*w**2 - 6*w - 268. Is h(26) a multiple of 4?
True
Let a = 6 + 6. Suppose -x + a = 6. Suppose -x + 50 = o. Does 4 divide o?
True
Suppose 0 = 11*y - 5098 - 1568. Does 101 divide y?
True
Suppose -u = 7*c - 5*c - 8, 0 = -4*u + c + 23. Let z be (6/(-9))/(4/(-246)). Suppose z = 2*k + u*g - 5*g, 2*k - 35 = -3*g. Is 15 a factor of k?
False
Let h(x) = x**3 - 41*x**2 + 78*x + 34. Let a be h(39). Let n = 130 + a. Is 82 a factor of n?
True
Let m be 50 + -44 + (1*-1 - -1). Let x be 1*(-5)/((-15)/m). Suppose -h + 188 = x*n - 5*h, 0 = 3*n + 3*h - 264. Is 18 a factor of n?
True
Let y(l) = 603*l + 24. Let s be y(-2). Let r = -474 - s. Is 59 a factor of r?
True
Suppose 859*c = 739*c + 762240. Does 7 divide c?
False
Let p(w) = 179*w**3 - 4*w**2 + 67*w - 292. Is 116 a factor of p(4)?
True
Let w(a) = -a**3 + 4*a**2 - 2*a - 3. Let y be w(3). Suppose -3*d = -y*d. Does 18 divide ((-2)/(-13) - (-466)/13) + d?
True
Suppose -29*f + 98708 = 8576. Let b = f + -1860. Does 26 divide b?
True
Let m = -735 - -6792. Does 114 divide m?
False
Suppose 8811 - 12121 = -26*q + 10002. Is 5 a factor of q?
False
Suppose 20920 = 25*s - 2480. Does 9 divide s?
True
Let n(v) = -v**3 - 35*v**2 + 2*v + 76. Let h be n(-35). Is 2 a factor of h/(-10)*(-298 + 3)?
False
Let z(g) = 1396*g - 158. Let t be z(15). Suppose t = 13*b + 2218. Is 104 a factor of b?
False
Let n(w) = 1154*w - 1248. Is n(5) a multiple of 22?
False
Let w be (-180)/(-30) + (-7 - 1). Is 2 - ((-718 - w) + 8) a multiple of 27?
False
Let q(l) be the second derivative of 17/2*l**2 + 0 - 7/3*l**3 + 3*l - 1/20*l**5 + l**4. Does 11 divide q(10)?
True
Let s = 297 + -527. Let t = -90 - s. Is 7 a factor of t?
True
Suppose 39295 + 431143 + 155692 = 18*d. Is 5 a factor of d?
True
Let t = -83 + 81. Is 15 a factor of (-41)/((-13)/(-7) - (4 + t))?
False
Let k = 316 - 288. Let s = 230 + k. Is s a multiple of 43?
True
Suppose -4*p = 2*c + p + 1675, 0 = 5*c - 3*p + 4265. Let l = -352 - c. Does 43 divide l?
False
Let z = -68 + 19. Let s = z - -54. Suppose s*l - 84 = -c, c - 5*l + l = 129. Is 12 a factor of c?
False
Let l = 22980 + -14391. Does 13 divide l?
False
Let i be ((-28)/21)/((-3)/9). Suppose 160 = 4*g + j + i*j, -3*g - j + 131 = 0. Suppose -5*x - g = -2*s + 35, -x = -5*s + 154. Is 15 a factor of s?
True
Suppose 2*c + 12 = -3*t, 3*c + t + 17 = -2*c. Does 19 divide -2 + (94 - (c + 2))?
False
Let w(y) = 5*y + 26. Let p be w(-10). Does 12 divide p/20*-120*(-3 - -4)?
True
Suppose -67 + 73 = 3*s. Suppose a = s*i - 0*i - 36, -12 = -2*i - 5*a. Is 8 a factor of i?
True
Let w = 12771 - -21689. Is 14 a factor of w?
False
Let m = -50 + 49. Let y be (m*1 + 4)*(-70)/(-105). Suppose -h + y*r + 33 = 0, -3*h + 2*r = h - 102. Is h a multiple of 23?
True
Let o(y) = -y**3 + y**2 - y. Let l(a) = a**3 - 13*a**2 + 12*a. Let u(b) = -l(b) - 2*o(b). Let n be u(-8). Suppose 7*i - 64 = n. Is 12 a factor of i?
True
Let i = -1672 + 2813. Suppose -16*m = 2*h - 14*m - 766, 5*m = 3*h - i. Does 42 divide h?
False
Let f = 12322 + -2862. Is 22 a factor of f?
True
Let t(y) = -y**3 + 16*y**2 + 20*y - 24. Let h be t(17). Let m = h + 174. Does 13 divide m?
False
Let s = -862 - -4864. Suppose -4*b = -622 - s. Is b a multiple of 22?
False
Does 38 divide 10/145 + (196046208/348)/12?
False
Let k be 4 - (2/3)/((-4)/6). Suppose -20 - 15 = k*v. Let t(d) = -3*d**2 - 25*d + 12. Is t(v) a multiple of 13?
False
Let h(r) be the second derivative of 5*r**4/4 - 2*r**3 + 34*r**2 - 2*r + 25. Does 4 divide h(4)?
True
Let r(y) = 16*y + 53. Let g be r(-5). Let m be ((-16)/3)/((-2)/(-6)). Let c = m - g. Does 11 divide c?
True
Let b(s) = 6*s**2 - s - 16. Let h be b(5). Let n = h - 54. Suppose 0 = -2*i - 3*z + n, z - 90 - 19 = -3*i. Is 9 a factor of i?
True
Let z(c) be the third derivative of -37*c**6/120 - c**5/5 - c**4/8 - c**3/3 + 114*c**2. Is 18 a factor of z(-2)?
True
Suppose -9*z = -1126 - 2276. Suppose 10*p - z + 148 = 0. Suppose 1380 = -8*c + p*c. Does 7 divide c?
False
Let j(s) be the second derivative of -s**5/20 + s**4/4 - s**3/6 + 51*s**2/2 - 14*s + 2. Let z be 1 - ((0 - -3) + -2). Does 8 divide j(z)?
False
Is -331*(32/(-48)*-90)/((-3)/2) a multiple of 6?
False
Suppose 113 = -4*k + 401. Let f = k - 69. Suppose -4*z - 4*d + 324 = 0, 0 = 5*z - f*d + 4*d - 417. Is z a multiple of 6?
True
Let w(c) = c**3 - 4*c**2 - 13*c + 11. Let j(f) = 2*f + 62. Let z be j(-28). Let a be w(z). Suppose 0 = a*i - 830 - 445. Is 51 a factor of i?
True
Is 4 a factor of 1808 + (-12)/(-33) + (-292)/(-44)?
False
Let k(f) = -161*f - 133. Suppose 0 = -4*b - 10*b - 70. Is k(b) a multiple of 10?
False
Let n(t) = t**2 - 27*t + 160. Let j be n(9). Is 26 a factor of j/3 - (-14835)/45?
False
Suppose 0 = -11*f + 15*f + 136. Let i = f - -37. Let c = i - -46. Is 5 a factor of c?
False
Let p = 43492 + -39770. Is 5 a factor of p?
False
Let y = -8231 - -12683. Is 30 a factor of (32/6)/(56/y)?
False
Let s(o) = -21*o**3 - 3*o**2 + o + 2. Let i be s