f) = -1. Let s(b) = -6*g(b) + k(b). Is 8 a factor of s(-8)?
True
Suppose -3*w + 2*t = -168, 0 = -5*w - 2*t + 6*t + 282. Let j be ((-25)/(-10) - -1)/(1/24). Let z = j - w. Does 2 divide z?
True
Suppose 0 = -9*z + 6*z + 189. Let p = 58 + -97. Let u = p + z. Is u a multiple of 8?
True
Suppose -1732763 = -24*o - 57*o + 1333897. Is o a multiple of 12?
True
Let d(o) = 1678*o + 728. Does 5 divide d(3)?
False
Does 33 divide 1/(2/(-16995))*696/(-870)?
True
Let w(y) = -y + 9. Suppose j - 4 = 1. Let c be w(j). Suppose 24 = c*i - 0. Is i a multiple of 2?
True
Let u be 4/(-10) + 48/(-80). Let w = u - -6. Suppose w*s = 3*f - 0*f + 564, -5*s + 562 = -4*f. Is 20 a factor of s?
False
Let f = -19361 - -32122. Is f a multiple of 16?
False
Let w be (-6)/(-3) + ((-12)/4 - -2512). Suppose 4*l = 3*p + 909 + w, -2*l + 1728 = 3*p. Does 54 divide l?
False
Let a(s) = 39*s**3 - 19*s**2 - 31*s. Does 130 divide a(10)?
True
Suppose 0 = 4*p - 4*s - 2480, 2*p = 8*s - 12*s + 1246. Suppose -3*a + p = 3*j, -2*a - 198 = -3*a - 4*j. Is 12 a factor of a?
False
Let q(a) = 13*a - 114. Let i = -425 - -444. Is q(i) a multiple of 7?
True
Suppose 25*b = 28*b - 39. Suppose 5788 = b*f - 1414. Does 21 divide f?
False
Let j be (334/(-6))/(-3 + 60/18). Let d = j + 70. Let k = d - -198. Is 9 a factor of k?
False
Suppose 83*w - 80*w + 3*c = 3009, 3005 = 3*w + 2*c. Does 6 divide w?
False
Does 37 divide 235062/8 - 45/(-20)?
False
Suppose -4*m + 6*m - 4148 = -2*q, 2*m = 3*q - 6257. Is 32 a factor of q?
False
Let g = 2743 + -1925. Let a = g + -602. Does 24 divide a?
True
Let b(m) = 13 + 6*m - 21*m - 73. Does 40 divide b(-20)?
True
Let d be (-6 - (-22)/4)*-6. Let q be ((-45)/(-10))/((-3)/(-4)). Suppose -2*g + 2*r - 196 = -q*g, 156 = 3*g - d*r. Does 25 divide g?
True
Let f = 21 - 20. Let g be (-8 + f - -2) + 4 + 3. Suppose 3*i = 3, 2*u = -3*u + g*i + 648. Does 13 divide u?
True
Let s = 25107 - 7359. Does 313 divide s?
False
Suppose 6257 = -12*d + 797. Let q be d/(-4) - ((-5)/20 - 0). Let z = q - 81. Is z a multiple of 7?
False
Let k(t) = t**2 + 7*t + 21. Let i be k(-11). Is i + -4 - (-6 - -6) a multiple of 21?
False
Suppose 3*c + 2*t = 14 + 2, -c + 22 = 4*t. Suppose x + 0*x + c*p - 571 = 0, -5*x - 5*p = -2880. Is 83 a factor of x?
True
Suppose 7*z = 16 - 65. Let b = z + -26. Is 5 a factor of -1*(b + 3 - 0)?
True
Suppose -95 + 95 = 5*g. Suppose -i - 27 + 631 = g. Is 79 a factor of i?
False
Let g(b) = 999*b + 596. Is g(3) a multiple of 11?
False
Let i = 61 - 61. Suppose 0*t + 4*t - 456 = i. Does 14 divide t?
False
Let g = -6816 + 34301. Does 13 divide g?
False
Let i = 623 + -383. Suppose 11*f = 109 - 54. Suppose -7*w = -f*w - i. Is 17 a factor of w?
False
Suppose 6*m = 8*m - 600. Suppose -9*b - m = -11*b. Is 27 a factor of b?
False
Suppose r + 30 = 5*j, -j + 6*j - 4*r - 30 = 0. Let t be (18/8)/(j/16). Is 5 a factor of (-9 + 6)*(-34)/t?
False
Let c(t) = 8*t**3 + 4*t**2 - 4*t - 13. Let j(v) = 22*v**3 + 13*v**2 - 12*v - 42. Let g(l) = 19*c(l) - 6*j(l). Suppose 2 = 4*f - 2. Does 19 divide g(f)?
True
Let g(p) be the first derivative of -2*p**2 + 45*p + 4. Let h be g(11). Is -4*145/(-20) - 0/h a multiple of 17?
False
Let u(g) = -8*g - 2. Let v be u(5). Let x be v + 1 + (-3 - -7). Let p = x + 103. Is 25 a factor of p?
False
Suppose -2*d + 0*d = 5*z - 140176, -4*z = 8*d - 112160. Is z a multiple of 171?
False
Suppose 206 = -2*j + 2*f, -3*j - 4*f - 490 = -181. Let p = j - -210. Does 11 divide p?
False
Suppose 7*h - 30 = 13*h. Is 29 a factor of (2*3/h)/((-6)/435)?
True
Does 57 divide (-225)/(-18)*(-20)/(-50) - (-1 + -4133)?
False
Suppose 4*z + 60 = -a, 0 = 2*z - 0*a + 2*a + 24. Let y(t) = -41*t + 43. Is y(z) a multiple of 40?
False
Suppose 917*i = 918*i - 3, -5*l = -4*i - 30018. Is 14 a factor of l?
True
Let c = -2718 + 17755. Suppose 0 = 24*y + c - 58333. Is 30 a factor of y?
False
Is (16/10*(-305)/(-732))/((-1)/(-12198)) a multiple of 10?
False
Let p(l) = -l - 6. Let s(d) = d**3 - 11*d**2 + 8*d + 5. Let v be s(10). Let b be p(v). Suppose -4*k + b*k - 150 = 0. Is k a multiple of 17?
False
Suppose 4002 + 665 = 13*g. Let n = g + 272. Is n a multiple of 50?
False
Let l be (-4 - (-2)/2) + -42 + 44. Let t(m) = 117*m**2 + 7*m + 5. Does 75 divide t(l)?
False
Suppose 5*j - 46*j + 427770 = 8*j. Is j a multiple of 45?
True
Let s = 177 - 170. Suppose 3*g + 8 = s*g, -l + 5*g = -34. Is 5 a factor of l?
False
Is 10 a factor of (-47)/(-141) + 1289/3?
True
Suppose 2*d = -w + 1012, -5*d = 2*w - 1105 - 918. Is w a multiple of 6?
True
Suppose 4*t - 6 = -2*a + 2, -5*t + 2*a = -19. Suppose t*p + 2273 = 6*p - 5*y, 0 = p + 5*y - 751. Is 36 a factor of p?
True
Let b(i) = -i**3 + 5*i**2 + 8*i + 2. Suppose -12*o = -2*o - 80. Let g be b(o). Does 10 divide g/35 + (-4)/10 + 15?
False
Is -34 + 5993 - (-9)/3 a multiple of 36?
False
Let t = 281 + -133. Suppose 200 = 6*m - t. Is m a multiple of 53?
False
Suppose 0 = 5*q - 2*q - 2*j - 2003, 16 = -4*j. Let r = q + -555. Is r a multiple of 10?
True
Let f(g) be the third derivative of g**8/20160 + g**7/840 + 29*g**6/720 + g**5/10 + 22*g**2. Let a(v) be the third derivative of f(v). Does 28 divide a(-9)?
True
Let k be 264 - (2/(-10) - (-14)/(-5)). Suppose 0 = -6*q + k + 117. Suppose -2*a + q = -44. Does 29 divide a?
False
Is ((-8370)/1550)/((-2)/5230) a multiple of 9?
True
Let n = -143 - -143. Suppose -11*g - 10*g + 3045 = n. Is 12 a factor of g?
False
Is 3 a factor of 27741/8 - (-1)/((-72)/(-27))?
True
Suppose 0 = r - 4*p - 19878, -4*r + 18*p - 13*p + 79556 = 0. Is 29 a factor of r?
True
Suppose -6 = 2*n, -3975 = -79*f + 77*f - n. Does 51 divide f?
True
Suppose -7*x - 183 = -442. Let h = 23 - x. Does 7 divide 3/6*h - -4 - -87?
True
Suppose 5*z + 4*h = 9245, 0 = 3*z + 4*h - 1482 - 4073. Suppose -2*i = 5*r - 729, -2*i - 5*r = 3*i - z. Does 31 divide i?
True
Let o be 272/(-72) - 2/9. Let l be (-38)/(-8) - o/(-48)*-3. Suppose y + y + 364 = l*d, -5*d = 2*y - 356. Is 18 a factor of d?
True
Let h = -24 - -31. Suppose -4*c + 3 = -h*c. Does 19 divide (-4)/((-24)/573) - c/(-2)?
True
Let x(m) be the first derivative of 9*m**5/10 - m**4/12 + m**3/6 - m**2 + 23*m + 29. Let u(w) be the first derivative of x(w). Is u(2) a multiple of 28?
True
Suppose -10347 = -18*a + 50945 - 38. Does 7 divide a?
False
Let m(u) = 18*u + 25. Let i be m(3). Let s = i + -61. Suppose 0 = 15*v - s*v + 132. Does 36 divide v?
False
Let w be (-43173)/(-26)*(-2)/(-3). Suppose w + 1904 = 5*c + 2*t, 3*t - 3009 = -5*c. Does 36 divide c?
False
Suppose -15*v + 165 = -0*v. Suppose -v*u + 21 = -45. Suppose 100 = u*m - 668. Is 15 a factor of m?
False
Let p(t) = 22*t**2 + 18*t - 302. Does 42 divide p(-13)?
False
Suppose 5*j = 5*o + 4618 - 35343, 3*o = -4*j + 18484. Is o a multiple of 56?
False
Let t(a) = 5*a + 358. Suppose 4*n + 4 = 2*p, -4*p - 3*n - 6 + 3 = 0. Does 24 divide t(p)?
False
Suppose 0*u - u + 5*r = 4, 0 = 2*r - 4. Let d(g) = g**2 - 3*g - 6. Let n be d(u). Suppose 14*m = n*m + 70. Is 35 a factor of m?
True
Let b be 2/(-8) - 12*18/32. Is 3 a factor of (0 - 2)*(5 - b/(-1))?
False
Suppose -25*g + 29*g = 20. Suppose f + g*s = 63, -f - 5*s - 73 = -2*f. Is 24 a factor of f?
False
Suppose -4*n = -3*y + 1, -3*n + 3*y + 18 = 7*y. Let j = n + -43. Let c = j - -81. Is 8 a factor of c?
True
Let a = -3 + 39. Let l be 18/a*(41 - 1). Suppose -4*m = -7*j + 6*j + l, -4*j = 5*m - 101. Is j a multiple of 6?
True
Is 5 a factor of (8 - 228)*7/(210/(-24))?
False
Let x = -69 + 77. Let t(l) = -2*l - x - 1 - 1 - 5. Is t(-12) a multiple of 4?
False
Suppose -134*t = -1103344 + 400246. Does 11 divide t?
True
Let o = 19230 - 15690. Is 20 a factor of o?
True
Is (5/(-45)*2 - 64433/(-9)) + -2 a multiple of 5?
False
Let b be 208 - ((-12)/(-3))/1. Let t be 0 + 7/(14/b). Suppose -9*a + t = -6*a. Is a a multiple of 9?
False
Suppose -o + 56 = 3*k, 0 = k - 3*o - o - 36. Let w(s) = -s**3 + 20*s**2 + s - 6. Let m be w(k). Suppose 0 = m*a - 15*a + 28. Is a a multiple of 4?
True
Let z = 48208 + -37352. Is z a multiple of 92?
True
Let u(j) = -2*j**2 + 7*j - 55. Let r(f) = -f**2 + 4*f - 27. Let m(a) = -13*r(a) + 6*u(a). Let n be m(9). Is -15*((-25)/n - 6/(-8)) a multiple of 5?
True
Suppose -32 = 10*n + 48. Let h be ((-2)/n)/((-17)/(-102))*-56. Is 9 a factor of (-11)/(66/h) + -5?
True
Does 19 divide (90717/22 + 0)*2?
False
Suppose 2*j + 7*x - 15 = 4*x, -5*j + 2*x + 9 = 0. Su