2485. Does 187 divide j?
False
Let v = 82 + -21. Let w = -853 + 864. Let t = w + v. Does 9 divide t?
True
Let o = -165 + 293. Suppose -l - o = -3*j, 4*j - 3*l - 132 = j. Is j a multiple of 5?
False
Let x(f) = -7*f + 4. Let b be x(-3). Suppose 5*n = -b + 5, n = l - 51. Suppose 2*k = -l + 131. Is k a multiple of 42?
True
Suppose 2*a - 150 = 4*m, 7*a + 95 = -2*m + 4*a. Does 12 divide ((-396)/9)/(2/m)?
False
Let l = 20 + -5. Suppose 0*d = 5*d - l. Let u(h) = 13*h**2 - 3*h + 7. Is 19 a factor of u(d)?
False
Let f be 143 - -3*5/30*-4. Let c = f + 3. Does 24 divide c?
True
Suppose 21*v + 19240 = 73*v. Suppose -b + 110 = -4*n, 2*n = 7*b - 3*b - v. Is b a multiple of 15?
True
Let g(j) be the first derivative of -7*j + 12 - 9/2*j**2 - 2*j**3 - 1/4*j**4. Is 7 a factor of g(-7)?
True
Let g be 6*(-5 - (-80)/15). Let u be (2/6*g)/(6/27). Suppose k - 4*y - 216 = 0, -2*k - 3*y + 1011 = u*k. Does 34 divide k?
True
Suppose -7*h - 42474 = 10*h - 282786. Does 124 divide h?
True
Let g be (-15886)/286 + 12/22. Is (-1001)/g - 4/(-5) a multiple of 19?
True
Let v(c) = 366*c**2 - c + 28. Is v(-3) a multiple of 25?
True
Suppose -4*o - 4*l = -10402 + 1374, -3*o + 6792 = -4*l. Is o a multiple of 18?
False
Is 24 a factor of (-969)/(((-208)/(-4))/(-13)*(-6)/(-64))?
False
Suppose -424*f - 857637 = -460*f - 18405. Does 188 divide f?
True
Let t(m) = m**3 + 12*m**2 - 27*m + 15. Let g be t(-14). Let n be (-27)/(-6) - ((-3)/6 + g). Suppose -z - n*u = -232, -2*z + 633 = u + 141. Is 54 a factor of z?
False
Let o = 31 + -29. Suppose 0 = -v - 2*r + 148, 3*v + o*v - 730 = -5*r. Does 18 divide v?
True
Suppose -3*n = -4*i - 4*n + 44, -2*n = -5*i + 42. Suppose 28 = 3*t - i*t. Does 7 divide 0 + (-173)/(-5) - t/10?
True
Let u be 153680/7 + (-7)/(-196)*-8. Is u/18 - (-1)/3 a multiple of 10?
True
Is (-436)/(-2)*(-3 + 7 + (-7)/(-2)) a multiple of 7?
False
Let j be (-8)/2 + 1 - (77 - 251). Is 0*(6 + -7) + j a multiple of 6?
False
Suppose 2 + 6 = -4*l. Let m be (6/(-2))/((-21)/6 - l). Suppose -3*a = 2*q + 3*q - 252, m*a + 5*q - 173 = 0. Is 19 a factor of a?
False
Let h(l) be the second derivative of l**4/4 + 5*l**3/3 + 15*l**2/2 - 2*l + 13. Does 4 divide h(-5)?
True
Suppose 4*b + 4*v = 148, b - 29 = 4*v - 7. Let j(c) = 3*c**2 - 3*c - 1. Let z be j(3). Let m = b - z. Does 5 divide m?
False
Suppose 4*s - 1312 = -5*v, 3*v + 545 - 1335 = -s. Suppose 0 = 2*g - 344 + v. Does 2 divide g?
True
Suppose -201*v + 711164 = 284373 - 850765. Is v a multiple of 14?
True
Suppose p + h = 4*h + 980, 0 = -3*p - 3*h + 2928. Let o = -477 + p. Is o a multiple of 20?
True
Suppose -4*v + 2*p + 12 = 0, -v + 3*v + 2*p = 0. Suppose 0 = h - 1, h = v*x + 3*h + 214. Let a = x + 169. Does 8 divide a?
False
Suppose -4*u = -3*p + 26, -3*p - 5*u + u = 14. Suppose 2*r - 5*l + 17 = -0*r, 5*r - p*l + 11 = 0. Is (-2 - r)/(2*(-3)/138) even?
False
Suppose 22*s + 13556 - 58634 = 0. Let o = s - 1131. Is 54 a factor of o?
True
Let b(o) = -o**3 - 6*o**2 + 15*o - 5. Suppose -60 = -0*r + 6*r. Is b(r) a multiple of 22?
False
Let n(f) = 5*f**3 + 3*f**2 + 3*f + 7. Let b(r) = 9*r**3 + 6*r**2 + 5*r + 15. Let l(z) = -4*b(z) + 7*n(z). Let j = -959 + 954. Is l(j) a multiple of 14?
False
Let h(s) = -2*s**2 + 7*s - 3. Let q be h(3). Suppose q = -3*p + 170 + 700. Does 15 divide p?
False
Suppose 396*y - 142065 = 381*y. Is y a multiple of 33?
True
Suppose -33*x + 39*x - 756 = 0. Let g be (-11)/(-3) - 10/15. Suppose -45 + x = g*u. Is u a multiple of 27?
True
Let y = 182 + -187. Is 13 a factor of 3*(-2)/15 + (-537)/y?
False
Let m = 104 - -3. Let z = -32 + m. Is z a multiple of 15?
True
Let c(n) = n**2 + 8*n + 12. Let k be c(-3). Let x(t) = -t**3 + 4*t**2 + t - 1. Does 9 divide x(k)?
False
Let r = -24 - -33. Suppose 2*g = 3 - r, -3*g = -5*s + 5539. Does 14 divide s?
True
Suppose -3*b + 13 = -4*s, 0 = -4*b + s + 1 + 12. Suppose 5*m + 0*m = -10, b*g - 2*m = 16. Suppose 3*h = 3*o + 2*o + 161, -5*h + 264 = -g*o. Does 23 divide h?
False
Does 17 divide (((-36442)/(-5) + -12)*(-1 + -4))/(-1)?
False
Suppose -6*h + 351 = 3*h. Suppose b - 5*z = h, 4*b - 139 + 28 = 5*z. Is b a multiple of 8?
True
Suppose 0 = -5*j - 2*f + 15, 0 = 5*f - 7*f. Let w(q) = 6*q**3 - q**2 - 2*q - 3. Is 12 a factor of w(j)?
True
Suppose -n = -21*n + 40. Is ((-1855)/15 + -9)/(n/(-9)) a multiple of 13?
False
Let a(m) = 2*m**3 - 11*m**2 + 13*m + 5. Let b be a(4). Let x(i) be the first derivative of 5*i**2 - 14*i - 1. Is x(b) a multiple of 11?
False
Let o(p) be the second derivative of 5*p**3/2 - 15*p**2/2 + 17*p. Let w be o(7). Is 44 a factor of (w/35)/((-3)/(-84))?
False
Let z = 289 - 285. Suppose -6 = -2*f, -3*x + f = z*f - 93. Is x a multiple of 28?
True
Let d(h) = 94*h**2 + 2. Let l = 1 - -2. Suppose 4*y = 1 + l. Is d(y) a multiple of 28?
False
Suppose 0 = 15*x - 84*x + 100257. Does 168 divide x?
False
Let t = 105056 + -44864. Does 44 divide t?
True
Let m = 75 + -63. Let g be (m/10)/((-1)/5). Does 12 divide (-4816)/(-21) - g/9?
False
Let w(j) = -j**2 + 6*j - 3. Let d(k) = k**3 + 7*k**2 + 7*k + 8. Let h be d(-6). Let b be w(h). Suppose -x = b*f - 82, 3*x + 5*f = -x + 283. Is 14 a factor of x?
False
Let r = 41 + -57. Let k be r/(-48) + 2/3. Is k + -1 + 160/4 a multiple of 4?
True
Let g = 2285 + -1218. Suppose -7*h - 269 = -g. Is 19 a factor of h?
True
Let s = -783 - -3162. Is 39 a factor of s?
True
Let q(l) = 116*l - 360. Is 13 a factor of q(10)?
False
Let p = -2638 + 2644. Suppose 6*h - 14595 = h. Is 6 a factor of 4/p*h/14?
False
Let b(s) = 9045*s + 120. Let t be b(2). Suppose 0 = -71*c + t + 43134. Is c a multiple of 108?
True
Let v = 1367 - 699. Suppose 2*a - 6*a + v = 0. Is a a multiple of 64?
False
Let o(x) = -33*x**3 - 6*x**2 - 6*x + 10. Is 5 a factor of o(-5)?
True
Let w(p) = p**3 + 140*p**2 + 107*p - 1697. Does 21 divide w(-139)?
True
Suppose -c - 2*w - 361 = -2399, -3*c - 5*w + 6115 = 0. Suppose 0 = 284*x - 278*x - c. Is 68 a factor of x?
True
Let r(l) = 4*l + 49 + 3*l - 5*l + 3*l. Let d be r(-10). Is 17 a factor of ((-189)/(-28))/(d + 17/16)?
False
Let i(v) = 30*v**2 - 447*v + 97. Does 160 divide i(38)?
False
Let k = 12 + -9. Let f be k/(3/4) + 4. Suppose f*g - 6*g = 100. Is g a multiple of 10?
True
Suppose 60*i + 4*i - 32960 = 0. Let n = i - 347. Is 8 a factor of n?
True
Let r be 105/6*6/42*-6. Is 5 a factor of 28/(-21) - (1025/r + 2)?
True
Let w be (-9)/(-12)*(-16 - -36). Does 6 divide w/(-60) - 5/((-80)/1716)?
False
Let m be (-6 - (-1 + 2))*2/(-1). Suppose -g - 5*y = -737, 2*g + 16*y - 1442 = m*y. Is g a multiple of 42?
False
Suppose -8*m - 3261 = -3*u - 10*m, 5*u = -2*m + 5431. Let o = 1635 - u. Does 10 divide o?
True
Let h = 17798 + -11630. Does 14 divide h?
False
Does 130 divide ((-22)/33 + (-52698)/(-72))*80/6?
True
Let r = 23 + -23. Suppose 27*f - 20*f - 5985 = r. Is 77 a factor of f?
False
Let x(f) = -17*f**2 - 9*f - 7*f + 20 + 14*f - f**3. Let y = -235 - -218. Is 9 a factor of x(y)?
True
Suppose 0 = -2*w + 2*b + 4152, -w - 40 = -2*b - 2119. Does 24 divide w?
False
Does 8 divide -2*(8 - (-30714)/(-4) - (-1 + -5))?
False
Suppose 3*z - 9*z + 9348 = 0. Suppose 8*l - z = -11*l. Let m = l - 5. Is m a multiple of 42?
False
Let q(f) = f - 12. Let m be q(14). Let l be 0 + m - ((3 - 3) + 2). Suppose l = 4*c - 22 - 30. Is 13 a factor of c?
True
Let v = 19920 + 2580. Suppose 9*u = 27*u - v. Is 55 a factor of u?
False
Suppose 3*f + 23 = 5*p - 9, -3*p + 25 = 4*f. Suppose -p*i = -406 - 1883. Is i a multiple of 10?
False
Let f(n) be the second derivative of -n**4/12 - 5*n**3/6 - 3*n**2/2 - 4*n. Let p be f(-3). Is 2 a factor of ((-1)/p)/(1/(-12))?
True
Does 147 divide (3*-1)/(-36) + 6 + 422192/192?
True
Let y = 108 + -54. Suppose -3*c + 6*c + y = 0. Is 14 a factor of (-506)/c + (-3)/27?
True
Let j(w) be the third derivative of -w**6/90 - 19*w**5/120 + w**4 + 26*w**2. Let p(k) be the second derivative of j(k). Is p(-6) a multiple of 7?
False
Let z(x) = -x**3 + 4*x**2 + 5*x. Let o be z(5). Suppose o = 17*a - 14*a - 60. Let t = 37 - a. Is t a multiple of 4?
False
Let s(x) = 380*x**3 + 456*x**2 + 912*x - 912. Let n(y) = y**3 + y**2 + 2*y - 2. Let t(u) = -456*n(u) + s(u). Let p = 20 + -21. Is t(p) a multiple of 28?
False
Let w(h) be the second derivative of -h**5/20 - 7*h**4/12 - 4*h**3/3 + 10*h**2 - 2*h - 40. Is w(-6) even?
True
Let h(p) = -p**3 - 11*p**2 - 21*p + 24. Let a be h(-8). Let 