w a multiple of 16?
False
Let b be (40/12)/((-1)/(-24)). Suppose 3*v - 28 = b. Does 18 divide v?
True
Let v be 63/(-15) - (-2)/10. Let k = -1 - v. Suppose 43 = 5*c + k. Does 8 divide c?
True
Let h = -2 - -4. Suppose 18 = l + 2*y, -3*y - 54 = h*l - 5*l. Is l a multiple of 9?
True
Let t(i) be the third derivative of -i**6/720 + i**5/30 + i**4/8 + 3*i**2. Let s(h) be the second derivative of t(h). Does 15 divide s(-11)?
True
Let m be -1 + -1 + -3 + 4. Let s be 29*((3 - 3) + m). Let y = s + 49. Does 10 divide y?
True
Let d = 5 - 2. Suppose -3*v + 15 = -0*v. Suppose -v*n + d*n + 8 = 0. Is 4 a factor of n?
True
Let w(d) = d**3 + 10*d**2 + 12*d + 2. Is w(-8) a multiple of 4?
False
Let w(d) = d**3 + 11*d**2 + 9*d - 2. Let y = -7 + 11. Suppose a = -5 - y. Is 21 a factor of w(a)?
False
Let v(n) = -n**2 - 3*n - 18 + 0*n**2 - 16*n. Is 21 a factor of v(-15)?
True
Let g(p) = 27*p + 2. Suppose 3 - 5 = -f. Is 19 a factor of g(f)?
False
Suppose -10 = -3*c + 2. Suppose -c*u - 16 + 148 = 0. Does 13 divide u?
False
Let v(b) = b + 6. Let j be 3/6*8 + -2. Let u = 7 - j. Does 3 divide v(u)?
False
Let f = 26 + 15. Suppose z - f = -0*z. Is 15 a factor of z?
False
Let h(x) = -x. Let o(q) = 3*q - 14. Let y(w) = -h(w) - o(w). Is y(-10) a multiple of 10?
False
Suppose 0*p = -4*p + 16. Suppose 2*b - 1 = -5*t - 8, p*t = 5*b - 65. Does 6 divide b?
False
Let h(b) = b**3 + 11*b**2 + 4*b - 24. Does 36 divide h(-10)?
True
Suppose 2*w = -3*l + 206, 348 = 5*l - w - 17. Does 14 divide l?
False
Let n(i) = -i - 2. Let g be n(-5). Suppose -g*c + 16 = c. Suppose 0 = -c*v - v + 40. Is 4 a factor of v?
True
Let h(d) = -d**3 - 10*d**2 - 3*d - 4. Let q(o) = 2*o**3 + 21*o**2 + 7*o + 8. Let b(i) = -13*h(i) - 6*q(i). Is b(-4) a multiple of 16?
True
Let w(n) = 3 - n + 2*n + 15. Suppose 0 = x + 2*x + 5*h + 39, 15 = -3*x + 3*h. Is 10 a factor of w(x)?
True
Is 2 a factor of ((-4)/1)/(16/(-24))?
True
Let l(h) = -h**3 - h**2. Let s(y) = 43*y**3 - y**2 - 2*y + 1. Let t(x) = -2*l(x) + s(x). Does 14 divide t(1)?
False
Let s be 4/(-1) + 2 + 0. Let t = -2 - -1. Does 6 divide (s/6)/(t/27)?
False
Let m(i) = 18*i + 7. Is 6 a factor of m(5)?
False
Let d = -293 - -481. Is d a multiple of 17?
False
Let b(y) = y**3 - y**2 + 28. Does 14 divide b(0)?
True
Let a = -8 + 38. Suppose -3*s - a = -114. Let h = s - 15. Does 13 divide h?
True
Suppose -5*d + 532 + 163 = -5*w, -3*w + 258 = 2*d. Does 9 divide d?
True
Suppose 4*l = 0, 87 = -4*n + 4*l - 5. Let f = n + 39. Does 6 divide f?
False
Let d(k) = 2*k**3 - 1. Let q be d(1). Is 17 a factor of -7 + 5 - (-20)/q?
False
Suppose 3*f = 4*l - f + 116, -5*l = -3*f + 145. Let v = l - -45. Does 9 divide (-70)/(-8) + 4/v?
True
Let p(z) be the second derivative of 11*z**3/6 + 3*z**2/2 + z. Let t = 3 + 0. Does 11 divide p(t)?
False
Let o(y) = 4*y**2 - 14*y + 25. Does 16 divide o(8)?
False
Let x(j) = 11*j**2 - j. Does 21 divide x(2)?
True
Suppose 0 = -5*s - 2*j + 222 + 71, 5*j = -5. Is 15 a factor of s?
False
Let r = 25 + -12. Let q = r - 94. Let g = q - -115. Does 14 divide g?
False
Let g be 14/(-21) - (-16)/6. Suppose 2*f + g*f = -12. Is (f/5)/(2/(-50)) a multiple of 5?
True
Let j(m) = m - 3. Suppose 8 = -4*u, -3*u = 3*p - 7 + 1. Let y be j(p). Does 9 divide (y - (-1 + 2)) + 15?
False
Let k(l) = 6 - 6*l + l**2 + 0 + 0*l**2. Does 9 divide k(7)?
False
Is (((-57)/5)/(-1))/((-2)/(-20)) a multiple of 19?
True
Let l = 5 - 4. Let h be (l - 0)*(4 - 1). Suppose -5*f + 5*n + 19 = -21, 0 = -5*f + h*n + 48. Is f a multiple of 12?
True
Let a(l) = l**3 + l**2 - 2. Let m be a(-2). Let r(v) = v**2 + 5*v - 1. Is r(m) even?
False
Suppose 0 = -4*s + 5*r + 290, 0 = -0*s + 2*s - 2*r - 146. Suppose 0*j - 3*j + s = 0. Is 7 a factor of j?
False
Let g(w) = -2*w + 1. Let m be g(-2). Suppose z + 47 = 3*i, -5*i = -3*i + m*z - 54. Is i a multiple of 14?
False
Suppose 0 = -0*f + f - 95. Let s = 137 - f. Is s a multiple of 14?
True
Let q = -9 - -11. Suppose q*x = n + 127, 3*n - 4 = -n. Is x a multiple of 16?
True
Let w be -4*12/(-16) + 3. Is 13 a factor of (-780)/(-18)*w/4?
True
Suppose 3*o = -7 + 133. Let v = 70 - o. Is 14 a factor of v?
True
Let m(t) be the third derivative of t**6/120 - 2*t**5/15 - 2*t**4/3 + 11*t**3/6 + 3*t**2. Does 17 divide m(10)?
True
Suppose 5*d - 3*d - 48 = 0. Suppose 4*c - d = 2*c. Is c a multiple of 12?
True
Let n(a) = a**3 - a + 8. Let i = 2 + -2. Let t be n(i). Suppose -s - s = -t. Is s a multiple of 4?
True
Suppose 2*c = -2*r - 10, r + 5 = 2*c + 2*c. Suppose 2*t + c*t = 38. Let d = t - 5. Is d a multiple of 14?
True
Let l be (-1 - 3/(-2))*12. Suppose 0*y = -2*y + 2, -8 = 3*r + 4*y. Let q = r + l. Is q a multiple of 2?
True
Suppose 4*o = -3*m + 345, -2*o = -10*m + 11*m - 171. Is 19 a factor of o?
False
Does 18 divide (3 + -2)*18*6?
True
Suppose 5*u - 4 = u. Suppose 0 = 2*c + i - 42, i + 28 = c + u. Is c a multiple of 10?
False
Suppose 0 = 4*u + 3 + 9. Is 1 + ((-102)/2)/u a multiple of 18?
True
Suppose 0 = l - 0 - 1. Let x(n) = 5*n - 3. Let d(y) = -1. Let v(m) = l*x(m) - 2*d(m). Does 7 divide v(3)?
True
Let g(m) = 5*m**2 - m. Is g(2) a multiple of 13?
False
Let o(b) = -6*b**3 + 4*b**2 + b - 2. Let y(s) = 13*s**3 - 9*s**2 - 2*s + 4. Let p(l) = -5*o(l) - 2*y(l). Is p(2) a multiple of 12?
True
Suppose 2*r = -0*r + 4. Suppose 13 = -s + r*s. Is s a multiple of 5?
False
Let m be (0 - -3) + -1 + 42. Suppose -u + m + 4 = 0. Is u a multiple of 15?
False
Suppose -c = 4*c - 120. Is 4 a factor of c?
True
Suppose 3*j + 18 = g, -g + 0*g = 4*j + 17. Suppose 4*k - 334 = 2*c, -g*k + 147 = -5*c - 114. Is 22 a factor of k?
False
Is 13 a factor of (-55)/(-5) + (2 - 0)?
True
Let v be 2 + -3 - -3 - -2. Suppose 0 = -0*m - v*m + 8. Suppose 3*k = -l + 50, -2*l + 2 = -m*k + 22. Is 12 a factor of k?
False
Let u be (-214)/(-4) - (-2)/4. Suppose -v - 2*v = -u. Is 9 a factor of v?
True
Let q = 782 + -546. Is 20 a factor of q?
False
Is (-7920)/96*((-4)/6)/1 a multiple of 17?
False
Let j be (-13 - -6)*(-6)/7. Suppose 32 - j = b. Is b a multiple of 13?
True
Suppose 3*w = 3*q - 0*q + 33, q = 3*w - 29. Suppose w + 6 = 3*i. Is i a multiple of 2?
False
Does 17 divide ((-464)/20)/((-2)/5)?
False
Let u(h) = h + 22. Suppose -l + 3*l - 4 = -4*w, 7 = 5*w + 2*l. Suppose -4*o = -3*n - 20, -8 = 3*n - w*o + 7. Does 9 divide u(n)?
False
Let y be 2 - (-1 - (131 + -2)). Let a(d) = 22*d**2 - d + 1. Let l be a(1). Suppose -5*b + y = l. Does 10 divide b?
False
Let j(s) = -s**3 - 6*s**2 - 4*s. Let c be j(-6). Suppose 4*x = 6*x - c. Let l = x + -8. Is l a multiple of 3?
False
Let b = 10 + 10. Let q = 9 + b. Suppose 4*k - q = -1. Is 5 a factor of k?
False
Let s be 34 - (-2)/((-2)/(-2)). Let p be ((-1)/(-2))/((-9)/36). Does 16 divide 0/1 + s + p?
False
Suppose -2*i - 9 = -p, 5*i + 36 + 19 = -4*p. Let f = 13 - i. Is f a multiple of 10?
True
Is 7 a factor of (-2)/(-3 - 489/(-165))?
False
Suppose 252 = 2*g - 2*m, 2*g + m - 238 = -4*m. Let s(z) = z**2 + 6*z + 3. Let j be s(-6). Suppose j*t - 84 = 4*w, -2*w - 16 - g = -5*t. Is 14 a factor of t?
True
Suppose 3*a = -z + 61, 292 = -z + 5*z - 4*a. Is z a multiple of 14?
True
Let v = -121 + 195. Does 13 divide v?
False
Let p be 0/(-1) - -1*4. Let s(g) be the second derivative of g**4/12 + g**3/3 - 2*g**2 + g. Is s(p) a multiple of 10?
True
Suppose 0*y - 2*y + 122 = 0. Suppose -4*f + y + 7 = 0. Is f a multiple of 17?
True
Let f(o) = -o**3 - 6*o**2 - 7*o - 5. Let t be f(-5). Suppose z = -5*i + 17, -t*i - 4 = 2*z - 43. Is z a multiple of 11?
True
Let n(u) = -u**3 - 5*u**2 - 2*u - 5. Let o = -9 + 4. Is n(o) a multiple of 2?
False
Suppose -4 = -4*a - 0*a + 5*v, 0 = -2*a + 2*v. Let l be (-156)/(-9) - a/6. Suppose -3*c + 63 = 4*k, 5*c + 5*k + l - 123 = 0. Is c a multiple of 11?
False
Let t = -83 - -88. Is t a multiple of 3?
False
Let l be (0 - 52/8)*2. Is 4 a factor of 5/(-15) + l/(-3)?
True
Suppose 10 = 2*d - d. Suppose -2*q + g + 67 = 0, 3*g - d = -3*q + 95. Is 17 a factor of q?
True
Suppose -2*f - 5 = -d, -f - 3*f = -8. Let y = d - 7. Suppose -y*j + 32 + 4 = 0. Is 18 a factor of j?
True
Suppose -4*i + 3*i + 24 = s, 0 = 5*i + 2*s - 120. Is 10 a factor of i?
False
Let a(p) = 8*p - 4. Let u be a(3). Let m(t) = t**3 + t**2 + 10. Let r be m(0). Let g = u - r. Does 7 divide g?
False
Let c = -11 - -16. Suppose 15 = -c*u, 2*u = 3*y - y - 50. Is 14 a factor of y?
False
Suppose 0*u + 56 = -2*u. Let o = -1