) = -o**3 - 8*o**2 + 8*o - 9. Let v be k(-8). Let a = 115 + v. Is a a multiple of 8?
False
Let t = -5 - 0. Let r be 20/t - 1*2. Is (-2 - 10)*r/8 a multiple of 9?
True
Suppose 2*j - 135 = -j. Is j a multiple of 21?
False
Suppose 7 - 22 = 5*b. Does 5 divide 10 - (b/(-3) - 3)?
False
Let g(r) = 8*r + 2. Does 22 divide g(8)?
True
Suppose -15*p = -5*p - 2940. Is 22 a factor of p?
False
Let m(p) = -p**2 - 6*p - 6. Let k be m(-5). Is 10 + (-2)/k + -5 a multiple of 7?
True
Let a(z) = -24*z**3 + z**2 + z + 1. Let d be (-2)/(-3) - (-15)/(-9). Is a(d) a multiple of 8?
False
Let y(w) = -w**3 - 4*w**2 - w - 5. Let a be y(-4). Let x be a*(9/1)/(-3). Suppose x*i = -2*i + 185. Does 18 divide i?
False
Is 8 a factor of (-1662)/(-14) + (-6)/(-105)*5?
False
Suppose 8*h - 9*h = -6. Does 6 divide h?
True
Let y be (-9)/12 + 63/4. Suppose -5*o - y = 4*u - 2, 2*o - 5 = -5*u. Suppose -2*t + 0*t = u*h - 70, -30 = -2*h + 2*t. Is h a multiple of 10?
True
Suppose -48 = -5*d - 4*x, 13 + 14 = 2*d - x. Does 4 divide ((1 - d) + 3)*-1?
True
Let y(a) = -a - 4. Let t be y(-6). Suppose 2*n = 4, -t*g + 102 = 3*g + n. Does 5 divide g?
True
Suppose -3*b = 4*f - 23, -2 = 3*f - 4*b - 13. Let h(y) = 11*y + 5. Is h(f) a multiple of 20?
True
Let j(q) = -q**3 - 9*q**2 - 7*q + 9. Let p be j(-8). Let r = 1 - p. Suppose 0 = -i - r*i + 6. Is i a multiple of 6?
True
Suppose 2*h - 11 = -1. Suppose 0 = 2*f + 3*m + h, -f + 11 = -4*m + m. Is 15 a factor of f/(-18)*-3*51?
False
Let d(g) = -g**3 + 5*g**2 - g + 7. Let r be d(5). Let w(l) be the second derivative of 3*l**5/20 - l**4/6 - l**3/6 + l**2 + l. Is 8 a factor of w(r)?
True
Let a be (0 + 1)/(3/(-6)). Let p = -1 - a. Does 8 divide -4*(-1 + -3) - p?
False
Suppose 0 = f - 2*f - 7. Let n(u) = -u**2 - 9*u - 6. Does 4 divide n(f)?
True
Suppose 4*z = z + 75. Let i = -1 + z. Is i a multiple of 8?
True
Is 1*-1 + (3 - 8 - -131) a multiple of 5?
True
Let u = 15 + -11. Suppose 2*q + u*o + o = -1, 3*q = 5*o + 36. Does 4 divide q?
False
Let b(k) = -71*k - 17. Is b(-3) a multiple of 45?
False
Let y = -4 - -31. Is y a multiple of 5?
False
Suppose 2*d = -2*o + 110, 0*o = d - 3*o - 75. Does 10 divide d?
True
Let c(x) = x**2 + 5*x - 7. Let v be c(-7). Does 18 divide 2850/70 + 2/v?
False
Suppose 2*r = 3*d + 3, 3*r - 2*d = 2*r. Suppose -12 = -2*c + 3*s, -3*s + r = c + 3*c. Suppose 12 = -y + c*y. Is y a multiple of 6?
True
Let g(a) = 9*a**2 - 2*a - 5. Is 7 a factor of g(-2)?
True
Suppose 0*y = 2*y - 50. Let b be ((-4)/(-12))/((-1)/33). Let l = b + y. Is l a multiple of 5?
False
Suppose c + 2*j - 8 = 0, -4*c + 5 = j - 6. Suppose -a - c*v - 126 = -5*a, -5*v - 75 = -2*a. Does 15 divide a?
True
Suppose -8 = -2*b - 0*b. Suppose b*n = 3*i + 42, n + 7 + 7 = -i. Is (-74)/i - (-4)/(-14) a multiple of 2?
False
Let m = 2 - -3. Suppose -4*y + 7 = 5*x, y + m*x = -9 - 8. Is 5 a factor of y?
False
Let q(m) = -m + 9. Let z be q(4). Let i(u) = u**2 + 3*u + 6. Let h be i(4). Suppose z*t = 3*t + h. Is t a multiple of 7?
False
Let u(o) = -o + 1. Let k be u(-5). Suppose 0 = 4*i - 5*f + 21, 4*i + 11 = -3*f + k*f. Suppose -m + i = -16. Does 17 divide m?
True
Suppose 4*d + d = -4*b + 3, -5 = -5*b - 5*d. Suppose 0 = -o, 2*k + b = -o + 18. Does 4 divide k*1*(-2)/(-4)?
True
Suppose -y + 120 = 2*y. Does 10 divide y?
True
Let c be 3/2*(-4)/(-3). Is 34 + -2 + 0 - c a multiple of 10?
True
Let c = 31 + -45. Let y = -5 + 5. Let v = y - c. Is 11 a factor of v?
False
Let l = 2 + -6. Is l/(-6) + 400/12 a multiple of 17?
True
Suppose 0 = -10*y + 8*y + 222. Let z = y + -58. Is 20 a factor of z?
False
Let h = -87 - -225. Is 2 a factor of (-4)/(-10) + h/30?
False
Suppose 0 = 4*y - 2*y + r - 67, 4*y - r = 137. Is y a multiple of 17?
True
Let c = 15 - 19. Let b(u) = u**3 + 5*u**2 - u + 4. Does 19 divide b(c)?
False
Let r = 70 + 52. Suppose -253 = -4*a + q, 0 = a - 3*a - 4*q + r. Does 21 divide a?
True
Suppose x - 11 = -0*x. Let q(m) = 6*m - 15. Is 17 a factor of q(x)?
True
Suppose g - 263 = h, 0*g + 4*g - 1042 = -h. Does 29 divide g?
True
Suppose 0 = -4*u + 12, 3*u - 4*u - 12 = -5*r. Does 6 divide 10 - (0 + r + -3)?
False
Let i(t) = -t - 11. Let l(h) = -2*h - 23. Let p(b) = 13*i(b) - 6*l(b). Let d be p(-4). Is 2 a factor of -3*(d + 1 + -1)?
False
Let l(z) = z**3 - 2*z**2 + 2*z. Let x = -10 + 12. Does 4 divide l(x)?
True
Let v(l) be the second derivative of -l**4/8 - 4*l**3/3 + l**2 - 2*l. Let h(u) be the first derivative of v(u). Is h(-6) a multiple of 8?
False
Let g be 1/2 + (-54)/12. Does 11 divide 7/(-14) + (-174)/g?
False
Let u = 4 + 0. Let o(p) = 10*p**2 - 4*p + 4. Let j be o(3). Suppose -z - 32 = -2*m, z - u*z = -5*m + j. Does 7 divide m?
True
Let p be (-4)/14 + 20836/14. Suppose -2*z = -6*z + p. Is z/28 - 4/14 a multiple of 12?
False
Suppose -388 = -2*m + 4*v, -4 + 2 = -2*v. Suppose 5*y - y = m. Suppose -4*x + 0*s + y = 5*s, 5*s = -2*x + 37. Does 6 divide x?
True
Let x be ((-14)/(-4) - 3)*-22. Does 8 divide x*3*5/(-3)?
False
Let q be (-3 - -7)*(-1 - -3). Suppose -5*l - 4*d = -39, -4*l + 4*d = -16 - q. Suppose 0 = 2*g + 5*m - 60, l*m - 2*m = 2*g - 20. Is g a multiple of 17?
False
Let n(d) = 44*d + 1. Suppose -2 - 2 = -4*q. Is 17 a factor of n(q)?
False
Let j = 11 + -15. Let g(u) = -13*u**3 - 17*u**2 + 15*u - 3. Let h(z) = 7*z**3 + 9*z**2 - 8*z + 2. Let f(o) = 6*g(o) + 11*h(o). Does 6 divide f(j)?
True
Does 5 divide 21/14*88/6?
False
Suppose 745 = 17*l - 1873. Is l a multiple of 9?
False
Let b(j) = 2*j**3 + 4*j**2 + 2*j. Let o be b(-2). Let t = 4 + o. Suppose -3*h = -4*n - 2*h + 50, t = -2*n - 4*h + 16. Is 6 a factor of n?
True
Let m(o) = -2*o**3 - 6*o**2 - 5*o + 6. Is 38 a factor of m(-6)?
False
Suppose 0 = -2*r + 58 + 38. Let y = r + -27. Is 15 a factor of y?
False
Suppose -w - 1 = 0, 0 = -t + w + 115 + 138. Is t a multiple of 9?
True
Let f(u) = -u**3 + 6*u**2 + 9*u - 5. Let n be -1 + (-2 + 11 - 1). Is 5 a factor of f(n)?
False
Is (10/1)/(-2 + 54/24) even?
True
Let d(y) = y**2 - 12*y - 11. Let r(x) = 2*x**2 - 13*x - 12. Let g(c) = -6*d(c) + 5*r(c). Is g(-4) a multiple of 18?
False
Let a be 2/(-4)*(0 + -2). Let j = a - -8. Does 8 divide j?
False
Suppose -5*l - 40 = -5*v, 2*v = l - 0*l + 7. Is 14 a factor of 12/8*(-168)/l?
True
Suppose -3*i - 13 + 4 = 0. Is 16 a factor of 1/i - 485/(-15)?
True
Let o(p) = p + 1. Let h be o(2). Is (-1 + h)/((-2)/(-7)) a multiple of 7?
True
Suppose 0 = 2*b - 7*b + 20. Suppose -b*x = -7*x + 12. Suppose 2*l - x*l + 28 = 0. Is l a multiple of 4?
False
Suppose 5*h - 7 = 3. Suppose 0 = -h*m + 6*m - 144. Is 18 a factor of m?
True
Let g = -73 + 57. Suppose 2*w + 14 + 6 = 0. Let l = w - g. Does 6 divide l?
True
Let k(x) = -6*x - 44. Is 4 a factor of k(-8)?
True
Suppose 0 = a - 5*v - 10, -4*v = -a - 0*v + 9. Suppose a*u = -4*d + 4, 2 = 4*d - 2. Suppose -2*w + h + 36 = 4*h, -2*w + 4*h + 8 = u. Is w a multiple of 12?
True
Does 25 divide 49 + 2/(-4)*-2?
True
Let y(a) = 9*a**3 + 2*a**2 - 2*a + 6. Let w(h) = -8*h**3 - 2*h**2 + 2*h - 7. Let k(l) = 5*w(l) + 6*y(l). Is k(1) a multiple of 10?
False
Let k be 170/(-6) - 2/3. Let c = 65 + k. Is 17 a factor of c?
False
Suppose 4 = 2*x + 2*r - 6, 0 = 5*x - 2*r - 25. Suppose 3*y - 7*y = -3*m + 21, 0 = x*m + 3*y - 6. Suppose 2*z + m*z = 25. Is z even?
False
Suppose -3*m + 5*w + 380 = -45, -2*m + 296 = 3*w. Is 31 a factor of m?
False
Let d = 0 + 4. Suppose 0 = -d*m + 4*g + 112, m + 3*m - 112 = g. Is m a multiple of 14?
True
Is 48 a factor of 8/((-1)/(-6) + 0)?
True
Is 19 a factor of ((0 - -1)*1)/(1/95)?
True
Suppose 5*j + 5*n - 9 = j, -j - n + 3 = 0. Let a(q) = -q**3 + 6*q**2 - q + 4. Let p be a(j). Does 19 divide 40 + -1 + p + 1?
True
Suppose -c + 12 = 2*c. Let k be -1 + 3/(1 + 2). Suppose k = q + c*q - 25. Is q even?
False
Let j be (0 + 9)*(-1)/3. Let x = 9 - j. Does 6 divide x?
True
Suppose 9 = 3*a - 3*b + 5*b, -4*b + 7 = -5*a. Let p be ((-14)/8)/(a/8). Let g = p + 21. Is 5 a factor of g?
False
Let d be (7/1)/(2/(-4)). Let g = -31 - d. Is 5 a factor of (-1 - g)*9/12?
False
Let o(f) = f**2 + 2. Let g be o(0). Suppose 3*m + g*x = 11, -4*m + 9 = -m + 3*x. Is 3 a factor of m?
False
Suppose 4*r - 50 = g + 39, -25 = -r + 3*g. Suppose 9*a + 56 + 79 = 0. Let i = a + r. Is i a multiple of 2?
False
Let q(x) = -x**2 + x + 15. Let z be q(0). Let t = z + 0. Is 6 a factor of t?
False
Let t(y) = 2*y + 13*y**2 - 10*y + 7*y. Let v(a) = a**3 - 5*a**2 - a + 