 q(r) = -106*r - 210. Let n(u) = -21*u - 42. Let c(l) = 22*n(l) - 4*q(l). Is c(-9) a multiple of 20?
False
Suppose -330 = -911*d + 926*d. Let f(c) be the third derivative of c**5/60 + 19*c**4/24 - 25*c**3/3 + c**2. Is 6 a factor of f(d)?
False
Let r(c) = -c**3 + 9*c**2 + 6*c + 5. Let y be r(7). Let t = -65 + y. Suppose 6*k - t = k. Is 4 a factor of k?
True
Let t(p) = -24*p - 31. Let i be 8 - (-31)/(-4) - (-274)/(-8). Is 14 a factor of t(i)?
False
Let u(m) = -39*m**2 - 11*m - 15. Let f(n) = 19*n**2 + 6*n + 8. Let s(v) = -7*f(v) - 4*u(v). Let x be s(-3). Suppose 4*q = x - 37. Is 6 a factor of q?
True
Let o(a) = a**3 - 60*a**2 + 120*a - 95. Is 56 a factor of o(59)?
False
Let n(l) = 197*l**2 - 63*l + 28. Is n(7) a multiple of 132?
True
Let d = -499 - -1560. Suppose 0 = -1058*w + d*w - 48. Is 2 a factor of w?
True
Suppose -1635 = -j - 5*p, 4*j + p - 8578 = -1962. Is 24 a factor of (j*4/60)/(2/6)?
False
Let k be ((-75)/(-30))/((-3)/(-12)). Is ((-2134)/(-110))/(2/k) a multiple of 26?
False
Suppose 180 = -17*r + 14*r. Is r*(192/(-20) + -6) a multiple of 18?
True
Let g = -327 - -727. Suppose 3*q - 2*q = -2*b + 420, -2*b + 4*q = -g. Does 24 divide b?
False
Does 37 divide 4/9*3*1130358/184?
False
Let p = 48 - 43. Suppose 3*d + 14 = p*d + 4*f, -5*f = -10. Suppose 260 = d*n + y, -10 = -4*n + y + 346. Is 22 a factor of n?
True
Suppose 24*h - 532 = 17*h. Let m = 139 - h. Let f = m - -45. Is 12 a factor of f?
True
Let o(b) = -2*b**2 + 77*b - 86. Let g(k) = -k**3 + 9*k**2 - 4*k + 5. Let u be g(8). Is 2 a factor of o(u)?
False
Let x be (4/3)/(-2)*234/(-26). Suppose 104 + 346 = x*p. Is p a multiple of 5?
True
Let a be 1246/2 + (-5)/(-1). Let o = a + 65. Is 33 a factor of o?
True
Suppose -2*b - 2*b = b. Suppose b = -a - 5, 2*z = -3*a - 2*a - 15. Suppose -3*w = -3*v + 7*v - 482, z*v = -5*w + 600. Does 11 divide v?
False
Suppose -2*y + 35620 + 11671 = -5*z, 0 = -3*y - 5*z + 71049. Is y a multiple of 7?
False
Suppose 0 = -11*i - 0 + 22. Suppose 4*d - 1 - 7 = 0. Suppose 2*z + 86 = d*o + 5*z, -o = -i*z - 43. Is o a multiple of 5?
False
Let g be (-5)/(-1) + -3 + -4 + 6. Suppose 13156 = g*w + 19*w. Does 22 divide w?
True
Let d(j) = 142 + 38 + 8*j**2 - 9*j**2 - 25*j. Does 41 divide d(-22)?
True
Suppose 2*y - 1 = 13. Suppose 1304 = -y*h - 383. Let u = h - -347. Does 27 divide u?
False
Let i be ((-18)/12)/((-6)/64). Let v = 193 - 201. Let u = i - v. Is u a multiple of 3?
True
Is ((-107)/(-2)*(665 - 1) - -1) + -5 a multiple of 37?
True
Let y be (-6)/5 + (-1222)/(-235). Does 13 divide -234*(y - 180/27)?
True
Let d = 752 - -704. Is d a multiple of 10?
False
Let a(l) = -84*l + 3318. Does 6 divide a(29)?
True
Is 7 a factor of ((-10 - 19)/116 - 2/24)*-26313?
True
Let q be (-20)/6*(-164 + -10). Suppose -3*n = 2*j - 332, 12*n - 7*n - 2*j - q = 0. Is n a multiple of 6?
True
Let l be 56 + 16/20*5. Suppose 5*y - 2*y = l. Suppose 0 = f - 4*p - 52, -4*p - y = p. Does 18 divide f?
True
Suppose 4*n = -453 - 3579. Let j = -164 - -161. Is 9 a factor of (j/4)/(6/n)?
True
Suppose 0*y = 4*y - 12. Suppose i - 39 = -y*a, -4*i - 3*a + 78 = -2*i. Is 9 a factor of i?
False
Let j(c) = 22*c**3 + c**2 + 5. Let y(x) = -42*x**3 - 2*x**2 + x - 9. Let w(o) = -5*j(o) - 3*y(o). Let g(v) = v - 5. Let l be g(6). Is 3 a factor of w(l)?
False
Suppose -5*d - 685 = 2*k, 3*k - 8*k = 0. Let v = -30 - d. Is v a multiple of 20?
False
Let s(v) = -2*v**2 - 25*v - 1. Let b be s(-12). Is 8 a factor of 2440/11 - (-2)/b?
False
Let i(d) = -9*d - 9. Suppose 0 = -4*w - 0*w - 12. Let o be i(w). Let q(h) = -h + 54. Is q(o) a multiple of 12?
True
Suppose 0 = 4*a - 3*a - 4, 0 = -5*f - a + 179. Is 31 a factor of 3806/8 - f/(-140)?
False
Let h be (-1)/(-6) - 2*(-44)/48. Suppose s = -4*j + 645, -2*s - 5*j + h*j + 1265 = 0. Is s a multiple of 53?
False
Suppose -622*h = -345*h - 8116100. Does 50 divide h?
True
Suppose -49*p + 11*p - 6992 = 0. Suppose 2*b + 389 = 1029. Let z = b + p. Is 17 a factor of z?
True
Let c be (-1 - 12/(-8))*122. Suppose 6*o = -13 + c. Suppose k = o*k - 805. Is k a multiple of 23?
True
Suppose 53*c - 1680 = 16. Is c a multiple of 2?
True
Let h(g) = g - 26. Let m be h(-10). Does 14 divide (4 - m/(-5))*-175?
True
Let a be 2/11 - 350878/(-121). Suppose -29*x = -a - 899. Is x a multiple of 21?
False
Let z be (1/(-2))/(((-45)/(-12))/(-15)). Suppose -z*c + 69 = -c + 3*h, 130 = 2*c + 4*h. Is 19 a factor of c?
True
Let d = 537 + -1017. Let u = 24 - d. Is 36 a factor of u?
True
Let b(x) = 45*x + 42. Let d be 9*((-3)/(-4))/(27/24). Let c(v) = 135*v + 126. Let g(f) = d*c(f) - 17*b(f). Is g(7) a multiple of 51?
True
Let r(v) = 6*v**2 + 46*v - 451. Is 11 a factor of r(22)?
True
Let v(w) be the second derivative of -47*w**5/20 - w**4/12 - w**3/6 + w**2/2 + w - 69. Is 12 a factor of v(-1)?
True
Suppose 46380 = 57*j - 26*j - 100002. Is 5 a factor of j?
False
Let o = -737 + 739. Suppose -o*q + 5*z = -3114, -2714 - 2003 = -3*q - 4*z. Does 72 divide q?
False
Let y be ((96/9)/8)/((-1)/(-57)). Suppose -14*w = -15*w + 5*h + 29, 0 = -5*w + 2*h + y. Is 14 a factor of w?
True
Suppose 6*n = 11*n - 330. Let j = -59 + n. Is 5 a factor of 1/j*103 - (-4)/14?
True
Suppose -9*w = 2989 - 46513. Is 26 a factor of w?
True
Suppose -1811*b + 1816*b + 3*q - 123318 = 0, -73998 = -3*b - 3*q. Is 19 a factor of b?
False
Suppose -3 = 3*w, 0 = -4*g - 3*w - 2*w + 915. Suppose -3*y + y + g = 4*t, -3*t + 170 = -y. Suppose t*f - 101 = 56*f. Is f a multiple of 5?
False
Let j be 1018/9 + -1 + 3/(-27). Suppose 115*b - 936 = j*b. Does 13 divide b?
True
Let c = -42211 - -59186. Is 175 a factor of c?
True
Suppose -39*f + 13 = 52. Does 51 divide f - (32712/(-57) - (-8)/(-76))?
False
Let z be (294/(-8))/(9/216*-2). Suppose -189 - z = -18*x. Is x a multiple of 5?
True
Let m be (-12)/(-2)*114/18. Let q = -33 + m. Suppose -621 = -4*a + q*v, 4*v - 165 = -a + 2*v. Does 35 divide a?
False
Let q be 3*2/(-15)*-15. Suppose 3*b - 3*w = 459, -q*w = b - 3*w - 145. Is 33 a factor of b?
False
Let l(i) = 12*i**2 + 29*i - 132. Let g = 121 - 114. Does 64 divide l(g)?
False
Let d(m) = 43*m - 26. Let v be d(6). Is v - ((-54)/(-21) + -2)*7 a multiple of 8?
False
Let m = 69 - 49. Let h(p) = 11 - 24 - p + 2*p. Is 7 a factor of h(m)?
True
Let x(t) = 2*t**2 - 75*t - 26. Let l(z) = -12*z**2 + 10*z - 12. Let o be l(1). Is 59 a factor of x(o)?
True
Is (0 + 18/(-4) + 0)*(-598 - -36) a multiple of 8?
False
Suppose -u - 240 = 5*x, 2*x = -u + 4*u + 788. Let p = u - -418. Is p a multiple of 10?
False
Is 8740/(15 + -12 - (1 - -1)) a multiple of 38?
True
Suppose 5*n = 6*y - 50431 + 14796, n - 29701 = -5*y. Is y a multiple of 5?
True
Let j(t) = 2*t**3 - 12*t**2 + 10*t - 2. Let b be j(14). Suppose -9*x + 7*x + b = 4*d, -2*d + 1643 = -5*x. Does 21 divide d?
True
Let w be 11/(11/6) + 170. Let z = 563 - w. Is z a multiple of 72?
False
Let q(i) = -i**3 + 6*i**2 + 11*i - 13. Suppose 7*y + 14 = 9*y. Is q(y) even?
False
Let t = 181 - -1421. Does 3 divide t?
True
Let b(z) be the second derivative of z**3/6 - 7*z**2/2 + 21*z. Let l be b(-5). Is 11 a factor of ((-858)/l)/((-1)/(-2))?
True
Suppose -6 = 3*i - 3*n, 6*i = i + n + 10. Suppose -13*k = -12*k. Suppose k = -i*w + 2 + 28. Is w a multiple of 4?
False
Let p(u) = 3*u**2 + u + 2. Let j be p(0). Is (-830)/(-15) + -1 + j/(-6) a multiple of 6?
True
Let s = -31 + 31. Suppose 6*c + 2*c - 1424 = s. Suppose -4*h + 787 = n, 2*h - 4*n = 3*h - c. Is h a multiple of 13?
False
Let s = 136 + -156. Let l = 193 + s. Is 6 a factor of l?
False
Suppose 19*d + 9 = 22*d. Is ((-90)/(-60))/(d/322) a multiple of 10?
False
Let v(x) = x**3 + 59*x**2 - 211*x - 416. Does 2 divide v(-62)?
True
Suppose 29*v - 35*v = -30. Let j be 7 + (1 - 2/(-2)). Let w = j + v. Is w a multiple of 14?
True
Suppose 47*i - 515748 = 345883 - 227977. Is 94 a factor of i?
False
Let w(b) = 57 - 3113*b**2 - 4*b - 10*b - 13 + 3115*b**2. Is 15 a factor of w(14)?
True
Is 15 a factor of (60/16)/(290/40 - 7)?
True
Suppose -2*o = -g - 15377, 3*o + 5*g - 10*g = 23076. Is 2 a factor of o?
False
Let l = 564 - 569. Let v(w) = 38*w**2 + 2*w + 5. Is v(l) a multiple of 15?
True
Suppose 28644 = 17*y - y + 26*y. Does 22 divide y?
True
Suppose 0 = -12*z + 52 + 248. Suppose z*h = h + 2016. Is h a multiple of 28?
True
Let t = -717 - -717. Suppose 5*z - 213 - 782 = t. Does 4 divide z?
False
Let s = 97 + -77. Suppose -24*q 