 w = 77 - n. Does 17 divide w?
False
Let k = 154 - 123. Does 2 divide k?
False
Let f be -2 + 4 - (1 - 0). Suppose -3*z + 2*z + f = 0. Is 2/(-4)*-6*z even?
False
Suppose 5*w - 4*f - 155 = 0, 5*w + 0*w + 5*f - 110 = 0. Does 27 divide w?
True
Let t(o) = -o**2 + 12*o + 8. Is t(12) a multiple of 8?
True
Suppose 281 = 4*w + 33. Is w a multiple of 18?
False
Let s(j) = -6*j - 11. Let r(a) = -a - 1. Suppose 0 = -5*z + z - 16. Let h(w) = z*r(w) + s(w). Does 3 divide h(-7)?
False
Let t = -145 - -213. Is 17 a factor of t?
True
Let r(z) = -8*z + 1. Let q = -17 - -10. Let u = q - -5. Is r(u) a multiple of 17?
True
Let t(x) = 4*x - 3. Let k(u) = 7*u - 7. Let w(h) = -3*k(h) + 5*t(h). Let d be w(6). Suppose d*i = i - 12. Does 12 divide i?
True
Let i = -19 + 25. Suppose -51 = n - i*n + v, -3*n + 2*v + 25 = 0. Is n a multiple of 6?
False
Suppose 3*v = -0 + 15. Suppose 2 = v*x - 2*c, 4*c = -x + 7 + 11. Suppose x*k - k = 12. Is 4 a factor of k?
True
Is 20 a factor of ((-64)/3)/(6/(-18))?
False
Let l = 234 + -120. Suppose -4*s + 143 = -3*i - 106, -2*i = 2*s - l. Is s a multiple of 20?
True
Is 3 a factor of (-6)/(-6) + -3 + 8/1?
True
Let v = -74 + 125. Is 17 a factor of v?
True
Is 5 a factor of (-380)/(-80) - 1/(-4)?
True
Let x = 45 - -39. Is 29 a factor of x?
False
Let g(j) be the third derivative of j**6/120 - 7*j**5/60 + 7*j**4/24 - 2*j**2. Let b be g(6). Suppose -b*h + 2*w + 14 = -4*h, 3*h - 24 = 2*w. Does 8 divide h?
False
Let h(w) = w**3 + 13*w**2 - 16*w + 16. Does 10 divide h(-14)?
False
Let c = 7 - 3. Let m be (c/(-6))/((-10)/75). Suppose 23 = w - 3*v - 5, -173 = -m*w + 4*v. Does 19 divide w?
False
Does 8 divide 3/2*(-160)/(-6)?
True
Suppose -4*t = 2*v - 582, 2*v + 3*t = -3*v + 1434. Is 14 a factor of v?
False
Suppose 5*p = z - 42, -3*z + 0*z = p + 2. Let f = 11 + p. Suppose 0 = f*c - 42 - 24. Is c a multiple of 9?
False
Suppose -54 = -3*b + 57. Let u = b + 45. Does 17 divide u?
False
Let y = 0 + 3. Suppose -r + y = -0*r. Suppose -2*n = r*q - 68, q - 12 - 2 = -5*n. Is q a multiple of 13?
False
Suppose 2*u = 5*u - 156. Is 13 a factor of u?
True
Let f = 6 - 7. Let n(s) = -4 - 6*s + 3 - 3*s. Is 7 a factor of n(f)?
False
Does 11 divide (2 - 3)*(-90 + 2)?
True
Is (22/(-66))/((-1)/36) a multiple of 4?
True
Is -3 + ((-4 - -32) + 3)*1 a multiple of 7?
True
Suppose 12 = -2*m - 3*j - j, 4*j + 12 = 5*m. Suppose m*u + 3*u = 111. Does 15 divide u?
False
Let p(g) be the second derivative of g**4/12 + 2*g**3/3 + 3*g**2/2 + 3*g. Does 38 divide p(-13)?
False
Let f(h) = -h**3 - 6*h**2 - 8*h + 3. Suppose -2*r = -7*r - 30. Does 17 divide f(r)?
True
Suppose -5*s - 80 = -10*s. Let p = s + -11. Suppose -p*k = -2*k - 4*y - 13, -2*k + 5*y + 4 = 0. Is k a multiple of 7?
True
Let v = -16 + 18. Suppose -b = -5*y + 1, v*b + 4*y - 47 = 7. Is 18 a factor of b?
False
Let o(c) = c**2 - 16. Let t(a) = a - 2. Let p be t(2). Let v be o(p). Does 8 divide -2 + (1 - v) + 1?
True
Let d(l) = -l + 8. Let n be d(6). Suppose -4*g - 75 = 5*w, 2*w + 6 + 24 = -n*g. Is (-92)/(-6) + 5/w a multiple of 6?
False
Suppose 0 = -2*d + 5*r + 610, -d - 4*r = -5*r - 311. Is d a multiple of 19?
False
Let i = 6 + -3. Suppose -i*l - 2*l = -70. Does 10 divide l?
False
Suppose 0 = -6*i + 167 + 73. Does 40 divide i?
True
Let d(h) = -2*h**3 - 4*h**2 - 3*h. Let z be d(-2). Suppose -z = -2*t, -5*w - 4*t = -6*w + 4. Is w a multiple of 16?
True
Let p = -294 - -497. Suppose 51 = -4*w + p. Is w a multiple of 19?
True
Let n(i) = -54*i + 3. Does 37 divide n(-1)?
False
Suppose 0 = 2*y - 4*m - 0*m - 164, 3*m = -5*y + 410. Is y a multiple of 14?
False
Suppose -h = -1 - 0. Let v(g) = 2*g + 5 - g - h. Is v(0) a multiple of 4?
True
Suppose -2*j - 6*x + 21 = -x, -3*x - 6 = -5*j. Suppose 0 = -4*w + 5*u + 21, j*w + 0*w - 5*u - 17 = 0. Suppose -188 + 68 = -w*g. Is g a multiple of 10?
True
Suppose -2*i + 2 = -s, -5*i = 4*s - 3*i - 2. Suppose s = -2*c - j + 15 + 17, 0 = 2*c + 5*j - 16. Does 5 divide c?
False
Let x(w) = 3*w**2 - 7*w + 10. Is x(6) a multiple of 19?
True
Let y = -11 - -11. Suppose a + 4*a - 90 = y. Is 11 a factor of a?
False
Is ((-12)/9)/(5 - 3)*-72 a multiple of 7?
False
Let n = 4 + 31. Is n a multiple of 8?
False
Suppose -5*n = 0, 0 = 3*d - 0*d + 4*n - 81. Does 3 divide d?
True
Suppose 0 = -6*k + 3*k + 48. Suppose -7 = -4*t + 5, -2*t + 7 = v. Suppose -k = -4*f, -2*f - v - 3 = -a. Is 12 a factor of a?
True
Suppose -108 = -2*j - j. Let z = j + -19. Is 2*-3*z/(-6) a multiple of 8?
False
Suppose 0*p = 4*p - 4. Is 7/p*(-4 + 6) a multiple of 5?
False
Let n(v) = 10*v**2 + 2*v + 10. Does 12 divide n(-4)?
False
Let d = -6 - -12. Let x = -20 - -60. Does 3 divide x/d + (-2)/3?
True
Suppose -n + 2*m = -2, -4*m = -5*n - 0*n + 10. Suppose -p = n*p + 9. Let t(z) = 2*z**2 + 2*z + 1. Is t(p) a multiple of 6?
False
Let d = -56 + 85. Suppose 0*c - 4 = -2*c + 2*v, 5*c - 8 = 4*v. Suppose 46 = 2*x - b, c = -2*x - 5*b + d + 5. Does 12 divide x?
False
Let s(x) = -7*x. Is 21 a factor of s(-6)?
True
Is 25 a factor of (6/4)/((-3)/(-176))?
False
Is 2 a factor of ((-4)/(-8))/(-1)*-14?
False
Suppose l - 38 + 8 = 0. Does 10 divide l?
True
Let g = -48 + 68. Is 10 a factor of g?
True
Let y(f) = -f**2 + 9*f + 1. Let i be y(9). Let p be -8 - (1 - 2 - i). Is 36*(p/4)/(-3) a multiple of 18?
True
Let d(w) = -w**2 - 13*w - 8. Let n be d(-11). Let s = 35 - n. Does 5 divide s?
False
Does 11 divide (-4)/(-6) - 916/(-12)?
True
Let g(r) = 3*r - 3. Let v be g(4). Suppose -v = 3*w - 6*w. Suppose -j + w*s + 7 = 2, -j - 4*s = -12. Is 8 a factor of j?
True
Let v = 3 - -54. Is 14 a factor of v?
False
Let q(w) = -9 - 4*w + 3*w + 3*w. Let s(b) = 2*b - 6. Let z be s(8). Is q(z) a multiple of 3?
False
Let u = -25 + 9. Let m = u + 34. Is m a multiple of 11?
False
Suppose 0 = -5*z + 4*z + 95. Let n = z - 45. Is n a multiple of 15?
False
Suppose b - 16 = -3*b. Suppose 2*z = b*z. Let p = 6 - z. Does 6 divide p?
True
Suppose -11*s - 70 + 730 = 0. Is s a multiple of 25?
False
Suppose -p - 3*s - 150 = -6*p, 3*p - 90 = 2*s. Is p a multiple of 10?
True
Let y = -1 - -25. Is 12 a factor of y?
True
Suppose -r - 5*m = -8*m - 3, -3*m = 2*r - 51. Suppose -3*x = -4*z + 11, 3*z - 8*z + 5*x = -15. Let n = z + r. Does 10 divide n?
True
Let v(q) be the first derivative of -q**4/4 - 11*q**3/3 - 7*q**2 - 8*q - 14. Suppose -b - 40 = 3*b. Is v(b) a multiple of 16?
True
Let z be 6/4 - 5/(-10). Suppose -z*y + 2 = -y. Let d(f) = 2*f. Is 2 a factor of d(y)?
True
Let t(u) = -u**2 - 11*u + 6. Let x = 3 + -11. Is t(x) a multiple of 15?
True
Let b(c) = -c**3 - 14*c**2 - 15*c - 19. Let s be b(-13). Let v = s + 0. Is 6 a factor of v?
False
Let g be -1 + (8 - 0 - 0). Let s(u) = -6 - 4 + u**3 - 2*u - 6*u**2 + u. Does 11 divide s(g)?
False
Let z be (4/(-6))/((-6)/117). Let g = z - -7. Suppose 56 = 4*r - g. Is 19 a factor of r?
True
Let k(v) = -149*v + 8. Is k(-3) a multiple of 65?
True
Let b be ((-16)/20)/((-4)/(-30)). Let r(p) = p**3 + 6*p**2 - p + 5. Is r(b) a multiple of 7?
False
Suppose 2*a + 18 + 10 = 0. Let j be 6/21 + (-402)/a. Suppose -3*r = -2*w + j, 0 = -6*w + w + 2*r + 78. Does 8 divide w?
True
Let s = -73 - -103. Let n be ((-1)/(-2))/(5/s). Suppose -3*y + n*i + 12 = -0*y, 4*y + 4*i - 56 = 0. Does 5 divide y?
False
Suppose 0 = 3*i - s + 5*s + 15, -2*i + 2*s = 24. Let d = 11 - i. Suppose 0 = c - 5*c + d. Is c a multiple of 5?
True
Let t = -121 + 149. Is t a multiple of 14?
True
Let l be 3/2*(-2)/3. Let p = 5 + l. Suppose -a = -4*a - p*v + 65, -v = 2*a - 35. Does 10 divide a?
False
Let h = -12 - -14. Suppose -129 = -h*n - n. Is 15 a factor of n?
False
Let i(f) = -f**3 + 22*f**2 + 42*f + 10. Is i(23) a multiple of 34?
False
Let w(n) = -3*n + 11. Let i(q) = -7*q + 23. Let m(k) = -2*i(k) + 5*w(k). Is 3 a factor of m(4)?
False
Suppose -4*o + o - 2 = 2*a, 0 = -3*o - 6. Suppose a*c - 6 - 38 = 0. Does 12 divide c?
False
Let a = 7 + 4. Let z = 3 + a. Is z a multiple of 7?
True
Let g = 150 + -72. Suppose -5*x - g = -4*h, x - 50 = -2*h - 2*x. Does 11 divide h?
True
Let z be 74/10 + (-10)/25. Let x be (z + -2)*(3 - 4). Let u = x - -17. Is u a multiple of 12?
True
Let m = -8 + 14. Let i be m/33 + 480/22. Let g = -7 + i. Is g a multiple of 10?
False
Suppose -65 = 3*v - 197. Does 9 divide v?
False
Suppose -a = -s + a + 17, 0 = 5*s - 4*a - 67. Does 4 divide s?
False
Suppose 0*n + 2*n = 5*q - 8, 2*n + 2 = 2*q. Suppose