s 8 divide i?
False
Let g be 8*(1 - 1/2). Suppose -3*m = -d - 25, 9 = -5*m + g*d + 53. Does 8 divide m?
True
Let a be (-27)/(-6)*2/3. Suppose -32 = -a*j + 4*u, j - 3*u = 4*j - 39. Is 12 a factor of j?
True
Let n = 102 - 66. Is 12 a factor of n?
True
Let f be (0 - (-9)/(-6))*-2. Suppose 3*x - 2*x - 4*g + 38 = 0, -171 = 4*x + f*g. Let n = -25 - x. Is 11 a factor of n?
False
Suppose h - 19 = -3*l, 0 = 3*h - 0*h + 2*l - 57. Is 6 a factor of h?
False
Suppose 0*l = -4*l + 2*z + 200, 5*l - 247 = 4*z. Let p = l + 5. Is 72/(-14)*p/(-6) a multiple of 21?
False
Let x(v) = -6*v + 4*v**3 - 5*v**2 - 3*v**3 + 3*v**2 + 1. Suppose -i + 10 = -2*o, -3*o = 2*i + o + 4. Is 4 a factor of x(i)?
False
Let z(p) = p**3 - 12*p**2 - 8*p - 14. Does 15 divide z(13)?
False
Suppose 3*k = 11 - 2, 4*r = -5*k + 55. Suppose -2*n - 2*n = -80. Let z = n - r. Is 5 a factor of z?
True
Suppose 15 = 6*r - 3*r. Is (-3)/(30/(-16))*r a multiple of 4?
True
Suppose 2 = 2*u - u. Let n be (u - 0) + (-13)/(-1). Is 1*(n/3 + -1) even?
True
Let s = 64 + -60. Let m = -7 + 3. Is 11 a factor of (3/m)/(s/(-176))?
True
Suppose 4*l - 176 = -20. Is 13 a factor of l?
True
Let h(j) = -j**2 + 10*j - 10. Let v = 9 + 13. Let b = -15 + v. Is h(b) a multiple of 11?
True
Let g = -1 - 12. Let p = -65 + 43. Let c = g - p. Does 9 divide c?
True
Suppose -4*t + 1613 = l, -3*t - 4*l = -0*l - 1200. Is 37 a factor of t?
False
Let w be 3 + -7 + 4/(-4). Let g = 45 + w. Does 20 divide g?
True
Let n(g) = g**2 - 1. Let o(k) = 5*k**2 + k - 6. Let p(a) = 4*n(a) - o(a). Let z be p(0). Is (z/(-4))/((-4)/112) a multiple of 6?
False
Let p(v) = v**3 - 18*v**2 + 22*v + 7. Does 23 divide p(17)?
True
Let o(j) = j + 2. Let m be o(4). Let c = m + -20. Let y = c - -40. Does 10 divide y?
False
Let m(b) = -b**2 - b + 1. Let o(t) = 8*t**2 + 5*t - 3. Let s(k) = -6*m(k) - o(k). Let f(p) be the first derivative of s(p). Does 17 divide f(-4)?
True
Does 18 divide -2*81*(-8)/12?
True
Let i = -6 + 9. Let w(h) = i + 1 - 7*h**2 - h**2 + h**3. Is w(8) even?
True
Let c(g) = g**2 - 6*g - 2. Is 20 a factor of c(-4)?
False
Let z(v) be the second derivative of -11*v**8/6720 - v**6/720 - v**4/6 + v. Let b(q) be the third derivative of z(q). Does 10 divide b(-1)?
False
Is -4 - (22*-2)/2 a multiple of 6?
True
Suppose -3*k + 4*o = 0, 2*k - 13 = -2*o + 1. Suppose 0 = 4*a + k*c - 52, 4*a - 60 = 3*c + c. Is a a multiple of 10?
False
Suppose w + 3*w = 0. Suppose w*d + 33 = -2*d - 3*b, -2*b = d + 18. Is -124*-2*(-3)/d a multiple of 20?
False
Let l(j) = 3*j + 2. Let f be l(2). Suppose 4*a - f*a + 72 = 0. Is 86/a - (-6)/27 a multiple of 5?
True
Is 27 a factor of (2 + -71)*(4 - 7)?
False
Let i = 28 - 21. Does 7 divide i?
True
Does 21 divide (-375)/(-18) + 4/24?
True
Is 10 a factor of 61 + 1*(4 - 5)?
True
Suppose r + 5*j + 4 = -1, -5 = 4*r + 5*j. Suppose -z - 2*z + 30 = r. Does 10 divide z?
True
Let t(g) be the first derivative of g**7/840 + g**6/72 + g**5/120 - g**4/6 + 4*g**3/3 + 4. Let h(y) be the third derivative of t(y). Is h(-4) a multiple of 8?
True
Let y be (-4)/(-5)*(-10)/(-4). Let d be (-2)/(1/3*y). Is 0/2 + (-57)/d a multiple of 16?
False
Let q(t) = 16*t - 11. Let z be q(7). Let k = z - 50. Is k a multiple of 10?
False
Let x(m) = -3*m - 15. Is 3 a factor of x(-6)?
True
Suppose -w - q = -7, 4*w - 5 = -w + 5*q. Let f be 27 + 2/(-1) - 2. Suppose o + 0*n + n = f, 0 = -3*o - w*n + 74. Is o a multiple of 5?
False
Suppose 4*w + 2 = -2*i, 5 = -4*w + i - 6. Suppose -2*q = 13 - 53. Is 9 a factor of 0 + 0 + w + q?
True
Suppose -p - 3 = -5*j - 1, p = 4*j. Let x(h) = 5 + 0*h - p*h - 4. Is 4 a factor of x(-1)?
False
Let g be 2/3 - 10/6. Let p be (g - 2/(-2)) + 3. Suppose p*s = 4*y - 2*s - 42, 5*y - s - 63 = 0. Is 13 a factor of y?
True
Let o(h) = -5*h**3 - 3*h**2 + h + 3. Is 36 a factor of o(-3)?
True
Suppose -5*j + 3*m = -3*j + 153, -j - 75 = -m. Let z = -42 - j. Is 9 a factor of z?
False
Let n = -10 - -14. Let m(g) = g - 1. Let x(p) = 6*p + 1. Let o(u) = n*m(u) - x(u). Does 15 divide o(-10)?
True
Let g(y) = -y**2 + 15*y. Does 18 divide g(6)?
True
Suppose -o + 4*u - 3 = 5*u, 3*o - u = 3. Let p = -14 - -18. Suppose -p*t + 2 = -3*n - o*n, 3*n = 5*t - 7. Is 3 a factor of n?
True
Let b = -4 + 6. Is b a multiple of 2?
True
Let c = 21 + 171. Does 48 divide c?
True
Suppose -2*c = -6*c - 16. Is 14/4*c/(-7) even?
True
Let m = 15 + 0. Is 5 a factor of m?
True
Suppose 16 = -4*z - 4*n, n = 2*z + 1 + 4. Let l = z + 6. Suppose l*q = -0*q + 36. Does 12 divide q?
True
Let m(l) = l - 2. Let f be m(5). Does 15 divide (-178)/(-6) - (-1)/f?
True
Let i = -35 - -62. Is i a multiple of 9?
True
Let p(u) = u + 5. Let o be p(-5). Suppose o = -6*t + 5*t + 2. Let z = t + 14. Is z a multiple of 16?
True
Suppose 2*j - 420 = -3*j. Is j a multiple of 14?
True
Let y be 6/(-9) + (-1)/3. Let f(d) = -15*d - 1. Let k be f(y). Is 2 a factor of k + -7 - 1*2?
False
Suppose -5*r = r - 72. Let y = 2 + -4. Is 5 a factor of (16/r)/(y/(-15))?
True
Is (-2)/((-1)/(-26)*-4) a multiple of 3?
False
Suppose q + 5*q - 600 = 0. Is q a multiple of 20?
True
Is 6 a factor of (2 - -14*1) + (-6 - -2)?
True
Let x be ((-6)/4)/(1/(-10)). Suppose -3*j + 87 = 2*n, -x + 3 = -4*n. Is 11 a factor of j + 2 + 2*-1?
False
Suppose -48 - 66 = -3*q. Suppose -4*w + 3*a = -118, -5*a = -w - 0*w + q. Is 14 a factor of w?
True
Suppose -2*h = 26 - 90. Let q = h - 19. Does 4 divide q?
False
Let k(r) = 2 + 0 - 8*r - 3 + 0. Does 3 divide k(-1)?
False
Let u be (-2)/7 + (-48)/(-21). Suppose 2*q + 0*h = u*h + 56, -q + 2*h + 30 = 0. Is q a multiple of 13?
True
Let d(x) = 8*x + 15. Does 8 divide d(5)?
False
Suppose 0 = -4*x + 4*z - 5 + 1, 0 = -x - 4*z + 14. Suppose -k + x*f = -11 - 11, f = -3*k + 66. Is 6*(k/3 + -2) a multiple of 15?
False
Suppose 5*s - 35 = -0*s. Let f(v) = -8*v**2 - 1 + 3*v**2 + v**2 - 4*v + v**3 - 2*v**2. Is f(s) a multiple of 9?
False
Suppose 13 = -3*l - 4*q, 2*l + 0*l + 3*q = -10. Is 0 - -6 - -2*l even?
True
Let c = -165 + 272. Is 42 a factor of c?
False
Let d be ((-3)/2*-10)/1. Let o = d - 8. Is o a multiple of 3?
False
Let w = 14 - 11. Is ((-1)/w)/((-6)/486) a multiple of 9?
True
Let j(s) = -s**3 + 6*s**2 - 3*s - 6. Let x be j(5). Suppose 0 = x*k + y - 75, 2*y - 38 + 8 = -2*k. Suppose -5*p = -3*p - k. Does 5 divide p?
True
Let p be ((-2)/(-12))/((-9)/(-54)). Does 5 divide 42/(-63)*-15*p?
True
Suppose 2*b = -0*b + 4*o + 4, 0 = 3*b - 3*o. Let g(r) = -4*r**3 + r - 2. Is 8 a factor of g(b)?
False
Let v be (1*14)/(-2)*-1. Suppose -17 = -n + v. Does 13 divide n?
False
Let x be 2/(-4)*(35 + 1). Let a be 4/x + 418/18. Suppose -7 = -2*c + a. Is 15 a factor of c?
True
Suppose 4*x + 20 = 0, 4*x + 8 = -5*i + 3. Is 2 a factor of i?
False
Suppose -5*u + 32 = -38. Is (44/u - 0)*7 a multiple of 13?
False
Suppose -5*d + 52 - 2 = 0. Is 9 a factor of d?
False
Suppose -47 + 0 = -x + 2*b, 0 = -3*x + 5*b + 138. Suppose -m - 3*m - 2*p + 66 = 0, -4*m = -3*p - x. Is 7 a factor of m?
True
Let a(u) = u**2 - 15*u - 10. Let f be a(16). Suppose -2*j + f*j = 156. Does 21 divide j?
False
Let m(r) = -2*r**2 - 5*r - 7. Let c be m(-3). Is (-315)/(-25)*c/(-2) a multiple of 16?
False
Is (-6)/(-18) - 87/(-9) a multiple of 10?
True
Let d = 3 + -3. Suppose g - 2 + d = 0. Suppose m + 4*u + 2 = g*u, -3*u = -4*m + 47. Is m a multiple of 3?
False
Suppose -c - 4 = 4*d, d - 20 = -c - 9. Suppose 2*l + c = i + i, -l = 3*i - 24. Let f = 12 - i. Is f a multiple of 2?
True
Let o be (52/6)/(8/12). Suppose 0 = 2*c + 115 + o. Let i = c - -125. Is 22 a factor of i?
False
Let m = -28 - -13. Let b = m + 21. Let k = b - -6. Is k a multiple of 12?
True
Suppose -5*k = -4*t + 31, 5*k + 19 = -3*t + 4*t. Let h(d) = 5*d**2 - 7*d - 2. Does 16 divide h(t)?
False
Let x(r) be the third derivative of r**5/30 - r**4/4 - 7*r**3/6 + 2*r**2. Is 4 a factor of x(5)?
False
Let w = 136 - 78. Does 20 divide w?
False
Suppose 2*r - 1 = 3. Suppose 4 + r = 2*v. Is 7 a factor of 6/(-18) + 43/v?
True
Suppose 3*x + 4 = 1. Let y(w) = -6*w + 1. Does 4 divide y(x)?
False
Suppose -2*y - 47 = -3*y. Suppose 3*r - 96 = -0*r. Let f = y - r. Is 4 a factor of f?
False
Does 54 divide ((-331)/(-2))/(28/56)?
False
Let n(j) be the second derivative of -j**3/6 + 3*j**2/2 + 2*j. Let u be n(-4). Suppose -4*z + 40 = -5*p, -3*z + 2*z - u = 3*p. Is z a multiple of 5?
True
Let p(h) = h**3 + 6*h**2 - 2. Let w be p(-4). Suppose -