a. Is 84 a factor of a?
True
Suppose -3*q - l + 3572 = q, 2*l + 4478 = 5*q. Let z(b) = b**3 + 6*b**2 + 888*b - b**2 - q*b + b**2. Does 8 divide z(-6)?
False
Let w be 2 + 1/((-1)/(-38)). Let p = w + -34. Suppose -54 = -q + p. Is q a multiple of 20?
True
Let k = -10 - -9. Let n be 0 - -9 - (4 + k). Suppose -n*x = -8*x + 120. Is 20 a factor of x?
True
Let d(h) = -4*h**2 + 4*h + 3. Let b be d(-1). Suppose 3*w + p = -0*w + 82, 0 = -5*w + 3*p + 118. Let m = w + b. Is 7 a factor of m?
True
Let g(x) = -2*x**3 - 8*x**2 + 12*x - 66. Does 50 divide g(-8)?
True
Let v = -2037 + 1388. Let b = -943 - v. Is (1/(-3) - 0) + b/(-18) a multiple of 8?
True
Let i = -6558 - -9085. Is i even?
False
Suppose -208*b = -4*u - 210*b + 2460, 4*u - 2466 = -3*b. Does 17 divide u?
True
Suppose -2*r = 2*r - 2*j - 4, j + 2 = -4*r. Suppose 0 = 4*f + 8, d - f = -r*f + 429. Is 41 a factor of d?
False
Let b = -5780 - -6915. Does 9 divide b?
False
Suppose 5*y + 2351 = -8*c + 10*c, 2316 = 2*c + 2*y. Suppose 3*l - 11*z + 6*z = 701, c = 5*l - 3*z. Is l a multiple of 3?
False
Let f = 19954 + -11310. Does 7 divide f?
False
Let r be 1170/143 + 4/(-22). Suppose -r = 4*d, -d - d = 4*h - 12. Suppose 318 = h*c - w, 0*c + 5*w + 230 = 3*c. Does 20 divide c?
True
Let m(v) = -18*v - 13. Let z be m(-5). Let u = -82 + z. Is u/(-15) - 190/(-6) a multiple of 16?
True
Let d(b) = 1867*b**2 + 431*b + 1. Is 10 a factor of d(-2)?
False
Let a = 9423 - -1642. Is 17 a factor of a?
False
Suppose -2*j + 1880 = 8*j. Suppose 3*n + 41 = j. Let s = n - 23. Is 26 a factor of s?
True
Let o be ((-24)/5)/(80/(-3800)). Is 7 a factor of (o/(-10))/(18/(-135))?
False
Suppose i = x - 0*x - 283, 1427 = -5*i - x. Let g = i + 517. Does 74 divide g?
False
Suppose -280 = -24*c + 101957 + 19803. Is 6 a factor of c?
False
Suppose 4*s - 5*s - 5 = 0. Let d(h) = h**3 + 5*h**2 - 3*h - 13. Let m be d(s). Suppose -2*c + 0*c + 80 = 5*l, -c = -m*l + 41. Is l a multiple of 5?
False
Let g = -40 + 52. Let o be 0/((g/(-18))/((-4)/(-6))). Suppose -3*y = -2*h - 22, -4*h = -o*h - 16. Is 5 a factor of y?
True
Suppose -4*l = 2*h - 13724, 3*l - 3*h - 4376 - 5926 = 0. Does 12 divide l?
True
Suppose r = 4*g + 238, -255 - 39 = 5*g - 3*r. Let a be (2/6)/((-4)/g). Is -1*4/(4/a)*-30 a multiple of 15?
True
Let c = 24356 - 16664. Is 26 a factor of c?
False
Let n(d) = 2*d - 22. Let a be n(11). Is 48 a factor of 228 + a + 8 + -6?
False
Suppose -n = -b + 1361, -3*n + 4047 = 11*b - 8*b. Is b a multiple of 36?
False
Suppose -3*n = r + 15, 4 = n - 2*n. Let p be (-18)/(-27) + 86/r. Let o = 66 + p. Is o a multiple of 11?
False
Let w(u) = -2*u**2 - 37*u + 27. Suppose 21*z + 2*d + 48 = 18*z, z + 16 = -4*d. Is 6 a factor of w(z)?
False
Does 90 divide (0 - 303/2)*(-70320)/586?
True
Let m be ((-2 + 2)*-1)/(10 - 11). Suppose -10*s + 18 + 62 = m. Is 8 a factor of s?
True
Let j be ((-30)/(-20))/(2/8). Let c(v) = 4*v**2 - 10*v + 14. Let s be c(j). Let a = 64 + s. Is a a multiple of 27?
True
Suppose -15*d - 4423 = -14233. Suppose k - 2*z = d, -4*z - 1114 = -5*k + 2156. Is k a multiple of 31?
False
Let a(c) be the third derivative of c**5/60 - c**4/12 + 8*c**3/3 - 16*c**2. Let b(o) = o**2 - 12*o + 11. Let g be b(11). Is 8 a factor of a(g)?
True
Suppose 3*h - 4*h = 0. Suppose 3*y + 1 = -8, h = -5*a + 2*y + 21. Suppose -5*p + 8*t = 3*t - 440, a*t - 96 = -p. Does 21 divide p?
False
Let x(s) = -2*s**2 - 13*s - 4. Let z(b) = b**2 + b + 1. Let i(d) = x(d) + 3*z(d). Is i(-10) a multiple of 45?
False
Let p = 8614 + 696. Does 98 divide p?
True
Suppose -3*i + 3*g = 15, g - 13 = 3*i - g. Does 3 divide i - -5 - (-876)/12?
True
Let r = -13 - -11. Let y be (-1)/(r + 18/10) - -2. Does 19 divide 283/y - (155/35 + -4)?
False
Let x(a) = -10*a - 153. Let v be x(-15). Is v*(-498)/54*3 a multiple of 7?
False
Suppose -w - 23 = -21. Is 6 a factor of -17*5/w - (-50)/(-100)?
True
Suppose -33*s + 40 - 7 = 0. Is (-4)/s*(-1570)/40 a multiple of 8?
False
Suppose 6*n - 28 = -154. Is (-17)/((-714)/23600) - 2/n a multiple of 62?
False
Let d = -14664 + 18980. Is 124 a factor of d?
False
Suppose 5*m + 10 = 0, 3*a - 602 = -0*m - 5*m. Suppose -210*p = -a*p - 2880. Does 15 divide p?
True
Let n = -4563 - -9555. Is n a multiple of 16?
True
Let x(v) = -v**3 - 14*v**2 + 92*v + 144. Does 14 divide x(-21)?
False
Suppose 15*n + 18 = 24*n. Let q = 3 - 3. Suppose -n*h + 2*m + 124 = q, -3*h - 3*m + 206 = -m. Does 8 divide h?
False
Let y(n) be the second derivative of -n**5/20 + 11*n**4/12 - n**3/2 + 7*n**2 + 3*n. Suppose 4*x - 16 - 20 = 4*f, -f = -2*x + 19. Is y(x) a multiple of 6?
True
Suppose 0 = 5*p - 25, -4*p - 499 = -g + 150. Suppose -g + 211 = -j - 5*s, -2*s = 3*j - 1309. Suppose -u + m - 9 = -118, 4*u - m - j = 0. Is 18 a factor of u?
True
Let p(n) = n**2 - 2*n - 32. Let r be p(-6). Is 46 a factor of 321 + r/(-4) + 5?
True
Suppose 0*r - h = r + 31, 0 = h. Let k = r - -32. Does 43 divide (-2)/(-4)*(378/k + 4)?
False
Let o(l) = 35*l**3 - 2*l**2 + l - 3. Let y be o(2). Let i = y - 81. Does 19 divide i?
True
Let f = -1309 - -5789. Is f a multiple of 20?
True
Let x = -292 - -296. Suppose 4*t = -x*k + 1564, 2*k - 1173 = -k - t. Is 4 a factor of k?
False
Let j = -20 - -38. Let p = j - -72. Does 6 divide p?
True
Let a = 768 - 374. Is 6 a factor of a?
False
Suppose -16*i + 1974 = -13*i. Let h = i + 211. Is h a multiple of 13?
False
Let y(u) = -137*u - 16. Let z be y(-4). Suppose 3940 = 4*b + z. Does 71 divide b?
True
Let l(d) = 3*d + 16. Let z be l(-6). Is 5 a factor of 179/2 + (-1)/z?
True
Suppose 0 = 5*r + 5*t - 183930, -116*r + t = -114*r - 73587. Is 158 a factor of r?
False
Suppose 3*a + g - 47 = 39, -a + 18 = 3*g. Let x be a - 6*4/(-8). Is (x + -4 - -2)*3 a multiple of 31?
True
Let f be (6 + 7/(-1))/(1/(-5)). Suppose 5*b - 4*k = 3*b + 2842, 7135 = 5*b + f*k. Does 15 divide b?
True
Let y = 69 + -74. Is 21 a factor of 78/(y - 148/(-28))?
True
Let y(x) = x**3 - 4*x. Let z be y(3). Suppose -3*f + 0*f + 375 = 3*h, -z = -5*h. Let j = -69 + f. Is j a multiple of 12?
False
Suppose 138*w - 766108 + 258508 = 91*w. Is w a multiple of 50?
True
Let b(h) = -h**2 + 121*h + 1900. Is 2 a factor of b(133)?
True
Suppose -3*q = 2*a + 2*a - 1517, 0 = -3*q - 15. Is a a multiple of 30?
False
Let d be -2 + (-6)/(-2) + 4132 + 2. Suppose -8*h - 5713 - d = 0. Is h/(-4) + (-40)/(-32) a multiple of 41?
False
Suppose 6*y - 38 = 58. Let h(b) = 7*b + 10*b + y*b - 4 + 25. Is h(8) a multiple of 57?
True
Let y(b) = -b**3 - 9*b**2 + 25*b - 16. Let o be y(-11). Let f be 0 + -1 + (0 - 26). Let l = f - o. Is l even?
True
Suppose -74*g + 76*g + 24 = 4*h, g = 5*h - 9. Let d(s) be the second derivative of -s**4/12 - 5*s**3/2 - 6*s**2 - s. Does 2 divide d(g)?
True
Suppose 0 = 3*f + 3, 5*f - 30809 = -8*m + 7*m. Is m a multiple of 31?
True
Is 20 a factor of -14 + 3 - 2575170/(-78)?
False
Let c(f) = -8*f - 13. Let a be (-21)/(-14)*(32/6)/(-2). Does 8 divide c(a)?
False
Is 2 a factor of (((-2)/3)/(24/132))/(7/(-3402))?
True
Let s be ((-66)/21)/(2/(-14)). Let r(g) = 6*g**3 - 16*g**2 - 26*g + 1. Let a(o) = 5*o**3 - 17*o**2 - 27*o + 2. Let y(l) = -5*a(l) + 4*r(l). Does 16 divide y(s)?
True
Suppose 0*g + 4*g - 4*z = 372, -63 = -g - 5*z. Suppose 5*l + g = 398. Is 13 a factor of l?
False
Let w = -77 + 80. Let p(k) = 8*k**3 - 2*k**2 + 3*k - 10. Is p(w) a multiple of 7?
False
Let x = -50 - -46. Let f(j) = -124*j - 6. Let h(w) = -63*w - 3. Let q(y) = x*f(y) + 9*h(y). Does 21 divide q(-1)?
False
Let m(d) = -15916*d + 1437. Is 60 a factor of m(-2)?
False
Let c be ((-1242)/(-12))/9*6. Let t = 52 + c. Is t a multiple of 11?
True
Let o = -4748 + 10275. Does 13 divide o?
False
Let q = -10 - -13. Let u be (-10)/q + 2/6 + -2. Does 38 divide (46/(-2))/(-2 + (-9)/u)?
False
Let m(c) = -c**2 - 6*c + 5. Let p be m(-4). Suppose -2652 = -4*t - p*t. Is 39 a factor of t?
True
Is 22 a factor of 3/(0 - -6) - (-36 - (-163345)/(-26))?
False
Let o = -10059 + 30935. Suppose o = 13*n + 4860. Is 11 a factor of n?
True
Suppose k - 24 = -3*n - n, 3*n - 18 = 3*k. Is (-675 - n)*(-5)/15 a multiple of 11?
False
Let s(x) = 55*x**2 - 7*x - 26. Let c be s(-10). Suppose -4*o + c = 7*o. Is 36 a factor of o?
True
Let r(i) = -i**3 + 5*i**2 + i + 1. Let f be r(5). Suppose 680 = 3*t + 2*p, 3*t + 695 = f*t - p. Does 14 divide t?
False
Let f(p) = -p**2 + 27*p - 23. Suppose -10*g = -5*g - 65. Suppose g + 93 =