 41. Let j = w - -8. Is j a multiple of 19?
False
Let i = 794 + -791. Let s be (-10)/(-4)*12/5. Suppose 33 = i*j + s. Is j a multiple of 4?
False
Let z be (-2)/1 + -23 + 30. Does 5 divide 1698/(-3)*-5*z/50?
False
Suppose 0 = 5*v + 16*y - 13*y - 9138, v + 5*y = 1854. Does 7 divide v?
False
Suppose -5*q - c - 13 = 11, 5*q + 28 = -2*c. Let i be (-2 + -2)/(q + 291/72). Is 11 a factor of i/(-4)*(-4)/(-6) + -4?
False
Suppose -10*s + 21 = 1. Suppose 5*d - 315 = 3*v - 8*v, d - 63 = s*v. Is 7 a factor of (-2940)/d*(-2 + (-2)/(-4))?
True
Suppose 5*a - 9*a - 16 = 0, -2*x + 1032 = -4*a. Let r = x + -65. Is r a multiple of 13?
False
Let f be (-39)/(((-23)/(-115))/(3/5)). Let c = f - -327. Does 14 divide c?
True
Let x(t) = -9*t - 14. Let o(l) = -10*l - 13. Let a(f) = -5*o(f) + 6*x(f). Let g be a(-5). Is 11 a factor of (g + 12/(-6))*(-122)/2?
False
Let d be -3 - ((-9)/(-3) - 7). Suppose 4*y - 940 = -5*b, -4*b + d = 17. Is 23 a factor of y?
False
Let f = -5150 + 8715. Does 115 divide f?
True
Let n be 4*2/(-28) + 60/14. Suppose 51 + 421 = -n*h. Let f = 166 + h. Is 22 a factor of f?
False
Let a = -65 - -19. Let p = a - -49. Is 16/p*21 + 2*-1 a multiple of 11?
True
Let z = 51 + -55. Let t(r) = -4*r**2 - 3*r + 4. Let n(v) = -3*v**2 - 3*v + 4. Let f(a) = z*t(a) + 5*n(a). Does 9 divide f(7)?
False
Suppose -728*b + 27338 + 27130 = -692*b. Does 8 divide b?
False
Suppose 16565 + 16459 = 6*j. Suppose -4*r = -0*r - j. Is 4/6 - r/(-24) a multiple of 19?
False
Suppose 8*f - 5*f + 114 = 0. Let u = f - -69. Is u a multiple of 14?
False
Let p(n) = -n**3 + 8*n**2 - 7*n - 27. Let o be p(6). Let i(a) = 6*a**3 + 4*a**2 - 16*a + 39. Is i(o) a multiple of 7?
True
Let w(r) = 2*r**2 + 21*r + 30. Let m be w(-9). Suppose -i + 28 = m*i + 4*h, -23 = -2*i - 5*h. Suppose 0 = 2*b + i*b - 1452. Is 13 a factor of b?
False
Let z = 5801 + 801. Is 24 a factor of z?
False
Let s = -748 - -1280. Let d = 327 - s. Let g = d + 330. Does 25 divide g?
True
Suppose l + 24 = 5*i - 84, 5*l = -5*i - 690. Let b be 38/323 - 6728/(-34). Let w = l + b. Is w a multiple of 29?
False
Suppose -29*c - 122722 + 181740 = -300640. Is 159 a factor of c?
True
Let a(j) = 4*j**3 - 69*j**2 + 280*j - 52. Does 26 divide a(18)?
False
Suppose 26*k - 30*k = 2788. Let d = k + 998. Is (-1)/(-2) + (7 - d/(-14)) a multiple of 20?
False
Let c = -54697 + 84085. Is c a multiple of 62?
True
Let b(p) be the second derivative of p**5/20 + 8*p**4/3 + 29*p**3/3 + 19*p**2/2 + 207*p. Is 13 a factor of b(-30)?
False
Let b = -14 + 19. Suppose -b*d + 3*i = -32, -i - 2*i = -3. Suppose -d*x = -8*x + 5. Is 5 a factor of x?
True
Let o = 4741 - 289. Does 159 divide o?
True
Let y(b) = 3588*b - 22. Is 18 a factor of y(1)?
False
Let m = 196 - 187. Is 49 a factor of 2355/8 - 4*m/96?
True
Let k = 6116 + 6685. Is k a multiple of 38?
False
Suppose -4*s + 6 + 6 = 0, x - 25 = -3*s. Suppose 0 = 2*g + d - 235, 19 - x = -d. Does 7 divide g?
True
Let b(l) = 194*l - 40. Is b(12) a multiple of 104?
True
Suppose 2*c = -4 - 0. Let n(s) = 2*s**2 - 2*s. Let h be n(c). Does 8 divide ((-54)/h - -4) + 58/4?
False
Suppose 5*a + 33 = -2*g, 3*a + 17 = -g - 0*a. Let h(p) = -p**3 - 13*p**2 - 18*p - 4. Is 14 a factor of h(g)?
False
Let a(w) = -23*w + 40. Let m(y) = -67*y + 119. Let l(d) = 17*a(d) - 6*m(d). Is 2 a factor of l(8)?
True
Let y(l) be the third derivative of -l**6/120 + 3*l**5/20 - 3*l**4/8 + l**3 + 5*l**2 - 2. Does 6 divide y(5)?
False
Suppose 127360 = -37*o + 108*o - 51*o. Does 32 divide o?
True
Suppose 0 = 63*u - 6*u - 16872. Does 74 divide u?
True
Suppose -12088 = -14*k - 2120. Is 13 a factor of (k/(-14))/(1/(-7))?
False
Let p(c) = 2*c + 46. Let l be p(-20). Suppose -4*g + 80 = l*g. Suppose 0 = -4*n + g*n - 2*q - 176, n + 4*q - 53 = 0. Is 15 a factor of n?
True
Let b(v) = 2*v**2 + 30*v + 32. Let z be b(-13). Is 11 a factor of 2*15/z*(-80)/3?
False
Let c be (5 - 20)/(-3) - 0/(-1). Suppose 5*d = -c*d - 210. Let b = d - -50. Is 29 a factor of b?
True
Let w = 102 - 274. Let i = -154 - w. Is 6 a factor of i?
True
Let v = -645 - -2025. Does 20 divide v?
True
Suppose 4*g - 108295 = -g + 4*a, 3*a + 21648 = g. Is g a multiple of 26?
False
Let k(q) = 83*q - 373. Let n be k(47). Suppose 8*l = 5*l + n. Is 21 a factor of l?
True
Let s be (-36)/(-8) + (-5)/10. Suppose 1622 = 2*l + 2*k, -921 = -3*l - s*k + 1507. Suppose -3*p - 3*p = -l. Does 34 divide p?
True
Suppose 0 = -7*g + 5*g + 478. Let p be 7 + 100/(-15) + g/3. Suppose -8*u + 152 + p = 0. Is u a multiple of 9?
False
Let i(p) = 2082*p - 172. Is 38 a factor of i(1)?
False
Suppose -25*j + 132998 - 1748 = 0. Is 30 a factor of j?
True
Let v(j) = 12*j**2 - j - 88. Let x be v(-13). Suppose x = 147*o - 140*o. Is 3 a factor of o?
True
Let b(z) = -6*z - 42. Let w be b(0). Let m be (364/w)/(4/(-6)). Suppose 0*x - 1209 = -m*x. Is 40 a factor of x?
False
Suppose -1 = -2*h + 17. Suppose 0 = 9*g + h*g - 4680. Is g a multiple of 65?
True
Suppose -31240 = -15*y + 11*y - n, 3*y = 3*n + 23460. Is y a multiple of 12?
True
Let f(m) = m**3 + 62*m**2 - 80*m - 11. Does 5 divide f(-63)?
True
Let x(n) = n**2 - 10*n - 27472. Let j be x(0). Does 19 divide j/(-32) - (1 - (-9)/(-6))?
False
Is (-20)/6*(-33156)/150 + (-4)/(-20) a multiple of 4?
False
Let u(l) = 2*l**3 - 19*l**2 - 24*l - 48. Is u(16) a multiple of 22?
False
Let g(c) = 24*c**3 - 5*c**2 - 7*c - 261. Is g(11) a multiple of 108?
False
Suppose -t + 4 + 13 = -4*q, 0 = q + 2. Let w be -4*(-2)/((-2)/t). Let s = w + 67. Does 9 divide s?
False
Let c(r) = 29*r + 523. Is c(29) a multiple of 62?
True
Suppose 10*y = 9*y + 3135. Suppose 5*b + 5*t - y = 0, t - 2*t + 2499 = 4*b. Does 24 divide b?
True
Suppose 0 = 17*c - 57463 - 24953. Does 6 divide c?
True
Suppose 6*v = -6*v + 4068. Suppose 9*x - 5*x + 440 = 2*j, 3*x + 3*j + v = 0. Let s = x - -186. Is 14 a factor of s?
False
Let l(z) = z**2 - 6*z + 3. Let d be l(6). Let p be (1 + -15)/(d/((-9)/(-6))). Let x(o) = 2*o**2 + 12*o - 3. Is 4 a factor of x(p)?
False
Let n(g) = 8*g**2 + 16*g + 6. Let a be n(-8). Let x = a + -320. Is 5 a factor of x?
True
Suppose 573*u - 101727 = 564*u. Is 12 a factor of u?
False
Let o(z) be the first derivative of -30 + 5*z**2 - 33*z + z**2 + 26*z. Does 27 divide o(7)?
False
Let k(b) be the second derivative of b**5/20 + 15*b**2/2 + 21*b. Does 10 divide k(5)?
True
Let g(r) = -814*r - 11106. Is g(-51) a multiple of 35?
False
Is 40 a factor of 19562300/3975 + (-6)/(-4)*8/(-9)?
True
Let t(p) = 102*p**2 - 113*p - 1060. Does 6 divide t(-10)?
False
Is (127485/30 + -54)*(68/6 + 2) a multiple of 79?
False
Does 15 divide ((-6570)/7)/(896/(-3136))?
True
Suppose 3*f = 5*k + 2532, 1688 = 2*f + 2*k - 5*k. Suppose 3*c - 2981 = f. Suppose 5*s - 5*d = c, 4*d - 451 - 71 = -2*s. Is s a multiple of 42?
False
Let w(r) = 2*r**2. Let f be w(1). Let z be ((-100)/6)/(f + (-70)/36). Is ((-20)/50)/(1/z) a multiple of 24?
True
Let u = -134 + 639. Suppose u = -v + 515. Is 7 a factor of v?
False
Suppose 3*a = -a + 20, 2050 = 5*h - 5*a. Suppose n = -n + 5*k + h, 4*n - 816 = -4*k. Is 12 a factor of n?
False
Suppose 5*r - 6485 = 1345. Suppose -r = 14*q - 17*q. Is 8 a factor of q?
False
Let j = 13577 + -1952. Is 125 a factor of j?
True
Let t = -4081 + 5401. Is t a multiple of 11?
True
Is 16 a factor of (-2)/(-11) - ((-23428)/11 + -4 + 6)?
True
Let h = -422 - -721. Let i = h - 272. Is i a multiple of 17?
False
Let q be 8/(-6 - (-64)/10). Let n(o) be the third derivative of o**5/60 - 17*o**4/24 - 13*o**3/2 - 7*o**2. Is 4 a factor of n(q)?
False
Let l(z) = z + 221. Let n be l(0). Let i = n + -117. Suppose 57*q + i = 58*q. Is q a multiple of 13?
True
Let x(j) = 145*j - 9. Let g be x(3). Suppose g = 6*o + 36. Suppose -o = -3*i + 25. Does 6 divide i?
True
Suppose -3*n - 36*o = -31*o + 57, 0 = 2*n - 3*o. Let u(a) = 4*a**2. Let l be u(3). Does 20 divide (0 - l)/(n/45)?
True
Let l(i) = 485*i - 1951. Is 18 a factor of l(29)?
True
Let n(a) be the second derivative of a**4/12 - a**3/3 - 7*a**2/2 - 5*a. Let y be n(4). Is -1 + (-1)/y + 62 a multiple of 8?
False
Let k = 3 - 8. Let h(o) = 8*o**2 + 5*o - 1. Is h(k) a multiple of 16?
False
Let u(k) = -5*k**3 - 32*k**2 - 17*k - 5. Let b be u(-8). Let r = 1076 - b. Does 42 divide r?
False
Is 27 a factor of -12 - (-5430 + -1) - -8?
True
Suppose 0 = -5*p - 0 + 40. Let y = 107 - p. Is 23 a factor of (y/(-12))/(2/(-16)*1)?
Fal