3*n**3 - 7*n**2 + 14*n + 6. Let l(x) = -4*x**3 - 6*x**2 + 14*x + 5. Let s(t) = -3*c(t) + 2*l(t). Is s(-10) a multiple of 8?
True
Suppose 9*k + 108 = 15*k. Is k a multiple of 6?
True
Let m(u) = 23*u**2. Let n be m(-1). Suppose -n = -5*v + 37. Is v a multiple of 12?
True
Let h be (-9)/4 + 4/16. Let d be (3/h)/((-1)/2). Suppose -d*j = -0*j - 42. Is j a multiple of 7?
True
Suppose 16 = 4*w + 4*p, -5*w - p - 3 = -43. Is w a multiple of 5?
False
Let f(a) = a**3 - 9*a**2 - 9*a - 11. Let p be f(10). Let m(g) = -3*g - 1. Let c be m(p). Suppose 0*k - 96 = -c*k. Does 19 divide k?
False
Let z(s) = s**2 - 2*s. Does 6 divide z(-4)?
True
Let n = 118 + -13. Does 35 divide n?
True
Let y(q) = 9*q**2 + 2*q - 1. Does 10 divide y(1)?
True
Let u(o) = -o**3 - 10*o**2 + 16*o - 5. Is u(-12) a multiple of 13?
True
Suppose 14 = 5*u - 56. Does 11 divide u?
False
Suppose 2*m - 56 = m - 2*w, -m + w = -68. Suppose -2*h = -5*l - m, 0 = -3*h - 5*l + 4*l + 79. Does 10 divide h?
False
Let f(o) = -2*o**2 + 12*o - 6. Let r be f(8). Let q = 80 + r. Is q a multiple of 14?
True
Let d(w) = w - 9. Let o be d(12). Let s = o + 21. Does 8 divide s?
True
Let o = 8 + 2. Does 4 divide o?
False
Suppose 0 = -2*a - 0*a - 5*n - 16, -1 = -a + 2*n. Let c(l) = -3*l**2 - 16*l - 12. Let u be c(-5). Let f = a - u. Does 2 divide f?
True
Let v = 55 + -29. Is v a multiple of 13?
True
Let j = 118 - -27. Is 12 a factor of j?
False
Let q = 31 - 20. Let a = -4 + q. Is a a multiple of 6?
False
Let o(x) be the second derivative of -x**4/6 + 19*x**2 + 6*x. Is o(0) a multiple of 13?
False
Let v(f) = -3*f + 5. Let l be v(-4). Suppose -13 = -s + 4*s - 5*h, 5*h = 2*s + l. Suppose t = -s*z + 12, -2*t - z - 3*z + 28 = 0. Is t a multiple of 11?
False
Is (-238)/(-3) - (-20)/30 a multiple of 10?
True
Suppose -4*l - 6 - 2 = 0. Let b be 58/18 + l/9. Is 186/8 - b/12 a multiple of 16?
False
Let i = -1 - -4. Suppose -2*r = -i*r. Suppose 3*a + a - 56 = r. Is a a multiple of 5?
False
Let z(m) = -2*m - 3. Let f be z(-3). Suppose -s - 2*j - 2 = f, -5*s + 5*j + 35 = 0. Suppose -4*a + 11 = -s*a. Is 9 a factor of a?
False
Let m(p) be the second derivative of p**4/6 - 4*p**3/3 + 2*p. Let z(l) = -l**2 + 3*l. Let s(y) = -6*m(y) - 17*z(y). Is 14 a factor of s(2)?
True
Suppose 5*a - 103 = -28. Is 4 a factor of a?
False
Let c = 2 - -3. Suppose c*s = -3*h + 21 + 40, 0 = h + 2*s - 22. Is 12 a factor of h?
True
Let i be ((-3)/9)/(1/(-3)). Let v(j) = 8*j**2 - 2*j - 8. Let f(s) = s**3 + s**2 - s - 1. Let p(g) = i*f(g) + v(g). Does 10 divide p(-9)?
False
Let b = 139 + -20. Let x = b - 80. Is 16 a factor of x?
False
Let k = -3 - -2. Suppose 0 = -o + 1. Is 11 a factor of o*k - (-22 - 1)?
True
Let u = -10 - -24. Is u a multiple of 7?
True
Suppose 2*s = 15*s - 858. Does 5 divide s?
False
Let z = -243 - -174. Let q = 114 + z. Is q a multiple of 19?
False
Suppose 3*x + 12 = 0, 3*x = 5*a + x - 193. Let n = -19 + a. Is 9 a factor of n?
True
Suppose 0 = -2*z + 2*r - 2, 4*z + 2*r + 5 = 7*r. Suppose 0 = 5*l - 3*x - 70, 4*x - x = z. Is l a multiple of 13?
False
Let v(w) = w**3 - w**2 + w - 1. Let j(f) = 5*f**3 + 5 - 2*f**3 - 3*f**2 - 2 + 2*f + 1. Let k(n) = j(n) - 2*v(n). Is k(0) a multiple of 6?
True
Suppose -8*u - 1 + 673 = 0. Is 7 a factor of u?
True
Let n = 125 + -72. Let t = 110 - n. Is 13 a factor of t?
False
Suppose 3*y = 4*m - 2*y - 21, -2*y - 6 = -m. Suppose -m*x + 0 = -24. Is 2 a factor of x?
True
Let p = 10 - -4. Is p a multiple of 7?
True
Let m = 16 + -12. Suppose -o = -2*g + 7, g + 7 = -0*o + m*o. Does 5 divide g?
True
Suppose -5*g + 17 = -8. Suppose x = -5*q + 7, -q - 35 = -g*x + 3*q. Is x a multiple of 7?
True
Suppose 0 = 5*j + 2*h - 52, 3*j - h = -4*h + 24. Is j a multiple of 4?
True
Suppose 5*v - 532 + 7 = 0. Is v a multiple of 11?
False
Suppose -y + u = 4*u + 1, -2*u + 6 = 4*y. Suppose s + 7*w + 31 = y*w, 0 = -s + w - 25. Let r = 37 + s. Is 5 a factor of r?
False
Let p(i) = i**3 - 3*i**2 - 2*i - 2. Let c(r) = r. Let d be c(6). Let n(y) = y - 2. Let w be n(d). Is p(w) a multiple of 3?
True
Let t be 4/10*(5 - -5). Is ((-69)/9)/(t/(-12)) a multiple of 15?
False
Suppose 8*g - 140 = 236. Does 7 divide g?
False
Suppose 2 = -5*r - 13. Let k(u) = u**2 + 1. Does 5 divide k(r)?
True
Let v = 89 - 38. Let z = 107 - v. Does 21 divide z?
False
Let j(z) = -2*z. Let p be j(-8). Suppose 0 = -0*w + 4*w - p. Does 17 divide 2 - 10/w*-6?
True
Is (1*-15 + 3)*-4 a multiple of 12?
True
Let t(i) = -9*i**3 - 3*i**2 + 3*i - 3. Let m be t(-3). Suppose -1 = -5*f + m. Suppose -5*r - 5*a = -5, -5*r + 0*a = -4*a - f. Does 5 divide r?
True
Let d be (3 + 2 + -4)*0. Let u = 9 + d. Is u even?
False
Suppose -2*h - 510 = 4*h. Let v = -34 - h. Does 7 divide v?
False
Let o = -6 - 2. Let f be (-2 - -1)/(9 + o). Let r = f - -17. Is 16 a factor of r?
True
Is 8 a factor of 2/(-19) + 16639/133?
False
Let f(k) = -k + 1. Let c be f(1). Suppose c = n + n - 32. Suppose 0 = -x - x + n. Is 8 a factor of x?
True
Suppose -14 = 5*s + 6. Let k be s/(-2) - 3/(-3). Suppose -4*r = -f + 16, -k*r = -4*r - 2. Is f a multiple of 6?
False
Suppose 0 = 4*r + 115 - 631. Is 9 a factor of r?
False
Let g(s) = s**3 + 8*s**2 - 9. Let o be g(-7). Suppose 3*c - 30 - o = -j, 2*j = 2. Is 14 a factor of c?
False
Let u(w) = 7 + 3*w - w**3 + 3*w + 3. Let n(c) = c**3 - 5*c - 9. Let y(r) = -6*n(r) - 5*u(r). Is 2 a factor of y(0)?
True
Let d(z) be the first derivative of z**4/4 + 5*z**3/3 + z**2 - 2*z + 3. Let s be d(-4). Suppose 0 = -4*n + s*n - 22. Is n a multiple of 11?
True
Let j = 78 - 54. Is 24 a factor of j?
True
Suppose -3*v = -2 - 4. Suppose 3*m = -v*m. Suppose m*u - 7 = -u. Does 5 divide u?
False
Let t(s) = -12*s. Let i be 36/(-16) - (-1)/4. Let k be t(i). Suppose 5*r - 33 = -y + 2*y, 0 = -2*r + 4*y + k. Is r a multiple of 4?
False
Let v(d) = -14*d. Let i be v(1). Let s be (2 + i + 1)*-1. Let b = 3 + s. Is 6 a factor of b?
False
Let v be 24/(-10)*40/(-16). Does 11 divide (v/(-4))/((-1)/22)?
True
Suppose l - 6 = -4*l + 3*j, 3*l + 5*j = 24. Suppose l = -3*d + 4*d. Does 2 divide d?
False
Let v(b) = 2*b - 12. Let f(a) be the first derivative of -5*a**2/2 - 2*a - 2. Let o be f(-2). Does 4 divide v(o)?
True
Is 7 a factor of (-4)/(-8)*(-2 - -50)?
False
Suppose -2*a = 11 - 53. Is a a multiple of 4?
False
Suppose 4*x = 4, -2*x + 0*x - 130 = -3*c. Is 3 a factor of c?
False
Suppose -d = 2*h - 43, 2*d = -3*h - 0*h + 66. Suppose 3*y - h - 16 = 0. Is y a multiple of 11?
False
Let v(r) = r**3 + 9*r**2 + 9*r + 10. Let b be v(-8). Let u = 40 - b. Is 19 a factor of u?
True
Is 2*-1*((-193)/(-2))/(-1) a multiple of 31?
False
Let m(r) be the third derivative of -r**5/30 - r**4/4 - r**3/3 - r**2. Let w(y) be the first derivative of m(y). Does 9 divide w(-8)?
False
Let x be (3 - 2)/((-1)/(-2)). Suppose 1 = 5*s - x*b, 4*b = 5*s + b + 1. Is 55 - -1*(s - 3) a multiple of 21?
False
Suppose 6*q - 3*q - 81 = 0. Let j = q - 2. Let f = j - 15. Is 5 a factor of f?
True
Let s be 2 - (1 + -1) - 16. Let q = 8 + s. Let g(k) = 2*k**2 + 9*k + 1. Is 19 a factor of g(q)?
True
Suppose -3*q - 5*u = -2*u + 21, -2*u + 22 = -4*q. Let y = -3 - q. Suppose -30 = -3*h + y. Is h a multiple of 11?
True
Let z = 6 + -2. Suppose 21 = z*u - 51. Does 9 divide u?
True
Let b be (-5)/10 - 6/4. Does 10 divide -5 - -5 - 5*b?
True
Let g be (-2)/(-5)*(62 + -2). Let o = g - 10. Does 7 divide o?
True
Suppose s + 5*k = 5*s - 28, 3*k = -12. Let r(j) = -s*j + 1 + 2 + 0*j - 2. Is r(-3) a multiple of 2?
False
Suppose n - 5*g = 34, 3*g = n - 0*g - 30. Does 12 divide n?
True
Is (-66)/((-2)/(-1 + 4 + 1)) a multiple of 29?
False
Let p be -2 - (-21)/6*2. Suppose -3*r - 14 = -2*l, -2*l = 3*r - 3 + 1. Let m = p + r. Is 2 a factor of m?
False
Suppose 2*u = 7*u - 3*t - 528, -5*u + 4*t + 529 = 0. Is u a multiple of 15?
True
Let h(m) = m + 1. Let r be h(-1). Suppose 2*f - 10 - 34 = r. Let p = 36 - f. Is 5 a factor of p?
False
Let p be 6/4 - 3/2. Suppose p = 4*w - 0*w - 72. Suppose -3*x = o - 1, 13 = 4*o + 3*x - w. Does 6 divide o?
False
Suppose -4*f - 10*l = -9*l - 911, -5*f + 3*l + 1143 = 0. Is 57 a factor of f?
True
Suppose -2*u + 31 = 3*i, -4*i + 21 = 2*u - 19. Is i a multiple of 9?
True
Suppose -3*c - 5 = 4. Let u be c + (4 + -1 - 1). Does 9 divide -10*(u/2 + -3)?
False
Let o(v) = 6*v**3 - 4*v + 4. Is 6 a factor of o(1)?
True
Does 27 divide ((-4)/3)/(2/(-81))?
True
Suppose 4*n