v = 0. Let q(j) = -33*j - 2. Is 17 a factor of q(n)?
False
Let u = 40 - -16. Does 16 divide u?
False
Let b = 107 + -9. Does 27 divide b?
False
Let a(u) = -u**2 - 2*u - 1 + u**2 + u**2. Let v be a(2). Is 6 a factor of v/(-1)*(0 - -12)?
True
Let s(r) be the first derivative of 4/3*r**3 + 7/2*r**2 - 2*r - 4 - 1/4*r**4. Does 5 divide s(5)?
False
Suppose -3*c + 13 = -2*c. Is c a multiple of 9?
False
Suppose -4*d + 130 = -78. Does 8 divide d?
False
Is -4 - (-1)/1*58 a multiple of 18?
True
Let u(t) be the second derivative of 2*t**3/3 - 6*t**2 + 7*t. Does 12 divide u(15)?
True
Suppose u = -j + 6 + 15, -3*u = -4*j - 28. Is 8 a factor of u?
True
Let k be (-1 + 4)*3*1. Let l(z) = z**3 - 10*z**2 + 12*z - 7. Does 17 divide l(k)?
False
Suppose 2*f - f = -465. Does 5 divide f/(-27) + 2/(-9)?
False
Let w(p) = -p**3 + 4*p**2 + 6*p - 2. Let g be w(5). Suppose -c - 2 = -h - 2*h, 18 = g*c - h. Is c a multiple of 7?
True
Suppose 0 = c + 4*c - n + 16, 0 = -5*c - 4*n - 11. Is 4 a factor of c*(1 + 11/(-3))?
True
Let n(w) = w**2 - w + 6. Let t be n(3). Suppose -t*k + 64 = -8*k. Is k a multiple of 8?
True
Let c be -29*((-4)/(-2))/(-2). Let k = -8 + c. Is k a multiple of 7?
True
Let t = 6 + -3. Suppose -2*l + 2*c + 134 = t*l, 3*l + 3*c = 72. Does 13 divide l?
True
Let b(y) = -y**2 - 14*y - 32. Is b(-10) a multiple of 4?
True
Let t be 3/(-3)*(-1 + -2). Does 4 divide ((-80)/12)/((-2)/t)?
False
Let p(d) be the third derivative of -d**5/60 + 7*d**4/24 + 2*d**3/3 + 2*d**2. Let r be p(7). Suppose r*b - b - 36 = 0. Is b a multiple of 12?
True
Let x(n) = -1. Let g(m) = -m**3 + 4*m**2 - 4*m. Let y(p) = -g(p) - 3*x(p). Let b be (-2)/(-3) + 30/9. Does 8 divide y(b)?
False
Let k = 18 - 27. Let m(t) = -t**2 - 13*t - 10. Does 11 divide m(k)?
False
Let b(l) = l**3 + 7*l**2 + 6*l - 6. Let o be b(-6). Is (-58)/(-4) - 3/o a multiple of 15?
True
Let k(n) = n**2 - n - 1. Let b be k(3). Let a(p) = p - 5. Let v be a(b). Does 11 divide 1/(v + -1)*-24?
False
Suppose 10 = -2*t + 30. Let a(i) = -i**3 - 9*i**2 - 2*i + 1. Let h be a(-9). Suppose t = 5*v, -v = -j - 2*j + h. Does 7 divide j?
True
Let o(d) = 2*d**2 - 3*d + 2. Let a = 2 + 0. Is 2 a factor of o(a)?
True
Suppose 0*q + 3*q = 0. Suppose -5*i + 2*d + 41 = -2*d, q = 5*i - d - 29. Does 5 divide i?
True
Let d = 6 + -2. Suppose d*s - 6*s + 52 = 0. Is 16 a factor of s?
False
Let f = -8 + 43. Is 11 a factor of f?
False
Let z(n) = n + 3. Let a be z(-9). Let v = a + 13. Is 2 a factor of v?
False
Suppose -3*v + 4*v - 94 = 0. Let y = v - 64. Is y a multiple of 18?
False
Does 11 divide (2 - (5 - 2))/((-6)/66)?
True
Let m be -2*((-3 - 1) + 3). Let u(y) = 14*y - 4. Is 12 a factor of u(m)?
True
Let d = 71 + -33. Let a = d - 23. Is a a multiple of 3?
True
Suppose 0 = -35*h + 31*h + 240. Is h a multiple of 60?
True
Suppose -3*c = -0*c - 12. Let d be c/20 + (-14)/(-5). Suppose 41 = 4*r - d. Is r a multiple of 6?
False
Let f(w) = -w**3 + 5*w**2 - w + 7. Is 5 a factor of f(4)?
False
Suppose 66 + 32 = 7*d. Is 5 a factor of d?
False
Suppose 0 = 5*z - f - 79, 0 = -0*z - 4*z - 3*f + 48. Is z a multiple of 15?
True
Suppose -5*l + 72 - 15 = -4*y, -2*y - 48 = -4*l. Is 2 a factor of l?
False
Suppose 3 + 1 = 2*t. Let r(a) = 22 + 0*a + a - a**2 + t. Is 12 a factor of r(0)?
True
Let d be -3 + 11 + -5 + 3. Does 15 divide (-113)/(-4) - d/24?
False
Let f(r) = r**3 - r**2. Let o be f(2). Suppose o*z = 23 + 81. Suppose x + x - z = 0. Is 11 a factor of x?
False
Let p be ((-12)/(-4))/((-3)/(-4)). Is -1 + 2 + 60/p a multiple of 10?
False
Suppose 4*r + 5*p + 3 = 10, 3*p = -4*r + 9. Suppose 0*n = r*n. Suppose n = 3*c - 4*c + 16. Is c a multiple of 8?
True
Let l(x) be the first derivative of -18*x**2 + 2. Let m be l(-1). Is 18 a factor of m/(1 + 1 + -1)?
True
Let s(w) = 9*w**3 + w**2 - 3*w + 2. Is s(1) a multiple of 9?
True
Let n(v) = -5*v**2 - 6 + 10*v - 3*v**2 + 7*v**2. Let k be n(9). Suppose -k*y = 5*d - 43, -5*y = d - 3*d - 82. Is 16 a factor of y?
True
Let b(t) = 57*t + 2. Let z be b(4). Does 18 divide 2/(-12) + z/12?
False
Suppose -4 = -s + 2. Let c(r) be the first derivative of 3*r**2 - 2. Is c(s) a multiple of 18?
True
Let b be (-24)/(-3) + (-5 - -3). Suppose 0 = b*q - 2*q - 8. Does 2 divide q?
True
Let k(t) = 2*t - 5*t + t - 5. Is k(-5) a multiple of 2?
False
Suppose 0 = -3*p + 304 + 92. Suppose 4*a = 2*n + p, 2*a - 5*a - n + 104 = 0. Is a a multiple of 14?
False
Suppose -3*i - z = 8, -5*i + 4*z = -10*i - 18. Does 6 divide i/(-6) + 20/3?
False
Suppose -3*i + 3*o + 16 = -o, 8 = 4*i - 2*o. Suppose 5*r = -i + 15. Suppose 0 = r*k - 4*k - 4, 4*h = 3*k + 84. Is h a multiple of 9?
True
Let l = 3 + -4. Let j be -7*(2/2)/l. Suppose j + 1 = q. Is 8 a factor of q?
True
Let b(q) = q**3 + q. Let u be b(0). Suppose u*n = 5*n - 5. Is 16 a factor of (-3 - n)*(3 - 7)?
True
Suppose -3*r = -2*r - 54. Is 16 a factor of r?
False
Let v = -58 + 160. Let m = v + -56. Does 13 divide m?
False
Suppose 4*x - 328 = 2*w, 3*w - 4*w - 416 = -5*x. Does 19 divide x?
False
Let s(u) = -u**2 + 84. Let k be s(0). Suppose 3*x = -k - 9. Does 11 divide (1 - x)*(-2)/(-4)?
False
Let w = 130 + -28. Suppose 5*k - w = -c, -4*k = -5*c + c - 96. Does 10 divide k?
False
Let s = -7 - -7. Let u be (s + 14)*(0 - -2). Suppose -5*q + 157 = -u. Does 27 divide q?
False
Suppose -2*l + 37 = -l. Suppose f + 13 = 2*c, 2*c = 4*f - c + l. Let g(z) = z**3 + 6*z**2 - 8*z. Is 4 a factor of g(f)?
False
Let f(v) = -4*v + 69. Is f(-23) a multiple of 23?
True
Let f(g) = 6 - 4*g + 2*g + 3*g + 0*g. Suppose -2*a = -4*a. Is 5 a factor of f(a)?
False
Let m = -2 + 4. Suppose -5 = m*r + 5*f, f + 4*f + 45 = 2*r. Is r a multiple of 5?
True
Let w(i) = -i + 7. Let m be w(8). Does 3 divide 3 + (m + 1)*1?
True
Suppose 2*a - 4*l - 141 - 89 = 0, 0 = 2*l. Is a a multiple of 23?
True
Let a = 12 - 5. Suppose 3*t + 3*h = 0, -4*t = h - 4*h + a. Is t + 8 + -2 + -1 even?
True
Suppose 23*y - 120 = 17*y. Is y a multiple of 3?
False
Let x(w) = -w**2 - 2*w - 7. Let t(i) = -6*i**2 - 9*i - 36. Let j(v) = 2*t(v) - 11*x(v). Let b be j(5). Suppose b = 5*u - 3 - 2, 4*u + 20 = 3*r. Does 4 divide r?
True
Let y be (-163)/(-5) - 6/(-15). Suppose -38 = -0*v - 4*v + 2*t, -3*v = 3*t - y. Suppose 5*k - v = 3*k. Is 3 a factor of k?
False
Let y = 167 + -84. Suppose 0 = -4*l + y + 49. Does 8 divide l?
False
Suppose 4*z + 4 = -4. Let d be -1*(z - -2)/(-2). Is 5 a factor of (-2)/(-1) + d + 4?
False
Suppose -36 - 84 = -4*s. Does 10 divide s?
True
Suppose 0 = 4*j - g + 2*g + 140, j - 3*g = -35. Let q = j - -23. Is q*(-1)/1 - 2 a multiple of 10?
True
Suppose -182 = -2*s + 28. Is 5 a factor of s?
True
Suppose -3*f - 2*f - 1 = -x, -2*x = -2. Suppose f = 4*w + 4, -2*g + 0*g - 4*w = -12. Is (-2)/g + 105/4 a multiple of 17?
False
Let j = 111 - 67. Is 9 a factor of j?
False
Let s be ((-9)/(-6))/(3/4). Let o be (2 - s)/2 + 13. Let w = o + -5. Is 4 a factor of w?
True
Let f be 75/(-7) - (-6)/(-21). Let p = 5 + -28. Let k = f - p. Is 12 a factor of k?
True
Let t(c) = c**2 + 5*c - 10. Let l be t(-8). Let n(u) = -2*u. Let x be n(-2). Suppose -b + l = -o + 47, x*o - 116 = -4*b. Is o a multiple of 28?
False
Let v = 28 - -75. Suppose 4*s = v - 31. Is s a multiple of 11?
False
Let b = 13 - 8. Suppose 4*k = b*k - 4. Suppose i = k*i - 36. Is i a multiple of 6?
True
Let a(v) = 16*v**2 + 1. Suppose 0 = -4*m - 15 - 5. Let n = -6 - m. Is 13 a factor of a(n)?
False
Suppose -5*m + 402 = -3*v - 808, -4*m = -4*v - 960. Is 35 a factor of m?
True
Let q = 169 + -113. Is 14 a factor of q?
True
Let i = -11 + 16. Suppose 4*q - 3*v = v - 292, -389 = i*q + 3*v. Let m = -48 - q. Is m a multiple of 14?
True
Suppose 4*d = 3*u - 6, 7*d + 7 = 4*u + 2*d. Is u - -2 - (-36)/2 a multiple of 5?
False
Suppose 0 = 2*f - 6*f + 136. Is 6 a factor of f?
False
Let l(h) = 2*h + 7. Let t = -78 + 114. Suppose 5*p - p = 4*x + t, -5*p + 63 = 4*x. Is 23 a factor of l(p)?
False
Let h be 18*4*(-2)/(-24). Suppose -k = -h*k + 55. Does 8 divide k?
False
Suppose -4*i + 24 = -3*d, 3*i - 4*d = 2*i + 19. Suppose -10 = -4*x + i*f, 2*x + 8 = -0*x - 5*f. Is 20 a factor of ((-18)/(-4))/(x/10)?
False
Let q = -4 - -12. Let k = 22 + q. Is k a multiple of 15?
True
Suppose s + 1 = 6. Suppose 3*l + 2*x = -342, s*l + 572 = x - 5*x. Is 7 a factor of l/(-12)*6/4?
True
Let w(x) = -x**3 - 8*x**2 - 6*x + 10. Let m be w(-7). Let q(o) = 1 - 4 + 1 + 8*o. Is 6 a