vide k?
False
Suppose 3*k + 2*p - 262 = 0, -15*p + 20*p + 143 = 2*k. Is 8 a factor of k?
False
Let m(g) = 2*g - 3. Let w be m(3). Let f = 1 + w. Suppose 0 = p + f*u - 64, 0 = 3*p + 2*p + u - 225. Is p a multiple of 17?
False
Suppose 3*q = 2*r - 6, q = -r - q - 4. Suppose r = -3*z + 2*w + 3, 2 + 7 = 3*w. Let f(c) = c**2 + 3*c + 3. Does 8 divide f(z)?
False
Let h(t) = -1 - 1 - 3 + 15*t. Let l be h(-4). Let n = 91 + l. Is 11 a factor of n?
False
Let p = 17 - -155. Suppose -5*m - 2*h - 643 = -p, 5*h - 450 = 5*m. Is (-2)/(-4) + m/(-6) a multiple of 8?
True
Let v = -26 + 36. Let q(t) = -t**2 + 11*t + 9. Is 14 a factor of q(v)?
False
Let j = -35 - -49. Does 14 divide j?
True
Let f(b) = 4*b**2 - 4*b + 7. Let g(d) = -5*d**2 + 4*d - 8. Let k(i) = -6*f(i) - 5*g(i). Is 22 a factor of k(-8)?
False
Suppose 0 = -4*f + 5*l + 718, 0 = -5*l + 7 + 3. Suppose 4 - 2 = u. Is u/(-6) - f/(-6) a multiple of 15?
True
Suppose 4*p + 36 = 5*w, -5*w - 2*p + 12 = -0. Let u be 1/w*2*-2. Is 4*(u + (-21)/(-2)) a multiple of 11?
False
Let m = -24 - -36. Is m a multiple of 12?
True
Suppose -12 = 2*q + 24. Let f = q + 38. Suppose 6*k = 4*k + f. Does 10 divide k?
True
Let p = 5 + -3. Is 7 a factor of 196/(-21)*(-3)/p?
True
Let x be ((-3)/(-2))/((-2)/(-4)). Suppose 6 = -t + x*t. Suppose -3*z - t*d = -81, -2*z + 50 = 3*d + d. Is z a multiple of 14?
False
Suppose x - 120 = -3*x. Suppose 3*a + 3*z = x, a + 0*a + 14 = 5*z. Is a a multiple of 3?
True
Suppose v = 57 - 7. Suppose -2*x + 3*x - v = 0. Is x a multiple of 10?
True
Suppose 2*l = -12 + 116. Is l a multiple of 36?
False
Let u(s) = s**3 + 2*s**2 + s. Let t be u(-1). Suppose -3*d = -6, -g + 4*d = -t*d + 64. Let r = -18 - g. Is r a multiple of 21?
False
Let f = -3 + 3. Let t(c) = -5 + 13 + 5 + c. Is t(f) a multiple of 13?
True
Let v(w) = -8*w + 0 + w**2 - 2 + 4. Let u be v(9). Suppose s - u = -i - 3, 4*i - s = 47. Does 3 divide i?
False
Let s be (0 + -1 - -62)*3. Let u = s - 130. Is u a multiple of 18?
False
Suppose 5*z + 4*z = 567. Does 9 divide z?
True
Suppose 8*t - 15 = 3*t. Let m = t - -4. Is m even?
False
Suppose 3*m + 9 = 3*c, -m - 2*m - 19 = -5*c. Suppose -p + 3 + m = 0. Is 5 a factor of p?
True
Let g(b) = -2*b - 1. Let c be g(-2). Suppose c*k = -k + 284. Is k a multiple of 24?
False
Suppose -2*b - 2*s + 3 - 1 = 0, 16 = -4*s. Does 5 divide b?
True
Let l(o) = -o - 5. Suppose 6*r - 18 = 2*s + 2*r, -8 = -2*r. Let w(h) = -1. Let q(c) = s*l(c) - 3*w(c). Is 7 a factor of q(6)?
True
Let m = -14 + 19. Is m a multiple of 4?
False
Is 2/((-9)/(-45) - (-2)/15) a multiple of 2?
True
Suppose 5*p - p - 5*n + 2 = 0, -7 = 5*p - 4*n. Let a(v) = v**3 - v**2 - 3*v - 3. Let r be a(p). Let h = -11 - r. Is h a multiple of 19?
True
Let i(h) = h**2 - 12. Does 24 divide i(6)?
True
Suppose -5*v + 3 + 17 = 0, 0 = -4*o + 4*v + 152. Is o a multiple of 14?
True
Let t(y) = -y**2 + 9*y - 9. Let o be t(7). Suppose 0 = -5*p + a + 33, o*p = 2*a + 2*a + 42. Is 3/p*2 + 40 a multiple of 27?
False
Let m(w) = w + 7. Let n(t) = -t**2 - 1. Let f be n(2). Let i be m(f). Let s = i - -2. Does 4 divide s?
True
Is 15 a factor of (30/(-4))/((-2)/4)?
True
Let c(w) = 9*w - 12. Suppose -15 = -3*l + 3*v, -5*l - 3*v - 2*v + 15 = 0. Is 8 a factor of c(l)?
True
Let v be -4 + 0 - (-4 + 0). Suppose -4*q + 111 - 19 = v. Is 23 a factor of q?
True
Suppose 3*s = -3*s + 264. Is s a multiple of 20?
False
Suppose -4*c + 0*j + 96 = 2*j, 3*j - 72 = -3*c. Is 8 a factor of c?
True
Let q(c) be the third derivative of -c**4/24 - c**3/3 + c**2. Suppose 3*b + 7 + 5 = 0. Is q(b) even?
True
Suppose p = -2*p + 177. Suppose 0 = 3*v - 4*o + 14 - p, 5*v - 3*o - 86 = 0. Let w = -8 + v. Is w a multiple of 9?
False
Suppose 0 = -2*d - 0 - 2. Let z = 4 + d. Is z a multiple of 2?
False
Let p(i) = -i**3 + i**2. Let b be p(1). Suppose b*d + 3*d - 216 = 0. Suppose -2*v - 2*v + d = 0. Does 12 divide v?
False
Let q = 99 + -69. Suppose -5*g - q + 290 = 0. Is 13 a factor of g?
True
Suppose 0 = -9*n + 4*n + 120. Let s be 4/10 - (-4135)/(-25). Does 13 divide (n/(-15))/(6/s)?
False
Let u(v) = -v**3 + v**2 + v + 50. Does 12 divide u(0)?
False
Suppose -2*k - 14 = 2*i, 8 = -4*k - 0*k + i. Let w = 5 + k. Suppose 2*a - 56 = -w*a. Is 7 a factor of a?
True
Is 12 a factor of 2/14 + (-2008)/(-56)?
True
Suppose 5 = -2*q - 3*z, -8 = 4*q - 3*z - 25. Suppose 0 = -3*x + q*x + 2*a + 44, 5*a + 20 = 0. Does 18 divide x?
True
Let n = 78 + -42. Is 6 a factor of n?
True
Let u = -42 + 138. Is -5*(u/(-10))/4 a multiple of 6?
True
Let f(m) be the second derivative of -m**5/20 - m**4/4 - m**3/3 + 5*m**2/2 - 2*m. Suppose 0 = -z - 4 - 0. Does 11 divide f(z)?
False
Let j(y) = 11*y + 7. Does 3 divide j(3)?
False
Suppose -3*y - 6 + 3 = 0. Let c = 3 + y. Is c*((-15)/(-2) + 0) a multiple of 4?
False
Let b be 4*(0 - -1) - -1. Let c = b - 6. Is 13 a factor of ((-90)/3)/c + -2?
False
Let o = 2 + -2. Suppose 5*r + o*b = 3*b - 294, -2*r + 2*b = 116. Let q = 84 + r. Is q a multiple of 9?
False
Let g = 98 - 26. Does 19 divide g?
False
Let i(k) = -3*k**3 - k**2 + 3*k - 2. Is 13 a factor of i(-3)?
False
Suppose -4*k + y = -91, -82 = -4*k + 2*y - 4*y. Is 11 a factor of k?
True
Suppose 7 = 4*k - 1. Suppose k*z - 22 - 2 = 0. Does 11 divide z?
False
Suppose -4*f = -2*a - 0*f + 140, -5*f = -4*a + 271. Is 8 a factor of a?
True
Let l = -5 - -9. Suppose 37 = b + 4*c, -c + l*c = -3*b + 84. Is b a multiple of 18?
False
Let m(v) = v**3 - 8*v**2 + 10*v + 3. Suppose -5*y + 2*d = -35, -4*y + 5*d = d - 28. Let p be m(y). Suppose -b = -p - 12. Is b a multiple of 18?
True
Let x(v) be the second derivative of -v**6/120 - v**5/40 + v**4/6 - 3*v. Let c(f) be the third derivative of x(f). Does 8 divide c(-5)?
False
Is (-1)/(2/(-248))*1/2 a multiple of 12?
False
Is 285/(-10)*-2 + 2 a multiple of 14?
False
Suppose 5*q + 4*d = 18, -2*q + d = 2*q - 6. Does 17 divide ((-34)/(-4))/(q/4)?
True
Suppose 5*y = y + 72. Let l = -12 + y. Is 4 a factor of l?
False
Let y = 13 - 9. Suppose -y*v - 3 + 47 = 0. Let f = 7 + v. Is f a multiple of 9?
True
Suppose 0 = 54*i - 48*i - 504. Does 17 divide i?
False
Suppose 5*t = 2*z + 1 - 24, -3*z + 31 = -4*t. Let x = z + -5. Suppose a = -a - 5*m - 5, -x*a - 5*m = -15. Is 5 a factor of a?
True
Let n(s) = s + 4. Does 10 divide n(6)?
True
Let m(c) be the third derivative of -c**5/60 - 3*c**4/8 + c**3/3 - c**2. Is m(-9) even?
True
Does 4 divide ((-7)/(-5))/((-7)/(-35))?
False
Let x be (4 - (4 - 1))*-5. Let c = x - -11. Is 3 a factor of c?
True
Let z = -2 + 4. Suppose -z*l + 303 = l. Suppose -4*w - 29 = -l. Is w a multiple of 18?
True
Let f(r) = 2*r**3 + r + 1. Let u be f(-1). Let g = 27 + u. Is g a multiple of 9?
False
Suppose 4*j + j - 235 = 0. Is 11 a factor of j?
False
Let v be (-7 + 3)/(1*-2). Suppose 50 = v*i + 4*p, -3 = -2*i + 3*i - 5*p. Does 6 divide i?
False
Is 458/4 + 2 + 1/2 a multiple of 18?
False
Let a be 2/(-6) + 11/(-3). Let k be (-162)/(-30) + a/10. Suppose 3*y - n - 14 = 0, -k*y + 29 = -2*y - 4*n. Is 2 a factor of y?
False
Suppose 2 + 8 = 5*h. Suppose i - 3*z = h*z + 34, 0 = 2*z + 2. Is 11 a factor of i?
False
Let z = -45 + 27. Let j(b) = b**3 - 5*b**2 + 7*b - 2. Let k be j(5). Let w = z + k. Is w a multiple of 7?
False
Suppose -h - 14 = -131. Does 9 divide h?
True
Suppose 3*n + 32 = 4*n. Is n a multiple of 18?
False
Does 15 divide 54/27 - 1*(-122)/1?
False
Let x(p) be the third derivative of -p**4/12 + 5*p**3/6 - 4*p**2. Suppose 0 = -2*s - 0 - 12. Is 8 a factor of x(s)?
False
Let k be ((-1)/(-3))/((-2)/(-12)). Suppose -2*m - 2*h = -m - 60, -3*h = -k*m + 148. Suppose -m = -4*j + 2*j. Is j a multiple of 17?
True
Let k(s) = -7*s + 6. Is k(-6) a multiple of 12?
True
Let m(t) = -t**2 + 9*t + 8. Let o be m(10). Let f be o/2 + 2 + 3. Suppose 3*k + 7 = f*k. Does 5 divide k?
False
Is 15 a factor of 42*(0 - (-4)/8)?
False
Let d(t) = 3*t - 7*t - 4*t + 4*t**2 + 3. Is d(5) a multiple of 23?
False
Let u = -17 + 12. Let i = u + 10. Is i a multiple of 5?
True
Suppose 4*o - 69 = -5*k, 0*k - k = 3. Is 5 a factor of o?
False
Let o(r) = 71*r - 3. Does 34 divide o(1)?
True
Is (60/(-24))/((-9)/6 - -1) a multiple of 2?
False
Suppose 0 = 2*w + i - 11, -3*w = 4*i - 2*i - 18. Suppose 87 = -x + w*x. Is 16 a factor of x?
False
Suppose 5*z + 4*v = 441, 3*z - 375 = -4*v - 104. Is z a multiple of 19?
False
Let s(j) be the third derivative of j**5/60 - j**3/2 + 2*j**2