) = b**2 + 5*b - 2. Is 17 a factor of m(h)?
True
Suppose 0 = -k - 3, -4*g + 5*k + 7 = -24. Let i = g - 4. Let l = 14 + i. Is 8 a factor of l?
False
Suppose 0 = -2*b + b - 5*m + 38, 3*b + 2*m = 179. Does 7 divide b?
True
Let s = -13 - -17. Suppose 6*h - 318 = h - 4*q, -s*q = 2*h - 132. Does 31 divide h?
True
Suppose 2*i + 101 = 4*g + 351, -5*i + 617 = -2*g. Is i a multiple of 13?
False
Suppose -2*t - 47 = -3*t. Does 15 divide t?
False
Let t(d) = 2*d**2 + 9*d + 10. Let v(m) = -3*m**2 - 17*m - 19. Suppose -6 = -4*r + 14. Let z(f) = r*t(f) + 3*v(f). Does 3 divide z(8)?
True
Let r(m) = 2*m**2 - 6*m. Let k(w) = 9*w**2 - 24*w + 1. Let v(z) = 6*k(z) - 26*r(z). Is 15 a factor of v(-9)?
True
Let t(j) = j**2 + 9*j + 3. Let w be t(-7). Let d = -36 - -55. Let b = w + d. Does 8 divide b?
True
Suppose 0 = -4*g - 22 + 246. Does 8 divide g?
True
Suppose -4*f = 4*r - 28, -r + 4*r + 19 = 5*f. Let z = f - 6. Let p(u) = -2*u**3 + 1. Is p(z) a multiple of 3?
True
Let d be (-196 - -1)/(-9 + 8). Suppose 3*u = 3*k - d, -4*k - k = -u - 341. Is k a multiple of 23?
True
Suppose -5*i = -11 - 14. Suppose 2*z - 17 = -i. Is z a multiple of 6?
True
Is 13 a factor of 12/10*(-39)/(-6)*5?
True
Suppose 5*t = -5*t + 240. Is t a multiple of 12?
True
Let t be (-801)/(-15) + 4/(-10). Let p = t - 23. Is p a multiple of 30?
True
Let w(p) = -9*p - 5*p - 7 + p + 1. Does 23 divide w(-4)?
True
Let t(f) = 8*f + 8. Let w be t(-4). Let z = 59 + w. Is 14 a factor of z?
False
Let x(j) = -j**2 + 12*j - 3. Suppose -k = k - 32. Let z = k + -10. Is 21 a factor of x(z)?
False
Let t(d) be the third derivative of d**8/20160 - d**7/1680 - d**6/120 + d**5/30 + d**2. Let m(y) be the third derivative of t(y). Does 11 divide m(7)?
True
Is 685/15 - 2/(-6) a multiple of 23?
True
Suppose -3*l - 103 = -5*u, -5*l - 3*u - 51 = 98. Let j = l - -47. Is j a multiple of 8?
True
Let p(s) be the second derivative of s**3 - 2*s**2 - s. Is 13 a factor of p(5)?
True
Let c(u) = u**3 - 14*u**2 + u - 8. Let y be c(14). Let f(v) = v**2 + 4. Is 9 a factor of f(y)?
False
Let s be ((-18)/(-10))/((-2)/(-10)). Let a = s + -10. Is 24 a factor of (a - 0) + (-294)/(-6)?
True
Suppose 2*l = -t + 545, 3*l - 513 = -t + 307. Is l a multiple of 44?
False
Suppose 4*a - 85 + 17 = 0. Does 17 divide a?
True
Suppose 4*v - 1308 = -4*z, 5*v + 1808 = 5*z + 193. Suppose -z = -5*t - 90. Is 12 a factor of t?
False
Let s(t) = -t**2 - t - 3*t**2 + 38*t**3 + 6*t**2. Does 13 divide s(1)?
True
Let v(d) be the first derivative of 2*d**3/3 + 2*d**2 + d + 1. Suppose -7*m + 24 - 45 = 0. Is 7 a factor of v(m)?
True
Let q = -2 - 1. Let h(p) = -p**3 - p**2 + p - 1. Does 6 divide h(q)?
False
Let o = 30 - -74. Does 12 divide o?
False
Let d = 8 - 24. Suppose -4*g + 66 = -g. Let u = d + g. Is 3 a factor of u?
True
Let f = 4 - 2. Is 15 a factor of (f + -2 - 15)*-3?
True
Let c = 9 + 0. Let u(i) = -i**2 - 12*i + 8. Let s be u(-13). Let o = c + s. Does 2 divide o?
True
Suppose -5*i - 21 = -181. Let z = -16 + i. Does 5 divide z?
False
Let x = 151 - 89. Suppose x = 3*m - 34. Does 11 divide m?
False
Suppose -990 = -43*y + 34*y. Does 10 divide y?
True
Let s(d) = 2*d**2 + 5*d + 6. Let x be s(-3). Is 1/(3/x) + -1 even?
True
Let h be ((-4)/(-6))/((-6)/(-27)). Suppose -h*a = -a. Suppose w + a*w = 15. Does 15 divide w?
True
Suppose -f = 2*v - 3*f - 46, -3*v + 69 = 5*f. Is 9 a factor of v?
False
Suppose -3*p = -5*t - 5, -4*t - 19 = -5*p - t. Suppose p = f - 3. Does 8 divide f?
True
Does 10 divide (-512)/(-24) + -2 + 16/6?
False
Let u(l) = 20*l**2 + 1. Let h = 1 - 0. Does 7 divide u(h)?
True
Let m(r) = 101*r**3 + 2*r**2 + r. Let o be m(-1). Let v = o - -157. Suppose n + v = 4*n. Does 7 divide n?
False
Let m(v) be the second derivative of 13*v**5/20 + 5*v**4/12 - v**3/2 - 3*v**2 - 3*v. Let o(d) = d**2 - d - 1. Let w(x) = m(x) - 5*o(x). Is w(1) a multiple of 5?
False
Let x = -11 + 12. Let i(w) = 3 - 2 - w + 5*w. Is 2 a factor of i(x)?
False
Suppose 8*n - 542 = 898. Is n a multiple of 5?
True
Suppose -l + 3*l - 18 = 0. Let m = 11 - l. Does 10 divide 20*m*(-3)/(-6)?
True
Let f(p) = -3*p**2 - 10*p - 5. Let s(t) = -7*t**2 - 21*t - 9. Let j(z) = 9*f(z) - 4*s(z). Is 11 a factor of j(9)?
False
Suppose 0 = 2*s - 36 + 18. Does 9 divide s?
True
Suppose 0*m - 5*m - v + 183 = 0, m - 4*v = 24. Is 18 a factor of m?
True
Let x(y) = -y**3 - 8*y**2 - 10*y - 8. Suppose -3*p + p - 14 = 0. Is x(p) a multiple of 13?
True
Let q = -20 - -56. Does 12 divide q?
True
Let d(p) be the second derivative of -p**5/20 - 5*p**4/12 + 4*p**3/3 - 2*p**2 - p. Is 14 a factor of d(-7)?
False
Let d(y) = 6*y - 9. Suppose 5 = 3*m - 10. Does 7 divide d(m)?
True
Let q(u) = 8*u**2. Suppose 2*k + 2 = 6. Does 10 divide q(k)?
False
Is (-4 - -5)*-77*60/(-14) a multiple of 33?
True
Does 9 divide (0 - -9)/(4/20)?
True
Let z(w) = 6*w + 1. Let s be z(4). Let n = -18 + s. Let q(k) = k**3 - 6*k**2 + 2*k - 6. Is 21 a factor of q(n)?
False
Suppose 2*o + 6 = -3*g, 0 = 4*g + o + 3. Suppose 5*d - 36 = 3*u, g*d - 5*u + 8 = 3*d. Is 6 a factor of d?
True
Let r(n) = n**3 + 8*n**2 + 9*n + 9. Let x(q) = -4*q + 2 + q**2 + 0 - 2*q. Let j be x(4). Is r(j) a multiple of 9?
True
Let l(p) = 8*p - 24. Is l(15) a multiple of 24?
True
Let v = 49 - -20. Is 15 a factor of v?
False
Let t(q) = q**2 - 6*q. Let s be t(6). Suppose s = -4*a - 2*j + 5*j + 178, -3*a = -3*j - 132. Let g = -11 + a. Is 16 a factor of g?
False
Suppose -2*i - 41 - 269 = 0. Let n = i + 230. Is n a multiple of 16?
False
Suppose -z = 3*i + 26, -8*z + 4*z = 2*i + 74. Let q = z - -30. Is 13 a factor of q?
True
Suppose 5*x + 0*x = -r + 100, 0 = -4*r - 4*x + 448. Is 8 a factor of r?
False
Let z = -42 - -168. Is 41 a factor of z?
False
Is (1 + 0)*-1 + (5 - -56) a multiple of 6?
True
Let i be (-6)/(-4)*10/3. Suppose 10*m = i*m + 60. Is m a multiple of 12?
True
Let k be (-1)/(-3) + 47/3. Let f = k + -10. Is 6 a factor of f?
True
Suppose -25 = -5*n + 10. Let x = n - -22. Is x a multiple of 16?
False
Let j = 9 - -38. Does 11 divide j?
False
Let j = -40 - -93. Does 26 divide j?
False
Let f = -62 - -90. Is f a multiple of 7?
True
Suppose 8*g - 5*g - 573 = 0. Suppose -2*o + g = 4*v - 3*o, -5*o = -4*v + 187. Does 12 divide v?
True
Let z = -15 - -26. Is z a multiple of 11?
True
Let k(o) = o**3 - 3*o**2 + 2*o - 4. Let p be 6/(4 + -3 + 1). Let l be k(p). Let n = 31 + l. Is 12 a factor of n?
False
Suppose 0*x + 40 = 2*s - 2*x, 3*x + 100 = 5*s. Is (-8)/s - (-244)/10 a multiple of 12?
True
Let h = -17 + 81. Is h a multiple of 10?
False
Suppose -l - 2*l - 3 = 2*h, -2*l + h - 9 = 0. Let j be (-24)/(-4) - l/(-1). Suppose -o + j*x = 3*o - 87, -o = -5*x - 9. Is o a multiple of 18?
False
Let d be 2 + -4*2/4. Suppose d - 54 = -3*t. Is 5 a factor of t?
False
Suppose 185 + 193 = 3*w. Is w a multiple of 18?
True
Let s = 261 - 183. Is 26 a factor of s?
True
Let s = 87 + -9. Is 11 a factor of s?
False
Let p = 24 + -15. Does 5 divide p?
False
Let j(z) be the third derivative of 0*z - 3/20*z**5 - 1/120*z**6 + 7/24*z**4 - 2*z**3 + 0 - 2*z**2. Does 9 divide j(-10)?
True
Suppose q - 14 = -4*m - q, -m - 2*q = 1. Let x(v) be the third derivative of -v**6/120 + v**5/15 + 7*v**4/24 - v**3/6 - 2*v**2. Is 7 a factor of x(m)?
False
Suppose -19 = -2*r + 9. Let b = -7 + r. Is b a multiple of 7?
True
Let b(z) = -4*z + 2. Let y(f) = -5*f + 2. Suppose -m + 15 = 2*m - 3*a, -m + 3*a + 7 = 0. Let c(u) = m*b(u) - 3*y(u). Is c(-5) a multiple of 3?
False
Suppose -q + 3*p = 4, 15 = 2*p + 3*p. Suppose 5*i - 27 = q*r + i, 18 = -3*r + 3*i. Is 8 a factor of r/((-6)/32 + 0)?
True
Let r(o) = o**3 - 5*o**2 + 5*o - 2. Let c = -3 - -7. Let k be r(c). Suppose 4*x - 12 = -k*z, -3*z + 8 = 7*x - 3*x. Does 4 divide x?
False
Let l = 7 - 13. Let h be ((-1)/((-1)/l))/(-2). Suppose 5*w + 2*y = h*w + 10, 5*w + 4*y - 26 = 0. Does 4 divide w?
False
Let f(w) = -12*w + 24. Does 26 divide f(-11)?
True
Suppose -2*m + 0*m + 174 = 0. Suppose 5*t + m = 4*i, 2*t + 27 = 3*i - 33. Is 6 a factor of i?
True
Suppose -h - 616 = -5*s, -294 = 5*s - 4*h - 913. Is s a multiple of 32?
False
Let o(c) = -78*c - 3. Let w be o(-3). Suppose 5*p - p = 5*q - 289, 3*p + w = 4*q. Does 19 divide q?
True
Let w(b) = b**3 - 6*b**2 - b + 8. Let g be w(6). Suppose -2*o + 17 = 5*x, g*x + 17 = 5*o - 11. Is o a multiple of 4?
False
Let z(p) = -35*p + 6. Is 16 a factor of z(-3)?
False
Is 29 a fac