(w) = w**3 + 10*w**2 - 5*w - 12. Is k(-10) a multiple of 7?
False
Let s(h) = -7*h**3 - 7*h**2 - 5*h. Does 7 divide s(-2)?
False
Let k be (-25 + (-6)/(-3))/(-1). Let c = k - -7. Is 15 a factor of c?
True
Suppose x - 2 = 2*p, 0*x + 2*x + p = 9. Suppose -x*y = -y - 93. Is y a multiple of 11?
False
Let y(o) = -3*o**2 + 2*o + 8*o**2 + 5*o**3 - 5 - 4*o**3. Is 3 a factor of y(-4)?
True
Let j(w) = w - 4. Let d be j(7). Suppose 3 = -l - 2*l, 0 = 5*q - d*l - 13. Is q a multiple of 2?
True
Let g(d) be the first derivative of d**4/4 + 8*d**3/3 - 3*d**2/2 + 2*d - 3. Does 9 divide g(-8)?
False
Let r be (1/(-2))/(1/(-12)). Suppose 2*p = 5*p. Suppose u + p*u = r. Is u a multiple of 6?
True
Suppose -m - 110 = -5*u + m, 3*u - 5*m = 85. Does 20 divide u?
True
Let x(o) = o**2 - 12*o - 3. Let y be x(14). Suppose 4*n + 4*b - 38 = 2, -2*b = -n + y. Does 15 divide n?
True
Let d(t) = t**3 - 9*t**2 + t + 9. Does 6 divide d(9)?
True
Suppose 2*r + 196 = 6*r. Is 19 a factor of r?
False
Suppose x = 2*x + 1. Let a(n) = 20*n**2 - 2*n - 2. Does 6 divide a(x)?
False
Suppose l - 10 = -l. Let k(c) = c**2 - 12*c + 15. Let y be k(11). Suppose y*s + 2 = l*s. Does 2 divide s?
True
Suppose 0 = -2*b - 4*j + 42, 3*b + 2*j - j = 63. Does 21 divide b?
True
Let x be 2/(-4)*154/(-11). Let p = 54 + x. Does 22 divide p?
False
Let n(a) = 7*a - 10. Let r be n(8). Let o be (-4)/14 - r/(-14). Suppose -7*u + o*u = -h - 3, 3*u - 36 = -3*h. Does 3 divide h?
True
Let f = -13 + 69. Is 14 a factor of f?
True
Let a be (-8)/(-28) + (-1144)/(-14). Suppose -a = -2*x + 3*s, x + s - 40 = 2*s. Is x a multiple of 20?
False
Suppose -k - p = -3*k + 3, -2*k + 13 = p. Suppose 8*r + 4*m + 98 = 3*r, 34 = -r + k*m. Let s = 4 - r. Is s a multiple of 13?
True
Let m(o) = 2*o**2 - 5*o - 1. Let g be m(4). Suppose -2*y + 3 = -g. Does 6 divide y?
False
Let o(v) be the third derivative of v**5/20 - v**3/2 - v**2. Let w be o(-3). Let i = -4 + w. Is 10 a factor of i?
True
Let r(a) be the first derivative of -a**2 + 22*a + 5. Is 11 a factor of r(0)?
True
Suppose -2*a = 5*t + 13, a - 1 = 2*t + 6. Let y be 0/(1 + t + 1). Suppose y = -2*s - 5 + 1, -2*l + 4 = s. Is l a multiple of 2?
False
Let o(f) = -2*f - 15. Let k be o(-11). Suppose -2*l - 5*s = -k*l + 25, 0 = 3*l + 5*s - 47. Is l a multiple of 2?
False
Let i be -1 + 1/(-2)*0. Is 22 a factor of 36*i*60/(-45)?
False
Let n(j) = j**2. Let u be n(0). Suppose -2*y + u*y + 10 = 0. Suppose 5*a - 45 = -5*o, 10*o - 3*a - 29 = y*o. Is o a multiple of 7?
True
Let h be (4 + -3 - 1) + 4. Suppose -h*k - 34 + 86 = 0. Does 7 divide k?
False
Suppose 2 = 2*w - 2. Suppose 3*b - w*b = 2*a - 99, -2*b - 51 = -a. Is a a multiple of 14?
False
Let z = -1 + 3. Suppose g + 11 = z*g. Is 11 a factor of g?
True
Suppose 0 = l + 8*l - 630. Is 10 a factor of l?
True
Suppose y + 0*y = 0. Let g be (0 - (0 - y)) + 0. Suppose g = -4*j + 22 + 58. Does 11 divide j?
False
Suppose -r + 18 = -4*r + 2*a, -2*a + 26 = -5*r. Let q = 9 + r. Suppose 0 = 5*n + 3*u - 17 - 137, -3*n = q*u - 102. Does 12 divide n?
False
Suppose 4*b - 3 = 3*b. Suppose b*g - 5*n = 74, g - 2*n - 8 = 3*n. Suppose 3*t - g + 0 = 0. Does 8 divide t?
False
Let g(i) be the first derivative of i**4/4 - 2*i**3 - 2*i**2 - 8*i + 1. Is 12 a factor of g(7)?
False
Suppose -2*i + 7 - 45 = 0. Let b = 52 + i. Is b a multiple of 17?
False
Suppose 5 = 4*b - 3*b. Suppose b*c = t + 3*t + 293, -c + 49 = -4*t. Is 19 a factor of c?
False
Let d be (22/8)/(3/12). Let f = d + 30. Is f a multiple of 13?
False
Suppose 52 = 8*c - 6*c. Is c a multiple of 15?
False
Suppose -j - 4*j + 27 = -l, 11 = 2*l + 3*j. Let k be l/9 + (-87)/(-27). Suppose -k*p = -144 - 0. Does 16 divide p?
True
Suppose 0 = z - j, -4*j = -z + 5*z + 16. Is 15 a factor of 61/4 - z/(-8)?
True
Suppose c - 5*r = -10*r + 63, c = 2*r + 84. Let g = c - 54. Is 15 a factor of g?
False
Suppose -5*c + 10*c - 145 = 0. Is c a multiple of 29?
True
Suppose 2*w = w - 3, 2*w = j - 98. Let f(k) = -3*k**3 + 1. Let g be f(-1). Suppose 0 = g*b - j + 4. Is b a multiple of 9?
False
Suppose 0 = -5*u - 5*w + 830, 4*u - 4*w - 491 = u. Does 15 divide u?
True
Suppose 0 = -t + 2*t + 10. Let p = -6 - t. Suppose 2*b - 7*b + 33 = p*d, -b - d = -6. Is b a multiple of 4?
False
Suppose -f = -10 - 6. Is f a multiple of 5?
False
Let m(p) = p**2 - 2*p + 1. Let q be m(3). Suppose q*r = -r + 15. Is 2 a factor of r?
False
Let o = -237 + 131. Is 8 a factor of o/(-5) + (-3)/15?
False
Let r = -120 + 210. Is 10 a factor of r?
True
Is 9 a factor of 2710/50 - 1/5?
True
Suppose -145 = 2*g + 2383. Does 35 divide (-10)/45 + g/(-18)?
True
Let h = 26 - 37. Let r = 0 - h. Suppose -3*y + 2*f = -r, -y - y - 3*f + 16 = 0. Does 3 divide y?
False
Suppose 2*h + 0*h = 2. Let p = -7 - h. Let x = 20 + p. Is x a multiple of 6?
True
Does 30 divide (-9)/(-2)*80/6?
True
Suppose 2*f = -p - p + 120, 61 = f + 2*p. Does 14 divide f?
False
Let r(l) = l**2 - 6*l + 2. Let i be r(6). Does 17 divide (25/i)/(2/4)?
False
Suppose j + 1 = -4*l - 1, 5*l = 2*j - 9. Does 2 divide j?
True
Let q(a) be the first derivative of -a**4/4 - 2*a**3 - a**2 + 8*a - 1. Is 18 a factor of q(-6)?
False
Let o(t) = 8*t - 2*t**2 + 6*t - 19 + 3*t**2. Let x be o(-14). Let m = -10 - x. Is m a multiple of 5?
False
Suppose 0*b - b - 18 = -3*w, -4*b = -4*w + 16. Let d = w - 3. Suppose -3*c = d*x - 18, -6*x - 6 = -c - 2*x. Is c a multiple of 4?
False
Suppose 4*b - 3 = 5. Suppose b*r - 2*j - 128 = 0, -4*r + r - 3*j = -186. Is 24 a factor of r?
False
Let h(x) = x**3 + x**2 - x + 2. Let s be h(0). Suppose 2*a - a = 0, -s*j = 4*a. Suppose j = 2*p + 2*p - 64. Does 9 divide p?
False
Let s(q) = q**2 + 7*q - 6. Let n be s(-8). Suppose 0 = -5*o - 3*a + 157, -3*o + 5*o - 62 = -n*a. Does 16 divide o?
True
Suppose 0 = -5*q + f - 154, -28 = q - 0*f - 3*f. Let z = 85 + q. Is 14 a factor of z?
False
Let w(o) be the second derivative of 7*o**4/12 - o**3/2 + 6*o. Is w(2) a multiple of 22?
True
Let x = -19 + 11. Let u be (-2)/x - (-10)/(-8). Is -8 + 5 + u + 15 a multiple of 11?
True
Let d(q) = -4*q. Let t be d(-1). Suppose t*b - 16 = 0, 4*r + 0*b - 5*b = 24. Is r a multiple of 3?
False
Suppose -z + 148 = -2*t, -5*z = -5*t - 815 + 95. Is 10 a factor of z?
True
Let m be (-3)/((-9)/(-66))*-1. Suppose -2*b = -m - 4. Is b a multiple of 9?
False
Suppose -a + 43 = 4*c + 6, -2*a = -3*c - 52. Is a a multiple of 4?
False
Let u(l) = l**3 + 4 - 4*l**2 + 8*l**2 + 0*l**2. Let q be u(-3). Let o = q + -9. Does 2 divide o?
True
Let b(r) be the third derivative of r**7/840 + r**6/180 - r**5/120 - r**4/12 + r**2. Let d(w) be the second derivative of b(w). Does 7 divide d(-3)?
True
Suppose 0 = -5*d + 7*d - 68. Does 17 divide d?
True
Is 12 a factor of 548/12 + 4/3 + -2?
False
Is 6 a factor of 3*20 - (3 + -1)?
False
Let x be ((-1)/3)/(4/12) - -1. Let d be ((-2)/(-6))/(1/6). Suppose 3*w - d*w - 7 = x. Is 4 a factor of w?
False
Let r be (-2)/(-8) - 60/(-16). Suppose -68 = -j + r*f - 14, -3*j + 134 = -5*f. Is j a multiple of 19?
True
Suppose -9*u = -5*u - 2*b + 10, -7 = 2*u + b. Let m(c) = -2*c - 1. Let s be m(u). Suppose -4*v + 5 = x - v, -2*v + 77 = s*x. Is x a multiple of 10?
False
Let t be (-10)/15 - (-16)/(-3). Let h(f) = -16*f + 4. Let n be h(t). Is 7 a factor of n/6*6/5?
False
Let a = 224 + -138. Is 20 a factor of a?
False
Let r(i) = -i**2 + 2 + 5 - i - 4. Let j be r(-6). Is 4 a factor of 18/j - (-38)/3?
True
Is 6 a factor of (-11)/(-44) + (-94)/(-8)?
True
Let w(f) = 2*f**3 - 3*f**3 - 7*f**2 + 12 - 2*f**2. Suppose v - 5*m + 1 + 3 = 0, -2*v + m = 17. Is w(v) a multiple of 7?
False
Suppose -3*n + 9 = -0. Suppose 10 + 35 = n*l. Is l a multiple of 7?
False
Suppose l + 5*t + 9 = 5*l, -3*l + t = -15. Is l a multiple of 6?
True
Suppose -5*h + 2*h = -5*d + 67, 5*d - 2*h - 63 = 0. Is d a multiple of 7?
False
Let b(y) = -y**3 - 8*y**2 + 17*y + 24. Is 10 a factor of b(-11)?
True
Suppose 8 = 3*h - 16. Is 10 a factor of (-10)/h*(-96)/4?
True
Let l(r) = -r. Let c be l(-5). Suppose c*s = -5*b + 80, -3*s + 3*b + 60 = -0*s. Is 9 a factor of s?
True
Does 18 divide 4 + (-3 + 6 - -65)?
True
Suppose -4*l + 2*l = m - 75, -2*m - 2 = 0. Does 2 divide l?
True
Let a = 7 + -4. Let t = 0 - a. Is 12*t*1/(-9) a multiple of 2?
True
Suppose 0 = i - 4*i + 105. Suppose z + 4*z - i = 0. Is z a multiple of 7?
True
Suppose 2*h + 5*d = 281, 2*d = -h + 5*d + 113. Is h a multiple of 