. Suppose -w*v = -8*v + 890. Is 40 a factor of v?
False
Suppose 4*z + 9 = 25. Suppose -3*x + k + 231 = 0, x - 4*k - 378 = -z*x. Is 3 a factor of x?
True
Suppose -7*a + 262 = 4*z - 5*a, -2*a = 2*z - 130. Let j = z - 49. Is 2 a factor of j?
False
Suppose 67 = 2*c - 0*c + 5*b, 4*b = c - 14. Let w be 2/(4*1) - c/52. Suppose -282 = -w*y - 6*y. Is 22 a factor of y?
False
Let r be (63/6)/(27/(-36)). Let h(l) = -22*l - 37. Does 31 divide h(r)?
False
Suppose 0 = -4*o + 4*d + 2012, 3*d = -4*o + 1297 + 694. Suppose -5*r + o = 5*t - 6*r, -2*r - 307 = -3*t. Is 9 a factor of t?
True
Let w(c) = 19*c**3 + 2*c**2 - 11*c + 34. Suppose -2*a = -s + 9, -12*s = -8*s + 4*a. Is w(s) a multiple of 19?
True
Let c(r) be the third derivative of -r**4/24 + 7*r**3/6 - 26*r**2. Let f be c(3). Suppose -20 = -f*s, 5*s + 4 = m - 28. Is 19 a factor of m?
True
Suppose 16*v - 27*v + 55 = 0. Suppose 5*k - 6*o - 293 = -2*o, -v*k = 3*o - 279. Does 5 divide k?
False
Let b be -3 + 5 + -5 + 403. Suppose -9*x + 13*x - b = -5*n, 0 = 4*n. Does 19 divide x?
False
Suppose -4*h = -5*w + 30244, 5*w - 6547 = 2*h + 23695. Does 32 divide w?
True
Let x(d) = 4577*d - 15635. Does 18 divide x(13)?
True
Let j = -62 + 125. Let k = j + -37. Let p = 126 - k. Does 10 divide p?
True
Suppose -2*u + 3*x + 6 = 0, -2*x - 4 = -u - 2. Suppose 2*c - 58 = -u. Let l = c - -17. Is 11 a factor of l?
False
Suppose 0*i + 6 = -2*i, -3*b - i = -12. Suppose b*u - 4*g - 261 = -g, 5*g + 201 = 4*u. Let f = u + -13. Does 10 divide f?
False
Let i(k) = 220*k - 198. Let m(b) = -11*b + 10. Let f(o) = 6*i(o) + 121*m(o). Let d be 17/(-3) - 3/9. Is 19 a factor of f(d)?
False
Let i(v) = 2*v**3 - 12*v**2 + 7*v + 1. Let m be i(5). Let x be ((-1)/4)/(m/28)*6. Suppose s = 2*r - 384, 5*s - 254 = -x*r + 322. Is 32 a factor of r?
True
Suppose -64*u - 5*r - 11045 = -68*u, 0 = 4*u + r - 11039. Does 9 divide u?
False
Suppose 3*h - 2*t = -5*t + 219, 4 = t. Let y = 389 - h. Is y a multiple of 16?
True
Let z = 56 + -11. Suppose -c - z = -5*a, 5*a + 0*a = -4*c - 130. Let u = 5 - c. Is u a multiple of 20?
True
Let m = 129 - 12. Is 18 a factor of -6*26/m*(-2598)/8?
False
Is (-24 - -25)/(-1 - (-11865)/11862) a multiple of 50?
False
Let o = 15526 - 7117. Is o a multiple of 32?
False
Suppose 4*x - 15 = v, 6*v - 3*v = -3*x. Suppose -x*y - 17 = 3*w - 122, 3*y = -w + 33. Suppose 2*q - 102 = -5*a, -2*a + q - 3*q = -w. Is a a multiple of 22?
True
Let j(b) = -8*b - 3. Let s be j(2). Let m = 25 + s. Let z(x) = -2*x**2 + 14*x. Is 4 a factor of z(m)?
True
Suppose 21*w - 5678 = 17*w + l, 0 = 5*l - 10. Is 20 a factor of w?
True
Suppose 4*b = -5*q + 12, -5*b - q + 0 = -15. Is 10 a factor of b/(-9) + (-16954)/(-21)?
False
Does 114 divide 762/635 + (-23774)/(-5)?
False
Suppose 0 = 31*d - 88 - 98. Is 12 a factor of 8829/9 + (2 - d*1)?
False
Let z be (-2)/(-7) - (-352)/(-7). Let c be (-1588)/(-18) - z/(-225). Let o = c + -62. Does 13 divide o?
True
Let l(z) = 10*z + 156. Let y be l(15). Is y*(15/10 - 1) a multiple of 17?
True
Let x(i) = -i**3 - 10*i**2 + 4. Let j be ((-1)/3)/(13/390). Let w be x(j). Suppose w*q - 73 = -3*c + 5*q, 4*c - 84 = 4*q. Is 26 a factor of c?
True
Let j(b) be the third derivative of -b**6/120 + 2*b**5/5 - 19*b**4/24 + 7*b**3/3 + 172*b**2. Is j(22) a multiple of 47?
True
Does 42 divide ((-99)/(-11) - -1643)/((-6)/(-9))?
True
Let t = 11276 - 26714. Is 58 a factor of ((-48)/(-28))/4 - t/42?
False
Let u = -138 + 112. Let r = u - -202. Is 22 a factor of r?
True
Suppose 10 = 2*d - 8. Let b be ((-14)/(-21))/(2/d). Suppose 40 = 2*f + 2*n + b*n, -20 = -f + 2*n. Is 10 a factor of f?
True
Let r = -586 + 784. Does 7 divide r?
False
Let d = 111 + -183. Does 17 divide (-1896)/(-27) + 16/d?
False
Suppose 14*k + 50 - 92 = 0. Suppose 0 = -3*y - d + 1054, -3*y = 8*d - k*d - 1046. Does 20 divide y?
False
Let p = 3822 - -363. Is 15 a factor of p?
True
Let l(v) = -44 - 5*v + 25 + 11 + 16. Is l(-6) a multiple of 3?
False
Let l(o) = 141*o - 843. Is l(13) a multiple of 15?
True
Let j be 3/6*-2 + (4 - 4). Let b be (-8)/(-6) + (-3)/(-9)*j. Does 11 divide (145/10)/(b/4)?
False
Suppose -q = q - 8. Suppose -4*s - 2 = -3*m + m, -s - 4 = -q*m. Suppose -u - 5 = -m, -y + 17 = u. Is 9 a factor of y?
False
Let l be -3 + 3 + -1 - (-3 - 0). Suppose -l = -2*y, y - 68 - 433 = -2*s. Suppose -5*g + s = -2*w - 0*w, 5*g + 5*w - 215 = 0. Does 12 divide g?
True
Is 3330/17 + (204/(-289))/(-6) a multiple of 28?
True
Suppose 5*z = -1 - 4. Let v(m) be the first derivative of 112*m**3/3 - m**2 - 2*m + 10. Is 22 a factor of v(z)?
False
Suppose 0 = -25*h + 23*h + 40. Suppose -h*f = -6*f - 3584. Does 8 divide f?
True
Does 88 divide -15 + (4767072/17)/16?
False
Suppose h + 3*r = 11428, 30*r = 3*h + 33*r - 34296. Is h a multiple of 27?
False
Is (-497560)/8*15/(-75) a multiple of 31?
False
Suppose 0 = -v - 3*u + u - 15, 0 = -4*v - u - 25. Let g = v - -11. Suppose 44 = -g*y + 308. Is 22 a factor of y?
True
Let r(h) = -4*h**2 - 16*h - 13. Let l(t) = 2*t - 36. Let s be l(13). Let j be r(s). Let b = 505 + j. Is 14 a factor of b?
True
Suppose 94*g + 5*c + 24595 = 99*g, 0 = 5*g + 4*c - 24649. Does 6 divide g?
False
Let q(c) = c**2 - 55*c - 14*c**2 + 24*c**2 + 311 + 23*c**2 + 2*c**2. Is q(5) a multiple of 52?
True
Let c = 7642 + -2749. Is c a multiple of 12?
False
Let x = -1254 + 1588. Does 4 divide x?
False
Suppose -813 = -h + 177. Let q = h - 680. Is 31 a factor of q?
True
Suppose -5*y = 5*v - 7750, -231*v = -y - 229*v + 1541. Is 91 a factor of y?
True
Suppose -37920 = 3*d + 2*d. Suppose -u - 3*g = 3*u + 118, -2*g = -3*u - 80. Does 27 divide d/(-56) - 2/(u/(-6))?
True
Let u(y) = -2*y**2 - 21*y + 54. Let t be u(-12). Suppose n - 210 = -t. Does 13 divide n?
False
Let r be 6/(-4)*28/(-14). Suppose 0 = r*w - 0*w - 9. Suppose -643 = -5*k + k - s, 0 = -3*k + w*s + 486. Is 18 a factor of k?
False
Let m be -6 + (-37 - 5)/(-6). Let h = 99 + m. Is h a multiple of 5?
True
Suppose 19 - 9 = -5*j. Is 5 a factor of 48 + j - (-4 - 0)?
True
Let f(s) = -s**2 - 5*s + 4. Let k(b) = 2*b**2 + 6*b - 4. Let h(i) = 3*f(i) + 2*k(i). Let p be h(2). Suppose -p*l = -175 - 65. Does 20 divide l?
True
Is 23 a factor of (-22988)/(-21) + (-256)/96?
False
Suppose -3*f - 85 = d, 406 = -5*d + f + 3*f. Let j = d + -29. Is 36/27*j/(-4) a multiple of 18?
False
Let c(w) = w**2 - 10*w - 10. Let x = -2 + -4. Let y be c(x). Suppose 151 = 3*u - 4*s, -s = u + u - y. Does 9 divide u?
True
Suppose -8*n + 5*n + 75 = 0. Suppose 21*d + n = 26*d. Suppose 2*f - 308 = d*x - 1428, f + 227 = x. Is 19 a factor of x?
False
Let a(p) = p**2 + 4*p - 9. Let k be a(0). Let b(m) = 3*m**2 - 11*m - 37. Does 19 divide b(k)?
False
Suppose 12*y + 28 = 19*y. Suppose -2817 = -5*n + y*i, -61 = n + 2*i - 616. Is 7 a factor of n?
False
Let k = -163 + -36. Let y = k + 218. Does 5 divide y?
False
Suppose 2*s + 13 - 2 = t, -t - 3*s - 4 = 0. Suppose 2*n + 1148 = -t*n. Is n/(-18) - 2/18 a multiple of 9?
True
Let d = -22 + 24. Suppose 2*q - 2*b - 12 = 0, 0 + 12 = 4*q + d*b. Suppose 272 = 2*v + q*p, -2*v + 0*p + 281 = -5*p. Does 46 divide v?
True
Let n(j) be the second derivative of j**3/6 + 92*j**2 + 5*j - 18. Is 8 a factor of n(-22)?
False
Suppose 0 = 3*g - 19*g - 256. Is (268 - g)*(-2)/(-4) a multiple of 33?
False
Let q(r) = -r**2 - 22*r - 5. Suppose -352 = 37*h - 15*h. Does 7 divide q(h)?
True
Suppose 154*r - 113*r = 179047. Is r a multiple of 38?
False
Suppose 0 = -300*h + 305*h - 24716 - 120759. Is h a multiple of 115?
True
Suppose -3184 = -m + 4516 + 12684. Is 49 a factor of m?
True
Let v(k) = -105*k - 2898. Is v(-37) a multiple of 2?
False
Let a be (5 + 42/(-12))/(3/(-6)). Is 28 a factor of (-330)/198 - 4709/a?
True
Is (-2740)/8*(80 - 96) a multiple of 40?
True
Let x be 5*1/25*5 + 3. Suppose 2*k = x*f + 304, -2*f + 5 = -3. Is k a multiple of 15?
False
Let y be (23/(-2) - 1)/(17/(-306)). Suppose -y*r + 227*r = 8. Does 31 divide ((-980)/(-21) + -6)*18/r?
False
Let t = 73 + -76. Let o(r) = -7*r**2 + 3*r + 9. Let z be o(t). Does 15 divide (z/15)/((-6)/60)?
False
Let w be (32/24 + -6)*(-6)/7. Let g be (-2)/(-1 - -5)*0. Suppose g = 4*f - w - 80. Is f a multiple of 10?
False
Let l(w) be the second derivative of -7*w**4/24 - 13*w**3/3 - 3*w**2/2 - 12*w. Let g(p) be the first derivative of l(p). Is g(-11) a multiple of 17?
True
Let y be (4114/(-44))/(2/(-24)). Let d = 2660 - y. 