/(-11)?
False
Suppose c - 1 = s, 3*c + 2 = 4*s + 5. Let x(r) = 8*r**2. Does 7 divide x(c)?
False
Suppose -5*t - 25 = 0, -4*p + 3*t = t - 158. Is p a multiple of 8?
False
Let y(z) = -z**3 + 5*z**2 - 4*z + 6. Let v be y(4). Is 18 a factor of (-1 - -1) + (47 - v)?
False
Let k = 24 - 5. Is 3 a factor of k?
False
Let q = -8 + 13. Let o be -1 + q + (3 - 2). Suppose -2*b + 9 = -6*b + o*f, 4*b + 4*f - 36 = 0. Does 4 divide b?
True
Let j = 53 - 12. Suppose -4*x + 101 = -4*s + j, -5*x + 3*s = -77. Is x a multiple of 8?
True
Let i = 4 + -4. Suppose i = 3*p - 3*k - 21, p - 2*k = -0*p + 6. Is p a multiple of 3?
False
Is 27 - 4/((-8)/(-6)) a multiple of 12?
True
Suppose 0 = 3*w + 4*f - 578 + 141, 717 = 5*w + f. Is 11 a factor of w?
True
Does 5 divide 356/24 + (-3)/(-18)?
True
Let q = -4 - -7. Suppose -k = -q*k + 16. Is 6 a factor of k?
False
Suppose -121*n + 119*n = -280. Is n a multiple of 5?
True
Let j(b) = -44*b**3 - b**2 + b + 1. Let t be j(-1). Let n = t - 26. Does 7 divide n?
False
Let y(a) = -2*a. Let x be y(-1). Let m be (2 - 3/x)*10. Let q = m - -3. Is q a multiple of 7?
False
Let v be 59 + 2 + (1 - 2). Suppose 3*h = h + q + 13, h - 5 = -q. Suppose z - h*z = -v. Does 6 divide z?
True
Let w(n) = -n**2 + 2*n - 10. Let p be w(7). Let k = 91 + p. Is 15 a factor of 1/3*(-1 + k)?
True
Let w(s) = -2*s**2 + 31*s - 12. Let n be w(15). Let x(v) = 16*v. Let i be x(-1). Let u = n - i. Does 16 divide u?
False
Let c(b) = 17*b**2 + 4*b + 3. Does 21 divide c(-2)?
True
Let m be (-64)/(-10)*(2 + 3). Let i be (m/(-6))/((-10)/(-105)). Let j = i + 85. Is j a multiple of 12?
False
Let c(b) = 18*b**2 + 2. Let t be c(-2). Suppose u - t = -5*v, v + 4*v + 4*u - 86 = 0. Is v a multiple of 8?
False
Is (-27 - 0)*7/(-7) a multiple of 9?
True
Let x = -6 - -10. Suppose x*k - 53 = -0*k - m, 2*k - 3*m = 23. Is k a multiple of 2?
False
Let h = -9 + 25. Is h a multiple of 5?
False
Let t(j) = -3*j - 9. Is 17 a factor of t(-20)?
True
Suppose -5 = -2*w - 39. Let q = w + 32. Is 5 a factor of q?
True
Suppose 1325 = 7*k + 317. Is 36 a factor of k?
True
Let y(w) be the third derivative of w**5/30 + w**4/4 + 4*w**3/3 + 2*w**2. Is 4 a factor of y(-3)?
True
Let y(s) = 5*s**2 - 4*s - 4. Suppose 0 = -2*c - 1 - 3. Let f = c + -1. Does 18 divide y(f)?
False
Let o = -1 + 4. Let d(z) = -5*z**2 - 4 + z**3 + 0*z**3 + 3*z**2 + o*z. Is d(3) a multiple of 7?
True
Does 21 divide (-6)/(-4) + (-1107)/(-18) + 0?
True
Suppose 0 = -5*x - 0*x + 50. Let f(r) be the second derivative of -r**5/20 + 3*r**4/4 + 11*r**3/6 - r**2 + r. Does 4 divide f(x)?
True
Let a(r) = -2*r**2 - 4*r + 5. Let f be a(2). Let y = 25 + f. Is 7 a factor of y?
True
Let s be 24/1*1/2. Does 4 divide 2/12 - (-142)/s?
True
Suppose -2*t - 38 = -168. Is t a multiple of 8?
False
Suppose 14 - 3 = r. Let k = r + -5. Is k a multiple of 2?
True
Suppose -71 = -2*y + 3*g, -5*g + 54 = 4*y - 77. Let i = y - 18. Is i a multiple of 16?
True
Let f be 23/7 + 6/(-21). Suppose f*k + 3*j = -k + 52, 56 = 3*k - 2*j. Is k a multiple of 9?
False
Suppose 3*j - 2*o - 161 = -0*j, -j + 5*o = -58. Suppose -6*s = j - 515. Does 17 divide s?
False
Let f = 26 + -8. Let j be (-5)/((-5)/f) + -1. Let t = j - -10. Is t a multiple of 15?
False
Suppose -7*i = -328 - 526. Does 23 divide i?
False
Suppose t + u - 40 = -0*u, -2*t = -3*u - 100. Is 11 a factor of t?
True
Let l be 725/(-10) + 3/6. Is 2 a factor of 4/(-22) + l/(-33)?
True
Suppose 12 = -5*m + 62. Let d = -5 + m. Is d a multiple of 2?
False
Let i = 46 + -4. Does 7 divide i?
True
Let v = 25 + -12. Suppose 0 = -v*y + 12*y + 5. Is y a multiple of 5?
True
Let x(m) = -16*m + 12. Is 12 a factor of x(-5)?
False
Suppose -11*x = -16*x + 165. Is 32 a factor of x?
False
Is 34 a factor of (136/(-12))/(-1)*6?
True
Let f be (102/4)/(1/2). Suppose -3*j = -f + 9. Is 7 a factor of j?
True
Let n be (0 + 2/1)*2. Suppose n = r - 4. Suppose 3*i - t = r*i - 136, 16 = -4*t. Is 14 a factor of i?
True
Suppose 0 = -2*o + t + 143, -2*o + 211 = o + 2*t. Let p be -3*o*(-2)/6. Let r = p - 43. Is 14 a factor of r?
True
Let r(n) = n**2 - n + 1. Let z be r(1). Let s be 1*(-3)/z - -2. Let m = 5 + s. Is 4 a factor of m?
True
Let b = 137 - 95. Is b a multiple of 7?
True
Suppose 0 = 2*g - 60 - 102. Is g a multiple of 3?
True
Suppose -4*p + 1 = -7. Is 5 a factor of -1*p - (-17 + 0)?
True
Let l(t) = t**3 - 6*t**2 - t + 8. Let p be l(6). Suppose 12 = k + 4*b, 6 = -p*b - b. Is k a multiple of 12?
False
Suppose 3*t - 62 = 55. Is 6 a factor of t?
False
Is 6 a factor of (-36)/(-14)*(-14)/(-2)?
True
Suppose 84 = 7*b - 4*b. Is 7 a factor of b?
True
Let z(p) = p**2 + 2*p - 5. Let q be z(4). Is 25 a factor of 2 + -1 + (q - -5)?
True
Let a be (24/(-9) + 3)*6. Suppose a*k = -k + 78. Is 13 a factor of k?
True
Let n = 29 + -299. Let a be n/20 + 1/(-2). Does 22 divide 2/3*(-525)/a?
False
Suppose 0*q = 7*q - 133. Does 15 divide q?
False
Suppose -3*p + 2*i + 181 = 0, 4*p - 2*i + 3*i - 223 = 0. Does 13 divide p?
False
Let u(d) = -d + 11. Suppose 5*b - 41 = 4*c, -5*b = c - 15 - 31. Let j be u(b). Suppose 20 = 4*i + 4*o, -5*i + j*o + 19 + 20 = 0. Does 4 divide i?
False
Suppose 0 = -3*k + 4*k - 15. Let o = k - -8. Is o a multiple of 14?
False
Let h be 6/4 + (-18)/(-12). Let a = -11 + h. Is 5 a factor of (a/(-2) - -3)*2?
False
Let m be (9/(-6) - -1)*-10. Let b be 70/(-6) + (-2)/6. Let g = m - b. Is g a multiple of 17?
True
Let w = 21 + 9. Is w a multiple of 16?
False
Let w(o) = -10*o + 1. Suppose -k + 2 + 3 = 0. Suppose 4*v - 5 = -y + v, 0 = y - k*v + 19. Is 19 a factor of w(y)?
False
Let i(n) = 9*n**3 - 2*n**2 + 2*n - 4. Let y(c) = c**3 - c**2 + c - 1. Let q(w) = -i(w) + 3*y(w). Let b = 1 + -2. Is q(b) a multiple of 2?
False
Let a(b) = b**3 + 9*b**2 + 7*b - 7. Let i be -1 - -2 - 9*1. Let q be a(i). Does 11 divide (-11)/q*(-2 + 0)?
True
Let x = 111 - -39. Is x a multiple of 15?
True
Suppose 0*z - 39 = 3*z. Let m(f) = f - 18. Let w be m(0). Let j = z - w. Is j a multiple of 3?
False
Let m(r) = 24*r + 32. Is 22 a factor of m(6)?
True
Let i = 274 + -157. Is 28 a factor of i?
False
Suppose t - 15 = -2*t. Let b(n) = 3*n + 3. Is 17 a factor of b(t)?
False
Suppose -6*h = -h - 25. Is h a multiple of 2?
False
Let k be 0/(4/((-4)/(-2))). Suppose -5*h = -k*h - 195. Does 13 divide h?
True
Let t = 23 + -9. Suppose 0*c - t = -2*c. Suppose c = 5*p - 63. Is 14 a factor of p?
True
Let a = 16 - 13. Is (-152)/(-20) + a/(-5) a multiple of 7?
True
Suppose -5*l = 1 - 21. Does 4 divide l?
True
Suppose 7*x - 9*x + 70 = 0. Let c = 95 - x. Is c a multiple of 15?
True
Does 18 divide (-12)/2*(-36)/4?
True
Is 29 a factor of 700/(-15)*45/(-6)?
False
Let j(o) = -16*o**2 - 25*o - 19. Suppose -4*u + 4 = 2*z, 3*u = -z - z + 4. Let p(r) = 3*r**2 + 5*r + 4. Let d(a) = z*j(a) + 11*p(a). Is d(-4) a multiple of 2?
True
Suppose 0 = q - 2*d + d - 5, -4*d = -20. Suppose 5*m = -q, -2*m - m = -3*n + 138. Does 18 divide n?
False
Let a(o) = o**2 - 6*o + 3. Suppose 24 = -0*m + 2*m. Suppose 3*n + 5*w - m = 0, 42 = 5*n - n - 2*w. Is 14 a factor of a(n)?
False
Let c = 53 + -27. Does 13 divide c?
True
Let p be (0/(-1) - -1) + 1. Suppose 4*v + 0*v - 16 = 0. Suppose -5*n - s - p*s = -62, -2*s + 50 = v*n. Does 13 divide n?
True
Is 5 a factor of 1/(4*(-5)/(-100))?
True
Suppose 0 = r - 3*g - 47, 159 = 3*r - g + 18. Does 30 divide r?
False
Suppose -2 = -4*s + 54. Does 10 divide s?
False
Suppose 3*w - 7 = -3*p + 2, 0 = 3*p + 2*w - 8. Let z be (p/1 - 1)*0. Is (z - 93/(-12))*4 a multiple of 19?
False
Let r(z) = 1. Let m(b) = -9*b + 9. Let o be (-2 - -2)/(-1) + -1. Let g(f) = o*m(f) + 5*r(f). Is g(3) a multiple of 23?
True
Let r = 22 + 2. Does 6 divide (r/(-10))/(10/(-50))?
True
Let s be (-2)/1*9/(-6). Suppose -o = -s*o + 8. Does 4 divide o?
True
Let f = 18 + -26. Let m = -2 - f. Let p(i) = -i**3 + 5*i**2 + 8*i - 4. Is p(m) a multiple of 8?
True
Let j = -3 + 7. Suppose 0 = 2*o + j*n + n - 32, 0 = -4*o + 5*n + 34. Is 11 a factor of o?
True
Let a = -6 - -2. Let k(y) = 2*y**2 + 4*y - 4. Is 4 a factor of k(a)?
True
Is 12 a factor of 475/20 - (-2)/8?
True
Let q(n) = n**2 + 5*n + 4. Let s be q(-6). Suppose 0 = -b - 3*a + 10, 2*a + 3*a - s = 0. Suppose -48 = f - b*f. Is f a multiple of 7?
False
Let t(u) = -u**2 + 2*u - 5. Let x(i) = 2*i**2 - 3*i + 10. Let b(r) = 7*t(r) + 4*x(r). Is b(4) a multiple of 7?
False
Suppose -2*z = -6*z + 288. Suppose