 40. Let c be m(-15). Suppose -9*n = -c*n - 20. Is v(n) a multiple of 19?
True
Let s(t) = -t**2 - 4*t + 5. Let v be s(-5). Suppose 2 - 9 = -2*c - 5*j, c + 3*j - 3 = v. Let k(i) = 10*i - 14. Is k(c) a multiple of 23?
True
Does 4 divide (-22)/(616/(-21581))*20?
False
Let g be ((-20)/30)/((-2)/(-21)). Let k be -4 - g - (-378)/(2 + -1). Let x = k - 225. Is 25 a factor of x?
False
Let z = 342 + -340. Suppose -808 = -z*q - d, -17*q + 2020 = -12*q - d. Does 7 divide q?
False
Suppose 4*h - 701 = -k, 0*h - 5*k = -3*h + 497. Let w = h - 138. Does 16 divide w?
False
Let m(i) = 2*i**2 + 6*i + 12. Let p be m(-7). Let w be (-44)/(-24)*-8*132/(-8). Suppose -p*z + 66*z = -w. Is z a multiple of 11?
True
Let n(k) = -k**3 + 8*k**2 + k - 8. Let a be n(8). Suppose a = -9*d + 6 + 3. Is 61 a factor of 7 + -3 - -19*(4 - d)?
True
Suppose 9830 = 3*v - 4*s, -3*v + 103*s - 102*s + 9815 = 0. Is v a multiple of 30?
True
Let p(d) = -d**3 + 14*d**2 + 13*d - 4. Let a be p(13). Suppose -a + 19 = -7*t. Is 3 a factor of t?
True
Suppose 16*a = 237 - 93. Does 30 divide 27/a*(-2246)/(-6)?
False
Let y(p) = -38*p + 12*p - 57 - 49*p - 3*p. Does 17 divide y(-4)?
True
Suppose -5*r + 55000 = 2*o, -13*o + 8*o = -3*r + 32969. Is 94 a factor of r?
True
Suppose 76*s + 192247 - 2039807 = 0. Is 143 a factor of s?
True
Let n(d) = -d**3 + 4*d**2 + d - 4. Let x be n(4). Let l = -2 + x. Does 16 divide ((-83)/l)/((-17)/(-34))?
False
Suppose -33 = -9*p + 3. Let n be (-20)/3*(p - 164/8). Suppose 0*r = -5*r + n. Is 11 a factor of r?
True
Suppose -2*b - 2*o + 2 = 0, -30 = -2*b + 4*o + o. Suppose -6*w + 19 + b = 0. Suppose -186 = -5*a + 5*z + 314, 3*z = w*a - 401. Is 11 a factor of a?
False
Suppose 4800 = -88*o + 92*o. Let s = o - 148. Suppose -17*k + s = -13*k. Is k a multiple of 24?
False
Suppose 3*q - q + 12 = 0. Let h = -684 - -694. Is 2*q*(-35)/h a multiple of 17?
False
Let b = -596 - -593. Does 14 divide 588*b/(((-6)/(-1))/(-2))?
True
Suppose 5*q + 606 = 146. Let u be q + 2 + 3 + 0 + -3. Let w = -55 - u. Is 22 a factor of w?
False
Suppose -24 = -7*g - g. Suppose -5*f = -4*v - 0*f + 76, v = -g*f + 19. Suppose -c - v = -82. Is c a multiple of 3?
True
Suppose 4*a = -5*l + 7885, l - 2166 = -a - 588. Is 5 a factor of l?
False
Let g be 249/(-332) + 3*(-929)/(-4). Suppose -g = -7*p + 1488. Is p a multiple of 26?
True
Let h(i) be the third derivative of -i**6/360 - 7*i**5/60 - i**4/24 + 4*i**3/3 + 7*i**2. Let b(m) be the first derivative of h(m). Does 5 divide b(-12)?
False
Let z be (1 - (-35)/(-2))/(108/(-72)). Suppose w = z*w - 4790. Is w a multiple of 26?
False
Suppose 0 = 140*z - 252*z + 2257360. Is 148 a factor of z?
False
Suppose -99*o - 100*o = -192*o - 297500. Does 15 divide o?
False
Suppose 48 = 38*h - 26*h. Suppose h*c = j + j + 648, -j = -5*c + 810. Is 2 a factor of c?
True
Suppose 3*p - 2*h = -156, h = -5*p - 2*h - 279. Let s = 93 + p. Let c = 69 - s. Is c a multiple of 15?
True
Is (1403 - -638) + (1 - (0 + 2/1)) a multiple of 10?
True
Let r = 36 + -38. Is -5*10/(-25)*(r + 16) a multiple of 4?
True
Let n be 3*9/27*(80 + 0). Let k = n + -9. Is k a multiple of 17?
False
Let z = -5110 + 11778. Is z a multiple of 68?
False
Let l be ((-1)/(10/(-12)))/((-2)/(-245)). Let n = l + -136. Is 5 a factor of n?
False
Let m = 110 - 103. Let z = 729 - m. Is 13 a factor of z?
False
Let x(d) = 350*d**3 + 106*d + 238. Let h(k) = 233*k**3 + 70*k + 159. Let l(g) = 7*h(g) - 5*x(g). Is 19 a factor of l(-2)?
False
Is (-13880)/(-22) + (-127)/(-1397) a multiple of 45?
False
Let t(i) = 820*i - 671. Is 81 a factor of t(6)?
False
Let k(p) = 34*p**3 - 4*p**2 - 22*p + 118. Is 14 a factor of k(4)?
True
Suppose -u = -24*u + 7337. Let x = -59 + u. Is 20 a factor of x?
True
Let y = 16463 + -8651. Is y a multiple of 126?
True
Let f(b) = 2*b**2 + 11*b - 6. Let s be -5*-5*(24/(-50))/2. Let u be f(s). Suppose 0 = h - 0*h + 2*d - 78, u = -h + d + 78. Does 13 divide h?
True
Suppose 68 + 28 = -8*w. Is 9*w/36*874/(-3) a multiple of 64?
False
Let b(q) = q**3 + 9*q**2 - 2*q - 7. Let d be 1*10/25*-4*5. Is b(d) a multiple of 9?
False
Is 4/11 - (-64993296)/1892 a multiple of 16?
True
Suppose -3*y + 21340 = 6*y - 12806. Does 57 divide y?
False
Let n = -2413 - -4156. Suppose -4*c + n = -1017. Is c a multiple of 30?
True
Suppose -18*m + 3988 = -12842. Is m a multiple of 7?
False
Suppose -2*x = -5*f + x + 20, -4*f - 2*x = 6. Let m(c) = -c - 1. Let r(v) = -62*v - 9. Let u(h) = f*m(h) + r(h). Does 29 divide u(-2)?
True
Let x be (-7638)/24 + -2 + 1/4. Is 27 a factor of (-5)/((-5)/4) - x?
True
Let x(m) = 11*m**2 - 76*m + 130. Does 2 divide x(10)?
True
Suppose -29814 = -23*w + 22074. Is w a multiple of 16?
True
Let u = 85 + -70. Suppose u = -4*r + 3*a, 2*r + 10*a - 5 = 9*a. Suppose r = 4*f + 3*j - 1104, -4*f + j + 49 = -1055. Is 44 a factor of f?
False
Let w = 15837 + -9814. Does 37 divide w?
False
Let s be (-48*1)/((-4)/8 - 1). Let n be (-147)/(-2)*s/48. Let m = -8 + n. Is m a multiple of 12?
False
Let x(t) = -t**3 - 12*t**2 - 20*t. Suppose 10*o - 10 = 11*o. Let q be x(o). Suppose q = f - 10 - 11. Is 8 a factor of f?
False
Suppose -37*d = -32*d + 45. Let m(v) = -v**2 + 5*v + 4. Let b be m(d). Let x = 262 + b. Is x a multiple of 15?
False
Let a = 334 + -188. Suppose a = n + 395. Let j = n + 419. Is 12 a factor of j?
False
Let k = 147 - 76. Let j = 77 - k. Is 3 a factor of j?
True
Let s(j) be the third derivative of j**7/2520 - j**6/240 + j**5/24 - 5*j**4/8 + 12*j**2. Let y(i) be the second derivative of s(i). Does 3 divide y(6)?
False
Let u = 13564 + -23774. Is 25 a factor of 1/(-4) - u/40?
False
Let m(g) = g**3 + 32*g**2 + 50*g + 20. Suppose 4*p + 132 = -4*c, -3*c - p - 105 = 4*p. Is 20 a factor of m(c)?
True
Suppose -2*h = -9*h + 21. Suppose h*j = 5*k - 18, 5*k + 2*j + 2 = 15. Suppose -w + k = g - 0*g, -2*w = -5*g + 50. Is g a multiple of 7?
False
Suppose -10286*c - 8155 = -10291*c. Is c a multiple of 31?
False
Suppose -5*x + 10*x = 3200. Let w = 1337 - x. Does 41 divide w?
True
Let q be -3 - (5 + -4 + -10). Suppose 0 = -2*i - 0*i + 10. Suppose 59 = i*h - q. Is h a multiple of 3?
False
Let j(y) = -2*y**3 - 64*y**2 + 46*y + 150. Is j(-33) a multiple of 4?
False
Suppose -19*j = -5050 - 8600 - 9606. Is 8 a factor of j?
True
Let p be (-1453)/(-15) + (-20)/(-150). Let d = -97 + p. Suppose -y + d*t = 2*t - 62, 2*t = -2*y + 130. Does 6 divide y?
False
Let x = -6 - -10. Let p be 5/(-1)*20/(-50). Suppose 9*t - 185 = x*t - p*j, -95 = -3*t + 2*j. Does 7 divide t?
True
Suppose -2*l - 8 = 0, -4*l = -3*m + 33 - 8. Suppose m*t = 2*t - 4*r + 4, 4*r + 8 = 0. Suppose -32*n = -t*n - 740. Does 10 divide n?
False
Suppose -17 = -6*o - 5. Suppose 2*y = 3*b + 731, -2*y - 3*b = -o*b - 727. Is 28 a factor of y?
True
Suppose -t + v + 245 = 5*v, -2*t = 5*v - 496. Let b = t + -93. Is 20 a factor of b?
True
Let g = 35357 + -29365. Is g a multiple of 6?
False
Suppose 0 = -v - 3*c + 4961, -5*v + 6108 = -2*c - 18612. Is v a multiple of 84?
False
Let g = -3992 + 5976. Is 62 a factor of g?
True
Let u = 79 - 46. Suppose -34*c + u*c = -3. Suppose 3*t + 4*y = 325, -3*t - c*y + y + 329 = 0. Does 28 divide t?
False
Let l = -194 + -26. Let f = 259 + l. Does 3 divide f?
True
Suppose 20*q + 2*q = 0. Suppose q*g - v - 92 = -2*g, -4*g = 5*v - 212. Is g a multiple of 24?
True
Let y be (-6)/(-4)*(12 + 460). Suppose -15*x + y = -3*x. Is x a multiple of 5?
False
Let l = 331 + -683. Let t = -266 - l. Is t a multiple of 7?
False
Let b(h) = -h**3 - 11*h**2 + 9*h - 37. Let w be b(-12). Is 9 a factor of w - -5 - (8 + -49)?
True
Let s = -104175 - -147876. Does 15 divide s?
False
Suppose 6*d - 304 + 292 = 0. Let p(u) = -7*u**3 - 2*u**2 + 3*u - 3. Let q(n) = -36*n**3 - 10*n**2 + 16*n - 16. Let r(g) = 14*p(g) - 3*q(g). Does 19 divide r(d)?
False
Suppose 89*v - 162*v + 82*v - 12276 = 0. Is v a multiple of 21?
False
Suppose -333*x - 39 = -336*x. Suppose w - 2*j - 207 = 0, -14*j + 846 = 4*w - x*j. Does 37 divide w?
False
Let g be 0 + (-4)/(8/554). Let u = 333 + g. Does 7 divide u?
True
Suppose -19*b + 1313 + 787 = -4*b. Let n be (-6)/4*(-24)/9. Suppose 8*w - b = n. Does 13 divide w?
False
Suppose -30*u - 593507 = -17*s - 32*u, -4*s + 139680 = -4*u. Is s a multiple of 9?
False
Let a be (30/1)/6 + 18*111. Suppose 33*h - 11692 - a = 0. Is 25 a factor of h?
False
Let o = 38 + -54. Let x = o - -23. Suppose 