*w + 491. Is d(115) a multiple of 5?
False
Let c(r) = -4*r + 29. Let m be c(9). Let g(d) be the second derivative of d**4/6 + 5*d**3/2 + 11*d**2/2 - d. Is 2 a factor of g(m)?
True
Suppose 0 = 613*x - 614*x + 8896. Is 8 a factor of x?
True
Is 91 a factor of (2926/42 + -5)/((-6)/(-1638))?
True
Let s(h) = h**3 - 39*h**2 + 45*h + 106. Suppose 0 = 10*r - 7*r - 6*f - 138, r + 3*f - 26 = 0. Does 12 divide s(r)?
True
Does 45 divide 11/(440/(-32)) - (-137712)/15?
True
Suppose 0 = -x - 14*x + 135. Is (-10)/45 + 533/x a multiple of 12?
False
Suppose -13*f = 2*s - 8*f - 18255, -18 = 6*f. Does 61 divide s?
False
Suppose 10 + 36 = 2*r. Suppose 5*a + u + 186 = 0, 4*u = -a + 1 - r. Let k = -29 - a. Is 3 a factor of k?
True
Let p be (-1 + 7)/(3/(-6) + 0). Is ((-262)/6 - 2/3)*p a multiple of 20?
False
Is 145 a factor of 15 + 11588 + 3 + -5?
False
Let b = 846 - 290. Is b a multiple of 18?
False
Suppose -2*a - 1451 = -3*t, -3*t - 1481 = a + a. Let j = a - -799. Is j a multiple of 3?
True
Is 6 a factor of (-1)/((5 - 2)/(-3)) - -2883 - -1?
False
Let d be 3/21*(-4 - -39). Is 15 a factor of 6640/5 + 32/(-8) - d?
False
Suppose -157*y + 75*y + 473140 = 0. Does 89 divide y?
False
Let r(d) = 2*d + 346. Is 28 a factor of r(79)?
True
Suppose -h = -100 + 91. Let k(n) = -2*n**3 - 4*n**2 + 3*n + 1. Let f be k(-5). Suppose 0 = h*z - f - 1520. Is z a multiple of 38?
False
Let t(w) = 3*w**3 - 2*w**2 - 4*w - 1. Let v be t(3). Suppose 2*q + 0*q + 117 = 3*r, 0 = -r - 3*q + v. Does 6 divide r?
False
Let a(c) = -7*c**3 + 2*c**2 + c + 8. Let g be a(3). Is 32 a factor of g/6*(-90)/8?
False
Let f(s) = 6*s - 39. Let r(k) = 4 + 0*k - 4*k + 12 + 10. Let o(b) = -5*f(b) - 7*r(b). Is o(0) a multiple of 13?
True
Let y = 14432 + -6909. Is 5 a factor of y?
False
Let z(t) = 78*t - 1068. Does 141 divide z(39)?
True
Let m = 34 + 85. Suppose 5*i + m = 3*w + 3908, 0 = i + 2*w - 763. Is i a multiple of 11?
True
Let y = -98 + 103. Let d(l) = -13*l + 1. Let j be d(y). Let x = j + 83. Is x a multiple of 18?
False
Let c be (12/(-5))/((-8)/(-220)). Let p = -746 - -716. Let z = p - c. Does 18 divide z?
True
Let j(f) = -85*f + 553. Does 57 divide j(-23)?
True
Let y be (((-2)/(-3))/(-1))/((-46)/345). Suppose 3*t + t - 2156 = r, -t + y*r = -520. Does 12 divide t?
True
Let p be (-1 - (-2 - -2)) + 0 + -1. Let t be (-6)/9*1*(p - 1). Suppose 3*q = q + t*m + 62, 4*q - 121 = m. Does 6 divide q?
True
Let x(g) = -16*g**3 - 2*g**2 + 6*g + 10. Let l = 65 - 68. Does 14 divide x(l)?
True
Suppose 6*c + 4*b + 16 = 10*c, -5*c + 4 = -b. Suppose c = -553*v + 555*v - 646. Does 8 divide v?
False
Is 15 a factor of 15606 + (-47)/(235/60)?
False
Let u = -20053 - -30075. Is 50 a factor of u?
False
Let p = -110 - -127. Suppose -p*m + 6079 = -126. Does 11 divide m?
False
Let s be 31 + 1 - (-2 - 0 - 0). Let h(d) = -d**2 + 51*d - 45. Does 17 divide h(s)?
False
Let r(z) = -21*z + 381. Suppose -26*x = 1288 - 66. Does 76 divide r(x)?
True
Suppose -26*o - 10707 = -32703. Does 47 divide o?
True
Let o(f) be the second derivative of -f**5/20 - f**4/12 - f**3/3 + 117*f**2 + 18*f. Let v be o(0). Let s = v - 125. Is s a multiple of 15?
False
Suppose 2046 + 2225 = 4*x - 5*j, x - 3*j - 1066 = 0. Is 28 a factor of x?
False
Let b be 12*(1 - (-87 - -5)). Let n = 1684 - b. Does 43 divide n?
True
Let d = -1327 + 3661. Is 6 a factor of d?
True
Suppose 0 = 4*i - 0*x + 2*x - 236, -3*x + 174 = 3*i. Let u be 3*(-4)/(-30)*-120. Let l = u + i. Is l a multiple of 3?
True
Suppose -6*f = 487 + 197. Let s = f + 208. Is s a multiple of 7?
False
Let s = 2008 + -1020. Is 2 a factor of s?
True
Let v(l) be the third derivative of l**6/120 + 7*l**5/60 - 5*l**4/24 + l**3 + 8*l**2 + 4. Is 2 a factor of v(-7)?
False
Suppose -2*a - 18 = -4*g, -3*g + 3 = 2*a - 0*a. Suppose 4*i + 8*h = g*h + 1416, -4*h = 0. Is 59 a factor of i?
True
Let i be 2/5*(-20)/(-6 - -5). Suppose i*k = -94 + 286. Does 21 divide k?
False
Let g(y) = 2*y - 10. Let x be g(7). Let p(l) = -l**2 + 6*l + 10. Does 3 divide p(x)?
True
Let z be (((-77)/21)/11)/((-3)/234). Let a(m) = -m**3 + 4*m**2 - 4*m + 3. Let f be a(2). Suppose -2*w + 36 = 5*s - 28, -5*w - z = -f*s. Is s a multiple of 12?
True
Suppose 1134 - 250 = -13*c. Let n be (-14)/(8/28 - c/(-189)). Let f = -107 + n. Does 8 divide f?
False
Let p(a) be the first derivative of 16*a**3/3 - a**2 + 7*a + 315. Does 14 divide p(6)?
False
Suppose 68 = 28*m - 16. Suppose 3*s + 5*u - 1373 = 0, 4*u + 1540 = m*s + 176. Is s a multiple of 10?
False
Does 42 divide 461/(-2)*(-280)/70?
False
Let z(u) = -12*u - 5. Let y(v) = -25*v - 9. Let i(l) = -6*y(l) + 13*z(l). Let m be i(-12). Suppose 239 = 4*f - m. Does 12 divide f?
False
Let h = 5088 + -3247. Is h a multiple of 28?
False
Let v = -181 - -154. Let t = v - -243. Does 4 divide t?
True
Suppose 32*o + 10487 = 3*x + 31*o, -x = -3*o - 3501. Is x a multiple of 15?
True
Let m(j) = -j**3 + 4*j**2 + 5*j + 10. Let i be m(-4). Is -10 + i + 0 + 0 a multiple of 4?
True
Let y be 19/((-95)/1950)*14/(-6). Suppose 10*f - 3870 = y. Does 22 divide f?
False
Let f(q) = -290*q - 6401. Is f(-29) a multiple of 41?
True
Let s(i) = 145*i**2 - 8*i + 19. Let k(l) = -579*l**2 + 33*l - 79. Let p(c) = 2*k(c) + 9*s(c). Is p(2) a multiple of 50?
False
Let a = -2 + 15. Let s(j) = 13*j - 25. Let x be s(a). Suppose 3*q = x + 186. Is 22 a factor of q?
True
Suppose -5*f = -m - 23976, -m + 22963 = 5*f - 1001. Is 102 a factor of f?
True
Let y(g) = 33*g**2 + 141*g - 801. Is y(6) a multiple of 8?
False
Let v(l) = 660*l + 127. Does 10 divide v(3)?
False
Suppose 15 = 5*u, -3*c - 2*u + 453 + 480 = 0. Is 18 a factor of c?
False
Suppose -f - 153 = 2*f. Let b be (2/(-6))/((-134)/41406). Let a = f + b. Is a a multiple of 5?
False
Let z(y) be the third derivative of y**7/504 + 13*y**6/720 + y**5/10 + 3*y**2. Let i(t) be the third derivative of z(t). Is 6 a factor of i(3)?
False
Does 67 divide ((-480)/(-25))/((-240)/(-70400))?
False
Does 24 divide 13013350/235 + 20/470 + -8?
True
Let j be 414 + 2 - (3 - 9). Suppose 0 = -3*m + j + 49. Is 9 a factor of m?
False
Suppose 5*f = -481 + 1966. Suppose -3*d - f = -2*y, 2*y + d - 538 = -221. Is y a multiple of 8?
False
Suppose 0 = 26*f - 25*f - 24. Does 3 divide (-196 + -2)*(-8)/f?
True
Suppose -23*p + 254243 + 336857 = 0. Is 257 a factor of p?
True
Let n = 16036 + -2711. Is 16 a factor of n?
False
Suppose 2*k + 10 = -0*k. Let s be (-5)/k*(6 + -1). Suppose 0 = 3*a + s*b - 94, 6 = -4*b - 10. Is 38 a factor of a?
True
Suppose 34 - 4 = -i. Let y be (-2546)/16 + i/16 + 2. Let d = -74 - y. Does 17 divide d?
True
Is (160/(-8))/5*1 + 3100 a multiple of 18?
True
Let y(j) = -j**3 + 22*j**2 + 49*j - 23. Let w be y(24). Is 4 a factor of 1/((-162)/159 + w)*-4?
True
Suppose 10*u + 752 = -858. Let j = u - -392. Does 21 divide j?
True
Let v = 587 - -2887. Does 22 divide v?
False
Suppose 95 = -h + f + 3*f, 125 = -h - 2*f. Let t = h + 237. Suppose t = 5*m - 28. Does 30 divide m?
True
Let x = 47 - 45. Let p be (x - (-11)/(-4))*-4. Suppose 171 + p = o. Does 16 divide o?
False
Let s(u) = 307*u - 342. Does 60 divide s(6)?
True
Let c(i) be the third derivative of -i**6/12 - i**5/15 + i**4/4 - i**3/3 + 11*i**2. Let y be c(-4). Suppose -7*k - 4*k + y = 0. Does 19 divide k?
False
Let b(s) = -44*s + 9. Let p be b(7). Let y = p + 400. Is 5 a factor of y?
False
Suppose -175*v = -170*v + 25. Is 23 a factor of (v + (-306)/8)/(2/(-8))?
False
Suppose 0 = m + 3*r + 365, 3*m + r - 6*r = -1039. Is -4 + -1 + 0 - m a multiple of 58?
True
Let y(o) = -44*o**3 - o**2 + 36*o + 25. Is 20 a factor of y(-5)?
True
Let q(d) = -3141*d + 6732. Is 177 a factor of q(-8)?
True
Suppose 6*j - 12 = 108. Let a be (-44)/(-6) + j/(-15) + 1. Suppose -88 = -11*r + a*r. Is 9 a factor of r?
False
Let d = -12480 - -24296. Does 7 divide d?
True
Let p = 8196 + 46319. Does 273 divide p?
False
Let l(b) = -62*b + 976. Is 12 a factor of l(-4)?
True
Let f = -23338 - -24684. Is 4 a factor of f?
False
Let d(s) be the third derivative of s**6/80 - s**5/4 + 13*s**4/24 + 28*s**2. Let w(q) be the second derivative of d(q). Does 15 divide w(5)?
True
Suppose 0 = -243*y + 214*y + 580580. Is 37 a factor of y?
False
Suppose 5*i - 5*d = i + 25, -2*i + 7 = 3*d. Suppose -i*c = -1433 + 18. Is c a multiple of 38?
False
Suppose -1560 = -5*c + 5*m, 0*c + c + 3*m = 324. Suppose -2*z + 3*q + c = 3*z, -3*q + 18