oes 14 divide w?
False
Let q(v) = -4*v - 4. Let l be q(-10). Is 11 a factor of 6/27 + 1396/l?
False
Is 16 a factor of (-64)/(3/(3/(-2)))?
True
Let a = -357 - -717. Suppose 160 + a = 5*r. Suppose d - 1 = 0, -4*o - 7*d = -3*d - r. Is o a multiple of 9?
False
Let d be (-7 + 0)*(-3)/3. Let c = 21 - d. Is 4 a factor of c?
False
Suppose -2*c = 2 + 6. Let s(l) = -2*l**3 - 5*l**2 + 4*l + 3. Let z be s(c). Suppose z = 6*o - o. Is 4 a factor of o?
False
Suppose 3*u - 15 = -2*p, -2*p - 2*u = -6*p - 10. Let n(y) = -y**3 + 2*y**2 + 35 - 7 - y**2 + y. Does 12 divide n(p)?
False
Suppose 3*h - 5*z = -10, 1 - 5 = -2*z. Let q be (-3 - h)/(6/(-80)). Suppose -22 = -2*r + m, -r + 5*m = -6*r + q. Is 10 a factor of r?
True
Let u(k) = -k + 4. Let l be u(0). Suppose 0 = 5*r - l*r - 17. Is r a multiple of 17?
True
Let r(s) = -41*s - 1. Let n be r(-2). Let j = 45 - n. Let p = -4 - j. Does 12 divide p?
False
Let o(y) = -8*y. Let u be o(-1). Suppose u*p - 114 = 5*p. Is 27 a factor of p?
False
Let g(m) = m**3 - 9*m**2 + 2. Let v be g(9). Is 2 a factor of 112/20 - v/(-5)?
True
Let d(h) = -h**2 + 8*h - 7. Let m be d(7). Let c(n) = -2 + m*n - 2*n + 10. Is 7 a factor of c(-6)?
False
Let f(m) = 3*m + 34. Does 38 divide f(14)?
True
Suppose -3*m - 480 = -7*m. Suppose t = -5*a + 105, 0 = 2*a + 3*a - 2*t - m. Is a a multiple of 11?
True
Suppose 0 = -4*i + i, 3*i = -2*a + 74. Let j = a + -20. Is j a multiple of 8?
False
Let v be 3 - (-2 - (-6)/3). Suppose 37 = 4*n + n + 2*y, -n - v*y = 3. Is n a multiple of 4?
False
Let r(z) = z**2 + 8*z - 9. Does 15 divide r(4)?
False
Let t(j) = 8*j - 17. Is t(4) a multiple of 4?
False
Suppose k + k + 5*o = 59, o - 22 = -k. Is k a multiple of 17?
True
Let x(k) = -2*k**3 - k**2 + 2. Let j = 4 + 0. Let i be (-64)/28 + j/14. Does 14 divide x(i)?
True
Suppose 3*z - 110 = -a - 2*z, 0 = -4*a - z + 421. Is 7 a factor of a?
True
Let o be (3 - 7/(-1))/2. Let j(r) = 3*r - 3. Is j(o) a multiple of 4?
True
Let k = -27 + 91. Let f = -10 - -18. Suppose w + f = k. Does 22 divide w?
False
Let x be (-2)/((3 + -1)/(-2)). Let a be 10/4 - x/4. Suppose a*p + 18 = 3*p. Is p a multiple of 7?
False
Let j be (2 - (-63)/6)*6. Let y = -32 + j. Is 20 a factor of y?
False
Let a = 87 + -44. Suppose 4*y + 19 = a. Does 5 divide y?
False
Suppose -2*g - 2 + 192 = 0. Does 21 divide g?
False
Let z(v) = v**2 + 3*v + 1. Let d(b) = b**3 - 2*b. Let p be d(-2). Is z(p) a multiple of 3?
False
Suppose -309 = 2*x + 2*x + 3*g, -79 = x - g. Let m = x - -37. Let z = -27 - m. Is 12 a factor of z?
False
Suppose y + 10 = -3*u, 7*y - 2*y - 2 = -2*u. Let w(v) be the third derivative of -v**4/3 + v**3/3 - v**2. Is 15 a factor of w(u)?
False
Suppose 3*x - 316 = -3*a + 68, 0 = x - 5*a - 128. Does 27 divide x?
False
Let i(n) = -6*n**3 + n. Let c be i(-1). Suppose 0 = c*t - 64 - 61. Suppose -t + 177 = 4*h. Is 19 a factor of h?
True
Suppose 0 = 5*s + 3*i + 9, -4*s - i - 1 = 2. Suppose 2*p - 4*p + 36 = s. Is 11 a factor of p?
False
Let x(v) = -v**2 + 8*v - 9. Let n be x(5). Is 2 a factor of 38/n - (-9)/(-27)?
True
Suppose 3*p = -0*p - 6. Let y = 1 - p. Suppose -6 = f - 2*j, -f - y*j + 27 = 2*f. Is 4 a factor of f?
True
Suppose 56 - 8 = 3*r. Is r a multiple of 13?
False
Let s(z) = 5*z**2 + 3*z - 4. Let t = 6 - 9. Is 16 a factor of s(t)?
True
Let x = 144 - 106. Is x a multiple of 7?
False
Let n = 8 - 2. Let q(a) = -a**3 + 6*a**2 + 5. Does 3 divide q(n)?
False
Suppose 5*v = 4*o - 0*v - 376, -5*v + 317 = 3*o. Is 2/(-2) + o/3 a multiple of 16?
True
Suppose -4*z = -5*n + 56, -2*z - 2*n + 4*n = 28. Let w = z + 42. Is 14 a factor of w?
True
Let v = -257 - -682. Is 17 a factor of v?
True
Let o = -77 + 121. Is o a multiple of 11?
True
Suppose 6 - 18 = -6*w. Let d(n) = 85*n**2 + n. Let m be d(-1). Suppose 4*c - w*c - m = 0. Is 16 a factor of c?
False
Is 5 a factor of 6/(-36) + (-181)/(-6)?
True
Let a = 4 + -3. Does 3 divide (a + 5)*(-7 + 8)?
True
Let b = -13 + 18. Suppose -3*n = -4*w - 2*n + 325, -b*n = 2*w - 179. Is w a multiple of 20?
False
Is 664/4*9/6 a multiple of 28?
False
Suppose -3*y - 4*c - 3 = 0, 3*y - c - 9 = y. Suppose -y*h + 0*h + 12 = 0. Suppose -80 = -o - h*o. Is o a multiple of 16?
True
Let r(w) = -w**3 - 3*w**2 + 4*w + 3. Let h be r(-4). Suppose -252 + 96 = -h*d. Is 18 a factor of d?
False
Let u(y) be the third derivative of y**8/5040 + y**7/1260 - y**6/720 + y**5/30 + 3*y**2. Let h(v) be the third derivative of u(v). Is h(-4) a multiple of 12?
False
Suppose g + 2*i = 50, -4*g = -2*g - 2*i - 130. Does 12 divide g?
True
Let o(q) = -q**3 + 6*q**2 + 18*q + 3. Does 5 divide o(8)?
False
Does 7 divide 2624/80 - (-1)/5?
False
Let a = 65 + -20. Is 9 a factor of a?
True
Suppose 0 = -0*m - 2*m - 2*d + 14, -m = -d - 1. Suppose m*v - 5*p - 1 = 60, 0 = 2*p - 6. Is v a multiple of 18?
False
Let i(m) = -2*m - m - 9 + 2*m. Let r be i(-6). Is -3*(-1)/(r/(-4)) even?
True
Let x(b) = -b**2 - 5*b - 2. Suppose 4*f + 1 = -15. Let r be x(f). Is 24 a factor of 2/r + (-69)/(-3)?
True
Let j(v) be the second derivative of 2*v**3 - 2*v**2 - v. Is 14 a factor of j(5)?
True
Let m = -91 - -194. Does 29 divide m?
False
Let i(x) = 4*x**2 - 2*x - 2. Suppose -10 + 4 = -b. Let v be i(b). Suppose 0 = -0*t - 5*t + v. Is 18 a factor of t?
False
Suppose -1 = 4*s - 9. Let x = 2 + s. Is 4 a factor of x?
True
Let n(r) = r**3 - 10*r**2 + 14*r - 12. Let w be n(9). Suppose -3*f - 2*q = -0*q - w, -3*f + 3*q + 18 = 0. Is f - (0/3 + 0) a multiple of 9?
True
Suppose -6 = 3*w + 18. Let z = w + 22. Is z a multiple of 8?
False
Let f(o) = o - 6. Let u be f(6). Suppose 2*g + u*g = 90. Suppose -3*a + 51 = 5*h, 0 = 4*a - 2*h + h - g. Is 6 a factor of a?
True
Suppose q - 3*q + h = -26, -4*h - 62 = -5*q. Suppose 3*y - 2*i = q, -4*y + 7*i - 4*i = -17. Does 8 divide y?
True
Suppose -o = -m - 15, 3*o + 3 = -4*m - 57. Is (-891)/m + 2/(-5) a multiple of 12?
False
Let j = 0 - -32. Does 16 divide j?
True
Suppose 2*v + q = -0 + 2, v = 3*q + 1. Let g(z) = 2 + 8*z**3 + z**2 + 1 - 4. Is 8 a factor of g(v)?
True
Let t(x) be the second derivative of 1/2*x**3 + x + 0 + 1/2*x**2. Does 5 divide t(3)?
True
Suppose 5*i - 5*f = -105, 2*i + 3*f + 12 + 25 = 0. Is 14 a factor of 28/((24/i)/(-3))?
True
Let i(j) = j**2 + 2*j - 4. Let p be i(6). Suppose p = 3*o - o. Is o a multiple of 11?
True
Suppose -3*j + 2*m = m - 6, 0 = 2*j + 5*m - 4. Suppose -l - 44 = -j*l. Is 22 a factor of l?
True
Let o(c) = -c**3 + 5*c**2 - c. Let u be o(5). Does 2 divide 26/10 + (-2)/u?
False
Let p(f) = 2*f**2 + 3*f - 19. Let r be p(10). Let s = r - 149. Does 17 divide s?
False
Suppose -5*n - 2*a = 2*a + 1167, 4*a - 1143 = 5*n. Let i be n/12 - (-6)/(-8). Is 9 a factor of i*(3/15 + -1)?
False
Let i = -5 + 9. Let l(h) = 11*h + 9. Let b(z) = 7*z + 6. Let x(o) = 8*b(o) - 5*l(o). Is x(i) a multiple of 7?
True
Let t(a) = a - 37. Let b be t(0). Let m = -20 - b. Is m a multiple of 17?
True
Let k = 30 - 28. Is 9 a factor of 5/(20/164) + k?
False
Let i(b) be the second derivative of -b**5/20 + 11*b**4/12 + b**3/6 - b**2 + 3*b. Is 7 a factor of i(11)?
False
Let t be ((-4)/5)/((-4)/10). Suppose -5*q - t*j = -50, -15 + 5 = 2*j. Is (-23)/(-3) - (-4)/q a multiple of 4?
True
Let q(m) = -m - 2. Let z be q(-9). Suppose z*y - 2*y = 300. Is y a multiple of 20?
True
Let w be 2/2 - 6/(-3). Suppose -z = -w*z + 14. Is z a multiple of 6?
False
Suppose -3*w = -2*y - 119, -3*w - y = -24 - 92. Does 9 divide w?
False
Suppose -w + g - 12 = -3*w, 3*w - 5*g + 8 = 0. Is 13 a factor of 37/(w - 3/1)?
False
Suppose 0 = -4*l + 6 + 2. Suppose 4*c + l*m - 4*m - 24 = 0, -5*c + 28 = -2*m. Is c a multiple of 2?
True
Suppose 0 = -5*c - q + 171, -q + 35 = -0*c + c. Suppose 0 = 4*j + 14 - c. Is 4 a factor of j?
False
Suppose -c + 0 = 3*k - 2, 2*k + 2*c - 4 = 0. Suppose k*p - 6 = -2*p. Suppose u = -y + 18, 34 = y + p*u + 2*u. Does 7 divide y?
True
Suppose 0 = 2*w - 5*s + 5, -5*s - 2 = -3*w - 7. Let k = 11 - 7. Suppose -k*d = -3*n - w*n + 87, 0 = -5*d. Does 18 divide n?
False
Let g be ((-21)/(-6))/7*2. Suppose 26 = -d - d - 2*p, 0 = -4*d - 2*p - 42. Is g/(-4) - 66/d a multiple of 8?
True
Suppose -n - 15 = -3*r, -r + 0*n + 1 = n. Let k(l) = 2*l - 3. Let t be k(r). Suppose 0 = 4*x - 2*f - 32, 0*x - 2*x = -t*f - 32. Is 6 a factor of x?
True
Suppose 233 - 13 = 4*k. Suppose -2*x = 3*x - k. Is x a multiple of 4?
False
Let x(u) = 4*u**2 + 5 - u - 3*u**2 -