ple of 3?
False
Let n(k) = 25*k**2 - 10*k - 7. Let w be n(-5). Suppose 0 = -4*y + w - 108. Does 38 divide y?
False
Does 9 divide 1/6 - 225475/(-174)?
True
Suppose -3*q - 100 = -4*o, 2*o - 4*o + 4*q = -50. Suppose 0 = -5*b - 3*r - 72 - 89, b = 3*r - o. Let f = 44 - b. Is 15 a factor of f?
True
Suppose 464 = 5*u - 56. Does 13 divide ((-10)/8*1)/((-2)/u)?
True
Let n = -3 + 7. Suppose 0 = n*l - 8*l + 20. Suppose 0*t - l*t - 3*b = -91, b = -5*t + 97. Is 4 a factor of t?
True
Let m be (573/(-15))/((-1)/5). Suppose -5*f + m = 3*z, -39 = -f - 7*z + 6*z. Is 37 a factor of f?
True
Suppose 3*u - 13 + 1 = 0. Let g(n) = -n**2 + 5*n + 1. Let o be g(u). Suppose -o*b + 5*v + 145 = 0, b = -0*b - 4*v + 14. Is 16 a factor of b?
False
Let d be (-215)/2*((-5 - -4) + -1). Suppose 524 = 3*x + 4*u, -311 = -3*x - 5*u + d. Is x a multiple of 33?
False
Let z(n) be the third derivative of n**4/6 - 5*n**3/6 + 4*n**2. Let r be z(6). Suppose -125 - r = -6*c. Does 6 divide c?
True
Suppose 0 = z + 3*w - 2412, 0 = -3*z - 7*w + 5*w + 7229. Is z a multiple of 73?
True
Suppose 0 = -4*i - 2*u + 26, 4 + 4 = 4*i - 4*u. Suppose 2*d - 52 = d + f, -i*d - 5*f = -290. Is 8 a factor of d?
False
Let f = 1384 - 909. Is f a multiple of 95?
True
Let p = -31 - -11. Let w = -102 + 95. Let c = w - p. Is 13 a factor of c?
True
Suppose 0 = -5*l + 5, -4*w = l + 26 - 3. Let d be (-21)/w + (-5)/10. Suppose -d*y + 19 = -5*k - 22, 0 = -3*y - 4*k + 5. Is 7 a factor of y?
True
Suppose 0 = -q - 2*q. Suppose -26 = -q*k + 2*k. Let r(s) = s**2 + 12*s - 2. Is 2 a factor of r(k)?
False
Let h = 40 + 135. Let z = 250 - h. Is 15 a factor of z?
True
Suppose 0*w - 4*w = -4*y + 68, -50 = -5*y - 2*w. Suppose -14*b + 13*b = -y. Is b even?
True
Let w(x) = 8*x - x**3 + 14*x**2 - 12 + 4*x - 9*x + x. Does 11 divide w(14)?
True
Suppose 2*f + 5 = 21. Suppose f*v - 7*v = 99. Does 7 divide v?
False
Suppose z - 758 - 506 = 0. Is 18 a factor of z?
False
Suppose -3*y = h - 8, 5*y - 7*h + 3*h - 36 = 0. Suppose -262 = -3*i - 2*c, y*c + 22 = i - 70. Is 22 a factor of i?
True
Let w = -95 + 99. Suppose -36 = -5*y - 4*t, w*y + 3*t - 24 = y. Is 4 a factor of y?
True
Suppose 33*r = 38*r - 435. Let g = 170 + r. Is 42 a factor of g?
False
Let z be (-26)/(-12) + 25/(-150). Suppose 5*y + g = 87, -z*y + 51 = -0*g - 5*g. Does 6 divide y?
True
Suppose 7*u + 5*b = 8*u - 208, 0 = -2*u - 2*b + 464. Does 12 divide u?
True
Let f = -75 + 21. Let w = f - -76. Let b = w + 14. Does 12 divide b?
True
Let f = 141 - -235. Suppose 3*l + 97 = f. Let p = l - -3. Does 29 divide p?
False
Let l be 7/(13/3 + -4). Suppose 0 = -7*j - 0 + l. Let p(a) = a**2 + 2*a + 1. Is p(j) a multiple of 8?
True
Let v(h) = 255*h + 6. Let g be v(1). Suppose -g - 180 = -9*c. Is c a multiple of 19?
False
Let j(k) = -11*k - 4. Suppose 4*s = -2*y - 14, 8 = -3*s + 5*y - 4*y. Does 7 divide j(s)?
False
Let k = 271 - -404. Let v = 1593 - k. Does 13 divide (-3)/(-4) + v/24?
True
Let q = 519 - 303. Is q a multiple of 6?
True
Suppose -27*n = -30*n - 60. Does 38 divide (-2)/(n/(-655))*-2?
False
Suppose 2*f + 10 = 3*w, -6*f - 20 = -5*w - 2*f. Let y be 10/(-1) - w/(-5). Let h(n) = n**3 + 10*n**2 - 4*n - 13. Does 9 divide h(y)?
True
Suppose -4*v + 22 = 26. Does 25 divide (0 - v) + (223 - -4)?
False
Let p(k) = -k**3 - 7*k**2 + k + 20. Does 2 divide p(-7)?
False
Let x be (1*8)/(14/(-21)). Let d be ((-6)/x)/((-2)/(-48)). Let y = 35 - d. Is 7 a factor of y?
False
Let i = -21 + 119. Suppose 0 = 5*x - 5*g - 260, -2*x - 7*g + 3*g = -i. Is x a multiple of 17?
True
Suppose -5*j = -3*n + 5522, 65*j + 8 = 69*j. Is n a multiple of 15?
False
Suppose -2*k = 5*h - 145, -2*h = h - 3. Is k a multiple of 10?
True
Suppose 0 = 11*s + 7*s - 10962. Is 29 a factor of s?
True
Let z = -20 - -3. Let d = z - -32. Does 3 divide d - 3 - (5 - 2)?
True
Suppose -36 = 4*b + 44. Let l = -2 - b. Let p = 35 - l. Does 4 divide p?
False
Let m = -92 - -284. Suppose 12*x - m - 240 = 0. Is 6 a factor of x?
True
Let i = -1 - -1. Let x(w) = w**2 - 40*w + 435. Let q be x(19). Suppose i = l - 0*l - q. Does 12 divide l?
True
Suppose -v + 0*v + 128 = 0. Is 0 + v + -5 + (-4 - -1) a multiple of 12?
True
Is 2 a factor of 5 + -1 - 33/(-22)*42?
False
Let t = -20 - -24. Suppose -m - 3*f = -27, m + 3*f + 69 = t*m. Is m a multiple of 7?
False
Let q(y) = -y**3 - y**2 + y + 8. Let m(x) = -5*x + 21. Let f be m(5). Is 13 a factor of q(f)?
True
Suppose 3*y + 5*a = -y + 19, -y - a = -4. Is 8 a factor of -3*y + (-2 - -5) - -9?
False
Let l(j) = -106*j + 12. Is 15 a factor of l(-2)?
False
Let i = 1125 - 783. Is 18 a factor of i?
True
Let y = 1377 - 834. Is 61 a factor of y?
False
Let y be (-3848)/(-18) + 2/9. Let m = -1594 + y. Is ((-4)/10)/(12/m) a multiple of 15?
False
Let h(w) = -9*w - 7. Let i(j) = j - 1 + 5*j - 5*j. Let s(f) = h(f) - 4*i(f). Does 25 divide s(-6)?
True
Suppose s + 4*d - 23 = 0, 5*s + 0*d + 3*d = 30. Suppose -690 = -5*b + s*l, 5*b + 3*l - 419 = 271. Is 17 a factor of b?
False
Suppose -5*j - 562 = -y, 25 = 5*j - 5*y + 595. Let n = 59 - j. Is 22 a factor of n?
False
Suppose 3*o - 8*o = -60. Suppose c - o = -3*c. Suppose y = c*y - 96. Is y a multiple of 12?
True
Let l(u) = -5*u**2 - 6*u - 4. Let p be l(-2). Is 8 a factor of (18*1)/(p/(-16))?
True
Let y = 222 + -110. Does 20 divide 2282/y + 3/(-8)?
True
Let m(z) = -8*z - 19. Let j(n) = 4*n + 10. Let v(u) = -5*j(u) - 2*m(u). Is 4 a factor of v(-12)?
True
Let w = -13 - -11. Let x be 7 - ((w - -4) + 1). Suppose -540 = -x*u - u. Is 36 a factor of u?
True
Let r be (-644)/8*-2 + -3. Let y = -76 + -30. Let k = y + r. Is 28 a factor of k?
False
Suppose -f = -4, 2*v + 4*f + 0*f = 130. Suppose 5*b - v - 743 = 0. Is b a multiple of 10?
True
Suppose 3*w = 41*w - 16682. Is w a multiple of 42?
False
Suppose 5*b - 8*b + 5*n + 1190 = 0, 2 = n. Does 10 divide b?
True
Let y(k) = -3*k + 31. Let m be y(7). Let t(c) = -2*c**2 + 22*c + 1. Is 6 a factor of t(m)?
False
Let g(v) be the second derivative of 71*v**7/2520 + v**6/720 + v**4/12 - 14*v. Let j(f) be the third derivative of g(f). Does 11 divide j(-1)?
False
Let v be (-14)/6*-6*7. Suppose 4*l = -o + 4*o + v, l = 5*o + 33. Does 23 divide l?
True
Let x(i) = 187*i**3 - i**2 + 3*i + 3. Is x(2) a multiple of 19?
True
Let j be (11 - -1)*(-153)/18. Does 6 divide (-9)/(3 + j/32)?
True
Let p = -388 - -543. Is 40 a factor of p?
False
Let m(c) = -34*c + 26. Let o be m(-8). Suppose 5*j - o = 122. Does 14 divide j?
True
Suppose 0 = 4*u + 3*k - 1008, 2*u - u - 263 = 2*k. Suppose 5*s = -16 + 1, 5*s = 3*r - u. Is 13 a factor of r?
False
Suppose -3*t + 126 = -2*z + 5*z, -2*z - 5*t + 75 = 0. Is 9 a factor of z?
True
Let b = 1875 + 375. Does 50 divide b?
True
Let u(x) = x**3 + 25*x**2 + 32*x + 39. Is 52 a factor of u(-23)?
False
Suppose 2*z - 3*j - 796 - 3107 = 0, 0 = z - 5*j - 1962. Does 59 divide z?
True
Suppose 12*t + 85 = 17*t. Suppose 0 = d - t - 4. Does 3 divide d?
True
Suppose -6*t + 2*t + 4 = 0. Let d be (-4)/(-1) + 24/t. Suppose -d = -h + 6. Is h a multiple of 26?
False
Suppose 13 = 2*p - 8*n + 3*n, 4*n = -12. Let k(u) = -84*u + 4. Does 8 divide k(p)?
True
Let g(q) be the first derivative of q**3/3 - q**2/2 + 24*q - 4. Is g(0) a multiple of 4?
True
Let j(s) = -20*s - 934. Let b(h) = 4*h + 187. Let t(k) = 11*b(k) + 2*j(k). Is t(0) a multiple of 28?
False
Let b be 1606/(-14) + 16/(-56). Does 22 divide (88/(-10))/(46/b)?
True
Suppose 2*z = -3*i + 33, z - 2*i = -z + 58. Does 12 divide z?
True
Let h(k) = -7 - k**2 + 19 + 9. Let q be (1 + -1)*(-3)/(-3). Does 21 divide h(q)?
True
Let b = 5 - -5. Is (-264)/b*(-1)/((-3)/(-20)) a multiple of 30?
False
Suppose 0 = -2*b - 3 - 33. Let y(r) = r**3 + 18*r**2 + r + 18. Let n be y(b). Suppose 6*p - 9*p + 288 = n. Does 32 divide p?
True
Let r = -270 - -372. Does 30 divide r?
False
Suppose d - 6*d = -55. Let w be (1 + d/2)*34. Suppose -5*l = -a + 13 + 26, -w = -5*a - l. Is 19 a factor of a?
False
Let w be (-4)/(-3) + -2 + (-2)/(-3). Suppose 4*b - 141 = -5*y, -2*y = -5*b - w*y + 168. Is b a multiple of 6?
False
Let n = 6 - 3. Suppose 12 = 2*q + 4*c, -n = -5*q - 3*c - 1. Is q/9 - 488/(-9) a multiple of 13?
False
Is (-2438)/(-6) - (8 - (-58)/(-6)) a multiple of 51?
True
Let p be (-18)/6*((1 - 0) + -2). Suppose -2*d + 4*b + 46 = -38, 3*b + 120 = p*d. Is d a multiple of 7?
False
Is (-85)/(-2) + 20/40 a multiple of 20?
False
Let w(k) = -1