). Suppose 25*s - 24*s - h = 0. Is 3 a factor of s?
False
Let q(m) = -8*m - 20. Let f be q(25). Does 9 divide ((-616)/f)/((-2)/(-210))?
False
Suppose -2*f + 4*f = -2*v + 10, f - 17 = -4*v. Suppose 0*d = -v*d + 324. Does 26 divide d?
False
Suppose z - 29 - 68 = 0. Let j(d) = d**2 - 8*d - 70. Let l be j(8). Let y = z + l. Is y a multiple of 9?
True
Let c = 389 - 51. Let w = 410 - c. Is w a multiple of 9?
True
Suppose 73*b - 78725 = 85087. Is 66 a factor of b?
True
Let h(a) = 8*a - 16. Let i be h(-11). Let k = 162 + -154. Does 5 divide (i/(-3))/k*3?
False
Is (99 - 115) + 5056*1 a multiple of 8?
True
Let i be (84/(-18) + 2)*(-99)/2. Let l be i/21 + 2/(-7). Let p(w) = w**2 - 6*w + 3. Does 3 divide p(l)?
True
Let n(a) = a**3 - 4*a**2 + 4*a - 14. Let p be n(4). Let x be (5*(-10)/(-25))/(p/4). Suppose 0 = -5*m + 4*m - 3*v + 122, -x*v = -5*m + 648. Is 8 a factor of m?
True
Let w(i) = 11*i**2 - 42*i + 11. Does 10 divide w(10)?
False
Let r(p) = p**3 - 3*p**2 - 3*p - 19. Let z be 4*7/8*2. Does 13 divide r(z)?
True
Suppose -25*k + 16*k = 12*k - 35658. Is 38 a factor of k?
False
Let v(q) = -2*q**2 - 63*q + 29. Let t be v(-32). Let p(o) = -185*o - 9. Is p(t) a multiple of 14?
True
Let o = 16817 - 4784. Does 7 divide o?
True
Let g = 3202 + -2803. Is g a multiple of 8?
False
Suppose 4*v - 2099 = -a, -2620 = -0*v - 5*v - 5*a. Does 4 divide v?
False
Let x(t) = 4*t**2 - 65*t - 13. Is x(41) a multiple of 34?
True
Suppose 1558*x - 1568*x + 2790 = 0. Suppose -x = -4*g - 4*n + 337, 2*n = g - 157. Is g a multiple of 46?
False
Let d(n) be the third derivative of 3/8*n**4 - 31/6*n**3 + 0 - 27*n**2 + 0*n. Is d(9) a multiple of 11?
False
Suppose 4*b + 2*v + 13 - 95 = 0, -4*v - 96 = -5*b. Let q = b - 24. Let p = q + 20. Does 10 divide p?
False
Let n = 14 + -12. Suppose 0 = 4*w - n*w + 3*v - 25, -5*v = 2*w - 35. Suppose 3*a - 3*l = 117, 18 = w*l + 3. Does 12 divide a?
False
Suppose -5*y = 3*p - 34, -4*y - 55*p = -56*p - 17. Let q be 1 + 14 + (1 - 1). Is 10 a factor of 148 - ((-3)/y + 39/q)?
False
Let g(f) = -12*f + 49 - 89 + 54 + 4*f**3 + 10*f**2 - 34*f**2. Is 10 a factor of g(8)?
True
Let j = 4960 - 1190. Is 130 a factor of j?
True
Let i = 18 - 24. Let o be (-2)/i - -23*(-3)/(-9). Does 31 divide (194/(-4) + 2)/((-4)/o)?
True
Suppose 5*y - 150 = 2*y. Suppose y = -8*c + 410. Is 2691/c - 4/5 a multiple of 7?
False
Suppose 3*o + 0*o + 14931 = 12*o. Is o a multiple of 14?
False
Let o(a) = 607*a**2 + 210*a + 40. Is o(-6) a multiple of 145?
False
Suppose -10*t - 10 + 0 = 0. Let m(q) be the first derivative of 59*q**3/3 + 7*q**2/2 + 8*q + 64. Is 9 a factor of m(t)?
False
Suppose -3*s - 1843 = b - 8272, -4*s - 5*b = -8572. Does 12 divide s?
False
Let y be 10/(-25) - (-102)/(-30)*-6. Is (5 - 4204/y)*50/(-15) a multiple of 9?
True
Suppose 0 = 4*z + 16*z - 6680. Suppose -3*s = -3*o + 4*o - z, -3*o + 106 = s. Is 14 a factor of s?
True
Let o = 145 - 8. Let x be 51 - (-6 - -5)*8. Let n = o - x. Is n a multiple of 7?
False
Is 28/2*(9333/17 - (2 + 8)) a multiple of 11?
True
Suppose -5*f + 186 - 76 = 0. Is 2*(302904/528 - 4/f) a multiple of 31?
True
Suppose v - 225 = -4*u, -2*u - 2*v + 117 = 3*v. Let k = u + -52. Suppose 5*q - 4*x = 56, -2*q + x = -k*q + 12. Is q a multiple of 6?
False
Let f = -65 + 108. Let m be (-8)/20*(f - -2). Is (-3 - 0)*102/m a multiple of 12?
False
Suppose 7*q + 30 = 17*q. Let a = -17 + q. Let u(i) = i**2 + 6*i - 6. Is 10 a factor of u(a)?
False
Let j be 384 - 7/((-56)/(-48)). Let f = -281 + j. Is 6 a factor of f?
False
Suppose -6*g + g = -20. Suppose 5*v - 314 = 2*h + 707, h + 409 = 2*v. Suppose -11*b + v = -g*b. Does 29 divide b?
True
Let g(c) = c**3 - 26*c**2 + 33*c + 34. Let u = 212 + -187. Is g(u) a multiple of 9?
True
Let w = 1806 - 166. Suppose 9*d = -d + w. Is 14 a factor of d?
False
Let v be 1264/7 - (31/(-7) + 4). Suppose -v*w + 176*w + 120 = 0. Is 4 a factor of w?
True
Suppose -3*m - 3*v - 21 = 0, -2*m + 0*m + 3*v - 39 = 0. Let r be 4/(-3)*-1*(-27)/m. Suppose 165 = r*w + 5*y, 3*y = -3*w + y + 156. Does 10 divide w?
True
Let y be (-5)/(390/(-286)) - (2 - (-4)/(-3)). Let j(f) be the third derivative of f**6/60 + f**5/20 - f**4/4 - 2*f**3/3 + f**2. Is 13 a factor of j(y)?
False
Suppose -3592 = -5*s + 4*n, -5*s + 804 = -n - 2794. Is s a multiple of 10?
True
Let s(a) = 5*a - 20. Let b be s(7). Let x(k) = 2*k + 338. Is x(b) a multiple of 4?
True
Let v = 32467 + -30262. Does 105 divide v?
True
Let i = 2 - -103. Let o be 4/22 - i/33 - 17. Does 14 divide (o/(-3))/((-16)/(-168))?
True
Does 65 divide 8141/42 - 77/(-66)?
True
Let t(p) = -268*p**3 - 8*p**2 - 7 - 12*p - 5 + 266*p**3. Let b(n) = -n + 5. Let r be b(9). Does 9 divide t(r)?
True
Let r(h) be the first derivative of h**4/4 - 4*h**3/3 + 7*h**2/2 - 2*h - 7. Let t be r(-5). Let b = -139 - t. Is 43 a factor of b?
False
Let u(r) = 3*r**2 - 18*r + 176. Let k = 457 + -449. Is u(k) a multiple of 6?
False
Suppose -3*x - 3*j = 0, -2*x + 5*j + 37 - 2 = 0. Let m(q) = -3*q - x*q**2 + 6*q**2 - 4*q + 20 - 2*q**2. Is m(-8) a multiple of 3?
True
Let z(m) be the third derivative of m**5/15 + m**4/24 + 4*m**3 + 42*m**2. Let s be z(-10). Suppose -62*v + s = -59*v. Is 23 a factor of v?
True
Let l = 22 + -11. Suppose -l*t = -5*t - 630. Does 15 divide t?
True
Suppose -7*o + 3 + 11 = 0. Suppose 1 = f - 3*m, -6*f + 2*f - o*m - 24 = 0. Let y(x) = -x**3 - 4*x**2 - 5*x - 11. Is 5 a factor of y(f)?
False
Let n = 17966 + -17842. Is n a multiple of 10?
False
Let w(x) = -14*x**3 + 6*x**2 + 16*x + 7. Let c(n) = 2*n**3 + 14*n**2 + 14*n + 9. Let t be c(-6). Is 12 a factor of w(t)?
False
Suppose 6549 = 5*f - p, 2*f + 0*p - 4*p - 2634 = 0. Suppose -y - f = -18*y. Is 2 a factor of y?
False
Let m(p) = -283*p - 9. Let h be m(-3). Suppose d - 7*d = -h. Suppose -136 = -4*c + d. Is 11 a factor of c?
False
Suppose -3*t + 3*s = -276, 3*t - 6*t + 274 = -2*s. Suppose 0 = -t*d + 85*d + 630. Is d a multiple of 7?
True
Does 14 divide ((-87)/(-2))/((14/98)/((-1236)/(-42)))?
False
Suppose 4*n - 4*s = n - 3, 5*s - 15 = 0. Suppose -2 = -2*k, -n*r + 3*k = 5*k - 353. Is 13 a factor of r?
True
Suppose -3*x + u + 19 = 0, 0*u = -3*x - 2*u + 16. Let l(c) = -c**3 + 32*c**2 - 208*c + 179. Let a be l(23). Suppose -x*k - a = -8*k. Is 6 a factor of k?
True
Suppose 1295 = 820*f - 815*f. Let s = f + 645. Is s a multiple of 14?
False
Suppose -2*f - 4*h = 12 - 24, 2*f = 5*h + 39. Suppose f*m - 14321 = -1421. Is 51 a factor of m?
False
Let r be 4/(-12)*(-2514 - 3). Let x = r - -85. Suppose -x = -7*m - 91. Does 16 divide m?
False
Let r(m) = m**2 + 6. Let n be r(0). Let u(i) = -i**2 + 33*i + 176. Let f be u(33). Suppose -f = -14*q + n*q. Is q a multiple of 15?
False
Let g be (7/((-147)/774))/((-2)/14). Suppose 0 = -2*w + 5*z + g, -z = -2*w - 0*w + 250. Is w a multiple of 19?
False
Let w(s) = s + 56. Let q be w(26). Suppose -4*d = 2*l - q, -4*d + l + 0*l = -97. Does 5 divide d?
False
Let g be ((-1 - (0 - 1))/(-2))/1. Suppose -3*s = 4*z - 2477, g = -z - 38*s + 43*s + 648. Is 57 a factor of z?
False
Suppose 6*r + 54 - 18 = 0. Let i(s) = -s - 1. Let u(a) = 8*a + 35. Let v(g) = r*i(g) + u(g). Is 15 a factor of v(11)?
True
Is 35 a factor of 4/(-11) - (-418056)/33?
False
Let k(z) = -z**3 - 5*z**2 + 19*z - 6. Let r be k(-8). Let n = -32 + r. Suppose 18 = 2*c - n. Is 10 a factor of c?
True
Let p = -6772 + 12870. Does 41 divide p?
False
Suppose -5*a + 8*a + 365949 = 5*d, -292811 = -4*d - 5*a. Does 13 divide d?
False
Let m(o) = -41*o + 2376. Does 8 divide m(55)?
False
Let g = 352 + -352. Suppose 69*q - 72*q + 900 = g. Is q a multiple of 38?
False
Suppose 6*f + 13 = -77. Let r(u) = -26*u + 75. Does 31 divide r(f)?
True
Let x(f) = -f**3 + 7*f**2 - 10*f - 5. Let w be x(4). Suppose -11*q - w*q + 1372 = 0. Is q a multiple of 5?
False
Let i(h) = -h**3 - 12*h**2 - 12*h - 2. Let n be i(-11). Suppose -j = -4*j - n. Is 21 a factor of 1 - j/((-9)/(-159))?
False
Let r(i) = i**3 + 9*i**2 + 8*i + 8. Let c be r(-8). Suppose 8*n + c = 12*n. Is 2 + -44*(-1)/n a multiple of 12?
True
Let l = -537 - -537. Suppose 110*c - 112*c + 664 = l. Does 10 divide c?
False
Suppose 11925 - 35487 = -6*g - 8*g. Is 9 a factor of g?
True
Suppose 2*b + 4*n - 466 = 4*b, -2*b - 3*n - 445 = 0. Let d = b + 286. Is d a multiple of 19?
False
Let m(u) be the third derivative of -3*u**5/20 + 7*u**4/24 - u**3/2 + 10*u**2. Let n(q) 