72. Let t = h + 2700. Does 13 divide t?
True
Suppose -4*d + 2*v = -15434, 7499 = 4*d - 4*v - 7933. Is 227 a factor of d?
True
Let j = 37 - -53. Let x = j + -88. Suppose 0 = -6*l + 3*l + x*q + 121, 35 = l - 2*q. Does 3 divide l?
False
Suppose -3*f = 2*c - 913, 2*f - c - 3*c - 614 = 0. Suppose -275 - f = -4*a. Is a a multiple of 3?
False
Suppose 4*i - 3*k - 19464 = 0, 9840 = 2*i + 2*k + 136. Is i a multiple of 12?
True
Let p = -27 + 13. Suppose v - 36 = -u - 2*v, -11*u + 280 = 4*v. Let f = u + p. Is f even?
True
Let k be (29/(-3) - 0) + (-8)/(-12). Let s(r) be the first derivative of -r**4/4 - 5*r**3/3 + 10*r**2 + 22*r + 12. Is 27 a factor of s(k)?
False
Let z be 16258/44 + 1 + (-9)/6. Suppose b + o = 5*b - 1481, -z = -b - o. Does 39 divide b?
False
Suppose 19 + 5 = a. Is 3*(-18)/a*-68 a multiple of 5?
False
Let h be (4/3)/(11/(-99)). Is 25 a factor of (771 - 1) + (-4)/h*-9?
False
Let b be (-15200)/114*(-12)/10. Let v = b + -153. Is v a multiple of 7?
True
Suppose -3*j = -5*y + 1, -2*j - 3*y = -j - 9. Suppose g - 324 = j*l, 2*g + 7*l - 660 = 9*l. Is g a multiple of 37?
True
Let a(d) be the third derivative of -53*d**6/60 + d**5/60 - d**4/24 - d**3/2 + 3*d**2 - 59. Does 11 divide a(-1)?
False
Suppose -9*s + 1649 + 8402 = 1636. Does 22 divide s?
False
Let c = -10348 + 13588. Is 12 a factor of c?
True
Is 9 a factor of 37730/8 - ((-24)/(-240))/(6/15)?
True
Let k(l) = 7*l**3 + 17*l**2 + 5*l + 46. Let y(i) = -16*i**3 - 34*i**2 - 10*i - 93. Let m(z) = 9*k(z) + 4*y(z). Is m(17) a multiple of 6?
False
Let r = 3162 - 1626. Does 3 divide r?
True
Suppose -4*l - 7 = 165. Suppose -18*q = -3*q - 2340. Let c = q + l. Does 38 divide c?
False
Let x(k) be the third derivative of k**6/120 + k**5/30 - k**4/24 + 147*k**3/2 - 21*k**2. Let g be x(0). Let m = -281 + g. Is m a multiple of 29?
False
Let h(p) = -19*p - 188. Let g be h(-10). Does 18 divide g/(-5) + 102448/95?
False
Suppose 172104 + 1636248 = 91*a. Does 92 divide a?
True
Suppose -110 + 32 = -2*u. Let r = u + -39. Is (2 - 1)*(r - 36/(-2)) a multiple of 16?
False
Let i(v) = -v - 13. Let m be i(-11). Let y be (8/m)/(-4) - 16/(-4). Let s = y + 69. Does 4 divide s?
False
Suppose -17*b + 711 = -14*b. Suppose 3*i - b = -5*u, u - 3*u = -5*i + 426. Does 28 divide i?
True
Suppose 268116 = 31*z + 27136 - 91495. Does 143 divide z?
True
Let u = -146 + 179. Suppose 40*g - 3976 = u*g. Is 31 a factor of g?
False
Let s(v) = -12*v**2 + v + 2. Let l be s(1). Let f(z) = -2*z**3 - 18*z**2 - 8*z + 10. Is 5 a factor of f(l)?
False
Does 48 divide (513 - 1)/(-2)*((-137)/(-4) + -56)?
True
Let f be 282/(-4)*1240/(-93). Suppose 2*w = 3*v - f, -v = -3*v + 5*w + 645. Does 31 divide v?
True
Does 25 divide (15200 - -43)/((-5)/(-2) + -1)?
False
Suppose -50714 - 24832 = -9*w. Does 69 divide w?
False
Let d(m) = 4*m + m - 88 + 32. Let l be (-9664)/(-448) + (-4)/7. Is 3 a factor of d(l)?
False
Let l(r) = -173*r**3 - 3*r**2 + 1. Let b(i) = 174*i**3 + 4*i**2 - i - 2. Let k be -9*1*44/(-198). Let w(f) = k*b(f) + 3*l(f). Is 16 a factor of w(-1)?
False
Let t(v) = -22*v + 110. Let i be t(5). Does 15 divide (i + 1)*(1 - -119)?
True
Suppose z - 4 = -3*j, 5*j - 7*j + 14 = -5*z. Is 17 a factor of (-852)/z - (-35)/(-35)?
True
Let s(n) = 39*n + 72. Is 93 a factor of s(53)?
True
Suppose -5433 = -12*m + 1791. Let a = 1372 - m. Is a a multiple of 30?
False
Let v be 4/6 - 16/24. Suppose v = 17*g - 9549 - 923. Is g a multiple of 28?
True
Let r = 230 + -234. Does 27 divide ((-2)/(-2))/r - 7800/(-96)?
True
Suppose 1680 = -4*p + 9*p. Let x be ((-2)/4)/(4/p). Let y = -18 - x. Is 6 a factor of y?
True
Let q be ((-1)/(-1))/(1/(-11)). Let m(p) be the second derivative of -p**5/20 - 5*p**4/6 + 5*p**3/3 + 13*p**2/2 + 1689*p. Is 5 a factor of m(q)?
False
Suppose -7 = -5*x - 332. Let s = x + 68. Suppose s*p = -4*z + 440, -46 - 79 = -p + 3*z. Is p a multiple of 20?
True
Let y(u) = -u**2 + 8*u - 9. Let v be y(6). Suppose 0 = -4*h - h + v*h. Suppose -l - 13 = -4*j - 98, h = -2*l - 5*j + 105. Does 13 divide l?
True
Let p(f) = 31*f**2 - 253*f - 6906. Is p(-24) a multiple of 7?
False
Suppose 5*f + 5*h + 10 = 0, -h + 4 = -f + 8. Let w(d) = -26*d - 48. Let g be w(-2). Is (f - g)/((-1)/35) a multiple of 35?
True
Suppose l - 7 = -v, -3*l - 2*l + 27 = 4*v. Suppose 0 = 6*p - v*p - 10. Is 37 a factor of 2 - ((-3 - p) + -111)?
True
Suppose -9128 = -8*o + 1816. Is o a multiple of 15?
False
Suppose 12*j = -72 + 1248. Is 8 a factor of j?
False
Let u(l) = -3*l + 39. Let k be u(6). Let q be (-25)/(-4) - 3/12. Suppose k - 129 = -q*b. Is 3 a factor of b?
True
Let s be (-1 - -4)*(-4)/(-6). Suppose -4*h + 6 = s*q, -2*h + q = -3*h + 4. Is 35 a factor of h*1 + (-1477)/(-7)?
True
Is 21 a factor of 929316/44 - (-24)/132 - -5?
True
Let n be ((2680/6)/5)/(14/21). Let k = n - 19. Suppose k = -0*x + 5*x. Is x a multiple of 3?
False
Let m(x) = 2*x**2 + 3*x - 14. Suppose -76 = -5*b + 4*b. Let v = b - 82. Is m(v) a multiple of 11?
False
Let w(r) = 9*r + 22. Let n be w(10). Let m = n - 101. Suppose 245 = -4*x + m*x. Is 7 a factor of x?
True
Suppose 1367 = 9*j - 12637. Does 15 divide j/6 + 22/33?
False
Let b(d) = 109 + 25*d - 126 + 161*d**2 - 18*d. Is 41 a factor of b(3)?
False
Suppose 0 = 6*n - 14*n + 144. Suppose n = d + 15. Suppose -63 = d*i - 318. Does 17 divide i?
True
Let b(f) = 3*f**2 - 24*f + 35. Let u = 313 - 298. Does 10 divide b(u)?
True
Let k(o) = 2*o**2 + 33*o - 15. Let c(j) = 2*j**2 + 34*j - 15. Let d(s) = -6*c(s) + 7*k(s). Is d(-15) a multiple of 10?
True
Suppose 2*d = 3*z - 51, -11*d + 12 = -12*d - 3*z. Is 21/147 - 28557/d a multiple of 40?
True
Let z(i) = 137*i**2 + 197*i - 13. Is 13 a factor of z(-8)?
False
Let s = -54 - -106. Let y = -32 + s. Let l(q) = -q**2 + 22*q - 27. Is l(y) a multiple of 13?
True
Let y(b) = -20*b + b**3 + 13 + 5*b**2 + 5 + 17*b. Let j be y(-6). Does 5 divide (j*(-1)/4)/2 + 15?
True
Let q(y) = 9*y**2 - 14*y + 96. Let i(d) = 4*d**2 - 7*d + 47. Let x(v) = 7*i(v) - 3*q(v). Does 16 divide x(8)?
False
Let n = -5713 + 7079. Is n a multiple of 31?
False
Let n(w) = 4*w + 71. Let s be n(-16). Suppose -v + 24 = 4*g, 0 = s*g - 9*g. Is v a multiple of 6?
True
Suppose -2*m + 5*x + 8592 = -4369, 5*x = -2*m + 13051. Does 21 divide m?
False
Let b be (8/16)/((-2)/(-1892)). Suppose 0 = c - v - b, -39 - 912 = -2*c - 3*v. Is c a multiple of 79?
True
Let k = -91 - -107. Suppose g = -5*z + 71 - k, -47 = -g - z. Does 5 divide g?
True
Suppose s + 7*s - 16 = 0. Suppose s*i = -2*i + 20. Suppose -9*c - 12 = -z - 6*c, 5*z = i*c + 90. Does 3 divide z?
True
Let v = 204 + -199. Suppose 3*u = -5*k + 493, 4*k - 881 = -v*u - 81. Does 8 divide u?
False
Let j be (-15 - -16)*(20 + -2 + 2). Suppose 3*u + u - 23 = -x, -j = 5*u. Is x a multiple of 13?
True
Let u(n) = 7*n + 43. Let y be u(-6). Let x be (6 + (-88)/14)/(y/(-7)). Suppose 0 = 2*w + 8, 4*g + x*w = 7*g - 74. Is g a multiple of 9?
False
Suppose -30 = -5*x + 5*v, 2*x = -3*x + 2*v + 33. Suppose x = 11*i - 323. Let n = i - -6. Is n a multiple of 9?
True
Is 24/(-14)*2656080/(-255) a multiple of 72?
True
Let j(m) = -4*m**2 + 329*m + 215. Does 9 divide j(69)?
False
Let z be (-20)/8*12/(-10). Suppose -z*s - 7 + 25 = 0. Does 40 divide (-877)/5*-1 - s/(-10)?
False
Let v be (-150)/(-1 + (-3)/(-12)). Let c(o) = -o**3 + 3*o**2 + 5*o + 81. Let s be c(6). Suppose 2*u + 4*w = v, -5*w - 361 = -u - s*u. Does 50 divide u?
False
Let l be (-594)/88*16/(2/1). Let a = -105 - -37. Let g = l - a. Is 5 a factor of g?
False
Let y(f) = f**3 + 4*f**2 + 4*f + 5. Let g be y(-3). Suppose 3*c - 99 = -g*b, 3*b + c - 173 = -b. Let h = b + -36. Is 2 a factor of h?
True
Let l = -38936 + 72502. Is 26 a factor of l?
True
Let s be (-12)/(-30)*(7 + 1 - -2). Suppose -199 = r - i - 792, 0 = -4*i + s. Is 66 a factor of r?
True
Is (1/(5 + (-615552)/123108))/(-1) a multiple of 12?
False
Suppose -5*l - 4*m = -10, 5*m + 8 = 7*l - 3*l. Suppose 11 = l*t + 5. Suppose t*s = 6*s - 93. Is 31 a factor of s?
True
Let l(g) = 35*g**2 + 7*g - 156. Is 15 a factor of l(-15)?
False
Suppose -4121 = -5*j - d, 0 = 5*d - 5 - 25. Does 14 divide j?
False
Suppose -2*l + 16 = -5*x - 8, -3*l + 3*x = -27. Let a(b) = 112*b**2 + b**3 - 9*b + 3 + 81*b**2 - 194*b**2. Does 45 divide a(l)?
False
Let v(u) = -3*u**3 + 3*u**2 - 5*u + 107. Let m(w) = -4*w**3 + 4*w**2 - 6*w + 106. Let f(h) = -4*m(h) + 5*v(h). Let n = 20 + 