se 5*b = -h + 140, -2*b - 5*h + 56 = -0*b. Is 5 a factor of b?
False
Let s = -152 - -158. Let g(u) = u**3 - u**2 + 5*u - 8. Let v(d) = 3*d**3 - 4*d**2 + 15*d - 23. Let m(k) = 17*g(k) - 6*v(k). Is m(s) a multiple of 8?
True
Let z = 569 + -345. Is z a multiple of 26?
False
Let y(l) be the first derivative of -4*l - 1 + 1/4*l**4 - 1/2*l**2 + 7/3*l**3. Is 18 a factor of y(-5)?
False
Suppose 33 = -q - 0. Suppose 4*b + 68 = -0*b. Let x = b - q. Is 7 a factor of x?
False
Let y = -1 + 1. Suppose -4*c = 5*o - 252, y*o - 3*c = 4*o - 201. Does 21 divide o?
False
Let d = 44 - 4. Is 8 a factor of d?
True
Is 30 a factor of (2*1)/((-20)/(-830))?
False
Suppose 0 = -5*y + 3 - 138. Is ((-549)/y)/(1/3) a multiple of 19?
False
Let x = -19 - -27. Is x a multiple of 2?
True
Let i(q) = 20*q**2 - q. Suppose -p + 4 = -5*p. Is i(p) a multiple of 8?
False
Suppose -2*r - 27 = 4*k - 103, r = -3*k + 35. Is 22 a factor of r?
True
Let q(o) = o**2. Suppose 5*k - 2*d - 7 - 26 = 0, 0 = -2*k - 4*d - 6. Is q(k) a multiple of 10?
False
Suppose -5*j + 4*j = -13. Suppose 0 = -2*m + j + 15. Is 79/7 - 4/m a multiple of 11?
True
Let a = -54 - -147. Does 21 divide a?
False
Suppose 166 = 8*f - 274. Is 11 a factor of f?
True
Let g be (-7)/1 + (1 - 0). Let j(f) = -2*f - 3. Let a(v) = -5*v - 6. Let w(l) = 4*a(l) - 9*j(l). Is 14 a factor of w(g)?
False
Suppose -4*k + 144 = -3*k + 2*x, 2*x - 288 = -2*k. Is 18 a factor of k?
True
Suppose -r - 3*c = 13, 2*r - c + 6*c + 21 = 0. Suppose 0 = 2*x + r*x - 8. Suppose 54 = 2*h - 2*d, x*d = -2*h - 0*h + 58. Is h a multiple of 17?
False
Suppose -36 = -3*s + 18. Let j = s + -5. Is 9 a factor of j?
False
Suppose -6*c - 36 + 12 = 0. Let x(j) = -8*j - 6. Let q(k) = 8*k + 6. Let v(i) = -5*q(i) - 4*x(i). Is v(c) a multiple of 13?
True
Let x(f) = f + 7. Let g be x(5). Let s = 21 - 29. Let m = s + g. Is 2 a factor of m?
True
Suppose -174 = -2*o - o. Is o a multiple of 14?
False
Let x be ((-24)/10 + 2)*-30. Suppose -a = a - x. Is 38/3 - a/9 a multiple of 12?
True
Is ((-154)/4)/(4/(-8)) a multiple of 18?
False
Let d(f) = -4 - 14*f + 7 - 3. Does 12 divide d(-1)?
False
Suppose 95 = w - 2*x - 0*x, 0 = 4*x - 8. Suppose -2*o = 2 - 6. Suppose -s + w = o*s. Does 11 divide s?
True
Suppose -6*v + 305 = -v. Is 11 a factor of v?
False
Let r(d) = -d**2 + 6*d - 5. Let t be r(5). Let h(g) = -5*g**3 + t*g**3 - 6 + 5*g**2 + 4*g**3 + 5*g. Is 8 a factor of h(5)?
False
Is 2206/26 + 34/221 a multiple of 17?
True
Let x(l) = -4*l + 2. Let w be x(-5). Suppose -3*h - 2*g = -10, 2*h - 4*g - w = h. Is 6 a factor of h?
True
Let k be (4/5)/(2/(-5)). Does 14 divide (3/k)/((-6)/56)?
True
Suppose 425 = 5*h - 0*h. Is 19 a factor of h?
False
Let m be 15/(-10)*62/3. Let r = 61 + m. Is 15 a factor of r?
True
Suppose -29*b = -34*b + 895. Is 12 a factor of b?
False
Suppose 118 = 4*x - 5*z + 2*z, -5*x - z = -138. Does 5 divide x?
False
Suppose -4*o = -3*o + 12. Let m = o + 15. Is m a multiple of 3?
True
Suppose 4*y + 5*h = 115, 0*h - 5*h - 5 = 0. Let w = -11 + y. Does 8 divide w?
False
Suppose u - 1 = 2. Suppose 0 = -0*s - u*s + 9. Suppose -n = -4*y - 0*y - 37, s*y + 148 = 4*n. Does 16 divide n?
False
Is 3 a factor of (-222)/(-78) + ((-82)/(-26) - 3)?
True
Suppose -249 = -11*u + 8*u. Does 12 divide u?
False
Let f(c) be the third derivative of -c**6/6 + 2*c**2. Is f(-1) a multiple of 6?
False
Let r(n) = -2*n**3 + 6*n**2 + 2. Let o(c) = -c**3 + 5*c**2 + c + 2. Let m be (-6)/(-4) + (-2)/(-4). Let x(g) = m*r(g) - 3*o(g). Is 7 a factor of x(-3)?
True
Let u be ((-63)/6)/((-1)/2). Let l be 48/u + 2/(-7). Does 15 divide (-1)/l - 183/(-6)?
True
Let r be (-265)/20 - 1/(-4). Let l = 65 + r. Is 13 a factor of l?
True
Let s be -2 + 1/((-1)/28). Let m be (-2)/(-3)*(3 - s). Is 12 a factor of 1 + 1 + 0 + m?
True
Let r(o) = 3*o**2 - o + 12. Is r(0) a multiple of 5?
False
Let v be -15*1/(-3*1). Suppose 2*r = -v*t + 14, 0*t = 3*t + 4*r. Suppose t*b = 55 - 11. Is 4 a factor of b?
False
Let x(v) = -77*v**3 - 2*v**2 + 2. Is 11 a factor of x(-1)?
True
Suppose 5*a - 5*w = -10 - 5, -2*a = 2*w + 18. Let h be -84*3*(-1)/a. Let j = -20 - h. Is j a multiple of 22?
True
Suppose -4*j - 2*n + 122 = -44, 3*n + 3 = 0. Suppose 3*w - j - 27 = 0. Is 21 a factor of w?
False
Let f(u) be the first derivative of -5*u**4/4 + 2*u**3/3 + u**2 - u + 2. Let d = -14 - -12. Is 15 a factor of f(d)?
False
Let u be (-2)/4*(-1 - -1). Let v(k) = -k**2 - k - 3. Let m be v(u). Is 10 a factor of 1*-1*(m + -14)?
False
Let g(i) = -i**3 + 9*i**2 + i - 4. Is g(9) a multiple of 2?
False
Let u = 1 - 1. Suppose -3*n = -5*c - 36, -4*n + c - 6*c + 13 = u. Suppose 5*k + n = 107. Is k a multiple of 11?
False
Let z(b) = -b - 3. Let j be ((-2)/4)/((-1)/(-12)). Is z(j) a multiple of 3?
True
Let x = 59 + -15. Does 22 divide x?
True
Suppose 7*c = 6*c. Suppose c = -2*q + 3*f + 19, 5*q + f = 3*f + 53. Does 8 divide q?
False
Suppose -2*b + 228 = -552. Suppose -6*t + t = -b. Does 26 divide t?
True
Let h be (2 - -1) + (-5 - -4). Suppose h*y = 3*y - 22. Does 22 divide y?
True
Let k(x) = 62*x**3 - x. Does 15 divide k(1)?
False
Suppose 0 = -5*m - 4*n - 54, -24 = m + 5*n - 9. Let o be 24/15 - (-6)/m. Is 11 a factor of o/(-2) - (-23)/2?
True
Suppose 0 = 2*h - 1 - 11. Let b(r) = -r**3 + 7*r**2 - 2*r - 8. Is 8 a factor of b(h)?
True
Let z be 6/(-4)*(-20)/6. Suppose -4*a + 347 = -z*t, 4*t + 84 = -2*a + 3*a. Suppose -a = -3*d - d. Is d a multiple of 11?
True
Is 12 a factor of -1*(-8)/2*(6 - 0)?
True
Let a be -1 + 2 - (-2 + 0). Suppose 3*d - 3*v = 42, 9 + 43 = a*d + 2*v. Does 13 divide d?
False
Suppose -3*w = -n + 90, w + 155 = n + n. Suppose -6*p + 3*r + n = -3*p, -5*p = -3*r - 121. Is p a multiple of 8?
False
Suppose 231 = y - c, -4*y = -7*y - 4*c + 665. Is y a multiple of 20?
False
Let s(d) = d**3 + 6*d**2 - 8*d - 5. Let l be s(-7). Suppose -92 = -0*r - l*r. Is 17 a factor of r?
False
Let u be -4*((-171)/(-2))/9. Let t = u - -60. Does 11 divide t?
True
Let v(s) be the first derivative of -s**4/2 - s**3 - s**2/2 + 4. Let m be v(-2). Does 5 divide -3*m/(-9) + 14?
False
Let x = 11 - 8. Suppose -x = i - 29. Does 13 divide i?
True
Let l(u) = u**3 + 8*u**2 - 10*u - 4. Let v be l(-9). Suppose -5*k = -v*r + 21 - 341, k + r = 66. Is 13 a factor of k?
True
Let s be -4*(2 - (0 - 0)). Let x be 4/s - (-10)/4. Is (-3)/6*x + 11 a multiple of 5?
True
Let m be 6*(-3)/(0 + -6). Suppose 7*a = m*a + 44. Is 3 a factor of a?
False
Suppose 4*v + 856 = 12*v. Does 8 divide v?
False
Suppose 2*w - 120 = -2*j, 285 = -w + 6*w + 2*j. Does 10 divide w?
False
Let o(u) = u**3 - u**2 - 2*u - 4. Is 7 a factor of o(4)?
False
Suppose 3*i = 37 + 35. Is 8 a factor of i?
True
Let g(x) = -3*x - 3. Let q = 26 + -32. Is g(q) a multiple of 6?
False
Let o = 18 + -16. Suppose 4*r - 180 = 4*h, h = o*r - 3*h - 82. Is 20 a factor of r?
False
Let b(f) = 13*f + 3. Let c be b(-5). Suppose u - 2*u = 25. Let g = u - c. Does 12 divide g?
False
Suppose -4*x + 5 = -11. Suppose 5*d = x*k + 140, -4*d + 5*d = 5*k + 28. Is d a multiple of 14?
True
Suppose -5*o - 4*x + 101 = 0, -67 = -3*o + 4*x - 0*x. Let u = 8 + o. Is u a multiple of 29?
True
Let i(r) = r**3 + 9*r**2 + 8*r - 4. Is i(-7) a multiple of 19?
True
Let y = 49 + -10. Does 7 divide y?
False
Let g(x) = x**2 + 3*x + 3. Let q be g(-2). Let r be -6*q/((-4)/78). Suppose 0 = 4*k - r - 15. Is k a multiple of 15?
False
Let p(u) be the first derivative of u**2/2 - 32*u + 3. Let y be p(0). Does 17 divide 1 + y/(-1) + 3?
False
Let p(h) = 25*h. Let q be p(5). Let n be 1/(-2) - q/(-10). Suppose r + m - 16 = -3*r, -m = -3*r + n. Does 4 divide r?
True
Let j be (4 + 1)*4/5. Suppose 0*v = -j*v, -z + 8 = 2*v. Is z a multiple of 8?
True
Let k(c) = 2*c**2 - 17*c + 5. Does 25 divide k(15)?
True
Let w(a) = a**3 + 7*a**2 - 2*a - 8. Let d be -3 + 1 + (-3)/(-3). Let y be 36/(-5) + d/(-5). Is w(y) a multiple of 6?
True
Let f(w) = 4*w**2 - 7*w + 7. Does 24 divide f(5)?
True
Suppose -5*z + 20 = -5*b, 2*b = -2*z - 1 + 5. Suppose 83 = 2*o - z*j, -4*o + 2*o + 53 = 3*j. Does 7 divide o?
False
Let v = 20 + -56. Let o = 63 + v. Is 9 a factor of o?
True
Let m(z) = z**3 + 7*z**2 - 6*z - 2. Is 10 a factor of m(3)?
True
Let s = -31 - -40. Is s even?
False
Suppose -3*k + 12 = -42. Let u = k + -10. Is u a multiple of 8?
True
Suppose 0 = -4*x - 5 - 3, -2*x = -2*n. Let r = n - -3. Does 14 divide (19 - 2)*r*1?
False
Let 