)). Let t = 60 + w. Is t a multiple of 3?
False
Let r be (8/6)/(24/36). Let l be (4 - (-36)/(-8))*-22. Suppose 3*p + 4*u - l = 0, 2*p + 3*u - 5 = -r*u. Is p a multiple of 5?
True
Let i(r) be the second derivative of 12*r + 0 - 23/2*r**2 - 17/6*r**3. Does 15 divide i(-6)?
False
Suppose -4*s + 5*o = -37, 5*s + 9*o = 14*o + 40. Suppose -3 = -3*m, -s*m + 0*m = -c + 373. Is c a multiple of 26?
False
Suppose 8*h - 21*h = 21541. Let c = h - -3101. Does 11 divide c?
False
Let i be 6 - 13/((-13)/420). Suppose 4*c + 2*o - 314 = i, -5*c - o = -922. Does 8 divide c?
True
Let c(j) = -j**3 - 10*j**2 - 16*j + 4. Let q be 2/(-10) - 234/30. Let x be c(q). Suppose 209 = i - 4*u, -2*i = -x*u + u - 413. Is i a multiple of 41?
True
Suppose 0 = 2*r + 3*q - 18814, 3*r - 2*q - 16531 = 11664. Is r a multiple of 104?
False
Let v be 2*1 - 10/(-40)*1532. Suppose -6*q + 539 = -v. Is q a multiple of 22?
True
Is 16 a factor of -32*(1 - 7 - (-3 - (-595)/2))?
True
Suppose -3*i + 4947 = 14*i. Suppose 77*x - i = 74*x. Is 12 a factor of x?
False
Let m = -96 + 187. Suppose -4*v + m = -13. Does 13 divide v?
True
Suppose 5*x + 4 = 34. Suppose 5*i + 340 = x*i. Suppose -28*f = -33*f + i. Is f a multiple of 17?
True
Suppose 0 = 14*l - 19*l - 4595. Let w = 1878 + l. Is 83 a factor of w?
False
Let k(l) = 14*l. Let v = -13 - -24. Suppose z - v = -6. Is 24 a factor of k(z)?
False
Is 96 a factor of 1464*((-9)/9 - -5)?
True
Let h = -5 + 63. Let o = 54 - h. Is 24 a factor of o/4 + (1 - -74)/3?
True
Let f be (18 - 14) + (-2)/(-2). Suppose 0 = t - 2*z - 0*z - 310, f*t - 2*z = 1542. Suppose 0 = 10*k + 4*k - t. Is k a multiple of 4?
False
Is 41 a factor of -4 + (-120)/(-15) + -9 + 70908/2?
False
Let y be 0 - 3 - (4 - 6 - -13). Is 26 a factor of 26274/203 + (-8)/y?
True
Let p(g) = 3*g**3. Let z be p(1). Let h be 10385/93 + 2/6. Is z + h + 9 + -4 a multiple of 24?
True
Let f = 1053 - 707. Suppose -6*z + 1522 = f. Suppose -5*i + 2*o + z = -2*i, 2*i + 5*o - 118 = 0. Is i a multiple of 20?
False
Let f = -24883 - -49024. Is f a multiple of 20?
False
Let z(h) = -4*h**3 + 162*h**2 - 59*h + 157. Is 10 a factor of z(33)?
True
Does 36 divide 5 + 159*(-21)/(-9)?
False
Suppose -67*s + 646 + 113966 = 11365. Does 47 divide s?
False
Let c(g) be the second derivative of 109*g**5/20 + g**4/6 + g**3/6 - 14*g. Let u be c(-1). Let a = u + 193. Is a a multiple of 17?
True
Let v = -130 + 326. Is 4 a factor of v?
True
Suppose -97 = 4*u - 89, 10*a + 5*u = 451020. Does 53 divide a?
True
Let l be (92/22 - (-20)/(-110)) + 0. Suppose -l*j - 3*t - 240 = 0, -5*t - 20 = j + 57. Let z = j + 86. Is 16 a factor of z?
False
Let b(f) = -f - 6. Let n be b(-2). Let y be -12*(3 - (-318)/n). Does 14 divide 3 - (y/3)/(-3)?
False
Let t(h) be the first derivative of 12*h**4 + h**2/2 - 2*h - 22. Let x be t(2). Suppose x = -0*q + 4*q. Is q a multiple of 21?
False
Let r be (63/(-14) + 6)*8/3. Suppose -5*k = 123 - 593. Suppose k = -r*d + 510. Is 52 a factor of d?
True
Let o = -20317 - -20896. Is o a multiple of 21?
False
Let b = 111 + -107. Is 35 a factor of 1/14*b + (-9870)/(-98)?
False
Let i(a) be the second derivative of -53*a**3/6 - 193*a**2/2 - 9*a - 4. Does 14 divide i(-16)?
False
Let q(j) = 147*j - 8045. Does 13 divide q(117)?
False
Suppose 3*h - 115*y + 110*y - 6256 = 0, -2*y - 2086 = -h. Is 40 a factor of h?
False
Is 5 a factor of 4 - ((-18 - -11) + -5384)?
True
Let j(l) be the first derivative of -17*l**4/4 + l**3 + l**2/2 - 8*l - 39. Is 46 a factor of j(-2)?
True
Suppose -2*f - 38 = -250. Suppose 3*s - 5*s = -2*r + f, 5*r + 5*s - 275 = 0. Suppose r = a - 12. Is 8 a factor of a?
False
Suppose 62*c = 119*c - 60*c + 8550. Does 34 divide c?
False
Let j(h) = -62*h**3 - 2*h - 3*h - 2 - 2*h + 61*h**3 - 6*h**2. Let f be j(-3). Is 2/(-4) + (-1004)/f + 0 a multiple of 14?
False
Let g be (-1*(-8)/(-12))/((-13)/156). Suppose 217 = -g*m + 1657. Is m a multiple of 3?
True
Let o(w) = 969*w - 12253. Does 239 divide o(48)?
False
Let p = -38 - -76. Suppose 0 = d - 2*d + 5. Let u = d + p. Is 9 a factor of u?
False
Let i(p) be the first derivative of 3 - 117*p**2 - 20 - 3*p + 119*p**2. Is 10 a factor of i(16)?
False
Let b(h) be the first derivative of 2*h**4/3 + h**3/6 + h**2/2 - 11*h - 9. Let p(y) be the first derivative of b(y). Does 9 divide p(-3)?
False
Let d(i) = 8*i**2 + 2*i + 7. Let w = -23 + 60. Let y = w - 34. Is d(y) a multiple of 17?
True
Suppose -2*b = -5*o - 625, 2*o + 0*o = -5*b - 250. Let v be (-13)/(-5) - -5*(-10)/o. Suppose 4*j - 72 = v*j. Is 24 a factor of j?
True
Suppose 4908 = 4*l - 2*k, -4*l - 1008 = 3*k - 5906. Is l a multiple of 27?
False
Suppose -2 = -l, -w - w + 72 = -3*l. Let a be -1 + 3 - 3 - -5. Suppose w = t + a. Does 5 divide t?
True
Let v be (24/(-52))/(-3) + 41/(-13). Let m be 4/(-1) + (v - 0)*-3. Is 9 a factor of 2/m + (-1068)/(-30)?
True
Let v(b) = -b**3 + 28*b**2 + 3*b - 36. Let o be v(28). Suppose -13*t + 3*y + 4 = -11*t, -5*t = 2*y - o. Does 4 divide t?
True
Suppose -15988 = -3*j + 4*f, -10605 = 7*j - 9*j - 5*f. Is j a multiple of 60?
False
Let y(b) = -6*b - 131*b - 20*b + 18. Let l be y(-6). Suppose -201 + l = 3*k. Does 23 divide k?
True
Is (-1832)/(-168) + -11 - 135179/(-21) a multiple of 41?
True
Let f = 70 - -14. Suppose -f = 2*c + 146. Let p = 179 + c. Is p a multiple of 32?
True
Let g = 1487 - 717. Suppose 9888 = 778*s - g*s. Is s a multiple of 36?
False
Suppose -5*p = 4*h + 50, 5*p + 50 = -0*p - 2*h. Let x be p/15*(-351)/2. Suppose 5*l - x = 83. Is 8 a factor of l?
True
Suppose -6*n + 30 = -n. Is 19 a factor of 342*(1 - n - -6)?
True
Does 22 divide 318/10*1265/33?
False
Suppose 14*y - 18 + 4 = 0. Is 5 a factor of -3 + (-1 - -122 - y)?
False
Let x(b) = b**3 + 79*b**2 + 64*b + 363. Is 126 a factor of x(-32)?
False
Suppose -w - 7 = -8*w. Does 6 divide 126*1/2 - (w + -1)?
False
Let a(p) = 13*p + 4. Let h be a(-3). Let v = h - -37. Suppose 4*q - 60 = -v*m, m + 8*q - 29 = 7*q. Is m a multiple of 3?
False
Let z(i) = -120*i - 6. Let o be z(-3). Suppose -j - j + o = 0. Suppose 2*f + f - j = 0. Does 16 divide f?
False
Suppose -305 = -5*t + 13*q + 230, -3*q = -3*t + 345. Is t a multiple of 20?
True
Let r = 7188 + 13994. Is 89 a factor of r?
True
Let j(b) = 4*b**2 + 10*b - 52. Let f be j(-15). Suppose 2*o - 2*l = 686, f = 5*o - l - 1005. Does 34 divide o?
True
Let b(v) = 1507*v**2 - 100*v + 208. Does 15 divide b(2)?
False
Let v = 8078 - -788. Is 8 a factor of v?
False
Let u be 0 - -1 - 1 - -6. Let d(z) = -35*z**3 - 11*z**2 + 80*z**3 - 43*z**3 + 0*z**2 + 11. Does 21 divide d(u)?
False
Let a be (-30)/(-20)*1/3*-236. Let g = a + 154. Is g a multiple of 20?
False
Suppose 3*d - 4*a - 96 = -5*a, a - 32 = -d. Suppose -o - 5*x = 10 + 5, -4*o + d = -3*x. Suppose -3*u - 4*n + 884 = 0, 1465 = 9*u - 4*u + o*n. Does 24 divide u?
True
Let m = 260 + -112. Suppose -45*o + 4237 - 410 = -7738. Let x = o - m. Does 24 divide x?
False
Let t = 537 - 539. Is 1134/36*(-1)/t*12 a multiple of 7?
True
Suppose -5*s + 31 = 3*l, -4*l + l + 6 = 0. Suppose 5*x - 6*x = 4*f - 2, -4*f - 10 = -s*x. Let n(t) = 10*t + 5. Does 25 divide n(x)?
True
Suppose 8*c = -4*l + 11*c + 27, 10 = 2*l + 2*c. Is -6 + (3 - -205) - l a multiple of 2?
True
Suppose -3673847 - 2084686 = 15*v - 268*v. Is 226 a factor of v?
False
Let b(o) = 212*o**3 + 9*o**2 - 9*o + 14. Let f(y) = y**3 - y**2 + y - 2. Let p(k) = b(k) + 6*f(k). Is 15 a factor of p(1)?
False
Does 35 divide -4 + 506*300/24 + -5?
False
Let z(y) = 4*y**3 - 9*y**2 - 6*y + 4. Let b(w) = 11*w**3 - 27*w**2 - 17*w + 14. Let x(f) = 3*b(f) - 8*z(f). Is 8 a factor of x(10)?
True
Suppose -5*v + 1242 = i, 298*i - 2*v - 3794 = 295*i. Does 3 divide i?
False
Let c = 4 - -43. Let v be 41 + (-48)/(-21) + 4/(-14). Let j = c - v. Is j a multiple of 4?
True
Let a = 239 - 237. Suppose -a*x = -3*y - 16, -3*x + 13 = -4*y + 5*y. Does 2 divide x?
False
Let v(u) = 11*u - 69. Let y be v(7). Suppose y*d + 27 = -45. Does 21 divide -85*(28/(-10) + d/(-9))?
False
Let y(a) = -a**2 + 35*a + 199. Let o(u) = u**2 + 9*u + 21. Let r be o(0). Does 17 divide y(r)?
True
Suppose -9 + 1 = -d. Let j = d - 6. Suppose 5*z - z - 92 = -j*c, 2*z - 238 = -5*c. Does 8 divide c?
True
Suppose -4*o + 9*o = -5*z + 560, 0 = z + 4. Suppose 3*y + o = -g + 470, 0 = 3*g - y - 1042. Does 29 divide g?
True
Suppose -3695 - 7890 = -7*l. Is l a multiple of 10?
False
Let d(g