b(o) = -o**3 + 6*o**2 + 6*o + 9. Let u be b(7). Suppose -3*d + 40 = -u*d. Is 8 a factor of d?
True
Does 7 divide -3*(11/3 + -3) + 62?
False
Suppose -109 + 1 = -3*i. Is i a multiple of 12?
True
Let l be 38/(-6) + (-10)/15. Let r(v) = -11*v + 7. Let g be r(l). Does 10 divide g/(-8)*(0 + -2)?
False
Let v(q) = -q**2 - 15*q - 14. Let t be v(-11). Suppose 0 = b + 2*b - t. Is 10 a factor of b?
True
Suppose -5*x + 37 - 3 = 3*c, -2*c = 2*x - 16. Let p = c + 11. Is 4 a factor of p?
False
Suppose -4*c - d = -3*d - 114, d = 5*c - 135. Is 21 a factor of c?
False
Suppose -4*v - 6*k + k = -182, -5*v + 5*k = -250. Suppose h = -2*h + v. Is 7 a factor of h?
False
Let y(a) = 6*a + 3. Is 14 a factor of y(5)?
False
Let x(p) be the second derivative of -p**7/840 + p**6/60 + p**5/15 + p**4/24 + p**3/6 - 3*p. Let l(k) be the second derivative of x(k). Does 7 divide l(7)?
False
Suppose 3*h = 5*m - 251, -61 = -4*m + h + 137. Is 8 a factor of m?
False
Let x(w) = -w**3 - 7*w**2 - 10*w - 8. Is x(-7) a multiple of 31?
True
Let y = -12 - -34. Does 7 divide y?
False
Let n = 28 + -24. Is n a multiple of 2?
True
Is 31 a factor of (22/22)/((-1)/(-199))?
False
Let a = -6 + 9. Suppose -92 = -3*g + 4*r, 0*r = 5*g - a*r - 146. Is 14 a factor of g?
True
Let i = -4 - -9. Let l = 4 - i. Is l*-14*(-1)/(-2) a multiple of 4?
False
Let a = 23 - 18. Suppose -i = -5*q - 16, 4*i - a*q + 2*q - 81 = 0. Is i a multiple of 21?
True
Suppose -2*u = u - 168. Let f(m) = 2*m**3 - 2*m**2 - 4*m + 2. Let o be f(2). Suppose u = 4*d - 2*d + o*a, -3*a = -d + 32. Is 21 a factor of d?
False
Let w = 3 + -7. Does 18 divide ((-27)/w)/((-6)/(-16))?
True
Let u = 8 + -6. Suppose -u*w = -14 - 4. Suppose -3*k + 0*k + w = 0. Is 3 a factor of k?
True
Let h(o) be the third derivative of 11*o**5/60 + o**3/6 - 2*o**2. Does 15 divide h(2)?
True
Let p(c) = c**3 - 12*c**2 + 12*c - 11. Let s be p(11). Let n be (0 - 0 - -2) + s. Suppose -o + n*o = 20. Does 6 divide o?
False
Let o(c) = 3*c**3 + 3*c**2 + 5*c + 4. Let k(d) = 7*d**3 + 5*d**2 + 11*d + 8. Let v(f) = -4*k(f) + 9*o(f). Is v(7) a multiple of 2?
False
Let f(g) = g**3 - 3*g**2 - 5*g + 2. Let s be f(4). Let a = s - -2. Suppose 3*r - 4*r + 40 = a. Does 14 divide r?
False
Let v(c) be the third derivative of -1/30*c**5 + 1/120*c**6 + 0*c + 2/3*c**3 + 0 + 2*c**2 - 1/8*c**4. Is v(4) a multiple of 24?
True
Suppose 0 = -5*s - 82 - 128. Let o = s - -62. Does 13 divide o?
False
Is 14 a factor of 510/18 + ((-3)/9 - 0)?
True
Let o(f) be the second derivative of -f**5/20 + 5*f**4/12 - f**3/3 - 2*f**2 - 5*f. Let r(b) = b**2 + 3*b. Let n be r(-4). Does 2 divide o(n)?
True
Let z = 5 + 0. Suppose 0 = z*w - 99 - 351. Suppose 24 = -3*u + w. Is 11 a factor of u?
True
Let x = 13 + 1. Is 6 a factor of (-2)/7 + 256/x?
True
Let w(d) = -d**3 + 5*d**2 - 3*d - 2. Let y be w(4). Let m = y - -1. Suppose 0 - m = -g. Is 3 a factor of g?
True
Let q = -62 - -125. Is q a multiple of 21?
True
Let m be 2232/28 + 2/7. Suppose 8 = y - 5*g - 8, 5*g = 5*y - m. Does 7 divide y?
False
Suppose 0 = -0*c - 3*c + 6. Let o be 1 + (c - 3 - -2). Suppose -o*f + 17 = -3*g, 3*g = 2*f - 3*f + 31. Is f a multiple of 11?
False
Let a(w) = 3*w + 8. Let c be a(-6). Let z be (-12)/(-10)*c/3. Let m(f) = -f**2 - 8*f - 5. Is 11 a factor of m(z)?
True
Suppose -k + 12 = -12. Is 3 a factor of k?
True
Let w(t) = -5*t + 4. Let v be w(3). Let l = -8 - v. Suppose -l*i - 4*j + 8 = -40, 5*i - 45 = 5*j. Is 12 a factor of i?
True
Let p = -22 + 37. Suppose p = -h + 6*h. Suppose 5*q - 40 = h*c, 4*q + 3*c - 32 = -c. Does 6 divide q?
False
Suppose -12*a = -26 - 142. Is 2 a factor of a?
True
Let d(s) = 87*s**2 + s. Let h be d(-1). Suppose -4*v = -2*f - h, 2*f = -3*v + 24 + 37. Let b = v - 10. Is b a multiple of 11?
True
Let r = -26 + 59. Is 11 a factor of r?
True
Let j(u) = 4*u**2 - 13*u - 9. Is 19 a factor of j(6)?
True
Let b = 6 + -2. Suppose 3*r = -0*z - b*z + 6, -3*r + 9 = 5*z. Suppose 2*p + 2*s + 0 = 18, -z*s - 71 = -4*p. Is 10 a factor of p?
False
Let z = -5 - -3. Suppose -6 + 2 = 4*h. Is h + 8 - 2 - z a multiple of 3?
False
Suppose 2*j - 4*p + 41 = 5*j, -p = j - 12. Let b(m) = m - 4. Let r be b(7). Is 5 a factor of j*4*r/6?
False
Let o(l) = l**3 - 2*l + 1. Let z be o(1). Is (-7 + 38)*(z + 1) a multiple of 6?
False
Suppose -106 = -4*k + 3*t, -37 = -k - 2*t - 16. Suppose 4*y - 1 = 15. Suppose -y*l = l - k. Does 2 divide l?
False
Is 11 a factor of (3 - (-51)/(-6))*-6?
True
Let q(o) = -o - 9. Let c be q(7). Let y = c + 31. Is y a multiple of 4?
False
Let t = 0 - -2. Suppose -2*y + 0*h + 58 = -h, 2*y = -t*h + 46. Is y a multiple of 9?
True
Let v be 7 + -4 - (1 - 5). Let o = -1 + v. Let n = 17 - o. Is n a multiple of 9?
False
Let p be 1 - (-34)/(-2)*-1. Suppose 0*c = 3*c - p. Does 4 divide (-3 + 0)*(-8)/c?
True
Suppose -3*q + 2*q - 53 = -5*n, -4*q = -2*n + 32. Is 2 a factor of n?
True
Suppose -2*x - 358 = -3*f, -5*x = -2 - 3. Is 20 a factor of f?
True
Let k = -2 + 4. Suppose -l = -k*l + 18. Is 4 a factor of l?
False
Let c(o) = -2*o + 4. Let k(p) = -p + 2. Let g(v) = -6*c(v) + 14*k(v). Does 6 divide g(-4)?
True
Suppose 4*u + 38 = 6*u. Is 6 a factor of u?
False
Let q be (-1 - -11)/(3 - 1). Let l(v) = -6*v - 1. Let n be l(q). Let k = n - -53. Does 9 divide k?
False
Suppose -3*j + 9 = -0*j. Suppose -350 = -5*c - 2*q - j*q, 0 = -2*c + 5*q + 175. Does 25 divide c?
True
Let c be 4/18 - (-80)/(-36). Let a(t) = t**3 + t**2 + t - 1. Let m(k) = k**2 - 2*k + 2. Let j(r) = -2*a(r) - m(r). Is j(c) a multiple of 2?
True
Let j(h) = -h**3 - 10*h**2 - 12*h - 6. Let y be j(-8). Let i = y + 62. Does 20 divide i?
False
Let i(c) = -4*c**3 - 2*c**2 - 2*c - 1. Let r be i(-1). Let b = 12 - r. Is b a multiple of 5?
False
Let c(f) = -192*f**3 + 1. Let u be c(-1). Suppose 0 = 3*d - 40 + u. Let r = 87 + d. Is r a multiple of 18?
True
Let c(i) be the second derivative of -i**3/6 + 13*i**2 - 3*i. Is c(0) a multiple of 13?
True
Let g = 13 + 12. Suppose -3*y = -w - g, 0 = -4*y + 5*y + 3*w - 5. Does 4 divide y?
True
Suppose l + 680 = 8*m - 3*m, 400 = 3*m + l. Does 15 divide m?
True
Let p(q) = -q**3 - 6*q**2 - q + 9. Let f(v) = -v**2 + 2*v + 2. Let x be f(4). Does 6 divide p(x)?
False
Let u be (-10)/(-4) + 3/6. Suppose -g - 81 = -u*g - 3*o, 5*o = -4*g + 165. Does 18 divide g?
False
Let o(q) = 3*q**2 + q - 6. Let u(p) = -3*p**2 + 5. Let k(b) = -5*o(b) - 6*u(b). Let a be k(-4). Let m = -40 + a. Does 11 divide m?
False
Suppose -3*m = -5*n + 107, -2*n - n + 4*m = -62. Is n a multiple of 4?
False
Suppose -2*r = -0*r + 2*o - 6, -o = -r + 1. Suppose 2*a + r*h - 3 = 1, 5*a - 2*h = -4. Suppose y - 4*l - 20 = l, a = -5*y + 3*l + 34. Is y even?
False
Let q = 9 + -6. Let o(f) = -6*f**2 - 6 - 16*f**q - 3*f + 14*f**2 + 15*f**3. Is o(7) a multiple of 11?
True
Suppose -2*o - 5*g - 69 = 0, 0 = o - 5*g + 60 + 12. Let u = -23 - o. Is u a multiple of 21?
False
Let o = 0 + -3. Let v be (50/6)/((-1)/o). Suppose -v = -4*t + 79. Does 13 divide t?
True
Let a = 63 - 88. Let n = a + 39. Is n a multiple of 14?
True
Let i(j) = j**3 + 10*j**2 - 10*j + 11. Let u be i(-11). Let f(w) = u*w + w - 7 - 3*w. Is 2 a factor of f(-6)?
False
Let g = -46 + 100. Is g a multiple of 11?
False
Let k be (1 + (-21)/9)*-6. Suppose -h - h = -k. Is h a multiple of 2?
True
Let c(a) = -a**3 - 2*a**2 - 5*a + 3. Let y = -15 - -11. Let j be c(y). Suppose -q - 4*q + j = 0. Is q a multiple of 11?
True
Suppose 0*w = -3*w + 4*s + 671, -2*s = -2*w + 446. Does 14 divide w?
False
Suppose -b - 6 + 32 = 5*n, -3*b + 18 = 3*n. Suppose -n*u + 4*z + 160 = -z, 6 = 3*z. Is 17 a factor of u?
True
Let t(w) = -w**2 + 9*w - 4. Let j be -1 - (2 - (-2)/(-1)). Let y be 2*j - 70/(-10). Is t(y) a multiple of 16?
True
Suppose -2*y = -5*t - 5*y + 212, 208 = 5*t + 2*y. Does 10 divide t?
True
Suppose 0 = -4*y - 46 + 370. Is y a multiple of 27?
True
Suppose 2*r = 6*r. Suppose 0 = 2*j + a - 30, 5*j - 2*a + a - 61 = r. Does 13 divide j?
True
Suppose -70 = 7*j - 2*j. Let f = -10 - j. Suppose 3*b - 11 - f = 0. Is 5 a factor of b?
True
Let p(n) = -n**2 - 13*n + 7. Let c be p(-13). Let h = -1 + c. Is h a multiple of 3?
True
Let i be 6/2 + -3 + 2. Suppose i*z - 9 = z. Is z a multiple of 9?
True
Let u(k) = -5*k**3 - k**2 + k - 1. Let y be u(1). Does 14 divide (y/(-9))/((-2)/(-177))?
False
Let p(t) = -t**3 + 5*t**2 + 6*t. Let j be p(6). Suppose -3*n = -4*b + 24, 4*b 