8. Let l(v) = -g(v) + 4*t(v). Let z(x) = 6*x. Let b be z(-1). Is l(b) a multiple of 17?
True
Let h = 365 + -20. Is h a multiple of 3?
True
Let l be 21/14 + 14/(-4). Let z be 8 + -6 - 456/l. Let c = z + -153. Is c a multiple of 21?
False
Let b(m) = m**2 + 6*m + 5. Let t be b(-6). Suppose -3*y = t*q + 9, -5*q + 4*q - 5 = -y. Suppose n = -2*w + 4*w + 16, y*w - 14 = -2*n. Is 3 a factor of n?
False
Let b = -8 + 11. Suppose -3*n = 2*d - 3*d - b, 21 = 3*n + 5*d. Suppose -4*y - y + 393 = -n*w, 4*y - 4*w = 312. Is 14 a factor of y?
False
Suppose -758 + 2702 = 6*r. Does 27 divide r?
True
Let y be 0 - (-3 + 0 + 3) - 2. Let b(f) = 15*f**2 + 3. Does 11 divide b(y)?
False
Let n = -1 - 7. Let g be (0 - 1) + n - -2. Is (1 + -2)*217/g a multiple of 9?
False
Suppose -17*q = -14*q + 210. Let l = -22 - q. Does 16 divide l?
True
Let m(z) = -z - 3. Let r be m(3). Let x = r - -10. Suppose -2*y + 4*k + 93 = k, x*y - 189 = 3*k. Does 16 divide y?
True
Let z(t) = 54*t**2 + 2*t + 1. Let h be z(-1). Suppose 4*j - 215 = 5*a, -j + h = -0*a - 2*a. Does 11 divide j?
True
Suppose 4*c - 3 = 4*z - c, 2*z + 4*c - 18 = 0. Suppose 9*s - 13*s = -12. Suppose 3*d - 44 = d - 5*b, -z*b - 66 = -s*d. Is 10 a factor of d?
False
Suppose 5*x = -0*m - 3*m - 25, 4*m = -20. Let g(p) = -15*p**3 - 3*p**2 + 1. Is g(x) a multiple of 15?
False
Let n(v) = 3*v**3 - 47*v**2 - 18*v + 51. Is 19 a factor of n(16)?
True
Suppose 4*g = -4, 3*i + 1 = -g - 0*g. Suppose 0 = -3*c - 24 + 30. Suppose -c*w + 71 + 29 = i. Is w a multiple of 17?
False
Let t = 130 + -117. Suppose t*d = 15*d - 60. Does 30 divide d?
True
Let z be 278 - (-3)/((-15)/(-10)). Suppose 0*h = -5*h + z. Is h a multiple of 38?
False
Let s(y) = -2*y**3 + 7*y**2 + 7*y + 18. Let q be s(8). Let j = -358 - q. Does 9 divide j?
True
Suppose -15*g - 1056 = g. Does 14 divide (-1694)/(-12) + 11/g?
False
Let q = 741 - 406. Suppose 5*p = -0*b - 4*b + q, -b + 2*p = -100. Is 10 a factor of b?
True
Let q be 4/6 + 14/(-3). Let o(v) = -v**3 + 6*v**2 - 4*v + 5. Let s be o(4). Is s*2 - 4/q a multiple of 12?
False
Suppose -2*f + f + 9 = -3*a, 3*f - 4*a = 12. Suppose 3*r + 9 = -f. Let g(s) = -2*s**3 - 4*s**2 - 2*s - 4. Is 7 a factor of g(r)?
False
Does 102 divide 275448/(-736)*(-4)/3?
False
Suppose p + 7 = -8. Let b(g) = 2*g - 6. Let v be b(p). Is 9 a factor of (v/54)/(2/(-123))?
False
Suppose 70*m = 67*m + 21. Is 23 a factor of 12/(-42) + ((-856)/m)/(-1)?
False
Suppose -28022 = -10*x + 2528. Does 47 divide x?
True
Let j = -2463 + 2558. Is 19 a factor of j?
True
Let v(k) = 2*k**2 + 3. Let x(u) = u. Let q be x(-5). Does 30 divide v(q)?
False
Suppose -3*u = -7*u - 20, 0 = 4*t - u - 41. Suppose -19*b - 57 = -1311. Suppose t*h - 12*h = -b. Does 22 divide h?
True
Let k = -930 + 1832. Is 51 a factor of k?
False
Suppose 1 = -2*f - 5. Let p be (-2)/2*-6 + f. Suppose -5*d + p*d + 26 = 0. Is d a multiple of 9?
False
Suppose -13 = -z + d, z + 0*z - 5*d = -7. Suppose z = m - 0*m. Is m a multiple of 7?
False
Suppose 4*u = -3*t + 7*t + 2364, -3*t = 3*u - 1767. Is u a multiple of 10?
True
Let x(h) = -2*h + 5. Let z(n) = 5*n - 16. Let s(c) = -11*x(c) - 4*z(c). Let k be s(4). Suppose -t + k = -0*t. Is t a multiple of 12?
False
Let c = -4 + 9. Suppose c*j + 2*k = 80, 0*j - 56 = -2*j + 4*k. Suppose -6*g + 4*g = -j. Is g a multiple of 6?
False
Let w = 209 + -85. Does 31 divide w?
True
Let u = 11 - 8. Suppose -21 = -u*r + 3. Is 16 a factor of 4/r - (-62)/4?
True
Let p be -3 + (4*-3)/(-2). Let r(z) = -1. Let u(n) = n - 1. Let y(g) = -r(g) + 5*u(g). Is 11 a factor of y(p)?
True
Suppose -98*t + 156*t - 102312 = 0. Is t a multiple of 36?
True
Suppose 30*b - 10661 = 2779. Is 14 a factor of b?
True
Let w = 1094 - 761. Suppose 4*y = 5*z + w, 4*y + y = -z + 380. Is y a multiple of 10?
False
Suppose 8*j - 10*j + 704 = 0. Is 8 a factor of j?
True
Suppose -2*g = 4*t - 14, g + 3*t = 4*g + 6. Does 4 divide 0 + -3 + 1 + g - -39?
False
Is (26/(156/9))/(2/100) a multiple of 15?
True
Suppose 3 = -b, -y - 5*b = -b - 775. Does 44 divide y?
False
Let q(p) = -p**3 - 6*p**2 - 4*p - 2. Let h = 37 + -5. Suppose 4*s = r - h, 0*s = 3*s - 5*r + 41. Is 19 a factor of q(s)?
False
Let j(g) = g**3 - 49*g**2 + 9*g + 38. Does 15 divide j(49)?
False
Let j(a) = 2*a**2 + 6*a + 6. Let c(o) = 2*o**2 - o - 5. Let y(u) = -u**2 - 1. Let g(t) = -c(t) + 5*y(t). Let d be g(1). Does 14 divide j(d)?
True
Suppose -3*o + p = -1193, 2*o + p = 3*o - 399. Is o a multiple of 6?
False
Let v(l) = l**2 + 33*l + 11. Is 9 a factor of v(11)?
True
Let s = -2672 + 4260. Does 155 divide s?
False
Suppose 4*z - 43 = 5*b, 3 = b + z + 4*z. Let i = 48 - b. Does 11 divide i?
True
Let k = -177 - -401. Suppose -a - a = 4*g - k, 2*a = -g + 218. Is a a multiple of 18?
True
Is 361 + 1/((-2)/8) a multiple of 21?
True
Let k(y) = 72*y**2. Let d be k(-2). Let o = d - 157. Is 29 a factor of o?
False
Let h be (-4)/((-46)/14 + 3). Suppose 9*c + 10 = h*c. Suppose j = c*j - 18. Does 4 divide j?
False
Suppose -t + 15178 = 4*o + 4780, 0 = -5*o - 3*t + 13001. Is o a multiple of 113?
True
Let t = 36 - -6. Does 29 divide (-2415)/t*(0 + -2)/1?
False
Let s be 5/(-15)*-9 - -55. Suppose -s = -2*b + 44. Does 12 divide b?
False
Suppose 2*p - 2*v + 12 = 0, -4*p + 3*v = -0*v + 19. Let z(s) be the second derivative of -35*s**3/3 + s**2/2 - 2*s. Is z(p) a multiple of 20?
False
Let h(d) = -3*d**2 - 6*d - 14. Let q(u) = 2*u**2 + 6*u + 13. Let l(f) = -4*h(f) - 5*q(f). Let s(k) be the first derivative of l(k). Is s(4) a multiple of 10?
True
Let u = 5 + -1. Suppose 1 = -b - 4*r, b - 2*r - 9 + u = 0. Is 29 - b*2/(-3) a multiple of 13?
False
Let s(r) = -r**3 + 9*r**2 - 10*r - 6. Let c be s(8). Let x = c + 24. Suppose 0*z = x*z - 62. Is z a multiple of 20?
False
Suppose 271*s - 8 = 269*s. Suppose -19 = -3*k - 1. Suppose -76 = -s*f + r, -2*f + k*f - 5*r - 92 = 0. Is 13 a factor of f?
False
Let s = -442 + 915. Is s a multiple of 5?
False
Let y(o) = -o**3 - 42*o**2 + 79*o - 35. Does 48 divide y(-44)?
False
Let h(f) = -5*f - 4. Let x(a) = 2*a + 0*a - 3 - 4*a - 2*a - a**2. Let c(j) = 4*h(j) - 5*x(j). Does 2 divide c(-1)?
True
Let p = -29 - -21. Does 4 divide 16*(5 - (-4 - p))?
True
Let t(x) = -2*x + 5. Let u be t(-5). Suppose 4*w = j + 25, 2*w + w = -3*j + u. Is 18*(-3 + 45/w) a multiple of 27?
True
Let i = -304 - -539. Is i a multiple of 19?
False
Suppose r - 3*h + 25 = 0, -4*r + 2*r - 47 = -5*h. Is 11 a factor of (-104 - -9)*r/10?
False
Let h be (0/(-6))/(-6) + 0. Suppose 6*d - 65 = 4*d + 5*w, h = -2*w + 10. Does 9 divide d?
True
Suppose 0 = x - 3 - 18. Is 5 a factor of x?
False
Suppose 38*n = 44*n - 204. Let k = 44 - n. Is 10 a factor of k?
True
Let k = -74 - -82. Let c(j) = j - 5. Is 3 a factor of c(k)?
True
Suppose -130 = -5*c + 3*d + 3796, -5*c + 3930 = -5*d. Does 49 divide c?
True
Suppose 4*r = 8 + 4. Suppose 5*j - 161 = -4*l, 0*l - 2*j = r*l - 119. Is 13 a factor of l?
True
Let b be 3 - 3 - 2*-190. Does 10 divide b/(4 + 1) - -4?
True
Suppose 8*y - 16*y = -11296. Is y a multiple of 15?
False
Suppose -65*d = -52*d - 6344. Does 61 divide d?
True
Suppose -2*d + t + 1661 = 0, -3*t = 287 - 302. Is 20 a factor of d?
False
Suppose 9 = 4*v + 1. Suppose -4*g - v*b + 7*b + 23 = 0, -b - 43 = -4*g. Does 12 divide g?
True
Suppose 5*m + 2*w + 42 = 0, 0*m - 4*m - 29 = -3*w. Let u be -2 + 7 + (m - -6). Suppose -3*r + u*z - 8*z = -89, 3*z = 5*r - 137. Does 7 divide r?
True
Let u(z) = 44*z + 1. Suppose -3*f + 3 = -4*f. Let v be f/(6/(-4)) + -1. Does 9 divide u(v)?
True
Let w = -83 + 35. Let o(c) = -c - 20. Let u be o(-20). Let d = u - w. Is 16 a factor of d?
True
Let v = -25 + 52. Suppose -5*m - 2*w = -v, 2*m + 2 = -5*w - 4. Does 14 divide (4/6)/(m/147)?
True
Suppose -3*w + 366 = -2*x, 2*x = -4*w - x + 505. Let a be ((-316)/24)/(2*(-3)/36). Let h = w - a. Does 15 divide h?
True
Suppose -y - 24 = 5*b, 2*y - b - 44 = 5*y. Let x = 18 + y. Suppose x*f = 8*f - 420. Is 21 a factor of f?
True
Let z = -351 + 363. Let s(j) = -8*j**2 + 7*j + 3. Let c(y) = -7*y**2 + 8*y + 4. Let a(u) = 7*c(u) - 6*s(u). Is 17 a factor of a(z)?
True
Suppose -u + 1011 = 2*k, 4*k - 5*k + 4*u + 483 = 0. Does 27 divide k?
False
Let j = 25 + 10. Suppose j = 6*k - 31. Suppose 0 = x - k. Does 5 divide x?
False
Is 11 a factor of 8/10 - (-1032)/60?
False
Suppose -17*m + 1755 + 523 = 0. Does 23 divide m?
False
Suppose 2*l = 5 + 61. Suppos