 m(b) = -b**3 - b**2 + b + 7. Let f be m(0). Let d = f - -4. Let v = 22 - d. Is v a multiple of 11?
True
Let k(a) = a**3 - 6*a**2 + a + 2. Is k(6) a multiple of 4?
True
Suppose 0 = 4*s + 2*f + 28, 36 = s - 6*s - 3*f. Let y(h) = -4 + 6*h - 3*h + 7*h**2 + h**3 - h. Is y(s) a multiple of 11?
False
Let w(x) = x**2 + 3*x - 10. Let y(t) = -t**2 + 10*t - 5. Let a be y(7). Suppose 12 = -4*f - a. Is w(f) a multiple of 11?
False
Let b(u) = -12*u - 5. Let x be b(-4). Let p = 81 - x. Does 13 divide p?
False
Is 9 a factor of (-25)/(-1) - 2/1?
False
Suppose 5*p = 4*z - 0*p - 37, 3*p - 9 = 0. Let b = -8 + z. Does 3 divide b?
False
Let y(s) be the third derivative of s**6/120 + s**5/10 + s**4/12 + s**3 + 5*s**2. Is y(-5) a multiple of 9?
False
Suppose 3*x + 31 - 1 = 0. Is ((-15)/x)/((-3)/(-20)) a multiple of 10?
True
Let c(s) = 2*s**3 - 6*s**2 + s + 5. Does 23 divide c(5)?
False
Suppose -3*t - 2*h + 20 = -t, -10 = -t - 4*h. Does 10 divide t?
True
Is 30 a factor of (-39 + 9)*(-2 - -1)?
True
Suppose 3*z + 34 + 26 = 0. Let v = 28 + z. Let g(a) = -a**3 + 7*a**2 + 8*a + 3. Is g(v) a multiple of 2?
False
Let j = 98 + -46. Is 2 a factor of j?
True
Suppose 4 = -y - 0. Let u(r) = 4*r - 20*r**3 - r**2 - r + 4 + 6*r**2 + 21*r**3. Is 8 a factor of u(y)?
True
Is 28 a factor of (-5070)/(-27) - 6/(-27)?
False
Let b(l) = l + 5. Let v be b(0). Suppose -v*u + u + 64 = 0. Suppose -u = -y - 4. Is 12 a factor of y?
True
Let n = -3 - -1. Let d = n - -2. Suppose 0*g = 5*t - 4*g - 86, -3*g - 12 = d. Is t a multiple of 7?
True
Let d = -5 - -5. Suppose d = 2*j - j - 3. Is j a multiple of 3?
True
Does 12 divide (-29 - -13)/(1/(-3))?
True
Let i = -49 - -88. Suppose 0 = -v - 5*y + 14 - i, -v + 3*y + 15 = 0. Suppose 3*s - 23 - 1 = v. Is 4 a factor of s?
True
Suppose 0 = -3*k + 4 - 16. Let l(i) = -i + 4. Is 8 a factor of l(k)?
True
Suppose -131 = -r - 0*r. Does 13 divide 5/(-25) - r/(-5)?
True
Suppose -2*x = -6*x + z + 13, -3*z = -x - 5. Suppose 4*q - 20 - x = 0. Is q even?
True
Let y = -4 - -14. Let v = 17 - y. Does 2 divide v?
False
Suppose -2*d = 8, -2*i - 2*d - d - 12 = 0. Suppose 4*t - 63 + 15 = i. Does 17 divide 2*(-3)/t*-52?
False
Suppose 3*l = 88 - 28. Does 4 divide l?
True
Suppose 0 = -4*u + 2*q + 274, 3*u + 40 = q + 243. Is 22 a factor of u?
True
Let r = 0 - -1. Does 2 divide -4 - ((-44)/4)/r?
False
Let s = 54 - 8. Is s a multiple of 16?
False
Let v(r) = 7*r**2 - 3*r - 7. Is v(-3) a multiple of 13?
True
Suppose -3*v = -124 - 50. Is v a multiple of 58?
True
Let y = 5 + -1. Is y a multiple of 2?
True
Suppose 2*y - 8 = 0, 3*y - 186 = -4*z + 138. Is z a multiple of 26?
True
Let k be 0 + 1 + 3 + 1. Suppose 0 = b - 5, -2*o - b - 295 = -k*o. Is (-1)/(-3) - o/(-6) a multiple of 16?
False
Let j(r) = r**3 + 6*r**2 - 9*r. Does 17 divide j(-4)?
True
Suppose 3*h - 144 = h. Suppose -h = -0*p + 2*p. Let y = -21 - p. Is y a multiple of 10?
False
Let q = 35 + -17. Does 8 divide q?
False
Let v(y) = -29*y - 9. Let s be v(-6). Suppose 3*g + 0*g - s = 0. Does 19 divide g?
False
Suppose 2*c - 292 = x, 731 = 5*c - 6*x + 3*x. Let a = c - 93. Does 21 divide a?
False
Let l = 0 + 3. Suppose 7 = u + l. Suppose 24 = u*s + 4. Is s a multiple of 2?
False
Let f = 173 - 113. Suppose -3*y - 91 = -2*g, 25 = 2*g - 5*y - f. Does 25 divide g?
True
Suppose -4*d + 166 = 2*y, 2*d = -3*d - 3*y + 205. Is 14 a factor of d?
False
Let i be (11 + 1)*3/6. Suppose -14 = t + i. Does 5 divide 67/5 + 8/t?
False
Let y = -13 - -19. Is 4 a factor of y?
False
Suppose 3*g + 15 = 0, 0*a + a + 4 = -3*g. Is 4 a factor of a?
False
Let u be 1 + (876/3)/2. Let m = 245 - u. Suppose 3*x - 35 = a, m = 5*x - 3*a + 33. Does 10 divide x?
True
Let z(k) = 50*k + 34. Is 21 a factor of z(5)?
False
Suppose f - 4*f - 179 = -2*y, y - 57 = -5*f. Is 8 a factor of y?
False
Suppose -p = 4*p + 105. Let g = -50 - -79. Let b = p + g. Is b a multiple of 4?
True
Let l(w) = 5*w**2 + 8*w - 34. Is l(8) a multiple of 35?
True
Let t(o) = o**2 + 4. Suppose -2 = -3*m - 3*r + 7, 4*m = -r + 3. Let z be t(m). Suppose 5*w - 23 = -2*x, 9 = -w - x + z*x. Does 3 divide w?
True
Suppose -50 + 0 = -2*b. Let q = -10 + b. Does 7 divide q?
False
Suppose 6*t - t = 5. Let b be (-1)/(t/32) - -2. Let l = b - -46. Does 16 divide l?
True
Suppose 4*a = v - 34, 9*a = -4*v + 4*a + 52. Is v a multiple of 9?
True
Suppose 0 = -4*b + 12, b = z - 4*z + 153. Let x = -15 + z. Let m = -11 + x. Does 12 divide m?
True
Let s(f) = 2*f**2 + 6*f + 2. Does 20 divide s(5)?
False
Let j(k) = k**2 + 10*k + 27. Is j(-13) a multiple of 11?
True
Let k(d) = -d**2 - 2*d + 14. Is 7 a factor of k(0)?
True
Suppose -3*j = -g + 27, 5*g - 2*j - 83 = -0*g. Suppose 2*y - 5*y + g = 0. Is 5 a factor of y?
True
Let d(n) = -n - 15. Let i be d(-12). Let c = 0 - i. Is (-1)/c*(-1 + -32) a multiple of 4?
False
Let i be 20/25*(-2 - -7). Suppose i + 0 = 2*b. Suppose 4*o - 56 = b*o. Is o a multiple of 9?
False
Let x be 4/14 + (-63)/49. Let g be x/3*(9 - 3). Is 3 + 26 - (1 - g) a multiple of 8?
False
Suppose 6*o = 3*o, 0 = 2*s + 5*o - 8. Suppose -s*q = c, 3*c = -c + 2*q + 54. Is 6 a factor of c?
True
Suppose -2*k - 2*g + g + 88 = 0, -2*g = -k + 49. Let m = 2 + -10. Is k/20*m/(-3) a multiple of 6?
True
Let l be (-15)/(-10)*4/3. Suppose -3*n - l*g = -52, 2*n + n + g - 47 = 0. Is n a multiple of 13?
False
Suppose -22*v + 18 = -20*v. Does 3 divide v?
True
Suppose -7*y = -8*y + 5*i + 18, -4*i + 35 = 3*y. Is y a multiple of 4?
False
Suppose -3*b + y - 10 = 23, -b - 11 = -4*y. Let x = 4 - b. Does 5 divide x?
True
Let c(x) = 6*x - 1. Let k be c(1). Let f = 8 - k. Is f/(-3*1) - -13 a multiple of 6?
True
Let l(o) = -57*o + 20. Does 16 divide l(-2)?
False
Let z(y) be the third derivative of y**4/4 + y**3/3 + y**2. Let c(q) = q**3 + 11*q**2 + 9*q - 7. Let t be c(-10). Is 17 a factor of z(t)?
False
Suppose 3*b - 322 = -2*b + 4*v, -5*b - v = -307. Suppose 2*w + b = 4*o, 0 = 7*o - 2*o - 3*w - 77. Is o a multiple of 16?
True
Let f(z) = z**2 + 7*z. Let j be f(-6). Let g = -2 - j. Does 3 divide g?
False
Does 22 divide (1 - 5/1)*88/(-4)?
True
Let v = 8 - 3. Is 6 a factor of (-12)/v*35/(-7)?
True
Does 10 divide (-1090)/(-30)*(4 - (-2 + 3))?
False
Let b(m) = 3*m**2 + 4*m + 27. Is b(7) a multiple of 39?
False
Suppose -i + 3*i + 8 = 0, 3*q - 5*i - 56 = 0. Is q a multiple of 6?
True
Let t(f) = 11*f + 3. Is t(3) a multiple of 23?
False
Suppose 3*d + m - 26 + 10 = 0, -d - m + 6 = 0. Suppose -22 = -d*y - 7. Suppose 0*j = y*j - 54. Does 9 divide j?
True
Let d = -44 + 51. Is 7 a factor of d?
True
Let c = -1 + 1. Suppose 22 = 18*h - 16*h. Let n = c + h. Is n a multiple of 6?
False
Suppose -2*h = 3*g - 13, 5*h + 3 = 5*g + 23. Let z(c) = c**2 - c + 1. Let s(k) = 43*k**3 - 3*k**2 + 3*k - 3. Let y(f) = s(f) + 2*z(f). Does 21 divide y(g)?
True
Let q be -3*1*2/(-3). Suppose 78 = -q*r - r. Let h = r - -40. Is 7 a factor of h?
True
Let k(w) = 0*w**2 - 4 + w**2 - 4*w**2 + w. Let n be k(-4). Is 14 a factor of ((-1)/(-2))/((-2)/n)?
True
Suppose 4*w = 4*p + 240, -4*p - 5*w - 111 - 102 = 0. Let l = -36 - p. Is l a multiple of 17?
False
Let n(r) = 2*r**2 - 3*r**2 + 2*r - 3 - r**3 + 0. Let h be n(-3). Is -57*((-6)/2)/h a multiple of 8?
False
Let s be 6/4 - (-81)/2. Suppose t + 5*d = 2*t - s, 0 = 2*t + 2*d - 108. Is t a multiple of 13?
True
Let q(c) = 12*c**2 - 6*c - 6. Does 12 divide q(-3)?
True
Let j(d) = -d**2 - 7*d + 6. Suppose s - 3*s = 0. Suppose -4*v = -0*v + 20, 3*z - 5*v - 7 = s. Is 12 a factor of j(z)?
True
Let j(r) = r**2 - 5*r - 9. Let f be 44/6 - (-6)/(-18). Does 5 divide j(f)?
True
Let q(m) = 16*m**2 - 49*m + 40. Suppose -3*i - 4*w = -26, -i - w + 2 = -5. Let k(b) = 3*b**2 - 10*b + 8. Let v(y) = i*q(y) - 11*k(y). Does 7 divide v(7)?
False
Let g be (84/(-10))/((-6)/20). Let c = 56 - g. Is 7 a factor of c?
True
Suppose -5*j - 5*d + 380 = 0, 0*j = 4*j - d - 319. Is j a multiple of 7?
False
Let a = 17 + -24. Let g = a + 15. Is g a multiple of 4?
True
Suppose w - 1 = 1. Let f = -33 + 48. Suppose -o = w*o - f. Is o even?
False
Let h be 148 + 2 + -3 + 1. Suppose -h = 3*n - 5*n. Suppose -5*k + 66 + n = 0. Does 10 divide k?
False
Let b = 0 + 1. Let x(r) = 37*r**3 - r**2 + r - 1. Does 18 divide x(b)?
True
Let j(c) = -c**3 + 6*c**2 + 7*c - 8. Let b be j(-6). Suppose 5*m - 3*m + 14 = 0. Is 10 a factor of b/14 + 2/m?
False
Suppose 0 = m + m + 3*x + 50, 73 = -3*m - 5*x. Supp