-4)*(-2 - -8). Suppose -n = -5*a + 91. Is 9 a factor of a?
False
Suppose 0 = -3*g + r + 47, g + 2*g = 2*r + 52. Does 10 divide g?
False
Let c = -24 - -34. Is c a multiple of 4?
False
Let y(d) = -50*d - 1. Is y(-2) a multiple of 22?
False
Suppose 34 = w + 5*g, 5*g = -4*w - w + 90. Does 3 divide w?
False
Let g(c) = -2*c**3 + c. Let k be g(2). Let a = 56 + k. Suppose -a - 18 = -5*u. Does 4 divide u?
True
Let t be (-95)/(-20) + (-2)/(-8). Let s = 139 + -75. Suppose 4*c - 12 = 0, -t*r - s = -10*r - 3*c. Does 7 divide r?
False
Let q(p) = -p - 13. Let t be q(11). Let m = t + 68. Is m a multiple of 14?
False
Let y(l) = -2*l**3 + 2*l - l**2 - 3 + 2*l - l**2 + l**3. Does 5 divide y(-4)?
False
Let w(x) = x**3 + 12*x**2 + 7 - 4 + 1 + 11*x. Is 2 a factor of w(-11)?
True
Let p(r) = r**3 + 8*r**2 + 6*r - 5. Let o be (-2)/(0 - 4/(-30)). Let n be o/9*3*1. Is p(n) a multiple of 15?
False
Let u(t) = -t**2 - 10*t + 20. Is 2 a factor of u(-11)?
False
Let h(r) be the first derivative of 2*r - 1 + 1/3*r**3 + 1/4*r**4 + 1/2*r**2. Is h(3) a multiple of 14?
False
Suppose -10*l + 9*l = -55. Is l a multiple of 16?
False
Let p(r) = -2*r. Let d be p(-2). Let s = d - -1. Is 15 a factor of (s/(-2) + 1)*-10?
True
Does 24 divide ((2*-7)/(-1))/((-3)/(-36))?
True
Let b(o) = -3*o + 2. Let q be b(4). Let h = q - -15. Suppose -3*n - 2*i + 0 = -69, -90 = -3*n + h*i. Does 9 divide n?
False
Let k(b) be the third derivative of -1/120*b**6 - 13/60*b**5 + b**2 - 5/6*b**3 + 0 - 13/24*b**4 + 0*b. Is 2 a factor of k(-12)?
False
Is 25 a factor of 70 + 1 + (9 - 9)?
False
Suppose 3*y = 2*y + 14. Suppose -3*p + 12 = 33. Let n = y - p. Does 9 divide n?
False
Let o(p) = 7*p**2 - 1. Let l(k) = -k**3 - 3*k**2 + 2. Suppose 3*b + 19 = 5*r, -1 = -3*b - r - 8. Let w be l(b). Is 10 a factor of o(w)?
False
Let u = -113 - -118. Is u a multiple of 5?
True
Suppose r - 2*r + 4 = 0. Suppose -4*w - i = w - 76, r*w - 58 = 2*i. Is 8 a factor of w?
False
Let t(g) = -g**3 - 7*g**2 + 14*g + 15. Is t(-10) a multiple of 10?
False
Let y(h) = 14*h + 4. Is 16 a factor of y(2)?
True
Suppose -5*k + 46 = -204. Is 50 a factor of k?
True
Let z(t) = t**3 - 13*t**2 - 15*t + 17. Let g be z(14). Suppose 2*m - 5 = 7*m, -g*m = h - 3. Does 3 divide h?
True
Let u(i) = -i + 1. Let m be u(1). Suppose 2*k - 40 = -3*s, m = 3*k - 6*k - 2*s + 60. Is k a multiple of 10?
True
Let g = 8 - 9. Let l be (-3 + 1)*-1 - g. Suppose n = -l + 25. Does 16 divide n?
False
Let n be 16/(-6)*12/(-8). Suppose -4*z = -3*p - 150, -5*p + 0 = -10. Suppose -q = -n*q + z. Does 13 divide q?
True
Suppose 0*w = 3*w + 9. Let g = w - -6. Suppose 52 = 2*d - 2*z, -g*z + 0*z + 118 = 4*d. Does 14 divide d?
True
Let a(p) = p**2 - 6*p + 3. Is a(6) even?
False
Let q(m) = 7*m - 19. Is q(7) a multiple of 5?
True
Suppose 14 = -j + 3*j. Suppose t + j = 1. Let q(k) = k**2 + 2*k + 6. Is 12 a factor of q(t)?
False
Suppose 5*o - 328 = -3*n, -2*o - 340 = -3*n - 4*o. Is n a multiple of 29?
True
Suppose 5*f + 6*x = 3*x - 120, 0 = f + 3*x + 24. Is 14 a factor of (f/20)/3*-140?
True
Let n be (0 + 0 + 52)*1. Suppose 5*q - n = 18. Is q a multiple of 11?
False
Let k = -10 + 13. Let i = 4 + k. Does 2 divide i?
False
Does 2 divide 3781/133 + (-3)/7?
True
Is (-96)/(-3 - 0) + 0 a multiple of 16?
True
Let w = 0 - -2. Let s be ((-2)/2)/(w/2). Is 8 a factor of 18/((-3)/s) + 2?
True
Suppose 3*v - 5*h - 11 = 5*v, -2*h - 45 = -5*v. Is 18 a factor of (6 - v)*1*-18?
True
Let g(b) = -b. Let d be g(-6). Suppose 0 = -3*k - d, -3*y - 3*k = -y. Suppose 6*m - 4*m - 52 = 5*l, -l - 65 = -y*m. Does 17 divide m?
False
Let w(c) = c**2 + 4*c + 8. Does 4 divide w(-7)?
False
Suppose 80 = 5*f - 0*f. Is f a multiple of 8?
True
Let u be (222/(-4))/(-3)*-4. Let q = -52 - u. Suppose q = 5*p - 3, d + 5*p - 37 = 0. Is 10 a factor of d?
False
Suppose -m + 13 = -3*z, 0 = -6*z + z - 3*m - 3. Let g = 20 + z. Is g a multiple of 4?
False
Let o = -4 + 8. Suppose 0*w + 156 = o*w. Does 13 divide w?
True
Let l(o) = -o**2 - 37*o - 50. Is l(-23) a multiple of 25?
False
Let m(p) = 6*p**3 - p**2. Let w be m(1). Suppose -w = -j + 22. Let d = j - 10. Is 6 a factor of d?
False
Suppose -4*m + 266 - 2 = 0. Is m a multiple of 15?
False
Suppose -3*l + 2 = -1. Suppose n = 5 + l. Is n a multiple of 2?
True
Suppose 2*o - x - 56 = 64, 180 = 3*o - 4*x. Does 12 divide o?
True
Suppose -5 = -p + 5. Is (-184)/(-10) + p/(-25) a multiple of 18?
True
Suppose 157 - 37 = 5*q. Let p = q - 1. Is 11 a factor of p?
False
Suppose -284 = -3*h - 4*g, 0 = -4*h - 4*g + 203 + 181. Is h a multiple of 20?
True
Suppose -5*t = 5*r - 5, 0 = 2*t + t - 3*r - 15. Suppose -t*o - o = 0. Suppose 0 = -o*q + 5*q - 150. Does 12 divide q?
False
Let s = 3 + 3. Suppose -d = 2*d - s. Suppose 0*p + 30 = d*p. Does 4 divide p?
False
Suppose 5*n - 29 = 1. Is 16 a factor of (-12)/4*(-100)/n?
False
Suppose 5*j + 3*c - 140 = 0, 3*j - 6*j + 108 = -3*c. Let u = 55 - j. Does 21 divide u?
False
Let i = 6 - 4. Suppose 0 = u - i*u - 5. Let r = 10 + u. Is r even?
False
Suppose -3*c = 2*f - 252, 0 = -c + 3*f + 25 + 59. Does 28 divide c?
True
Is 7 + -2 - (-158 - 16) a multiple of 7?
False
Does 15 divide 58 - (-1 + (2 - 3))?
True
Let f(z) = -z - 1. Let q(u) = -9*u - 6. Let g(r) = 4*f(r) - q(r). Let p be g(5). Let y = 40 - p. Does 5 divide y?
False
Let x = -49 - -92. Is 18 a factor of x?
False
Let y be (189/15)/((-6)/(-20)). Let i be y/24 + (-2)/(-8). Suppose 2*r + 26 = -0*o + 3*o, 0 = i*o - 4*r - 20. Is 3 a factor of o?
False
Is 12/(-16)*-4 + 1 a multiple of 3?
False
Let z(s) = s**3 + 5*s**2 - 4*s - 5. Suppose -t + 13 + 4 = -5*a, 4*t + 4 = 2*a. Let q be z(a). Is (1 + -5)/((-6)/q) a multiple of 8?
False
Suppose 4*y - 185 = u, 2*u = 3*y - 3*u - 143. Suppose 5*o + y = -14. Let l = o - -36. Is l a multiple of 11?
False
Let m(d) be the first derivative of -d**4/4 - 5*d**3/3 - 2*d**2 + 5*d + 3. Is m(-5) a multiple of 11?
False
Let a = -124 - -177. Is 25 a factor of a?
False
Let j(n) be the second derivative of -n**3/2 + 7*n**2/2 + 2*n. Let o be j(5). Let l(w) = -5*w - 7. Does 10 divide l(o)?
False
Suppose 0 = -6*o + o + 80. Is o a multiple of 8?
True
Suppose 0 = d - 4*c - 84, -3*d = -2*c + 5*c - 267. Does 8 divide d?
True
Suppose 3*d = 3*g + 3, -5*g - 5*d + 6 = -9. Let t be 6/(-12)*(g + -1). Let b = 25 - t. Is b a multiple of 9?
False
Is 2277/(-46)*28/(-3) a multiple of 50?
False
Is (0 + -2 + 6)*(-2 - -27) a multiple of 20?
True
Let w = -10 + 13. Suppose 5*d - 125 = a, -w*d - 5*a + 73 = -6*a. Does 13 divide d?
True
Let n = 4 - 6. Let p be (-2)/1*(n + -1). Suppose 2*j - p*j = -84. Does 7 divide j?
True
Let h be 1 + 0/((-3)/1). Let x be (0 - 4)*h*-2. Let u = x + -2. Is u even?
True
Suppose 30 = -0*i - 5*i. Let z(n) = -n**2 - 5*n + 6. Let o be z(i). Suppose o*u = -3*u + 36. Is 6 a factor of u?
True
Suppose -2*r + 7 = -19. Does 13 divide r?
True
Let n = 85 + 21. Is n a multiple of 24?
False
Let g = 71 + -5. Does 19 divide g?
False
Let h be 35/11 - 4/22. Let g be h + (-3)/3 - -17. Suppose 3*k - 17 = g. Is k a multiple of 12?
True
Let j(s) = 50*s**2 - s. Is 16 a factor of j(-1)?
False
Let g = -4 - -6. Suppose -g*y + 0 = -4*o + 12, o - 5*y = 3. Suppose z - 56 = -o*z. Is 9 a factor of z?
False
Let m = 180 - 90. Does 14 divide m?
False
Let a(i) = -4*i**2 + 5*i**2 + 2*i + 3*i. Let w(b) = b**2 + b - 2. Let v be w(2). Does 18 divide a(v)?
True
Suppose -5*c - 20 = 0, -5*f + 0*f - c = -21. Suppose -f*d - 68 = 142. Let m = -25 - d. Is m a multiple of 17?
True
Let o(l) = l**2 - 11*l + 9. Is o(12) a multiple of 7?
True
Let y be ((-20)/(-8) - 3)*-4. Does 13 divide (54 - 2)*1/y?
True
Suppose 0 = -5*v - 5*l + 3 - 18, 0 = 2*v + 4*l + 6. Let a(m) = 2*m - 3 - m - 7*m. Is a(v) a multiple of 6?
False
Let j(m) = 3*m. Is 3 a factor of j(1)?
True
Let p(m) = m**3 + 3*m**2 - 4*m + 3. Let s be p(-4). Does 7 divide (s - 1)*(-21)/(-2)?
True
Suppose -1 = h + h + m, -4*m = 4. Suppose h = 2*q - 8 - 56. Is 16 a factor of q?
True
Suppose 5*d - 11 = -5*b + 124, d = -4*b + 24. Suppose a + a + d = w, w - 52 = -4*a. Does 12 divide w?
True
Suppose 4*u = -2*k + 134, 4*u - k = -0*k + 137. Let z = -19 + u. Is z a multiple of 5?
True
Let c(m) = m**2 + 10*m - 3. Let s be c(-9). Does 7 divide 49*4/(-56)*s?
True
Let x(h) = 166*h**3 + h**2 - h. Suppose -3*y = -7*y + 4. Let g be x(y). Is g/10 + (-6)/(-15) a multiple of 7?
False
Suppose -5*r - l = -878,