3). Suppose 6*k = 2*k + 16, -2*k + z = -w. Is (-7)/28 - w/4 a multiple of 7?
False
Suppose 7 = -5*r - 8, -5*r - 1005 = -3*g. Does 23 divide g?
False
Let l = 253 - 138. Is l a multiple of 5?
True
Let c(n) = 103*n**2 - 37*n - 93. Is c(-3) a multiple of 35?
True
Let c be 12/(((-18)/48)/((-171)/12)). Suppose 0 = 3*j - j - 2*q - c, -4*q = 3*j - 677. Does 57 divide j?
False
Let c(q) = 7*q + 176. Is 6 a factor of c(41)?
False
Let d = -17 + 22. Suppose 4*r - 2*h - 122 = 0, -43 = -2*r - d*h - 12. Let w = 36 - r. Is w a multiple of 2?
True
Suppose 0 = -60*l + 62*l - m - 7169, 2*m = -2*l + 7166. Is 11 a factor of l?
False
Let s = 79 - 19. Let x = 166 - s. Suppose f - 32 = n + 3*n, -3*f + 2*n + x = 0. Is f a multiple of 18?
True
Let q = 1624 - 993. Is q a multiple of 11?
False
Is 79 a factor of (-3212)/(-12) - (-17)/51?
False
Let f(r) = -21*r + 54 - 29*r + 51*r. Is f(-15) a multiple of 5?
False
Suppose 21 = 2*h - 5. Suppose -400 = 5*x - h*x. Is x a multiple of 25?
True
Let l be 3/(-12) + (-51)/(-12). Suppose l*d - 24 = -0*d. Does 15 divide 2/((-8)/(-10))*d?
True
Suppose -2*n + 5*x - 15 = 0, 5*x = -2*n - 3*n + 15. Suppose 4*y - u - 1142 = n, -52 + 330 = y - 4*u. Does 26 divide y?
True
Let l(u) = -u**3 - 16*u**2 - 18*u + 6. Does 8 divide l(-15)?
False
Let g(h) = 4*h - 58. Let c be g(26). Suppose -45*m - 48 = -c*m. Is m a multiple of 21?
False
Let d be (4 - 5)/(1/31). Let x = d - -67. Suppose -5*o + o + x = 0. Is o a multiple of 9?
True
Let y = -1180 + 1769. Is 38 a factor of y?
False
Let g(l) = 388*l**3 + 2*l**2 - l + 1. Does 10 divide g(1)?
True
Let m(r) = 14*r**3 - r**2 + r. Let a be m(1). Does 26 divide 270/(-2 + 1)*(-7)/a?
False
Suppose -2*n - 1868 = -4*d, -3*d = 3*n - 791 - 619. Does 13 divide d?
True
Suppose 4*c + 5 = 3*x + 3*c, -4*c = -3*x + 2. Suppose x*w - 5*m = -53, 0 = w + 2*m + 13. Let i = w - -54. Does 11 divide i?
False
Let j be (-2)/(2/4*(-4 - -3)). Suppose h - j*h = -75. Does 5 divide h?
True
Let k(s) = 6*s**3 - s**2 - 2*s + 4. Is 52 a factor of k(4)?
True
Let r(p) = 2*p**2 - 72*p - 34. Is 26 a factor of r(-31)?
False
Is 63 a factor of (90 - 9)*(-7)/(-3)?
True
Let k(m) = 20*m - 18. Let z be k(-3). Let v = z - -151. Does 52 divide v?
False
Let b(a) = a**3 - a**2 + 2*a + 44. Let h be (-4)/6*3 - -2. Does 4 divide b(h)?
True
Let j(k) be the second derivative of 7*k**3/6 + 3*k**2 - k. Suppose 4*r - 12 = -i - 3*i, 9 = 3*i - 5*r. Is j(i) a multiple of 14?
False
Let k(w) = 4*w + 1. Let f be k(1). Suppose t + f = s - 15, 4*s - 76 = 5*t. Let z = 43 - s. Is 19 a factor of z?
True
Let d(v) = -2*v - 15. Let n be d(-10). Suppose p = n*l - 71 + 26, -5*l = -4*p - 30. Does 3 divide l?
False
Let q be (0/(3 - -2))/(-1). Suppose -3*w + 4*m + 0*m + 97 = q, -2*m + 60 = 2*w. Is 28 a factor of w?
False
Suppose -18*v = -4*u - 13*v + 1769, -2*u = -2*v - 884. Is u a multiple of 7?
True
Let r be 6/21 - 130/(-35). Suppose 2*s - 2*x = 10, 38 = r*s + x + x. Is 22 a factor of s/(93/(-33) - -3)?
True
Suppose 3*j = 5*a + 3581 + 8905, -j = 4*a - 4162. Is j a multiple of 12?
False
Let o = 1307 - 1266. Does 41 divide o?
True
Let j be 480/((-15)/(-6) + -1). Let n = j + -96. Suppose n = 6*l - 2*l. Does 14 divide l?
True
Let m(l) = 4 - 5 - 3*l - 11. Let a be m(-5). Suppose -a*g + 10*g = 567. Is 21 a factor of g?
False
Suppose -5*k - 16 = u, 15 = -5*k - 5. Suppose -3*n + 89 = 5*d, -u*n - 36 = -3*d - 0*n. Let t = -2 + d. Is t a multiple of 7?
True
Let y(j) = 15*j**2 + 3*j - 3. Is y(2) a multiple of 9?
True
Let l(t) = -t**3 - 2*t**2 - 5*t + 2366. Is 16 a factor of l(0)?
False
Let l = 3 - -2. Does 6 divide (-39)/(-5) - (-1)/l?
False
Let v(t) be the third derivative of 0 + 9*t**2 + 0*t - 3/2*t**3 - 1/12*t**5 + 1/120*t**6 + 7/24*t**4. Is 5 a factor of v(5)?
False
Let p be (-2 - 13 - -3)*-6. Let c = p - 39. Is 17 a factor of 2*c*(1 - 0)?
False
Suppose -13*h + 2430 = -8*h. Suppose 3*m + 3*m = h. Is m a multiple of 27?
True
Suppose -27*g + 2638 = -38078. Is 18 a factor of g?
False
Does 10 divide ((-3102)/44)/((-6)/40)?
True
Suppose -l + 2*l = 0. Suppose 3*z + 0*z + 12 = l. Let f(r) = -r**3 - r**2 - 2*r + 1. Is f(z) a multiple of 19?
True
Suppose 1064*v - 1070*v + 4872 = 0. Is v a multiple of 22?
False
Suppose -4*j = 3*o - 0*j - 7236, -2*o + 3*j + 4807 = 0. Does 53 divide o?
False
Let r be (-2)/4 + (278/(-4) - -1). Let x = r + 143. Is x a multiple of 33?
False
Let y = 39 - 39. Suppose y = 6*l - 354 + 66. Is 8 a factor of l?
True
Suppose 5*h = -w + 116, -w + h = -2*w + 112. Let c = w + -60. Is 3 a factor of c?
True
Let w(b) = 3*b**3 - b**2 - 2*b - 1. Suppose -j + 2*j = -5*x + 6, 3*j = -4*x - 4. Is 3 a factor of w(x)?
True
Let k = -431 + 667. Let g = 483 + -137. Let j = g - k. Is 22 a factor of j?
True
Suppose -4 - 26 = -3*k. Let t be 4/k - (-441)/35. Let p(a) = 2*a + 8. Is 21 a factor of p(t)?
False
Suppose 14 = m + 2*b, -4*b - 18 = -5*m - b. Suppose -2*q + 192 = -3*n, -3*q + m*n - 2*n + 288 = 0. Does 32 divide q?
True
Let d be 1 + (-2 - 2) + 154. Is 15 a factor of d/2 + (-4)/8?
True
Suppose 49*i + 4221 = 56*i. Does 6 divide i?
False
Let d = 24 - -7. Suppose d = 9*v - 32. Is v a multiple of 6?
False
Let d = 43 - 31. Let l(r) = 7*r - 36. Does 16 divide l(d)?
True
Let w(i) = -i**2 + 4*i + 16. Let r be w(6). Suppose 4*p = -r*m + 224, 0 = 5*p - 2*m - 134 - 174. Does 12 divide p?
True
Let s = 157 - 149. Let m(f) be the third derivative of -f**6/120 + f**5/6 - 3*f**4/8 - 2*f**3/3 - f**2. Is m(s) a multiple of 13?
True
Let s(f) = -6*f + 6. Suppose 4*c - 6 = 6. Let q be s(c). Let r(x) = -x**3 - 12*x**2 - 2*x - 3. Does 12 divide r(q)?
False
Let m(y) = -103*y + 6. Is m(-3) a multiple of 45?
True
Let x be (-2)/8 - (155/20 - 6). Is (-147)/x - (-2)/(-4) a multiple of 27?
False
Let m(f) = f**2 - 4*f - 1. Suppose -4*b - 1 = -9. Let o be m(b). Does 8 divide 3/(o/75*-3)?
False
Let k = 71 - 27. Let f(y) = -10*y. Let u be f(-1). Suppose -3*i = -k - u. Is 5 a factor of i?
False
Let h = 6 + -2. Let n = h + 2. Is 13 a factor of n*1/(-2) + 17?
False
Suppose 8*t - 11880 = -12*t. Is t a multiple of 18?
True
Let a be (1/(-3))/(17/561). Let w(l) = -4*l - 33. Is w(a) a multiple of 7?
False
Let i be (0 + 3)/(-1) - (-7 - -12). Let z(b) = 6*b - 2. Let g be z(2). Let c = g - i. Is c a multiple of 9?
True
Let s = -198 + 285. Does 4 divide s?
False
Suppose 2*i + 2*l - 1192 = 0, -35*l = -5*i - 37*l + 2977. Is i a multiple of 6?
False
Let s(i) = i**3 + 2*i**2 - i + 3. Let u be s(-3). Let l be (u/4)/((-4)/32). Does 16 divide (l + -1)*(1 + 6)?
False
Suppose -1340 = 19*n - 8028. Does 37 divide n?
False
Suppose 4*n + b - 154 = 0, 0*n + 2*b = 4*n - 160. Let x = n + 57. Does 12 divide x?
True
Let r(v) = 779*v**3 + 3*v**2 - 3*v + 1. Is 30 a factor of r(1)?
True
Let f be ((-3)/2)/((-9)/(-24)). Let p be 3/6*(2 + f). Let b(c) = -41*c**3 + 2*c**2 + c. Is 14 a factor of b(p)?
True
Suppose 3*t - 3*j = -2*j + 10, 5*j + 20 = 0. Let s(l) = 26*l. Let g be s(t). Suppose -4*u + 28 + g = 4*z, z - 43 = -2*u. Is u a multiple of 5?
False
Let l(a) = 9*a**2 - 7*a + 98. Does 10 divide l(-9)?
True
Let x = 398 + -87. Let r = x - 115. Suppose 0 = -3*d + 7*d - r. Is d a multiple of 32?
False
Let v(m) be the second derivative of -1/20*m**5 + 7/12*m**4 - 1/2*m**2 + 1/6*m**3 - 2*m + 0. Is v(7) a multiple of 4?
False
Suppose 252 - 22 = 10*m. Does 2 divide m?
False
Suppose -d + 18 = 3*w + 4, -d = -5. Suppose -4*g - u = u - 340, -w*g + 3*u + 246 = 0. Is g a multiple of 14?
True
Suppose 0 = 12*y - 5*y - 14. Suppose n + 5*p - 4 = -0, 0 = 3*n + 4*p - 12. Suppose 5*w = q - 19, q - 8 = y*q + n*w. Is q a multiple of 2?
True
Let m = 27 - 18. Let j be 30*6/45*m. Suppose -2*z - j = -3*z. Does 18 divide z?
True
Let o = 1 - -2. Suppose -3*c + 5*b = o*b - 187, -5*b - 202 = -3*c. Is 10 a factor of c?
False
Let q(x) be the second derivative of 1/20*x**5 - 2*x**2 + 5/12*x**4 - 4*x + 0 + 0*x**3. Is 10 a factor of q(-4)?
False
Let u = -56 + 284. Is u a multiple of 6?
True
Suppose 25*q - 76*q + 62118 = 0. Does 14 divide q?
True
Let t(a) = 307*a + 140. Does 12 divide t(8)?
False
Suppose -3*r + 18 = 2*v - 35, 5*v = r + 5. Let f(b) = -b**2 + 17*b - 51. Let y be f(5). Let u = y + r. Does 24 divide u?
True
Let o(j) = 7*j + 1. Let i = 8 + -10. Let z be ((-4)/6)/(i/15). Is 18 a factor of o(z)?
True
Let i = 2 + -1. Let x(z) be the third derivative of 9*z**5/20 + z**4/24 - 5*z**2 - 1