6. Does 12 divide w?
False
Let r be (2 - -1)/((-3)/10). Let y(z) be the third derivative of -z**4/12 - 11*z**3/6 + 3*z**2 + 17. Is y(r) a multiple of 6?
False
Let w(h) = -100*h + 64. Let d(c) = 11*c - 7. Let y(q) = 28*d(q) + 3*w(q). Let g be y(7). Suppose 0 = 3*k - 2 - g. Does 6 divide k?
True
Let a(j) = -10*j + 12. Let w be a(-3). Does 37 divide w/(-1)*(4 + -6)?
False
Let x(k) be the second derivative of -k**4/12 + k**3 - 2*k**2 + 9*k. Let p be x(4). Suppose -3*z = z + 3*h - 68, -p*z + 72 = 2*h. Is z a multiple of 15?
False
Let b = 8 - 19. Let i = 48 - b. Suppose 5*d - i = 46. Does 16 divide d?
False
Let u(t) = t**2 - t + 2. Let q be u(0). Suppose 5*m - q*m - 291 = 0. Is 29 a factor of m?
False
Let d = 709 - 306. Let g = -283 + d. Is g a multiple of 30?
True
Suppose 0 = -5*y + y - 20. Let c = y + -15. Let i = c - -36. Is i a multiple of 4?
True
Let p(v) = -2*v**2 + v. Let w be p(2). Let d(n) = -n**3 - 8*n**2 - 10*n - 9. Let x be d(w). Let f = x - -41. Does 12 divide f?
False
Let a(x) = -49*x + 159. Is a(-38) a multiple of 47?
True
Let u(m) = m**3 - 17*m**2 + 18*m + 9. Let c be u(15). Let k = -45 + -56. Let g = k - c. Is g a multiple of 26?
False
Let g(q) = -q - 3. Let w be g(-9). Let d be w/(-9)*27/(-6). Suppose 4*n - 26 = -d*m + 88, 3*n = 0. Is 10 a factor of m?
False
Let d(y) = 12*y - 1 - 4*y**2 - 6*y**2 + 7*y**2. Is d(3) even?
True
Suppose -8*i + 2409 = 5*t + 29, 2*t = -i + 292. Does 12 divide i?
True
Let t(j) = 3*j + 17. Let s be t(-7). Let l(i) = -42*i - 44*i + 13 + 88*i. Is l(s) even?
False
Suppose -4*d - 15 = d - 5*r, 3*d + 14 = 4*r. Is 15 a factor of (-1317)/(-15) + d - 6/(-30)?
True
Suppose -6*j + 7 = -11. Does 11 divide (-1095)/45*j*-1?
False
Let x = 371 + -225. Let i(a) = -3*a**2 - 7*a + 9. Let h be i(-7). Let b = x + h. Is b a multiple of 27?
False
Let z(o) = 2*o - 3 + 2 - 4*o**2 - o**3 + 3*o**2 + 3. Does 42 divide z(-4)?
True
Let x(q) = -4*q - 3. Suppose -6*h = 17 + 13. Is x(h) a multiple of 5?
False
Suppose -1184*w = -1205*w + 5145. Is w a multiple of 7?
True
Let y(n) = 302*n**2 - 3*n - 1. Is y(-1) a multiple of 35?
False
Let x = 9015 + -5543. Is 16 a factor of x?
True
Let m = 34 + -66. Let j = 22 - m. Does 5 divide j?
False
Let d(s) = s**3 + s**2 - 3*s + 3. Suppose 0 = -5*x + 2*k + 14 - 0, 0 = -x + k + 4. Does 2 divide d(x)?
False
Let p(c) = c + 26. Let w be (-6)/(-27) + 8/(-36). Suppose w*i = i. Is 21 a factor of p(i)?
False
Let z(c) = -c**2 - 15*c - 14. Let l be z(-10). Let a be (-57)/18 - (-6)/l. Is 21 a factor of (4 + a)*-1 + 70?
False
Suppose -41*g + 122852 = -23149. Does 24 divide g?
False
Let n = -853 + 989. Does 13 divide n?
False
Suppose 20*f - 13*f = 847. Is f a multiple of 48?
False
Suppose -2*o + o - 6*o = 0. Suppose o*n + 99 = 9*n. Is 11 a factor of n?
True
Let t(b) = -1. Let f(m) = -m**2 + 3*m + 12. Let r(j) = -f(j) - t(j). Is 9 a factor of r(-6)?
False
Suppose 0 = -16*f + 18*f - 26. Let q(p) = 6*p - 6. Is q(f) a multiple of 9?
True
Suppose 2*s - 586 = 2*t, -4*t + 1438 = -s + 6*s. Is 6 a factor of s?
False
Suppose -140 = 9*v - 4*v. Let g = v + 72. Is 4 a factor of g?
True
Let k(j) be the second derivative of 3*j**7/70 - j**6/720 + j**5/120 - j**4 + 4*j. Let c(d) be the third derivative of k(d). Is c(1) a multiple of 27?
True
Suppose -11 = -4*p - 3*y, -p - 3 = -0*p - 5*y. Suppose -2*h - 2 = -p*a - 76, -h = 3*a - 57. Does 21 divide h?
True
Suppose -4*y - 48 = -m, -9 = 5*y - 34. Let n = m - 24. Does 8 divide n?
False
Let o(k) = -k - 1. Let x be o(-3). Let i(n) = 17*n**x - 10*n**2 + 7*n + 14*n - 13 - 8*n**2. Is 3 a factor of i(20)?
False
Suppose -o - 5*a = 3584, 5*o + 7368 + 10468 = -4*a. Does 34 divide o/(-16) - (-6)/24?
False
Let o(a) = 1575*a**2 + 4*a + 4. Is o(-1) a multiple of 21?
True
Let s(v) = -12*v**3 - 7*v**2 + 15*v - 20. Let p(c) = -6*c**3 - 3*c**2 + 7*c - 10. Let m(t) = -13*p(t) + 6*s(t). Does 9 divide m(3)?
False
Let i = -263 - -451. Is i a multiple of 12?
False
Suppose -3*o - 7 = 5*c, o + 2*c + 14 = -2*c. Suppose 0 = -o*y + 27 - 165. Let b = -19 - y. Is b a multiple of 2?
True
Suppose 479 = 8*a - 153. Is 4 a factor of a?
False
Let z = -175 - -735. Does 42 divide z?
False
Let b(i) = i**2 + 2*i + 1. Let w be b(-2). Let g be 1*(1 - 0) - w. Suppose g = -n - n + 14. Is 3 a factor of n?
False
Let t be (-6)/1*(-6)/(-2). Let v = t + 20. Does 38 divide 152/(-10)*(-5)/v?
True
Suppose -3*p - 2 = 5*x, -3*x = -0*x - 5*p - 26. Suppose -14*t + 192 = -x*t. Is t a multiple of 4?
True
Suppose -n = c - 310, -5*n + n - 3*c = -1245. Does 15 divide n?
True
Suppose -z + 2 = -1. Suppose -2*v = z*b - 280, -5*v = 3*b - 0*b - 682. Is v a multiple of 30?
False
Let u be ((-2)/4)/((-12)/120). Suppose 8 = -w + u*w. Suppose w*l - 114 + 2 = 0. Is l a multiple of 14?
True
Let q(l) = 48*l**3 + 9*l**2 - 21*l + 31. Is q(4) a multiple of 22?
False
Let k(u) = u**3 + 1. Let r be k(0). Let g be (2 - r)*(1 - 2). Is -1*((-15)/3 - g) a multiple of 4?
True
Suppose 4*k - 140*w - 15085 = -137*w, 3*k - 11318 = -2*w. Is 32 a factor of k?
False
Suppose 3427 = 2*m + 3*o, 0 = 5*m - 3*m + 2*o - 3422. Is 43 a factor of m?
False
Suppose 0 = 4*c + 4*v - 16, 10*c - 5*c + 4*v = 19. Suppose -3*a + c = 0, -5*y - 2*a + 5 = -7. Suppose -109 = -y*l - 7. Does 17 divide l?
True
Suppose 11*s + 2*y - 1335 = 6*s, s - 255 = 2*y. Does 7 divide s?
False
Let a = 255 + -52. Suppose 2*j - a = -7. Is j a multiple of 12?
False
Suppose -3*p - 331 = -1873. Is 17 a factor of p?
False
Let a be (-72)/(-120) + -1 + 32/5. Suppose -a*b = 6*b - 1200. Is b a multiple of 25?
True
Let b be (-20)/16*(-1)/((-3)/(-12)). Let z(w) = -2*w**3 + 8*w**2 + 15*w + 3. Is z(b) a multiple of 4?
True
Suppose 0 = 10*z + 14*z - 15336. Is 71 a factor of z?
True
Suppose 4*m - m = -3*s + 477, -5*m + 5*s + 805 = 0. Suppose -2*a + 0*a - h = -m, -226 = -3*a + 2*h. Is a a multiple of 37?
False
Let u = 101 - 91. Suppose u*w - 116 = 124. Is 8 a factor of w?
True
Let z be ((-13)/(-3) + -4)*-3 + 32. Let b = z + -11. Is b a multiple of 10?
True
Let t = 9 + 3. Let i(h) = -15*h**2 - h + 4. Let j be i(-2). Is t/j + (-245)/(-9) a multiple of 8?
False
Let o = 14 + -28. Let h be (-21)/49 - (-106)/o. Let s = h - -41. Does 11 divide s?
True
Suppose -t - 4981 = -5*z, 5*z + 17*t - 19*t - 4977 = 0. Is 18 a factor of z?
False
Let m(s) = -s**2 + s + 5. Let w be m(4). Let j be (-4 + 3 - w) + -1. Suppose j*t = c + t - 89, 0 = 4*c + 2*t - 284. Does 24 divide c?
False
Let n(b) = 8*b - 3. Let l be n(1). Suppose 2*j - 4*j - g = 500, 2*j + l*g + 500 = 0. Is 14 a factor of j/(-6) - (-2)/6?
True
Let r be 7/4 + (-5)/(-20). Suppose r*i - 89 = 229. Is i a multiple of 30?
False
Let z = 3 + 23. Suppose -2*d + o - z - 203 = 0, -3*d - o = 351. Let f = 209 + d. Is f a multiple of 31?
True
Does 20 divide ((-1962)/(-24) - 0) + (-2)/(-8)?
False
Suppose 4*b + 70 = 5*k, -4*b - 20 = -0*b. Suppose -k*o + 146 + 274 = 0. Does 14 divide o?
True
Suppose 5*c + 4*j = c + 256, -5*j = -2*c + 93. Is 9 a factor of c?
False
Let f(l) = 4*l - 1. Let v be f(1). Suppose -2 = -i - 4, -41 = -v*j + 4*i. Suppose -8 = -2*a, -5*o = -a - 125 - j. Is 11 a factor of o?
False
Let j(m) = m**3 - 4*m**2 - 4*m - 6. Let f(x) = x**2 - x + 5. Let a be f(0). Let l be j(a). Is (6/l)/(3/(-8)) a multiple of 16?
True
Let n be ((-754)/3)/(3/(108/(-8))). Suppose -9*a + n = 267. Is 32 a factor of a?
True
Let v(y) = y**2 + y - 1. Let w(n) = 3*n**2 - 23*n - 42. Let k(u) = -4*v(u) + w(u). Is 11 a factor of k(-21)?
True
Suppose 0 = -4*u + n + 8 + 16, 5*u + n = 21. Suppose 0 = -p - s - 4*s + 122, -p + u*s + 82 = 0. Let g = -45 + p. Is g a multiple of 17?
False
Let r(h) = h**3 + 13*h**2 + 10*h + 10. Let n be 2*19*(-7)/(-14). Let y = 7 - n. Does 17 divide r(y)?
True
Let n be 96/52 - 2/(-13). Suppose 2*f + 9 = k - 1, n*k - 20 = 5*f. Let j = 25 + k. Does 7 divide j?
True
Let d(o) = o**2 + 3*o - 14. Let t be d(-8). Suppose 10*a + 752 = t*a. Is 7 a factor of a?
False
Suppose 6*x - 20 = x. Suppose h + 31 = 3*g, -26 = 2*g - x*g - 2*h. Does 3 divide g?
False
Let w(z) = z**3 - 6*z**2 + z - 9. Let l be w(6). Is 2/(-3) + (-68)/l a multiple of 11?
True
Suppose n - 3 = -1. Let m(i) = -3 - 6*i + 18*i + 2*i**2 - 3*i**2 + 0*i**n. Is 10 a factor of m(9)?
False
Let j = 206 + 55. Is j a multiple of 6?
False
Suppose 0 = 4*x - 3 - 13. Suppose 0*z - 5*z = -x*i + 4, i = 4*z + 1. Does 3 divide (11 - (6 - 3))*i?
False
L