 -n**2 - 11*n - 6. Suppose 0 = -3*j - 0 - 18. Is w(j) a multiple of 12?
True
Let x(s) = 9*s - 17. Is 15 a factor of x(7)?
False
Let t(c) = c**2 - 2*c + 2. Let r be t(2). Suppose -4*w = -2*i - 12, r*i = 5*w - 3*i - 10. Suppose -15 = -w*z + 17. Does 8 divide z?
True
Suppose -15 = -0*p + 5*p. Let h = p + 5. Suppose -7 = -l + 4*c, 5 - 19 = -h*l + c. Does 3 divide l?
False
Let z be (-1 + (-9)/(-6))*0. Suppose 0 = -2*k - 5*a + 44, z*a - 77 = -3*k - 2*a. Does 14 divide k?
False
Let p(i) = 4*i**2 + 5*i + 17. Let v(n) = 2*n**2 + 2*n + 8. Let b(s) = -3*p(s) + 7*v(s). Does 17 divide b(4)?
False
Suppose -13 = -4*s - 41. Let d = 11 + s. Does 4 divide d?
True
Let r be ((16 - 2) + -2)/1. Suppose 0 - r = -4*v. Suppose 0 = 4*d - 4*p - 56, -v*d + 42 = -3*p - p. Is d a multiple of 13?
False
Let x be (2/(-5))/(3/(-30)). Let w(a) = -2*a + x*a + 2 - 14. Is 4 a factor of w(8)?
True
Let n(a) be the second derivative of a**6/120 + 7*a**5/60 - a**4/6 - 5*a**3/6 + a**2 + 2*a. Let u(z) be the first derivative of n(z). Does 14 divide u(-7)?
False
Let w(u) = -4*u - 10. Let k = -13 + 8. Is w(k) a multiple of 10?
True
Suppose -7*w = -5*w - 28. Is w a multiple of 7?
True
Let n = -183 + 258. Suppose -b - 37 = -2*b + 4*c, 0 = 5*b + 2*c - n. Is 10 a factor of b?
False
Suppose -4*q - 130 = -2*k, -q + 3*q - 155 = -3*k. Is 11 a factor of k?
True
Let l = -13 + 6. Let z(t) be the second derivative of -t**3/6 - t**2/2 - 2*t. Is 6 a factor of z(l)?
True
Let t(w) = 3*w - 25. Is t(17) a multiple of 26?
True
Let t = 2 - -2. Suppose -t*u = -4*y + 92 - 8, 4*y = u + 78. Is y a multiple of 10?
False
Let v = 17 + -23. Is 597/9 + 2/v a multiple of 22?
True
Suppose -4*z = -4 - 8. Suppose 5*i = z*b - 284, 0*i - 84 = -b - i. Is (-1)/(-3 + b/30) a multiple of 8?
False
Suppose 6 = q + 5*b, 3*q - q = 3*b + 38. Does 8 divide q?
True
Let y be (1 - (-2 + 2)) + 3. Suppose -g - y*g + 25 = 0. Is g a multiple of 5?
True
Suppose 0 = -0*a + 5*a - 25. Let f = a - 2. Is f even?
False
Let m(u) = -u**2 + 6*u - 2. Let g be m(6). Let n be (g - 1)*(-1 - 0). Suppose 0 = 4*b + 2*d - 12, -n*d + 15 = 5*b + 2. Is 2 a factor of b?
False
Suppose -5*a - 2777 = -i, 4*a + 2*i = -2*i - 2236. Let g be (-2)/(-7) - a/14. Suppose -4*s - 16 + g = 0. Is s a multiple of 5?
False
Let a be (-1)/2*2 - -4. Let n(r) = r**3 - 6*r**2 + 3*r + 1. Let l be n(3). Does 9 divide 0/a - (l - 1)?
True
Let b(w) = w**2 + 4. Let s be b(0). Let z be (s + -26)/(0 - -1). Let m = 18 - z. Does 20 divide m?
True
Suppose 4*l + 7 = -9, 0 = -4*k - 2*l + 12. Let v = -6 + 8. Suppose 0 = -2*r + v*a + 30, -r + k*a + 26 - 7 = 0. Is r a multiple of 14?
True
Let g(f) = f**3 + 11*f**2 - 6*f + 10. Let a be g(-9). Suppose o = -4*o - 4*v + a, 0 = 4*o - 3*v - 187. Is 15 a factor of o?
False
Let b(z) = z**2 + 5*z - 1. Let y be b(-4). Let d(j) = -2*j + 1 + 3*j - 3*j. Is d(y) a multiple of 6?
False
Let d(w) = -w**3 + 5*w**2 - 3*w + 2. Is d(3) a multiple of 6?
False
Let q = -31 - -63. Suppose -3*b + q = -2*b. Suppose 0 = 3*n + 12, 0*s - 4*n = 2*s - b. Is s a multiple of 12?
True
Suppose -2*x + 4*x + 16 = 0. Does 9 divide -2 - (x + -2)*2?
True
Let v be (-6)/(3/((-9)/3)). Let s be v*2/(4 - 0). Suppose 6 = -s*u, 0 = n - u + 7 - 21. Is 12 a factor of n?
True
Suppose -4*c + 0*z + 115 = z, -c = -5*z - 13. Does 28 divide c?
True
Let g(r) = -r**2 - 5*r - 1. Let c be g(-4). Suppose w + 5*n = -2*w + 158, -5*n = -w + 66. Suppose k - w = c*p, k + 25 - 82 = 4*p. Is 18 a factor of k?
False
Suppose -5*p + 159 = 4*b, 3*p + 2*p = -2*b + 87. Suppose 4*x - 28 = 3*r, -5*x + 5*r - 6 = -b. Is 4 a factor of x?
False
Let i = -4 + 7. Suppose 5*d - 72 = 3. Suppose 0*k - d = -i*k. Is k a multiple of 4?
False
Suppose -t + y + 5 = -2*t, 0 = -3*t + 2*y + 10. Suppose t = 2*o - 4 - 2. Is 2 a factor of o?
False
Suppose -2*u = l - 2, -4*u - 4 - 4 = 0. Suppose -l*o + o = -285. Is o a multiple of 17?
False
Let k = -36 + 271. Is k a multiple of 22?
False
Let c = -1 - -3. Suppose c*m + 32 = 10. Let i = m + 21. Is 10 a factor of i?
True
Let z = -2 - -4. Suppose 0 = z*h - 3*h + 22. Is 11 a factor of h?
True
Let s = 37 - 78. Let r = s + 71. Does 15 divide r?
True
Let h be ((-8)/10)/(2/25). Let k be 4/(-10) - 74/h. Suppose -o - 4*s = -26, k*o - 69 = 4*o - 3*s. Is 11 a factor of o?
True
Suppose 8*x = 3*x + 30. Let b(s) = -s**3 + 8*s**2 - 2*s - s**3 - 3 + s**3. Does 19 divide b(x)?
True
Let o(v) = v**2 + 5*v - 1. Does 6 divide o(3)?
False
Let z(s) = -32*s - 6. Let a(d) = 11*d + 2. Let y(f) = -11*a(f) - 4*z(f). Let b be y(5). Let v = 53 - b. Is v a multiple of 8?
True
Let p(s) = -7*s**3 - 13*s**2 - 3*s + 7. Let u(a) = 6*a**3 + 13*a**2 + 3*a - 6. Let h(c) = -5*p(c) - 6*u(c). Is 20 a factor of h(-13)?
True
Suppose 5*v = -4*x + 363, -v + x - 3*x = -75. Does 23 divide v?
False
Let j = 17 - 7. Let s(q) = q**2 - 8*q - 2. Is 7 a factor of s(j)?
False
Let x = -65 - -145. Does 20 divide x?
True
Let t = -2 - -5. Suppose -2*h = -t*h + 5*x + 11, 3*h - 123 = -3*x. Does 18 divide h?
True
Let o = -2 + 28. Is 18 a factor of o?
False
Suppose 2*z - u = -5, 0*u - 2 = 2*z - 2*u. Is 23 a factor of 6*2/z - -26?
True
Suppose -v - 5*s = -17 - 26, -3*v = 5*s - 179. Suppose 5*z + v - 193 = 0. Is 9 a factor of z?
False
Let q(l) = l**2 - 7*l - 2. Let z be q(10). Suppose 2*v - 44 - z = 0. Is v a multiple of 9?
True
Suppose 2*v = -4*c - 10, 3*c = -2*v - v - 3. Suppose -b = 9 - v. Is 11 a factor of (-1 - 25)*3/b?
False
Let b(w) = 1. Let f(s) = 33*s - 5. Let o(t) = -4*b(t) - f(t). Is o(-1) a multiple of 26?
False
Let m(y) = 2*y + 5. Let p be m(-4). Is (-15)/9*(-9 - p) a multiple of 5?
True
Let h(k) be the third derivative of k**5/60 - 3*k**4/8 + 7*k**3/3 - 2*k**2. Does 14 divide h(10)?
False
Let a(y) = 2*y**3 - 4*y**2 + 3*y - 2. Let o be a(2). Suppose 48 = o*r + 2*u, -48 = -0*r - 4*r + 3*u. Does 5 divide r?
False
Let m be 0/(2/(-1) - -3). Suppose c - 2 + 1 = m. Does 17 divide c/(-2) - 392/(-16)?
False
Let u = 10 - 8. Suppose 5*y + 4*l - 4 = 35, -y + u*l = -5. Is y a multiple of 7?
True
Let j = 11 - 18. Let b = 5 + j. Does 11 divide (-8)/16 + (-87)/b?
False
Let h(r) = r - 5. Let d be h(9). Suppose -5*q + d*f + 4 = 0, -3*f + f - 2 = -3*q. Suppose 2*i + 3*v - 73 = q, 3*v - v - 107 = -3*i. Is i a multiple of 14?
False
Let j(q) = q**2 + 3*q + 16. Does 13 divide j(8)?
True
Let y(b) = b - 12. Let p(r) = -3*r + 24. Let m(k) = -6*p(k) - 13*y(k). Does 7 divide m(5)?
False
Let c be (-4)/(-2 - -4) - -13. Suppose -c = -2*l + 2*w + 7, 3*w - 21 = -5*l. Let g = 0 + l. Is g a multiple of 3?
True
Let v be 2*((-15)/(-2))/3. Suppose 2*f - 135 = -3*f - v*n, 2*f = 4*n + 42. Is 11 a factor of f?
False
Suppose -12*g = -5*g - 903. Is 43 a factor of g?
True
Let y be 2 + 1/(1/3). Suppose -123 = -3*f - m, 0 = -y*f - m + 3*m + 216. Is f a multiple of 14?
True
Let v(y) = -y**3 - 3*y**2 - y + 1. Let m be v(-3). Suppose o - 6 = -r + 7, m*r - 3*o - 66 = 0. Is 7 a factor of r?
False
Is 72*(6/9 + 0/(-1)) a multiple of 8?
True
Suppose -30 = -5*g + 4*m, 4*g - 4*m - 45 = -5*m. Let s be 3 + -2 - (0 - 1). Suppose -s*q + g = -54. Is 14 a factor of q?
False
Let h(d) = d**2 - d. Let y be (-6)/3 - (1 + 0). Let f be h(y). Let w = f - 5. Is 3 a factor of w?
False
Is 2 - 4/(-2)*13 a multiple of 10?
False
Let f = 43 - 29. Let t = f - -22. Is 12 a factor of t?
True
Let h(u) = -u**2 + 9*u + 8. Let a be h(8). Suppose 4*c = -2*t + a, 3*c = -3*t + 2 + 13. Suppose -d - 2*d = -4*b + 123, 5*d - 56 = -c*b. Does 11 divide b?
False
Suppose -104 = -5*p + 91. Is 25 a factor of p?
False
Suppose 4*a + a - 45 = 0. Is a a multiple of 9?
True
Suppose 5*b = 3*b + 46. Is 11 a factor of b?
False
Let i(c) = c + 7. Let r be i(0). Suppose 0 = -2*b - r + 3, -3*s = 4*b - 136. Does 12 divide s?
True
Is 19 a factor of (-3)/24*-2 - (-2337)/12?
False
Let s = 26 + -3. Is 5 a factor of s?
False
Let a(k) = 9*k. Suppose -4*v - g + 14 = 0, 3*g = 4*v - 2*g - 26. Is 18 a factor of a(v)?
True
Suppose 2*r = 2*q - 0*q + 22, 3*r = 4*q + 33. Is r a multiple of 5?
False
Let p = 79 + -39. Is 10 a factor of p?
True
Does 20 divide 180 - (-8 - 12/(-3))?
False
Suppose -2*v - 14 = -p, -p - 3*p + 78 = 3*v. Let l = 4 + p. Is 10 a factor of l?
False
Let z be 14/(-3*4/(-6)). Suppose -3*h - 16 = -z*h. Is h a multiple of 3?
False
Suppose 2*u - 10 = 24. Does 7 divide u?
False
Suppose -2*n = j + 26, -2*j + 3*n - n - 64 = 0. Is 7 a factor of (21/(-4))