 Does 20 divide a(-6)?
True
Suppose -t = t + 60. Let b = t + 43. Suppose b*r - 225 = -2*r. Is 5 a factor of r?
True
Let x(j) = -j - 5. Suppose -10 = -2*q, -2*q = -4*a + 2*q - 56. Let c be x(a). Is 31 a factor of (-1087)/(-7) + c/(-14)?
True
Let m(s) = 4*s + 12. Let j be m(-4). Let a be (3 + j)*4 - -38. Does 3 divide (a + 4 + -4)/2?
False
Let d(r) be the third derivative of r**4/4 - 35*r**3/2 - 58*r**2. Is 16 a factor of d(23)?
False
Suppose -8316 = -5*j + 1884. Let h = 2164 - 2162. Suppose j = h*x + 6*x. Is x a multiple of 51?
True
Suppose -2*y - 4500 + 39364 = -2*l, 4*l = 2*y - 34878. Does 41 divide y?
True
Let i = 12379 + -6779. Does 112 divide i?
True
Is 3 + (-2 - (20/45 - 837936/162)) a multiple of 13?
False
Suppose 0 = 24*v - 11*v + 13. Does 28 divide (v/(-1))/(-3)*375156/(-68)?
False
Let p = 5845 - 979. Suppose -818 = -28*j + p. Does 24 divide j?
False
Let m(r) = 2*r**3 - 4*r + 10*r + 9*r**2 - 18*r + 9*r + 1. Does 9 divide m(4)?
True
Suppose 0 = -j + 8 - 6. Suppose 3*g - 5*o = 1, -4*g + o - 3*o = 16. Is 4 a factor of (62 - 5)*j/6 - g?
False
Let m be (-9 + -2)/((-10)/540). Let g = -275 + m. Is g a multiple of 11?
True
Let t(x) = -9*x**2 + 3*x - 7. Let y be t(-5). Let f(s) = -14*s**2 - s - 1. Let u be f(5). Let g = y - u. Is 34 a factor of g?
False
Suppose -160 = -33*d + 533. Suppose 520 = d*t - 16*t. Does 4 divide t?
True
Let i(q) = 134*q**3 + 5*q**2 + 565*q - 1689. Does 4 divide i(3)?
False
Suppose -349*v + 350*v = -4*f + 9393, 2*f - 2*v - 4704 = 0. Is 29 a factor of f?
True
Let c = 9 + 14. Suppose -12025 = -139*k + 74*k. Let s = k + c. Does 13 divide s?
True
Suppose 3*i + 11340 = 3*u, -2*i = 37*u - 36*u - 3789. Is 13 a factor of u?
True
Let l(a) = 2*a + 14. Let i be l(-5). Suppose 4*m = -i*y + 992, 3*y + 2*y = -2*m + 1234. Suppose 7*w + y = 10*w. Is 21 a factor of w?
False
Let z(p) = 1572*p - 1327. Does 179 divide z(8)?
False
Suppose 3*b - 4*b + 2*c = -1570, -c - 7886 = -5*b. Suppose 4*a - 1582 = 5*m, 2*m = -4*a + 5*m + b. Does 41 divide a?
False
Let u = 6527 + -4367. Is 54 a factor of u?
True
Suppose d = 3*d - 1047 - 7929. Is 3 a factor of d?
True
Let o = 1006 - 225. Let k = 1141 - o. Is 40 a factor of k?
True
Let x(t) = 2 - 128*t + 126*t + 25*t**2 - 1. Is 7 a factor of x(-1)?
True
Let b(c) = -6*c**3 + 41*c**2 - c + 2. Let j be b(7). Suppose 347 = 3*r + 5*w, -393 = -4*r - 2*w + 65. Let z = r + j. Is 3 a factor of z?
True
Let a(u) = -9*u - 14. Let q be a(-9). Let c be (-3)/(9/(-30))*-4. Let m = c + q. Does 4 divide m?
False
Suppose 0 = -7*v - 4*v. Suppose 4*c - 1684 = -2*o, v*c + 3*o = -5*c + 2106. Is c a multiple of 12?
True
Suppose -191*v = -4574938 - 450167 - 863807. Is 94 a factor of v?
True
Suppose 4 = 4*y - 2*q, 2*q = -2*y + y + 11. Suppose k + 2*t = 3*t - 20, 4*k + y*t = -87. Let a = 86 - k. Is 27 a factor of a?
False
Let f = -361 + 394. Suppose f*z = 17*z + 2304. Is z a multiple of 30?
False
Suppose -5*f + 53702 = -18518. Is 73 a factor of f?
False
Let l(d) = -34*d - 134. Let q(k) = 65*k + 267. Let r(x) = -7*l(x) - 3*q(x). Is 20 a factor of r(13)?
False
Let x be (-228)/9 + (-2)/(-6). Let y(d) = -d**2 + 5*d + 24. Let a be y(14). Does 5 divide 2/(a/x + -4)?
True
Suppose -4*s - 3 = -5*d, -5*d + 3 = -3*s - d. Suppose -13*a = -s*a - 540. Is a a multiple of 6?
True
Suppose 3*m = -m + 20. Suppose -3*p + k - 109 = 0, 0*p + k = m*p + 181. Is 32 a factor of (-8)/p + (-574)/(-9)?
True
Let s(x) = -10*x - 53. Suppose a + 9 = -4*r, 5*a + 2*r - 5 = -86. Does 7 divide s(a)?
False
Let n(x) = 5*x**2 - 2*x - 5. Let l be (-3*2)/(-4 - 66/(-12)). Let v(t) = t**2 + t. Let p(a) = l*v(a) + n(a). Is p(11) a multiple of 10?
True
Let k = 3557 - 2813. Is k a multiple of 62?
True
Let t(z) be the first derivative of 50/3*z**3 - 11 - 3/2*z**2 + 0*z. Is 9 a factor of t(1)?
False
Suppose 3*g - 5*a - 51 = 0, -2*g + a + 39 = g. Let q be (g/(-4))/(4/((-1020)/9)). Let n = q - 29. Is n a multiple of 28?
True
Suppose -p + 0 + 9 = 0. Let x = 39 + -23. Suppose -x = p*u - 169. Is u a multiple of 17?
True
Let u = 403 - -30. Let q = -169 + u. Is 44 a factor of q?
True
Let f = 353 + -181. Suppose 3*o - 41 = -26. Suppose -4*y + f = o*m, -2*y = 3*m - y - 99. Is 8 a factor of m?
True
Let u = 38280 - -12562. Is u a multiple of 9?
False
Suppose 11*a = -1187 - 11177. Let x = -319 - a. Does 35 divide x?
True
Let p(d) = 0 - 46*d + 17 - 5 - 4. Let u be p(-6). Suppose -m + 3*r = m - 137, 4*r - u = -4*m. Is 14 a factor of m?
True
Suppose 895*d = 803*d + 784760. Does 9 divide d?
False
Let f(h) = h**3 - 3*h**2 + 2*h - 12. Suppose -30 = -6*l - 0. Is 3 a factor of f(l)?
True
Let d(s) = 52*s + 425. Let u be d(-14). Let z = 407 - 584. Let r = z - u. Is r a multiple of 14?
True
Let c(t) = -830*t**3 + 4 + 828*t**3 - 1 - 31*t + 33*t**2. Is c(14) a multiple of 19?
False
Suppose v - 59*v + 57171 = v. Does 3 divide v?
True
Let m = -589 - -928. Let y = 354 - m. Does 2 divide y?
False
Let y be (-15 - 4)/((-4)/68). Suppose -2*x = -291 - y. Suppose -x = -10*o + 403. Does 19 divide o?
False
Let b(c) = 72*c**2 - 11*c - 33. Let d(q) = -q**2 - q + 27. Let a be d(-6). Is 8 a factor of b(a)?
True
Suppose -3*q + 2*q + 125 = -v, -383 = -3*q + 5*v. Suppose -125 = -126*c + q*c. Is c even?
False
Suppose 4*z + 985 = 4*b - 3*b, 2*b + z - 1970 = 0. Suppose 0 = 8*t - 8609 + b. Does 74 divide t?
False
Let t(f) = 42*f + 253. Is t(51) a multiple of 18?
False
Let i(l) = 37*l**3 + 3*l**2 + 16*l + 29. Let m be i(-2). Let b = -173 - m. Does 3 divide b?
True
Let q be (-1 - 0)*3 - -7. Let g(p) = -3*p + q*p + 0 + 2*p - 3. Is 9 a factor of g(22)?
True
Suppose -43*b + 39*b + 876 = 0. Let s = -63 + b. Does 39 divide s?
True
Let y(k) = -k + 60. Let h be y(0). Let d(n) = 3*n + 2. Let o be d(1). Suppose -165 = -3*i - 4*s, -3*i + h + 105 = o*s. Is i a multiple of 11?
True
Let h = 92 - 88. Suppose h*t - 2*c - 702 = 0, 6*t + 5*c - 695 = 2*t. Suppose 23*y - 16*y - t = 0. Is 4 a factor of y?
False
Let d be 0 + 849 - (-18 - -20). Suppose -13*k = -d - 1103. Is 10 a factor of k?
True
Suppose -12*d + 2*c + 9698 = -7*d, -5*c = 20. Is 19 a factor of d?
True
Suppose 0 = 3*c - 13 - 11. Let t = 231 + -155. Let f = t + c. Is f a multiple of 12?
True
Let k(t) be the second derivative of t**4/12 - 5*t**3/6 - 6*t**2 + 36*t. Let y be k(7). Does 11 divide -4 - -5 - (y - 104)?
False
Let t(f) = -f**2 + 15*f + 3. Let y be t(15). Suppose 9 = 6*b - y. Does 8 divide (270/36)/(1/b)?
False
Suppose -23 - 45 = -h. Suppose t - 157 = h. Does 45 divide t?
True
Suppose -2336*h + 2308*h = -54796. Does 3 divide h?
False
Let g(f) = -41*f**3 - 2*f**2 - 3*f - 1. Suppose -4 = -4*m - 8. Let h be g(m). Let v = h - -23. Is 45 a factor of v?
False
Suppose 4*n + 3*v + 7 = 0, 0 = -4*n - 0*n + 3*v + 23. Let z(r) = -10*r - 7*r - 118*r**n + 40 + 119*r**2. Does 4 divide z(17)?
True
Is ((-9)/(-42))/((-3)/4) + 830/14 a multiple of 40?
False
Suppose -3*p + 21 = 0, 12*n = 9*n - 4*p + 178. Does 10 divide n?
True
Let q(b) = -91*b + 67*b + 4*b**2 - 15*b**2 + b**3 + 44*b. Let o = -4 - -13. Does 6 divide q(o)?
True
Let z be (3/(-12) - (-72)/32) + -1. Does 29 divide 4/(z*(-10)/(-1015))?
True
Let j = -747 + 763. Suppose j*n + 522 = 3802. Is n a multiple of 41?
True
Suppose -i = 3*y - 96, 5*i - 4*y - 276 - 166 = 0. Is 18 a factor of i?
True
Let k(u) = u**2 + 0*u - u + 0*u + 6 - 5. Let r(n) = -43*n**3 - 6*n**2 + 6*n - 7. Let g(h) = 6*k(h) + r(h). Does 21 divide g(-1)?
True
Let z(r) = 27*r + 2062. Is 4 a factor of z(51)?
False
Let z(v) = 33*v + 193. Let k be z(-6). Let g(c) = -45*c - 50. Does 35 divide g(k)?
True
Let b(n) = 6 - 5*n**3 + 2*n**2 - n + 2*n**3 + 0*n**3. Let f be b(-3). Suppose -3*m + h + f = 0, 2*h = -2*m - h + 61. Does 10 divide m?
False
Suppose 0 = 260*p - 140770 - 678230. Is 35 a factor of p?
True
Let r = 15198 - -1550. Does 11 divide r?
False
Suppose 30*u - 17 = 43. Suppose -4*d + 1703 - 508 = y, -u*d = -4*y - 584. Does 18 divide d?
False
Let b be (-6)/(-10) + 51/(-85). Suppose b = -3*w + 520 + 569. Is w a multiple of 37?
False
Suppose 2*i = i - 1, d - 2*i = 839. Let h = -392 + d. Does 22 divide h?
False
Let x(f) = -128*f**3 + 5*f**2 - 6*f + 2. Let k(y) = 256*y**3 - 11*y**2 + 13*y - 4. Let b(g) = -6*k(g) - 13*x(g). Is 2 a factor of b(1)?
False
Let b = 119 - 56. Let v = 47 - b. Is 9 a factor of (2760/96)/((-2)/v)?
False
Let s(q) = 8*q - 125. Let r be s(15). Let l(p) be the