 = 0. Let s = -7 + 11. Suppose l*v + 122 = 4*y, -y - 3*v + 134 = s*y. Does 14 divide y?
True
Suppose -2*v = 1 - 9. Let z = 5 + v. Is 9 a factor of z?
True
Let y be 7 + (-2 - 0) - 2. Suppose -w - 24 = y*w. Does 17 divide 52/2*(-6)/w?
False
Let m = -75 - -30. Let y = 78 + m. Is 11 a factor of y?
True
Let c(s) = 3*s + 12. Is 12 a factor of c(12)?
True
Suppose 4*l + 2*z = -0 + 4, -l - z = 0. Is 3 a factor of ((-3)/9)/(l/(-36))?
True
Let z = -4 + 7. Suppose -2*u - 4*o + 56 = 0, 2*u + 3*o = z*u - 48. Is u a multiple of 15?
False
Does 19 divide (-12)/(-9)*153/6?
False
Let f = 4 + 2. Let m(o) = 13*o + 11. Is 20 a factor of m(f)?
False
Suppose -2*o + 255 = 3*t, -t + 6 = -3*t. Does 11 divide o?
True
Let a be ((-3)/(-6 - -3))/1. Let p = 2 + a. Suppose -p*y = -4*y + 10. Is 10 a factor of y?
True
Suppose 5*g - 2*z = -0*z - 34, -5*z = g - 4. Let l(o) be the first derivative of -o**4/4 - 5*o**3/3 + o**2/2 - 6*o - 3. Does 12 divide l(g)?
True
Let j(y) be the second derivative of -y**5/20 + 5*y**4/12 - y**3/6 - y**2/2 + y. Let l be j(5). Let k = l + 14. Is k a multiple of 4?
True
Let h(t) = -8*t + 10. Let d be h(-7). Let w be (1/2)/((-1)/94). Let g = w + d. Does 12 divide g?
False
Let j(w) = 18*w**2 + w + 1. Suppose -4*t = 20, -5*t + 4*t = -5*m. Let s be j(m). Let h = s - -4. Is h a multiple of 20?
False
Let d(o) = o**3 - 8*o. Does 16 divide d(4)?
True
Let l(a) = -a**3 - 3*a**2 + 2*a + 2. Let z be l(-2). Let b be (96/10)/(z/(-20)). Suppose 3*k - 4*n = -0*k + b, 5*n = -4*k - 9. Is k a multiple of 2?
True
Suppose -n + 3*u + 98 = 0, -7*u = 2*n - 3*u - 186. Is 19 a factor of n?
True
Let d(c) = 2*c**2 - 2*c. Let b be d(2). Suppose -5*k - b*p = -138, 144 = 3*k + 2*k + 2*p. Is k a multiple of 10?
True
Let o(f) = f - 2. Let i be o(4). Suppose i*j - 4*j = -40. Does 10 divide j?
True
Is 8 a factor of (16/(-3) - -1)/(4/(-132))?
False
Let o(t) = -t**3 + 7*t**2 - 4*t - 3. Let i be o(6). Suppose -7*c + 2*c + i = 2*r, 5*c + 42 = r. Is 5 a factor of r?
False
Let u(i) = i**3 - i**2 + i - 2. Let x be u(2). Suppose x*q = 5*j + 29, 0*q + q = 5*j + 11. Does 6 divide q?
True
Suppose -2*j - 4 + 2 = 0, -35 = -3*b - 4*j. Does 3 divide b?
False
Let i(c) = -c**3 - 4*c**2 + 6*c + 7. Let y be i(-5). Suppose v - 94 = -2*w + y*v, w - 41 = 2*v. Is 12 a factor of w?
False
Suppose 0 = 3*t - 9, -2*t = -2*j + 6 - 20. Let k = -3 - j. Is k/(-3) - (-74)/6 a multiple of 12?
True
Suppose 0 = -2*o - 3*u + 85, 4*u - 56 = 4*o - 176. Suppose -a = -o + 4. Is 28 a factor of a?
False
Let l(j) = -j**3 + 3*j**2 + 3*j + 4. Let n be (-6)/1 - 28/(-7). Does 6 divide l(n)?
True
Suppose -5*c = -3*u + 181, 1 = c + 3. Suppose 0 = -5*b - y + 134, y - u = -3*b + 23. Let a = -17 + b. Does 7 divide a?
False
Suppose 3*o + 3*n = -12, -2*n - 8 = o + 3*o. Suppose -3*f = -3*j - o*j, 0 = -2*f + 5*j + 15. Is (f - -4) + (19 - 1) a multiple of 17?
True
Let b = 19 + -2. Is b a multiple of 17?
True
Let w(m) = m**2 + 3*m - 7. Let b be w(-6). Let c = b + 1. Does 12 divide c?
True
Let m(n) be the first derivative of -43*n**2/2 + 2*n + 9. Is m(-1) a multiple of 12?
False
Let j = 4 + 0. Suppose -4 = -2*n + j. Does 4 divide n?
True
Suppose 3*r = 6 - 0. Let b = 17 + r. Does 8 divide b?
False
Let g = 119 + -76. Is g a multiple of 17?
False
Let c = 39 + -25. Let m = -10 + c. Is 3 a factor of (m/(-6))/((-3)/18)?
False
Let r(u) = -22*u**3 - 3*u**2 - 2*u - 3. Does 13 divide r(-2)?
False
Let h = -8 - -6. Let a be (-59)/h - 3/(-6). Let c = 44 - a. Does 14 divide c?
True
Let a be 3 - (7 + -4)*-1. Suppose 0 = 10*r - a*r - 76. Does 9 divide r?
False
Let h(j) = j**3 + 5*j**2 + 6*j - 2. Let s be h(-3). Does 4 divide (8/s)/(1/(-4))?
True
Suppose 0 = -5*s + 2*w + 222, -4*s + 56 = 2*w - 118. Does 22 divide s?
True
Let d be (-14)/(-14)*(1 + 3). Suppose -d*n + 40 = -20. Is 3 a factor of n?
True
Suppose 3*a - 2*q = -7*q + 1210, -5*a + 2020 = 5*q. Is 54 a factor of a?
False
Let r = 516 + -351. Is 14 a factor of r?
False
Let d = -2 + 7. Suppose -5*k - 15 = -d*m, -2*m + 30 = 2*k + 2*k. Is m a multiple of 3?
False
Let m be 10/25 - 1294/10. Let k = m + 261. Suppose k - 2 = 5*x. Is 12 a factor of x?
False
Let p(y) = 2*y**2 + 8. Is p(4) a multiple of 5?
True
Let x(p) be the second derivative of 3*p + 0 - 7/6*p**3 - p**2. Is 20 a factor of x(-6)?
True
Let k = -16 + 7. Let c = -3 - k. Suppose -c*p + 5*p = r - 14, 5*r = -5. Does 15 divide p?
True
Suppose v - 3*j + 2 = 0, 0 = -v - j + 13 - 3. Suppose -4*w - 27 = -v, 2*w = -2*q + 190. Suppose 5*i = 9*i - q. Is i a multiple of 14?
False
Let y(f) = -13*f - 4. Let u(x) = 8*x**2 - x - 1. Let w be u(-1). Let m = w + -11. Is 13 a factor of y(m)?
False
Let c(k) = 4*k**2 - 5*k - 3. Is 14 a factor of c(4)?
False
Suppose f = 2*f - 3. Let y = 3 - f. Suppose 4*d + d - 25 = y. Is 2 a factor of d?
False
Let m be -1 - (3 - (1 - -18)). Let h = -8 + m. Is h a multiple of 3?
False
Let b(h) = h**3 - 15*h**2 + 2*h + 19. Is b(15) a multiple of 7?
True
Suppose 0*q = 7*q - 427. Is 15 a factor of q?
False
Let v = -16 + 16. Let c = 6 - v. Is c a multiple of 3?
True
Suppose 0*p + 12 = 3*p. Let h(u) = 2*u + 3*u + 1 - 5*u**2 + p + u**3. Does 19 divide h(5)?
False
Suppose 9 = 3*f, 0*d = 2*d + 5*f - 23. Suppose -4*s + 0*g - g = -31, -4*s - d*g + 28 = 0. Does 3 divide s?
False
Let y(j) = -j**2 + 8*j + 4. Let f be y(8). Suppose -f*o = -o - 99. Does 11 divide o?
True
Let b(r) = -r**2 - 5*r - 1. Let i be b(-4). Suppose 4*z = 3*w - 3, 4*w - 4*z - 5 = i. Suppose -w*j = -3*j - 26. Is 13 a factor of j?
True
Let l = -19 - -35. Does 16 divide l?
True
Let u(v) be the second derivative of 7*v**3/3 - 3*v**2/2 - 2*v. Let c be u(4). Let m = c + -31. Is 11 a factor of m?
True
Let p = -80 - -197. Is p a multiple of 9?
True
Let r(l) = -l**3 + 5*l**2 - l. Let f be r(5). Let g be f/4 - 6/(-24). Let s = 26 + g. Is 9 a factor of s?
False
Let u be (-19)/(-4) + 1/4. Suppose -5*w + 45 = u*r, -4*w + 5*r = -2*w - 25. Suppose -w*y - 48 = -14*y. Does 4 divide y?
True
Let n be 0*2/(-12)*-3. Suppose n = -2*k + 7*k + 120. Let h = k - -42. Is 14 a factor of h?
False
Suppose -3 = 3*c + 4*o + 3, -2*c - 5*o + 3 = 0. Let i(k) = -3*k - 8. Let n be i(c). Let l = 2 + n. Is 8 a factor of l?
False
Let d = 322 + -190. Is d a multiple of 22?
True
Let c = -135 + 229. Let w = -61 + c. Does 13 divide w?
False
Let i = 73 - 17. Is i a multiple of 7?
True
Let n(g) = -6*g - 3. Let j be n(2). Let z = -5 - j. Is z a multiple of 3?
False
Let u = -13 - -9. Does 29 divide u + (-100)/8*-6?
False
Let q(c) = 9*c**2 - 5*c - 1. Is 41 a factor of q(4)?
True
Suppose -2*w + 4*w - 4 = 0. Let u(q) = -9*q**3 - 11*q**2 - 9*q + 7. Let m(n) = -4*n**3 - 5*n**2 - 4*n + 3. Let f(t) = -7*m(t) + 3*u(t). Does 9 divide f(w)?
True
Is 4/6 - (-280)/12 a multiple of 6?
True
Let y = 21 - -39. Is y a multiple of 15?
True
Suppose 2*g - 15 = f + 4*f, 5*g - 15 = 5*f. Let m be (g - 21) + 4/(-2). Let n = m - -38. Is n a multiple of 9?
False
Let s(f) = f**3 + 7*f**2 - f - 7. Let u be s(-7). Suppose 0 = -u*j - 5*j + 45. Let t = -1 + j. Does 3 divide t?
False
Suppose 0 = 2*j - 5*f - 21, 5*f - 6 - 21 = -4*j. Suppose -4*b + j*b = 60. Is 15 a factor of b?
True
Let g = 514 + -335. Is g a multiple of 37?
False
Suppose -3*z = 3*u - 207, -2*u + 70 = z - 3. Suppose -c + z = 5*p - 5*c, 2*c - 8 = -2*p. Let s(r) = r**3 - 8*r**2 - 7*r - 2. Is s(p) a multiple of 16?
True
Suppose -4*g - 2940 = -11*g. Does 53 divide g?
False
Let l(w) = -5*w - 10. Is l(-9) a multiple of 27?
False
Let u(v) = v + 2. Let s be u(-6). Let l(h) = -37*h + 4. Let y be l(s). Suppose y = 4*x - 56. Is 19 a factor of x?
False
Does 22 divide 2*(1 + 213/6)?
False
Suppose 47 = 5*z - 13. Let u = 20 - z. Does 8 divide u?
True
Suppose 0 = 2*a + 10, 6*p - 2*p + 4*a - 300 = 0. Is 10 a factor of p?
True
Let v be (-7)/(-3) + 16/24. Suppose -t + 6 = 3*w, v*t - 2*t - 14 = -w. Is 9 a factor of t?
True
Let n = 2 + 0. Suppose 2*h = -2*b + 8, -h + 1 = -n*h + 4*b. Is h a multiple of 3?
True
Let s(y) = -y**3 + y**2 - y. Let j(x) = -6*x**2 - 2*x + 6. Let r(z) = -j(z) + s(z). Is 18 a factor of r(6)?
True
Let o = -3 - -4. Let k(z) = 49*z. Is 21 a factor of k(o)?
False
Suppose 11 = 3*b - 10. Let p = -5 + b. Is (23 - 1) + p*-1 a multiple of 12?
False
Let u = -1 - -1. Let p = u + 4. Let c = 8 + p. Is c a multiple of 6?
True
Let w = 72 + -18. Suppose 4*f + w = 2*a, 63 = 4*a - f - 10. Is 11 a factor o