*w + 59. Let l = w - -45. Does 13 divide l?
False
Let u(q) = -5*q - 111. Is 16 a factor of u(-42)?
False
Let l(q) = -q + 15 - 6 - 13. Let r = -40 - -27. Is l(r) a multiple of 2?
False
Let h(p) be the third derivative of p**6/120 - p**5/4 + 17*p**4/24 - 3*p**3 + 8*p**2. Is h(14) a multiple of 8?
True
Suppose 0 = -3*p - 4*m + 1255, -5*m - 1725 = -3*p - p. Suppose 0*d + 5*d = p. Is d a multiple of 14?
False
Let z(g) be the second derivative of 13*g**3/3 - 5*g**2/2 - 2*g. Let r(x) = -13*x + 3. Let a(s) = -7*r(s) - 4*z(s). Does 5 divide a(-3)?
False
Suppose 0 = -2*z - 2*z + 2*n - 190, 5*n + 245 = -5*z. Let p = z - -79. Let c = -4 + p. Does 9 divide c?
True
Let q(z) = 5*z**2 - 9*z + 22. Is q(5) a multiple of 3?
True
Suppose -4*t + 805 + 635 = 0. Suppose -8*w = -3*w - t. Does 24 divide w?
True
Suppose 3*p - 4*r + 320 = r, -3*p - r = 350. Let l = p + 209. Is 18 a factor of l?
False
Suppose -6*r - 5 = 19. Is r/((-8)/67) - 2/4 a multiple of 11?
True
Let s = 8 + -14. Let n = -2 - s. Suppose -v + 41 = -n. Does 18 divide v?
False
Suppose -5*k + 52 = 4*j, 2*j = k - 3 + 1. Let r(d) = -2*d**3 + 15*d**2 - 5*d - 11. Let m be r(7). Does 8 divide m*(-3)/((-3)/k)?
True
Let a(i) = i**2 + 6*i + 2. Let y be a(-6). Let x(s) = 2*s**3 + 6*s**2 - 7*s - 2. Let k be x(-4). Let p = y - k. Is p a multiple of 5?
False
Let b = -50 + 44. Let c(u) = 2*u**2 + 4*u - 12. Does 14 divide c(b)?
False
Let j(t) = 2*t**3 + 3*t**2 - 9*t - 44. Is 66 a factor of j(7)?
True
Let k(v) be the first derivative of -v**2/2 + 77*v - 3. Suppose 2*c = 9*c. Is k(c) a multiple of 11?
True
Let z = 4 + 0. Suppose 4*h - 4*d = 500, 2*d = -z*h - d + 500. Suppose -51 = -4*c + h. Is 11 a factor of c?
True
Let v(r) = 13*r**2 + 1. Suppose 0 = 8*u - 3*u - 5. Let p = u + 0. Does 9 divide v(p)?
False
Suppose -34 = 10*f - 1674. Does 41 divide f?
True
Suppose 2*o = 2*b - 24, 3*b = o + 2 + 40. Suppose -171 = -b*i + 1149. Does 8 divide i?
True
Does 5 divide (26 + -23)*50/6?
True
Let f = -15 + 21. Suppose -b + 2*z + 44 = 0, -2*b + f*z = 3*z - 90. Suppose -l = 2*j - 0*j - 24, -2*l + b = -4*j. Is l a multiple of 8?
True
Suppose 48384 = 19*y + 23*y. Is 54 a factor of y?
False
Let o(y) = 93*y - 176. Is o(9) a multiple of 52?
False
Let b(c) = -3*c**2 + c - 5. Let q be b(-4). Let u = 117 + q. Is 17 a factor of u?
False
Let g = -41 + 50. Is (-2)/g - (-4224)/54 a multiple of 12?
False
Suppose 2*w - 6 = 0, 2*y - y - 12 = -4*w. Suppose y = -n, -n = 4*q + n - 216. Suppose 3*v - 3 = q. Does 8 divide v?
False
Let b = -52 - -24. Does 2 divide (-2 - (-6)/4)/(2/b)?
False
Suppose 0 = -5*v - d - 35, -2*d = -3*v - 2*v - 20. Let s = 13 - v. Is s a multiple of 13?
False
Let h(p) = -p**3 + 11*p**2 + 27*p - 136. Is 10 a factor of h(7)?
False
Let o(h) = -h**2 + 2*h - 2. Let q be o(0). Suppose 0 = 3*b + 6 - 18. Is 37 - (b/q - -4) a multiple of 11?
False
Let q be 3/(-2)*8/6. Let n(u) = 0*u**2 + 2*u**2 - 1 + 3*u + 3. Is 4 a factor of n(q)?
True
Let j(f) = f**3 + 2*f**2 - 5*f - 3. Let l be j(-3). Suppose -16 = l*w - 97. Is 5 a factor of w?
False
Suppose -146 - 34 = -5*j. Does 12 divide j?
True
Let t = 2 + 1. Let g(w) = 5 + t*w - w + 0*w - w. Is 3 a factor of g(7)?
True
Let f = -12 + 21. Suppose 3*y + 5*a - 11 = f, -5*y + 56 = -3*a. Does 10 divide y?
True
Suppose 0 = m - 4*b - 296, m - 175 = 5*b + 123. Does 36 divide m?
True
Let q be ((-26)/(-8))/(2/8). Suppose 12*c + 6 = q*c. Is c a multiple of 6?
True
Let s(o) be the third derivative of -o**5/60 - 11*o**4/24 + 7*o**3/6 + 5*o**2. Suppose t - 2*b = 3*b - 29, -3*t - b - 23 = 0. Is s(t) a multiple of 25?
True
Let q(p) = 8*p - 32. Let t be q(14). Is t/(-100)*(-35)/2 a multiple of 3?
False
Suppose -2*i - 4*b - 3 + 15 = 0, 0 = 5*i + 2*b - 6. Let h(j) = j - 12. Let n be h(14). Suppose i = n*t - 4*t + 10. Is 2 a factor of t?
False
Suppose w - 16 = -5*z, 64 = 5*w - z - 16. Let s = w + -14. Suppose s*k - q - 25 = 0, 2*k + 3*k - 70 = 5*q. Is k a multiple of 3?
False
Suppose -3*m = 3*a - 24, 20 = m + m + 3*a. Let u be 933/(-12) - 2/8. Does 5 divide u/(-4)*m/6?
False
Let b(d) = 2*d**3 + 25*d**2 - 211*d + 14. Is b(13) a multiple of 38?
True
Suppose -11*k + 1876 = -8288. Is 14 a factor of k?
True
Let q = 225 - 29. Is q a multiple of 49?
True
Let x be 1/(3*(-2)/(-54)). Suppose 0 = x*s - 5*s - 340. Is s a multiple of 13?
False
Let n be (48/4)/(12/8). Let m = 46 - n. Does 25 divide m?
False
Let l = -724 + 1134. Suppose 10*o = 15*o - l. Does 13 divide o?
False
Let r(a) = a**3 + 13*a**2 - a - 8. Let j be r(-13). Let h = 8 - j. Suppose h*v + v = 240. Does 12 divide v?
True
Is 15 a factor of (-400)/(-625)*9070 + 2/10?
True
Suppose -5*g = -123 - 867. Is g a multiple of 26?
False
Suppose -2*o = -o. Suppose 2*g + o = 5*r + 40, 2*g - r - 24 = 0. Suppose 14 = p - g. Is 8 a factor of p?
True
Let x(g) = 4*g**2 - 3*g + 8. Let h be x(9). Let f be 1 + 1 + -5 + 6. Suppose 68 = -f*m + h. Does 16 divide m?
False
Let o(h) = -543*h - 629. Is o(-3) a multiple of 92?
False
Suppose 0 = -4*d + 7*d - 3*p - 5007, -3*d + 4*p + 5010 = 0. Is 49 a factor of d?
True
Suppose 0 = 42*u - 34*u - 12144. Is 66 a factor of u?
True
Suppose 0*d = c + 5*d - 1131, 4*c - 4599 = -5*d. Is c a multiple of 17?
True
Suppose 4*q - 6*s - 8174 = -4*s, 3*s - 4107 = -2*q. Does 66 divide q?
True
Let w be (24/(-40) - 3/(-5)) + 80. Suppose 10*y + w = 15*y. Is y a multiple of 4?
True
Let n(l) = -l**3 - 13*l**2 - 15*l - 19. Does 16 divide n(-13)?
True
Let b(m) = m**3 + 5*m**2 + m + 5. Let n be b(-5). Suppose -5*g + 132 = 2*v, n = -v - 0 - 4. Is 5 a factor of g?
False
Let m(r) = r**3 - 1. Let j(z) = 2*z**3 - 5*z**2 + 5*z + 10. Let l(o) = -o**3 - 1. Let d(q) = j(q) + 4*l(q). Let y(a) = d(a) + 4*m(a). Is y(4) a multiple of 20?
False
Is 49 a factor of 468*(-21)/(-14) + 4?
False
Suppose 0*r - 38 = -2*r - 4*k, 3*k = -r + 14. Let i = r - -25. Is i a multiple of 34?
False
Suppose -12580 = -6*g + 3890. Does 61 divide g?
True
Let u(j) = j**2 - 7*j + 6. Let v be u(7). Suppose -3*l = 2*f - 31, l = -2*l + 3*f + v. Let o(g) = -g**3 + 9*g**2 - 2*g - 10. Is 38 a factor of o(l)?
False
Let r = -13 + 33. Suppose -8*z + 4*z = -r. Let h(a) = a**2 - 4*a + 1. Is h(z) a multiple of 2?
True
Suppose -5*m + 1 = -4, 5*m = 4*y - 27. Does 26 divide (-2)/y + (-1260)/(-48)?
True
Is 18 a factor of (-12)/(-24) - 321/(-6) - 3?
False
Suppose 0 = -8*f + 3*f + 4*p - 2, 2*p = -3*f + 12. Suppose -2*t = -3*q - 23, -f*t + 3*t + 1 = 4*q. Is 10 a factor of t?
False
Is ((2 - -1) + -2)*(-2 + 109) a multiple of 3?
False
Does 20 divide (57 - -9)/((-3)/(-16))?
False
Let o = 14096 + -10064. Is o a multiple of 12?
True
Let k = 12 - -5. Let r be 24/(-27) + 1 + (-10619)/(-333). Let s = k + r. Is 13 a factor of s?
False
Let d = 1491 - -137. Is d a multiple of 76?
False
Let x(n) = 4*n + 2. Let u be x(-1). Let o(g) = 14*g**2 - g + 2. Does 8 divide o(u)?
False
Let o be (-8)/(-14) - 8208/(-42). Suppose y + o = 2*y. Is y a multiple of 28?
True
Let u(z) = 19*z + 4 + 10 + 0. Does 9 divide u(4)?
True
Suppose 0 = -2*t + 2*c + 110, -11*t + 158 = -8*t + 4*c. Is t a multiple of 3?
True
Suppose -6*s = -8*s + 6. Suppose 0 = -s*v + 4*x + 65, 5*v - 2*v - 67 = 5*x. Suppose 0 = -b - 1 + v. Is 12 a factor of b?
False
Let a = -255 - -711. Does 38 divide a?
True
Suppose 3*z - 125 = -4*m - 24, 0 = m + 2*z - 29. Let o = 23 - m. Suppose o = -c + 11 + 4. Is 5 a factor of c?
True
Suppose 1042 + 4880 = 6*p. Does 47 divide p?
True
Suppose -b + 16 = -4*c, -9 = -b - 5*c - 2. Let v(l) = -l + 15. Let x be v(b). Suppose 71 = 2*f + 4*d - 7, -5*d - 73 = -x*f. Is 9 a factor of f?
False
Suppose j + 5*n = -8, 5*j - 4*n - 6 - 12 = 0. Suppose w + 7 = -g, 4*w - g = g + j. Does 9 divide 328/18 + w/9?
True
Let r(k) = 2*k**2 - 7*k - 1. Suppose 3*u + 39 = s, 3*s - 8*s + 5*u + 145 = 0. Let m be (20/(-6))/((-16)/s). Is r(m) a multiple of 7?
True
Suppose -5*x + 424 = -2*z, 2*z + z = -2*x + 162. Is x a multiple of 14?
True
Let v(q) = q**2 + 14*q + 16. Let g be v(-13). Suppose -x - 3*x = 5*o + 373, -g*x + 3*o = 246. Let f = -61 - x. Is f a multiple of 13?
True
Suppose 0 = 6*f - 2*f - 2*q - 2, -3*q = -4*f + 3. Suppose f = -3*v + 4*v - 5. Suppose -v*k + 64 = -k. Is k a multiple of 7?
False
Suppose 26*g - 285 = 31*g. Let z = 89 + g. Does 32 divide z?
True
Suppose -9*y + 3346 = -2072. Is 50 a factor of y?
False
Let d(z) = -3*z + 3. Let f be d(-1). Suppose f*n - 215 = 169