ivative of 7*m**4/24 - 4*m**3/3 + m**2/2 - m. Let l(b) be the first derivative of z(b). Is 17 a factor of l(6)?
True
Let c(r) be the third derivative of r**4/12 - r**3/6 + 3*r**2. Is 2 a factor of c(2)?
False
Let i = -1 - 0. Let l be 6/1 + i + -1. Suppose 20 = l*d - 16. Is 6 a factor of d?
False
Suppose -127 + 592 = 3*y. Does 20 divide y?
False
Suppose 109 = 3*x + 19. Does 6 divide x?
True
Let b = -11 - -19. Does 13 divide b/(-28) - (-550)/14?
True
Let z be (-2 + 5)*(-36)/(-4). Let m = z + 17. Does 22 divide m?
True
Let j(w) = 8*w - 5. Is 29 a factor of j(11)?
False
Suppose 3*f - 109 - 107 = 0. Is f a multiple of 9?
True
Let j be (5/(-2) - -2)*0. Suppose -2*o + 4*o - 532 = j. Is 15 a factor of 4/18 - o/(-18)?
True
Let f(w) = -6*w - 48. Is 6 a factor of f(-14)?
True
Suppose 3 = -2*c + 25. Let j = c - -2. Does 7 divide j?
False
Is 20 a factor of (3*-2)/((-3)/10)?
True
Suppose -7 = -v - 5*k + 2, -21 = -4*v - 5*k. Is 59*((-12)/(-3))/v a multiple of 17?
False
Is (1 + 265)/(-7)*(-2)/4 a multiple of 7?
False
Let h be 0 + 0 + 3 + -1. Suppose 22 = h*i - 4*i. Let g = 19 + i. Is 8 a factor of g?
True
Let t = 2 - -10. Is t a multiple of 3?
True
Does 6 divide (60/2)/(-1 - -2)?
True
Let f = 8 - -4. Suppose 2*j = h - 23, 5*h - f - 59 = -j. Does 5 divide h?
True
Does 11 divide 54/15*(642/18 - -1)?
True
Suppose -16 + 3 = -f. Suppose 4*g = f + 39. Does 3 divide g?
False
Let a = 32 - 107. Let o = a - -107. Does 13 divide o?
False
Suppose -3*k + 11 = -3*t + 4*t, t - 6 = -2*k. Let s(n) be the third derivative of n**5/60 - 5*n**3/6 + 4*n**2. Does 10 divide s(k)?
True
Let o = 10 - 6. Suppose -o + 1 = -x. Suppose -45 = -x*b - 15. Is 5 a factor of b?
True
Let j(p) = 5*p**3 - p**2 + 1. Let h be j(1). Let n be (-6 + 0)/(-1) + 4 + -6. Suppose -h*m = 4*r - 19 - 32, -2*r + 42 = n*m. Is m a multiple of 11?
True
Let i(w) = w**3 - 3*w**2 - 4*w + 6. Suppose 5*j - 23 = -0*j + s, j - 4*s = 16. Let z be i(j). Is 7 a factor of 2/z + 118/6?
False
Let a = 41 - -8. Let x = a + -11. Is 18 a factor of x?
False
Let q = -79 + 94. Does 3 divide q?
True
Let o(a) = -4*a**2 - 11*a + 1 + 20*a + 3*a**2. Suppose 0*p - 3*p = -18. Does 19 divide o(p)?
True
Let s(r) = r**3 + 7*r**2 + 6*r + 6. Let x be s(-4). Does 6 divide (-97)/(-5) - 12/x?
False
Suppose 3*p + 33 = -24. Let j = 51 + p. Does 11 divide j?
False
Suppose h - 4*h + 63 = 0. Is 15 a factor of 2 + h + 1/(-1)?
False
Let a = 6 + -8. Does 16 divide (57/(-12))/(a/8)?
False
Let c be (4 + -6)/((-2)/(-4)). Is 7 a factor of c/14 + (-153)/(-21)?
True
Suppose 0 = -3*s - 2*z + 194, 3*s - 5*z - 336 = -107. Let n = s + -45. Suppose -3*o = -13 - n. Is o a multiple of 4?
True
Let p(d) = 5*d + 1. Let m be p(-1). Let o(a) = -3*a - 5. Is o(m) even?
False
Let w(x) = -17*x - 36. Is 24 a factor of w(-12)?
True
Let u(r) = -19*r. Let p be u(-3). Let n = 98 - p. Is 13 a factor of n?
False
Suppose 0 = z - 6*z - 2*d + 111, 113 = 5*z + d. Is z a multiple of 7?
False
Suppose 2*f = s + 16, -4*f + 0*f - s + 20 = 0. Let g = -6 + f. Suppose g = 2*v - 7*v + 55. Is v a multiple of 4?
False
Let u be 13/(-3) + (-12)/18. Let v(i) = i + 7. Let l be v(u). Suppose 21 = l*b - r, -3*r - 11 = -3*b + 16. Is 4 a factor of b?
True
Suppose -5*i = -i + 28. Let q = -4 - i. Suppose -q*o - 12 = 0, -2*d + 45 = -o - 11. Is d a multiple of 18?
False
Suppose -2*k + 47 = -25. Let p be (-87)/(-4) + (-3)/(-12). Let m = k - p. Is m a multiple of 5?
False
Suppose -3*m + 16 = -5. Suppose -2 = -3*d + m. Suppose -d*a + 46 = -23. Is a a multiple of 23?
True
Suppose 15 = 5*j - 15. Let v be (j/(-4) - 0)*8. Let c = -1 - v. Is c a multiple of 7?
False
Is 18 a factor of 24/(-7)*6*28/(-8)?
True
Suppose -4*p + 24 = -4*s, 8*p - 3*s - 22 = 4*p. Is (4/p)/((-2)/(-22)) a multiple of 5?
False
Let r = -4 - -4. Suppose -2*i - 37 = f, r = -2*f - 2*i - 0*i - 80. Let q = -28 - f. Is q a multiple of 6?
False
Let c be (-620)/(-45) - (-4)/18. Let b = c - 3. Does 7 divide b?
False
Let b(j) = j**3 + 4*j**2 - j - 1. Let a be b(-4). Let z = 3 - 0. Let k = a + z. Is k a multiple of 6?
True
Is 36 a factor of (-4 + 3)*-4 - -147?
False
Let b(r) = r**3 + 10*r**2 + 2. Let s be b(-10). Let f(v) = 17*v - 4. Does 7 divide f(s)?
False
Let r = -99 + 152. Suppose 38 = -m - r. Let k = m - -129. Is k a multiple of 15?
False
Let q(g) be the first derivative of -3*g**2/2 + 9*g - 1. Let m be q(7). Let o = m - -28. Does 13 divide o?
False
Suppose s + 636 = -5*m - 1872, 3*m + 1516 = 5*s. Is 21 a factor of m/(-10) - 10/50?
False
Suppose 0 = -m + 6*m - 255. Suppose 189 = -5*o + 3*k, -2*o - 3*o - 165 = 5*k. Let s = o + m. Is s a multiple of 10?
False
Let u = -52 + 235. Is 23 a factor of u?
False
Let u be -1 + 3/(6/8). Suppose p + 2 = 4*z, u*z + 0 = p + 1. Is 11 a factor of 14*p - (-1 + 2)?
False
Let o be -1 + 2 + 162/3. Let x = o - 22. Is x a multiple of 11?
True
Suppose 0 = 8*m - 4*m + 16. Let t be (-57)/6 + 2/m. Is 7 a factor of t/4*(-168)/20?
True
Suppose 0 = -10*c + 5*c + 25. Let z = 11 - c. Suppose -z*f + 168 = -2*f. Is f a multiple of 16?
False
Let r be -3*(-1 + 10/1). Let f = 16 - r. Suppose 5*k - f = 4*n, 0 = -5*k + k - 5*n + 59. Is 5 a factor of k?
False
Let z(h) = 11*h**2 + 15*h - 8. Let b(t) = -5*t**2 - 7*t + 4. Let l(y) = -9*b(y) - 4*z(y). Is 13 a factor of l(-6)?
False
Suppose 3*d = t + 457, -3*t = -8*d + 6*d + 314. Is 13 a factor of d?
False
Let c(m) = -3*m - 3. Let y(k) = 6*k + 6. Let g(t) = 9*c(t) + 4*y(t). Does 2 divide g(-2)?
False
Let r(s) = -s - s**2 + 6 + 0*s - 2. Let u be r(4). Is ((-51)/(-4))/((-6)/u) a multiple of 17?
True
Is 184/14 + 2/(-14) a multiple of 13?
True
Suppose 0 = 3*h - 2*h. Suppose h = -d - 0*d + 5. Let r = 8 - d. Is 3 a factor of r?
True
Does 35 divide 2*(162/4 + -1)?
False
Let k be -1 + 2 - (1 + 0). Suppose k = -2*w - 3 + 1. Is 26 - (1 - (-2 - w)) a multiple of 12?
True
Suppose -5*n = 4*k - 2*k - 287, 4*n = 2*k + 226. Suppose 4*t - n = 15. Is 13 a factor of t?
False
Suppose -4*s + 3 = -2*t + 1, -3*t - 5*s = -30. Suppose -14 = -2*i + 3*q - t*q, 1 = -5*i + 4*q. Is i even?
False
Is 10 a factor of 8/(((-16)/10)/(-4))?
True
Suppose 27 = 5*d - 63. Suppose -3*u + 25 + 8 = v, 4*v + d = 3*u. Does 5 divide u?
True
Let p = -16 - -39. Suppose o + 1 = p. Is o a multiple of 11?
True
Suppose -q - 5*l + 53 = -0*q, 5*l = 3*q - 219. Does 17 divide q?
True
Let y(k) = -4*k - 3. Let n = -4 - -13. Suppose 1 = 4*p + n. Is y(p) a multiple of 2?
False
Suppose 0 + 6 = 2*j. Suppose -3*n + 111 = -4*b, 3*n + 6*b - 90 = j*b. Is n a multiple of 11?
True
Is 16 + (0 - -2) - -4 a multiple of 14?
False
Does 30 divide (-4 + (-88)/6)*-12?
False
Let r be -2*(3 - (-9)/(-2)). Suppose -r*o = 27 - 111. Does 14 divide o?
True
Let b(i) = 97*i**2 + i. Let z = -1 + 2. Let n be b(z). Suppose 86 = 4*w - w - 5*h, -h + n = 3*w. Does 16 divide w?
True
Let m be 5/((-1)/2*2). Let k = m - -13. Is k a multiple of 8?
True
Is 26 a factor of (81 + 9/(-3))/1?
True
Is (5 + -7)*(-42)/2 a multiple of 19?
False
Let i(a) = 15*a - 3. Is i(4) a multiple of 36?
False
Let t(s) = s**3 - 5*s**2 - 6*s - 7. Suppose -3*i - 10 = -28. Let o be t(i). Let n = o + 11. Does 4 divide n?
True
Let t be 10 + (3 - (-3 + 7)). Let m = 13 - t. Suppose 3 = -3*l + m*l. Is l a multiple of 3?
True
Let p(q) be the first derivative of 2*q**3/3 - 3*q**2 - 3*q + 3. Let j be (6*-1)/(-3) + 4. Is 10 a factor of p(j)?
False
Suppose 2*m + 112 = 2*r, 4*r = -m + 3*m + 232. Does 16 divide r?
False
Suppose 2*t = -15 + 83. Does 7 divide t?
False
Let i = 14 - -1. Is i a multiple of 5?
True
Let w(v) = v**2 - 2*v + 3. Let g be w(3). Suppose i + 0 = g. Is i a multiple of 3?
True
Is 15/(-9)*(3 + -6) a multiple of 5?
True
Let n be 1*(4 + -1)/(-3). Let m = 9 + n. Suppose 0 = -m*f + 11*f - 117. Is f a multiple of 13?
True
Suppose 4*y + 4*x = 0, y + 4*y + 2*x - 6 = 0. Let o(q) = 1. Let w(f) = 3*f**2 - 4*f - 1. Let u(r) = 3*o(r) + w(r). Is u(y) a multiple of 6?
True
Suppose 0 = y - 3*y + 8. Let p = y + -9. Is 5 a factor of (-23)/p + (-4)/(-10)?
True
Suppose 12 = -2*m + 58. Let c = m + -13. Is c a multiple of 3?
False
Suppose 0*b + 15 = 5*b. Let j be ((-4)/b)/((-5)/15). Suppose 5*w - j*s - 128 = 0, -2 = -s - 4. Does 13 divide w?
False
Let k be 4/10 - 8/(-5). Let j be -2 + -1*k + 7. Suppose -2*t = -2*c - j*c - 27, 0 = -2*t - 3*c + 35. Is t a multiple of 8?
True
Suppose 255 = 6*w - 441. Is 14 a factor of w?
False
Let j