hird derivative of m(s). Does 10 divide q(-8)?
True
Suppose 6 = 4*c + 5*l - 1, 3*c + 4*l = 5. Let r be (1/c)/(5/75). Suppose -2*q - 4*j = j - 59, r*q - j - 215 = 0. Does 18 divide q?
False
Let h(l) = -6*l - 1. Let o be (-4)/(-10) + 14/(-10). Let a be h(o). Suppose -w + a = -8. Is 13 a factor of w?
True
Let d(i) = i**3 - 2*i**2 - 3*i + 4. Let f be d(3). Let c(u) = -u**3 + 5*u**2 - 2*u - 3. Is c(f) a multiple of 2?
False
Let r(o) = 3*o + 1. Let g be r(-1). Let t(z) = 2*z**2 + 2*z - 1. Does 3 divide t(g)?
True
Let f(i) be the third derivative of -i**5/60 + i**4/2 + 4*i**3/3 + i**2. Suppose -2*l + 11 = 3*u + 2*u, -5*l - 5*u + 35 = 0. Does 14 divide f(l)?
False
Suppose 5*i = -3*v + 16, i = -4*i + 5*v. Suppose -i = -2*t - 3*k + 5*k, 2 = -2*t + 4*k. Suppose -t*q - 1 = -25. Is 4 a factor of q?
True
Suppose 2*j - 2 = -10. Let y(l) be the second derivative of -5*l**3/6 + l**2 - l. Is y(j) a multiple of 14?
False
Suppose 0 = -3*s + 2 + 43. Is 10 a factor of s?
False
Let d = -4 + 6. Let k = 4 - 2. Suppose -2*x - 32 = -d*m, -3*x + 5 = k*x. Is 8 a factor of m?
False
Suppose 3*y + d = 6*d + 29, -4*d - 16 = 0. Let z be 1/((y/(-6))/1). Let s = 12 + z. Is 5 a factor of s?
True
Suppose -4*b + 83 - 19 = 0. Does 8 divide b?
True
Let v = 21 - 15. Suppose -o = -v*o + 500. Suppose -o = -4*m + 20. Is 15 a factor of m?
True
Suppose 0 = 6*k - 11*k - 2*c + 780, -c = k - 153. Is 34 a factor of k?
False
Let r = 64 - 38. Does 11 divide r?
False
Let v(r) = r**2 - 2*r + 6. Let a be (-2)/10 + (-62)/(-10). Is 10 a factor of v(a)?
True
Let l(z) = -6*z + 14. Is 28 a factor of l(-7)?
True
Suppose -1 = 5*k + q, -4*k - 2 = 4*q - 14. Does 4 divide (k/2)/((-1)/24)?
True
Suppose -25 = -2*s - 3*s. Suppose -4*c + 0*c - 4*a + 16 = 0, -s*a = 5. Suppose 80 - 15 = c*q. Is 9 a factor of q?
False
Let v = 3 + -1. Suppose 10 = 4*c - l, 3*l - 5 = -4*c - 3. Suppose -v*u + u = -c. Does 2 divide u?
True
Suppose -2*c + 3*h - 14 = -6, -2*c + 24 = 5*h. Suppose 2*d = -c*d - l + 68, l = 2*d - 40. Is 18 a factor of d?
True
Suppose 4*i - 50 = -i. Let m = 25 - i. Is m a multiple of 15?
True
Let j(x) = -x**2 + 12*x + 2. Is j(5) a multiple of 13?
False
Let m(g) = 11*g + 1. Does 25 divide m(8)?
False
Suppose 4*g + 4 = 3*l + 3*g, -2*l = -2*g - 8. Suppose l = 2*v - 5*v. Suppose 4*n - q - 51 = v, -4*q = -2*q - 2. Is n a multiple of 12?
False
Let p = 84 + 85. Let n be ((-2)/(-4))/(7/(-1582)). Let i = p + n. Does 22 divide i?
False
Suppose 7*h = 2*h + 225. Does 9 divide h?
True
Let j(b) = b**2 + 14*b - 11. Does 3 divide j(-16)?
True
Suppose 0*g = -2*g + 156. Is 26 a factor of g?
True
Suppose 4*o - 2*o + 2 = 4*d, -3*d + 5*o - 2 = 0. Let b = 7 + d. Does 3 divide b?
False
Does 9 divide 2/7 - ((-3828)/28 - -2)?
True
Does 24 divide 6253/52 + (-2)/8?
True
Suppose -3*u + 12 = -15. Suppose u = h - 3. Is h a multiple of 12?
True
Let i(g) = -g**3 - 3*g**2 + 2. Let r be i(-3). Suppose -57 = -3*s + r*c - 5*c, 0 = s - 5*c + 11. Does 10 divide s?
False
Let o = 15 + -21. Let w = o - -12. Does 6 divide w?
True
Let h = -27 + 97. Suppose 0 = 5*i + 4*y - 0*y - h, 5*y = -i - 7. Is i a multiple of 8?
False
Let x = 94 + -66. Suppose -i - 2*i = -5*p - 26, 0 = -2*i + 3*p + 16. Let w = x - i. Does 13 divide w?
True
Let l(m) = -4 - 2 - 3*m - 2*m**2 + 0*m - 3*m**2 - m**3. Let w be l(-6). Let f = -29 + w. Is f a multiple of 8?
False
Suppose -3*l + h - 4*h = -18, 0 = 4*l + h - 33. Let q = l + -5. Is q even?
True
Suppose n - 22 = -13. Is 2 a factor of n?
False
Let v = 146 + 22. Let o = v - 93. Is 27 a factor of o?
False
Suppose -2*w + i - 5 = -4*w, 0 = 4*w - 5*i - 31. Let q = w + 3. Is 2 a factor of q?
False
Let q(v) = 6*v + 5. Let b be q(8). Suppose o + b + 26 = 3*i, 57 = 2*i - 5*o. Is 13 a factor of i?
True
Let k = 391 - 172. Is k a multiple of 16?
False
Does 20 divide (-2)/(-9) + 898/9?
True
Suppose -4*c + 2*c = -4. Suppose 5*l + c*a = 387, -5*l = -3*a + 4*a - 386. Let y = l + -47. Is y a multiple of 15?
True
Let j be (-2 - -4)/(2/4). Let w(k) = 3*k - 4. Is 3 a factor of w(j)?
False
Suppose 0 = -b - 1 + 2. Suppose -5*w = 3*n - 26, 12 = 2*w + n + b. Let j = 5 + w. Is 5 a factor of j?
False
Suppose 2*m - 19 = -3*m - 3*p, -3*p + 9 = 0. Suppose 3*i = -1 - m. Let u = i - -6. Is 2 a factor of u?
False
Let i(w) = -6 - 2 - 4*w + 4 - 2. Let y be i(-5). Suppose -136 = -5*j + y. Is 8 a factor of j?
False
Let r(c) = c**2 - 10*c - 8. Let j be r(10). Let b be j/(-2*(1 - 0)). Suppose b*p = 2*k + 30, 4*k - 20 + 56 = 4*p. Is p a multiple of 5?
False
Let g(m) = 2*m**2 + 8*m - 10. Is g(-7) a multiple of 10?
False
Let r = -60 - -204. Is 6 a factor of r?
True
Suppose 0*w = 5*w + 2*p - 16, -w = 2*p. Let t(l) = -6 - 4*l - 3*l + 13*l. Is t(w) a multiple of 9?
True
Suppose 2*h = 6*h + 52. Let k be (-4 - -3)/(2/(-36)). Let j = k + h. Is j a multiple of 3?
False
Let f(s) = s**3 - 3*s**2 + s + 3. Let n be f(3). Suppose -4*m = 3*q - n*q - 118, 0 = m + 4*q - 20. Is m a multiple of 8?
False
Suppose 3*v + 720 = 3*t, -3*t + 192 + 528 = v. Suppose -5*j = -j - t. Does 20 divide j?
True
Suppose 3 - 2 = v. Let f be ((1*-3)/(-3))/v. Suppose 21 = 5*c + f. Is c a multiple of 4?
True
Let f(b) = b**2 - b + 1. Let o(j) = -j**2 + 5*j + 9. Let i be o(7). Let l = 3 + i. Does 7 divide f(l)?
True
Suppose 6*s - 28 = 5*s. Does 14 divide s?
True
Suppose -3*j = -183 - 54. Let t = j + -40. Is t a multiple of 13?
True
Suppose 4*h = 6*h - 154. Let u = -49 + h. Is 7 a factor of u?
True
Let q(r) = 3*r**2 - r + 11. Is q(4) a multiple of 9?
False
Let u(q) = -q**2 - 8*q - 9. Let j be u(-7). Is 17 a factor of 0 - (-15 + j)*2?
True
Let f(x) = -x**3 + 7*x**2 - 5*x + 5. Let n be f(6). Suppose 5*b - 10 = 3*w + 2*w, 4*w + n = 5*b. Suppose -4*v = 5*r - 83, 4*v - b*r - 69 = 2*v. Does 9 divide v?
True
Let a(h) = h**2 - 7*h + 5. Let i be a(8). Let s = 16 + 3. Let k = s - i. Is 6 a factor of k?
True
Let q(u) = -3*u + 10. Is 5 a factor of q(-6)?
False
Let s(q) be the first derivative of -q + 1/4*q**4 + 8/3*q**3 + 4 + 2*q**2. Is 27 a factor of s(-5)?
True
Suppose 20 = 3*b + b - 4*k, -25 = -2*b + 5*k. Let p be b/6 - 2*-1. Is 10 a factor of ((-36)/(-14))/(p/14)?
False
Suppose 0 = 4*l - 1 - 19. Suppose l*c - 3*a = 94 - 22, -32 = -2*c + 2*a. Does 8 divide c?
False
Let m(z) = -13*z**3 + 2*z**2 + z. Let p(j) = -j - 11. Let t be p(-10). Is m(t) a multiple of 6?
False
Suppose 0 = -0*f - 2*f + 2. Let z(w) be the third derivative of 7*w**6/60 + w**5/60 + w**4/24 - w**3/6 - w**2. Is 9 a factor of z(f)?
False
Suppose -4*o + 0 = -8. Is o a multiple of 2?
True
Let q(i) = -i**3 - 7*i**2 + 3*i + 5. Let s = -2 - -4. Let p = s + -10. Is 17 a factor of q(p)?
False
Suppose -q - 2 = q. Let z = 9 - 5. Let h = z - q. Is h even?
False
Let a(g) = g**2 + g - 6. Let m = 19 + -28. Let c be m/2 + 8/(-16). Is a(c) a multiple of 7?
True
Suppose -2*n - 17 = -5*b + 235, -4*b - 216 = 2*n. Let f = -59 - n. Suppose -3*g = -4*x + x - 63, -3*g + 5*x = -f. Is g a multiple of 12?
True
Let r(a) be the third derivative of -a**5/60 + 5*a**4/12 - 7*a**3/6 - 4*a**2. Let m be (-4)/22 + (-158)/(-22). Does 7 divide r(m)?
True
Let w be 36*(0 - -2)*-2. Let f = w + 240. Is 26 a factor of f?
False
Suppose v - 193 = -2*i, v + 386 = 3*i + 89. Does 28 divide i?
False
Let w(x) = 22*x**2 + 3*x. Is w(4) a multiple of 13?
True
Let j(l) = -l**2 - 13*l + 5. Let o be j(-8). Suppose -5*y + 125 + o = 0. Is y a multiple of 17?
True
Let q = 5 - 5. Let h = 7 + q. Does 7 divide h?
True
Suppose 2*s = -2*z + 14, 4*s = z + 3*z + 4. Suppose 158 = 3*k - k - 2*w, 0 = -2*k - z*w + 173. Suppose a + a = 4*c + k, -5*c - 20 = 0. Is 19 a factor of a?
False
Let q = -10 + 20. Is 3 a factor of q?
False
Suppose 3*n + 184 = 760. Does 22 divide n?
False
Let s(l) be the second derivative of l**3/6 - 5*l**2/2 - l. Let o be s(8). Suppose 2*u + 2*p - 32 = 0, -12 = -o*p - p. Is u a multiple of 13?
True
Suppose r - 9 = 5*l, l = 4*r - 93 - 38. Is 17 a factor of r?
True
Let c be -2 - 1 - 14/(-2). Suppose -2*h = 4*y - 8, -c*h - 2 = y - 18. Does 4 divide h?
True
Let j be (2 - 1)/2*12. Let g be (-1)/(-3) - (-154)/j. Let a = 36 - g. Is a a multiple of 10?
True
Let i be (5 - 5) + 3 + -1. Let z(p) = i - 4*p**2 + p**3 + 2*p + 3*p - 4*p + 3*p. Is 11 a factor of z(4)?
False
Suppose 4 = -2*g + 4*g. Suppose -g*q + 60 = -q + 3*d, 2*q + 3*d = 123. Does 28 divide q?
False
Let c = -77 + 37. Let r = -8 + c. Let x = 