et h(g) = 5*l(g) + 7*s(g). Is 16 a factor of h(-9)?
False
Suppose -4*m + 2*h + 62 = -256, -2*h = 3*m - 228. Suppose -4*y + 360 = 3*q, 4*q = -2*y + 92 + m. Is y a multiple of 20?
False
Let w(r) be the first derivative of r**4/4 - 7*r**3/6 + 3*r**2/2 + 1. Let k(n) be the second derivative of w(n). Is k(4) a multiple of 17?
True
Let v(i) = -2*i**2 - 10*i - 3. Let n be v(-4). Suppose -n*w - 16 + 64 = -3*t, 0 = -w + 3*t. Is w a multiple of 3?
True
Let c be 85/(-15) + (-1)/3. Let g = 19 - c. Does 3 divide g?
False
Let l = -67 + 66. Does 2 divide 7 + -10*4/10*l?
False
Suppose -2*v - 4*v - 144 = 0. Let d be (-11)/(-3) + (-8)/v. Suppose -q + 3*w = -26, q + 0*q - d*w - 29 = 0. Does 10 divide q?
False
Suppose 65 = o - 3*x, -3*o + 169 = 2*x + 2*x. Is 13 a factor of o?
False
Let c(o) = 77*o**2 + 15*o - 57. Is c(3) a multiple of 16?
False
Let c(i) = i**3 - i**2 + 5*i + 1187. Does 61 divide c(0)?
False
Let l(u) = 4*u**2 - u + 2. Suppose 8*b - 42 = b. Does 34 divide l(b)?
False
Let s(t) be the second derivative of 1/4*t**4 + 1/6*t**3 - 4*t + 0 - t**2. Is 8 a factor of s(-2)?
True
Suppose 5*v + 1 - 16 = 0. Suppose 0 = -v*c - 25 + 109. Let t = -1 + c. Does 4 divide t?
False
Suppose -14*i + 23251 = -20499. Does 125 divide i?
True
Let u(v) = -v**2 - 33*v - 71. Is u(-27) a multiple of 13?
True
Let l(m) = -m - 3. Let x be l(-5). Suppose 35 + 3 = -x*w. Let p = -11 - w. Does 2 divide p?
True
Let i(w) = -w**3 + 3*w**2 - 3. Let n be i(3). Is 7 a factor of (-134)/(-4) - n/6?
False
Suppose 4*i - 2*j = -74, -20 = 2*i - 3*j + 19. Let c = i - -16. Does 13 divide (-169)/39*6/c?
True
Let d be (0 - 1/(-1)) + 22. Let s(x) = -x**2 + 9*x - 8. Let j be s(7). Let v = d - j. Is v a multiple of 17?
True
Suppose 3*p = -n + 1063 - 406, 0 = -2*p + 2*n + 430. Is p a multiple of 8?
False
Let u be (66/55)/((-6)/(-4700)). Suppose -18*x - 184 = -u. Is x even?
True
Let o(r) = 2*r**2 - 5*r + 4. Let g be o(2). Does 13 divide 2/g + (-144 + -1)/(-1)?
False
Let h(d) = 21*d + 42. Is 49 a factor of h(5)?
True
Let t(m) be the second derivative of -1/6*m**3 - 1/20*m**5 - 3/4*m**4 + 0 - 6*m + 2*m**2. Is 13 a factor of t(-9)?
True
Is 54 a factor of 516 - (-5)/(-7 - -4 - -2)?
False
Suppose x - 675 = -4*z, 6*z - 3*z - 492 = 4*x. Does 6 divide z?
True
Let s = -22 - -24. Let r(k) = 24 + 0*k**s - 43 + k**3 - 6*k - 8*k**2. Does 2 divide r(9)?
True
Suppose -2*k - k = -q - 35, 0 = 3*k + 4*q - 10. Suppose k + 60 = 7*p. Is p a multiple of 10?
True
Let s = 1125 - 159. Is s a multiple of 13?
False
Let f = -9 - -12. Let v be (-2)/(-4) - (-125)/10. Let m = v + f. Is 5 a factor of m?
False
Let x = -820 - -1165. Does 8 divide x?
False
Suppose -40 = k - 409. Suppose -3*o - p + 62 + 319 = 0, -3*o + k = 5*p. Is o a multiple of 16?
True
Let y(k) = 8*k**2 - 11*k + 150. Is y(10) a multiple of 12?
True
Let t(a) = -a**3 + 4*a**2 - 4*a + 4. Let y be t(3). Suppose -3*j - r = -15, -2*j + y = -3*r + 2. Suppose -j*f + 32 + 36 = 0. Is 16 a factor of f?
False
Let n(j) = -8*j**2 - j. Let l be n(1). Let s = -9 - l. Suppose s = 5*k - 62 + 17. Does 9 divide k?
True
Let c(k) = -2*k**3 + 2*k**2 + 2*k + 1. Let p be c(-1). Let y(b) = 4*b**2 - 2*b - 2. Is y(p) a multiple of 8?
False
Let h = 17 - -7. Suppose -3*r = -5*j + 49 + 74, 4*j = -r - h. Let q = r - -76. Is 23 a factor of q?
False
Let d = 45 - 45. Suppose d = 5*y + 25, -3*y + 100 = 5*j - 95. Is 23 a factor of j?
False
Let j(b) = 4*b**2 + 19*b + 32. Let i = 35 + -46. Is 12 a factor of j(i)?
False
Let o = 20 - 17. Suppose 0 = 3*m + 2*i - 820, -3*m - 4*i = -o*i - 818. Is 36 a factor of m?
False
Suppose 6*v - 455 + 95 = 0. Suppose 3*h - v = -5*a, -3*a - 48 = -7*a + 4*h. Is a a multiple of 4?
True
Let a(p) = 12*p**3 - p**2 - 2*p - 2. Let h be a(-1). Let v = -18 - h. Let c(n) = n**2 + 4*n + 4. Is 4 a factor of c(v)?
False
Let o = -448 + 1048. Is o/27 + (-4)/18 a multiple of 22?
True
Let s(d) = -d**3 + 2*d**2 - 9*d + 2. Let j be s(6). Let u = 135 + -269. Let x = u - j. Is 12 a factor of x?
False
Suppose -3*q = -7*q + 28. Let y(k) = -12 + 5*k - 2*k**2 + 2 + 3*k**2 - 6*k. Does 17 divide y(q)?
False
Suppose 0 = o - 2*o + 2. Suppose a - 3*v = -30, -o*a - 56 = -2*v - 0*v. Let i = a + 42. Is i a multiple of 15?
True
Suppose 2*h = 2*s + h + 16, 2*s = -3*h - 16. Does 9 divide (-86)/s*(-1 + 4 + 1)?
False
Let u(b) = -6*b - 6. Suppose -3*x = -3*k - k + 26, 0 = -4*x - 8. Suppose -6*m + 5*m = k*t - 13, 15 = -m + 2*t. Does 9 divide u(m)?
True
Suppose u + 5 = 13. Let k(p) = 2*p - 7. Is k(u) a multiple of 9?
True
Let o = -52 + 52. Suppose 0*s + 3*s - 35 = 2*b, o = -5*s - 3*b + 71. Is 3 a factor of s?
False
Let m(x) = -x**3 + 11*x**2 - 11*x + 6. Let q be m(10). Let h be 2 + q + (-36)/4. Let p = 14 - h. Does 10 divide p?
False
Does 26 divide 1866/9 + 10/15?
True
Suppose 5*v = 3*v. Suppose 4*r = m - 6*m - 12, 2 = 3*r + m. Suppose 0*b - r*b + 132 = v. Is 26 a factor of b?
False
Let h(f) be the third derivative of f**4/12 + 11*f**3/3 + 4*f**2. Let x be h(-9). Suppose x*j = 17 - 5. Is j a multiple of 2?
False
Suppose 2*x + 11*m - 13*m = 72, 0 = 4*x + m - 119. Is 9 a factor of x?
False
Let a be ((-2)/(-4))/(15448/(-2576) + 6). Let q = a + -133. Is 5 a factor of q?
False
Let m = -54 - -4. Let g = 160 + m. Let j = g + -74. Does 12 divide j?
True
Is 71 a factor of 4/(-40)*2 - (-23624)/20?
False
Suppose 3837 = 3*g + 3*f, -113*g + 116*g - 4*f = 3802. Does 43 divide g?
False
Suppose 25*h = 5631 + 14519. Is 31 a factor of h?
True
Suppose 2*q + 2*t - 4 = 0, -5*t + 0 = 3*q - 10. Suppose 8*g - 11*g = q. Is 75 + (g/(-4))/(-4) a multiple of 14?
False
Let x(g) = -2*g**3 - 9*g**2 - 5*g - 9. Let m be x(-7). Let d = -175 + m. Is 27 a factor of d?
False
Let l = -52 + 50. Let w(q) = -7 + q + 0*q - 7*q + 2*q**2. Is 4 a factor of w(l)?
False
Let j(v) = -v**2 - 29*v + 35. Let s be j(-16). Suppose -4*g + g + s = 0. Is g a multiple of 21?
False
Let b be 6*2/(8 - 4). Suppose b*v = 375 - 39. Does 28 divide v?
True
Suppose 0 = -4*d + 5 + 15. Let g = d + -5. Suppose 4*r + 5*p - 1 = 197, g = -3*r - 4*p + 148. Is r a multiple of 13?
True
Suppose 3*z - 2*l = 2*l + 276, z - 5*l - 81 = 0. Suppose 6*c = 4*c + z. Is 8 a factor of c?
True
Let b = -20 - 74. Let q = b + 222. Is q a multiple of 32?
True
Suppose -5*i = -39 - 36. Does 8 divide i?
False
Let h = 3 + -3. Suppose h = -2*z - 38 + 232. Does 11 divide z?
False
Let q be ((-3)/(-6))/(3/6) - -275. Suppose -172 = -8*u + q. Is u a multiple of 9?
False
Let z = 41 - 30. Suppose -j - 4*v = -4*j + 24, -j - 5*v = z. Is j a multiple of 3?
False
Suppose -15*d - 8 = -17*d. Let c(o) be the first derivative of 11*o**2/2 + 4*o + 1. Is c(d) a multiple of 12?
True
Let v = 5 - 1. Let o(p) = p**3 - 3*p**2 + 6*p - 1. Is o(v) a multiple of 9?
False
Let c = -6 + 11. Suppose -15*i + 130 = -c*i. Is 13 a factor of i?
True
Let u = -112 - -928. Is 12 a factor of u?
True
Let w be 108/30 + (-2)/(-5). Let h(r) = 6*r + 5 + 5*r + 8*r - w. Does 13 divide h(1)?
False
Suppose -5*q + 2*c - 106 = -977, -3*q + c + 523 = 0. Is 35 a factor of q?
True
Suppose 1148 = 2*k - 0*a + a, 1164 = 2*k - 3*a. Suppose -6*c = 3*c - k. Does 4 divide c?
True
Let o(y) = y**3 + 17*y**2 - 25*y - 42. Is o(-18) even?
True
Suppose -h + 5 = -5. Let p(g) = -g**3 - 5*g**2 + g + 1. Let q be p(-5). Let z = q + h. Does 3 divide z?
True
Let a(i) = 2*i**2 - 13*i - 90. Is 16 a factor of a(15)?
False
Suppose -292 = -8*r + 1132. Is 6 a factor of r?
False
Suppose i - 6*i = -45. Suppose -a - 3*n + 4 = -1, 0 = -3*a - n - i. Is (-21)/(-2) + (-2)/a a multiple of 3?
False
Suppose -3*m + 18 = -24. Let p = m + -8. Suppose p*n + 34 = 178. Does 9 divide n?
False
Let n be (4 - 5)/((-2)/60). Suppose -5*g + 5*u + 25 + n = 0, 0 = 5*g + 4*u - 100. Suppose -g = 4*x, 6*y - 2*y - 3*x = 204. Is 16 a factor of y?
True
Let v be -1 + -409 + -1 + -3. Let p = -258 - v. Suppose -p = -4*u - 20. Is 18 a factor of u?
False
Let w = 2153 + -1412. Does 2 divide w?
False
Let w(c) = c**2 - 8*c + 10. Suppose -4*l = 4*j + 1 - 33, -2*l = -5*j + 33. Let r be w(j). Let i(t) = 6*t**2 - 3*t + 3. Is 13 a factor of i(r)?
False
Let i(o) = -2*o - 24. Let y be i(-15). Suppose -72 = 3*c - y*c. Does 11 divide c?
False
Suppose -4 = -a + 5*q + 30, 3*q = 0. Suppose -a = 2*u - 146. Does 14 divide u?
True
Let i(u) = 76*u - 47. Does 51 divide i(8)?
True
Is 16 a factor of 6/4*-2 + (-9765)/(-93)?
False
Let h = -229 +