8. Let z(w) = 10*w + 6. Is 12 a factor of z(m)?
True
Let k(m) = 36*m**3 + 6*m**2 - 6*m + 6. Does 28 divide k(2)?
False
Let y be ((-2)/(-7))/((-5)/(-35)). Suppose -n + y*d = n - 34, 2*n - 32 = 4*d. Is (n/(-18))/((-2)/18) a multiple of 9?
True
Let d(x) = x**3 + 6*x**2 - 4*x - 7. Suppose 4*q + 2*q + 18 = 0. Let t(z) = -z**2 - 3*z - 6. Let r be t(q). Is d(r) a multiple of 12?
False
Let r(b) = 5 + b - 5*b**3 - 1 + 6*b**3. Let v be r(0). Does 3 divide 5*4/10 + v?
True
Suppose m + 0*m + 249 = -5*g, 5*g + 4*m + 246 = 0. Let z = 84 + g. Is 17 a factor of z?
True
Suppose -q + 7 = 2*d, 4*d = -q - d + 4. Let a be (-1)/3 + 174/q. Let t = 36 - a. Is 6 a factor of t?
False
Let t = -34 - -130. Suppose 0*b + 4*b = -5*w + t, -2*b + 58 = 3*w. Does 2 divide w?
True
Let g(x) = 2*x**2 - 9*x + 10. Let w be g(6). Suppose -3*k = -10*k + w. Is k even?
True
Let u be (1 - 3) + 1 + -1. Let r(z) = 3*z**3 + z**2 + 9*z + 9. Let o(g) = 2*g**3 + g**2 + 5*g + 5. Let l(f) = 5*o(f) - 3*r(f). Is l(u) a multiple of 2?
True
Is 8/18 + (-113625)/(-405) a multiple of 38?
False
Does 35 divide -3*(-8)/56 - (-10284)/14?
True
Suppose 6*o - 2*o - 8 = 0. Suppose -a = o*a - 12. Suppose -58 = -4*b + 2*i, -42 = -a*b + b + 3*i. Is 4 a factor of b?
False
Let x(d) = d**2 + d - 7. Let z be x(3). Suppose 0 = 4*o - j - 86, 122 - 7 = z*o - 5*j. Let c = o - -57. Is 26 a factor of c?
True
Let d(q) = -6*q**3 - 5*q**2 - 4*q - 6. Is 20 a factor of d(-5)?
False
Suppose -20*s - 60030 = -65*s. Is 23 a factor of s?
True
Let m(v) = 14*v - 29. Let h(p) = p**3 - 6*p**2 + 2*p - 3. Let s be h(6). Is m(s) a multiple of 44?
False
Let y = -592 + 1276. Suppose -4*i + y = -516. Is i a multiple of 60?
True
Suppose -4*b = -0*m + 2*m - 12, 4*m = -5*b + 21. Let j(a) = -1 + 3 + 7*a**2 - 5*a - m*a**2. Does 9 divide j(4)?
False
Suppose 5*f = 26 - 6, 2*d - 2*f = 0. Does 2 divide d?
True
Suppose 2*r + 96 = 270. Let p = r + -50. Is 6 a factor of p?
False
Let o(h) = 6*h**2 - h + 11. Is o(-12) a multiple of 30?
False
Let l(b) = b**3 + 14*b**2 - 18*b + 34. Is l(-14) a multiple of 6?
False
Let p(x) = x**3 + 7*x**2 + 8*x + 7. Let n be p(-6). Let a be ((-6)/n)/((-3)/(-160)). Suppose -3*g = 2*i - 25, 4*g - 8*i = -3*i + a. Is 6 a factor of g?
False
Is 28 a factor of 8 - -9*(-954)/(-27)?
False
Let f(t) = t**2 + 3*t - 9. Let o be f(-5). Let r = 12 + o. Does 4 divide r?
False
Suppose 2*s + 15 = 6*a - 11*a, 2*s = -2*a - 6. Suppose -4 + 36 = 4*b. Suppose -4*q = 4*v - b, s = 2*v - 6*v - 20. Is q a multiple of 2?
False
Suppose 0 = 3*u + 928 - 1711. Is 29 a factor of u?
True
Let n(t) = -16*t - 3. Let m(h) = 1 + 70*h - 1 - 71*h. Let z(r) = -3*m(r) + n(r). Is z(-6) a multiple of 22?
False
Suppose -12*x + 24 = -11*x. Is (15/10)/(3/x) a multiple of 12?
True
Let i(y) = 1934*y**2 - 2*y. Does 69 divide i(1)?
True
Let s(y) = y**3 - 3*y**2 + y - 1. Let z be s(2). Let a be (-3 + (z - -4))*-1. Let q(o) = 18*o - 2. Does 17 divide q(a)?
True
Suppose 261*f = 248*f + 1170. Is f a multiple of 3?
True
Let w(f) = f**2 - 3*f - 6. Let v be w(5). Let r be v/14 + 54/(-42). Is 43 + (-1 - r) + 2 a multiple of 12?
False
Let t(g) = g**3 + 8*g**2 + 7*g + 6. Let l be t(-7). Suppose -5*c - 7 = -l*c. Suppose -c*v = -3*v - 64. Does 11 divide v?
False
Does 35 divide (-49)/196 + (-4)/(32/(-13866))?
False
Let k(s) = -s + 8. Let i be k(6). Suppose m - 4*x = -i*x - 30, 2*x = -m - 42. Let c = m + 74. Is 5 a factor of c?
False
Let i be (6/8)/(21/56). Let r(v) = 6*v**3 + 6*v**i - 4*v**2 - 84*v**3 - v**2. Is 25 a factor of r(-1)?
False
Let s = 1304 + -1115. Is 2 a factor of s?
False
Suppose -159*w = -163*w + 360. Is w a multiple of 51?
False
Is 67 a factor of 24/30 - (-8355)/25?
True
Is 4 a factor of (-8)/18 + 116148/108?
False
Let g(v) = v**3 - 6*v**2 - 11*v - 3. Let n be g(8). Suppose -n = u - 0*u. Let c = u + 62. Is 14 a factor of c?
False
Suppose a + 4*a = 275. Suppose -2*j = -w - 2, 0 = -5*j + 3 + 7. Let c = w + a. Does 19 divide c?
True
Let v = 34 - 59. Let s = 33 - v. Let q = 85 - s. Is 9 a factor of q?
True
Let u(m) = -7*m**3 - 17*m**2 - 5*m + 5. Let b(h) = 3*h**3 + 9*h**2 + 2*h - 3. Let a(z) = 5*b(z) + 2*u(z). Does 37 divide a(-5)?
False
Let c(x) = x. Let y be c(4). Suppose -155 = -y*a + v, -2*a + v + 111 = 32. Let z = a + -23. Does 15 divide z?
True
Does 18 divide -4 - (-10)/(-5) - (-594 - 6)?
True
Let w(u) = u**3 + 17*u**2 + 14*u - 17. Let y be w(-16). Let l(p) = -p + 33. Is l(y) a multiple of 9?
True
Does 25 divide (-2 - -34) + (-2 + 1)*-5?
False
Suppose -15*u + 3691 + 3329 = 0. Is u a multiple of 13?
True
Does 27 divide 72/7*(-1239)/(-59)?
True
Suppose -2*t - 5*y = -0*t - 12, t - 6 = -y. Let l = 8 - t. Does 3 divide l/(-3)*18/(-4)?
True
Does 21 divide (-1822)/3*-3 + (-1 - 1)?
False
Suppose -4 = 4*p, -p + 156 = t - 3*p. Does 14 divide t?
True
Suppose 16555 = 12*q - 5861. Does 17 divide q?
False
Let l = 23 - 47. Let a(y) = 8*y + 41. Let r be a(-13). Let f = l - r. Is 16 a factor of f?
False
Let o(b) = 2*b - 12. Let i(n) = 2*n - 13. Let w(c) = -6*i(c) + 5*o(c). Is w(6) a multiple of 3?
True
Suppose 4*n + 2 + 14 = 0. Is 2 a factor of n/(-32) - 119/(-8)?
False
Suppose -3*k + 22 - 19 = 0. Let o(j) = 162*j**2 - 2*j + 1. Let r be o(k). Suppose -21 + 5 = -u - 5*b, -5*u = -2*b - r. Is u a multiple of 12?
False
Let j = -51 + -12. Let y = 38 + j. Let v = 68 + y. Is 13 a factor of v?
False
Is 51 a factor of 4235 - 12 - (16 - 5)?
False
Let p = 473 + -211. Does 10 divide p?
False
Suppose -33 = 4*n + 5*f - 108, -n + 6 = -3*f. Is n a multiple of 5?
True
Let l(t) = -2*t - 18. Let n be l(-9). Suppose n = -2*p + 21 + 69. Does 15 divide p?
True
Let s(d) = -2*d + 12. Let w be s(4). Suppose -100 = -w*x + 152. Does 9 divide x?
True
Let r be ((-26)/5 + 0)*5. Let v = 63 + r. Is 15 a factor of v?
False
Let t(b) = -3*b**3 - 13*b**2 - 25*b + 19. Let k(a) = a**3 + 6*a**2 + 12*a - 9. Let p(r) = -5*k(r) - 2*t(r). Is p(7) a multiple of 12?
True
Suppose -4*r = 2*r - 246. Suppose -r = -3*o - 122. Does 13 divide 1392/54 + (-6)/o?
True
Let s(v) = -v**3 + 13*v**2 - 11*v + 14. Let z be s(12). Let k = z + -20. Is -6*((-56)/k + -1) a multiple of 16?
False
Let p be -1*36*(-7)/(-14). Let a = 19 - p. Is a a multiple of 37?
True
Let i = 106 - 81. Let u = 66 + -15. Suppose 2*j - 3*o = u, -5*j - 2*o + 131 = -i. Does 18 divide j?
False
Is 118 a factor of 2596/(-14)*(275 + -289)?
True
Suppose -3*h - 13 = -1. Let t(d) = d**2 + 4*d + 10. Is t(h) a multiple of 5?
True
Does 15 divide 215 - ((-8)/12 + 85/15)?
True
Suppose l + 5*r - 5 = 0, -2*l - l = -r - 31. Suppose 3*h - 14 = l*h. Is 15 a factor of (-2 - 2/h)*-37?
False
Let z = -265 - -186. Suppose -2*c + 226 = 2*d, 0 = -2*d + 3*d - 2*c - 110. Let t = z + d. Is t a multiple of 15?
False
Let x(a) = -22*a**3 - a**2 + 4*a + 3. Let u be x(-2). Let f = 129 + u. Suppose 3*i = -i + f. Is i a multiple of 19?
False
Let t(v) be the second derivative of 3*v**5/10 + v**3/3 - v**2/2 + v. Let k = -38 + 39. Is 7 a factor of t(k)?
True
Let k be (25/(-15))/(1/(-3)). Suppose k*h = h - 72. Does 11 divide (-12)/(-54) - 1130/h?
False
Suppose n = 13 - 31. Let b(i) = -i - 21. Let r be b(n). Is 14 a factor of ((-2)/r)/((-4)/(-84))?
True
Suppose 0*q = 3*q + 4*c - 31, 5*c - 20 = 0. Suppose 4*l - 185 = q*d, -l + d + 136 = 2*l. Does 14 divide l?
False
Let t(n) be the second derivative of n**6/180 - n**5/120 + 11*n**4/24 - 2*n**3/3 + 12*n. Let l(a) be the second derivative of t(a). Is l(-5) a multiple of 35?
False
Suppose 0 = 5*p - 5151 + 951. Is p a multiple of 21?
True
Let p be (-1 + 175)*9/18. Let b = -62 + p. Does 25 divide b?
True
Let l = -36 + 43. Suppose l*v - v - 24 = 0. Is v even?
True
Suppose 1429 = 3*w - 839. Is w a multiple of 84?
True
Let c = -118 + 218. Suppose 14*n - c = 9*n. Is 5 a factor of n?
True
Suppose -p - 3*a + 1017 = 0, -5*p + 6*a - 4*a = -5119. Does 93 divide p?
True
Let k = -370 + 857. Does 26 divide k?
False
Let t(c) = 2*c**2 + 22*c - 24. Let x be t(-12). Suppose 0 = -4*h - 4*f - 0*f + 404, x = -3*h + 4*f + 296. Is 25 a factor of h?
True
Let x be (8/2)/(2/80). Suppose -5*w - x + 597 = 3*m, -4*m + 260 = 3*w. Is 14 a factor of w?
False
Let v be (1 - -17)*14/21. Let a = 7 + v. Suppose 12 = u - 3*s - 7, u = 4*s + a. Is u a multiple of 3?
False
Let m = -31 - -42. Suppose 9*s + 16 = m*s. Is s a multiple of 8?
True
Suppose -14*i = -284 - 1844. Does 12 divide i?
False
Is (-16)/(