of 17*b**4/24 + 128*b**3/3 - b**2 + 4. Does 8 divide d(-11)?
False
Let i(h) = 184*h + 62. Let s be i(6). Let n = s - 567. Is 82 a factor of n?
False
Let n = -38 - -43. Suppose 0*f - 2*f = -u + 2, -f - 19 = -n*u. Suppose y + 4*y = -15, -128 = -4*c - u*y. Does 18 divide c?
False
Suppose 4*n + 4*k - 1992 = 0, 0 = 5*n - 0*n + 4*k - 2495. Let s = 561 - n. Does 22 divide s?
False
Suppose 3*h = -z + 1812, -200 - 3396 = -2*z + h. Is z a multiple of 25?
True
Let s be -10*(169/26 + -7). Let c = -1 + 6. Suppose 2 + 16 = g - 2*m, c*g - 65 = s*m. Does 4 divide g?
True
Let z(d) = -2*d**3 - d**2 - d - 4. Let v(s) = -5*s**3 - 2*s**2 - s - 9. Let m(n) = -3*v(n) + 7*z(n). Suppose -h + l = 3*l + 6, 5*l + 25 = 0. Does 9 divide m(h)?
False
Suppose 0 = -4*r - 4*o, 4 = 3*r + 4*o + 3. Does 37 divide (74/6)/(r/(-33))?
True
Let i = 2971 + -1872. Is i a multiple of 7?
True
Suppose -3*m - 248 = 4*t, -78*t + 77*t + 223 = -3*m. Let v = m - -380. Is 19 a factor of v?
True
Let a(u) = u**3 - 8*u**2 + 10*u + 23. Let d be a(6). Suppose d*k = 15*k - 388. Does 19 divide k?
False
Let i(q) = -q + 5. Let a be i(-8). Let u = a - 9. Does 21 divide (-47 - (-8)/u)*-4?
False
Let s = 23010 + -4609. Is s a multiple of 141?
False
Suppose i - 22*a = -18*a, i - 18 = -5*a. Is 12 a factor of 6602/5 - i/20?
True
Suppose 199 = 3*j + 2*a, 0 = -3*j + a + 3*a + 169. Let f = 4364 + -4315. Let q = j + f. Is 28 a factor of q?
True
Let n(c) = 78*c**2 - 2*c - 1. Does 5 divide n(2)?
False
Suppose -100*x - 63*x + 517440 = 33*x. Is 8 a factor of x?
True
Let f(j) = 2*j**3 - 27*j**2 - 13*j - 10. Let p be f(14). Suppose g = -p, 2*s - 6*g = -11*g + 828. Is s a multiple of 53?
True
Does 8 divide 2214/(((-260)/50)/(-13))?
False
Let u(a) be the first derivative of a**4/4 + 17*a**3/3 - 43*a**2/2 + 25*a + 25. Is 41 a factor of u(-18)?
False
Suppose 365 = 18*a + 113. Is 20/210*1515 + (-4)/a a multiple of 6?
True
Let l(f) = -f**3 - 71*f**2 - 143*f + 44. Does 69 divide l(-69)?
False
Let i be 26 + 16/(24/(-3)). Is 8/(i/15) + 210 a multiple of 6?
False
Let v = -1048 - -1781. Suppose 12*f - 5773 = -v. Does 14 divide f?
True
Suppose -5*j - 15*j = -26440. Suppose 7*p - j - 2850 = 0. Is 66 a factor of p?
False
Let j(s) be the third derivative of 1/15*s**5 - 15*s**2 + 0*s**3 + 0*s + 1/12*s**4 - 1/120*s**6 + 0. Is 5 a factor of j(3)?
True
Suppose 220 - 196 = 4*n. Suppose 0 = n*l + 16 - 22. Is (25/(-75))/(((-1)/366)/l) a multiple of 25?
False
Suppose 176 = -2*h + 636. Suppose 2*t - 448 - h = 0. Does 42 divide t?
False
Let s(t) = -2*t + 961. Let n be s(0). Suppose n = 10*j - 2039. Does 18 divide j?
False
Suppose -3*v = -3*b + 5*b - 3, -3*b = -v + 23. Is 8 a factor of ((-4)/(-2))/2 + (81 - b)?
True
Let t = 832 + -1438. Let s = t + 995. Is s a multiple of 17?
False
Does 19 divide 3 + (-2 - -20647) + -14*(-20)/70?
False
Let n be (2/7 - (-12)/7) + 207. Let m = 262 - n. Does 6 divide m?
False
Let i be (-3)/(6/(-4)) - (181 - 186). Let f(s) = 2*s**3 - 6*s**2 - 10*s + 25. Is f(i) a multiple of 38?
False
Let o(m) = -77*m**3 + 2*m**2 - m - 2. Let x be o(-1). Suppose -216 - x = -3*z. Suppose -v + 30 = -2*r, 52 + z = 5*v + 2*r. Is 10 a factor of v?
True
Suppose o = 3*k + 1, 0 = -2*k + k + 1. Suppose -284 + 36 = -y + o*z, 4*z + 512 = 2*y. Is y a multiple of 14?
False
Let f be (3 + -1 - 2)/(-2 + 1). Suppose 0 = -2*t - 2*i + 102, 63 = t - f*i + 4*i. Is t a multiple of 5?
False
Suppose 12049 = 168*z - 267503. Does 26 divide z?
True
Suppose -5*t + 6*t - 498 = 4*m, -244 = 2*m + 2*t. Is (-90)/(-3)*m/18*-6 a multiple of 20?
True
Suppose 199*p = 83556 + 633640. Is p a multiple of 9?
False
Let y(f) = -f**2 - 68*f + 268. Does 4 divide y(-69)?
False
Let f be 1 + (25*-6)/(-2). Let d = f - 75. Let b(m) = 222*m + 3. Is 48 a factor of b(d)?
False
Let y(p) = p**3 + 6*p**2 + 5*p. Let f be y(-4). Suppose 27 = s - 10. Let a = s - f. Is 5 a factor of a?
True
Does 55 divide ((-4516)/(-6))/(-7 - (-8 - (-70)/84))?
False
Let j = -664 + 334. Let u = 1098 + j. Suppose 0 = 3*q + 9*q - u. Is q a multiple of 8?
True
Let g = 25 + -5. Let a(k) = 38*k**2 + 15*k - g*k**2 - 29 - 19*k**2. Is 7 a factor of a(12)?
True
Let a(c) = c**3 - 11*c**2 + 8*c + 3. Let l be a(7). Suppose -7*m + 2886 - 975 = 0. Let b = l + m. Does 19 divide b?
False
Let a(v) = -101*v**3 - v**2 - v - 1. Let n = 159 + -160. Is a(n) a multiple of 8?
False
Suppose 274*f - 269*f + 16142 = 3*a, 0 = -5*f - 5. Does 33 divide a?
True
Let b(s) = -6*s + 5. Let m be b(0). Suppose 0*y + 28 = -4*y + 2*o, m*o = 2*y + 30. Does 30 divide y*(-6)/15 - -58?
True
Let s = 2 - 1. Let x be (s - -33)/2 - (-13)/13. Suppose w = -t - x + 158, 680 = 5*t - 5*w. Is 23 a factor of t?
True
Let s be (-48)/18 + (-11192)/(-12). Suppose -6*o = -3*f - 2*o + s, 0 = 5*f + 5*o - 1515. Is 17 a factor of f?
True
Let g = 86 - 79. Let w = 17 - 14. Suppose -w*u + 450 = g*u. Is u a multiple of 15?
True
Let u = 29838 - 16828. Does 5 divide u?
True
Let h(x) = -1037*x + 86. Does 12 divide h(-2)?
True
Suppose 85*m = 54*m + 76880. Is 16 a factor of m?
True
Suppose -4*j = -4*n - 18116, 10*j - 6*j - 2*n = 18106. Is 39 a factor of j?
True
Suppose 5*m - 34 = 76. Is (68/132 - 4/m)*591 a multiple of 18?
False
Suppose -133893 = -5*r + 3*q, r - 164*q + 165*q = 26785. Is r a multiple of 113?
True
Let u(s) = -3*s**2 + 27 + 53*s - 60*s + s**2. Let j be u(11). Let m = -104 - j. Is 23 a factor of m?
False
Suppose -287*u + 307*u = 177640. Suppose 7*y - u = -1063. Does 15 divide y?
False
Is 2 + (-35)/15 - ((-13834362)/18)/17 a multiple of 55?
True
Let z = 1191 - 1185. Let f be 13/3*(2 + 1). Is 8 a factor of -4 + 1 + f*z?
False
Suppose -2*f + 32848 = x - 0*f, 0 = 2*x + 3*f - 65694. Does 92 divide x?
True
Suppose -37*a + 34718 - 26332 = -79859. Is 53 a factor of a?
True
Let y be (-1)/(-3 - -2) - -1. Suppose 42 = -y*v + 4*v. Let m(g) = -g**3 + 19*g**2 + 44*g + 9. Is 34 a factor of m(v)?
False
Let c(q) = -222*q + 3657. Does 188 divide c(-96)?
False
Let w(o) = o**2 + 10*o + 13. Let y be w(-7). Let r be ((-12)/y - -2)*12/2. Let g = r - -39. Is g a multiple of 9?
False
Suppose -5*k + 8*z + 140 = 11*z, -5*z = 5*k - 130. Suppose 23*j = k*j - 1008. Is 9 a factor of j?
True
Is 9 a factor of (1899 - -12) + -2 + -1?
True
Let n(c) = 44*c**2 + 14 - 6 - 16*c + 19 + 6. Does 22 divide n(3)?
False
Suppose k - 2713 = 5*g, -k - 11*g + 15*g + 2708 = 0. Does 28 divide k?
True
Let j(p) = -3*p**3 - 39*p**2 - 5*p + 16. Let r be j(-13). Is 54/r + 403/3 a multiple of 11?
False
Let z(c) = 45*c - 24. Let n be z(-2). Let p = n - -286. Is 31 a factor of p?
False
Let g be 12/42 - (-46)/(-14) - -22. Suppose 0 = -2*x - 19 + g. Suppose 15*y - 17*y + 60 = x. Is 15 a factor of y?
True
Suppose 4*g = -2*l + 18708 - 120, 2*l = 12. Does 134 divide g?
False
Is 36 a factor of ((40/3)/((-264)/396))/(2/(-306))?
True
Suppose -2*a + 6*a + v = -37, -a = 5*v + 33. Is 8 a factor of 29 + (10/a)/((-21)/(-84))?
True
Suppose 123*d - 1019466 = 2776659 + 3507738. Does 15 divide d?
False
Suppose 22695 = 17*x - 25687. Suppose -x*s = -2840*s - 642. Does 2 divide s?
False
Let f = -453 - -456. Suppose 185 = -f*k + j + 2611, -5*j = -4*k + 3220. Does 18 divide k?
True
Suppose -17 - 7 = -4*s. Suppose 0 = -13*p + s*p + 168. Suppose -p*u = -22*u - 258. Is 43 a factor of u?
True
Suppose -s + 118 = -126. Let x = 190 + s. Is x a multiple of 62?
True
Is 16 a factor of 77756/6 - -4*24/144?
True
Suppose 0 = 2*m - 5*r - 331, 4*m = 2*r - 4*r + 602. Let w be (92*25/(-150))/(1/(-9)). Suppose -3*c - w = -f + c, -c = -f + m. Is f a multiple of 15?
False
Let a = -22 + 29. Let w(z) = 3*z - 9. Let h be w(a). Is -23*3*(-8)/h a multiple of 7?
False
Suppose -5*f - 7*g - 137 = -6*f, -4*g + 16 = 0. Does 20 divide f?
False
Let b = -475 - -760. Suppose m - b = -3*u, -4*m + 2*u + 2*u = -1060. Does 18 divide m?
True
Suppose 3*d - 72 = 78. Suppose -q + 2*o = -2*q + 10, -5*q + 5*o = -d. Suppose q*b = 15*b - 540. Is b a multiple of 18?
True
Let p be (-639)/5 + (-11)/55. Let k = 133 + p. Suppose -382 = -k*v + 7*u - 6*u, v - 2*u - 71 = 0. Is v a multiple of 25?
False
Let m = -8694 - -19749. Is m a multiple of 11?
True
Let t(l) = 111*l**2 + 35*l + 1. Does 7 divide t(-3)?
False
Suppose 7 = 3*f + 1. Let z = 4710 + -3917. Is 28 a factor of (f*-1)/((-26)/z)?
False
Suppose -85 - 71 = 6*k. Let d(v) = -2*v**3 - 49*v**2 + 44*v + 14. Does 24 divide d(k)?
False
Let c = -