w be (12 - 8)*(-26)/(-8). Does 19 divide d(w)?
False
Let c be (-48)/28 + 4/(-14). Is 4/8 + (-139)/c a multiple of 18?
False
Let x = -203 - -342. Is 6 a factor of x?
False
Suppose -h + 19 = -0*h. Let t = 33 - h. Is 7 a factor of t?
True
Let c be (0 + 1)*1 + -1. Let p(b) = -b + 3. Does 3 divide p(c)?
True
Let r = 22 + -19. Is r even?
False
Suppose -17 = g + 5*c, 3*g + 4*c = c + 9. Does 8 divide g?
True
Let y(p) = -p**2 + 6*p + 3. Let l be y(7). Let c = -4 - l. Suppose q = 2*b - c*q - 25, -3*q = 3*b - 15. Does 10 divide b?
True
Let q(i) = -62*i - 4. Does 11 divide q(-4)?
False
Let t(c) = -c**2 + 12*c - 5. Does 10 divide t(7)?
True
Suppose 0*v - 3 = 3*v. Suppose -3*h + 76 = -4*b, -2*b + 5*b = -3*h - 36. Let k = v - b. Is k a multiple of 8?
False
Let o(n) = 2*n**3 + 15*n**2. Does 4 divide o(-7)?
False
Let w(n) = n + 15. Let l be w(0). Let f = -1 + -8. Let s = f + l. Is 5 a factor of s?
False
Suppose 3*a + 10 = 37. Suppose -4*i = -a*i + 90. Does 13 divide i?
False
Suppose -8*g - 8 + 456 = 0. Does 28 divide g?
True
Suppose 0 + 10 = 5*u. Suppose -5*g + u*g + 75 = 0. Suppose -q = -3, g = d + q + 4*q. Is 5 a factor of d?
True
Suppose 0 = 4*f + 5*b, -f + 2*f + 11 = -4*b. Suppose -s + 4*m = -1 - 2, -f*s = 5*m + 10. Is 3 a factor of s/((-7)/6 + 1)?
True
Suppose 0 = 6*b - 10*b + 12. Suppose 0 = l - 2*l + 4*d + 14, b*l + 3*d = 12. Does 2 divide l?
True
Suppose 3*l = -l - 12. Let x(w) = -44*w + 3. Let t be x(l). Suppose 4*g - t = -g. Does 11 divide g?
False
Suppose -3*b + m = -0*m - 68, 12 = 3*m. Does 8 divide b?
True
Let y = 146 - 81. Suppose -5*s + y = 5*a, -4*a = s - 35 - 11. Does 11 divide a?
True
Let f(w) be the second derivative of -w**5/20 + w**4/4 + w**3/2 - w**2/2 - w. Let z = -3 - -6. Does 8 divide f(z)?
True
Let w(n) = 14*n + 6. Let k(a) = 9*a + 4. Let m be (-5 + 1)*2 + 0. Let o(v) = m*k(v) + 5*w(v). Is 4 a factor of o(-6)?
False
Let k(f) = -f. Let n(j) = 6*j + 6. Let m(u) = 15*k(u) + n(u). Let w be m(6). Is (6/(-6))/(1/w) a multiple of 19?
False
Suppose 19 + 5 = b + 2*j, -2*b + 4*j + 40 = 0. Is 12 a factor of b?
False
Suppose -k - 120 = 2*k. Let x = k - -6. Does 8 divide (-9)/27 + x/(-3)?
False
Suppose 0 = -2*w - 0 + 8. Suppose -m - 2*v + 56 = m, -w*m - v = -115. Is 23 a factor of m?
False
Let z(v) = -v**3 - 3*v**2 - 3*v. Is z(-4) a multiple of 28?
True
Suppose 0 = -9*s + 13*s + 88. Is (-6)/33 + (-312)/s a multiple of 3?
False
Let p(r) be the third derivative of r**7/1260 - r**6/72 + r**5/30 + r**4/12 - 2*r**2. Let g(l) be the second derivative of p(l). Does 16 divide g(7)?
True
Let w(p) = -4*p - 14. Let z(n) = -7*n - 29. Let v = -1 - 2. Let y(m) = v*z(m) + 5*w(m). Does 4 divide y(-12)?
False
Let l(y) = y**2 + 10*y - 16. Let f be l(-12). Suppose 3*g = 4 + f. Is g a multiple of 4?
True
Let t = -44 - -114. Does 14 divide t?
True
Let t = 2 + -2. Suppose t = -11*c + 6*c + 10. Suppose -c*g = 3*g - 20, 3*a + 2*g = 131. Is a a multiple of 15?
False
Let w be (-6)/(-15) + (-463)/(-5). Suppose 4*c - w = -9. Does 7 divide c?
True
Let q = 2 - 8. Let f = q + 18. Does 12 divide f?
True
Let x = 169 - -56. Does 15 divide x?
True
Suppose t - 2*q - 84 = -2*t, -105 = -4*t + 5*q. Does 15 divide t?
True
Suppose 3*x + x - 16 = 0. Is x even?
True
Let g(j) = -j**2 - 5*j + 8. Let q(d) = 2*d + 1. Let m be q(-1). Let l(h) = -h + 1. Let b(n) = m*g(n) + 6*l(n). Does 15 divide b(5)?
False
Let s(x) = 3*x. Suppose -i + 3*i = 2, -i - 5 = -3*q. Is s(q) a multiple of 2?
True
Let s be (-1)/(-1) - (0 - -77). Let t = -45 - s. Is 11 a factor of t?
False
Suppose 0 = 4*d + 15 + 5, 0 = 4*x - 2*d - 70. Does 9 divide x?
False
Let r be (-4)/((-4)/1)*0. Suppose s + 15 - 51 = r. Is s a multiple of 16?
False
Let f(x) be the third derivative of -x**4/24 + 6*x**3 + 3*x**2. Suppose t = -t. Is f(t) a multiple of 12?
True
Let b(q) = q**2 - 5. Let h be b(0). Let s = h - -7. Suppose x - s = -4*g, 7*x + 3*g = 3*x + 21. Is 3 a factor of x?
True
Let b(y) be the third derivative of 3*y**4/8 - 7*y**3/6 + 9*y**2. Suppose -5 = -2*k + q + 7, -5*q = -3*k + 11. Is 28 a factor of b(k)?
True
Let q(h) = 3*h - 3. Let o be q(6). Suppose -2*g + 1 + o = 0. Does 3 divide g?
False
Let q = -19 + 55. Is 19 a factor of q?
False
Let r = 6 + -6. Suppose o = -r*o + 2. Suppose 8 = -o*x - 4*j, -4*j = -3*j + 5. Does 6 divide x?
True
Suppose 23 - 127 = 2*b. Let n(a) = a**3 - a**2 - 3*a - 3. Let j be n(3). Is 20 a factor of b/(-3)*18/j?
False
Let v(s) = -s**2 - 7*s - 7. Let m be v(-5). Let a be (5 - 1)/(8/6). Suppose -a*u - 3*b = -24, u = 4*u - m*b - 48. Does 12 divide u?
True
Suppose l - k = 77, l + 2*k = -4*l + 357. Is l a multiple of 16?
False
Let w = 411 - 221. Is w a multiple of 19?
True
Suppose -3*b = -63 + 3. Is 4 a factor of b?
True
Suppose -5*d = -5*k + 3*k + 8, 0 = d - 2*k. Does 16 divide ((-28)/(-35))/(d/(-80))?
True
Suppose 0*z + 430 = 5*z. Does 13 divide z?
False
Let q = 17 + -12. Let y = 17 - q. Is y a multiple of 5?
False
Suppose 4 + 4 = -4*w. Let p be w/(-3)*6/(-2). Is (1/p)/((-1)/24) a multiple of 5?
False
Suppose -3*x - 5*y = -y - 28, -4*y + 32 = 4*x. Suppose 0 = x*b - 9 - 15. Let t = 23 - b. Is t a multiple of 14?
False
Suppose 3*t - 2*q = 42, 3*t - 7 = -3*q + 20. Is 3 a factor of t?
True
Suppose -2*a - 5*w + 4 + 6 = 0, -4*a + 3*w + 20 = 0. Suppose -2*c = a*y - 3*c - 112, 5*y - 104 = -3*c. Is y a multiple of 12?
False
Let r(p) = -p**3 - 2*p**2 + 4*p + 3. Let k be r(-3). Suppose 4*l + k*l + 5*o - 325 = 0, 0 = -l - o + 82. Suppose 3*m - 8*m + l = 0. Does 5 divide m?
False
Let r = 75 + -29. Is 10 a factor of r - -2*2/(-2)?
False
Suppose 5*o - 2 - 3 = 0. Is -1 + 13 + (0 - o) a multiple of 5?
False
Suppose p - 3 = -0*p. Suppose -2*l + 27 = -p. Does 6 divide l?
False
Suppose 0 = 2*p - 17 - 37. Is 6 a factor of p?
False
Let s = 47 - 5. Is 21 a factor of s/8*(-48)/(-12)?
True
Let o(a) = a**3 + 13*a**2 + 14*a - 16. Let w be o(-12). Is 16 a factor of 3 - (-2 + 2 + w)?
False
Is 4 a factor of 39 + (4 + 4)/(-2)?
False
Let o(a) = a**3 + 25*a**2 + 45*a - 13. Is 5 a factor of o(-23)?
True
Let u(k) = -k**3 + 6*k**2 + 3. Let q be u(6). Suppose o - 10 = -q*f + 67, 0 = f - 5*o + 1. Is 9 a factor of f?
False
Suppose 2*x = -4*c + 232, -3*x - 2*x = 5*c - 300. Does 8 divide c?
True
Suppose 14 = -4*h - 6, -283 = -4*w + 3*h. Is 20 a factor of w?
False
Is 21 a factor of (-20)/(-30) - (1 - 602/6)?
False
Suppose 11 - 98 = -a - 4*x, -2*a + 184 = -2*x. Let r be a/14 + 6/(-4). Suppose -r*i + 13 = -i + u, -3*u - 9 = 0. Is 3 a factor of i?
False
Let j be (4 + -3)*2 - -1. Let b = j + -4. Is b - (-41 - 3/(-3)) a multiple of 17?
False
Let f(m) = 2*m**2. Let a be f(-1). Suppose c - 2*g = 5, -a*g + 7 = 5*c - 6. Let k(d) = -d**3 + 6*d**2 - 4*d + 4. Does 18 divide k(c)?
False
Let h(w) = w**2 - w + 19. Is 8 a factor of h(0)?
False
Let x = -435 - -107. Let a = -203 - x. Suppose -h - a = -6*h. Is h a multiple of 10?
False
Let j(b) = 0 - 4 + 11*b - 2. Let u be j(7). Suppose 5*w = 4*o - u, w + 2 + 41 = 2*o. Does 12 divide o?
True
Let l(g) = -g - 4. Suppose -3*o + x + 25 = -8*o, 35 = -5*o + x. Let t be l(o). Suppose -f + 3*k = -37, 2*f + f - t*k - 104 = 0. Is 11 a factor of f?
False
Let r(n) = 6*n - 7. Let c = 18 - 10. Suppose -2*o = -c - 4. Is 10 a factor of r(o)?
False
Let h be (-6)/21*(2 + -9). Suppose -5*x + h*x = -45. Is x a multiple of 5?
True
Is (12/(-10))/((4/(-130))/1) a multiple of 13?
True
Let l(g) = -5*g + 1. Let x be l(3). Is 2 a factor of ((-4)/6)/(x/105)?
False
Suppose 0*a = -4*a + 192. Is 12 a factor of a?
True
Let k(m) = -2*m**3 - 2*m - 1. Let a be k(-1). Suppose 2*v - 6 = -3*d, 0 = -v - d + a. Suppose 3*z + 135 = v*p, 4*p = z + 2*z + 176. Does 16 divide p?
False
Let x = 4 - 6. Let m be (-14)/(-6) + x/(-3). Suppose m*h - 8*h + 200 = 0. Does 14 divide h?
False
Let d = 61 - 37. Is d a multiple of 13?
False
Suppose z = -5*x + 48, -69 = -2*z + 5*x + 12. Does 16 divide z?
False
Let q(g) be the second derivative of g**4 + g**3/6 + g**2/2 - 3*g. Is q(-1) a multiple of 9?
False
Suppose -4*x + r = -98, -x + 3 = r - 19. Does 4 divide x?
True
Does 12 divide (-1)/5 + 3615/75?
True
Let j = 12 - 10. Let m(b) be the first derivative of 8*b**3/3 - b**2 + 2. Does 12 divide m(j)?
False
Suppose -3*f - 3*h + 31 = -53, 4*h + 32 = 2*f. Does 8 divide f?
True
Suppose -5*b + 5*f = -500, -3*b + 4*f + 48 = -247. Is b a multiple of 15?
True
Let l = 23 + -11. Is l 