 of -y**5/20 + 7*y**4/12 + 4*y**3/3 + 4*y**2 + 4*y - 3. Let q(s) be the first derivative of m(s). Does 5 divide q(8)?
False
Let f = 26 + 24. Suppose -5*c + f = q, 0 = 2*c - 4*c + q + 20. Is 10 a factor of c?
True
Let a = -3 + 33. Is a a multiple of 14?
False
Let z(b) = 5 - 3 + b + 6. Does 2 divide z(-6)?
True
Let b be 792/(-77) + (-4)/(-14). Is 2 a factor of ((-5)/b)/(2/12)?
False
Does 11 divide 79 - (-5)/(30/6)?
False
Let q = 96 - 47. Does 9 divide q?
False
Suppose 4*d + 28 = 8*d. Is 3 a factor of d?
False
Let l be 28/18 - (-36)/81. Let x be -1 + 3 + 1 + 0. Suppose l*t + x*t = 120. Is 17 a factor of t?
False
Let p = -4 + 2. Let d = p - -6. Let x(a) = 3*a + 5. Does 10 divide x(d)?
False
Let o = 3 + 11. Suppose 0 = d - 13 - o. Is 14 a factor of d?
False
Let b(i) = -i**3 + 8*i**2 + 13*i - 10. Suppose 27 = 2*f + 3*d, 3*f = f + 5*d + 3. Is b(f) a multiple of 12?
False
Let r(l) = -l**3 - l + 37. Let n be r(0). Suppose 2*m + n = 3*m. Is m a multiple of 8?
False
Does 14 divide (2/6)/((-1)/(-99))?
False
Let z(s) = -s + 5. Let d be z(5). Suppose d = 2*m + m - 126. Is 6 a factor of m?
True
Suppose 8*o - 125 = 3*o. Does 5 divide o?
True
Suppose -b = 5*x + 32, 2*x - 5*b + 5 = 3. Let s(c) = -c - 4. Let u be s(x). Suppose -u*v + 9 + 31 = 0. Does 7 divide v?
False
Let i = -69 + 112. Is 10 a factor of i?
False
Let k(s) = -16*s + 1. Let r be k(3). Let a = r - -66. Does 19 divide a?
True
Suppose l + 3 + 1 = 0, 3*b - 25 = 4*l. Suppose 0 = b*u - 5*o - 80, -3*u - 5*o = -o - 44. Does 10 divide u?
True
Suppose 2*z - m + 5 - 39 = 0, -2*z + 5*m + 34 = 0. Does 13 divide -2*z*2/(-4)?
False
Suppose 4 = 4*b - d, b - 3*b + 2 = -3*d. Let y be 10/(-15) - (-10)/6. Is 1 - (y - (2 + b)) a multiple of 3?
True
Let v be 9/(-18)*(1 - 71). Let r = 0 + v. Is r a multiple of 17?
False
Suppose 156 = 5*v + v. Is v a multiple of 8?
False
Let w(m) = 7*m + 4. Let u(q) = -15*q - 7. Let j(b) = -2*u(b) - 5*w(b). Let p be j(-9). Let g = p - 24. Does 6 divide g?
False
Let f = 7 + -4. Let r be (-1 - -1)/f - -5. Suppose 5*i - 2*m = 2*m + 82, r*m + 44 = 3*i. Is 18 a factor of i?
True
Let o(u) = u**3 + 9*u**2 - 9*u + 8. Let l be o(-10). Is 2/(-4) + (-7)/l a multiple of 2?
False
Suppose -3*j = -j - 92. Suppose x = -4*x - 165. Let u = x + j. Is 5 a factor of u?
False
Let s be 6310/30 - 2/(-3). Let m = s - 121. Does 30 divide m?
True
Let j = 6 - 9. Let a(r) = -6*r + 4. Is a(j) a multiple of 22?
True
Let p = 4 - -28. Is p a multiple of 12?
False
Let m be (-2)/(-9) - (-48)/27. Suppose 5*f - 5*t = 195, 0*f + 5*f - m*t - 198 = 0. Suppose -3*c = -2*c - f. Is 20 a factor of c?
True
Suppose 2*w + 0*w = -s + 14, -s = -4. Suppose -w*f + 3*f + 82 = 0. Is 11 a factor of f?
False
Suppose -2*r + 1 + 3 = 0. Suppose 48 = -r*w + 6*w. Does 6 divide w?
True
Let a(t) = 2*t + 6*t**2 - 5*t + 0*t + 0*t - 2 - t**3. Let b be a(6). Is 5 a factor of b/(-3) + 3/9?
False
Let j(n) = -3*n**2 + 4*n - 3*n + 3*n**2 + 18 + n**3. Let v be j(0). Suppose -4*p = -4*u + 8, u + v = 3*p + 4*u. Is p even?
True
Suppose 7*o = 46 + 129. Is o a multiple of 3?
False
Let h be ((-2)/4)/((-2)/28). Let a(w) = -3 + 12*w + 6 - 8*w. Is 16 a factor of a(h)?
False
Let j = 54 - 12. Is 14 a factor of j?
True
Let m be 3/(-5) - (-138)/30. Suppose m*t - 14 = 2*t. Is 7 a factor of t?
True
Let b(m) = -m**2 + 12*m + 6. Let s be b(12). Let y(d) = -d + 10. Let i be y(5). Is s*i/(-4)*-8 a multiple of 16?
False
Suppose 0 = 6*j - 1360 + 460. Is j a multiple of 23?
False
Suppose -4 = -o + 8. Is o a multiple of 12?
True
Let x = 10 - -85. Let k be (6/(-2) - -1)*-1. Suppose 3*f - x = -k*f. Is 6 a factor of f?
False
Let p be 3/(-4)*(-1 + -3). Suppose 0 = 4*y - 2*i - 52, y - i + 3*i = p. Is y a multiple of 5?
False
Is 156 + 0/(15/5) a multiple of 39?
True
Suppose 180 = -24*l + 27*l. Is l a multiple of 12?
True
Suppose -5*n = 5*h - 50, -3*n - 26 = h - 6*h. Let u(g) = g**3 - 8*g**2 + 9*g - 8. Does 6 divide u(h)?
True
Is 16 a factor of -2*(-2 + 4 - 18)?
True
Suppose 0 = 5*c + 5*m - 35, 3*c + c - 5*m + 17 = 0. Let i(j) = 7*j. Is 7 a factor of i(c)?
True
Let x = -123 - -248. Suppose 5*t - x = -c, 67 = -2*t + 5*t - c. Is t a multiple of 12?
True
Let q(r) = -2*r**2 + 3*r - 3. Let j(z) = -3*z**2 + 3*z - 2. Let d(t) = -3*j(t) + 4*q(t). Is 12 a factor of d(-9)?
True
Let o = -5 + 57. Does 3 divide o?
False
Suppose 554 = 4*r - 574. Let q = r - 118. Is ((-3)/(-2))/(6/q) a multiple of 19?
False
Let a(m) = -6*m**2. Let n be a(1). Let v(z) = -z**3 - 7*z**2 - 8*z - 8. Let y be v(n). Is (3/(-4))/((-1)/y) even?
False
Let u(o) = o - 6. Suppose r - 5*m + 2 = 4, r - 3 = 4*m. Let w be u(r). Is 9 a factor of (w - -32)*(-1)/(-1)?
False
Does 28 divide (-6)/28*-2 - (-1173)/7?
True
Is 31 a factor of (-62)/((-18)/(-5) - 4)?
True
Suppose g - 6*g + 109 = 4*m, -m + 5*g + 21 = 0. Does 26 divide m?
True
Suppose 4*g + g = 520. Is (-2)/13 - (-3760)/g a multiple of 18?
True
Suppose 0 = -p - 2*l + 10, -11 - 2 = -2*p + 3*l. Let y = -3 + p. Is 5 a factor of y?
True
Is 2/(-5) - 6/5*-27 a multiple of 32?
True
Suppose 0 = -0*x + 3*x - y + 41, 0 = 2*x - 2*y + 22. Suppose 0 = -3*z + 2*z + 46. Let p = z + x. Is 13 a factor of p?
False
Suppose 3*g + 48 = 3*c - 0, -8 = -c - 3*g. Is 7 a factor of c?
True
Let b = 20 + -12. Is -24*(0 + b/(-12)) a multiple of 8?
True
Suppose -2*w = 2*w + 4, 4*x - 19 = 3*w. Suppose -j + 18 = 4*b, 5*j - x*b + 8 = 2. Is 3*j*(-1 + 2) a multiple of 6?
True
Let z = 41 - -13. Suppose -z = -2*m - m. Suppose -5*d = -3*r - 45, -r - 2*r + m = 2*d. Is 3 a factor of d?
True
Let x(v) = v**3 + 9 + 5 - 2*v**3 + 10*v**2. Let d be 4 + -5*(-30)/25. Does 7 divide x(d)?
True
Suppose 0 = 4*f - 0 + 12. Is 4 a factor of (f - (-15)/6)*-20?
False
Let q be (-6 - -3 - 0)*1. Let f(w) = -4*w - 3. Is f(q) a multiple of 9?
True
Let w(u) = u**3 - 7*u**2 + 5*u + 6. Let d be w(6). Suppose d = -b + 18 - 5. Does 13 divide b?
True
Let w = -7 + 0. Let t(u) = -u**2 - 7*u + 13. Is t(w) a multiple of 6?
False
Suppose -2*r = 3*r - 45. Suppose y - r - 20 = 0. Is 12 a factor of y?
False
Suppose 52 = 2*y + 3*o, o = -5*y + 105 - 1. Is 5 a factor of y/(-15)*(-18)/2?
False
Let c = 283 - 190. Is 8 a factor of c?
False
Let o be (-2 - -1) + 2 + 115. Suppose -p - 3*p = 3*d - 112, 4*p + 4*d - o = 0. Let s = -14 + p. Is 4 a factor of s?
False
Suppose 2*y = -0*y + 180. Is 30 a factor of y?
True
Suppose 2*d = -2*q + 54, 0 = -3*q + 5*d - 23 + 104. Is 27 a factor of q?
True
Let y = 112 - 68. Let z = -13 - -82. Let t = z - y. Does 15 divide t?
False
Suppose 0 = -2*n - 5*j + 18, 3*n + 3*j = -j + 13. Let s be (-9)/(-3) - n*43. Does 22 divide s - (3 - (-3)/(-3))?
True
Suppose -w + 13 = 2*x - 60, 4*x + 4 = 0. Does 14 divide w?
False
Let m(w) = -5*w + 31. Let a(u) = -11*u + 62. Let i(l) = -4*a(l) + 9*m(l). Is 9 a factor of i(0)?
False
Suppose x + 4*x = 405. Let d = x - 55. Is d a multiple of 5?
False
Suppose 5*h + 63 = -2. Suppose -4*j + 62 = 2*c, 0 = 5*c + 3*j - 7*j - 211. Let y = h + c. Does 12 divide y?
False
Let m be (-13)/52 - (-149)/4. Is m - (1 - (0 - -4)) a multiple of 20?
True
Suppose 0 = l - 5*j + 16, 2*l + 4*j + 11 - 35 = 0. Suppose 89 = l*q - 5*s, 4*q - 16 - 85 = s. Is q a multiple of 13?
True
Let i(a) = a**3 - 7*a**2 + 5*a + 7. Is i(7) a multiple of 14?
True
Let v(d) = 5 + 8*d - 7*d + 9. Let m be v(0). Let c = -2 + m. Is c a multiple of 6?
True
Suppose -945 = -10*p + 3*p. Is p a multiple of 27?
True
Suppose -5*a + 955 = 55. Suppose 4*z - 148 - a = 0. Does 23 divide z?
False
Let t be 210 - (-4)/(-3 - -1). Let n be (t/2)/(4/6). Suppose -185 = -0*j - 5*j + 5*o, -2*o = -4*j + n. Does 15 divide j?
False
Let q = 157 - 55. Is q a multiple of 6?
True
Let l = 27 - 10. Suppose -w = -3*v + 5 - 0, -2*w - 3*v = -l. Suppose 0 = u - w - 6. Does 10 divide u?
True
Let w(g) = g + 7. Let p be w(0). Let o = 22 - p. Let k = o + -8. Is k a multiple of 4?
False
Suppose 0 = v + 1 + 1. Is (-3 - (0 + -1))*v a multiple of 4?
True
Let r(d) = -d**2 - 8 - 3*d + 1 - 2 - 5*d. Is r(-6) a multiple of 3?
True
Let i be (-34)/5 + 3/(-15). Let q(x) = x**3 + 8*x**2 + 2*x - 7. Is 14 a factor of q(i)?
True
Suppose -5*d + 0 = -5. Suppose -5 = -3*i + d. Suppose 3*k = i*k + 32. Is 17 a factor of k?
False
Let c = 28 - 30. Does 5 divide c*(-3)/(-18)*-45?
True
Let m(o) = -2*o - 11. Let g(p) = -p**2 + 8*p - 8. Let i be g(8). Does 2 divide m(i)?
False
Let d(b) = -b**2 + 5*b + 3. Let r b