6. Suppose 0 = 2*f + 3*l - 4*l - 37, x = f + 3*l. Is f a multiple of 7?
False
Suppose 25119 = 3*m + 3*z, -1 + 0 = -z. Is 46 a factor of m?
True
Let s = -819 - 121. Let i = -421 - s. Is 27 a factor of i?
False
Let h(m) = -m + 23. Let j be h(24). Let k(z) = -183*z + 38. Does 17 divide k(j)?
True
Let h be 8/5 - (-4)/10. Suppose 2*y + 2*o - 2036 = -h*o, -2*o - 6 = 0. Suppose 4*v + 2*q = 806, 5*v + q = 4*q + y. Is 29 a factor of v?
True
Let n(t) be the first derivative of -t**4/4 + 3*t**3 - 13*t**2/2 - 3*t + 8. Let z be n(7). Suppose -80 = -5*v - u - 31, z*v + 2*u = 44. Is v a multiple of 9?
True
Let n(p) be the second derivative of 38*p**4/3 - p**3/2 + p**2 - 14*p - 7. Does 22 divide n(-2)?
True
Let f(b) = 367*b + 37. Let w be f(4). Suppose -1481 + w = 4*q. Is q a multiple of 3?
True
Let k be (-1*1)/((-2)/34). Suppose -2*i + 3*x - 13 = -0*x, 0 = i + 2*x + 3. Let d = i + k. Is d a multiple of 12?
True
Suppose -7*f + 60 = -3*f. Let j(t) = -245*t**3 - 2*t**2 + 5*t - 3. Let h be j(1). Let g = f - h. Is g a multiple of 13?
True
Suppose 127 = 3*j - 2*l, -4*j - 4*l + 154 = l. Let s = j + 1. Suppose -9*q + 591 = s. Does 6 divide q?
False
Suppose -3*g = 3*v + 59 + 19, -g = -v + 16. Let q(r) = -5*r + 25. Let m be q(g). Does 26 divide (4/(-4) + 2)*m/1?
True
Let u be (4/(-10))/(1/5)*3. Let k(m) = 4*m + 34 + 12 - 8. Is k(u) a multiple of 11?
False
Let m = 38636 + -13335. Is 17 a factor of m?
False
Let w be ((-320)/7)/(8/(-28)). Suppose -157*s + w*s - 1578 = 0. Does 16 divide s?
False
Suppose 12 = 4*k + 3*x, -2*x + 5 = -3*k - 3. Suppose -6*n + 4591 = 5*c - 9*n, k = -5*c - 4*n + 4612. Is c a multiple of 20?
True
Let r = 3204 + -1167. Does 21 divide r?
True
Suppose 19*r - 217902 = -119*r. Does 3 divide r?
False
Suppose 4*o - 5*l = o, -3*l = 0. Suppose -3*n - a + 20 = o, 0 = -a + 5. Suppose n*y - 12 - 33 = -2*c, -4*c - 5*y + 105 = 0. Does 15 divide c?
True
Let f(x) = 2*x + 28. Let h be (-8)/(-12) - 1/((-6)/(-40)). Let n be f(h). Let t = 27 - n. Does 5 divide t?
False
Suppose -4*c + 30 = -3*g - 67, -4*c = -4*g - 136. Let y = g + -47. Let q = -51 - y. Does 5 divide q?
True
Let h be (-20)/8*(-24)/20. Does 29 divide ((-117)/(-4))/((-126)/48 + h)?
False
Let k(s) = -s**3 - 32*s**2 + 31*s - 18. Let g be k(-33). Is -5 + g/10 + (-262)/(-10) a multiple of 13?
True
Let i = 29458 + -346. Does 286 divide i?
False
Let f be (-7806)/(-30) + 6/(-30). Does 2 divide -6 + (f/2 - -3)?
False
Let r(s) = 18*s**2 + 53*s + 488. Is 13 a factor of r(-9)?
True
Let q = 69 - 66. Suppose -4 = -q*w + 62. Let m(j) = j**3 - 20*j**2 - 42*j - 6. Does 17 divide m(w)?
False
Let f be (-7 + 22)*36/(-15)*-1. Suppose -i + p - 166 = -6*i, i - f = -3*p. Does 14 divide i?
False
Does 204 divide 5*(-125430)/(-25) - 15?
False
Suppose -27376 = -11*c + 4767 - 1189. Is c a multiple of 42?
True
Let d(h) = -14*h**3 - h**2 + 1. Let u be d(1). Let n = u + 14. Suppose -3*r - 1 = -2*b - 0*b, n = -r - b + 8. Is r a multiple of 3?
True
Suppose -4*a = -90 - 46. Suppose 4*d - 2*y = -a + 440, -510 = -5*d + 5*y. Let i = d - -71. Does 43 divide i?
True
Let s(u) = -u**3 + 7*u**2 + 21*u - 47. Let j be s(9). Is (-22830)/(-25) - ((-24)/j - 1) a multiple of 9?
False
Suppose d = 3*b - 25351, -703 + 9155 = b - 2*d. Is b a multiple of 26?
True
Let v(j) = -4*j**2 - 12*j - 3. Let u be v(-3). Let s = 181 + -87. Let b = u + s. Is b a multiple of 17?
False
Suppose 0 = -2*w, 3*p - w = -0*p + 162. Let k = 40 + p. Let x = k + -90. Is 3 a factor of x?
False
Suppose 107 = c - 114. Suppose 5*d = -2*j + 142, -j + 0*j = -3*d - 60. Suppose 7*g - c = j. Is 11 a factor of g?
False
Let l be (-31 + 3)*1134/(-56). Suppose -14*v + 1827 = l. Does 18 divide v?
True
Let x(g) = -g**2 - 27*g - 2. Let h be x(-16). Let z = h + -126. Is z a multiple of 8?
True
Suppose 60*t + 10*t = -15*t + 3847100. Is 20 a factor of t?
True
Let w = 5312 - 1902. Is 62 a factor of w?
True
Let n be (0 + (-1)/(-2))/(7/13006). Let r = n - -121. Suppose -5*b - 5*b + r = 0. Is 18 a factor of b?
False
Suppose -35 = -8*s + 5. Suppose 2*g - 105 = -s*g. Suppose -10*j = -g*j + 760. Is j a multiple of 31?
False
Let p(k) = 140*k + 2012. Does 3 divide p(-10)?
True
Let z be (1/(-1) + -60)/(-1). Suppose 392*o - 1540 = 337*o. Let u = z - o. Is 4 a factor of u?
False
Let s be (-2)/1 - 24/6. Let r be (-1)/((-8)/(-2292)*s/4). Let k = r + -99. Is k a multiple of 17?
False
Suppose 11*q - 2261 = -8*q. Suppose -151 = -18*t + q. Is 2 a factor of t?
False
Let j = -45 - -49. Suppose 0 = -j*u - 8, 3*u - 30 = g - 99. Let p = g + -38. Does 12 divide p?
False
Let i(l) = -80*l. Let u be i(1). Suppose 7*j - 38 = -297. Let k = j - u. Does 7 divide k?
False
Let u(r) = r**2 + 2*r + 17. Let n be u(0). Let h(g) = 5*g + g + 8 - 46. Is h(n) a multiple of 16?
True
Let c(l) = -2*l - 3. Let s be c(-3). Let v(k) = 0*k**3 + 68*k + k**s - 56*k - 2*k**2 + 17 + 17*k**2. Does 14 divide v(-14)?
False
Let y = -37 - -27. Let x(p) = -2*p - 11 - p - 8 + 13. Is x(y) a multiple of 4?
True
Let s(u) = u**2 + 64*u + 3032. Is 58 a factor of s(-162)?
True
Suppose 2*i + 2*m = 34, -5 + 55 = 3*i + 4*m. Suppose -4*f - 2*o = 3*o + 325, -3*o = 5*f + 403. Is i/(-4)*f/30 a multiple of 6?
True
Suppose 11*r - 5284 = 5474. Suppose 0 = -0*g - 6*g + r. Does 63 divide g?
False
Let l(t) = 4*t**2 - 7*t - 4. Let k be l(7). Does 2 divide (5 - 11)*(1 - k/3)?
True
Let i = -97 + 148. Suppose -v - 3*b = -2*v + 18, -5*v + i = -2*b. Suppose -100 = -v*g + 5*g. Is g a multiple of 14?
False
Let f(w) = 3*w**3 - 18*w**2 + 23*w - 100. Is 7 a factor of f(7)?
False
Let u = -24 + 21. Let v be u/(-1) - (-881)/1. Does 11 divide v/(-39)*(-6)/4?
False
Let n(g) be the second derivative of 73*g**4/12 + 5*g**3/6 - g**2 - 29*g - 1. Does 60 divide n(2)?
True
Let o = -171 + 97. Let u = -72 - o. Suppose u*l - 21 = 7. Does 14 divide l?
True
Suppose -22*a - 17 = -127. Suppose -561 = -22*d + a*d. Does 11 divide d?
True
Let h(x) = 11*x**2 + 44*x - 22. Let t(j) = j**3 + 9*j**2 + 8*j - 11. Let o be t(-8). Is 15 a factor of h(o)?
True
Suppose -3*c - 9 = -3*a + 15, 2*a = 5*c + 46. Let i be (-346)/(c/(-8) + (-3)/12). Let j = i - -533. Is j a multiple of 17?
True
Let p(l) = 19*l**3 - 13*l**3 - 7*l**2 - 4*l**3 + 47*l + 6. Is p(9) a multiple of 36?
False
Suppose 0 = 3*n + b - 105, 6*n + 2*b = 10*n - 140. Suppose 10*u - n = 6475. Does 63 divide u?
False
Suppose -34*b + 28*b - 12 = 0. Let w(t) = -6 + 10 + 1 - 5*t. Does 15 divide w(b)?
True
Suppose -2*v + 761 = w, -2*v + 3056 = 3*w + w. Suppose 6*l - w = 1683. Is 47 a factor of l?
False
Let h(f) = 2*f**2 + 41*f - 14. Let d be h(-21). Suppose b = -4*z + 319, 3*b - 66 = 6*z - d*z. Is 11 a factor of z?
False
Let v = 6055 + 4211. Is v a multiple of 13?
False
Let y(t) = -t - 4. Let d be y(-8). Is 15 a factor of (-14280)/(-10) - d/(-1)?
False
Let a(b) = 5*b**3 - 15*b**2 - 29*b + 18. Let d(y) = -9*y**3 + 30*y**2 + 58*y - 37. Let w(f) = -7*a(f) - 4*d(f). Is w(17) a multiple of 8?
False
Let b be (6/(-4))/(60/(-400)). Let a = -4 - b. Is (32/a - -2) + 2412/63 a multiple of 10?
False
Let w(t) = 29*t - 23. Let c be w(7). Let g = c - 160. Is g a multiple of 17?
False
Suppose -8*w = -3 - 5. Let v be (3 - 3 - -1) + w. Suppose 0 = -v*k - 6, 3*k + 256 = 2*p + k. Does 13 divide p?
False
Let b(o) = 1963*o**3 + 3*o**2 + 7*o - 9. Let x be b(1). Suppose -3166 = -19*n + x. Does 4 divide n?
False
Let j(p) = -229*p - 1276. Does 13 divide j(-36)?
True
Does 17 divide (-32908)/(-8) + 6/4 + -1?
True
Suppose -5*u - 4 = -4*d - 6*u, 20 = 5*u. Suppose -7*f - 4*f + 1122 = d. Is 6 a factor of f?
True
Let v(z) = -z**3 + 19*z**2 + 5*z - 6. Let x be v(20). Let m = x + 388. Does 5 divide m?
False
Let k be 1*-1 + -12 + 15. Let t(z) = -3*z**k - 2 + 8*z**3 - 5*z + 3*z + 5*z. Does 8 divide t(2)?
True
Suppose 0 = -14*t + 18*t + 12. Let k be 36*-1*t/9*20. Let a = k - 137. Is a a multiple of 21?
False
Let g(f) = f**2 + 12*f + 14. Let p be g(-11). Let d(v) be the third derivative of 55*v**4/24 + v**3/2 - 9*v**2. Does 42 divide d(p)?
True
Let h(a) = -84*a**2 - 83*a**2 + a**3 + 44 + 160*a**2 + a - 5*a. Is h(11) a multiple of 55?
False
Let o be (-2)/6*-21 - 4. Suppose 3*r + 0*c - 1035 = -3*c, 1025 = o*r - 2*c. Suppose 0 = -4*g + 149 + r. Is g a multiple of 30?
False
Let n(m) be the first derivative of m**4/4 - 13*m**3 - 75*m**2/2 + 9*m - 80. Is n(41) a multiple of 11?
False
Let y = 28651 - 179