 Does 8 divide b?
True
Suppose -5*c - 24 = -c. Let k(w) = -2*w. Let r be k(c). Suppose r - 57 = -3*b. Is 4 a factor of b?
False
Let o be 3/(6/(-4) + 3). Suppose 4*l - o*l = u + 9, 3*l - 10 = 5*u. Is l a multiple of 5?
True
Is 26 a factor of (-34)/(-51) - -38*28/6?
False
Is (1 - -23)*(-27)/(-18) a multiple of 12?
True
Let j = -4 + 11. Suppose f - 40 = j*r - 3*r, 0 = -2*f - 5*r + 41. Suppose 0*i - i + f = 4*o, i - 33 = o. Is i a multiple of 20?
False
Let s(i) be the third derivative of -i**4/8 + i**3/3 + i**2. Suppose -5*z + 5*c - 8 = -z, -5*c = 0. Does 4 divide s(z)?
True
Suppose -5*d = -4*l + 223, -l = 3*l - 4*d - 220. Is 14 a factor of l?
False
Suppose -5*u = 4*h - 699, 3*h = -4*u + 3*u + 527. Does 16 divide h?
True
Does 9 divide (-3)/2*184/(-6)?
False
Suppose -k + 6 = -21. Suppose 3*v = 3*r - k, -4*v + 27 = 5*r - 63. Is r a multiple of 4?
False
Let i be 1/(-2)*8*3. Let y be 1*(-1)/2*i. Is 17 a factor of 668/20 - y/(-10)?
True
Let m be ((-48)/20)/(1/(-10)). Let b be (-12)/30 - m/(-10). Suppose -3*u + 4 = u, -4*v + b*u + 90 = 0. Is v a multiple of 12?
False
Suppose -1694 = -4*p - 158. Is 48 a factor of p?
True
Suppose 48 + 111 = 3*o. Is 6 a factor of o?
False
Is (-1)/(-5) - 448/(-10) a multiple of 15?
True
Let t(m) = -m**3 + 7*m**2 - 3*m - 3. Let s(k) = -2*k - 6. Let a be s(-4). Let u be 5 - 1/(a/(-2)). Is 15 a factor of t(u)?
True
Let g(r) = r**2 + 6. Is 3 a factor of g(0)?
True
Let f(l) = l**3 + 8*l**2 - l - 5. Let v be f(-8). Suppose v*z = z + 30. Suppose -z - 17 = -m. Is m a multiple of 12?
False
Let f = 13 + -14. Let t(m) = 104*m**2 - 5. Let o(y) = -21*y**2 + 1. Let n(j) = -11*o(j) - 2*t(j). Is n(f) a multiple of 11?
True
Suppose -j - 2*r - 16 = -6*r, 3*r + 5 = 5*j. Suppose -j*m = -16, 0 = 4*v - 3*v + m - 5. Suppose 4*n - 11 = v. Is 3 a factor of n?
True
Suppose -f - 237 = -4*f. Is f a multiple of 20?
False
Suppose -5*i + 909 + 683 = -2*d, -644 = -2*i - d. Does 24 divide i?
False
Let r(f) = 8*f**2 - 2*f. Is 9 a factor of r(-2)?
True
Suppose 5*o - 3*o = 0. Let x(r) be the third derivative of -r**6/120 - r**5/60 + r**3/2 + r**2. Is x(o) even?
False
Let r be ((6 - -2)/4)/(-2). Let z(g) = -10*g. Does 7 divide z(r)?
False
Suppose -8*k + 65 = -391. Is k a multiple of 3?
True
Is ((-24)/14)/(2/(-7)) a multiple of 4?
False
Let a = 9 - 10. Is a/(((-6)/261)/2) a multiple of 29?
True
Let o(x) = -x - 5. Suppose -5*r + 2*r - 21 = 0. Let h be o(r). Let z(k) = 3*k**3 - 3*k**2 + k - 2. Is z(h) a multiple of 12?
True
Let o(r) = -r**3 - 8*r**2 - 3*r + 7. Let w be o(-10). Suppose -3*b + 3*y + w - 24 = 0, -5*b = y - 379. Is b a multiple of 25?
True
Let w = 8 - 6. Let h be 4/w - 2 - -1. Let j = 2 + h. Is j a multiple of 3?
True
Let m = 5 + -2. Suppose -2*r - 1 = -2*s + 1, -5*r = -m*s + 1. Is 9 a factor of (2/(-3))/(s/(-39))?
False
Suppose -3*l = 2*j + j + 15, 5*j + 49 = 3*l. Let d = -6 - j. Suppose q + d*q = 36. Is 6 a factor of q?
True
Suppose 0 = -6*p + p + 5*b + 75, 0 = -p + 3*b + 25. Does 10 divide p?
True
Suppose 0 = z - 5, 5*i - z - 1825 = 4*z. Is 15 a factor of i?
False
Let y = 32 - 5. Let j = y + -21. Is 4 a factor of j?
False
Let p(t) = -3*t - 9 - 4*t**2 + 3 + 2*t**3 - t**3. Is p(5) a multiple of 4?
True
Let o(i) be the third derivative of i**5/10 + i**4/24 + i**3/6 - i**2. Let k be o(-1). Does 4 divide k + 2 - (-3 - -4)?
False
Let f be (-5 + 4)/(0 + 1). Suppose 5*c - 2*t = -48, 5*c + t - 2*t = -49. Is 15 a factor of c/1*(-2 + f)?
True
Let k = -46 + 68. Is k a multiple of 22?
True
Suppose -4*v - 5*d + 89 = -77, 5*v + 5*d = 205. Is 13 a factor of v?
True
Let g(j) be the third derivative of -j**5/60 - 7*j**4/24 + j**3/6 + 4*j**2. Is g(-6) even?
False
Let o(m) = 10*m - 9. Does 26 divide o(5)?
False
Let l be 10*(-1 + (-12)/(-8)). Is 5 a factor of 28/60*3*l?
False
Suppose r - 20 = 39. Let x be r*2*(-5)/(-10). Suppose 0 = 3*l - 37 - x. Is 16 a factor of l?
True
Let t be (-65)/(-20) - 3/(-4). Does 8 divide 14 + (t - 3) - 1?
False
Let m(c) = -1. Let d(i) = i + 25. Let l(j) = d(j) + 2*m(j). Does 12 divide l(-11)?
True
Suppose 5*b = -10 - 0. Let s be 4/(-1) + (-1 - -1). Is 8 a factor of (6/b - s) + 21?
False
Let r = -36 + 43. Does 3 divide r?
False
Let k(a) = -a**3 - 16*a**2 - 5*a + 36. Is k(-16) a multiple of 6?
False
Suppose -22 = 2*f - 92. Suppose 7 = 3*j - f. Is 14 a factor of j?
True
Let j(g) = -2*g - 10. Let a be j(-9). Let o be 3*(a/(-3))/(-2). Suppose -z = t - 21, -o*z + 102 - 23 = 5*t. Is 9 a factor of z?
False
Let r(b) = -b**2 - 13*b - 4. Let w be r(-9). Suppose -w = -5*x + 168. Suppose 0 = 4*f + 2*a - 54, 5*a - x = -3*f - 3. Is f a multiple of 14?
True
Suppose -17 = -5*h + 3. Suppose 5*c = -4*d + 74, -d - h*c - 24 = -3*d. Is 16 a factor of d?
True
Is 16 a factor of 25 - (6/(-3) - -1)?
False
Suppose -x + 25 = u - 5*u, 3*u + 15 = 0. Let g(f) = f**2 + 5. Is g(x) a multiple of 8?
False
Suppose 2*q + 26 = 3*q. Suppose s + 4 = -t, -s = 2*t - 7*t - q. Let w = 4 - s. Does 3 divide w?
True
Let q = -6 - 1. Let v = 11 + q. Suppose v*r + 5*c - 119 = 0, 2*c + 0*c = -3*r + 84. Does 10 divide r?
False
Suppose -m = 2*b + 61, -b + 2*m + 3 - 41 = 0. Let j = b + 56. Does 13 divide j?
False
Let a be (-48)/(-9) + 2/(-6). Suppose -2*x + 24 = -m, -a*x - 21 = -m - 78. Suppose x = j - 21. Is 16 a factor of j?
True
Is 3 a factor of 12/(6*(-3)/(-12))?
False
Let f(l) = l**2 - 4*l - 3. Let v be f(5). Suppose 5*c + 53 = 2*u, -v*u = -4*u - c + 71. Is u a multiple of 28?
False
Is (-297)/6*(-12)/18 a multiple of 8?
False
Suppose -5*s - 225 = -5*q, -2*q = -4*s + 23 - 119. Is q a multiple of 16?
False
Let w = 5 - 11. Let n(f) = 2*f**2 + 10*f + 6. Is n(w) a multiple of 9?
True
Suppose 0 = -2*j - 5*j + 77. Is j a multiple of 6?
False
Suppose 22 = 4*r - 5*b, -8 = -4*r - 3*b - 2. Suppose -5*t + r*t = -78. Is 18 a factor of t?
False
Suppose -s + 5 = 0, 5*c + s = -3*s + 860. Does 30 divide c?
False
Suppose -2 = -4*f + 6. Suppose -2*m - 5*x + 25 = 0, -x + f*x = 3*m - 29. Is 4 a factor of m?
False
Let c(b) = -b**3 + 3*b**2 + 4*b + 3. Let u = 10 - 6. Let h be c(u). Suppose h*s = -3*m + 48, 2*m - 5*s - 37 = -2*m. Does 5 divide m?
False
Let z(n) = -n**3 + 4*n**2 + 8*n - 4. Let v(c) = -2*c - 11. Let x be v(-8). Is 5 a factor of z(x)?
False
Suppose 0 = -3*o + 3*k + 93, -5*o = -3*k + 2*k - 135. Is o a multiple of 7?
False
Let y(i) = i**3 - 8*i**2 + 2*i - 10. Does 10 divide y(9)?
False
Let h(n) = n**3 - 9*n**2 - 10*n + 3. Let u be h(10). Let z = -2 + u. Is 9/6*12*z a multiple of 17?
False
Suppose 5*w - 28 = 62. Does 10 divide w?
False
Let n(o) = 5*o**2 - 6 + o**3 + 2 - 2*o + 4*o. Let a be n(-3). Is 4 a factor of 50/a + (-3)/12?
False
Let r = -20 - -46. Let t = 38 - r. Is 3 a factor of t?
True
Let s = -14 - -20. Suppose -y = -s*y + 175. Let h = 61 - y. Does 9 divide h?
False
Does 12 divide -60*(38/(-10) + 3)?
True
Let j be 3/2*24/9. Suppose j*o - 45 = -o. Does 2 divide o?
False
Let u be (4/12 + 1)*3. Suppose 4*j - 80 = -4*s, 0 = 2*j - 7*j + u*s + 109. Is 19 a factor of j?
False
Let m = 81 + 169. Is 25 a factor of m?
True
Let h be (-48)/(-21) + 4/(-14). Suppose 0 = -3*m + 6, h*m = n - m - 22. Is n a multiple of 14?
True
Suppose -19 + 95 = -b + s, 2*b - 3*s = -157. Let h = b + 105. Is 18 a factor of h?
False
Suppose 3*h = -5*y + 243, -y + 13 + 40 = 5*h. Is 20 a factor of y?
False
Suppose -l + 9 = 2*l. Is l even?
False
Suppose -w = 2*w - 12. Let n(k) = 1 + 0 + k - w. Does 2 divide n(7)?
True
Suppose 4*g - 2*g = 2*p, 4*g - 18 = -5*p. Suppose 0 = -5*a + 2*u + 4, -4 = -2*a + 5*u - 3*u. Suppose -s + 22 + 19 = g*r, a = -5*r - s + 95. Does 9 divide r?
True
Suppose 10 = 5*d + 3*b - 2, 3*b = 3*d - 12. Suppose -35 = d*h + y, 2*h + 23 = y + 3. Let i = -8 - h. Does 3 divide i?
True
Let c(p) = p + 5. Suppose 5*a - 45 = -5*f, 3*a - 6*a = -3*f + 21. Is c(f) a multiple of 13?
True
Suppose h = 79 + 2. Is 10 a factor of h?
False
Suppose -4*x + 11 = c, 4*c - 6*x + 2*x - 4 = 0. Suppose -33 + 129 = 2*n - 2*o, -c*o = 3*n - 114. Is n a multiple of 13?
False
Let a(k) = -k + 5. Suppose -3*n + 8*n = 0. Let g be a(n). Suppose 88 - 3 = g*b. Is b a multiple of 11?
False
Suppose 0*a - 3*a = -4*l - 59, 0 = a + 5*l - 26. Suppose 0 = -4*f - 1 + a. Is 3 a factor of f?
False
Suppose 8*h - 6*h = 0. Suppose h = -i - 5*c + 19, 2*i = -0*i + 2*c + 74. Is 17 a factor of i?
True
Let f be -1 + 4*41 + 1. Suppose -s = s - f. Does 21 divide s