e -u + 2*g + 11 - 3 = 0, 2*u = -2*g + 4. Is 15 a factor of -33*1/(u/(-4))?
False
Let h(m) be the second derivative of -m**5/20 + m**4/3 + 7*m**3/6 - m**2/2 - 6*m. Is h(5) a multiple of 7?
False
Suppose 24 = 5*y - 11. Is 7 a factor of y?
True
Let j(d) be the third derivative of -17*d**7/2520 + d**5/60 + d**2. Let u(x) be the third derivative of j(x). Does 17 divide u(-1)?
True
Let l(c) = -10 + 2 - 7*c**2 - 2*c - c**3 + 2. Is l(-7) a multiple of 6?
False
Suppose 5*f - x - 262 = 0, -10*x + 8*x - 153 = -3*f. Does 2 divide f?
False
Let x(q) = -q - 37. Let n be x(0). Let c = n - -21. Let h = c + 34. Is 9 a factor of h?
True
Suppose 0 = x + 5*w - 4, 4*w - 3 = 5*w. Does 19 divide x?
True
Let j(w) = -6*w - 33. Is 9 a factor of j(-10)?
True
Suppose -6*s + 2*s = -4*v + 8, 0 = 2*v + 5*s + 3. Let m be (v - 1)/((-3)/(-3)). Suppose -3*p - p + 40 = m. Is p a multiple of 8?
False
Suppose 1 - 2 = c. Is 16 a factor of 2 - c/(2/60)?
True
Suppose j - 108 + 4 = 0. Suppose 5*w - j = w. Suppose -3*f + 128 = w. Is f a multiple of 17?
True
Suppose -70 = -5*b - 180. Let p = b + 34. Is p a multiple of 6?
True
Let w = 10 - 8. Suppose -w*h - 4*m + 74 = 16, -3*h - 2*m = -71. Is h a multiple of 13?
False
Let a = 92 + -29. Does 7 divide a?
True
Suppose 460 = 5*n + 3*t + 2*t, t - 377 = -4*n. Suppose -5*u - x = -95, -5*u + x = -x - n. Is u a multiple of 17?
False
Let i(v) = -2*v**3 - 2. Let g(x) = -x**2 + 5*x - 6. Let z be g(4). Is i(z) a multiple of 14?
True
Let h(f) = -7*f + 49. Is 10 a factor of h(-13)?
True
Let m(d) = -2*d - 7. Let i(j) = -j - 3. Let k(n) = -13*i(n) + 6*m(n). Let r be k(5). Does 14 divide -2 + 29 + r - 1?
True
Let h = 8 - -1. Suppose 151 = 4*l - h. Suppose -3*u - r = -37, -4*r - l = 5*u - 111. Is 4 a factor of u?
False
Let z(l) = l**2 - 3*l + 4. Does 10 divide z(-5)?
False
Let h(q) = -q**3 + 4*q**2 + 5*q. Let u be h(5). Let t(s) = -s**3 - s**2 - s + 23. Does 10 divide t(u)?
False
Does 17 divide (104/(-12))/(2/(-9))?
False
Suppose 230 = 2*n + 3*n. Is 13 a factor of n?
False
Is 5/20 + (1845/12)/5 a multiple of 3?
False
Let v(f) = 60*f**3 - 1. Let n be v(1). Suppose -18 + 79 = 3*z - 4*h, -4*h = 5*z - n. Is 8 a factor of z?
False
Let q(g) = 3*g**2 - g + 5. Is 13 a factor of q(-6)?
False
Let d(f) = -f**3 - 5*f**2 - f - 3. Let w(a) = -47*a + 1. Let j be w(-1). Let g be (2/4)/((-4)/j). Does 19 divide d(g)?
False
Let w = 4 + 25. Does 12 divide w?
False
Let v be 2/(-7) - (-368)/14. Let l = 9 + v. Does 7 divide l?
True
Suppose -5*s + 5*u = 70, s + 12 = -2*u + 1. Let r = s + 25. Is 6 a factor of r?
True
Let w(o) = 2*o**3 - 3*o**2 + o - 1. Let g be w(2). Suppose g*f - 17 = -2. Suppose f*h - 3 = 4*v - 98, 5*v - h - 116 = 0. Is 10 a factor of v?
False
Let x(p) = -51*p + 4. Is x(-4) a multiple of 52?
True
Suppose -3*k + 4*k + 6 = -2*g, -4*g = -3*k + 12. Suppose 5*h + 5*v = 160, -4*h + 2*v + 107 - 9 = k. Is 13 a factor of h?
False
Suppose 0*r - 25 = -5*r - u, 0 = 2*r - u - 10. Suppose r*w + x - 72 = 0, 5*w + 0*w - 78 = x. Suppose 2*d = 3*z - w - 15, 5*d = z - 10. Is 5 a factor of z?
True
Let p(s) = -s**3 + 5*s**2 - s + 4. Let i be p(5). Let u(y) = -1 - 6*y - 14*y - 22*y. Is u(i) a multiple of 13?
False
Let m be 1 + (-1)/1 + 2. Let u be -4*(2 + (-31)/m). Suppose 0 = t - 4*t + u. Is 9 a factor of t?
True
Let u = -34 + 89. Does 8 divide u?
False
Let z(f) be the second derivative of 2*f**3/3 + f**2/2 + 5*f. Does 13 divide z(6)?
False
Let o(k) = k**2 + 4*k - 2. Let i be o(-4). Let b be 140/50 + 1/5. Is b/6*i*-15 a multiple of 5?
True
Is 4 a factor of (60 + -10)/(1 + 1)?
False
Suppose 2*v + 2*v + 152 = 0. Let d = v - -89. Is d a multiple of 18?
False
Suppose -4*q + 18 = -2*h - 0*h, -20 = -4*q. Let n(f) = 7*f**3 + 2*f - 1. Is 2 a factor of n(h)?
True
Let z = 278 + -166. Is z a multiple of 12?
False
Let f = 14 + -14. Suppose -k = -4*g + 3*k + 100, f = -2*g - 2*k + 46. Is 9 a factor of g?
False
Let w = 5 + -1. Suppose w*n - 68 + 20 = 0. Is 11 a factor of n?
False
Suppose -4*h + 3*h + 84 = 0. Suppose 4*t - 252 + h = 0. Does 16 divide t?
False
Let b be -8 + 0 + -1 + 1. Is 5 a factor of (b + 3)/(-2 - -1)?
True
Suppose 0 = l - 2*u - 4 - 17, 2*l + 5*u = 60. Does 7 divide l?
False
Let i(x) = 2*x - 10. Does 2 divide i(6)?
True
Suppose -101 - 99 = -5*m. Is 20 a factor of m?
True
Let x = 45 + -166. Let k = 175 + x. Does 18 divide k?
True
Suppose 14*d - 152 = -4*u + 9*d, 0 = 3*u + 4*d - 113. Does 4 divide u?
False
Let a be (-1)/(-1) + (-3 - -2). Suppose 5*h = -a*h. Does 2 divide (-3 + 5)*(h + 1)?
True
Let m = -3 - 0. Let x = 16 + m. Suppose 2*j - 37 + x = 0. Is 7 a factor of j?
False
Suppose 3*z - 2*s - 3*s = -19, -4*s = -4*z - 12. Is (-392)/(-32) - z/8 a multiple of 6?
True
Let g be (8/(-6))/(1/24). Let q = -22 - g. Is q a multiple of 10?
True
Let p = -3 + 5. Suppose 22 = 3*i - p*i. Suppose -l = 8 - i. Is 7 a factor of l?
True
Suppose -6 = -o + 19. Let t = o + -4. Does 15 divide t?
False
Let v be (1 + -2)*(-1 + -2). Let s = v + 5. Is s a multiple of 4?
True
Let k(b) = 24*b**3 + 2*b - 1. Let x be k(1). Let n = x + -15. Is 2 a factor of n?
True
Suppose 0 = -4*k - 2*u + 62, k - 5*k - u = -65. Is 4 a factor of k?
False
Let g = 28 - 0. Suppose -o = -5*o + g. Is 3 a factor of o?
False
Suppose 14*t - 1970 = 4*t. Does 31 divide t?
False
Let w be 3/((-9)/726) - 0. Does 7 divide (-6)/21 - w/14?
False
Let t be 2/7 - (-8)/(-28). Suppose b = -3*b + 48. Let n = b + t. Is n a multiple of 12?
True
Let m(p) = -3 + 2 - 4*p + 3*p - 3*p. Is 10 a factor of m(-8)?
False
Let f(w) = -w**2 - 2*w + 6. Let x be f(-6). Let r = 1 + -7. Let o = r - x. Is 6 a factor of o?
True
Let o = 5 - 9. Let k = -2 - o. Suppose -k*p - 40 = -4*p. Is 8 a factor of p?
False
Let g(u) = 3*u**2 + 2*u + 4. Suppose 3*h - 5*p + 29 = 0, 17 = -3*h + p + p. Does 19 divide g(h)?
False
Suppose 225 + 40 = 5*r. Does 23 divide r?
False
Let k(r) = -r + 52. Let g be 1 - (0/2 - -1). Let a be k(g). Suppose -48 - a = -5*b. Does 12 divide b?
False
Let l = 45 + 60. Suppose -4*q + l = 33. Is q a multiple of 6?
True
Let b = -7 - -11. Let q be (b/5)/((-6)/(-15)). Does 17 divide ((-145)/10)/(q/(-4))?
False
Suppose 0 = 5*y + 7*m - 2*m - 340, 5*y - 324 = -m. Suppose -c = -5*c + y. Is c a multiple of 13?
False
Let k(t) = -2*t - 12. Let f be k(-8). Suppose 5*p - 10 = -f*j, 4*j + j + 37 = 2*p. Is 4/p*(-87)/(-2) a multiple of 11?
False
Let t(n) = -n**2. Let q(j) = 5*j**2 + 9*j + 13. Let d(x) = -q(x) - 6*t(x). Let p(c) = -c**3 + 6*c**2 - 2*c - 1. Let f be p(2). Does 3 divide d(f)?
True
Let p(n) = -n**3 - 2*n**2 + 4*n - 4. Suppose 5*r = 2*q - 23, -2 = -r + 2*q - 5. Is 17 a factor of p(r)?
True
Let p(u) = -3*u - 5. Let o be p(-5). Suppose -2*t - 10 = 5*c, 2*c + o = 4*c - 2*t. Suppose c*d + 23 = d. Is d a multiple of 6?
False
Suppose 2*x + 6 + 2 = 0. Let i(k) = -k**3 - 4*k + 4. Is i(x) a multiple of 28?
True
Let d = 29 - 18. Let c(a) = -a. Let q be c(-4). Suppose 57 + d = 2*n + q*h, 0 = 2*n - 2*h - 74. Is n a multiple of 14?
False
Suppose 3*w - 10 - 4 = j, j + 3*w - 4 = 0. Let x(q) = 2*q**2 - 6*q + 7. Let s(l) = 3*l**2 - 12*l + 14. Let h(p) = 3*s(p) - 5*x(p). Does 9 divide h(j)?
False
Let m be 3 - (0 - (-1 - -1)). Let b be 44/55*(-135)/(-2). Suppose 2*y = -m*r - y + b, 0 = -5*r + 2*y + 90. Is r a multiple of 9?
True
Let k = 23 + -6. Is 2 a factor of k?
False
Let j = -2 - -1. Is 13 a factor of 19/(-1 - j - -1)?
False
Let b(q) = q**2 - 6*q - 2. Suppose -n - 3*n = -28. Let a be b(n). Suppose 2*h = -a*r + 10, 2*r - 2*h + 5*h = -7. Is 4 a factor of r?
True
Let d(q) = 1 - 4*q + 2*q**2 - q**2 - 2*q**2. Let p be d(-4). Let o = 5 + p. Is 3 a factor of o?
True
Suppose 0 = y - 0*y - 24. Is y a multiple of 8?
True
Let q(r) = -r + 4. Let w be q(5). Let p be (1 + 0)*w + 4. Does 20 divide p/(-9) + 122/6?
True
Suppose -2*f = -f. Suppose -4*v + 9*v - 80 = f. Is 14 a factor of v?
False
Let k = -3 + 7. Suppose -88 = -3*c - 4*v + 20, -k*c + 151 = 3*v. Suppose c = 3*a + a. Does 10 divide a?
True
Let w(h) = h**3 - 5*h**2 - 4*h - 7. Let p be w(6). Suppose -p*s = -0*s. Suppose 3*a - 5*y - 17 = -0*y, a - y - 7 = s. Does 4 divide a?
False
Suppose 3*i - i + u = 8, 0 = u - 4. Let c = -1 + 3. Suppose -3*l + 58 = b, -c*l - i*b + 36 = -0*b. Is l a multiple of 10?
True
Suppose -2*n + 5*n + 3 = 0. Let i(h) = -2*h + 1. Is i(n) a multiple of 2?
False
Let k(r) = r**3 - 5*r**2 - 11*r + 9. Let m(i) be t