n). Let m be t(-10). Suppose -291 = 6*g - m. Is g a multiple of 22?
False
Suppose 0 = -5*w - 4*z + 505, z = -w - 3*z + 101. Let l(v) = 14*v**2 + 603*v - 23. Let c be l(-43). Let p = w + c. Is 5 a factor of p?
True
Let y(t) = t**2 - 8*t - 6. Let a = -49 + 63. Is y(a) a multiple of 9?
False
Let d = -1232 - -747. Let r = d - -749. Does 22 divide r?
True
Suppose 44 = -0*u + 4*u. Suppose u*v - 408 - 120 = 0. Is v a multiple of 6?
True
Let v(i) = i**2 - 45*i - 464. Does 22 divide v(-20)?
True
Let y = -137 - -140. Does 32 divide y/(102/4) - 60502/(-442)?
False
Let u(q) = 6*q**2 + 12*q + 27. Let n be 10 - (-25)/(-5) - (1 + 7). Is u(n) a multiple of 45?
True
Suppose -z - 3 = 0, 3*u - z = 1 + 8. Let i(b) = 36*b**3 + 4*b - 6. Is 29 a factor of i(u)?
True
Let m(w) = 215*w + 658. Is 3 a factor of m(0)?
False
Let m(r) = -17*r - 6. Let y(k) = -10 + 5*k - 3*k - 22 + 5. Let q be y(12). Is 15 a factor of m(q)?
True
Suppose 570*o + 11044 = 5*v + 573*o, -2*o + 4416 = 2*v. Is 26 a factor of v?
True
Suppose 0 = -8*b + 2*b + 30. Suppose b*i = -4*w + 3*w + 27, -5*i + 18 = 4*w. Suppose k + 84 = r, i*k - k + 258 = 3*r. Does 27 divide r?
True
Suppose 4*k - 7 - 13 = 0. Suppose -4*o - t = -48, -t + k = 1. Let f = 13 + o. Is f a multiple of 6?
True
Let h(p) = 3*p**2 + 26*p + 184. Does 16 divide h(-10)?
True
Let w(h) be the first derivative of -h**4/4 + 17*h**3/3 - 2*h**2 - 21*h - 41. Does 9 divide w(15)?
True
Suppose 42 = -5*c + 22, -4*l = 8*c - 58716. Is l a multiple of 23?
False
Let f = -89 + 96. Is 27 a factor of (-12)/(381/(-54) + f)?
True
Let d = -235 - -245. Suppose 8*y + 51 = d*y - 3*m, -4*y = -3*m - 87. Does 9 divide y?
True
Let q(u) = -12*u**3 + 519*u**2 - 57*u + 7. Is 2 a factor of q(43)?
False
Suppose 678 = 3*u + 213. Suppose -u = -5*z + 2*s, -2*z + 52 + 10 = -4*s. Suppose -z*i + 338 = -18*i. Is i a multiple of 5?
False
Let o(m) = -3 - 4 - 9 + 2*m**2. Suppose -25 = -23*c + 27*c - 5*j, 2*j = 4*c + 22. Is o(c) a multiple of 34?
True
Suppose 28*b = -0*b + 84. Is 17 a factor of b + (-5489)/(-6) + (-6)/(-36)?
True
Does 103 divide 28/8 - 1402908/(-104)?
True
Let l(m) = -9*m + 70. Let f be l(6). Is (-264)/f*(-66)/9 a multiple of 4?
False
Suppose -2*a = 2*b - 4646, -9283 = -4*b + 2*a + 3*a. Is 9 a factor of b?
True
Let r(w) = 687*w**3 + 25*w**2 - 16*w + 28. Does 8 divide r(2)?
True
Let y(i) = 5452*i**2 - 17*i + 18. Does 41 divide y(1)?
True
Let p be 4 + (214/(-5))/(6/(-15)). Let c = -102 + p. Is c a multiple of 6?
False
Let a be 9/(-6)*2 + 0. Let b(l) = -4 - 26*l**2 - 29*l**2 + l + 70*l**2. Does 16 divide b(a)?
True
Suppose -6108 = -2*j - 5*v, -j - 211*v + 3063 = -210*v. Does 11 divide j?
True
Does 113 divide 2/4 - (46124/(-8) + 3)?
True
Suppose z + 21 - 23 = 0. Suppose -2*f = -4*f + 38. Let t = z + f. Does 21 divide t?
True
Suppose 6*p + 418048 = 17*p + 21*p. Is 71 a factor of p?
True
Let b(y) = -y**2 - 9*y + 15. Let p(v) = 2*v + 24. Let q be p(-11). Let o be q/(-3) - (-38)/(-6). Does 7 divide b(o)?
False
Suppose -5*d = -5*u - 23430, -2*d + 10886 = -u + 1520. Does 18 divide d?
True
Let q = 113 - -178. Suppose -3*v + 497 = 5*u, -4*v - u - q = -931. Is 13 a factor of v?
False
Let d be 15/3 + (1 + 3 - 4). Let k(v) = 16*v + 14*v - 6 - 4 - 4. Is 17 a factor of k(d)?
True
Let i(f) = -579*f - 386. Is 13 a factor of i(-4)?
False
Suppose 25*h - 56368 = 12*h. Suppose 3*j = -4*u + h, 2*j = -4*j + 24. Is u a multiple of 55?
False
Suppose -163*m = 2*a - 168*m - 29440, 5*m = -4*a + 58910. Is 95 a factor of a?
True
Let w = 20338 + 4297. Is 17 a factor of 1/(-6) + w/30?
False
Let r(q) = 11 - 1 - 60*q - 104. Is r(-16) a multiple of 75?
False
Does 4 divide (15 + -20)*1*5072/(-20)?
True
Suppose -2*w + 0*r - 5*r - 45 = 0, 10 = -3*w + 4*r. Let p be -91 - (w/4 + 2/(-4)). Let o = 113 + p. Does 6 divide o?
False
Let a be -10 - (0 - (1 - 0)). Suppose -39*s = -38*s - 2*t - 5, -12 = 3*s + 3*t. Is s/(-9) - 1817/a a multiple of 37?
False
Let b = 65 + -60. Suppose -b + 20 = 5*t. Suppose 0 = 2*q - l - 76, t*l = -2*q - 0*l + 76. Is q a multiple of 19?
True
Let g be (-5)/6 - 13594/(-84). Is 14 a factor of g - 2*35/10?
True
Suppose -47*m = -122*m + 158400. Does 64 divide m?
True
Let t = -13336 + 18958. Does 33 divide t?
False
Suppose 2*u + 5*b + 13 = -3, -4*u = 4*b + 32. Is 4 a factor of (-18*10/u)/((-5)/(-10))?
False
Suppose 4*w = -5*g + 20936 - 170, 4*g - w = 16638. Is 6 a factor of g?
True
Let v = 1557 + 2113. Does 7 divide v?
False
Let n(c) = 7*c - 9. Let z = 35 + -33. Let g be n(z). Suppose -5*m - 6*p + 4*p = -524, -3*m + g*p = -333. Does 11 divide m?
False
Let q(u) = -2*u**3 + u**2 + 4*u - 3. Let n be q(2). Let k(b) be the third derivative of -b**5/60 - 3*b**4/8 + 3*b**3/2 - 44*b**2 - b. Does 6 divide k(n)?
False
Suppose -7 = -4*s + 5*t, -2*s + 11 = 25*t - 20*t. Suppose -3*o = -5*d + 1723, -5*o + 3*o = s*d - 1030. Is d a multiple of 8?
True
Let y(a) = -2*a - 3. Let g(t) = t + 3. Let s(z) = -2*g(z) - 3*y(z). Let o be s(10). Let j = 52 - o. Does 2 divide j?
False
Suppose 177*w = 1436946 + 2919555. Is w a multiple of 13?
False
Let h(l) = 6*l**2 - 283*l - 12052. Is 107 a factor of h(-36)?
False
Suppose -23 = -2*w - 21, -5*x + 7635 = 5*w. Is 7 a factor of x?
True
Suppose -47*f + 207739 - 22654 = -163138. Is 32 a factor of f?
False
Let w(a) = a**3 - 5*a**2 + 3. Let g be w(1). Let i = 4 + g. Suppose 0 = 2*k + i*j - 359, -3*k + k + 371 = -j. Is 26 a factor of k?
False
Let y = 61 + -56. Suppose 0 = 5*q - 3*o - 16, -9 - 1 = y*o. Is 2 a factor of q - 6 - (-17 + 1)?
True
Suppose l - 3*y + 17 = 90, 5*y - 219 = -3*l. Suppose 76*d = l*d + 84. Does 5 divide d?
False
Let c(u) = 48 + 28 + 4*u + 33 - 11. Does 3 divide c(-22)?
False
Let u(p) = -4854*p - 14. Let b be u(-1). Suppose 55*v = 44*v + b. Is 10 a factor of v?
True
Let v be (-3)/4 - (-1 - 33/12). Suppose 0*p = -3*p + v. Does 26 divide ((-52)/12)/(p/(-48))?
True
Let x(p) = 3*p + 16. Let w be x(14). Let q = w + -62. Is 30/15 - 106/(q/2) a multiple of 13?
False
Let m = 15840 - 12231. Is 162 a factor of m?
False
Let w be (0*(-5)/(-20))/(-3). Let s(i) = -i**2 - 153. Let j be s(w). Let k = j + 376. Does 38 divide k?
False
Let p(j) be the third derivative of 113*j**5/30 + j**4/3 - j**3/2 + 79*j**2. Is p(-1) a multiple of 5?
True
Let w = 13830 + -8045. Is w a multiple of 46?
False
Suppose -6*o + 74 = 2. Suppose -l - 660 = -o*l. Does 9 divide l?
False
Let a(s) be the second derivative of s**3/3 + 4*s**2 + 2*s. Let c be a(-8). Is (-942)/c - (-18)/(-24) a multiple of 23?
False
Let g(s) = -18*s + 66. Let n(p) = -1. Let f(h) = -g(h) + 6*n(h). Suppose 160*r = -4*m + 165*r + 7, 10 = 2*r. Is f(m) a multiple of 12?
True
Let j(v) = 5 + 6 - 49*v + 6. Does 11 divide j(-1)?
True
Let h = -9 + 5. Let s be (4 - 0)*8*2/(-64). Is (-88)/s - h*(-5)/10 a multiple of 29?
False
Let l(c) = -c**2 + 10*c + 23. Suppose -47 = -4*o + u, 4*o - 5*u - 12 = 31. Let g be l(o). Does 32 divide g/8 + 5691/24?
False
Let o = -2 - -7. Let a be (1 - -1)*9/30*o. Suppose 0 = -a*z + 2*m + 94, -2*z + 2*m + 78 = 18. Does 18 divide z?
False
Let q = 58 - 24. Suppose -8 = 4*x, -2*f - 2*f + 5*x + 182 = 0. Let m = f - q. Is m a multiple of 9?
True
Let u be ((-8)/(-2) - (6 - 1))*-42. Let a = 107 - u. Suppose -a = g - 255. Does 38 divide g?
True
Let a(t) = -15*t**3 + 22*t**2 - 14*t + 8. Let f(v) = 7*v**3 - 11*v**2 + 7*v - 4. Let k(d) = 6*a(d) + 13*f(d). Let q = 15 - 4. Is 16 a factor of k(q)?
False
Let f = -61 + 63. Let t(b) = 21*b**f - 5*b**2 + 40*b**2 + 6*b - 13*b**2. Is 10 a factor of t(-2)?
True
Let l = -4 + 4. Let h = 194 - 194. Suppose 3*z - 6*z + 5*u + 276 = l, 3*z + 3*u - 300 = h. Is z a multiple of 11?
False
Suppose -9*a + 612 = -6*a. Let v be a*((-5)/(-1))/10. Suppose 16*w - 13*w = v. Does 13 divide w?
False
Suppose -117 = -10*j - 27. Suppose 10*l - 4 = j*l, -1564 = -4*s + 2*l. Is s a multiple of 36?
False
Let f(o) = 81 + 76 - 3*o + 81 + o. Is f(37) a multiple of 4?
True
Let g = 2971 - -12899. Does 29 divide g?
False
Suppose 2*i = 5*q + 25, -10 = 4*i - 0*q + 2*q. Is 13 a factor of (-3532)/(-24) + i - (-2)/(-12)?
False
Let h = -14824 + 24805. Is 12 a factor of h?
False
Let h = 50 - 56. Let a = -3 - h. Suppose 0 = -a*f + 204 + 27. Is f a multiple of 11?
True
Let h(a) = -48*a**3 + 15*a**2 + 9*a - 30. Is h(-5) a multiple of 9?
True
Suppose -j - 2*j - 3*q + 369 = 0, -5*j = -4*q - 597. Let f = j + -181. Is 19