 - k. Suppose 2*r - 3 = u. Does 14 divide r?
True
Suppose 2*l + l - 194 = -r, l + 4*r - 50 = 0. Is 4 a factor of l?
False
Let b(w) = 2*w - 7. Let v be b(5). Suppose v*y - 15 = -3*l, 5*y - l + 5 = 2*y. Suppose y = -0*x + 2*x - 8. Does 3 divide x?
False
Suppose 2*f + 5 = 15. Suppose s + 16 = f*v - 0*s, -2*v + 11 = -5*s. Let n = v - -3. Is 6 a factor of n?
True
Let o = -9 - -3. Is 7 a factor of 31 - (-5 - (3 + o))?
False
Suppose 4*n = 2*m + 4, m + 3*n = -4*m + 29. Suppose -g = 3*g + 4*c - 4, -16 = -4*g + 2*c. Suppose 0 = -5*l + 2*f + 84, 0 = l - m*f - f - g. Does 8 divide l?
False
Let h(c) = -c**2 + 15*c + 10. Does 10 divide h(9)?
False
Let l = 2 - 0. Let w(d) = 9*d + 7. Let x be w(5). Suppose 3*u - 5*r - 20 = 0, 3*r - l*r = -5*u + x. Is 10 a factor of u?
True
Let o(w) = -11*w + 37. Does 9 divide o(-13)?
True
Suppose 4*v - o = 410, -4*o = 5*v - 0*o - 502. Is 29 a factor of v?
False
Let g be 16/12*(-489)/(-2). Suppose g = 5*v + 66. Is 19 a factor of v?
False
Let q(w) be the first derivative of -w**3/3 - 9*w**2/2 + 2*w + 2. Suppose 2*n - 4*n = 14. Is 7 a factor of q(n)?
False
Let o be ((-6)/12)/((-2)/(-76)). Let r = 36 + o. Is 17 a factor of r?
True
Let b = -21 - -33. Does 3 divide b?
True
Suppose -7 = -t - 4*b, -4 + 6 = b. Let d(f) = -4*f - 10. Let a be d(-3). Is 1*15 - a - t a multiple of 7?
True
Let y be 2/(-6) - (-20)/(-3). Let v = y - -13. Is v a multiple of 3?
True
Let o(t) be the first derivative of -t**4/4 - t**3 + 3*t**2/2 + 4*t + 1. Is o(-4) a multiple of 4?
True
Let s be 9/(-15) - (-6)/10. Suppose 2*v + s*f - f = 25, 4*v - 56 = -4*f. Is 2 a factor of v?
False
Let s = -49 - -90. Suppose -4*x - 4*p + 100 = 0, p - s = -x - 4*p. Does 14 divide x?
False
Let b(v) = 3*v**2 - v + 3. Let d = 18 - 30. Let r be 23/7 - d/(-42). Is b(r) a multiple of 15?
False
Suppose -5*z + z = 276. Let b = 107 + z. Does 19 divide b?
True
Suppose 16 = 2*q + 46. Let t(s) = s**2 - 12*s + 38. Let y be t(6). Does 15 divide (-6)/((-24)/q - y)?
True
Suppose 6*o + 5*a = 7*o - 34, -43 = -2*o + 5*a. Is 3 a factor of o?
True
Let g(v) = 24*v - 9. Is g(3) a multiple of 8?
False
Let b = 120 + -92. Is 6 a factor of b?
False
Suppose o + 736 = 5*o. Suppose -4*t = 5*w - o, -2*t + 141 = 4*w - 5*t. Is 12 a factor of w?
True
Let g(p) = p**2 + 4*p + 2. Let j be g(-4). Suppose -4*x + j*x + 18 = 0. Is 4 a factor of x?
False
Let b(s) = -s**3 - s**2 - 2*s - 1. Let r be b(-1). Let x be r/4 - 53/4. Let l = -1 - x. Does 6 divide l?
True
Suppose -2*a = 2*a - 20. Suppose -3*x = -5*x - 8, 5*x = -a*s + 75. Does 19 divide s?
True
Suppose -303 = -3*p - 63. Suppose -5*j + 4*a = -109, 2*a - p = -4*j - 2*a. Is 7 a factor of j?
True
Suppose -100 = -4*u - 40. Is u a multiple of 3?
True
Let i = 8 + -6. Suppose 3*j = -i*j + 135. Is j a multiple of 9?
True
Suppose 5*i + 4*u - 26 = 0, 12 = 3*u - 0*u. Suppose -96 = -p - 3*p + 4*f, 0 = i*f + 10. Does 4 divide p?
False
Suppose -3*r + 3*i = -39, -4*r = -2*i + i - 67. Is r a multiple of 18?
True
Let z = -29 - -46. Is 13 a factor of z?
False
Let p(k) = -5*k - 1. Let m be p(-1). Suppose m*i - 3*o - 1 + 14 = 0, o - 19 = 5*i. Does 6 divide 20/25*(-30)/i?
True
Let u(v) = v**3 + 5*v**2 - 4*v. Let n be u(-6). Let s(f) = f**2 + 12*f + 15. Does 5 divide s(n)?
True
Suppose 218 = -4*d + 2*z + 1164, -4 = -4*z. Is d a multiple of 28?
False
Suppose -2*k + 6*k - 5*h - 36 = 0, 24 = 4*k - 2*h. Suppose -3*o = -k*o + m + 48, 3*m + 40 = o. Does 13 divide o?
True
Let w(u) = -u**2 - 4*u - 3. Let a be w(-4). Is 3 a factor of (-2)/2 - (a - 1)?
True
Does 2 divide (-162)/(-15) - 2/(-10)?
False
Suppose k = 5*i - 88 - 228, k = -3*i + 196. Is (6/8)/(4/i) a multiple of 6?
True
Let u(v) be the second derivative of -v**4/12 + 2*v**3/3 - 2*v. Let h be u(6). Let z = h + 21. Is 5 a factor of z?
False
Suppose -m + 1 + 6 = 0. Let z(u) = -u**3 + 8*u**2 - 6*u - 5. Let d be z(m). Does 5 divide (-17)/d*4/(-2)?
False
Let u(z) be the first derivative of z**3/3 - 3*z + 5. Suppose -k - 2*k = 9. Is u(k) a multiple of 2?
True
Let d(f) be the second derivative of f**4/12 - f**3/6 + 6*f**2 - 4*f. Is 12 a factor of d(0)?
True
Suppose -3 = -3*r + 3. Suppose -5*l - 12 = -r*k, 5*k = k - 3*l + 50. Is k a multiple of 9?
False
Let w(r) = 2*r**2 - 1. Let y = 0 - -4. Let v = -6 + y. Is w(v) a multiple of 5?
False
Let m(z) be the first derivative of 7*z**4/4 - 2*z**3/3 - 3*z**2/2 + 3*z + 3. Is m(2) a multiple of 18?
False
Let q(z) = -z**2 + 2*z. Let c be q(2). Suppose -j = 4*m - 14 + 3, 4*m - 5*j - 41 = c. Suppose 0 = 2*w - m*w + 6. Does 2 divide w?
False
Suppose 3*i - 3 + 0 = 0. Let o be -1 - (-7)/i*9. Suppose o = -3*b + 5*b. Does 9 divide b?
False
Suppose -2*w + 1 = l, -5*l + l + 2*w = -4. Let f(s) = -3 + s - l + 1. Does 2 divide f(5)?
True
Let w(l) be the third derivative of l**5/12 + l**4/24 + l**3/6 + l**2. Does 21 divide w(-4)?
False
Let r(p) = p**2 + 7*p - 14. Does 9 divide r(4)?
False
Let c be (-54)/(-1) - (1 - 3). Suppose n - 10 = -0*n - 5*k, -4*k = 4*n - c. Let f = -6 + n. Is f a multiple of 3?
True
Suppose -10 = -3*o + 2*o. Suppose -s + 2*n + 4 = -o, -8 = 4*n. Suppose h = 2*h - s. Is 10 a factor of h?
True
Let b(p) = 1. Let m(h) = -8*h - 1. Let s(l) = -6*b(l) - m(l). Suppose 6*u - 11 = 25. Is 17 a factor of s(u)?
False
Let j = 4 - 1. Suppose -j*d + 10 = -5. Suppose -x = d*k - 34, 4*k + 3*x - 30 = 5*x. Is 5 a factor of k?
False
Let x be -10*(-7)/((-140)/8). Does 11 divide -3 - (2 - -58)/x?
False
Let f(h) = -11*h**3 - 4*h**2 - 5*h - 2. Is f(-2) a multiple of 28?
False
Let f(u) = -14*u - 4. Let d be f(5). Let l be d/(-6) + 4/(-12). Suppose 0 = -q + 2 + l. Is q a multiple of 14?
True
Let a(w) = 2*w**3 - 7*w**2 - 11*w - 9. Let o(x) = -5*x**3 + 14*x**2 + 23*x + 19. Let s(h) = 7*a(h) + 3*o(h). Is s(-6) a multiple of 5?
False
Let f be -1 + 2*2*-1. Let x(b) = b**3. Let p(w) = 4*w**3 - 6*w**2 + 7. Let h(r) = -p(r) + 5*x(r). Does 9 divide h(f)?
True
Let x = 58 - -102. Is x a multiple of 30?
False
Let w(h) = 7*h**3 + h**2 + h - 1. Suppose 5*g - 7 = -2. Is 8 a factor of w(g)?
True
Suppose 63 = 2*l - 129. Suppose -2*v - 12 = -l. Is 14 a factor of v?
True
Let k(c) be the first derivative of c**3 - c**2/2 + c - 1. Let f be k(1). Suppose -2*q - 3 = -m + 7, 5*m + f*q - 50 = 0. Is 3 a factor of m?
False
Is (-4 + 11/2)*12 a multiple of 17?
False
Suppose -329 - 23 = -4*j. Is j a multiple of 4?
True
Let s(h) = 15*h - 3. Suppose 3 = -f + m, -2*m = 2*f - 15 + 1. Does 22 divide s(f)?
False
Let c(a) = -a**2 - a + 25. Let k be c(0). Suppose 7*l + 2*y = 2*l - k, 4*l = 2*y - 2. Is 1/l - (-158)/6 a multiple of 13?
True
Suppose 14 = 2*q - x - 12, 4*x = -5*q + 52. Suppose v + q = -3*k + 146, 5*v = -5. Is k a multiple of 15?
True
Suppose 0 = -o + y + 7, 3*o - 21 = -0*o - 4*y. Is 2 a factor of o?
False
Let k(l) = 13*l**2 + 8*l - 7. Is 3 a factor of k(1)?
False
Suppose 6*r = 12*r - 48. Is 8 a factor of r?
True
Let n = 17 + -20. Is 2 a factor of 2/(-6) - 13/n?
True
Let q(u) = u**2 - 7*u + 10. Let t be (-22)/2*(0 + -1). Is 20 a factor of q(t)?
False
Let d = 6 - -23. Suppose 0*z = z - 45. Let p = z - d. Does 12 divide p?
False
Let n(j) = 28*j + 7. Let d(y) = 29*y + 7. Let b(o) = 6*d(o) - 5*n(o). Let g be b(7). Suppose -r = -5*l + g, -3*l + 49 = -2*l + 4*r. Is l a multiple of 19?
False
Let s be 38 - (-5)/((-5)/(-2)). Is 14 a factor of (-32)/s*35/(-2)?
True
Does 7 divide (-6)/(-33) + (-916)/(-44)?
True
Let o = 49 + -15. Is 18 a factor of o?
False
Let m(q) = q + 2. Let p(f) = -2. Let v(i) = 4*m(i) + 5*p(i). Suppose -3*x - 8 + 26 = 0. Does 11 divide v(x)?
True
Let z(p) be the second derivative of -p**6/120 - p**5/10 - p**4/6 + p**2/2 + 3*p. Let d(l) be the first derivative of z(l). Does 12 divide d(-6)?
True
Let i(s) = -2 - 2*s**2 + s**2 - 2*s + 4. Let b be i(-3). Is (b - 4)*(0 + -1) a multiple of 2?
False
Let l = -20 + 3. Let v = -12 - l. Suppose -2*x = v*n - 200, 3*n - 120 = -0*n - 4*x. Does 15 divide n?
False
Let r(k) = -k**2 - 5*k - 2. Let b be r(-3). Suppose -c - 4*d + 112 = -b*c, -3*c = -d + 118. Let j = -26 - c. Is 7 a factor of j?
True
Let b = -6 + 6. Let r = b + 7. Is r a multiple of 3?
False
Suppose m = -0*m - 2*j + 159, 3*m = -5*j + 480. Is 24 a factor of m?
False
Let c(o) be the third derivative of o**7/5040 + o**6/60 - o**5/30 + o**2. Let q(f) be the third derivative of c(f). Is q(0) a multiple of 6?
True
Let a = 1 - -23. Is a a mult