et r(j) = -j - j**3 + 9*j**2 - 41776 - 3*j + 41762. Does 10 divide r(i)?
False
Let v(z) = z**2 - 17*z + 21. Suppose -3*i = -5*k - 112, -6*i + 3*i = 4*k - 67. Is 41 a factor of v(i)?
True
Suppose 20*i + 16 = 24*i. Suppose -4*z - 4 = 3*l, -3*l + 3*z = i - 7. Suppose 4*y - 16 = l, 0*o + 2*o = -y + 578. Is o a multiple of 41?
True
Let p(n) = -5*n - 40. Let d be p(-8). Suppose -3*c + 65 + 745 = d. Is c a multiple of 19?
False
Let p = -10080 - -20013. Is p a multiple of 8?
False
Suppose 20758 = 4*i - 2*b, 329*b - 333*b = 4. Is i a multiple of 39?
False
Let k(w) = -w**2 + 11*w + 96. Let g be k(-17). Let q = -184 - g. Is q a multiple of 3?
False
Suppose -4*a + 4*m = 64, -a + 4*m - 1 = 8*m. Let b = 350 - a. Does 33 divide b?
True
Suppose 2*g + 42*y = 46*y - 4, -10 = -5*y. Suppose 0 = -5*r - 5*t + 175, -r = -g*t - 27 - 11. Is r a multiple of 18?
True
Suppose 0 = 35823*b - 35838*b + 141855. Is b a multiple of 49?
True
Let o = 8368 + -4944. Does 22 divide o?
False
Suppose 21*x + 13*x - 341292 = 128928. Is 6 a factor of x?
True
Let m(b) = 110*b**3 - 2*b**2 + 4*b - 2. Let w be m(1). Suppose r - 40 = -4*u, 5*r = -8*u + 6*u + w. Does 5 divide r?
True
Let j(i) = 37*i + 2. Let n(y) = -3*y + 13. Let h be n(5). Let k be j(h). Let o = k - -122. Does 9 divide o?
False
Let m be (105/(-63))/(20/144). Let p = 93 - 64. Let b = p + m. Is 2 a factor of b?
False
Is (5 + (-8938)/10)/((-4)/10) a multiple of 11?
True
Suppose -47*o + 89349 = -13*o + 5*o. Is o a multiple of 2?
False
Suppose -11*h = -16*h - 2*k + 1190, -h + 4*k = -216. Let l = 11 + -145. Let i = l + h. Does 6 divide i?
True
Let d = -629 - -658. Suppose -13*b - 7232 = -d*b. Is 87 a factor of b?
False
Suppose 6*v - 23692 = 4*d, 35*d - 32*d + 3 = 0. Is 94 a factor of v?
True
Suppose -3*q - 3*c = -56190, 107*c = 2*q + 102*c - 37481. Is q a multiple of 230?
False
Let o be 368/88 - (-6)/(-33). Suppose -2*i = 5*r + 27, 0 = -i + 2*i - 5*r - 24. Does 18 divide o + (15 - (2 + i))?
True
Let w = 71 - 17. Suppose 8*m - 629 = 635. Let l = m - w. Is 7 a factor of l?
False
Suppose -l = 4*d - 5 + 4, -4*l + 3*d + 23 = 0. Suppose -l*r = -18*r + 5616. Is 36 a factor of r?
True
Let o(g) be the second derivative of g**5/20 + g**4/6 + g**3/6 - g**2 + 9*g - 3. Does 23 divide o(3)?
True
Suppose 2 - 14 = -4*y, 5*y + 8201 = 4*q. Does 158 divide q?
True
Is 12 a factor of (-34)/(30 + -234) + (0 - (-51478)/12)?
False
Is 36*(-11)/(-44) - (-135 - -4) a multiple of 7?
True
Let v = 8314 + -4938. Is 11 a factor of v?
False
Let f(o) = 4*o**3 - 8*o**2 - 6*o + 26. Let c be f(9). Let d = -1571 + c. Is d a multiple of 12?
False
Suppose 145*c - 148*c + 576 = 0. Is (c + -1 - 9)/2 a multiple of 2?
False
Suppose -4*o + r = 18, -o - o + r - 8 = 0. Let c be 7808/(-20) - (-3)/o. Is c/(-3) + (56/12)/7 a multiple of 14?
False
Suppose -14*p + 638 = -12*p. Let c = p - 214. Is 21 a factor of c?
True
Suppose 26*v = 15*v + 9405. Suppose -3*n - 2*d + 319 + 179 = 0, 5*n - v = 5*d. Is 42 a factor of n?
True
Let g be ((-2)/(-6))/(4*2/(-8376)). Let w = -111 - g. Does 40 divide w?
False
Does 5 divide 20/(-15) - 17/(357/(-44002))?
False
Suppose -6*g = 4563 - 13239. Is (0 + g/(-15))*(-10)/4 a multiple of 13?
False
Let o(h) = h**3 - 4*h**2 - 18*h - 22. Let z(c) = c**2. Let l(p) = o(p) - 3*z(p). Does 3 divide l(10)?
False
Suppose 13*n + 4 = 17. Is 25 a factor of (3 - n)*(-5200)/(-5 + -8)?
True
Suppose -5*h = 25, -10*s + 15*s - 26810 = -3*h. Does 73 divide s?
False
Let o = -311 + 795. Let c = o - 19. Suppose 19*b - 16*b - c = 0. Does 26 divide b?
False
Let b(i) = -i**2 - 6*i - 6. Let u be b(-3). Let x(g) = g**u + 10 + 4 - 2 + 4*g**2 - 4*g + 5*g**2. Is x(-9) a multiple of 7?
False
Suppose -3*q + 3463 = -998. Is q a multiple of 3?
False
Let c = 19816 - 11027. Is 47 a factor of c?
True
Let j = 12058 + 120. Is j a multiple of 61?
False
Let g = -27 + 1. Let w = -26 - g. Suppose w = -2*a, 2*k - 3*a - 84 = k. Is 28 a factor of k?
True
Let j(g) be the first derivative of 19*g**2/2 + 4*g - 3. Suppose 3*l = k + 9, -l = 3*l - 4*k - 4. Is 18 a factor of j(l)?
False
Let x(z) = -z**3 + 2*z**2 + z - 30. Let j be (6 - 6)*(-1)/(-3). Let s be x(j). Let w = 41 + s. Is 11 a factor of w?
True
Let d(r) be the first derivative of 15/2*r**2 + 1/3*r**3 + 9 + 11*r. Is d(-17) a multiple of 9?
True
Let r = -1 - -4. Let o(v) be the third derivative of v**5/2 - v**4/4 + 2*v**3/3 + 2*v**2. Is o(r) a multiple of 32?
True
Suppose j = -5*r + 18147, 4*r - 9807 = -2*j + 4707. Is r a multiple of 110?
True
Suppose 0 = 2*x - 11*x + 6210. Suppose -3*d + 5*o + 682 = 0, -3*d - 6*o + x = -3*o. Is d a multiple of 17?
False
Let w = 11494 - -4436. Does 15 divide w?
True
Suppose -6*b + b = 180. Let c = -34 - b. Is 10 a factor of 24/(24/80 + (2 - c))?
True
Suppose 104*k - 7 = 103*k. Suppose 3264 = 15*y - k*y. Is y a multiple of 68?
True
Let t(p) = -18*p**3 + 4*p**2 + 8*p + 6. Suppose -41*m + 36*m - 10 = 0. Does 20 divide t(m)?
False
Suppose -t = -a - 2044, -4900 - 3248 = -4*t - 3*a. Does 17 divide t?
True
Let n(s) be the third derivative of -s**5/60 - 3*s**4/4 - 49*s**3/6 - 6*s**2. Suppose 104*o - 103*o + 11 = 0. Does 5 divide n(o)?
False
Let q(o) = o**3 + 7*o**2 + 10*o + 14. Let j be q(-8). Let a = 130 + j. Suppose -9*c + 209 + 385 = a. Is c a multiple of 6?
True
Let a = 104 + -67. Let l = a + 31. Is 17 a factor of l?
True
Let v be 4 + (10/(-5) - -317). Let u = 638 - v. Is 45 a factor of u?
False
Suppose 0 = -5*u + 4*w, 3*u - 4*w - 8 = -0*w. Is 7 a factor of (u/10)/((-9)/2835)?
True
Let k(w) = 99*w**3 - 4*w**2 + 5*w - 6. Let m(a) = -a**2 + a - 2. Let t(v) = k(v) - 5*m(v). Is 50 a factor of t(2)?
True
Let l = -60 - -33. Is l/6*-122 - 10/(-2) a multiple of 12?
False
Suppose 73*x = 92*x - 13034. Is x a multiple of 3?
False
Let c(j) = -6*j**2 - 740*j - 612. Is 214 a factor of c(-83)?
True
Let y(r) = r**3 - 8*r**2 + r - 8. Let w be y(8). Is 13 a factor of w + 87 - 56/(-14)?
True
Let t(k) = 4*k**2 + 3*k + 1. Let r(q) = 2*q + 2. Let d be r(1). Let w be t(d). Suppose -i + w + 11 = 0. Is i a multiple of 22?
True
Let o(c) = -5*c**3 - 81*c**2 + 21*c + 31. Is o(-17) a multiple of 5?
True
Let o(j) = -5*j - 2*j**2 - 24 - j**3 - 4*j**2 + 16*j - 5*j**2. Let f be o(-12). Is 10 a factor of f/(-54) + 1/(18/4460)?
False
Let s = -15 + -69. Let n = 132 + s. Is n a multiple of 12?
True
Let w(x) = x**2 - 13*x - 47. Let k be w(-5). Suppose 330 + 3884 = k*p. Is 7 a factor of p?
True
Let s be (-1)/(-5) + 282402/15 + -1. Suppose 15*v + 4726 = s. Is 21 a factor of v?
False
Let s(b) = -4*b**3 - 19*b**2 + 3 + 29*b + 9 - 21*b**2 + 2*b**3. Is s(-21) a multiple of 36?
False
Does 213 divide ((-12)/9*-6)/(3 + 25014/(-8340))?
False
Suppose -d + 6188 = 4*m, 2*m = 5*d - 16889 - 13941. Is 14 a factor of d/63 - 22/(-231)?
True
Let c = -56 + 48. Let b be 2/c - 36/(-16). Suppose 468 = 11*t - b*t. Is 11 a factor of t?
False
Suppose 2*o + 5*i = 14413, 4*o + 2*i - 13861 = 14941. Is 23 a factor of o?
True
Let r = 88571 - 62100. Is 96 a factor of r?
False
Suppose -3*s + 84 - 75 = 0. Suppose s*d - 1075 = -l, 1793 = 3*d + 2*d + l. Does 37 divide d?
False
Suppose 0 = 3*a + 4*a + 1414. Suppose 1351 + 73 = -4*o. Let q = a - o. Is 22 a factor of q?
True
Is 8/(-26) + 2931854/221 a multiple of 18?
True
Let a(h) = 63*h + 33. Let u be a(8). Suppose -4*p + 1068 = 4*q, -2*q + 0*p + u = 3*p. Does 33 divide q?
True
Let u(v) = -v**3 + 13*v**2 + 13*v + 16. Let z be u(14). Suppose z*l + 10 = p, p + l = 12 + 7. Suppose -672 = 10*c - p*c. Does 16 divide c?
True
Let h be (((-2)/4)/(6/24))/(-2). Is ((55 + 4)*1)/h a multiple of 8?
False
Let f(h) = -8*h + 27*h - 4*h - 15 - 2*h**2. Let u be f(6). Suppose 0 = -4*c + j + 268, j = u*c - 89 - 113. Does 18 divide c?
False
Let j = -195 + 76. Let g = j - -15. Let v = 178 + g. Is v a multiple of 13?
False
Let l = 532 + -454. Does 31 divide (8 + -2 - l)*(-68)/8?
False
Let z(u) = 62*u**2 - 264*u + 63. Does 20 divide z(-10)?
False
Let u = 329 - 192. Let d(a) = a**2 + a - 81. Let o be d(0). Let h = o + u. Is 28 a factor of h?
True
Let c be 9/2 - (-2)/4. Let v(l) = 6*l**2 - 7*l - 2. Let t be v(c). Let h = -64 + t. Does 13 divide h?
False
Does 47 divide (2 - 2)/(-2) - (4007 + -5)/(-23)?
False
Let b(m) = -58 + 107 - m - 36 + 11*m**2 + 8*m**3 - 7*m**3. Let h(z) = 5*z - 1. Let f be h(-2). Is b(f) a multiple of 9?
False
Is 803050/175*(5 - -2) a multiple 