he second derivative of c**4/3 + 2*c**3/3 + c**2 + c. Suppose -1 = -5*o - 4*h, -o + 17 = 5*h - 0*h. Does 17 divide t(o)?
False
Let x(l) be the first derivative of -1/2*l**2 + 5*l - 2. Is 11 a factor of x(-6)?
True
Let h = 76 - 25. Let d = h + -24. Is 9 a factor of d?
True
Let k = -2 - -4. Suppose -2*u + 2 = -0*u + d, u = k*d + 6. Is u a multiple of 2?
True
Let y = -53 - -80. Suppose -l + y = 2. Is l a multiple of 8?
False
Suppose -4*g = -4, -2*r + 9 = 3*g - 2*g. Let y = -6 + r. Let f = y - -8. Does 6 divide f?
True
Let i = -38 - -102. Let l = -14 + i. Is l a multiple of 16?
False
Let x be (-12)/(-18)*3/(-2). Does 13 divide 2 - -1 - 26/x?
False
Let f = 65 + -6. Is 13 a factor of f?
False
Let v be (5/(-3))/(2/(-24)). Suppose -4*g + 33 = -5*x, -3*g - 4*x - v = -6. Suppose p - 9 = -g*k, 0 = -5*k - 2*p + p + 18. Is 2 a factor of k?
False
Let z = -54 - -81. Is 8 a factor of z?
False
Let l(d) = -d**2 - 9*d - 9. Let m be l(-7). Suppose 4*c + 50 = m*c. Suppose -3*w = 2*n - c, 3*n - 60 = -n + 4*w. Is n a multiple of 19?
True
Is (-2 - 86/8)*56/(-21) a multiple of 17?
True
Let v be 472/6 - (-2)/6. Suppose 25 = -3*n + v. Is 9 a factor of n?
True
Let s(u) = -3*u. Let y(h) = -4*h + 3. Let p be y(2). Is 11 a factor of s(p)?
False
Let d be (4 + -10)*(-4)/6. Let r(t) = 2*t + 8*t - 4 + d*t + 3. Is r(1) a multiple of 7?
False
Let c = -27 + 79. Does 26 divide c?
True
Suppose 908 = 5*l - 0*j + j, 0 = -2*l - 4*j + 374. Does 9 divide l?
False
Is -1*5*(3 - 4) a multiple of 2?
False
Let b be (-533)/3 + 2/(-6). Let y be b/3 - (-1)/3. Let k = 87 + y. Is k a multiple of 13?
False
Let q = 170 + -52. Suppose -2*y + 32 = -q. Suppose -5*i + 35 = -y. Is 11 a factor of i?
True
Let k(q) = -36*q - 27. Let r(j) = -5*j - 4. Let w(i) = -2*k(i) + 15*r(i). Is w(-7) a multiple of 7?
False
Let q(n) = 6*n - 2. Let b(w) = -13*w + 5. Let d(k) = 4*b(k) + 10*q(k). Is d(1) a multiple of 4?
True
Let q be (-1)/(-2)*1*10. Let w be (0 + 3)/(3 - 2). Suppose -q*j + 98 = 4*n, j + 4*n = w*j - 28. Does 5 divide j?
False
Suppose 4*f + 2*n = 0, -f - 3*f + 8 = -2*n. Suppose 37 + f = z. Is 19 a factor of z?
True
Suppose -2*i = -24 + 6. Is 6 a factor of (-36)/i*(-9)/2?
True
Let w(r) = 3*r**2 - 8. Let j be w(-8). Let c = -112 + j. Is 17 a factor of c?
False
Let d = -35 + 49. Is 5 a factor of d?
False
Let z(r) = -2*r**3 + r**2 + r. Let o be z(-1). Suppose o*i + 8 = 36. Is 3 a factor of i?
False
Let u = -15 - -7. Let t = u + 13. Suppose v - 2*h - 20 = 0, -t*h = -v + 2*v + 15. Is v a multiple of 4?
False
Is (6*(-2)/14)/(1/(-154)) a multiple of 22?
True
Let y(m) = 2*m + 5*m - 4 + 3*m**2 - 2*m**2. Is 2 a factor of y(-8)?
True
Suppose -8*i + 4*i = -672. Is 21 a factor of i?
True
Let l be (-12)/(-6) - (-1 + 1). Suppose 2*j = l*a - 38, 0*j = 3*a + 3*j - 33. Is a a multiple of 6?
False
Let q = -59 + 92. Is 14 a factor of q?
False
Suppose l + 3*f = -0*f - 66, 0 = -l + 2*f - 41. Let y = -35 - l. Is 8 a factor of y?
True
Suppose -6*s + s - 5*d - 5 = 0, -d - 1 = -5*s. Let l be 8 + (-1)/3*s. Is 5 a factor of (l + -1)*(0 - -1)?
False
Suppose 4*z + 9 - 165 = 0. Is (-3 + 6)/(-1) + z a multiple of 18?
True
Let m = 81 - 49. Suppose r + 21 = 5*o - m, 5*r = 4*o - 55. Does 5 divide o?
True
Is 2/4*(2 - -122) a multiple of 23?
False
Let h = 3 - -8. Is 8 a factor of h?
False
Let h = 0 - 0. Let z be 19/7 - 4/(-14). Suppose 5*d = h, z*s - 5*d = s + 12. Is 6 a factor of s?
True
Suppose 4*n = -0*n + 208. Let c be n/(-14) - (-8)/(-28). Is (c - -2)/(-2) + 11 a multiple of 5?
False
Let p(y) = 0*y**2 + y**3 - 1 + 9*y + 8 + 9*y**2. Is p(-7) a multiple of 14?
True
Let h(l) = l**3 + 4*l**2 - 4*l + 7. Let i be h(-5). Let y = -14 - -53. Suppose 0 = i*g - y - 13. Does 12 divide g?
False
Suppose -5 = b + 2*m, -m - 2 = b + 1. Let y = 2 - b. Is y even?
False
Let o(v) = 0 - 1 + 5*v - 3. Does 16 divide o(4)?
True
Suppose q - 13 = 10. Is 12 a factor of q?
False
Let y = 41 + -17. Is 12 a factor of y?
True
Let g(v) be the second derivative of -v**4/24 + 7*v**3/3 - 3*v**2/2 - 2*v. Let d(t) be the first derivative of g(t). Does 2 divide d(10)?
True
Let f(a) = 11*a - 27. Is 10 a factor of f(7)?
True
Suppose 2*t + 4 = -u, 3*u - 4*t - 45 = -7. Does 2 divide u?
True
Let u(v) be the third derivative of v**6/12 + v**5/30 - v**4/8 + v**3/6 + 8*v**2. Is u(1) a multiple of 10?
True
Let c(a) = 2*a**3 - 6*a**2 + 6*a + 2. Is 22 a factor of c(5)?
True
Suppose z = 7 - 3. Suppose -4*k + 16 = -12. Suppose 4*d = -z*p, k*p + 25 = 2*p. Does 5 divide d?
True
Suppose -4*m + 5*q + 18 + 474 = 0, -16 = -4*q. Is m a multiple of 14?
False
Suppose -2*w + 57 = -3*x, -w - 16 + 43 = -x. Is 17 a factor of w/18*99/2?
False
Suppose -5*n + 42 = -3*l, 7*n = 3*n + 4*l + 40. Suppose 0 = -3*s + n*s. Suppose s = -2*a - 3*a + 75. Is a a multiple of 9?
False
Let w = -7 - -4. Is w - (27/(-3) + 0) a multiple of 3?
True
Let x(l) = 5*l**2 - 5. Let h be x(4). Is 23 a factor of -3 - (2 - (h + 1))?
False
Suppose 0 = 5*d + 2*i - 131, 4*d + 5*i = 2*i + 109. Is 5 a factor of d?
True
Let q(u) be the second derivative of u**5/20 - 5*u**4/12 + u**3/6 + u. Let j(f) be the second derivative of q(f). Is j(7) a multiple of 13?
False
Let b = 50 - 18. Does 22 divide b?
False
Suppose -z + 350 = 4*z. Is z a multiple of 14?
True
Let x(k) = -10*k**3 + 8*k**3 - 12*k**3. Suppose 0 = 5*w - i - 0*i, 0 = -4*w + 5*i + 21. Does 7 divide x(w)?
True
Suppose 5*x - 3*x = -5*d - 20, 8 = -5*x - 2*d. Suppose x = 6*t - t. Suppose 0*n - 4*k = -3*n - 2, -k + 5 = t. Is 3 a factor of n?
True
Let k = -2 + 2. Suppose -4*f + 3*x - 231 = -7*f, 2*f - x - 157 = k. Does 30 divide f?
False
Let h(s) = 15*s**3 + 2*s**2 - 1. Is h(1) a multiple of 4?
True
Let d(u) = 3*u - 7. Let o be d(3). Suppose -18 = -o*s - 0*s. Does 9 divide s?
True
Let p be (5 + -2)/((-6)/(-8)). Suppose p*s + s - 45 = 0. Suppose -f = -s - 7. Is f a multiple of 10?
False
Let c = -50 - -133. Suppose -c = -5*t + 2. Is 10 a factor of t?
False
Suppose 0 = 5*m - q - 16, 0 = 2*m + 2*m - 2*q - 8. Suppose 0 = -m*z + 54 + 42. Is 12 a factor of z?
True
Let b = 3 + 8. Let r = -37 - b. Is 6 a factor of (1/(-2))/(2/r)?
True
Let q(f) = -f**3 - 4*f**2 + 3*f. Let k(z) = -z - 11. Let o be k(-6). Does 10 divide q(o)?
True
Let r be (4/(-5))/((-1)/5). Suppose -38 = -r*l + 2*l. Is l a multiple of 13?
False
Let a(m) be the first derivative of 3*m**2 + m + 2. Let y be a(1). Suppose z - 31 = -y. Is z a multiple of 12?
True
Let k = 151 - 61. Suppose -i - 27 = -k. Does 22 divide i?
False
Is -134*(-1)/2*1 a multiple of 12?
False
Let x(i) = 7*i - 8. Is 13 a factor of x(13)?
False
Let f be (-2)/(2/(-3) + 0). Suppose -u - 10 = -5*d - 0*u, 3*d - 2*u = 6. Suppose 3*g - f = d*g. Is g a multiple of 2?
False
Let x(k) = -k**3 + 9*k**2 - 7*k + 4. Let p be x(8). Does 8 divide p + 0 + 3 + -3?
False
Does 12 divide (2 - 21/9)/((-11)/396)?
True
Suppose -3*c + 2*c = -20. Does 4 divide c?
True
Is (2/(-4))/((-250)/124 + 2) a multiple of 6?
False
Suppose -10*m = -7*m - 597. Is m a multiple of 61?
False
Let i = 22 + -10. Does 10 divide i?
False
Let q be 4/3*1*9. Does 8 divide -2*4*(-12)/q?
True
Let h = 6 + -1. Suppose -h*x + 220 = -35. Does 15 divide x?
False
Suppose j - 8 = -3*j. Suppose 4*d = j*d + 20. Is d a multiple of 10?
True
Suppose h + 2*h + 5*s - 32 = 0, -32 = -5*h - 3*s. Suppose -4*t - 114 = -4*o + 46, h*o = -t + 140. Is 18 a factor of o?
True
Suppose -26 = -3*l - 2*d, -2*l = d + 5 - 23. Is 5 a factor of l?
True
Suppose 188 - 40 = 4*r. Is 9 a factor of r?
False
Let p(x) = x + 6. Let g be p(-4). Suppose -g*t = -7*t - 85. Let d = 31 + t. Is d a multiple of 5?
False
Let t = 0 - -4. Let v be ((-2)/t)/(2/(-48)). Suppose -g - g = -v. Is g a multiple of 3?
True
Suppose -5*b - 5*g + g + 140 = 0, 4*g - 84 = -3*b. Is 5 a factor of b?
False
Suppose 5*n - 644 = n. Does 23 divide n?
True
Suppose -g - 3 = -4*w, -2*w - 4*g - 12 = 2*w. Suppose -7*l + 3*l = w. Suppose -3*o - j = -100, 3*o + l*o + 3*j = 102. Does 12 divide o?
False
Suppose 4*m + 38 = b, -4*b + 70 = b + 4*m. Is b a multiple of 3?
True
Is 6 a factor of (213/(-6))/(-1*(-3)/(-6))?
False
Suppose 68 = 3*n - 25. Is 4 a factor of n?
False
Suppose -6*m = -4*m - 62. Is 8 a factor of m?
False
Let v(z) = 259*z**2 - 5*z - 5. Is 7 a factor of v(-1)?
True
Is 4 - ((0 - 3) + -41) a multiple of 16?
True
Is 4 a factor of 230/8 - (-57)/(-76)?
True
Let t(w) = w**3 + w**2 + w + 4. 