6?
True
Is 4 a factor of (-6)/14 - (-1980)/63?
False
Let w be -2 - (-5 + -1 - -2). Let r be (-1 - 2) + (w - 1). Is ((-1)/r)/(3/42) a multiple of 6?
False
Let l(u) be the first derivative of -7*u**2 + 3*u - 1. Suppose 5 = 5*p + c + 25, p - 17 = 4*c. Is 15 a factor of l(p)?
True
Suppose -5*n + 3 = -3*a, n + 13 = 4*a - 0*n. Suppose x + 32 = -3*x - 2*r, 3*x = -a*r - 19. Let i = x + 19. Is i a multiple of 7?
False
Suppose 4*i - 80 = -4*o + 8, -3*i + 68 = 5*o. Let k be 0 + 0/(-2)*-1. Suppose k = -5*b + 4*z + 61, 3*b = b + 5*z + i. Does 13 divide b?
True
Suppose -g + 3*k - 8*k + 24 = 0, -5*g - 3*k + 32 = 0. Suppose 0 = v + 3*v + g. Is (2/(-5))/(v/25) a multiple of 10?
True
Let m be (-2 - -1*2) + 3. Suppose 11 - m = n. Suppose 5*w - 123 = -n. Is w a multiple of 12?
False
Suppose 0 = 13*h - 2*h - 44. Let b = -15 + 21. Suppose k + 18 = 4*a, -36 = -h*a - 5*k - b. Does 3 divide a?
False
Let x be (-26)/(-8) - 2/8. Suppose -7*t + x*t = -208. Suppose -4*h + 0*u - 4*u + t = 0, 3*h - u - 27 = 0. Is 10 a factor of h?
True
Let z = 563 + -333. Does 26 divide z?
False
Suppose t + 8*t = 1296. Is t a multiple of 12?
True
Let w be (-2)/(-3 + (-14)/(-6)). Suppose -3*v = 4*s - w*s + 11, -8 = 4*s. Is ((-24)/(-3) + v)*1 even?
False
Let z(k) = 10*k - 1. Let s be z(-1). Let q = 11 - s. Is 8 a factor of q?
False
Suppose 17 = -2*c + 5*m, 4*c + m - 4*m = -69. Let v = c - -49. Is 14 a factor of v?
True
Let l = 29 + -9. Is l a multiple of 12?
False
Let c(w) be the second derivative of w**5/20 - 2*w**4/3 - 4*w**3/3 - 11*w**2/2 + 2*w. Let i be c(9). Is 12 a factor of (-15)/i*(-16)/(-10)?
True
Suppose 2*a + 4*a - 1056 = 0. Does 44 divide a?
True
Let x = -217 + 94. Does 22 divide (-3)/(-2 - x/66)?
True
Let o(q) = -q**3 - 4*q**2 - 8*q - 9. Let t be o(-6). Suppose 2*r = -4*n + 102, -5*n + 5*r - 6 = -t. Is n a multiple of 8?
True
Suppose 2*f - 8*f + 36 = 0. Is 3 a factor of f?
True
Is (22/3)/(8/12) a multiple of 11?
True
Let s = 0 - 0. Suppose 2*d = c - 3, s = 8*d - 3*d. Suppose 6*l - c*l - 33 = 0. Is 3 a factor of l?
False
Suppose 2*v - 10 = 4*v + 4*l, 0 = 3*l + 9. Let u be v + (2/1 - 7). Does 10 divide (30/4)/((-3)/u)?
True
Suppose 0 = -5*g + 5*x + 360, -4*g - 189 = 2*x - 495. Is g a multiple of 15?
True
Suppose 0 = -v, -f - 3*v + 36 = 2*v. Is 9 a factor of f?
True
Suppose -3*l = -5*b - 270, -5*b - l + 260 = -10*b. Suppose 6*y - 2*y + 2*p = -84, 4*p = -5*y - 105. Let r = y - b. Is r a multiple of 15?
True
Let k(r) = 24*r - 1. Is 8 a factor of k(2)?
False
Let j = -61 + 104. Suppose 4*h - j = 3*u, 3*h - 8*h + 4*u + 54 = 0. Let f = h + 1. Does 6 divide f?
False
Let y(d) be the first derivative of 16*d**3/3 - d**2/2 + 1. Does 5 divide y(1)?
True
Let j be 6 + -3 + (-1 - -1). Let h be 4/(1 - 5/j). Let d = 13 + h. Is d a multiple of 5?
False
Suppose -5*p + 3*p + 6 = -5*b, 3*p = 3*b + 9. Suppose -3*j = -5*u + j + 110, -3*u + 3*j + 69 = b. Is 6 a factor of u?
True
Let f(v) = 4*v**3 - 1. Let o be f(1). Suppose m = o + 3. Suppose -m*j + 4*j = -24. Does 12 divide j?
True
Let d = 2 - 4. Let f = 8 + d. Let z = f + -2. Does 2 divide z?
True
Suppose -3*d = 4*t - 23, 5*d - 6*d - 4*t - 3 = 0. Let m = -3 + d. Is m a multiple of 4?
False
Suppose -3*g - 3*g + 1548 = 0. Does 27 divide g?
False
Suppose -s + 9 = 2*q + 2, 0 = -3*s + 5*q + 10. Suppose -8 = j - 5*x, s*j - j + 2*x = 12. Is (-222)/(-27) + j/(-9) a multiple of 7?
False
Suppose 5*v + 220 = 5*j, -2*j + 3*v - 120 = -5*j. Does 7 divide j?
True
Let i = -1 + 63. Is 30 a factor of i?
False
Suppose -5*f - v + 6 = -0*v, 16 = 4*f - 2*v. Suppose 2 = -f*z, a + z - 21 = -a. Does 6 divide a?
False
Suppose 265 = 5*g + 5. Is 26 a factor of g?
True
Let x = -16 + 22. Suppose -8*z = -x*z - 26. Is 13 a factor of z?
True
Let b = -46 + 86. Does 8 divide b?
True
Let t = 0 + 2. Suppose -3*g - 2*a = -18, t*g = 4*a + 11 + 1. Is 3 a factor of g?
True
Suppose -7*s - 5 + 460 = 0. Does 13 divide s?
True
Let f = -4170 + 576. Is 16 a factor of 8/60 + f/(-45)?
True
Suppose -5*r = -z + 9, 0 = r - 3*z + 6 + 7. Let t = 31 - r. Is t a multiple of 16?
True
Let z be (-5)/((-10)/8 - -1). Suppose -2*t - 2*l = -z, 3*l = -5*t + 41 + 1. Does 5 divide t?
False
Let d = -42 + 76. Is 17 a factor of d?
True
Is (-4576)/(-130) - (-4)/5 a multiple of 36?
True
Let o(s) = 6*s + 4. Let b(m) = -25*m - 17. Let t(q) = -2*b(q) - 9*o(q). Let w be t(3). Is 3 a factor of (-6)/21 + (-88)/w?
True
Suppose 5*x + 24 = 7*x. Let f(u) = 4*u**2 - 4*u - 2. Let y be f(-3). Let m = y - x. Is m a multiple of 17?
True
Let h(q) = 8*q + 1. Suppose 2*w = -3*p + 1, -p - 3*w + 2 = 4*p. Is 4 a factor of h(p)?
False
Let z = -4 + 7. Let q(m) = 2*m**3 - 2*m**2 - 4*m + 2. Does 13 divide q(z)?
True
Let v(k) = k**2 - 8*k - 4. Suppose 2*y = 6*y + 24. Is 22 a factor of v(y)?
False
Let u(n) = -n**3 + 5*n**2 + 4*n + 12. Does 29 divide u(-5)?
False
Suppose 5 = 5*w, 0 = 4*n - 3*w - 167 - 194. Let g = n + -40. Is 17 a factor of g?
True
Let z = 92 + -50. Is 21 a factor of z?
True
Suppose 2*p - 5*y = 28, -2*p = 3*p + 5*y. Let i(j) = 2*j + 1. Let w(q) = -q**2 + 1. Let g(b) = -i(b) - w(b). Is 4 a factor of g(p)?
False
Let c = 25 - 5. Let o = c + 34. Does 18 divide o?
True
Suppose -2 = -i + 2. Suppose -4*t + 2*p + 167 = -3*p, -2*t + 76 = -i*p. Is 16 a factor of t?
True
Suppose 0 = 5*f + z - 799, f - 3*z - 237 = -74. Is 20 a factor of f?
True
Let r = -5 + 7. Suppose t = -2 - r. Let u = t - -11. Is 7 a factor of u?
True
Suppose -82 - 21 = -o - 5*z, 0 = -5*z + 15. Suppose 3*r = -7*y + 2*y + 95, -3*r + o = -2*y. Does 19 divide r?
False
Suppose 48 + 36 = 4*s. Suppose -f = -s - 16. Is 13 a factor of f?
False
Suppose 300*x = 301*x - 23. Does 23 divide x?
True
Let n = 21 + -24. Let t = 3 - n. Is t a multiple of 6?
True
Let y(d) = 2*d**3 + 3*d**2 - 2*d - 1. Suppose -2*n + 3*x + 4 = 3, -2*n + x + 3 = 0. Does 9 divide y(n)?
False
Suppose -9 = -4*i + b + 8, -5*b + 11 = 4*i. Let z be (1 - 1) + 18 + -1. Suppose -3*d + h + 51 = 5*h, z = d + i*h. Is d a multiple of 12?
False
Suppose 0*c - 2*c + 26 = 0. Let q = 5 + c. Is 9 a factor of q?
True
Let l(f) = -2*f + 7. Let g be l(-6). Let j = -5 + g. Is j a multiple of 7?
True
Let x = -7 + 106. Is x a multiple of 11?
True
Suppose 0 = -m + 3*m - 10. Is m even?
False
Let v(c) = c**3 - 6*c**2 + 6*c. Let t be v(5). Let y = 1 + t. Is (-46)/(-1) - y/2 a multiple of 22?
False
Suppose 0 = 2*r - 4*d + 4, d = 2*d - 4. Let z be 12/(-8)*(-16)/r. Is 9 a factor of z - (1 + 2) - -26?
True
Let h(m) = 21*m + 12. Does 10 divide h(4)?
False
Let l = 13 - -92. Does 35 divide l?
True
Let r be ((-4)/(-10))/(2/120). Is 12 a factor of (-2 + 3)*r/1?
True
Is 26 a factor of 4/(-14) + 1334/14?
False
Let n = -63 - -89. Does 13 divide 2380/91 + (-4)/n?
True
Let x be (-3)/9 + (-20)/(-6). Suppose -9 = x*f + 6. Let l(p) = p**3 + 5*p**2 - 3*p + 4. Is l(f) a multiple of 10?
False
Let d(k) = 14*k + 2. Let z be d(2). Suppose g - 6*g = z. Let u(n) = n**2 + 4*n - 7. Does 2 divide u(g)?
False
Let j(g) = 3*g. Let r be j(-2). Let l(u) = -u**2 - 8*u - 6. Is 3 a factor of l(r)?
True
Let z be -2*(3/(-2))/3. Suppose 0 = 5*k + 36 - z. Let u = 2 - k. Is 5 a factor of u?
False
Suppose 5*t + 6 = -0*i + 4*i, 0 = 2*i - 3*t - 2. Is i even?
True
Let v = 77 + -55. Suppose -m + 8 = -v. Is 15 a factor of m?
True
Let y = -118 + 216. Let g = -111 - -167. Let o = y - g. Is o a multiple of 21?
True
Let c(s) = -16*s + 11. Is c(-6) a multiple of 13?
False
Let f(y) = 10*y - 5. Does 13 divide f(7)?
True
Let z(d) = -43*d - 25. Does 53 divide z(-11)?
False
Let b(i) = -7 + 0*i**2 + i**2 - 3*i - 2*i + i. Does 8 divide b(-5)?
False
Suppose 0 = 2*j + 2*j. Is 7 + 1 - (j + 1) a multiple of 6?
False
Let z(t) = -t**3 - t**2 + 5. Let y be z(0). Suppose y*u = -1 + 81. Is u a multiple of 16?
True
Let c(l) = 11*l**2 + 2*l + 2. Is c(-1) a multiple of 11?
True
Suppose 26 = -4*n + 86. Let s be (-7)/49 - (-29)/7. Suppose 2*z = k + 10 + n, 0 = -s*z + 5*k + 53. Does 6 divide z?
True
Suppose -4*r + 24 = -3*r. Let h = r - 18. Is h a multiple of 6?
True
Suppose 2*t - 153 = -4*g + 13, g = -5*t + 55. Is g a multiple of 8?
True
Let o be -1 - (4 - 6)*1. Let c(g) = -g**3 + 3*g**2 - 2*g + 3. Let i be c(2). Let v = i + o. Does 4 divide v?
True
Suppose -4*v + 94 + 110 = 0. Is 11 a factor of v?
False
Let n = 13 - 5. Let x(a) be the second derivative of a**3/3 - 5*a**2 - 17*a. Does 3 divide x(n)?
True
Let x 