se -2*b + 3 = -49. Suppose -4*n = 3*w + b - 75, -w - h*n + 19 = 0. Does 10 divide w?
False
Suppose 160 = 2*z + 38. Let y = 12 - z. Let d = -31 - y. Is d a multiple of 6?
True
Let x = 22 + -20. Suppose -2*k = -k + x. Is 9 a factor of -3 + -1 - (k + -20)?
True
Suppose -28*x + 9686 + 3418 = 0. Is 26 a factor of x?
True
Let h = 15 + -25. Let w be -5*-6*(-2)/h. Suppose 228 = -3*u + w*u. Is 34 a factor of u?
False
Let n(v) = -v**2 + 8*v - 10. Let s be n(7). Let j be -1 - ((-18)/s + -3). Let r(m) = 2*m**2 + 6*m + 8. Is 10 a factor of r(j)?
False
Let g(a) = a**3 - 4*a**2 - 6*a + 9. Let q be g(5). Suppose 0 = -4*y + n + 328, q*n - 3*n = y - 79. Is 13 a factor of y?
False
Let n(k) = k**2 - 20*k - 44. Let t be n(22). Suppose -h - 36 + 226 = t. Does 38 divide h?
True
Is 24/(-12)*(-4235)/22 a multiple of 8?
False
Let d = -256 + 291. Does 7 divide d?
True
Suppose 8 = k + 3. Suppose -2*f + 30 = 2*d - 32, -37 = -d + k*f. Suppose -3*n + d = n. Is n a multiple of 2?
True
Let b = 142 - -956. Is 29 a factor of b?
False
Suppose 0 = -9*a + 14*a - 2210. Is 33 a factor of a?
False
Let d = -31 + 114. Suppose -4*z + 157 + d = 0. Is z a multiple of 13?
False
Let l(u) = -5*u - 55 - 4*u + 56. Is 17 a factor of l(-2)?
False
Suppose -8*m + 5*m = 0. Suppose 3*z = -6, d + z + 3*z - 19 = m. Is 3 a factor of d?
True
Suppose -d = 6*d - 5*d. Suppose d = 2*m + 5*p - 21, -m - 6 = -2*p - 30. Is 6 a factor of m?
True
Suppose -6*s + s = -225. Let d be -6*((-10)/(-6) + -2 + 0). Suppose -r + s = d*r. Is 12 a factor of r?
False
Let y(m) = m**3 - 4*m**2 - 5*m + 10. Let d be ((-6)/(-2))/((-6)/(-14)). Is 16 a factor of y(d)?
False
Suppose -w - 12 = 5*c - 5*w, 0 = -2*c + w - 3. Suppose c = -d + 24 + 15. Suppose -3*g + 2*g = -d. Is g a multiple of 13?
True
Let j(k) = -25*k - 14. Let q(w) = w + 12. Let b be q(-17). Is 21 a factor of j(b)?
False
Suppose 5*b = 3302 - 1082. Suppose -5*k - z = z - 751, z = 3*k - b. Is k a multiple of 32?
False
Suppose -4*n - 23 = -5*v + 4, -4*v + 21 = -3*n. Suppose -x = -4*j + 101, -x + 3*x = -2. Let h = j - n. Is 14 a factor of h?
True
Let b(a) = -a**3 - 4*a**2 - 17*a - 54. Does 7 divide b(-5)?
True
Let j(y) = 68*y - 14. Let m be j(4). Suppose 4*g - m = -2*g. Does 25 divide g?
False
Let c(d) = -d**3 - 11*d**2 + 35*d + 21. Does 31 divide c(-17)?
False
Let u(a) = -484*a + 44. Is 12 a factor of u(-1)?
True
Suppose 3*l = 5*r - 5 + 33, -2*l - 5*r - 23 = 0. Let s be 13 - 9 - 9/(-1). Is 11 a factor of 0 + (l + 3)*s?
False
Suppose -3*q + 1 = -5. Let n be (-2508)/(-72) + q/12. Suppose -n = -6*k + k. Is k a multiple of 2?
False
Is 40 a factor of (-66272)/(-128) + 18/8?
True
Let g(w) = w**3 + 8*w**2 - 15*w - 9. Let n be g(-9). Suppose 154*q = 159*q - n. Is q a multiple of 9?
True
Let b(c) = -c**2 + 8*c + 3. Let l(t) = -t - 5*t + 31 + 2*t - 35. Let w be l(-3). Is b(w) a multiple of 2?
False
Let u be (-48)/(-2 + -2)*(-2)/(-6). Suppose 2*n + 2*a - 18 = 0, -3*n - a + 11 = -6. Suppose u*z + 228 = n*l, -3*l + 168 = -0*z - 2*z. Is l a multiple of 27?
True
Let h be (-32)/(-24) - (-3 + 5/(-3)). Suppose 5*y - 240 = -s, 0 = h*s - 7*s - 5. Is y a multiple of 49?
True
Let v = -20 + 185. Does 9 divide v?
False
Let p(m) be the first derivative of m**6/120 - m**5/30 - m**4/4 + 5*m**3/6 - 2*m**2 + 1. Let c(q) be the second derivative of p(q). Is c(4) a multiple of 5?
False
Suppose -6 - 12 = -2*n. Let t be (1554/9)/(3/n). Is t/84 - (-2)/(-12) a multiple of 4?
False
Let f(v) = 77*v**2 - 5*v - 4. Does 42 divide f(2)?
True
Let z(t) = 135*t + 1. Let u(q) = 2*q**3 - 2*q**2 + 3*q - 2. Let o be u(1). Let f be z(o). Let p = -97 + f. Is 13 a factor of p?
True
Is 32 a factor of -9 + 3108/(-2 - -6)?
True
Suppose s + q + 23 + 24 = 0, -5*s - 217 = -q. Let a(h) = h**3 + 12*h**2 - 5*h + 32. Let i be a(-13). Let k = s - i. Is k a multiple of 14?
True
Let j(z) = z**3 + 5*z**2 - 9*z + 14. Does 71 divide j(4)?
False
Suppose -c = 2*c - 12. Let g be 225/(-10)*24/30. Is 20 a factor of g/c*-10 + 4?
False
Let c(q) = -131*q. Let m be c(-1). Suppose m = 4*v + 3*w, 0 = -0*w + 3*w - 3. Does 16 divide v?
True
Let q be (1 + -3)/((-4)/26). Let m(g) = -q + 15*g**2 - g**3 + 7 - 12*g - 4. Is m(14) a multiple of 6?
True
Let v(w) = 17*w - 12. Let u(y) = -3*y**2 + 5*y + 9. Let f be u(5). Let t = -33 - f. Is v(t) a multiple of 30?
False
Suppose -4*d + 330 = 234. Does 8 divide d?
True
Is (-432)/(-4) + -2 - 1 a multiple of 3?
True
Suppose -5*d = -7744 + 1534. Does 54 divide d?
True
Let h(s) = 18*s + 343. Does 4 divide h(-6)?
False
Let h be (-1)/(-6) + (-153)/(-54). Suppose -7*w + h*w = -5*v + 80, 3*v + 2*w = 70. Is v even?
True
Is 7 + 3 + -7 + (978 - -5) a multiple of 30?
False
Let i(r) be the second derivative of -r**5/5 - r**4/3 - 2*r**3/3 - 3*r. Suppose -5 = 4*v + 7. Does 14 divide i(v)?
True
Suppose 329 = 7*s - 308. Is s a multiple of 2?
False
Let h = 223 - 118. Is 29 a factor of h?
False
Suppose -3*s + 4*o = -39, -s + 5*o = -5*s + 21. Suppose 0*w - s = -w + 4*y, -4*w + 4*y = -96. Is 13 a factor of (-2 - -1) + w + 0?
False
Suppose -5*a - 4*o - 2 = -31, -5*o + 15 = 2*a. Suppose a*p - 139 - 166 = 0. Is 5 a factor of p?
False
Let y(k) = -2*k + 5. Suppose 0 = 3*z + 3*z + 60. Does 15 divide y(z)?
False
Let y(x) = -x**3 + 4*x**2 + 13*x + 2. Let o(m) = m**2 - 2*m - 9. Let g be o(5). Is 2 a factor of y(g)?
True
Suppose 5*u = -d + 161, -d + 2*d = -4. Let r = 63 - u. Is 16 a factor of r?
False
Is 52 a factor of (2 + (-213)/6)*(-1 + -13)?
False
Let t(z) = z**3 - 6*z**2 + 3*z + 13. Let a be t(5). Let g(j) = 3*j**3 + 2*j**2 + 6*j - 4. Does 7 divide g(a)?
False
Suppose 5*y + 16 = 2*h, -y = -h + 3 + 2. Suppose o + 80 = h*o. Is 9 a factor of o?
False
Suppose -2*o - 1 = -y - 2*y, 2*y - 18 = -3*o. Suppose y*n = -4 - 11. Let a = 19 - n. Is 24 a factor of a?
True
Let p = -570 + 1164. Does 27 divide p?
True
Let q(r) = r**3 - 10*r**2 - 13*r + 19. Let s be q(11). Is 15 a factor of (-86)/(-3) - 1/s?
False
Let n(r) = r**2 + 10*r - 7. Let w be n(-10). Let b(l) = -2*l + 6. Is 5 a factor of b(w)?
True
Let l = -82 - -82. Suppose -5*g + 3*f + l*f + 155 = 0, -5*g + 145 = -5*f. Is g a multiple of 4?
False
Suppose 327 = -9*p + 1002. Suppose -p - 49 = -y. Is 17 a factor of y?
False
Let u = 9265 - 5277. Is 105 a factor of u?
False
Suppose 419*s - 2025 = 414*s. Does 28 divide s?
False
Let h(v) be the first derivative of -v**5/20 + 11*v**4/12 - 4*v**3/3 + v**2 - v + 5. Let w(x) be the first derivative of h(x). Does 10 divide w(10)?
False
Suppose 6535 = 23*y + 1337. Does 14 divide y?
False
Suppose -3*l = 2*l - 3*i - 16, -l + 8 = i. Suppose w + 296 = 4*u, -l*u + w + 185 + 186 = 0. Is u a multiple of 17?
False
Suppose 6 = 4*f - 10. Suppose 310 = 5*p - q + f*q, 0 = p - q - 54. Let s = p - -5. Is 16 a factor of s?
True
Let v = -411 - -248. Let w = 259 + v. Suppose 4*u = 144 + w. Does 30 divide u?
True
Suppose 0 = 3*t - 2*d - 10, -2*t + 5*d - 2 + 5 = 0. Suppose 0 = 4*v - 7*v - 3*l + 159, -211 = -t*v - 5*l. Does 18 divide v?
True
Does 4 divide 758/2 + (-16)/8 + 2?
False
Suppose -5*u = -u + 12. Let f = u - -5. Is 13 a factor of (10 + (1 - -2))*f?
True
Suppose 30*q = 9*q + 14784. Is q a multiple of 30?
False
Let u = 146 + -281. Let w = 331 + u. Is 38 a factor of w?
False
Suppose -6 = 2*j - i - 3, -4*j = -4*i. Let f = 393 - 368. Let b = j + f. Is 22 a factor of b?
True
Let q be 3 + -3 + 3 + -15. Let z(o) = 6 - 10*o + 5 - o**2 - 5*o - 2. Is z(q) a multiple of 15?
True
Suppose 0 = -5*t - 2*c - 846, t - 5*t - 663 = -3*c. Does 14 divide (3/(27/t))/(3/(-9))?
True
Suppose 4*m = -2*u - 26, -2*u + 12 = -5*u + 3*m. Let d = 78 + u. Is 18 a factor of d?
False
Let t(x) = 2*x**3 - 39*x**2 - 44*x + 76. Does 16 divide t(22)?
False
Is 18 a factor of 2144 - 17/((-68)/(-8))?
True
Suppose 4*v = r - 768, -2827 = -4*r - 5*v + 329. Does 8 divide r?
True
Suppose -38 = -3*q + 1. Let n(m) = -m + 39. Is n(q) a multiple of 8?
False
Let w be (204/(-30))/((-4)/10). Let v = 20 - w. Is 37 - (v + -3) - -3 a multiple of 30?
False
Let f = -42 - -82. Does 5 divide f?
True
Let q(b) = b**3 - 5*b**2 - 6*b + 4. Let s be q(6). Let a be (-1160)/(-50)*30/s. Let n = a + -109. Is 11 a factor of n?
False
Let u = -1 - -5. Suppose -a - 197 = -u*j, -8*a - 1003 = -3*a - 2*j. Let m = -128 - a. Is 13 a factor of m?
False
Let j(u) be the second derivative of u**5/20 + u**4/4 + u**3 - 7*u**2/2 - u. Let z be j(-5). Let o