*2 + 33*a - 9. Is s(16) a multiple of 11?
False
Let y be (-2 - 6)*(-1)/4. Let h(k) be the second derivative of k**5/20 + k**4/12 + k**3/3 - k**2 - 5*k. Is h(y) a multiple of 14?
True
Let a(v) = 3*v + 1. Let x be a(1). Let d(h) = h. Let f be d(x). Suppose 0 = -2*g + 4, -3*j - f*g = -212. Is 14 a factor of j?
False
Let c(x) = -4 + 2*x**3 + 9*x**2 - 5*x**2 + 0*x**3 - 45*x + 50*x. Is 14 a factor of c(4)?
False
Let k be (-286)/16 - 15/120. Does 12 divide ((-2)/(-3))/(k/(-3753))?
False
Let c(h) = 3*h - 20. Let z be 14*(-1 + 55/35). Let k be c(z). Suppose -d + 220 = k*d. Is 7 a factor of d?
False
Suppose -5*r + 669 = 189. Suppose -3*c - c = -r. Is c a multiple of 24?
True
Suppose -16 = 4*h - 64. Let y = 20 - h. Let v(a) = a**2 - 5*a + 6. Is v(y) a multiple of 7?
False
Suppose 0 = 11*x - 360 - 14. Is 34 a factor of x?
True
Let r(l) = 11*l + 116. Is r(19) a multiple of 73?
False
Suppose -4*n + 217 = 97. Suppose -3*h + n = m, 36 = 4*m + 2*h - 34. Is 15 a factor of m?
True
Suppose 3*o + 5*f + 5 = -2*o, -5*f + 15 = -5*o. Let t = o - -1. Does 12 divide 1 + t + -8 + 51?
False
Let p(m) = -6*m**3 - 3*m**2 - 4*m - 3. Suppose -2*y + 11 = -3*f, -3*y + 5*f = -25 + 6. Does 14 divide p(y)?
False
Let f(m) be the third derivative of 11*m**5/30 + m**4/24 + m**3/3 - 6*m**2. Is f(-1) a multiple of 3?
False
Let q be 35*-1 + (-5 - -5). Let a be (-14)/q + (-333)/(-5). Suppose 2*x + 19 = a. Is 8 a factor of x?
True
Let t(q) = 4*q - 14. Let w = 16 + -10. Is t(w) even?
True
Let c = -10 - -12. Suppose -a - 141 = c*a. Is (-3)/(-12) + a/(-4) a multiple of 11?
False
Suppose 0 = 23*f + 23*f - 82800. Is f a multiple of 36?
True
Suppose -3*v + 12 + 3 = 0. Suppose -v*g = -0 - 185. Let f = g + -25. Is 5 a factor of f?
False
Suppose -8 = -2*h + 4*h. Let i be (-3)/h + 237/4. Suppose 0*k = 3*k - i. Does 12 divide k?
False
Let q(s) = s**3 + 4*s**2 - 4*s - 6. Let p be q(-5). Let a be (p/(-3))/((-3)/(-27)). Let w = 51 - a. Is 13 a factor of w?
False
Suppose 18*n - 21*n + 3592 = 2*p, -2*n - 5401 = -3*p. Is p a multiple of 22?
False
Let g(p) = 9*p**2 - 26*p + 28. Is g(13) a multiple of 9?
False
Suppose -5*c + 36 = 11. Suppose q + 3 = -2*u, -2*u = c*q + 5 - 14. Suppose 0*p = q*p - 48. Does 10 divide p?
False
Let d(o) = -o**3 - o**2 - o - 1. Let s(w) = -7*w**3 - 16*w**2 - 13*w - 6. Let j(b) = 6*d(b) - s(b). Does 8 divide j(-8)?
True
Let n(l) = -12*l**2 + 3*l - 3. Let u(g) = 23*g**2 - 6*g + 5. Let p(t) = 5*n(t) + 3*u(t). Let d = 4 - 2. Does 10 divide p(d)?
True
Suppose -3*i = -4*j + 20, -2*i + 5*j - 35 = 3*i. Let b(t) = -t**3 - 8*t**2 - 5*t - 12. Let g be b(i). Suppose 5*c + g = 208. Does 18 divide c?
True
Let b(y) = y**3 + 13*y**2 + 7*y - 13. Let x be b(-12). Suppose x + 94 = 3*m. Does 4 divide m?
False
Let n be 5 + -8 + 12/2. Suppose 3*i + 71 = -2*q, -2*i = -3*q - n + 46. Let l = i - -35. Is l a multiple of 4?
True
Let y(t) = -3 + 5 - 3*t**3 + t**3 + 4*t + 4*t**2 + 2. Let w be y(4). Let f = -10 - w. Is f a multiple of 7?
False
Suppose -68 = 5*t - 388. Suppose -4*c + 20 = -t. Does 2 divide c?
False
Let r(l) = 5*l + 110. Is r(-10) a multiple of 15?
True
Suppose 3096 = -22*t + 58*t. Does 3 divide t?
False
Suppose 444*r - 450*r = -6468. Is r a multiple of 77?
True
Let o be ((-4)/(-6))/(2/144). Let j = o + 32. Is j a multiple of 16?
True
Let h = 61 - -23. Does 32 divide h?
False
Suppose -2*z - 4*u - 22 = -0*z, 0 = z + u + 7. Let w be z/(-21) + (-1)/7. Suppose l + 3*p = 17 + 13, 2*l + 3*p - 69 = w. Is l a multiple of 15?
False
Suppose 2*j + 1865 = -3*j. Let y = -263 - j. Let t = y + -60. Does 11 divide t?
False
Is 30 a factor of (1*(-96)/18)/((-6)/621)?
False
Let d = -35 - -518. Is 23 a factor of d?
True
Let s(b) = b**3 + 7*b**2 - 2*b - 4. Suppose -3*l + 4 = -2*l + 3*w, -w - 17 = 4*l. Is s(l) a multiple of 14?
True
Let i = 9 + -4. Suppose -5*p + 30 = i*g, 5*g = 2*p - 9 - 3. Is 27 a factor of p/(-8) - (-111)/4?
True
Let l(y) = y**2 - 5*y + 44. Does 8 divide l(11)?
False
Suppose -7*c + 9543 + 1986 = 0. Is 61 a factor of c?
True
Suppose 1991 = -4*m + q, 0 = -m + 3*q - 552 + 57. Let t = m + 888. Is t a multiple of 13?
True
Let h be -4 + (-6 + 4 - 4). Let d = h - -27. Is 3 a factor of d?
False
Let x = 1 + -1. Suppose -2*y + 4 = -x. Suppose y*k - 93 = -2*b + 21, 2*k = -b + 119. Does 20 divide k?
False
Let c = -19 - -15. Let k = c + 4. Suppose -5*w + 150 = -k*w. Is w a multiple of 9?
False
Let z be (-78)/4*-4*(-3)/9. Let i(a) = -4*a + 88. Is i(z) a multiple of 48?
True
Let h(x) = 71*x - 857. Does 20 divide h(27)?
True
Let a = 2 - 1. Let o(w) = -6*w**3 + 7*w**2 - 8*w - 5. Let b(t) = -19*t**3 + 20*t**2 - 23*t - 14. Let l(f) = -6*b(f) + 17*o(f). Is 7 a factor of l(a)?
False
Let r = -23 - -25. Suppose -a + 5*p + 90 = -0*p, -r*a - 3*p + 154 = 0. Is a a multiple of 10?
True
Suppose h + 34 = 2*h + 2*l, -l + 161 = 5*h. Suppose 2*j - 20 = j + 5*s, 16 = -4*j - 4*s. Suppose -2*k = z - h, j*z + 5*z - 193 = k. Is 11 a factor of z?
False
Suppose -3554 + 934 = -5*p. Is 8 a factor of p?
False
Let w(n) = -n**2 - n + 2. Let l be w(0). Suppose -d - 3*i + 120 = -0*d, 4*d = l*i + 480. Is d a multiple of 10?
True
Suppose 0 = -34*x - 11*x + 112860. Does 12 divide x?
True
Suppose 5*c + 4*q = 4702 + 4349, 5*q = 3*c - 5438. Is c a multiple of 33?
False
Suppose -2*m - 2*m = 0. Suppose 0 = 4*d - m*d. Suppose d = -a - 0*a - 1, -3*h + 57 = 3*a. Does 20 divide h?
True
Let n = 2662 - 1634. Is n a multiple of 16?
False
Let r be (0 - -2)/((-3)/(-3)). Suppose 0*k + 58 = -r*k. Let y = k + 40. Is y a multiple of 3?
False
Let w(r) = 13*r - 69. Is w(13) a multiple of 25?
True
Is 12 a factor of (26 - 0)/((4 + -6)/(-36))?
True
Is ((-8)/8)/(-2 - (-889)/445) a multiple of 30?
False
Is 91 a factor of 2*(-2)/10 - (-136530)/75?
True
Suppose 4*r - 5*z = 284, -4*r + z = r - 355. Suppose -4*m - r = -331. Does 27 divide m?
False
Let m(t) = -2*t + 18. Let q be m(13). Let p(j) = -j - 5. Let s be p(q). Suppose 2*a - a + 167 = 5*i, -4*i = s*a - 145. Does 12 divide i?
False
Suppose 32 = v + 3*w, 4*v = 3*v - 4*w + 28. Does 4 divide v?
True
Let r(t) = t**3 - 8*t**2 + 2*t + 3. Let m(k) = -k**2 - 8*k - 7. Let y be m(-3). Does 9 divide r(y)?
False
Let b be (-3184)/(-24) - 2/3. Suppose -6*t - b = -10*t. Is t a multiple of 11?
True
Let x(t) = -453*t - 9. Does 7 divide x(-1)?
False
Let i = -5 - -10. Suppose -i*l - 40 = -3*j, -5 = 2*l - 2*j + 3*j. Let t = -1 - l. Does 4 divide t?
True
Let f = -1 + 5. Suppose 2*i + 6 = 0, -f*i - 39 = -5*o - i. Is 9 a factor of (-4)/o - 812/(-12)?
False
Suppose -4 = o - 5*c + 80, -4*c + 16 = 0. Let y = 144 + o. Is 20 a factor of y?
True
Suppose 2*k + 4056 = 26*k. Does 28 divide k?
False
Let n be 3/(-6 - -3) - -1. Let y(g) = -g**3 + g**2 + g - 3. Let r be y(n). Is 29 a factor of 3/(-1) + (-270)/r?
True
Let b(p) = 333*p + 385. Is b(4) a multiple of 31?
False
Let t = 277 + -213. Is t a multiple of 5?
False
Let z(n) = -n**2 + 58*n + 24. Is 14 a factor of z(34)?
True
Let t be -21*(-2 - (-8)/12). Let p = t - 25. Is p a multiple of 3?
True
Suppose -920 = -3*t - w, 0 = 18*t - 22*t + 3*w + 1205. Is t a multiple of 5?
True
Let i be (2/(-4))/((-2)/664). Let p = i - 34. Is 7 a factor of p?
False
Suppose -2 = -4*z - 18. Let y(w) = 6*w**2 - 6*w - 2 + 4*w**3 - 3 - 3*w**3. Is y(z) a multiple of 17?
True
Suppose -8 = 2*a - 5*k, 3*a + 0 - 6 = 3*k. Let x(o) = 12*o + 24. Is x(a) a multiple of 24?
True
Let i = -16 - -25. Let q(y) = 7*y + 6. Let v be q(i). Let s = v + -29. Is 10 a factor of s?
True
Let a = -4695 + 7985. Is 70 a factor of a?
True
Let v = 0 + 10. Let s = v - 8. Suppose -3*w - 142 = s*o - 471, 2*w = -2*o + 222. Is 12 a factor of w?
False
Let k be (3 + -1)*(-26)/4. Let z be (-880)/(-30) + (-6)/(-9). Let h = z + k. Does 17 divide h?
True
Suppose -515 = -4*a + 5*j, -a = 3*a + 5*j - 525. Does 10 divide a?
True
Let l(z) be the second derivative of z**4/12 + 13*z**3/6 + 9*z**2/2 + 15*z. Is l(-13) a multiple of 5?
False
Let c be 670/18 - (-2)/(-9). Let g = c + 5. Suppose 58 = -4*y - 5*v + 205, y + 3*v - g = 0. Is y a multiple of 8?
False
Let x be 1/(-3 + (-16)/(-5)). Suppose -2*s + x*s + 5*t = 134, -2*t = 4*s - 188. Does 12 divide s?
True
Let s(h) = 2*h**2 + 5*h - 64. Is s(-16) a multiple of 16?
True
Suppose -4*c = -118 - 66. Let o = 70 - c. Suppose 138 + o = 2*w. Does 23 divide w?
False
Let x be -6*((-1)/(-3) + -1). Let z(r) = 4*r**2 + 12*r - 3. 