. Let p be w(-5). Let u = 1409 - 1270. Let r = u + p. Is 8 a factor of r?
False
Let z(s) be the third derivative of 3*s**4/4 + 3*s**3 - s**2 - 27*s. Is z(4) a multiple of 39?
False
Suppose -2*n + 73568 = 9*a, 8*a = 9*a - 4*n - 8208. Is 101 a factor of a?
False
Suppose -2*c - 653 = -3*a, 3*c + 3*a = 4*c + 325. Let b = 625 + c. Suppose b = 3*s + p, 391 = 4*s + 4*p - p. Is 25 a factor of s?
True
Let v(t) = -484*t + 807. Does 7 divide v(-14)?
False
Suppose 4*w - 3*r - 18 = 0, -r - 1 = 1. Suppose 5*v = -3*g + 6, 2*g = -w*v + g + 6. Suppose -5*b - 179 = -3*c, 5*b + 2 = -v. Is c a multiple of 16?
False
Let z be 3/1*-20*(-329)/28. Let g = z + -417. Is g a multiple of 45?
False
Suppose -9*b - 453 = 24. Let p = 87 - b. Is p a multiple of 10?
True
Suppose 13602 = 4*d + d - 5393. Is 131 a factor of d?
True
Suppose 3*d + 0*g - 1683 = -5*g, -2805 = -5*d + 3*g. Suppose d = 15*b - 4*b. Does 23 divide (-270)/(-4) - b/(-34)?
True
Is 59 a factor of (-43784)/(-7) - (-444)/(-518)?
True
Let q = -11061 - -14643. Is 31 a factor of q?
False
Suppose -7408 - 5494 = -5*g + 3*c, -2*c - 7742 = -3*g. Is 14 a factor of g?
False
Suppose -24*l + 132392 + 209680 = 0. Suppose 38*k - l + 4183 = 0. Does 74 divide k?
False
Let h(x) = -20*x**2 - x. Let r be h(1). Let f be (-1330)/r + (-4)/3. Does 31 divide f/((-4)/(-96)*3*4)?
True
Let j(x) = x**3 - 5*x**2 + 8*x - 9. Let d be j(6). Suppose 5*a - d = 3*h - 826, 2*h - 503 = a. Does 84 divide h?
True
Let n = -74979 - -110895. Is n a multiple of 14?
False
Let p(a) = -a**3 - 3*a**2 - 7*a + 4. Let f be ((-1)/(-2))/(10/(-12) - -1). Suppose -f*i = 3*i + 24. Is p(i) a multiple of 13?
False
Suppose 4*j = -5*d + 11821, -2*d - 2*j = -4074 - 654. Suppose 9*s - t = 6*s + 2359, -3*s + d = 2*t. Is s a multiple of 32?
False
Let v(p) = -p + 138. Let f be v(27). Suppose 3*d + 16 = -2*m + f, 0 = -4*m + 5*d + 245. Is m a multiple of 11?
True
Is 23 a factor of 157630/88 - ((-5)/1 - 84/(-16))?
False
Suppose -10*w - 51767 = -15*w + 3*j, 4*j = 4*w - 41420. Is w a multiple of 11?
True
Suppose 5*d + 792 = d. Let f = 2912 + -2624. Let c = d + f. Does 9 divide c?
True
Let t(m) = 36*m**2 + 228*m - 2722. Is 155 a factor of t(13)?
False
Suppose 16 = -2*w, 511*x + 2*w - 206612 = 507*x. Is 67 a factor of x?
True
Let c(m) = -m**3 - 28*m**2 - 10*m - 32. Let t be c(-28). Suppose 5*n - 1755 + 563 = -d, -n = 5*d - t. Does 17 divide n?
True
Suppose 0 = -t + 122 - 117. Suppose t*u - 320 = 3*q, -243 = -4*u - 0*u + 5*q. Is 9 a factor of u?
False
Suppose 21*a - 27998 = 4300. Suppose 3*j - 928 = 4*i, 5*j + i - a = -i. Does 36 divide j?
False
Let q = -791 - -885. Let z = q - -582. Is 10 a factor of z?
False
Suppose 5*b = 2*l + 9*b + 826, l + 3*b = -409. Let j = l + 687. Does 14 divide j?
True
Is (-823710)/(-80) - (301/56 - 5) a multiple of 78?
True
Suppose 4*y - 6*u = -4*u - 256, -5*y + 3*u = 318. Let c = y + 66. Let o(b) = -b**3 - b + 60. Is o(c) a multiple of 4?
True
Suppose -3*f + 9*f = 0. Suppose f*k = -k, -4*s = -5*k - 236. Suppose 0 = -2*r + 101 + s. Does 20 divide r?
True
Let s be 15/6*9/(27/66). Suppose -65*h + 810 = -s*h. Does 9 divide h?
True
Let f = 4587 + -1252. Does 115 divide f?
True
Suppose 3*c - 35 = -o, -4*c + 2*c + 26 = 2*o. Suppose -64 = -c*p + 893. Is p a multiple of 3?
True
Suppose 0*g + 654 = 4*y + 2*g, -5*y + 2*g = -822. Let c = 244 - y. Is 18 a factor of c?
False
Let i(g) = 10*g**2 + 33*g - 13. Let r be i(-11). Suppose 2*a + 3*z = 843, 5*z - 2929 = -5*a - r. Does 9 divide a?
True
Let s(y) = y**2 + y - 41. Let c be s(6). Is 8 a factor of (c + (63 - 2))*4?
True
Suppose -2*m + 12356 = 5*h, h = -5*m - 0*m + 30959. Does 11 divide m?
True
Suppose -28229 = -12*b + 2072 - 3133. Does 154 divide b?
False
Suppose 2*i = -3*u + 21492, 46493 = 8*u - 3*i - 10794. Does 44 divide u?
False
Let f be -24*(-2 - -8 - (-62)/(-8)). Suppose 41*v + 999 = f*v. Does 10 divide v?
False
Suppose -2*r = -4*j - 5*r + 1430, 2*j - r - 710 = 0. Let k be (-17672)/(-96) - -4 - 9/108. Let u = j - k. Is u a multiple of 28?
True
Let l = 52 + -133. Let x = 93 + l. Is 11 a factor of 710/x - -4*4/(-96)?
False
Let v(z) = 15*z**2 - 462*z + 51. Is 34 a factor of v(46)?
False
Let n(f) = -565*f - 1570. Is n(-58) a multiple of 195?
True
Is (15 - (-847)/(-22))*-60 a multiple of 5?
True
Let w be (78/(-4))/((-18)/(-108)). Let s be ((-157)/(-2))/(9/18). Let y = w + s. Is 10 a factor of y?
True
Let s = -5188 + 9375. Does 39 divide s?
False
Suppose -176 = 5*b - 676. Suppose -b*j = -104*j + 328. Is 23 a factor of j?
False
Let l = 6 - 16. Let c(v) = 6*v - 31. Let n be c(l). Let q = n + 161. Is 14 a factor of q?
True
Let l = 28653 + -15003. Is 75 a factor of l?
True
Let z(p) = 10*p**2 - 13*p + 22. Let l(n) = -21*n**2 + 25*n - 43. Let d(b) = 2*l(b) + 5*z(b). Is 23 a factor of d(10)?
False
Let y = -25 + 232. Suppose 4*r + y - 575 = 0. Is 10 a factor of r?
False
Suppose 4*h + 5*d + 137804 = 12*h, 0 = -h + 4*d + 17239. Is 65 a factor of h?
False
Suppose 0 = -2*r + 15*r - 6825. Suppose -6*z = 93 - r. Does 6 divide z?
True
Let c(t) = 4*t + 8. Let v be c(1). Does 5 divide (v/(-4) + 70/(-8))*-4?
False
Let g = 34835 - 21122. Does 137 divide g?
False
Suppose -7*s = 2*s - 135. Does 3 divide -5 - 15*(-50)/s?
True
Let k(g) = -344*g - 62. Let p be k(-6). Suppose p = -37*s + 44*s. Does 26 divide s?
True
Let y(j) = -j**2 + 8*j - 20. Let r be y(6). Let b(s) = -s + 79. Is 10 a factor of b(r)?
False
Suppose s + 3*x = -1012, 4*s + 4432 = 5*x + 469. Let h = 1417 + s. Is h a multiple of 14?
True
Let u(x) = x**2 + 6*x - 7. Let l be u(28). Suppose -l = -9*d + 8*d - 3*i, -3*d + i = -2865. Does 18 divide d?
True
Suppose 4516 = 29*p - 25*p. Let l = 303 + -298. Suppose 0*m + l*m = -k + 215, 5*k = 2*m + p. Is 31 a factor of k?
False
Suppose -17*o = -65*o + 247296. Is o a multiple of 56?
True
Let j(d) be the second derivative of 7*d**4/12 + d**3 - 9*d**2/2 + 22*d. Let b be j(6). Suppose a + b = 5*z, -200 - 26 = -4*z - 2*a. Is 14 a factor of z?
True
Suppose 855*x = 723*x + 2326236. Is 39 a factor of x?
False
Suppose -5*f - b + 20 = -4*f, 3*f - 88 = 4*b. Suppose 1530 = 3*j + 3*x, 2*x = 23*j - f*j + 514. Does 27 divide j?
False
Does 8 divide 153/(-510) + 252279/30?
False
Does 20 divide 14/(-9) - 2198570/(-495)?
True
Suppose -3*u = 2*l + 16 + 25, -u = 4*l + 7. Let b be 12/(-90) - 1/(u/1547). Suppose 2*r = b + 35. Is 6 a factor of r?
False
Let m = -23569 + 24626. Is m a multiple of 84?
False
Suppose -8*r - 4*p - 874 = -9*r, 5*p = -2*r + 1735. Let j = 1710 - r. Is j a multiple of 38?
False
Let q be (32/(-28))/((-2)/(-7)) - -618. Let k = q + -542. Is 3 a factor of k?
True
Suppose a = -2*u + 10955, -135*u - a - 38329 = -142*u. Is u a multiple of 7?
False
Suppose 5*f - 47 = -b, -50 = -b - 2*f - 15. Let n = -183 - -183. Suppose -2*s + 18 + 51 = -r, n = s - 3*r - b. Is 21 a factor of s?
False
Let h(b) = 2*b + 30 - 2*b - 2*b + 6*b. Let w = 123 - 114. Does 8 divide h(w)?
False
Suppose 39140 + 24763 = 21*i. Is i a multiple of 17?
True
Suppose -146830 = 2*z + 26*z - 616278. Is z a multiple of 94?
False
Let j = 324 + -312. Is 2 a factor of 6 - (-36 + j/(-2))?
True
Let b(m) = m**3 - 10*m**2 + 10*m - 70. Let u be b(10). Is 13 a factor of 3/u*-5*(-4122)/3?
False
Let r(d) = d**3 + 8*d**2 - 23*d + 10. Suppose -3*z - 2*x + 6*x = -11, z + 3 = -2*x. Let g be 8 - 3 - (z + 14). Does 2 divide r(g)?
True
Let o = 4214 - 2879. Is 89 a factor of o?
True
Suppose 5*z - 13475 = -j, 128*z + 3*j = 125*z + 8097. Is 4 a factor of z?
False
Is 54 a factor of -9 + 8 + -4 + 6593/1?
True
Let p = 19940 - 12052. Does 136 divide p?
True
Let n(k) = 43*k**2 + 71*k - 428. Is 17 a factor of n(6)?
False
Let s be (-2 + -4455 - 5) + 0. Is 62 a factor of (46/(-12))/(-23) + s/(-12)?
True
Suppose 1443 = 9*b + 408. Is 18 a factor of b?
False
Suppose -3*c + 5*g + 390 = 0, -2*c - 38 = 2*g - 282. Is 5 a factor of c?
True
Let w = -19 + 44. Suppose 2*z - 71 = 7. Suppose 0*s - 5*s = -5*u - w, 0 = 3*s + 3*u - z. Does 9 divide s?
True
Let w = 65 - 65. Suppose w = -3*f + 101 + 115. Does 5 divide f?
False
Let d(n) be the first derivative of -18*n**2 - 8*n + 43. Let g be 1 + -2 - (2 + -1). Is d(g) a multiple of 15?
False
Let y = 931 - 190. Let w = y + -585. Is 26 a factor of w?
True
Suppose -104*h - 2006 = 14*h. Let w = 8 + -2. Is 11/(33/w) + h/(-1) a multiple of 13?
False
Let l(r) = 2*r**2 - 207*r + 167