= 3*n**2 + 3*n - 4. Does 16 divide o(k)?
True
Suppose s + 9 = 2*b, 1 - 10 = b - 5*s. Let c = b - -13. Does 19 divide c?
True
Suppose k = 4*f + 10, -3*k + 2*f = -0*f. Is (-38)/k - (-5 + 6) a multiple of 9?
True
Let v(j) = 2*j**2 - 10*j - 1. Does 33 divide v(-5)?
True
Let i be (-4)/10 + (-9)/15. Let s = i - -5. Is s even?
True
Suppose -6*l + 4*q + 177 = -l, -5*l + 168 = -q. Is 14 a factor of l?
False
Let u(d) = d**3 - 3*d. Let j(m) = -m**3 - m. Let b = -2 + 7. Let k(h) = b*j(h) - u(h). Does 26 divide k(-2)?
True
Let x(s) = 2*s + 6. Let o be x(6). Let r = o + 38. Let m = r + -15. Is 15 a factor of m?
False
Suppose 2 + 8 = 5*u. Let i(n) = 14*n - 1. Does 11 divide i(u)?
False
Let u(q) = q**3 - 4*q**2 + 2*q + 3. Let j be u(3). Suppose -k + 6*k - 25 = j. Suppose -35 = -k*p + 25. Is p a multiple of 6?
True
Suppose -8*k + 5*k + 459 = 0. Does 13 divide k?
False
Let i(n) = n**2. Let l be i(-2). Suppose 0 = 3*d - 2*o - 8 - 4, 0 = l*o - 12. Does 6 divide d?
True
Suppose 0 = -3*x - g - 15, -5*x + 3*g - 16 = 9. Is 8 a factor of x/((-30)/33)*4?
False
Let o = 18 - 13. Suppose 6*y - 16 = o*y. Is y a multiple of 8?
True
Let n = 5 + -10. Let w(b) = -b**2 - 7*b - 1. Let a be w(n). Suppose -5*x = -121 - a. Is 10 a factor of x?
False
Let w = 48 - 20. Does 12 divide w?
False
Suppose 21 = 5*q - f, 0*q + 6 = 2*q + 2*f. Suppose -15 = -q*n - 3. Is n even?
False
Is -1*(0 + -8 + -3) a multiple of 11?
True
Suppose -10*k - 7*k = -306. Is k a multiple of 6?
True
Let w be -5*(7/(-5) + 1). Suppose w*f - 14 = -v, -9 - 26 = -5*f + v. Suppose f + 5 = z. Is z a multiple of 8?
False
Let o = -4 + -3. Does 8 divide (-2)/(-7) + (-54)/o?
True
Let t(h) = -h**3 + 7*h**2 - 5*h - 5. Let p be t(6). Let u = p - -10. Is 7 a factor of u?
False
Let n = 10 + -5. Suppose -2*r + r + 48 = 2*q, 0 = -q + n*r + 2. Is 11 a factor of q?
True
Let u(n) = n**3 + 3*n**2 + 2*n + 3. Let g be u(4). Let v = g - 82. Is v a multiple of 10?
False
Let d = -2 - -5. Suppose -4*n - y + 4 = -d*n, -4 = 2*n - 2*y. Is 19 a factor of n/(-5) + (-176)/(-5)?
False
Let o(l) = l**2 + 5*l - 7. Let q be o(-6). Let z be (-2 - -3)*(2 - q). Suppose -a - z*x + 5 = -14, -21 = -3*a + 3*x. Does 5 divide a?
True
Suppose 0 = -5*h - 0*h + 10. Suppose 0 = g - 5*v - 33, -h*v = 2*g - 3*v - 48. Does 23 divide g?
True
Let b(p) = -5*p - 6. Is 6 a factor of b(-6)?
True
Suppose 4*j - 60 + 16 = 0. Is j a multiple of 11?
True
Suppose 3*w + 4*b - 7 + 28 = 0, -b = 3*w + 12. Let t(d) = 2*d**2 + 5*d + 2. Let y be t(w). Suppose -y*f + 98 = -f - 2*p, 61 = 2*f + 3*p. Is 13 a factor of f?
True
Suppose -3*l = -2*o - 37, 17 - 5 = 3*o. Let v(s) = -s + 13. Let d be v(0). Suppose -5*i - l = 0, 4*z - d - 13 = 2*i. Does 3 divide z?
False
Let a(v) = 5*v**2 - 2*v - 4. Suppose 3*h + 3 + 0 = 5*c, -h + 2*c = 2. Does 18 divide a(h)?
False
Let s(a) = 3*a**2 - 2*a - 2 + 1 - 2*a**2. Let d be s(3). Suppose 84 = d*z + z. Is z a multiple of 14?
True
Let y(i) = -i - 4. Suppose 0*q = 3*n + q + 13, 0 = 4*n + 2*q + 14. Is y(n) even?
True
Let u(l) = -l**2 + 10*l - 5. Suppose -2*w + 28 = 2*w. Is u(w) a multiple of 10?
False
Let j(n) = 3*n + 19. Is 18 a factor of j(15)?
False
Let l(p) = 64*p**3 + 2*p - 2. Is l(1) a multiple of 9?
False
Suppose 0 = -4*l + 4*r + 60, 2*l = -2*l + 2*r + 56. Does 6 divide l?
False
Let l(k) be the first derivative of 1/3*k**3 + 0*k**2 - 1 + 4*k. Does 4 divide l(0)?
True
Let b(o) = 3*o - 13. Is b(8) a multiple of 10?
False
Let m(s) = -s**3 - 5*s**2 - 4*s - 12. Is 4 a factor of m(-5)?
True
Suppose 0 = 3*f - 6 - 33. Is f a multiple of 4?
False
Let v = -1 - -3. Let f(m) = -8 + 2 + 5*m**2 + v*m**3 - 2*m - m**3. Does 2 divide f(-5)?
True
Suppose -3*t = z - 29, -7*z + 17 = -t - 2*z. Let a = 15 - t. Let p = 13 - a. Is p a multiple of 6?
True
Suppose 11 = m - 5*y, m - 8 = -4*y + 3. Is m a multiple of 3?
False
Let c = -105 + 177. Is c a multiple of 12?
True
Let g(s) = -5*s. Does 10 divide g(-4)?
True
Suppose w = 3*v + 29 - 3, 8 = -2*v. Let k = w - 10. Suppose -k*d = 4*p - 32, 4*d = -4 - 4. Is 10 a factor of p?
True
Let x be (-18)/(-27) - 502/6. Let d = 121 + x. Is 19 a factor of d?
True
Let c = -133 - -197. Is c a multiple of 4?
True
Let u(q) = q. Let v be u(3). Let s(d) = 1 + 1 + d**3 - 5*d**2 - v*d**2 + 8*d + 0*d**2. Is s(7) a multiple of 9?
True
Suppose -2*d = -5*p + d + 147, 0 = -2*p - 4*d + 64. Is 9 a factor of p?
False
Suppose -v = -3*u + 14, u = 2*u + 2*v - 14. Does 4 divide u?
False
Let h(r) = -r**2 + 13*r - 5. Let o be h(10). Suppose 0 = y - 5, 2*a + 6*y - 3*y = o. Suppose -a*q = -3*i + 4*i - 21, -4*q = 2*i - 30. Is i a multiple of 4?
False
Let g = 15 + -12. Let i(z) = -z**3 + 5*z**2 - z - 2. Is i(g) a multiple of 13?
True
Let i be (5 - 7)*1/(-2). Suppose -b - 4 = i. Let y = 11 + b. Is y a multiple of 3?
True
Suppose 0 = -5*i - 4*a + 36, -6*i + 28 = -i + 2*a. Suppose 5*k - 6*k + 2*r + 93 = 0, 2*k + i*r = 146. Does 24 divide k?
False
Let m(z) = 5*z**2 - 2. Is 26 a factor of m(-4)?
True
Suppose -2*f + 10 = -4*m, -f + 0*m = -4*m - 7. Let o = -8 + f. Is 7 a factor of o/((4 + -2)/(-8))?
False
Suppose -36 + 7 = h + x, -1 = -x. Let w = -20 - h. Suppose -d + w = -21. Does 10 divide d?
False
Suppose -240 = 7*y - 11*y. Does 12 divide y?
True
Suppose -2*k + 5 = -2*u + 3*k, -2*k = 4*u - 26. Is 5 a factor of u?
True
Suppose -4*l - 8 = 4*d, 0 = 5*l - d - 0*d - 20. Let s be 26*2/l*6. Suppose -2*j = -6*j + s. Is 8 a factor of j?
False
Let j = 0 - -22. Does 5 divide j?
False
Let h(o) = 3*o**3 - 6*o**2 + 6*o. Does 20 divide h(4)?
True
Let n be 77/5 - (-10)/(-25). Let l = 26 - n. Is l a multiple of 3?
False
Let l be 8980/28 + (-4)/(-14). Is 11 a factor of l/15 - 3/(-5)?
True
Let f = 58 + 36. Is 18 a factor of f?
False
Let x = -50 - -106. Does 16 divide x?
False
Let h be -15 + (0 + 2 - 0). Is 5 a factor of (-1)/(1/(-2 + h))?
True
Let z = -223 + 322. Suppose 82 = w + 5*m, 5*w - 196 - z = -2*m. Does 19 divide w?
True
Suppose -2*j = -3*j - 2. Let c(w) = 17*w + 4. Let h(o) = 18*o + 5. Let k(v) = -7*c(v) + 6*h(v). Is 12 a factor of k(j)?
True
Let m(q) = 2*q - 6. Let a be m(4). Suppose 0 = -a*v - 4, 2*b + 3*b - 4*v - 138 = 0. Is b a multiple of 17?
False
Let n(o) = -o**2 - 7*o + 5. Let s be n(-6). Let g = s + 15. Does 10 divide g?
False
Let w(m) = -m**3 + 6*m**2 + 10*m - 6. Let j be w(7). Let f be (6 - j)/((-3)/(-2)). Does 16 divide 5/(30/(-63))*f?
False
Suppose 2*y = 11 + 33. Is y a multiple of 3?
False
Let z(c) be the second derivative of c**4/12 + c**3/3 - c**2 + 3*c. Let l be z(-2). Does 11 divide 11 - l - (-2 - -4)?
True
Let h = 320 - 27. Is h a multiple of 23?
False
Let b(m) = 2*m - 12. Let p be b(8). Let j be (p/(-6))/(8/(-36)). Does 6 divide (-4*j)/((-6)/8)?
False
Suppose 7*p - 25 = 2*p. Suppose x + 2 - 17 = 0. Suppose 4*c - p = x. Is c a multiple of 3?
False
Suppose 0 = 2*i + 5*c - 246, -5*i - c = 4*c - 630. Let s = i - 65. Is 21 a factor of s?
True
Let b be (-16)/(-3)*(-105)/(-20). Does 15 divide ((-360)/b)/((-12)/56)?
True
Let p = 22 - 8. Suppose -c + p + 13 = 0. Suppose -4*o = g - 111, 0*g - g = o - c. Does 14 divide o?
True
Let z(u) be the second derivative of u**3/2 - u**2 + 2*u. Is z(5) a multiple of 9?
False
Suppose -3*c + 4 - 1 = 0. Let n(j) = -68*j. Let v be n(c). Is 12 a factor of v*(6/4)/(-3)?
False
Let q(u) = u + 13. Is q(14) a multiple of 6?
False
Let a(c) = -c**2 + 7*c + 5. Let y be a(7). Suppose -5*s = 3*w + y, w - 3*s = 3*w + 2. Suppose 31 + 19 = w*j. Is j a multiple of 4?
False
Let q = -131 + -22. Does 14 divide q/12*(-8)/3?
False
Suppose 0 = a + 2*a - 9. Is 18 a factor of 166/a + (-20)/15?
True
Suppose x + 5*v = -7 - 50, 0 = 5*x - 3*v + 173. Let o be x/((-3)/(-6)*-2). Suppose -c - o = -2*c. Is c a multiple of 10?
False
Let i = -45 + 66. Does 6 divide i?
False
Suppose 5*v = -2*s + 486, 3*s = -s + 12. Does 24 divide v?
True
Suppose 4*z + 24 = 4*j - 0*z, -z = 5*j. Let u = -2 + 6. Suppose -u*i + 41 = 2*r + j, -r = -4*i + 40. Does 4 divide i?
False
Suppose 2*k - 249 = -0*k - 5*i, 0 = -k + 4*i + 92. Does 28 divide k?
True
Is 20 a factor of 3/(-2)*2 - -103?
True
Suppose 3*z - 11 = 4, 5*q - 5 = -4*z. Let h be (-6)/q + -4 - -39. Suppose o - 9 = 4*k, -5*o + h = -4*k - 8. Does 9 divide o?
True
Suppose 0 = -4*a + 3*n - 5*n + 16, a + 3*n = 14. Let m be 0 - -1 - (-4 + a). Suppose -10 = m*u - 4*u. Is 10 a factor of u?
True
Let d be 0 + 0 - -6 - 2. Suppose 15 = x - d