 k**4/8 + k**3/6 + 2*k**2. Suppose -x = -4*x + 15. Does 11 divide v(x)?
False
Let n(p) = -2*p**3 - 6*p**2 - 5*p. Suppose 5*i - 7*m = -6*m - 21, -i - 5*m = -1. Does 13 divide n(i)?
True
Let x = -52 + 1. Let z(f) = -f**3 + 7*f**2 + 6*f - 5. Let r be z(5). Let s = x + r. Is s a multiple of 7?
False
Let s = 33 - -7. Suppose -4*w + s = 2*y, 4*y + 9*w - 68 = 4*w. Is y a multiple of 12?
True
Suppose 0 = 4*s - 37 - 3. Is 3 a factor of s?
False
Suppose 4*w = -u + 52, 5*u = 2*u - 3*w + 183. Is u a multiple of 16?
True
Suppose -2*v - 26 = -0*v. Let g = v - -19. Is g a multiple of 6?
True
Let t(u) = u - 1. Let q be t(4). Let y(n) = -n**2 + 4*n + 1. Is y(q) a multiple of 2?
True
Suppose -3*b - 4*w = 0, 2*w - 13 = -4*b + w. Does 28 divide (86 - b) + (-6)/(-3)?
True
Let r(s) = s**2 - 3*s - 1. Let y be r(-4). Let z = 20 + y. Is z a multiple of 17?
False
Suppose 2*d + 224 = 6*d. Does 8 divide d?
True
Suppose 32*n - 580 = 28*n. Is n a multiple of 29?
True
Let q = -4 + 4. Suppose -10 = -q*k - 2*k. Suppose -5*n + 110 = k*i, -57 + 146 = 4*n + 5*i. Is n a multiple of 14?
False
Suppose f + 5*o = 3*f - 407, 5*f + 5*o - 1105 = 0. Is f a multiple of 8?
True
Let t(p) = p**2 + 5*p + 1. Let b = -10 - -6. Let k be t(b). Let f = k + 8. Is 4 a factor of f?
False
Suppose 10 = 2*z + 3*t, 0*z + 4*t = -3*z + 14. Suppose 4*l + 16 = 3*d + z*d, l = -d + 5. Suppose 78 + 18 = d*a. Does 8 divide a?
True
Suppose 4*w = -6 - 10. Let d(o) = -13*o + 3. Is 34 a factor of d(w)?
False
Let j(i) = -2*i - 4. Is 5 a factor of j(-7)?
True
Let u(h) = 4*h**3 + 3*h**2 - 2*h. Let v(x) = -x**3 - 3*x**2 + 5*x + 6. Let y be v(-4). Is u(y) a multiple of 10?
True
Let i = -2 - -18. Does 4 divide i?
True
Suppose -2*b + 42 - 16 = 0. Suppose b = 4*y + 5. Is (-1 - -15) + y + -1 a multiple of 15?
True
Let y be (1 + (176 - 0))*1. Let c = 79 + -35. Suppose 5*n - 4*r + c = y, -3*r - 20 = -n. Does 10 divide n?
False
Suppose 0 = b + b + 2*m + 28, b - m + 16 = 0. Let d be (-3)/(1/(21/3)). Let i = b - d. Does 3 divide i?
True
Suppose -5*v = -0 - 5. Let t be (1/2)/(v/70). Suppose 85 = 5*n + 5*l + 10, 3*l + t = n. Is 10 a factor of n?
True
Suppose -3*a = 2*l + 2, 0 = l + 3*a + 1. Let g be (-1)/3*6/l. Suppose -s = -g*s + 19. Is 14 a factor of s?
False
Suppose -2*r - 16 = -6*r. Suppose -2*q = 8, -4*p + 3*p - 4*q = r. Does 2 divide p?
True
Let l = -16 + 39. Is l a multiple of 5?
False
Suppose 28*p - 34*p = -174. Is p a multiple of 17?
False
Let c(n) = -5*n - 14. Does 36 divide c(-10)?
True
Suppose 5*z - 3*i - 64 = i, -4*z - 4*i + 80 = 0. Is z a multiple of 8?
True
Let n(m) = 5*m + 3 + 18 + 3*m**2 - 6*m - 2*m**2. Does 11 divide n(0)?
False
Let d = 317 + -189. Does 32 divide d?
True
Suppose 7*g - 247 = -23. Is 7 a factor of g?
False
Let q = -1 + -4. Let t(n) = n**2 + 5*n + 5. Let f be t(q). Suppose 65 = -2*p + 7*p - 4*y, -f*p + 40 = y. Is 9 a factor of p?
True
Let q = 4 - 6. Let x be 13*(-2 - -4)/q. Let b = 22 + x. Is b a multiple of 9?
True
Suppose 0*h = -5*n + 5*h - 105, -3*h = -n - 27. Does 8 divide (2 - -2)/((-3)/n)?
True
Let n(q) = 43*q - 2. Let t be n(1). Let r = t - 20. Does 7 divide r?
True
Let a = -1 - -2. Let k = a - -3. Suppose k*q + 10 = 82. Is q a multiple of 9?
True
Let h(o) be the first derivative of o**2/2 + 14*o + 4. Does 6 divide h(-8)?
True
Let d be 9/3*(-24)/(-9). Let z = -4 + d. Suppose -z*g + 64 + 4 = 0. Does 6 divide g?
False
Does 15 divide ((-36)/14)/((-3)/70)?
True
Let j(b) = b**2 - 6*b - 5. Let u be j(5). Let v(x) = x**2 + 6*x + 5. Does 15 divide v(u)?
True
Let w(n) = n**2 + n - 7. Let b be w(-7). Let a = b + -6. Does 11 divide a?
False
Suppose j + 5*n + 37 = 0, 2*j + 0*j + 44 = -4*n. Is j/(-2) + 2/1 a multiple of 4?
True
Let h be (-20)/(1*2/5). Let f = h + 110. Is 16 a factor of f?
False
Let q = 1 + 0. Let v(t) = -t + 13*t**3 + 14*t**3 + 26*t**3 + t**2. Is v(q) a multiple of 19?
False
Let u be (-6)/(-4)*156/9. Suppose -5*n - 4*c = -2*n - 71, 0 = -3*n + 5*c + u. Does 6 divide n?
False
Let m = -44 + 9. Let k = m + 50. Is 15 a factor of k?
True
Let n(u) = 2*u + 0*u**3 + 3*u**2 + 2 - 3 - u**3. Let h be n(3). Suppose r - 7 = f + 1, 2*f + 52 = h*r. Is r a multiple of 9?
False
Suppose -h + 2*k = 0, -4*h + 14 = -2*k + k. Let b(z) = z**3 - 9*z**2 + 7*z + 5. Let t(n) = n**2 - n - 1. Let u(f) = -b(f) - 3*t(f). Is 6 a factor of u(h)?
False
Suppose -2*a = -8, 4*z + 3*a + 24 + 4 = 0. Let b be 3/6 + (-27)/(-2). Is 16 a factor of b/(-5)*(z - 5)?
False
Let y(p) be the second derivative of p + 3*p**2 + 0 + 1/4*p**4 + 7/6*p**3. Is 13 a factor of y(-4)?
True
Suppose -3*o + 8 = 2. Let r be (-1)/4 + (-2)/(-8). Suppose r = -o*v + 19 - 5. Is 3 a factor of v?
False
Let x(a) = 36*a + 2. Let r = -6 + 8. Does 26 divide x(r)?
False
Let u = 11 - 11. Suppose 26 = -u*g + g. Is g a multiple of 13?
True
Suppose 3*w = -5*v + 39, 2*v = 5*w - 3 - 0. Does 10 divide 3*20/v*1?
True
Suppose 2*p - 3*v + 8 = 0, 3*p + 5*v = 7*p + 12. Let l = 1 + p. Suppose -5*h + 2*z + 22 = 0, -l*h + 4*z + 1 = -1. Is 3 a factor of h?
True
Let p = -50 - -93. Suppose -p = -y + 35. Is y a multiple of 26?
True
Let p = -36 - -140. Suppose 4*t = 4*g + p, -4*g - 73 = 2*t - 5*t. Is t a multiple of 12?
False
Suppose -2 = 2*d - 26. Is d a multiple of 2?
True
Let z(g) = -g + 2. Let b be 1*((-4)/2)/(-1). Suppose c + b*c - j = -3, -c - j = 5. Does 4 divide z(c)?
True
Let h = -6 + 18. Is h a multiple of 6?
True
Let v be 0 + (-9)/(-3) + -1. Suppose 0 = -v*x + 29 - 3. Does 5 divide x?
False
Let k be (-2)/(-14) - 80/70. Suppose 16 = -z + 5*z. Let h = k + z. Is 3 a factor of h?
True
Let q = 32 - -124. Does 12 divide q?
True
Let h be -4 + 2 - (3 + -2). Let i(k) = -11*k - 2. Is i(h) a multiple of 9?
False
Let f(o) = o + 4. Let p = 6 + -8. Let c be f(p). Is 14 a factor of ((-8)/(-10))/(c/55)?
False
Let f(j) = -4*j - j**2 + 4*j + 5 + 4*j. Let x be f(5). Is 17 a factor of (-2)/2 - x - -46?
False
Suppose -85 = -4*h + 5*a, 0 = -2*h + a + 18 + 17. Suppose -r + 6 = -5*s - 9, r + 4*s - h = 0. Suppose 2*m = r + 37. Is 9 a factor of m?
False
Let j(b) = b**3 + b**2 - b + 3. Let r be j(0). Let l(k) = k**r - 4*k + 10 - 2*k**2 + 2*k**2 + 7*k**2. Does 13 divide l(-7)?
False
Let h(p) = p**2 + 7*p - 10. Let u be h(-7). Let l(s) = -s**2 - 13*s. Is l(u) a multiple of 10?
True
Let o be (1 + (-12)/3)*-9. Suppose 4*x - o = 73. Is 25 a factor of x?
True
Let t(o) = 15*o**2 - 4*o - 2. Does 19 divide t(-3)?
False
Let h be (5/(-2))/(4/(-8)). Suppose 0*g - 115 = -h*g - 5*l, 5*g - l - 91 = 0. Is g a multiple of 10?
False
Let m = 3 + -6. Let z(p) = -p**3 + p**2 + 4*p - 1. Let s be z(m). Let b = s + -9. Is 14 a factor of b?
True
Suppose -4*t + 5*t - 69 = 5*p, -204 = -4*t - 4*p. Is t a multiple of 6?
True
Suppose 30 - 123 = -5*b + 2*m, b + 3*m = 5. Does 12 divide b?
False
Let t(k) = k**2 - 9*k + 4. Let x be t(9). Let o(c) = c**2 - 6*c - 1. Let q(l) = -2*l**2 + 17*l + 3. Let p(m) = x*q(m) + 11*o(m). Does 2 divide p(-1)?
True
Let t(j) = j**3 + 4*j**2 - 6*j + 1. Let k = 6 - 11. Does 4 divide t(k)?
False
Suppose -5*x - 4*v - 7 = -61, 3*x - 5*v = 25. Is x a multiple of 9?
False
Let a(x) = 2*x**3 - 3*x**2 - 3*x - 5. Let c be a(4). Suppose 5*t + 145 = 5*u, 3*t + 6*u - u = -87. Let f = c + t. Does 17 divide f?
True
Let q(z) = 5*z**2 - 1. Let d be q(1). Suppose -63 = -d*r + 57. Does 13 divide r?
False
Suppose 6*b + u - 41 = b, -26 = -3*b - 2*u. Is 8 a factor of (b/(-3))/(1/(-12))?
True
Suppose -3 = 3*b + 3. Let k be 44/10 + b/5. Suppose -2*z + 6*z = 2*l - 82, -104 = -k*l - 4*z. Is l a multiple of 15?
False
Let q = -2 - 0. Let k = 34 + q. Let d = 46 - k. Does 7 divide d?
True
Let n(f) = -2*f - 7. Let c be n(-5). Suppose 0 = o + c*o - 144. Does 18 divide o?
True
Let m be (3 - 1)*3/6. Suppose 7 = 4*c - m. Suppose -c*f + 68 = -18. Is f a multiple of 13?
False
Let m = -11 - -3. Suppose -4*t + 8 = 52. Let h = m - t. Is h a multiple of 2?
False
Let a = -18 + 13. Let x(m) = -3*m + 2*m + 2*m + 11. Is 4 a factor of x(a)?
False
Suppose -2*w + 3*w = 17. Suppose 2*y - 43 - w = 0. Is 10 a factor of y?
True
Suppose 224 = 6*l + 8. Is l a multiple of 18?
True
Suppose o - 2 - 3 = 0. Suppose 2*c + 347 = o*k, 4*c = 2*k + c - 130. Does 22 divide k?
False
Suppose -j = 3*g + 2*g - 110, -5*g - 5 = 0. Does 25 divide j?
False
Let k(b) = -3*b - 13. Let t(z) = 7*z + 27. Let v(c) = -9*k(c) - 4*t(c). Let f be v(7). Suppose -45 = -f*m - 3*m. Is