+ 5*c + 10 = 0, -4*n - 4*c - 55 = -19. Let l be 6/(-10) - 43/n. Suppose 3*f - 4*f + l = 0. Is 8 a factor of f?
True
Let q(y) = -y**3 - 4*y**2 + 12*y + 12. Let b be q(-6). Suppose -2*c = b - 166. Is 9 a factor of c?
False
Let r be 1/((-2)/68 + 0). Is 37 a factor of (-4756)/r - (-6)/51?
False
Let d(v) = -3 - 4*v + v + 2*v + 1. Let u be d(-2). Suppose -4*i - i + 25 = u. Is i a multiple of 5?
True
Let r(t) = -t**2 - 9*t - 18. Let z(c) = c**3 + 12*c**2 - 2*c - 29. Let l be z(-12). Does 2 divide r(l)?
True
Let m = -66 + 70. Let o(k) = 2*k**3 - 7*k**2 + 9*k - 6. Does 3 divide o(m)?
False
Let g(u) = u**3 - 9*u**2 - 5*u - 6. Let h be g(10). Suppose 3*m = 3*i - 10 - 20, 4*i = 2*m + h. Suppose 3*y - 4 = 5*r - 4*r, i = 2*r - 2*y. Does 11 divide r?
True
Let f = 943 + -547. Is 22 a factor of f?
True
Let y = -189 - -110. Suppose 2*a = 4*o - 250, -4*o - 70 - 49 = a. Let h = y - a. Is h a multiple of 18?
False
Is 1*(8 + (-242)/(-2)) a multiple of 4?
False
Let c = 15 - 14. Let s = 26 - c. Is s a multiple of 5?
True
Does 7 divide (-13460)/(-52) - ((-77)/(-91) + -1)?
True
Suppose u - v + 1 = 0, -v - 2*v = -9. Let n(j) = 11*j**3 + 2*j**2 - 4*j + 2. Does 36 divide n(u)?
False
Suppose 37*w - 20*w - 18564 = 0. Is 20 a factor of w?
False
Let y(r) = r**3 + r**2 + 9*r - 20. Is y(7) a multiple of 15?
True
Suppose 4*f + f = 0. Suppose 17 = b - f*l + l, 0 = l + 5. Does 11 divide b?
True
Let u(l) = l**2 + 10*l + 2. Let j be u(-10). Suppose 0 = 4*t - 2*g - 402, t - g = -j*g + 96. Is 9 a factor of t?
True
Let t(d) be the third derivative of 19*d**6/360 - d**5/120 + d**4/8 + 2*d**3/3 - 3*d**2. Let v(s) be the first derivative of t(s). Does 22 divide v(2)?
False
Let w be 23/(-4)*(-5 + 1). Let n = w + -29. Is 20 a factor of 15/n*(-48)/2?
True
Let a be -44 + (-8)/(3 - 7). Suppose -4*k = y + 336, 0 = 5*k + 3*y - y + 420. Let s = a - k. Is 14 a factor of s?
True
Let m(c) = 2*c**2 - 8*c - 169. Is 23 a factor of m(-15)?
False
Let o be 3 + -4 + 40/(-2). Let v = 42 + o. Does 21 divide v?
True
Suppose 13*s - 388 = 132. Does 8 divide s?
True
Let x be -10*((-6)/(-3) - (-3)/(-2)). Does 23 divide 76*(x - -8) + 2?
True
Let g(f) = 2*f**3 - 6*f**2 + 4*f + 9. Let c(w) = -w**3 - w - 1. Let a(p) = -3*c(p) - g(p). Let o be a(-6). Is 25 a factor of 3 + o - 24*-3?
True
Suppose -4*a + 632 = 4*x, -a + x + 164 = -x. Suppose 0 = -10*d + 15*d - a. Is 32 a factor of d?
True
Suppose -5 = 2*u - 3*u. Suppose u*h - 344 = -129. Does 7 divide h?
False
Let v(n) = -2*n - n - 10 - 9*n + 2*n**2 + 10*n. Is 30 a factor of v(5)?
True
Let p(l) = 2*l - 18. Let t be p(11). Let g(w) = -2*w + 7. Let v be g(t). Does 3 divide v/4 + (-244)/(-16)?
True
Let a = -9 - 4. Let r(p) = -6*p - p**2 + 21 + p + p - 8*p. Does 8 divide r(a)?
True
Is 10 a factor of ((-160)/3)/((-114)/54 + 2)?
True
Suppose -2*w + 4*b = 302, b - 75 = -2*w - 357. Let l = w - -206. Does 12 divide l?
False
Is 65 a factor of (6 + (-248)/(-2))*(-49)/(-14)?
True
Suppose -9 = -3*v + c - 4*c, -2*v + 3 = -c. Is 25 a factor of (49 + 0)*1/1 - v?
False
Suppose -2*n + 5*c + 65 = -22, 3*n - c - 150 = 0. Is n a multiple of 6?
False
Suppose -9 = -3*d - 3*m, m = -3*m + 4. Suppose -88 = -0*y - d*y. Is y a multiple of 22?
True
Suppose -13*z + 22185 = 16*z. Is 7 a factor of z?
False
Suppose 1339 = 3*k + 403. Is k a multiple of 8?
True
Let k be 70 + (-2 - (-6 + 4)). Suppose -5*l + 215 = -5*x, 0*l + 2*l = -2*x + k. Let r = -15 + l. Is 8 a factor of r?
True
Suppose 10*z - 12*z = 20. Let i = z + 16. Is 9 a factor of 22*1/i*3?
False
Suppose -s = 2*s. Suppose s = -w - w - 60. Is 11 a factor of 12/w - 167/(-5)?
True
Let v(p) = -4*p - 4. Let z(l) = l - 1. Let a(f) = v(f) + z(f). Let t be a(-3). Suppose s = -t*s + 75. Does 15 divide s?
True
Let l = 11 - -32. Let x = 27 - l. Let f = x + 44. Is f a multiple of 14?
True
Let l(m) be the third derivative of 1/4*m**5 + 2*m**2 + 0*m + 5/6*m**4 - 1/120*m**6 + 0 - 10/3*m**3. Is 8 a factor of l(16)?
False
Let r(k) be the third derivative of -5*k**6/24 - k**5/30 - k**4/24 + 4*k**2. Is 12 a factor of r(-1)?
True
Let o(v) = 9*v + 51. Let k be o(-17). Let r = -48 - k. Does 18 divide r?
True
Suppose r + 1 = 6. Suppose r*v - 5*j - 10 = 40, 0 = 4*v + 3*j - 5. Suppose -3*b = w - 27, 75 = v*w + 5*b - 30. Is w a multiple of 7?
False
Suppose 1 + 5 = -2*c. Let w be 4 + (-4 - c) - -1. Suppose 2*m = -4 + 12, 0 = -4*f + w*m + 12. Is 3 a factor of f?
False
Let c = -6 + 68. Let h = -18 - 12. Let l = h + c. Does 16 divide l?
True
Suppose -3*r - 4*t + 2697 = 0, -4*t - 131 = -5*r + 4396. Is r a multiple of 24?
False
Suppose 5*q + 238 = y + 2411, q - 441 = -3*y. Does 16 divide q?
False
Let z(g) = 3*g - 6. Let p be z(6). Suppose -2*i - 5 + 35 = 0. Let f = i - p. Does 3 divide f?
True
Suppose -3*l - 8 + 23 = 0. Suppose -4*q + 10*f = l*f - 508, 5*f = -4*q + 548. Is 22 a factor of q?
True
Suppose 64*t - 68*t = -1992. Does 16 divide t?
False
Let o = 15 + -22. Is (-112 + 2/2)/(o/7) a multiple of 16?
False
Let n(v) = -16*v - 168. Does 8 divide n(-20)?
True
Let h(p) = 3*p**2 + 5*p - 9. Is h(-7) a multiple of 5?
False
Let n be -204*(5/30)/(1/(-4)). Let h = n + -80. Does 7 divide h?
True
Let x be ((-8)/(-40))/((-1)/5). Let g be 48*(42/(-8))/x. Suppose -14*m = -11*m - g. Does 28 divide m?
True
Suppose 0 = -71*u + 68*u + 810. Is u a multiple of 27?
True
Let y(s) = 8*s**2 - 5*s - 7. Let a be y(-5). Suppose -a - 10 = -4*b. Does 19 divide b?
True
Let b = 143 + -39. Suppose 82*l - 84*l + b = 0. Is l a multiple of 26?
True
Let z be 1 + 70/(2 + 3). Does 3 divide (-25)/z*-15 + -4?
True
Suppose -4*g - 2*t = -9*g + 2075, 0 = -2*g + 2*t + 830. Is g a multiple of 5?
True
Let z(w) be the third derivative of -w**6/120 - w**5/10 - w**4/4 - 4*w**3/3 + 9*w**2. Is 14 a factor of z(-6)?
True
Let g = -4 + 2. Let x be 4/(-6)*81/g. Suppose -r = -2*r + x. Is 15 a factor of r?
False
Suppose -21*g - 9*g = -210. Is g a multiple of 2?
False
Suppose -8*b - 1089 = -5121. Does 18 divide b?
True
Let u be (-6)/(-39) - 323/(-13). Suppose -i = u - 10. Let a = 18 - i. Is 11 a factor of a?
True
Let d(m) = m**2 + 15*m - 2. Let w be d(-15). Is 9/w*(-7 + 346/(-6)) a multiple of 9?
False
Does 64 divide -4 - (-1 + -3*(-6 + 374))?
False
Suppose -44 = -11*c + 99. Does 2 divide c?
False
Suppose -5*o + h = -574, 0 = -4*o + o + 3*h + 342. Suppose 4*w + 140 = 4*v, -4*v + 0*w = w - o. Does 5 divide v?
True
Suppose -4*b = -0*b - 220. Is 14 a factor of b + (-1)/(-4) + 9/12?
True
Suppose 0 = -5*s + 4*r + 1519, s + 304 = 2*s - r. Does 40 divide s?
False
Suppose -4*w - 4*f + 2147 = -2945, 3*w = 5*f + 3787. Is w a multiple of 9?
True
Let k(r) = r**3 - 31*r**2 + 16*r + 154. Does 65 divide k(32)?
True
Suppose 5*h + 4*n + 1 = 0, -4*h - 6*n + n = -1. Let i be 0 - h/(2/4). Is 6 a factor of 13 + i/(-6)*0?
False
Is 2*(-1)/5*(-14685)/22 a multiple of 13?
False
Suppose -u = 5*y - 2807, -1677 = -3*y + 17*u - 20*u. Is y a multiple of 10?
False
Suppose -12 + 52 = 2*l. Let o = l - 6. Suppose b - 18 = o. Is b a multiple of 32?
True
Is 471*(-7)/(-21) - -2 a multiple of 14?
False
Let l(p) = -4*p**3 - 12*p**2 + p - 7. Let o(g) = 8*g**3 + 25*g**2 - 2*g + 15. Let w(r) = 13*l(r) + 6*o(r). Is w(-3) a multiple of 5?
True
Suppose -351 - 183 = -2*k - 3*z, 0 = 3*k + 5*z - 802. Does 41 divide k?
False
Suppose 0 = 418*j - 420*j + 350. Is j even?
False
Suppose -x = -219 - 82. Suppose -3*y = -u + 65, -3*u = -8*u + 3*y + x. Suppose 0 = -4*z + 5*z - u. Is 15 a factor of z?
False
Suppose -58*j = 22*j - 100960. Does 21 divide j?
False
Suppose -3 = -d, 7*d + 78 = s + 3*d. Let u be 10/s - (-470)/(-18). Let z = 65 + u. Is z a multiple of 17?
False
Let j be (21/(-14))/(6/(-164)). Suppose -4*o = 4*g - 5 - 239, j = g + 5*o. Does 22 divide g?
True
Suppose 0 = -5*m + 21 - 11. Suppose -m*o + 265 = 3*o. Is 32 a factor of o?
False
Is 23 a factor of 17 + -16 + 0 - 918/(-2)?
True
Let u = -230 + 278. Is 8 a factor of u?
True
Let j be (1 + -2)/((-8)/(-16)). Let a = 1 - j. Is 8 a factor of 1 - (a - (0 - -25))?
False
Let x(n) = 90*n + 3. Let h be x(3). Let f = h - 175. Does 14 divide f?
True
Suppose -9*n + 480 = -5*n. Does 6 divide 58/(-8)*n/(-5)?
True
Suppose 4088 - 14448 = -37*v. Is v a multiple of 35?
True
Suppose 99 = 5*v - 4*l, 5*v = l + 4*l + 100. Suppose 7*o - 334 = -v. Is 45 a factor of o?
True
Let f(v) = v**3 + 9*v**2 - 12*v - 8. Let a be f(-10). Let j(k) = -2 + 1 +