third derivative of f**4/12 + f**3/6 + 4*f**2. Is i(q) a multiple of 3?
False
Suppose 0 = -5*j + 2*c + 1121 + 59, 0 = 4*j - c - 944. Is j a multiple of 45?
False
Let r(a) = -3*a**3 + 2*a**3 + 5*a**2 - a + 0*a**3 - 1. Is 9 a factor of r(2)?
True
Let y(x) = 3*x - 2. Let s be y(2). Let g = -4 + s. Let p(o) = -o**3 + 28. Is p(g) a multiple of 14?
True
Suppose -14*h = -812 - 364. Is 12 a factor of h?
True
Suppose 3*w + 97 = l + 39, 50 = l - 5*w. Does 14 divide l?
True
Let h = 7 + -4. Does 2 divide -18*(h + (-20)/6)?
True
Suppose 0*i - i + 4*g + 12 = 0, -4*i = -2*g - 6. Suppose i = 4*l + j - 7, -2*l - 3*j - 3 = -4. Does 2 divide l?
True
Let v(p) be the first derivative of -p**3/3 - 9*p**2/2 - 6*p - 1. Let g be v(-5). Suppose f = -f + g. Is f a multiple of 3?
False
Suppose 29*z - 23*z = 702. Is 11 a factor of z?
False
Suppose -5*n - 5 = 0, 3*n = -4*d + 4*n + 17. Suppose -5*c = 5*w - 10, -4*c - 18 = -w + d. Is 3 a factor of (-3)/(-9) - (-16)/w?
True
Let x = 8 + -20. Let t = x + 8. Let i(a) = -a**3 - 2*a**2 - 4*a + 4. Does 15 divide i(t)?
False
Suppose 9*t = -0*t + 72. Does 6 divide t?
False
Suppose 2*j + j - 6 = 0. Suppose j*l - 90 = -l. Is l a multiple of 8?
False
Suppose -b - 2*b = -6, -330 = 4*d + b. Suppose 3*r + 157 = -r + 3*j, 3*r = 4*j - 116. Let q = r - d. Is 11 a factor of q?
False
Let t = 0 - 8. Let i = -6 - t. Suppose -i*x + 65 = 3*x. Is 11 a factor of x?
False
Let b(k) be the third derivative of -k**6/120 - 11*k**5/60 + 5*k**4/12 + 3*k**3 + 2*k**2. Is 21 a factor of b(-12)?
True
Suppose 3*n - 5*y = 2, 3*y - 6 = 3*n - 0. Let l(a) = a**3 + 8*a**2 + 7*a - 2. Does 16 divide l(n)?
False
Suppose 5*r + 0*p = -p + 13, p = r - 5. Suppose -3*d = -r*y + 24, 3*y - 2*d - 17 = 12. Let z = y + -5. Is z a multiple of 8?
True
Let z(h) = -3*h - 11. Let s be z(-5). Suppose -60 = -9*c + s*c. Is 5 a factor of c?
False
Suppose 0*n - 12 = 4*d + 4*n, -3*d + 1 = n. Let q be (1*d)/((-3)/153). Is 3 a factor of q/(-14) - 4/14?
False
Let t = -219 + 410. Does 10 divide t?
False
Let z(o) = -o**2 + o + 38. Let i be ((-4)/(-3))/(3/9). Let a = i - 4. Does 14 divide z(a)?
False
Suppose -3*j - 2*k = j - 116, -3*j + 84 = 3*k. Is 6 a factor of j?
True
Suppose 0 = -k + 5*k - 16. Suppose 5 = -4*p + y, k*p - 2*y + 3 = 1. Is 6 a factor of 1/((-3)/p)*9?
True
Let t = 147 - 75. Does 20 divide t?
False
Let i be (2 - -3)/((-2)/(-2)). Suppose -4*o + 80 = 4*l, 0*o = 2*o - i*l - 12. Is 7 a factor of o?
False
Let r be 0 + -11 + 2 + -3. Let q = r - -15. Does 3 divide q?
True
Suppose -20 = -5*v - 2*n, 3*v + 0*v + 2*n = 16. Suppose 5*x + 4*u = 106, v*x - 3*u = 14 + 10. Is x a multiple of 9?
True
Let o(v) = 2*v. Let n(y) = 4*y. Let g(b) = 2*n(b) - 5*o(b). Is g(-2) a multiple of 2?
True
Let c(y) = y**3 + 9*y**2 - y - 6. Let z be c(-9). Let t = 1 - -2. Suppose p = z*f + 35, -t*p = -f - 12 - 85. Is p a multiple of 16?
True
Let r(t) = 17*t**3 - 2*t + 1. Is r(1) a multiple of 2?
True
Is 3/(-27) + 544/36 a multiple of 3?
True
Let w(j) = -j**3 + 7*j**2 - 6*j + 3. Suppose -3*h + 0*h + 18 = 0. Let v be w(h). Suppose d + 18 = v*d. Is d a multiple of 4?
False
Let j(k) be the first derivative of -7*k**2/2 - 9*k - 3. Is 20 a factor of j(-7)?
True
Let d(f) = -f**2 + 4*f - 3. Let t be d(4). Let u be (-1)/(-2) + 3/(-2). Is (-2 + u/(-3))*t a multiple of 5?
True
Let m(k) be the second derivative of -k**4/6 + k**3/6 + 2*k. Let i be m(1). Does 17 divide ((-102)/18)/(i/3)?
True
Suppose -74 = -5*s - 2*q, -5*s + 43 = -q - 40. Let z = s + -10. Is z even?
True
Let v = -74 + 19. Let b = v - -103. Is b a multiple of 12?
True
Let q = -18 - -33. Suppose -4*g + q = -185. Does 10 divide g?
True
Let i(o) = 4*o**2 + 5*o + 2. Is 20 a factor of i(-3)?
False
Let i = -33 + 11. Does 21 divide 699/33 - (-4)/i?
True
Let q = 47 - 4. Does 16 divide q*(-2 + 1)/(-1)?
False
Let m = -7 + 39. Is 16 a factor of m?
True
Let y be (-24)/(-9) + 2/6. Let s = y + 64. Suppose -s = -5*j + x, 37 = 2*j - x + 9. Does 11 divide j?
False
Suppose -5*k + 3*j - 20 = 0, 0*j + 20 = -5*k - 2*j. Suppose 5*w - 4*s = w + 84, -1 = -w - 4*s. Let n = k + w. Is n a multiple of 7?
False
Let u(v) = 2*v + 1. Let h be u(2). Suppose -h = 2*t - 13. Is t a multiple of 2?
True
Suppose -3*w - 13 = -2*a + 5, -w = 4. Suppose p = 5*u - 6, -a*u = 6 - 0. Let s = p + 38. Is 10 a factor of s?
False
Let l(v) = -3 + v**2 + 1 + 1 - 4*v + 6*v. Let s be l(1). Suppose 15 = s*g - g. Is 5 a factor of g?
True
Suppose 0 = -4*x - h + 4 + 5, 0 = -4*h - 12. Suppose 3*g - 15 - x = 0. Does 6 divide g?
True
Suppose 0 = -5*w + 75 - 0. Does 13 divide w?
False
Let a(k) = 39*k - 4. Is 27 a factor of a(5)?
False
Let f(w) = 17*w + 4. Let t = 4 - 0. Let b be f(t). Suppose n = -3*n + b. Is n a multiple of 18?
True
Suppose -2 - 1 = 3*o. Is 7 a factor of (o - 13)*(-1 + -1)?
True
Let z = 27 + -57. Is 14 a factor of ((-14)/(-5))/((-3)/z)?
True
Let h be 2/(-7) - 142/(-7). Suppose b = 4*b - 3*z - 9, 0 = 5*b - 4*z - 17. Suppose 0 = -b*i + 155 + h. Is i a multiple of 23?
False
Let z = 765 - 343. Is z a multiple of 53?
False
Suppose 0 = -3*i - 2*p + 184, 302 = 5*i - 0*p + p. Is i a multiple of 10?
True
Let p(y) = 13*y**3 + y**2. Let n be p(1). Let m = n - 10. Suppose -m*t + g + 82 = 4, -5*t + 85 = 5*g. Is 19 a factor of t?
True
Let f be 3*28 - (7 - 9). Let p = 4 + -1. Suppose -69 = -2*l + q, -p*l = q + q - f. Is l a multiple of 16?
True
Let v(f) = 12*f + 1. Let a(l) = -l - 1. Let w be a(4). Let x(k) = -k - 4. Let o be x(w). Does 13 divide v(o)?
True
Suppose -j + 68 = h, 247 + 29 = 4*h + 2*j. Does 11 divide h?
False
Let y be ((-64)/(-6))/(2/9). Suppose 0 = 4*k + x + x - y, -2*x - 2 = -k. Is k even?
True
Let m(z) = -z**3 + 5*z**2 + 7*z - 2. Let i be m(6). Let h = i + -1. Suppose h*l + 2*s - 82 = -27, 0 = -3*l + 4*s + 79. Is l a multiple of 8?
False
Let v = -81 + 145. Does 19 divide v?
False
Suppose -4*h = -4*m + 328, -m - 80 = -2*m + 2*h. Is 14 a factor of m?
True
Suppose 0 + 24 = -4*h. Let l = 10 + h. Suppose l*i + i = 100. Is 15 a factor of i?
False
Let s(w) = -w**3 - w**2 + 3*w + 3. Let x be s(-2). Let m be (5 - 2)*(1 + x). Let g = m - 4. Does 2 divide g?
True
Suppose -2*t + 22 - 6 = 0. Is t a multiple of 6?
False
Suppose -5*z + 102 = -3*z. Is z a multiple of 17?
True
Let b(y) = 0*y - 4*y + 0*y. Let c be b(-1). Suppose -142 = -c*v + 18. Is v a multiple of 20?
True
Let j(u) = u**3 + 6*u**2 - u + 6. Is 18 a factor of j(-5)?
True
Suppose 2*d + k + 1 = 0, 5 = -2*d - 3*k - 6. Suppose 3 = -5*q - 2, -d*q = -2*a + 142. Suppose a = 3*z - z. Does 16 divide z?
False
Suppose -3*u + 63 = -0*w - 3*w, 18 = u + 2*w. Is u a multiple of 4?
True
Suppose 2*d + 272 = 5*n, n + 4*d = -0*n + 50. Does 18 divide n?
True
Let t(w) = w**3 + w**2 + 2. Is t(2) a multiple of 3?
False
Suppose -2*z = -3*z. Suppose 3*f - 5*f + 8 = z. Does 10 divide (3 - -3)/(f/18)?
False
Suppose 5*o = 4*y + 16, o - 4*y = -y + 1. Let d = 17 - o. Does 13 divide d?
True
Suppose 3*a = -a + 800. Let m = a - 72. Is 36 a factor of m?
False
Suppose 4 = r - 3*y + 4*y, 9 = 2*r + 3*y. Suppose 4*q - 11 + r = 0. Suppose 5*u - 65 = -n, -11 = -u + 3*n + q. Is u a multiple of 13?
True
Let t = -4 + 1. Let x(k) = -11*k - 1. Is x(t) a multiple of 16?
True
Let t(n) = n**3 - 3*n**2 - 3*n - 4. Let p be t(4). Let f(o) = o**3 - 3*o**2 + 6*o - 1. Let s be f(4). Suppose p = a - s + 16. Is a a multiple of 15?
False
Suppose -4*k - h + 22 = 0, 4*k - 7*k - 3*h + 21 = 0. Let z = k - 0. Suppose 2*d + 11 = r + d, -z*r + 3*d = -61. Does 12 divide r?
False
Let q(s) = 90*s - 9. Does 20 divide q(3)?
False
Let t(j) = 6*j**2 + 1. Let g be t(-2). Suppose 0 = u - 27 - g. Is 26 a factor of u?
True
Is 9 a factor of -2*(-7 - 2)*2?
True
Suppose 2*f - 6*f - 36 = 0. Let n = f + 14. Suppose -5*a - 8 = n*w - 58, -a + 31 = 4*w. Is 3 a factor of w?
False
Let d(s) = -s**2 - 12*s + 1. Let n be d(-11). Does 11 divide n/15*(-165)/(-6)?
True
Suppose -2*l + 8 = -l. Let i(a) = -a**2 - 6*a - 1. Let t be i(-4). Suppose -q + t = -l. Does 13 divide q?
False
Let f = -1 - -4. Suppose 0 = 3*z - 0*z - f. Does 3 divide 24/6 - z*-2?
True
Let a(c) = -5*c**2 - c + 2. Let m be a(-2). Let j = 10 + m. Is 20 a factor of 334/6 + j/9?
False
Let v be (0 - 5)/((-3)/(-6)). Let f = v - -25. Is 15 a factor of f?
True
Suppose n = 4*f, 0 = 3*f - n + 6*n. Let a = f + 13. Does 13 divide a?
True
Does 19 divide ((-38)/(-3))/((-2)/(-3))?
True
Le