8. Suppose i*a + 3*j = -2*a + 83, -4*j = -5*a + 76. Is 8 a factor of a?
True
Let b(t) = -5*t - 3. Let f be b(-5). Suppose 3*y - f = -16. Suppose -3*o + 4*o + 2 = -y*q, -4*o = -2*q - 32. Is 3 a factor of o?
True
Suppose -3*m + 2 = -4. Let x be 3/15 - m/10. Is 6/((-1)/(-3) - x) a multiple of 9?
True
Let t = -1282 + 1777. Is t a multiple of 33?
True
Let j = -7675 - -12734. Is j a multiple of 27?
False
Let d = -117 + 216. Suppose z = -4*v + 136, z - 2*v = 7 + d. Does 29 divide z?
True
Let l(a) = -43*a + 3. Let v be l(5). Let b = v - -138. Let c = 130 + b. Does 28 divide c?
True
Let b = -105 - -99. Is 3*71*(2 + b - -5) a multiple of 59?
False
Suppose 0 = 39*o + o - 67600. Does 10 divide o?
True
Suppose 2*p = -2*r + 24, -r = p + 2*r - 10. Let h = p - -127. Is h a multiple of 31?
False
Suppose -2*v + 6*v = -3*t + 3191, 3186 = 3*t + 3*v. Does 70 divide t?
False
Let g(s) = 8*s**2 - 25*s + 193. Does 42 divide g(23)?
False
Suppose -560 = -5*p - 5*j, 48 = 4*p - 4*j - 392. Is p a multiple of 3?
True
Suppose 2*t + d - 4 = 0, -28 = -3*t + 5*d - 9. Suppose -t*v + 42 = -v. Is 6 a factor of v?
False
Let j be 6/(-4) - (-120)/16. Suppose -459 = -j*c - 3*c. Does 6 divide c?
False
Let n = 9 - 5. Suppose -4*u + n*y + 76 = 0, 3*u + 2*u = -4*y + 50. Let r = u - -22. Is r a multiple of 18?
True
Let y(l) = 24*l - 20. Let d be y(2). Suppose d*h - 624 = 26*h. Is 19 a factor of h?
False
Suppose 0 = 5*r - 3*h + 8, -2*r + 1 - 6 = -3*h. Let m = r + 56. Is m a multiple of 11?
True
Suppose -11 = -5*r - 26. Let n = r + 8. Suppose 2*m + 43 = n*u, 0 = -3*u - u + 5*m + 31. Is 3 a factor of u?
True
Let i(y) = -y**3 - 18*y**2 - 20*y + 19. Is i(-17) a multiple of 13?
False
Let j(f) = f**2 - 5*f - 338. Let u be j(21). Let s(g) = 4*g**2 - 2*g - 5. Let q(h) = 3*h**2 - 2*h - 6. Let i(v) = -3*q(v) + 4*s(v). Is i(u) a multiple of 10?
True
Suppose 3*i - 2*t + 392 = 8*i, 3*t = 2*i - 172. Does 16 divide i?
True
Let d(n) = -43*n + 139. Is 23 a factor of d(-8)?
True
Let t be 0/(-2)*14/28. Suppose t = 2*r - 116 - 104. Suppose -5*x = -0*x - r. Is x a multiple of 22?
True
Suppose 5*i + m - 79 = 0, 5*i - 7*i - 4*m + 46 = 0. Is i a multiple of 2?
False
Does 10 divide 3552/176 + 4/(-22)*1?
True
Let h = 8 + -6. Suppose 0 = -4*p + 9*p - 230. Is 23 a factor of (p/(-3 + 4))/h?
True
Let i = 2170 - 994. Is 42 a factor of i?
True
Let l be (102/10)/(2/10). Let b = 40 + l. Let i = -48 + b. Does 24 divide i?
False
Let l(s) = -s**3 - 6*s**2 + 6*s + 4. Let j be l(-7). Let k(u) = -u**3 + u + 7. Let o be k(0). Suppose o*r - j*r = -40. Is r a multiple of 5?
True
Let m(w) = w + 1. Let x be m(-7). Let z(u) = -5*u**2 - 4*u - 3. Let l(t) = -4*t**2 - 5*t - 4. Let c(n) = x*z(n) + 5*l(n). Does 18 divide c(-2)?
False
Suppose 4*l = 3*y - 20, -2*l = -5*y + l + 15. Suppose -3*h + y*h + 69 = 0. Is h a multiple of 5?
False
Let w(m) = m + 3*m**3 - 9 + 0*m**3 + m**3 - 3*m**3 - 12*m**2. Let a be w(12). Suppose -3*y + 20 = -4*t, -a*t + 28 = y + t. Is y a multiple of 7?
False
Let s = -200 - -713. Does 27 divide s?
True
Let d(f) = -214*f + 11. Is 72 a factor of d(-5)?
False
Suppose -4*d + 190 = 5*r, -4*r = -d + 32 - 205. Is (-4 - -7) + r + -2 a multiple of 7?
False
Let t be (-2)/(-1) - (0 - 1). Suppose -4*r = -3*r + t. Is 1*-3*14/r a multiple of 14?
True
Let x = 70 - -89. Let w = -111 + x. Does 5 divide w?
False
Let b(h) = -h**3 + 6*h**2 + 5*h - 12. Suppose -10*a = -11*a + 4. Does 5 divide b(a)?
True
Suppose 9*p = 11*p. Suppose p = d - 86 - 193. Is d a multiple of 33?
False
Let f(o) = -49*o**3 - 2*o**2 - 3*o - 2. Let u be f(-1). Suppose 0 = 2*z - g - 2*g - 24, 4*z - 4*g - u = 0. Does 6 divide z?
True
Let b(z) = 4*z - 1. Let l be b(-3). Let i = l + 2. Let t = i + 37. Does 26 divide t?
True
Suppose -3*b - 2*n + 56 + 12 = 0, -4*n - 32 = -b. Suppose -2*a + b = -0*a. Does 7 divide a?
False
Let v be 1*(-6)/(-3) + 3 - -1. Let f(a) = a**3 - 5*a**2 + a + 8. Does 10 divide f(v)?
True
Suppose 2*n + 0*n - 8 = 0. Suppose 6*j = n*j + 50. Is j even?
False
Let k(j) = j + 2. Let n be k(2). Suppose -3*i = -5*a - 304, -i - n*a = 2*i - 340. Suppose 4*t - f = i, 20 + 12 = 2*t + 5*f. Is t a multiple of 26?
True
Let v = -110 + 288. Is v a multiple of 22?
False
Let x be (-1 - -2)/((-4)/(-260)). Suppose 2*r - x + 27 = 0. Is 13 a factor of r?
False
Suppose -10*t = -9*t - 203. Suppose t = 4*h - 5*o, 2*h - 3*o = -7*o + 82. Is 5 a factor of h?
False
Let q be 3 + 1 + -12 + 0. Let t = 11 + q. Is 21 a factor of -3 + 0 + t - -105?
True
Suppose -487 + 2564 = 5*w - 3*q, 0 = w + 5*q - 393. Is 31 a factor of w?
False
Suppose -4*p - u = 4*u - 80, -3*p + 4*u = -91. Let j = 19 + p. Suppose -j - 32 = -4*r. Does 10 divide r?
False
Suppose 0*v - 4200 = -30*v. Is 5 a factor of v?
True
Let w = -654 + 906. Does 7 divide w?
True
Let m = 777 + -430. Is 8 a factor of m?
False
Suppose -5*o = 2*o. Suppose -9*w + 2*w + 168 = o. Is 24 a factor of w?
True
Suppose 2*t + o - 430 = -2*o, t - 201 = 2*o. Is t a multiple of 42?
False
Suppose -3*t + 1298 = 461. Is t a multiple of 13?
False
Let i(l) be the third derivative of l**6/120 + 2*l**5/15 + 5*l**4/12 + 7*l**3/6 + 6*l**2. Suppose 25 = -6*w - 11. Is i(w) a multiple of 19?
True
Does 6 divide 15/2*(220/3 - -6)?
False
Let x(l) = 69*l - 5. Let g be x(1). Let d = 108 - g. Is 5 a factor of d?
False
Let x(m) = m**3 - 17*m**2 - 16*m. Let h = -91 + 109. Does 9 divide x(h)?
True
Let o be ((-18)/10)/((-11)/55). Is 13 a factor of 479/o + 3 + 4/(-18)?
False
Let m(h) = h**3 + 6*h**2 - 3*h - 6. Let c be m(-5). Suppose 0 = 2*x - c - 28. Let a = 47 - x. Is a a multiple of 8?
True
Let w(f) = -f**2 - 120*f + 23. Does 14 divide w(-79)?
True
Let w = -12 - -15. Suppose 3*t - w*n = -2*n + 10, 0 = -3*n + 6. Does 26 divide 30 - 1*t/(-4)?
False
Let z be (26/40 + 3/(-12))*35. Is 6 a factor of z/(-35)*(-35)/6*18?
True
Let h(v) = -2*v + 15 + 6*v - 3*v. Does 5 divide h(-5)?
True
Let y = 187 + -348. Let t = y - -272. Is t a multiple of 9?
False
Let d = 540 - 361. Does 8 divide d?
False
Let h(w) = w**3 - 21*w**2 + 25*w - 7. Let i be (-342)/(-17) + (-4)/34. Is h(i) a multiple of 10?
False
Let v be 116/(-3)*(-3)/6*3. Suppose -3*u - m = -v, -m + 3 = -1. Does 6 divide u?
True
Let t(s) = -4*s - 9. Let m be t(-5). Suppose 0 = 5*q - m - 19. Does 24 divide (0 - 148/q)*-3?
False
Let i(f) = f + 20. Let q be i(-16). Does 25 divide (-36)/48 - (-703)/q?
True
Is 8/(-2) + 470/2 a multiple of 21?
True
Suppose -7 = o - 3*s, 16 - 1 = 3*s. Does 8 divide o?
True
Suppose 1288 = 4*q - 4*j, 38*q - 36*q - 4*j - 648 = 0. Does 34 divide q?
False
Let b = -1391 + 1412. Does 3 divide b?
True
Let j(y) = 166*y**2 + 19*y - 23. Is j(4) a multiple of 9?
True
Suppose 16*z + 0*z - 176 = 0. Is 10 a factor of z?
False
Let s = 12 + -7. Suppose 40 = s*j - 0*j. Is j a multiple of 2?
True
Let l(u) = -3*u + 20. Let s(t) = 14*t - 100. Let g(w) = 16*l(w) + 3*s(w). Does 21 divide g(-6)?
False
Suppose 2*c + 5 + 12 = -3*z, 48 = -5*c - 2*z. Is (-115)/c + 1/(-2) a multiple of 10?
False
Suppose 2*p = 7*p + 60. Let v = 3 - p. Is v a multiple of 5?
True
Suppose 2*r + 0 = -2*u + 22, r = 4. Suppose u*n - 138 = n. Does 8 divide n?
False
Suppose 34 + 201 = -5*k + 5*l, -5*k + 2*l - 220 = 0. Let q be (-14)/k*(0 - -15). Suppose -3*t + 31 = -q. Is t a multiple of 11?
False
Let k = 4 - 2. Suppose -3*v + 44 = -2*w, 4*v + 0*v - k*w = 60. Is v a multiple of 2?
True
Let f = 190 - 112. Let n = f + -51. Is 4 a factor of n?
False
Let t be (-12)/(-30)*10/(-8)*10. Let h(r) = -2*r**3 - r**2 + 5*r - 5. Does 13 divide h(t)?
True
Does 6 divide -2 + 65 + (1 + -1)/(-4)?
False
Suppose -s + 6 = -4*s, -x + 5 = -2*s. Let g be (-3 - 0/(-4))*x. Is g*-4*3/18 a multiple of 2?
True
Let g = -9 - -26. Let d = 4 + g. Suppose 0 = q - 3*w - d - 26, w + 221 = 4*q. Does 18 divide q?
False
Suppose 59 = 6*v + 41. Suppose -2*k + 2 = -2*p, k = 2*k - 3. Suppose v*h + 3 = a - p, -4*a = -3*h - 20. Is 5 a factor of a?
True
Suppose -13*g - 1168 = -4574. Does 8 divide g?
False
Let i(n) = 17 - 14*n - 15 + 3*n. Let a be i(1). Is 6/(a/(-3) - 2) a multiple of 5?
False
Let x = 39 + -28. Suppose -c = -0*c - x. Is 4 a factor of c?
False
Suppose -3*n = 2*n - 2*k - 21, -4*n + 5*k + 10 = 0. Suppose -5*x = n*w + 100 + 30, -2*w - 32 = -3*x. Let o = 24 - w. Does 23 divide o?
True
Let z be (-4)/6 + 16/(-3). Let g = 0 + z. Does 5 divide (g + 1)/((-2)/4)?
True
Let a = -34 - -28. Let