113 + -10865. Does 4 divide b?
True
Let g(v) = 9*v**2 - 29*v + 74. Does 15 divide g(43)?
False
Let j(u) = -2*u + 8. Suppose 6 = -3*w - 0*w + 4*a, 0 = -5*w + a + 7. Let k be j(w). Suppose -2*c = -4*x + 410, 5*c + k = c. Does 34 divide x?
True
Suppose 14 - 20 = -3*p. Suppose 2*z - p*t - 58 = 0, -t = z - 5*z + 119. Is 30 a factor of z?
True
Suppose 5*q + 4*k - 9 = 0, 4*q + 4*k + 6 = 2*q. Suppose -q*l - 887 = -2842. Does 82 divide l?
False
Suppose 4*f - 2*p = 358, -3 = 3*p + 12. Let t = f - 83. Suppose t*b - i = -6*i + 805, -2*b + 3*i + 397 = 0. Is b a multiple of 20?
True
Let v(h) = -4*h**3 + 3*h**2 + 2*h + 3. Let n(x) = 8*x + 6 - 7*x**3 + 7*x**2 + 12*x - 17*x. Let l(s) = -3*n(s) + 7*v(s). Is l(-2) a multiple of 11?
False
Let f(k) = 7252*k - 838. Does 89 divide f(5)?
True
Suppose -1083 = 5*j + 552. Does 32 divide (-109)/j + (-2848)/(-6)?
False
Let f = 12 - 8. Let w be (70 + 1 - f) + -4. Suppose 0 = 3*k - r - w, r - 2*r - 85 = -4*k. Does 16 divide k?
False
Let o be (-2)/1*-2 - 5 - -224. Let x = o - 455. Let q = x + 331. Does 24 divide q?
False
Let a(n) = 276*n + 18. Let f be a(8). Suppose -112*w + f = -109*w. Is w a multiple of 35?
False
Suppose -4*r + 41 = z, -3*z + 7 = 2*r - 6. Suppose -2*a + 3120 = r*a. Is 5 a factor of a?
True
Suppose 2*n = 5*f + 34, -n - 2*f = -3*f - 23. Does 4 divide (4/(-3))/(n/(-81))?
True
Suppose -97 = 2*d - x, -4*x - 15 = -x. Let a = d + 90. Does 39 divide a?
True
Let c(m) be the third derivative of 53*m**5/60 - 5*m**4/24 - m**3/2 + 9*m**2. Let q be c(-4). Suppose 278 = 9*y - q. Does 25 divide y?
False
Let i = -3091 + 4156. Is i even?
False
Suppose 408*g + 703180 = 6704044. Is g a multiple of 21?
False
Suppose -50 = -10*n, n + 2*n + 31953 = 4*r. Does 36 divide r?
True
Let c(p) = -p**3 + 5*p**2 - 2*p - 6. Let a be c(3). Is 2 a factor of 148/8 + 3/a?
False
Let i = 2454 - -1701. Does 12 divide i?
False
Let p(w) = -w**3 + 2*w**2 + 6*w + 239. Let y be p(0). Is y + (-3)/12 + 342/(-72) a multiple of 29?
False
Suppose -4*q = 2*n - 23958, 35*q - 2*n = 38*q - 17970. Is 6 a factor of q?
True
Suppose -5*p = 2*u - 19, -2*p + 5*u + 12 = -13. Suppose -4*r = r + p. Does 8 divide ((-1)/2)/((-2)/(511 - r))?
True
Suppose -24*r + 720 = -21*r. Is 30 a factor of r?
True
Suppose -23826 = 262*c - 319100. Is c a multiple of 23?
True
Let x = 5717 - 3829. Is x a multiple of 32?
True
Suppose -133*r + 128*r - 5 = 0. Is ((-40)/80)/(r/66) even?
False
Let i(s) be the second derivative of -s**5/20 + 5*s**4/12 + 2*s**3/3 + 5*s**2/2 + 12*s. Let j be i(6). Is (-60)/3*(j - -5) a multiple of 20?
True
Suppose -5*l + 47 = 2*y - 389, 0 = 4*l. Let t = y + -74. Does 36 divide t?
True
Suppose 0 = 13*y - 22*y + 334008. Is y a multiple of 38?
False
Suppose 3*b - 10 = 11. Suppose 5*m = 3 + b. Is 8 a factor of 2/1 + (0 - -122)/m?
False
Suppose 21*g = 77*g - 222880. Is g a multiple of 29?
False
Let l(y) = 7*y - 4*y**2 + 15*y - 168 + 6*y**2 + 161. Is 21 a factor of l(-22)?
False
Let m = -239 - -816. Let o = 602 + m. Is 65 a factor of o?
False
Let d = -357 - -510. Suppose c - 858 = -5*w, -495 = -2*w - c - d. Is 24 a factor of w?
False
Let z(f) = 4*f**2 + 179*f - 15. Let i = -298 - -251. Is z(i) a multiple of 15?
False
Does 3 divide ((-20)/80*(-6 + 63))/(3/(-184))?
False
Let q = 62 + 4348. Is 15 a factor of q?
True
Let k = 337 - 497. Let p = k + 222. Is 12 a factor of p?
False
Suppose -2*t + z - 44 = 8, -3*t - z - 88 = 0. Let o = -1 - t. Does 8 divide (-214)/o*-3 + (-6)/(-27)?
True
Suppose -t + c + 4204 = 0, 5*t + 70*c - 73*c - 21018 = 0. Does 15 divide t?
False
Let o(h) = 2*h**3 + 17*h**2 + 6*h + 9. Let w be o(-8). Let p(r) = -r**2 + 31*r - 27. Is p(w) a multiple of 7?
False
Let i(c) = c**2 - 4*c - 9. Let q(w) = w**2 - 9. Let t(r) = -r**3 - 9*r**2 - 15*r - 3. Let v be t(-7). Let f be q(v). Is 12 a factor of i(f)?
True
Suppose 35 = -5*b, -20*b + 1711 = u - 23*b. Is u a multiple of 38?
False
Let w = -16 - -20. Suppose -w*y = -5*y - 50. Let s = 1 - y. Does 17 divide s?
True
Let d = 26 + -26. Does 2 divide (d - 1)*(-13 - -13) + 3?
False
Let p(c) = -c**3 + 37*c**2 + c - 29. Let j be p(37). Is 34 a factor of (j - (-138 - 1)) + 4/1?
False
Let s(k) be the third derivative of 0 + 0*k + 1/120*k**6 - 22*k**2 - 1/3*k**3 + 1/8*k**4 + 1/60*k**5. Does 37 divide s(3)?
False
Suppose -4*b + 5*j = -34430, -617*b + 621*b = 2*j + 34412. Is 20 a factor of b?
True
Suppose -2*m - 5*h + 20 = 3*m, 5*h = -2*m + 8. Let r be ((-58)/44 + 8/(-44))/((-7)/42). Suppose -r = m*d - 41. Is 4 a factor of d?
True
Let x(c) = 2*c**3 - 2*c**2 + 6*c + 2. Let l be x(3). Suppose -8*r = -0*r - l. Does 4 divide 1 + 3 + (r + -5 - -14)?
True
Suppose 0 = -o - 53*g + 49*g + 1676, g + 1691 = o. Is 8 a factor of o?
True
Suppose a = 5*l - 3*a - 59, 5*l - 50 = -5*a. Suppose 3*d = -r - 1, d + 2 = -5*r + l. Is 8 a factor of (-16 + d)*-1*2?
False
Let m = -2779 - -3177. Is 35 a factor of m?
False
Suppose -8*k = -5*k - 7*k. Suppose 4*t - 62 = -t + 2*q, -4*t - 5*q + 43 = k. Is 6 a factor of t?
True
Let l(m) = 99*m - 3. Suppose -j = -z + 7 + 9, 5*j - 16 = -3*z. Let k be (-8)/z*6 - -7. Is l(k) a multiple of 57?
False
Let h = 3356 - 3134. Is 90 a factor of h?
False
Suppose 7*g - 2*g - 75 = 0. Let y(s) = -g - 5*s + 16*s - s**3 - 5*s**2 - 14*s. Does 13 divide y(-7)?
True
Let d = -289 + 291. Suppose p - 2*z = 3*p - 106, -5*z = -d*p + 92. Is p a multiple of 2?
False
Let v(o) = o**3 + 23*o**2 + o - 40. Let a(n) = -n**3 + 8*n**2 - 7*n - 22. Let m be a(7). Does 12 divide v(m)?
False
Suppose 4013 + 3173 = n - 7*k, n + 4*k = 7164. Does 44 divide n?
True
Let c = -112 - -114. Suppose -15*f = -10*f, -c*g = 3*f - 8. Suppose 5*s - 2*s = d - 25, -g*d = 2*s - 170. Is 10 a factor of d?
True
Suppose 9*r - 2*r = 14. Suppose -12*l + r*l + 1090 = 0. Suppose -2*x = -3 - l. Is x a multiple of 28?
True
Let c(i) = 147*i + 3597. Is 60 a factor of c(49)?
True
Let z(i) = -i**3 - 7*i**2 - 8*i + 9. Let s be z(-5). Let f be s*2 + 8/(-8) + 3. Suppose f = -9*a + 14*a - 1290. Is a a multiple of 13?
False
Suppose -z + 12004 = 2*h, 2*h - 19*z + 15*z = 11984. Does 50 divide h?
True
Let f(s) = -s**2 + 5*s - 6. Let l be f(3). Suppose l = 5*a + i + 917 - 8960, 3222 = 2*a + 2*i. Is 20 a factor of 2/(-10) - a/(-40)?
True
Suppose 0 = -5*v + 4*h + 3175, 3*v + 0*h + h - 1905 = 0. Suppose v*r = 640*r - 1520. Is 19 a factor of r?
True
Suppose -2090*o = -2086*o - 3340. Does 18 divide o?
False
Suppose 41606 = 4*u + 2*r, -32 = -r - 31. Is 13 a factor of u?
False
Suppose -2*r + 5981 = -1117. Is r a multiple of 21?
True
Suppose -17*m + 13926 + 33225 = -29604. Is m a multiple of 125?
False
Suppose 3*r + 477 = 3*j, -49*r + 46*r - 2*j - 477 = 0. Let b = 297 + r. Is 3 a factor of b?
True
Let m be -1 + -150*24/18. Let y = 219 + m. Is 2 a factor of y?
True
Suppose -106*s - 108815 = -1158215. Does 60 divide s?
True
Suppose -332085 = -6*a - 5*p, -490*a + 3*p - 276741 = -495*a. Is a a multiple of 82?
True
Suppose -d - 2 = b, -2*b + b - 8 = 3*d. Suppose 0 = -4*v + 3*v + b, -861 = -3*o - 3*v. Does 22 divide o?
True
Let d = 1673 - 381. Does 4 divide d?
True
Suppose 36 = 3*w + 4*l, 0 = 2*w + 2*l - 24 + 2. Suppose -w*j = -15*j + 560. Let v = 97 - j. Is v a multiple of 9?
False
Is 94 a factor of 9*(-40 - -20 - -152)?
False
Let i(v) be the second derivative of v**5/5 - v**4/6 + 7*v**3/6 + 21*v**2/2 + 106*v. Does 23 divide i(5)?
True
Suppose 0 = -j + 3*x + 1188, 0 = 125*j - 127*j - 5*x + 2420. Does 12 divide j?
True
Let c(b) = b**3 + 11*b**2 - 283*b + 20. Is 67 a factor of c(-23)?
False
Suppose 18*j = 14*j - 8. Let t be -73 - (-4)/(-4)*j. Let g = t - -125. Is 27 a factor of g?
True
Let r(m) = -2*m**2 + 7*m + 9. Let n be r(4). Suppose 0*i = -n*i - 90. Let w = -2 - i. Is 8 a factor of w?
True
Let y = 1027 + -564. Let t = y - -217. Is t a multiple of 10?
True
Suppose 54*k = 33*k - 504. Let z(v) = -10*v - 178. Is 13 a factor of z(k)?
False
Let r(h) = -2*h**3 + 6*h**2 + 40*h + 157. Is 10 a factor of r(-18)?
False
Let p = 14 + -3. Suppose p*v = 13*v - 6. Suppose -2*j + v*j = 42. Does 6 divide j?
True
Suppose -4*c + 30 = -c. Let s(y) = y**3 - 10*y**2 + 23*y - 22. Is 26 a factor of s(c)?
True
Suppose 0 = 2*o + 82*o - 569772. Is 19 a factor of o?
True
Suppose 3*z - 11 - 10 = 3*h, 4*z - 12 = -4*h. Let i(n) = 5*n**3 - 5*n**2 - 34*n - 5. Is 36 a factor of i(z)?
False
Suppose -4*r + m - 443 = 0, -2*r + 2*m - 