 140, 0 = -m + 4*m - 2*l - 84. Suppose 2*c = 8 + m. Does 9 divide c?
True
Suppose 4 - 24 = -w + 3*v, -v + 20 = 5*w. Suppose -w*i + 18 = -2*i. Suppose 0 = h - i*h + 35. Is h a multiple of 2?
False
Is -6*((-84)/(-9))/(-7) a multiple of 6?
False
Let d(v) = -9*v - v**2 + 2*v - 4*v. Is 15 a factor of d(-5)?
True
Suppose 2 = 2*x + o, x + 3*o + 8 - 19 = 0. Suppose -7*n - w - 2 = -2*n, 0 = -n + 2*w - 7. Does 23 divide (0 - 92)/(x + n)?
True
Let q(l) = -l**3 + 4*l**2 + 7*l - 2. Let p be q(5). Let w = -2 + p. Does 8 divide w/(-15) - (-87)/5?
False
Let x(z) be the third derivative of -5*z**4/24 + 7*z**3/6 + 3*z**2. Does 11 divide x(-7)?
False
Suppose 2*r + 90 + 244 = 4*i, -r = 5*i - 421. Is 20 a factor of i?
False
Let q be 2/9 - (-60)/(-27). Does 13 divide (q + 1/1)*-33?
False
Suppose 2*v = -v + 6. Suppose -5*k = -n, 4*n + 6 = 5*k + 21. Suppose -n*t = -v - 13. Is 3 a factor of t?
True
Suppose -h = -0*h. Suppose h*r = -5*r + 20. Suppose -3*u + 69 = r*n, n - 3*n = 4*u - 32. Does 18 divide n?
True
Is (10/3)/((-6)/(-207)) a multiple of 23?
True
Let p(m) = -m**2 - m. Let s(q) = 4*q**2 - 1. Let r(a) = -3*p(a) - s(a). Let w be r(3). Is w + (-45)/(2 + -5) a multiple of 8?
True
Suppose 5*u - 9*u + 3*r = -199, 2*u = -3*r + 95. Is u a multiple of 4?
False
Let v(t) = 9*t - 14. Is v(6) a multiple of 10?
True
Suppose 0*w - w + 5 = 0. Suppose -w*l + 236 = -284. Suppose 0 = p - 5*p + l. Is p a multiple of 17?
False
Suppose -85 = -5*u - 0. Does 10 divide u?
False
Does 6 divide (5/(-25) + -1)*-30?
True
Let s(z) = -z**3 - z**2 + z + 2. Let h be s(0). Let d(k) = -k - k + h + k. Does 3 divide d(-5)?
False
Let n = -547 - -774. Is n a multiple of 43?
False
Let y(x) = 3*x + 18. Is 10 a factor of y(0)?
False
Suppose -192 = -4*n - 3*y, 3*n + 4*y + 67 = 4*n. Suppose -2*j + n = -99. Is 15 a factor of j?
True
Let a = -24 + 16. Let g = 8 + a. Suppose 5*d = -3*f + 39, -f = -g*f - 3*d + 1. Is f a multiple of 5?
False
Is 22 a factor of 2 + (-105 + 0)/(-3)?
False
Let v(r) be the third derivative of -r**6/120 + r**5/15 + r**4/12 - r**3/6 + 2*r**2. Is v(4) a multiple of 7?
True
Suppose 4 = 4*k, 0 = 4*i - k + 6*k - 37. Is i a multiple of 6?
False
Suppose 4*f - s - 242 = f, 3*f = 4*s + 239. Suppose 4*x - f = 143. Is x a multiple of 14?
True
Suppose 5*j + 0*j = 20, -2*p + 18 = 5*j. Let w be 1/((-1)/4*p). Suppose w*v = 5*z + 15, 5*v + 6*z - 29 = 2*z. Does 5 divide v?
True
Let m(l) be the first derivative of l**4/4 - 5*l**3/3 - 2*l**2 + 4*l + 3. Is m(6) a multiple of 7?
False
Let g = -1 + 4. Suppose d - g = -0*d. Suppose d*x - 6*x + 78 = 0. Is x a multiple of 13?
True
Let i(c) = 6*c**3 - c**2 - 2*c + 1. Let q be i(2). Suppose 0 = -3*g + q - 5. Is g a multiple of 12?
True
Let s(c) = c**2 + 4*c - 3. Suppose -32 = 2*b - 14. Does 21 divide s(b)?
True
Suppose v = -4*v - 30. Is 6 a factor of (3 - -6)*(-4)/v?
True
Let h = -5 + 8. Let q be 0/((-1)/(h/6)). Suppose q = -5*b + 2*b - 3*u + 87, 3*b - 72 = 2*u. Does 13 divide b?
True
Let t = 15 - 10. Suppose k - 25 = 3*z, 2*z - 3*z - 153 = -t*k. Suppose -2*x + 15 = -r, -r = -4*x - 0*x + k. Does 3 divide x?
False
Suppose 3*s - 3 = 3*t, 5*s - 5 = -2*t + 21. Suppose -t*l + 261 = 4*d, -5*l - 6 + 21 = 0. Does 34 divide d?
False
Let n = -7 - -8. Let z(w) = -w**2 - 2 + 7*w**2 + 1. Is 5 a factor of z(n)?
True
Suppose -3*c - 3*t = -7*c + 31, -4*t = -5*c + 40. Suppose -q = -c*q + 21. Let l(p) = -p**3 + 7*p**2 + 5*p - 1. Is l(q) a multiple of 17?
True
Let d(z) be the third derivative of z**8/10080 + z**7/5040 - z**6/144 + z**5/30 - z**2. Let w(f) be the third derivative of d(f). Does 20 divide w(-4)?
False
Suppose 6*d - d - 5*k = 25, 5*d = 4*k + 29. Does 4 divide d?
False
Let c(z) = 5*z + 28. Does 7 divide c(14)?
True
Is (-3 - (0 + -22)) + 5 a multiple of 4?
True
Let v = -6 - -27. Does 21 divide v?
True
Let k(a) = -2*a + 3. Let m be k(-3). Let n = -4 + 10. Let p = m - n. Is p a multiple of 3?
True
Let t(u) be the second derivative of 5/12*u**4 - 1/20*u**5 + 0 + u + u**2 - 1/3*u**3. Is t(2) a multiple of 7?
False
Suppose -6*p = -3*p - 732. Does 26 divide ((-2)/8)/((-1)/p)?
False
Suppose 2*i - 7 + 9 = 0. Suppose 8*j = 4*j - 8. Is 15 a factor of j/(4/(-90)) + i?
False
Let d(t) = -t**2 + 16*t - 13. Suppose -2*h + 6 = -18. Is 8 a factor of d(h)?
False
Is 5 a factor of 26 - (-1 + 1 + 0)?
False
Let f(x) = x**3 + 6*x**2 + 4*x + 6. Let d be f(-6). Let l = d + 29. Let g = l + -1. Is 7 a factor of g?
False
Let j(g) = -g**3 + g**2 + g + 2. Let b be j(0). Suppose r = 5*y - 24, -b = -y - r + 4*r. Is 4 a factor of y?
False
Is (-18)/(-36) - 157/(-2) a multiple of 17?
False
Suppose 2*n + 20 = 5*i, 6 = 4*n - 4*i + 22. Suppose 0 = -a + 3*s, -a + 3*a - 3*s - 3 = n. Suppose r = d + 9, -r + d = -2*r + a. Does 6 divide r?
True
Let a(y) = 3*y - 5. Let w(l) be the third derivative of l**6/120 + l**5/12 - 7*l**4/24 - 3*l**2. Let c be w(-6). Is a(c) a multiple of 6?
False
Let z(h) be the first derivative of 7*h**2 + 4*h + 3. Is 15 a factor of z(4)?
True
Suppose 3*z - 20 = -z. Suppose 0 = -z*v - 52 + 167. Is 13 a factor of v?
False
Suppose 9*d = -0*d + 1971. Does 23 divide d?
False
Suppose -7*v + b = -2*v - 26, v = -5*b. Suppose 8*p - 6 = v*p. Is p*((-2 - 0) + 6) a multiple of 7?
False
Is 18 a factor of 9*3/(-6)*-6?
False
Suppose -2*p = -o - 2 + 14, -5*p = -o + 12. Is 7 a factor of (-73)/(-6) - 2/o?
False
Suppose 617 = 20*q - 663. Is 16 a factor of q?
True
Let g be 2 - (0 - (131 - 1)). Let l = 1 + 1. Suppose -l*m = 2*m - g. Is 11 a factor of m?
True
Let b(n) = -n**2 - n. Let q(i) = -2*i**2 + 6*i - 3. Let k(m) = b(m) - q(m). Is 4 a factor of k(8)?
False
Suppose -5*p = -b + 80, -3*p + 128 - 16 = b. Let s = b + -61. Is s a multiple of 11?
False
Let u = 7 - 5. Suppose -4*t + u*i + 216 = 0, 3*t - 97 = 4*i + 55. Is 12 a factor of t?
False
Let z = 75 + -53. Suppose -z = 3*o + 5. Is 11 a factor of 1 - ((-2 - -1) + o)?
True
Let w be (4*(-1)/(-2))/2. Does 10 divide (3 + -1)*8/w?
False
Let r = -2 - -9. Suppose -14 = -8*x + r*x. Is 9 a factor of x?
False
Let d be ((-94)/(-6))/(2/6). Suppose 5*v - 53 = d. Does 20 divide v?
True
Suppose -4*h = -5*t - 13, -t + 5*h = 2*t + 13. Let a(c) = -25*c - 1. Is a(t) a multiple of 11?
False
Let t(x) = 26*x + 1. Let b = 0 + -2. Let h be 1*b + 1 + 2. Does 13 divide t(h)?
False
Let n = -21 - -11. Let b(w) = w**2 + 5*w - 14. Does 14 divide b(n)?
False
Let z = 5 + -19. Let o = z + 26. Is 9 a factor of o?
False
Let i = -20 - -29. Let y be (-3)/i + 19/3. Suppose -y*a + 24 = -3*a. Is a a multiple of 8?
True
Let h(x) = 5*x - 2. Let z be 1 - (-1)/2*2. Is 5 a factor of h(z)?
False
Let v = -54 + 26. Let q = v - -61. Let d = -14 + q. Does 13 divide d?
False
Suppose 4*l - 99 = 4*k + 33, 5*k = 10. Does 5 divide l?
True
Let i(f) = f + 6. Let o be -1*((-2)/2 - -1). Is i(o) a multiple of 3?
True
Let g = 236 - 131. Is 21 a factor of g?
True
Let d(f) be the second derivative of f**6/90 + f**5/60 + f**4/12 + f**3/6 - 2*f. Let t(k) be the second derivative of d(k). Does 7 divide t(-2)?
True
Is ((-4)/5)/(2/(-100)) a multiple of 20?
True
Let w = 4 + -3. Suppose 3 = -x + w. Does 12 divide (-129)/(-4) + x/8?
False
Suppose v + 4 = -0*v. Does 9 divide -7 - -22 - (1 + v)?
True
Let l be 0 + 10 + 2 + -1. Suppose -3*t + 51 = -0*t. Suppose 0 = -4*b + l + t. Is 3 a factor of b?
False
Is (0 + 34/3)*12 + 2 a multiple of 46?
True
Suppose u + 2 - 12 = 0. Suppose -u + 52 = 2*o. Is o a multiple of 13?
False
Suppose 3*g + x = 106, -2*g - 158 = -7*g + 3*x. Does 5 divide g?
False
Let p be (-8)/(-6)*(-12)/(-8). Does 13 divide p*(-12)/8*-5?
False
Let l(u) = 5*u**2 - 2*u - 1. Let p be l(2). Suppose 4*w + 15 = q, 2*q - p - 6 = 5*w. Suppose -14 = -3*a - 2*f, -5*a - q*f - 2*f + 25 = 0. Is 3 a factor of a?
False
Let a(g) = 6*g**3 - g. Let d be a(1). Suppose -y + 2*y - d = -2*o, 5*y + o - 61 = 0. Is 9 a factor of y?
False
Let s = -16 - -30. Does 17 divide (-2 - s/(-6))*51?
True
Suppose -3*z - 30 = -8*z. Is z a multiple of 5?
False
Suppose 2*d - 30 = -4*q + 20, 0 = d + 4*q - 19. Does 12 divide d?
False
Suppose 3*h + 4*y - 92 = 2*y, 6 = -3*y. Does 16 divide h?
True
Let o = 22 + 4. Is o a multiple of 6?
False
Let j(y) = 12*y**2 - y - 2. Is 22 a factor of j(-3)?
False
Suppose -4*r = -5*v + 97, 20 + 26 = 2*v + 2*r. Is 3 a factor of v?
True
Is 1 - -108 - 8/((-32)/12) a multiple of 56?
True
Let v(f) = 1. Let g(w) = 2*w. Let 