6 a factor of m(h)?
False
Suppose 10 = 2*u, 2*t - t - u + 1 = 0. Suppose -150 = -t*j + 86. Is j a multiple of 21?
False
Let k be (2 + -1)/1*-1. Let g = 3 + k. Is (-1 + 43)/(g + -1) a multiple of 11?
False
Let m(u) = u + 8. Let h be m(0). Let w = h - 5. Suppose 5*a - 86 = -w*z - 25, 0 = -2*z - 4*a + 44. Does 6 divide z?
True
Let j = 10 + -5. Suppose -w - 1 = -5*k, j*w - 55 = k + 4*k. Does 12 divide w?
False
Let b(n) = 33*n**3 + 107 + n**2 - n - 34*n**3 + 98. Let s be b(0). Suppose 0 = 4*r - 3*c + 2*c - 139, -5*c + s = 5*r. Is r a multiple of 16?
False
Suppose 0*i + 5*i - 825 = 0. Let z = 8 + -8. Suppose -5*a + i = -z*a. Is 14 a factor of a?
False
Suppose 20 = -8*b + 3*b, 0 = 3*c + 4*b - 92. Is c a multiple of 13?
False
Let y = 16 + 9. Let u = 18 - y. Let m = 12 + u. Does 5 divide m?
True
Suppose 49*q - 50*q + 12 = 0. Is q even?
True
Let p(x) = -x + 29. Is 7 a factor of p(-13)?
True
Suppose 2*f = 3*f - 3. Let h(y) = y. Let u be h(f). Suppose u*t + 2*t - 135 = 0. Is 10 a factor of t?
False
Suppose -5*n + 102 = 2*w, 0*n + 5*n = -10. Is w a multiple of 28?
True
Suppose -6*r + 2*r + 948 = 0. Is r a multiple of 23?
False
Suppose u - 6 - 2 = 0. Suppose -o - o = u. Is 5 a factor of o/(-22) + 141/11?
False
Does 19 divide 142*42/24 - (-1)/2?
False
Let g = 15 + -9. Let w = g + 8. Let f = w - 0. Is 5 a factor of f?
False
Let y(g) = 6*g - 1 + g**2 + 4 - 5 + 0*g. Is y(-10) a multiple of 19?
True
Suppose -3*l = 2*l + 25, -8 = d + 4*l. Suppose -2*o + 6*g - 3*g = -69, -4*g = d. Is o a multiple of 15?
True
Let s(v) = 75*v**2 - 2*v - 2. Let i be s(2). Suppose 15 = 5*f, -5*n = f - 209 - i. Does 26 divide n?
False
Let b(k) = -k**3 - k**2 - 2*k - 2. Let n be b(-2). Suppose -c - 5 = 2*l - 1, -2*c + 3*l + n = 0. Suppose 2*r - 5*r + 57 = c. Is r a multiple of 8?
False
Let a(d) = -7*d + 8. Let u(x) = 8*x - 9. Let h(n) = -6*a(n) - 5*u(n). Is 7 a factor of h(10)?
False
Let o(i) = 1. Let f(s) = -s + 14. Let x(c) = f(c) + 3*o(c). Is x(0) a multiple of 17?
True
Let z = -41 - -107. Does 18 divide z?
False
Suppose -10 = 4*m + m. Let v be 3/m + 1/(-2). Let u(z) = -3*z**3 - 2*z**2 - 3*z. Does 14 divide u(v)?
False
Suppose -5*a + 61 = -f + 5*f, 0 = 4*f - 4*a - 16. Let z(m) be the second derivative of -m**5/20 + 3*m**4/4 + m**3/6 + 11*m**2/2 - 2*m. Does 7 divide z(f)?
False
Suppose 3 = 4*h - 17. Suppose 2*t = -5*y + 18, -h*t + t + 22 = 3*y. Suppose -102 = -4*q + y. Does 8 divide q?
False
Let r = 2 + -3. Let c be 21/(-12) - r/(-4). Does 3 divide c/4 - 11/(-2)?
False
Let l(b) = b**2 - 3*b - 2. Let p be l(5). Suppose 5*r = 4*r + p. Is r a multiple of 8?
True
Let c = 4 + 1. Let d(t) = 2*t**3 - 3*t**2 - 4*t - 3. Let k be d(c). Suppose -3*p = -l + 31, 4*l + 0*p + 2*p = k. Is l a multiple of 14?
False
Let f(j) = -9*j - 4. Let r be f(-6). Suppose 4 = -y + r. Does 23 divide y?
True
Is 13 a factor of (102/3 + 5)*(11 - 2)?
True
Suppose x = -5*v - 3*x + 22, v + 3*x = 11. Suppose v*c = l - 56, 0 = -0*l - 5*l - 3*c + 215. Is l a multiple of 23?
True
Let k(c) = c**2 - 12*c. Does 11 divide k(18)?
False
Let v = -69 + 120. Is 8 a factor of v?
False
Let m = 109 + -60. Suppose 10 = -z + m. Is z a multiple of 13?
True
Suppose 0 = -5*u - 2*f + 1351, 4*f + f - 553 = -2*u. Is 11 a factor of u?
False
Let l = -2 - 1. Is (l - (-21)/3) + 0 even?
True
Suppose 0 = 4*d + 4*o - 58 - 30, -3*d + 3*o = -42. Does 6 divide d?
True
Let l(j) = -j - 1. Let m be l(-7). Does 10 divide 3/(9/m) - -36?
False
Let f(c) = -148*c + 1. Does 13 divide f(-1)?
False
Let o be 1/(1/(-5)*1). Let a(u) = 2*u**2 - 2*u + 5. Is a(o) a multiple of 26?
False
Let n(q) = 3*q - 16. Is n(12) a multiple of 10?
True
Suppose -3*v = -0*b - 5*b - 107, 3*v - 142 = -2*b. Does 11 divide v?
True
Let x = 105 - 54. Does 17 divide x?
True
Suppose 0 = -s + 2*s - 3. Suppose 3*i + 3*v - 150 = 0, -i - s*v - 30 = -80. Is 25 a factor of i?
True
Suppose 4*f - 49 = -13. Suppose -23 - f = 4*v. Let a = v - -35. Is 12 a factor of a?
False
Let c(j) be the second derivative of j**3/3 - 11*j**2/2 - 11*j. Is 5 a factor of c(8)?
True
Suppose -p + 2 = -19. Suppose -5*l + 149 = -p. Does 15 divide l?
False
Does 16 divide (-120)/(2 - (-28)/(-8))?
True
Suppose -33 = -4*v + 2*r - 3, -4*r = 5*v - 5. Suppose 5*c + v*x = 20, -2*x + 52 = 5*c - 5*x. Suppose 3*d - c = -2. Is 2 a factor of d?
True
Let j(v) = 2*v + 3. Let z be j(-2). Let d(o) = -7*o**3 + o**2 - o - 1. Is d(z) a multiple of 4?
True
Suppose -b = b - 64. Does 16 divide b?
True
Let o(k) be the first derivative of 4*k**3/3 - k**2 - k + 2. Is 19 a factor of o(-2)?
True
Let v(s) = -3*s - 9. Let j(g) = 5*g + 19. Let p(i) = 4*j(i) + 7*v(i). Is p(10) a multiple of 2?
False
Let l = 146 - 46. Is 20 a factor of l?
True
Let z be ((-2)/(-3))/(2/(-36)). Let v = 6 + z. Is 5 a factor of (-120)/(-9) + 2/v?
False
Let w be 300/(-28) - (-2)/(-7). Let b = -7 - w. Is 3 a factor of b*(-5)/((-10)/4)?
False
Let i = 0 - 0. Suppose i = d - 2*d + 19. Is d a multiple of 19?
True
Let o be (-2)/(-10) - (-3)/(-15). Suppose -4*s = -o*s - 2*t - 38, -2*s + 2*t = -18. Is s a multiple of 6?
False
Let n(p) be the third derivative of p**5/30 + 5*p**4/24 - 6*p**2. Is 15 a factor of n(-6)?
False
Suppose -3*c + 10*l = 5*l - 209, 4*c - 327 = -3*l. Suppose 4*o + 2 = -218. Let x = o + c. Does 8 divide x?
False
Let h(n) = -n**3 + 2*n**2 + 4*n. Let x be h(3). Suppose 3*k - 5*j = 5, x*j = -j - 4. Suppose k = 4*g - m - 28, 4*m + 16 = 4*g - 24. Is 6 a factor of g?
True
Let z = 154 + -143. Is z even?
False
Suppose 3*h - a - 22 = 0, -3*h - 2*h - 4*a + 48 = 0. Let w(i) = i**3 - 7*i**2 - 6*i + 8. Let b be w(h). Let f = 50 - b. Is f a multiple of 16?
False
Let o(v) = -v**2 + 15*v + 7. Does 21 divide o(8)?
True
Let a(n) = n**2 - 6*n - 1. Let q be a(7). Suppose 3*o + q = 5*c - 2, -o = -4. Suppose -4*d + 48 = -4*m, c*m + 34 = 2*d - 0*d. Does 6 divide d?
False
Suppose -3*f - 4*a + 5 = 0, 2*a + 14 = 2*f + 6. Does 2 divide f?
False
Suppose 0 = 3*g + 5*m + 4, -m - 22 = -g + 2*m. Does 4 divide g?
False
Let x be (7/(-14))/((-1)/408). Suppose x = 3*b - 201. Suppose 4*o + 100 = 4*l, o + b = 5*l - 2*o. Does 15 divide l?
True
Suppose -a - 27 = -4*a. Is (3 + a)*14/6 a multiple of 8?
False
Suppose -2*d + 286 = c, 3*c = c - 8. Suppose -5*s + 0*s + d = 0. Is 21 a factor of s?
False
Suppose h + 6 = 40. Is 34 a factor of h?
True
Let i(r) = r**3 + 5*r - 4. Let m be i(3). Let o = -18 + m. Is 10 a factor of o?
True
Suppose 0 = -24*c + 31*c - 588. Is c a multiple of 25?
False
Let i(x) = -x**3 - 14*x**2 + 14*x - 7. Is i(-15) even?
True
Let q(j) = -12*j + 2. Is q(-6) a multiple of 2?
True
Let u(t) = -t**3 - 7*t**2 - 7*t + 4. Let d be u(-6). Let z be (d/3)/((-1)/6). Let g = z - -40. Is g a multiple of 9?
False
Let f(k) = -7*k + 9. Let q be f(-6). Suppose -3*j - 93 = 15. Let d = q + j. Is d a multiple of 15?
True
Suppose -2*y + 2 + 34 = 0. Is y a multiple of 6?
True
Suppose 3*g = d + 4*d - 198, 2*d - 2*g = 76. Let n = 27 - 14. Let h = d - n. Is h a multiple of 11?
False
Let o(i) = i**2 - 14*i - 4. Let p(t) = 5*t + 1. Let a(u) = 3*o(u) + 8*p(u). Is a(4) a multiple of 9?
True
Let g(k) be the second derivative of -k**4/12 - 11*k**3/6 - 6*k**2 + 4*k. Is 6 a factor of g(-5)?
True
Let r(a) = -a**2 - 9*a - 9. Let z be r(-7). Suppose 2*w - 2*p = 8, -3*p + z = 2*w - 8. Is w a multiple of 5?
True
Let a be (-158)/(-6) + (-32)/(-48). Suppose -a = -b - 3*j, 3*j + 77 = 5*b - 112. Is b a multiple of 9?
True
Let q = -36 - -157. Is q a multiple of 15?
False
Let a = 10 - 2. Suppose -3*r = 2 - a. Suppose -167 = -3*o - 2*o + y, r*y = -3*o + 95. Is 11 a factor of o?
True
Let m(t) = t**3 - t**2 - 1. Let f be m(4). Suppose 0 = -2*s + 6*s - y - 55, 3*s + 5*y = f. Is s a multiple of 5?
False
Suppose w = -3*w + 216. Is 9 a factor of w?
True
Let v(m) = m - 2. Let t be (13/(-4))/((-2)/8). Is 11 a factor of v(t)?
True
Let h(k) = k**3 - 7*k**2 + 8*k - 9. Let o be h(6). Suppose o*l + 2*w - 22 = 6*w, -3*l - w = -32. Does 5 divide l?
True
Let n(d) be the first derivative of -2*d**2 + 2*d + 1. Let l be n(-3). Suppose 3*z = 5*z - l. Is z a multiple of 2?
False
Is 43 a factor of ((-2)/1)/(12/(-678))?
False
Let m(s) = -4*s - s**3 + s + 2*s + 2*s**2 + 1. Let x be m(1). Is 13 a factor of -3*x/1 + 16?
True
Does 11 divide 28/(4/(-8)*-5 + -2)?
False
Let z(j) = -8*j - 50. Does 3 divide z(-8)?
False
Suppose -3*o = 2*o + 5*c - 210, -42 = -o -