 Does 15 divide w?
True
Let f(x) be the third derivative of -x**6/120 + x**5/20 + x**4/6 + x**3/2 - 3*x**2. Let t be f(4). Suppose -t*v + 60 = v. Is v a multiple of 5?
True
Let v(d) = 3*d**3 + d**2 + 6*d - 6. Is 17 a factor of v(3)?
True
Let w(b) = b**2 + b + 3. Let a be w(6). Let y = -54 + 81. Let s = a - y. Does 9 divide s?
True
Let n = 3 + -3. Let k be (5 - 7)*(-2 + n). Does 16 divide k/14 - (-444)/14?
True
Let c = -4 - -85. Let h = c - 33. Does 16 divide h?
True
Let k(b) = b**3 - 4*b**2 - 6*b + 6. Let n be k(6). Suppose 0 = 5*u - n - 43. Is 9 a factor of u?
False
Let y(k) = 8*k**2 - 4*k + 3. Let t(p) = 10*p**3 - 5 - p - 9*p**3 + p**2 + 6*p**2. Let s be t(-7). Is y(s) a multiple of 8?
False
Suppose 0 = 3*d - 4 - 11. Let r(u) = u**2 + 6*u - 1. Let a(c) = -3*c**2 - 13*c + 3. Let n(t) = -3*a(t) - 7*r(t). Is 10 a factor of n(d)?
False
Suppose -5*t = -4*y - t, 5*t - 2 = 4*y. Let w be (3/(-6))/(y/(-8)). Suppose -134 = -5*o + 3*s, 0 = 2*o - w*s - 63 + 11. Is 13 a factor of o?
False
Let h(z) = z**2 + 4*z + 6. Let u be h(-4). Let d = u + -4. Suppose -6*a = -d*a - 168. Is 14 a factor of a?
True
Let k = -2 - -6. Suppose 4*m + 10 + 10 = k*p, -5*p = 5*m - 75. Does 4 divide p?
False
Let m = -6 - -9. Let t(l) = l**3 + 2*l**2 - 2*l + 1. Does 17 divide t(m)?
False
Let l = 6 + -5. Let v = 1 + l. Suppose 5*b = -v*m + 245, -4*b - 3*m - 2*m + 213 = 0. Is b a multiple of 16?
False
Suppose z = -4*c + 734, 4*z - 2*c - 334 = 2512. Does 20 divide ((-8)/6)/((-14)/z)?
False
Let g be (-9)/(-2) - 2/4. Suppose 0 = -n - 4*b + 11, -4*b + 36 + 20 = g*n. Is 8 a factor of n?
False
Suppose -2 = s - 6. Suppose s*p - 54 = p. Does 9 divide p?
True
Let r be 2*(-2 + 3 + -3). Let g(a) = -a**3 - 4*a**2 - 3*a. Is g(r) a multiple of 12?
True
Let d(z) be the third derivative of -z**5/60 - z**4/6 + z**3/3 + 2*z**2. Let s be d(-3). Suppose -2*c - 2*f + 38 = -0*f, 2*f = s*c - 102. Is 15 a factor of c?
False
Let v be (-100)/(-10) - (2 - 1). Let o = v + 7. Does 8 divide o?
True
Suppose 0 = 4*p - 230 + 178. Does 13 divide p?
True
Let v(d) = d**3 + 7*d**2 - 4*d. Is 12 a factor of v(-6)?
True
Let o(h) be the second derivative of h**7/840 + h**6/360 - h**5/30 + h**4/8 + h**3/3 + 3*h. Let j(x) be the second derivative of o(x). Is 3 a factor of j(2)?
False
Let d be 1 - (4*-3)/3. Let j(k) = 4*k. Is j(d) a multiple of 8?
False
Let y = -5 - -3. Is 12 a factor of -1 + 36 + y/(-2)?
True
Suppose -2*i + i - 14 = 5*n, 5*i = 5*n + 50. Suppose 3*m = i*m - 12. Is (-1)/m + (-405)/(-20) a multiple of 10?
True
Suppose 2*g - 978 = -3*g + 3*j, -4*j = 5*g - 971. Suppose -4*c + 5*t = -g, -t = c - 0*c - 42. Is c a multiple of 23?
False
Let z(f) = -49*f**3 + 1. Is z(-1) a multiple of 17?
False
Suppose -4*n = -6*n - y + 8, -20 = -5*y. Let s = -78 - -81. Suppose n*c = s*c - 25. Is c a multiple of 19?
False
Let k be 50*(9/(-6))/(-3). Let d = 44 - k. Is 5 a factor of d?
False
Suppose 5 = 2*h - 2*b - 15, -5*h + 32 = b. Is h a multiple of 3?
False
Suppose -3*j = 6, -3*a + 155 = 4*j + j. Suppose 2*h - 210 = -5*b, a = -3*b - h + 182. Is 22 a factor of b?
True
Let f(g) = g**3 - 11*g**2 - 2*g + 16. Let c be f(11). Let j(i) = -i. Let p(h) = 6*h - 4. Let t(w) = -3*j(w) - p(w). Does 8 divide t(c)?
False
Is (-288)/30*15/(-2) a multiple of 22?
False
Let y be 3*((-1 - -1) + 1). Let t be 2*((-4)/(-2) - y). Is -1 - (t - (2 - -15)) a multiple of 7?
False
Let d = 0 + 4. Let j be 2/4 + 2/d. Let r = j + 7. Does 4 divide r?
True
Suppose 2*p - 2*h - 3*h = -3, -2*h + 18 = 2*p. Suppose -2*l = -p*l + 40. Is 10 a factor of l?
True
Suppose 5*f + j = 2*j + 643, 0 = -2*f - 3*j + 264. Is f a multiple of 17?
False
Does 4 divide 4/(-7) - (-15900)/140?
False
Let p = 18 + -12. Suppose -6*f = 4*b - 3*f - 35, p = b - 2*f. Does 8 divide b?
True
Let j = 2 + 3. Suppose -2*y + 3*y + 1 = 2*f, 3*f = j*y - 16. Suppose -4*i = -y*i + 19. Is 14 a factor of i?
False
Let w be (-2)/(1 + 1/(-3)). Let a(y) = 5*y**3 - 2*y**2 - y - 2. Let h(c) = c**3. Let u(n) = a(n) - 6*h(n). Is u(w) a multiple of 5?
True
Let p(r) = -r**3 - 9*r**2 - 13*r - 12. Is 26 a factor of p(-8)?
False
Does 29 divide ((-5)/(-3))/((-1)/(-87))?
True
Let a(x) = 97*x - 36. Is a(3) a multiple of 17?
True
Suppose 3*b = -12, -5*z = 3*b - 2*b - 51. Let n(k) = -2*k + 9. Let t be n(6). Let s = z + t. Is 4 a factor of s?
True
Is 19*2 - (-20)/(-5) a multiple of 17?
True
Let n be 48/20 + 4/(-10). Suppose -6*b = -b + 65. Is (n + -1)*(-3 - b) a multiple of 5?
True
Let g = -35 + 38. Is g a multiple of 3?
True
Let i(n) = -8*n - 4. Is 4 a factor of i(-7)?
True
Suppose 0*q - 4*r + 19 = 3*q, -q + 11 = -r. Suppose -q*h = -11*h + 42. Is 21 a factor of h?
True
Suppose -v - 3 + 6 = 0. Let f = -4 + v. Is 17 a factor of (1*-17)/(f/1)?
True
Let o be -1*(-2 + 4 + -4). Let v be (o + 0 - 0) + 54. Suppose -i = i - v. Is i a multiple of 14?
True
Suppose -3*n - 2*n + 20 = 0. Let c be 1/(-2) + n/8. Let r(w) = w**2 + 28. Is 14 a factor of r(c)?
True
Does 36 divide 32/(-40) + 368/10?
True
Let i(x) be the first derivative of x**4/4 + 2*x**3 + 2*x**2 - 2*x + 2. Let v be i(-5). Suppose 0 = -2*d, -4*g + v*d + 84 = -2*g. Is g a multiple of 16?
False
Suppose -3*j + 1 = 2*b - 5, 1 = j + b. Suppose -5*w + 47 = -w + 3*y, -58 = -5*w - j*y. Does 9 divide w?
False
Let j(s) = 2*s**3 - 8*s**2 - 4*s - 2. Is j(5) a multiple of 8?
False
Suppose -4 + 18 = -2*r. Let i = r - -4. Does 11 divide 11*(i - -2)*-1?
True
Is 9 a factor of 15/((4/(-2))/(-6))?
True
Suppose -d - 6 = -5*o, -5*o - 4*d = -21 - 5. Does 16 divide 12 + 2/1 + o?
True
Let x = 7 - 3. Suppose 5*t = -x*g + 51, 0 = -4*g - 3*t + 4*t + 57. Does 5 divide g?
False
Suppose -5*b = 5*z - 670, -z - 2*z + 5*b + 418 = 0. Does 17 divide z?
True
Let k(j) = -2*j - 6. Let d be (-3)/9*2*-3. Suppose 0 = -t + 5*z + 2, 3*t + d*z - z = -26. Does 4 divide k(t)?
False
Let v = 4 - -12. Is v a multiple of 16?
True
Let k(g) = 4*g**2 - 2*g. Let m be k(-3). Suppose -2*r + m = r. Is r a multiple of 7?
True
Let v be (214/8)/(2/8). Suppose 5*z = v + 78. Let i = -9 + z. Is i a multiple of 13?
False
Suppose u = 4*r - 36, 12 = 3*r + 3*u - 0*u. Let o be (0 - r)*(-4)/8. Suppose -o*q + 24 = 2*f, 5*f + 2*q = -19 + 95. Is f a multiple of 6?
False
Is 16 a factor of (-358)/(-12) + (-1)/(-6)?
False
Suppose -30 = i - 3*i. Does 5 divide i?
True
Suppose 2*m + 107 = 4*k + m, m = k - 29. Is k a multiple of 6?
False
Suppose 2*w + w = 12, 3*s = 5*w + 640. Does 14 divide s?
False
Suppose b = r - b + 31, 3*r + 81 = 3*b. Let p = -51 + 84. Let v = p + r. Does 5 divide v?
True
Let n(r) = -r**2 - 6*r - 3. Is n(-4) a multiple of 5?
True
Suppose 4*c = -10 - 30. Is (-15)/c*10/3 a multiple of 2?
False
Let t = -5 - 0. Let u(b) = 5*b**3 + b**2 - b - 1. Let m(k) = -4*k**3 - 2*k**2 + 2*k + 2. Let p(l) = -4*m(l) - 3*u(l). Is 8 a factor of p(t)?
False
Let m be 3*((-1)/(-3) + 0). Let t be ((m - -1) + -2)/2. Suppose 5*h - 25 = -t*h. Is 3 a factor of h?
False
Suppose -3*l + 3*h = 18, 0*l - 4*h = -l - 6. Let k = -16 - l. Is 4 a factor of (-85)/k - (-2)/4?
False
Let w(k) be the third derivative of k**5/60 - 2*k**3/3 - 2*k**2. Is 2 a factor of w(3)?
False
Suppose 159 = a + 2*a. Let g(i) = -i**3 + 2*i**2 + 5*i - 1. Let c be g(-4). Let x = c - a. Is x a multiple of 10?
False
Suppose 0 = -3*v - 4*w + 1, 5*v = w + 2*w - 8. Let l(x) = -105*x - 1. Let r be l(v). Suppose 0 = 2*i + i - 2*y - r, 4*y - 166 = -5*i. Is 12 a factor of i?
False
Let b(r) = 2*r**2 + 2*r - 2. Let c be b(2). Suppose -t + 4*p + 8 = -3*t, 2 = -t - p. Suppose -2*u - m + 40 = m, t = 5*m + c. Is u a multiple of 8?
False
Suppose 5*h - 16 = 49. Suppose 3 - h = -2*z. Is z a multiple of 2?
False
Let k(y) = -y**3 + 5*y**2 + 4*y - 6. Let r = 12 - 6. Let t be k(r). Is 1 - (-1 - t)*-1 a multiple of 18?
True
Suppose -2*t - 108 = -5*t. Is 6 a factor of t?
True
Let k(a) be the third derivative of a**4/24 - a**3/3 - 2*a**2. Suppose 5*h - 24 = 2*r, 7*r = -2*h + 3*r. Is k(h) even?
True
Let b = -26 - -20. Let r(d) = -4*d - 11. Is 7 a factor of r(b)?
False
Let i = 2 - 1. Let t(a) = 5*a + 9. Let c be t(-8). Does 22 divide (-2)/(2*i/c)?
False
Let q(x) = -x**2 + 2. Let v be q(-3). Let z = 54 + v. Let t = z + 3. Is 18 a factor of t?
False
Let p(n) = -n**3 + 13*n**2 - 11*n - 9. Let g be p(12). Suppose 5*x - 140 = g*s - 19, 4*s = -2*x + 38. Is x a multiple of 7?
False
Suppose 3*j + 0*j - 6 = 0. Does 11 divide 55/j +