h be u/115 - (-1)/5. Suppose -4*p = -4*k + h, -4*k - 3*p + 162 = -p. Is k a multiple of 6?
True
Suppose -3*p - 4*w = 7, 2*w = 3*p - 4*p - 5. Suppose -4*d = 5*n - 3308, 0 = -p*d + 2*n + 2484 + 20. Is d a multiple of 24?
False
Let p be (-1953)/(-8) + (-19)/152. Let t = 260 - p. Is t a multiple of 6?
False
Let l(u) be the third derivative of -u**6/120 - 3*u**4/4 - 2*u**3 - 143*u**2. Is 52 a factor of l(-6)?
True
Let b = -589 - -2157. Does 32 divide b?
True
Let w(y) = -5*y**2 + 3*y - 1. Let f be w(-3). Suppose 5*a + 2*c = -538 + 65, -a = 5*c + 113. Let l = f - a. Is 19 a factor of l?
True
Suppose 75*w = -24*w + 9405. Is 5 a factor of w?
True
Suppose -x = 7 - 43. Does 14 divide (2 + x/(-8))*(-2 + -26)?
True
Suppose -15*m = -9*m - 132. Suppose r - 38 - m = 0. Suppose r + 304 = 7*a. Is 13 a factor of a?
True
Let h = -33851 + 50946. Is h a multiple of 65?
True
Let o(c) = -4*c**3 - 16*c**2 + 222*c + 4504. Does 14 divide o(-22)?
True
Suppose 0 = -2*r + 12*i - 13*i + 18348, 6*r - 55038 = -2*i. Is r a multiple of 17?
False
Let x = 23031 + -5546. Is x a multiple of 65?
True
Let x(i) be the first derivative of 19*i**2/2 + 4*i - 12. Let v be x(1). Suppose -p + 5 = -o, o = -5*p - 10 + v. Is p even?
False
Let f(s) = 7*s**2 - 6*s + 5. Let i(p) = -8*p**2 + 7*p - 6. Let v(a) = 5*f(a) + 4*i(a). Suppose 36*u + 97 = -11. Is 17 a factor of v(u)?
True
Let h = 98 - 94. Is 36 a factor of h/(-10)*(-5040)/8?
True
Suppose -5*m = 4*s - 1710, -25*m + 21*m = 4*s - 1368. Is m a multiple of 18?
True
Suppose 56*j - 168945 = 99015. Is j a multiple of 145?
True
Suppose -2*f + 13 = 5. Suppose 0*t - f = -t. Suppose 5*x = -4*c + 478, 2*c - 4*c + t*x = -226. Is c a multiple of 25?
False
Let v(y) be the first derivative of y**5/20 + 2*y**4/3 + 7*y**3/6 + 7*y**2 - 42*y + 39. Let m(j) be the first derivative of v(j). Does 2 divide m(-7)?
True
Suppose 0 = -307*i + 1601090 + 6783694. Is 12 a factor of i?
True
Let d = 59387 + -25080. Is d a multiple of 39?
False
Suppose 0 = -23*r + 24*r - 5. Suppose -4*b - b + 4*i - 2 = 0, r*b = -5*i + 25. Suppose b*f + 70 = 5*c + 3*f, 4*f - 42 = -3*c. Is 7 a factor of c?
True
Let v(a) = a**2 + 16*a + 3. Suppose q + p - 210 = -4*q, 4*q - 3*p - 149 = 0. Suppose -45*c - 76 = -q*c. Is v(c) a multiple of 10?
True
Let y(k) = 82*k**2 + 9*k + 10. Let d be y(-3). Let i = 1041 - d. Does 8 divide i?
True
Let h = -36062 - -65430. Is h a multiple of 373?
False
Let i(l) = -l**3 + 60*l**2 - 579*l - 189. Is i(31) a multiple of 37?
True
Suppose -5*o + 22470 = 4*o + 5*o. Does 148 divide o?
False
Let r(s) = 64*s**2 + 296*s + 88. Is 157 a factor of r(-15)?
True
Suppose -5*o + 5*p = -437 - 563, -o + 4*p + 203 = 0. Let z = -159 + o. Is 13 a factor of z?
False
Suppose -48 = 7*d - 19*d. Suppose -29*q + 25*q = d. Is q/(1 - 0)*39*-3 a multiple of 39?
True
Suppose 0 = i + 7 + 1. Let d(v) be the second derivative of -v**4/12 - 7*v**3/6 + 25*v**2/2 - 5*v - 26. Is d(i) a multiple of 5?
False
Let q(r) = r**3 - 5*r**2 - 2*r + 14. Let g be q(5). Let v(b) = b**2 + 15*b - 20. Let m be v(17). Suppose g*j - m - 208 = 0. Is 22 a factor of j?
False
Suppose -1808*j + 1813*j = 7295. Is j a multiple of 13?
False
Suppose -632*x = -1260*x + 634*x - 43980. Is 35 a factor of x?
False
Let h be -11 + (9 + 4 - 8). Is 10 a factor of h - -712 - (4 + (2 - 0))?
True
Let x = 22209 - 9897. Does 216 divide x?
True
Let u(p) = -3*p**2 - 11*p + 8. Let t be u(-8). Let a = t + 119. Does 6 divide 0 + (-6)/(-3) - (-2 - a)?
False
Let m = 98 - 138. Suppose -4*o + y + 1582 = 0, 4*y = o + y - 401. Let w = m + o. Is w a multiple of 45?
False
Suppose -17 = -5*g + c, -2*c = 2*g + c. Let k be (-132)/(-2)*(-1)/g. Let m(l) = 2*l**2 + 39*l + 39. Is m(k) a multiple of 15?
False
Let n = -4 - -29. Suppose 0 = -n*u + 26*u - 138. Does 44 divide u?
False
Let i(f) = -167*f - 21*f**2 - 2 + 0 + 158*f. Let g(m) = -22*m**2 - 10*m - 3. Let u(v) = 4*g(v) - 5*i(v). Does 14 divide u(-2)?
True
Let v = 25 + -25. Does 24 divide (288/54)/(v - 4/(-414))?
True
Let s(l) = -6 - 4*l**3 + 3*l**3 + 8*l - 10*l - 5*l**2 + 13*l. Let r be s(-7). Suppose -36*k - r = -39*k. Is 3 a factor of k?
False
Suppose 2*i - 1238*j - 6142 = -1236*j, -3*j = 2*i - 6137. Does 32 divide i?
False
Suppose b - 4*t + 6 + 0 = 0, -5*t = 4*b - 81. Suppose 0 = 2*s - 5*f - 1154, -b*f + 19*f = -5*s + 2815. Is s a multiple of 21?
True
Let f(p) = 3*p**2 + 9*p - 10. Let x be f(5). Suppose -l + 0*l + x = 0. Suppose l = 5*m - 90. Is m a multiple of 8?
True
Let y(i) = 17*i**2 - 17*i + 138. Let n(o) = 4*o**2 - 4*o + 34. Let g(u) = 9*n(u) - 2*y(u). Does 9 divide g(4)?
True
Suppose b + 3*h + 38 = 0, 5*b + 125 = -2*h - 0*h. Let y = b - -52. Suppose 3*j = 3*u + 52 + y, -2*u + 156 = 5*j. Is 6 a factor of j?
True
Suppose 40*i - 216*i = -295549 - 242131. Does 5 divide i?
True
Suppose -2*b - 80 = -40. Let v = 4 - 19. Let a = v - b. Is a a multiple of 3?
False
Let z(c) = 26*c + 280. Let v be z(-11). Does 82 divide (1281 - (v + 22))*(-6)/(-10)?
False
Let s = 6211 + -2686. Is 47 a factor of s?
True
Let f(s) = 2461 - 2476 - 4*s + 18*s. Does 7 divide f(8)?
False
Let s(d) = 6*d**2 - 17*d**2 + 14*d**2 - 8 - 14*d. Does 32 divide s(-4)?
True
Let y = -18672 - -68038. Is 16 a factor of y?
False
Let v(f) = f**3 + 10*f**2 + 2*f + 5. Let p = 13 + -13. Let s(t) = t**2 - t - 5. Let y be s(p). Does 30 divide v(y)?
True
Let q be ((-14)/(-3))/(((-28)/(-150))/(-7)). Let z = q + 190. Is z a multiple of 15?
True
Let m be (-6)/9 + 330/9. Let v be (1/3)/(4/m). Suppose -v*u + 2*f + 78 = 0, 2*u - u = 2*f + 30. Is 8 a factor of u?
True
Let k(l) be the first derivative of -7*l**2 - 65*l - 76. Does 15 divide k(-10)?
True
Suppose 0 = -y + 2*j + 11, 2*j + 14 = 7*y - 5*y. Suppose 78 = 5*i + 4*d, -y*i - 6*d + 39 = -d. Is i a multiple of 18?
True
Let u(i) = -i. Suppose -2 = 2*p - 2*a, 0*p + 2*p + 4*a - 10 = 0. Let k(z) = -z - 4. Let r(q) = p*k(q) + 2*u(q). Is r(-4) a multiple of 6?
False
Let g(p) = 2*p**3 - 15*p**2 - 9*p + 11. Let v be g(8). Suppose -v*i = -2*q + 1109, -4*q + 0*i = -4*i - 2208. Is 8 a factor of q?
False
Let d(o) = 249*o**2 - 48*o - 18. Does 19 divide d(-8)?
True
Let c be 17554/(-26) - (-2)/13. Let o = c + 1222. Is 63 a factor of o?
False
Suppose -6*o = -7*o + 11. Suppose o*b = 6*b - 30. Does 17 divide (-651)/(-9) + b/(-9)?
False
Let u be (-1 - 6*(-8)/6) + -2. Suppose 2*r - s - 13 = 0, -2*r - 16 = -u*s - 49. Is (r - 38/9) + 1570/18 a multiple of 20?
False
Let v be 180/54*(-3)/(-2). Suppose 476 = -v*u - 4*j - 1160, 3*j = u + 312. Does 27 divide (((-4)/8)/(-1))/((-2)/u)?
True
Suppose 72*q - h = 69*q + 28680, -5*q + 4*h = -47814. Is q a multiple of 162?
True
Suppose -40*c - 348 = -43*c. Suppose 5*m - 394 = c. Is 13 a factor of m?
False
Suppose 267*q - 272*q - 7660 = -5*i, -2*i - q + 3058 = 0. Does 10 divide i?
True
Let o(y) = 172*y - 29. Let f(p) = -p**3 - 18*p**2 + 19*p + 1. Let u be f(-19). Does 11 divide o(u)?
True
Let o be ((11 - 4) + 2)/(2 - 1). Suppose -h + o = 7. Suppose -h*f - 3*f = -750. Is 6 a factor of f?
True
Suppose -77*u = -32*u - 90*u + 137700. Does 180 divide u?
True
Let i(o) = 3*o + 2. Let d(u) = -1 + 6*u + 6*u - 19*u. Let s be d(-3). Is i(s) a multiple of 20?
False
Let k(z) = -11*z**2 + 9*z - 17. Let f be k(5). Let r = -219 - f. Does 16 divide r?
False
Let c be 0*((-21)/6 - (-8 - -4)). Suppose c = -5*w + 4*o - 6, 9*w - 22 = 8*w - 5*o. Suppose w*g + 4*j - 144 = 0, g + g - 5*j - 99 = 0. Is 31 a factor of g?
True
Suppose i = 2*r - 8916, -8880 = -5*r + 3*r - 5*i. Does 11 divide r?
True
Let b = -9270 - 740. Does 91 divide 1/(30020/b + 3)?
True
Let u be (7 - (-108030)/40) + 3/12. Suppose y - u = -5*w, 5*w - 2386 - 330 = 3*y. Is w a multiple of 15?
False
Let c(o) = 56*o**2 - o. Let n be c(-1). Let m = 75 - 113. Let z = n + m. Is 3 a factor of z?
False
Let s = -102 + 151. Let p = s - -61. Is p a multiple of 5?
True
Suppose 0 = 9*m - 6*m - 315. Suppose -4*i = -4*z + 104, -6*z = -2*z - 3*i - m. Suppose 4*k + 4*f - 296 = 0, k - 3*f + z - 105 = 0. Does 15 divide k?
True
Let l be 48/5 + 12/30*1. Let c be (-5*(-1)/(-3))/(l/(-210)). Let a = c - 1. Is a a multiple of 28?
False
Suppose -23*p + 19*p + 40346 = -h, 0 = -4*p - 5*h + 40382. Does 97 divide p?
True
Suppose -57374 = 111*h - 205337. Is h a multiple of 241?
False
Suppose -4*c + 3*w + 441 = 0, c + 3*w = 2*w + 119. Let g = 225 - c. Is 33 a factor of g?
False
S