= i - -14. Is 6 a factor of t?
False
Let m(q) be the third derivative of -q**5/60 + q**4/4 - 5*q**3/6 + 2*q**2. Let k be m(4). Is 11/k + (-5)/(-15) even?
True
Let d be (-12)/30 + 164/10. Let x be 2/9 - d/(-9). Suppose 0*s - 8 = -x*s, s + 16 = 2*w. Is 5 a factor of w?
True
Suppose -4*i = -2*i - 22. Let h = i - 4. Is h a multiple of 7?
True
Let l be (18/5)/((-3)/(-10)). Suppose 0*k = 4*k. Does 12 divide l + k/(1*-2)?
True
Let z = 9 - 57. Does 10 divide 8/20 - z/5?
True
Suppose 2*b - 60 - 40 = -3*l, 0 = 3*b - 4*l - 184. Is b a multiple of 15?
False
Is (9/2)/((-3)/(-16)) a multiple of 4?
True
Suppose -p + 3*o + 82 = 0, -142 = -2*p - 3*o - 2*o. Let j = -109 - -221. Let v = j - p. Is 13 a factor of v?
False
Let g be (-2)/(-9) - 104/(-18). Suppose c + 30 = g*c. Does 5 divide c?
False
Let f(z) = 34*z**2 + 2*z. Does 30 divide f(-3)?
True
Let n(s) = 3*s**2 + s + 1. Let x be n(-2). Let o = 9 + x. Is o a multiple of 10?
True
Let s(h) = -h**3 - h**2 + 2*h. Let v be s(-2). Suppose -5*o - 8 + 33 = v. Suppose d - o = 21. Does 13 divide d?
True
Suppose 4*s - t + 23 = 0, -4*s = -t + 2*t + 17. Does 12 divide 4 + -1 - 105/s?
True
Let v = -154 + 62. Let c = v - -144. Does 17 divide c?
False
Let u(s) = -9*s. Is u(-3) a multiple of 24?
False
Suppose 3*f - 25 = -2*i, 3*f - f = -4*i + 30. Suppose 84 = 3*y + 2*u - i*u, -4*u + 62 = 2*y. Is 6 a factor of y?
False
Suppose -8*c = c. Suppose -3*n + 6 = -0*n. Suppose 4*r + n*z - 136 = 3*z, 5*z - 20 = c. Does 15 divide r?
False
Let k(o) = -o**3 - 13*o**2 - 4*o - 10. Does 14 divide k(-13)?
True
Suppose -4*p + 4 - 160 = 0. Let u = 114 + p. Is u a multiple of 15?
True
Let i = 11 - -7. Does 18 divide i?
True
Suppose 2*s + 6*y = 4*y - 2, -11 = 5*s + 2*y. Let x = s + 7. Suppose 2*g = -x*l - 1 - 3, -2*g - 2*l = -2. Is 4 a factor of g?
True
Suppose -2*o + 26 = -54. Let b be 0 - 3 - (-14)/2. Suppose -r - o = -b*c, 18 = -c + 3*c - r. Does 11 divide c?
True
Suppose 0 = 2*p + 3*x + 11, -p - x + 4*x + 17 = 0. Let n be (-1 + p)/1*2. Is 12 + 0 + -2 + n a multiple of 12?
True
Let v(z) = -z**2 - 6*z - 1. Let x(c) = c**3 + 3*c**2 - 2*c + 4. Let t be x(-4). Does 2 divide v(t)?
False
Let x = -7 + -9. Let m = x - -32. Is m a multiple of 8?
True
Suppose c + 24 = -2*c. Let q(f) = -f**2 - 3*f + 1 + 7 - 10*f + 4*f. Does 15 divide q(c)?
False
Let k(m) = 4 + 0*m**3 + 2 - 6*m**2 + m**3 + 2*m**2. Does 11 divide k(5)?
False
Suppose 8 = -4*y - 5*g - 0*g, 0 = -4*y + 5*g + 32. Suppose -y*u = -2*u - 2. Suppose 50 = 5*n - 2*r, u*n + 0*r = -2*r + 20. Does 5 divide n?
True
Suppose 0*g - 2*g + 218 = 0. Let l = g + -58. Does 17 divide l?
True
Let d(v) = -2*v**2 + 0*v - 4*v - 8 + v**2 + 2*v**2. Is d(6) a multiple of 2?
True
Suppose 2*w = -3*d - 10, 23 = 5*w + 3*d + 57. Let j(n) = -n**3 - 9*n**2 - 9*n - 2. Is j(w) even?
True
Let h(j) = 7*j - 1. Is h(7) a multiple of 16?
True
Suppose 3 = r + 17. Let h = r + 42. Is h a multiple of 14?
True
Let i(s) = 10*s**2 - 4*s - 4. Is 13 a factor of i(-2)?
False
Suppose 189 - 15 = 6*i. Is i a multiple of 29?
True
Suppose -m = 23 - 75. Does 4 divide m?
True
Let w = 0 + 5. Suppose -w*k - 119 = 2*v, -2*k = -5*v - 71 - 241. Let y = v + 102. Does 17 divide y?
False
Suppose 2*l + 5*h - 410 = 0, 0*l + 4*h - 844 = -4*l. Is l a multiple of 42?
False
Suppose -4*h + 4*r = -356, -3*h = 5*r - 241 - 10. Does 29 divide h?
True
Let c = -1 + -3. Let r be (-1)/c + 14/8. Suppose 0 = -5*f + r*f, -160 = -5*i - f. Is 13 a factor of i?
False
Suppose -312 = -7*l - 102. Is l a multiple of 10?
True
Is 18 a factor of -3 + 27 + (5 - 2)?
False
Let q(z) = -84*z**3 + z**2 + z. Is q(-1) a multiple of 28?
True
Let z = 3 + 3. Let t(a) = a**3 - 6*a**2 + 3*a - 8. Is 5 a factor of t(z)?
True
Suppose 11*m - 10*m - x = 311, -3*x + 1251 = 4*m. Does 24 divide m?
True
Suppose -4*s - 4 = -2*b, 6*s + 2*b - 4 = 3*s. Suppose -m + 38 = -s*m. Does 19 divide m?
True
Suppose 2*w + 4 = -0. Let i be w + (-2 - -1) - -2. Is 1*i - 235/(-5) a multiple of 23?
True
Let c(f) = 2*f + 13. Is 4 a factor of c(-3)?
False
Let y(i) = i**2 - 6*i - 10. Does 14 divide y(-14)?
False
Let y = -53 - -92. Does 6 divide y?
False
Let a = -33 + 46. Suppose -5*p + 12 = -a. Suppose 0 = -2*d - 8, -2*b + 33 = -p*d - 3. Does 8 divide b?
True
Suppose -1 = -g + 3. Does 4 divide g?
True
Suppose -w = 4*h + w + 88, 2*h + 56 = 5*w. Let l = 32 + h. Suppose 2*t - l = 93. Is 17 a factor of t?
True
Is 7 a factor of (-8 - 66/(-9))/((-2)/183)?
False
Suppose -2*p - 13 = -81. Does 34 divide p?
True
Let v(n) = -63*n - 2. Does 25 divide v(-2)?
False
Suppose 0 = -2*i + 4 + 6. Suppose 5*g - 25 = 5*p, i*g = -2*p + 30 - 12. Suppose -g*t = -q - 4, -2*q = t + t - 42. Does 16 divide q?
True
Let p(z) be the third derivative of z**8/20160 + z**7/1008 + z**6/144 - z**5/30 + 2*z**2. Let a(l) be the third derivative of p(l). Is a(-5) even?
False
Is 14 a factor of 8/4 - (2 - 73)?
False
Let v be (12 - 3)/(6/(-20)). Let b = -13 - v. Suppose b = o - 7. Is 16 a factor of o?
False
Let h be ((-77)/4 - -3)*4. Let w = 242 - 125. Let r = w + h. Is r a multiple of 23?
False
Is (-1 + (-182)/6)/(6/(-18)) a multiple of 13?
False
Let y be (-2)/9 + (-3003)/(-27). Let g be (-3 + -1)/(2/y). Is 4 a factor of g/(-27) - (-4)/(-18)?
True
Let f(n) = n - 18. Let u be f(9). Let i = u + 15. Is (-36)/16*(-32)/i a multiple of 5?
False
Suppose 5*b = 3*i - 2 - 35, -2*i + 18 = -2*b. Suppose 4*w + 36 = i*r, 4*r = -0*r + 5*w + 33. Does 6 divide r?
True
Let r(x) = 4*x**2 - 25. Does 2 divide r(-5)?
False
Let f(q) = -q**2 + 96. Is 7 a factor of f(0)?
False
Let o(m) = m**3 + 6*m**2 + 5*m + 3. Let h be o(-5). Is 0 - (-11 - 2) - h a multiple of 10?
True
Let b = 6 + -4. Suppose -b*r + 52 = s, -s + 132 = 4*r + 26. Is 17 a factor of r?
False
Let k = -14 + 34. Let y(z) = -z**2 - 9*z - 1. Let q be y(-9). Does 7 divide 8/k*(36 + q)?
True
Suppose 5*w = 3*q + 16, -4 = -2*q - q + w. Suppose 0 = -q*t + t + 18. Is 2 a factor of t?
False
Let g = -46 + 33. Let a = -8 - g. Is a a multiple of 2?
False
Suppose -9*w + 47 = -160. Is w a multiple of 10?
False
Let m(n) = -n**3 - 7*n**2 - 4. Let x be m(-7). Let v(j) = -j**2 - 3*j + 2. Let f be v(x). Does 10 divide 37 + f*1/(-2)?
False
Let k(d) = 9*d**2 + 1. Let y be (2 + -1)*4 - 5. Does 5 divide k(y)?
True
Suppose 4*d = 0, 5*a - 3*a - 14 = -5*d. Let z = a + 5. Is 6 a factor of z?
True
Let k(q) = q**2 + 5*q - 2. Suppose 4*b - 2*m = 9 - 1, 3*b = m + 7. Does 12 divide k(b)?
False
Suppose 7*p = 2*p. Suppose 9 = q - p. Does 9 divide q?
True
Suppose -7 = -3*w - a, w - 12 = -3*w - 4*a. Let v(u) = 0 - 1 + 8*u - 2*u + w*u**2. Is 11 a factor of v(-5)?
False
Let x be -2 + 3 + (1 - -99). Let h = x + -68. Is 9 a factor of h?
False
Suppose -3*r + 680 = 2*r. Suppose 2*j - r = 6*j. Let y = -10 - j. Does 12 divide y?
True
Let t = 31 + -52. Let q be ((-12)/t)/(2/7). Suppose 2*r = -2*y + 58, -5*y - 3*r + q*r = -165. Is y a multiple of 17?
True
Is 21 a factor of (9/(-3) - -3) + 124 + -2?
False
Let k(m) = -m**3 + 13*m**2 - 10*m + 4. Let h(y) = 2*y**3 - 27*y**2 + 19*y - 9. Let j(o) = -3*h(o) - 7*k(o). Does 9 divide j(9)?
False
Let t = -5 + 18. Suppose -5 = 3*q + t. Is (-2)/(-6) + (-10)/q even?
True
Let x(b) = -1. Let f(u) = -2*u - 5. Let v(w) = -f(w) + 5*x(w). Does 18 divide v(9)?
True
Let k(a) = 2*a - 7. Let s be k(5). Is 1/((-1)/(s - 10)) a multiple of 2?
False
Suppose 3*u - 684 = z + 11, 0 = -4*u + 4*z + 932. Is 33 a factor of u?
True
Let q(d) = -4*d + 3*d + 29*d**2 + 0 + 0. Does 30 divide q(-1)?
True
Let g be (-8)/5 + 6/(-15). Let l be (-22)/18 + g/(-9). Is -3 + 4 - 10*l a multiple of 9?
False
Let m(v) = 4*v**2. Let x be m(1). Suppose p = -x*p + 20. Is 17 a factor of 66/p - 3/(-6)?
True
Suppose -3*x - 25 = -5*q, -q + 15 = -5*x + 2*q. Let a = x + 3. Suppose c - 9 = -j + 3*j, -a*j = -6. Is 13 a factor of c?
True
Let f = -28 - -30. Let y(t) = -2*t**3 - 4*t**2 + 2*t + 1. Let w(b) = -b**3 - b**2 - b + 1. Let p(i) = w(i) - y(i). Does 7 divide p(f)?
True
Let w = 3 + 11. Suppose 0 = -q - 4*o + w, 3*q + 5*o - 28 = 49. Is 13 a factor of q?
False
Suppose -3*o - 4*s = 10, 6*s - 5*s = -5*o + 6. Suppose 0 = -r - 5*l - 18, r + o*l + 1 + 2 = 0. Let c = r - 4. Does 3 divide c?
True
Suppose -u - 2*u = -24. Let p = u + -2. Is 2 a factor of p?
True
Let w = -4 - -12. Let s(d) = -d**2 - w*d - 2 - 1 + d. Is 4 a factor of s(-3)?
False
Suppose 2*w = 6*w - 572. Is 13 a factor of w?
Tru