8. Let n be d(6). Is 2 a factor of u(n)?
False
Let a(w) = -w**3 + 10*w**2 + 10*w + 21. Let k = 26 - 15. Is 5 a factor of a(k)?
True
Let m(a) = -3*a - 6. Let n be m(-3). Suppose 2*u = 4*r - 182, -4*u - 58 - 66 = -n*r. Suppose 4*b = 2*b + r. Does 8 divide b?
True
Suppose -1772 - 1063 = -21*l. Is l a multiple of 3?
True
Let q(h) = 6 - h**2 + 3*h - 2*h**3 + 4*h**2 - 1. Is q(-2) a multiple of 10?
False
Suppose 3*s - 3 = 3. Suppose -d + 5*d + j - 9 = 0, -4*d + 18 = -2*j. Does 20 divide d - (-1 + s + -18)?
True
Let l = 1626 + -532. Does 14 divide l?
False
Let q(h) = 37*h + 158. Is 11 a factor of q(10)?
True
Suppose -41 = -l + 67. Let s be l/24*4/3. Let w(o) = o**3 - 4*o**2 + 6*o + 12. Does 24 divide w(s)?
True
Let b(h) = 31*h - 12. Let v be b(11). Suppose -3*u = v + 160. Let q = u - -241. Is 15 a factor of q?
False
Let x(d) = 6*d - 3 - 4 + d**2 + 0 - 4. Let s be x(-8). Suppose s*l + t = -t + 49, l + 5*t = -4. Is 7 a factor of l?
False
Is (-36)/(-4)*(-3 + (-1 - -31)) even?
False
Let l = 4 + 6. Let u = -7 + l. Suppose 6 = u*c, d - 4*d + 3*c = -108. Is 19 a factor of d?
True
Suppose -f + 2 = -v, -f + 4*f + 2*v = 6. Let j be (f - 2)*1/2. Let i(x) = -x**3 + 79. Is i(j) a multiple of 17?
False
Let i(j) = 9 - 12*j + 24*j + 1 + 19*j. Let r be i(-7). Let c = -126 - r. Does 27 divide c?
True
Suppose 0 = -2*h - 0*h - 6. Let j(d) = -d**3 - d**2 + 4*d + 3. Let s be j(h). Suppose 0 = s*i - 6*i - 48. Is i a multiple of 4?
True
Suppose 0*o - 3*o = -204. Let f = -25 + o. Let c = 164 - f. Is 44 a factor of c?
False
Suppose 4 = 2*v, 16 = -4*k + 4*v - 2*v. Is k + 158 - (-1 + -2) a multiple of 8?
False
Let x(l) = -4*l. Let h be x(2). Let q = 6 + h. Does 11 divide q/7 + 2101/77?
False
Let k(s) = 2*s**3 - 19*s**2 + 15*s - 2. Suppose -10 = -w - 1. Is k(w) a multiple of 7?
False
Suppose -801 - 5329 = -5*h. Is 86 a factor of h?
False
Let i(j) = -j - 2. Let w be i(-4). Suppose l - 149 = -5*r, 15 = r + 2*l - 13. Does 2 divide w/((-2)/r*-5)?
True
Suppose -3*t + 15 = 0, -t - 48 = 2*z - 3*t. Let d = 24 - 81. Let y = z - d. Is 16 a factor of y?
False
Let r = 79 - 42. Suppose -r = -3*q + 59. Is q a multiple of 8?
True
Suppose 0*l - l = 135. Let c = l - -269. Does 39 divide c?
False
Let f(a) = 34*a**2 - 6*a + 2. Let r be f(2). Let o = -48 + r. Is 26 a factor of o?
True
Suppose -11*g - 300 = -6*g. Is (-20)/30 - g/9 a multiple of 2?
True
Let v(a) = 3*a + 10. Let s be 6*(-10)/6*2. Let c be (4 + s)/4 + 12. Is v(c) a multiple of 17?
True
Suppose -o - 5*x + 555 = 0, -1140 = -3*o + o - 4*x. Suppose 10*b + o = 12*b. Is 35 a factor of b?
False
Let z(h) = -h**3 + h**2 + 17. Let f be z(0). Let j(b) = -b**3 + 5*b**2 - 4*b - 1. Let t be j(2). Suppose t*d = f - 2. Is d a multiple of 5?
True
Let k(q) = 24*q**3 - 2*q**2 + 3. Let t be k(-2). Let i = t - -441. Is 17 a factor of i?
False
Let r = -48 + 53. Suppose -8*z + 1065 = 5*y - 3*z, 2*y = r*z + 391. Is y a multiple of 16?
True
Let q be 10/((-40)/(-9))*16/(-6). Is 2 a factor of (-205)/(-20) + q/(-8)?
False
Let k(i) = 0*i**2 + 3*i**2 - i**2 - 2 - i**2 - i. Let p be k(3). Suppose -134 = -p*x - 50. Does 7 divide x?
True
Let d = 954 + -564. Is d a multiple of 9?
False
Does 8 divide 1066/39*(64 - 4)?
True
Suppose -5*t = -2 + 22. Does 13 divide ((-6)/t)/((-12)/(-264))?
False
Suppose -2661 = -2*f - 3*n, -16*n + 12*n = -5*f + 6618. Is f a multiple of 24?
False
Does 3 divide (-4)/3 - 148920/(-153)?
True
Let o(v) = -2*v**3 + 6*v**2 + 3*v + 7. Suppose -20 + 5 = 5*g. Let j(f) = f**3 - 3*f**2 - 2*f - 3. Let n(q) = g*o(q) - 5*j(q). Does 11 divide n(5)?
False
Let l = 5 - 3. Suppose l*h - 42 = -h. Suppose -2*q + h = -148. Is q a multiple of 27?
True
Let m(l) = -2*l**2 - 3*l + 1. Let v(r) = -r**2 - 2*r + 1. Let q(i) = 2*m(i) - 3*v(i). Let p be q(4). Let g = p + 51. Is 14 a factor of g?
False
Suppose -4*t + 7*n - 4*n = -1060, 0 = -5*t + 5*n + 1320. Does 16 divide t?
False
Suppose 36*d = -30*d + 190080. Is d a multiple of 96?
True
Let c(p) = -3*p**3 + 2*p**2 + 2*p + 1. Let b be c(-1). Suppose 2*f + 223 = -0*i + 3*i, f = 3*i - 224. Suppose -3 = b*j - i. Is j a multiple of 11?
False
Suppose 0 = 11*g - 4*g + 2436. Let f = g - -618. Does 18 divide f?
True
Let g(q) = 40*q + 340. Does 32 divide g(24)?
False
Suppose 117*z - 119*z + 108 = 0. Is z a multiple of 27?
True
Suppose -116 = 4*l + 20. Let z = -24 - l. Suppose 2*d - 6 = 4, -s + 5*d = -z. Does 8 divide s?
False
Let i be (-1)/(-2)*-3*24/18. Is 14 a factor of ((-28)/6)/(i/27)?
False
Let i = -20 + 19. Is 18 a factor of (i + 4)/((-6)/(-118))?
False
Let t(y) = y**3 - 13*y**2 + y - 7. Let k be t(13). Suppose k = q - 3. Is 9 a factor of q?
True
Let s(t) = -7*t + 23. Does 5 divide s(-14)?
False
Suppose -l + 7 - 57 = 3*c, 5*c - 133 = 2*l. Let m = l - -84. Is 15 a factor of m?
False
Let u(j) be the first derivative of 13*j**2 - 2*j - 3. Suppose -c - 3*t + 9 = 0, 2*c - 3*c + 2*t = 1. Is 21 a factor of u(c)?
False
Let j be -6*(-2)/(-3) - -5. Suppose -j = -3*u + 5. Suppose 0*c - 5*c - 20 = 0, 0 = -3*m - u*c + 22. Does 9 divide m?
False
Does 16 divide ((-21)/(-6))/(2/92)?
False
Let m(i) be the first derivative of 3*i**2 + 7 + 1/3*i**3 - 2*i. Is m(3) a multiple of 8?
False
Let b be 261/(-81) + 2/9. Let v be (-6 + 6)/(b/1). Is 4 a factor of (1 - 13)/(-2 - v)?
False
Let s(w) = -w**3 - 9*w**2 - 7*w + 12. Let m be s(-8). Let b = m + 68. Is 36 a factor of b?
True
Suppose 0 = 4*r - 6*h + 3*h - 1462, 0 = -3*r - 5*h + 1082. Is r a multiple of 14?
True
Let n = 1014 - 606. Is 20 a factor of n?
False
Let a be (-2)/1*49/(-1). Let q = 163 - a. Suppose -q - 31 = -4*t. Does 12 divide t?
True
Let k be -2 + (1 - -85) + -2. Let l = -42 + k. Suppose 0 = -4*f + 2*f + 4*u + 48, -4*u + l = 2*f. Does 19 divide f?
False
Let v = -3 - -5. Suppose -t - 5 = v. Let h = t + 16. Does 2 divide h?
False
Let s(n) = -14*n - 4*n - 9 - 2. Let v be s(-7). Let j = v - 56. Does 12 divide j?
False
Let d(l) = -68*l - 88. Is 21 a factor of d(-6)?
False
Let g be (1*16/(-4))/2. Let n(o) = -3*o**2 - o. Let l be n(g). Let y(i) = -i**3 - 9*i**2 + 9*i + 10. Does 9 divide y(l)?
False
Let p = -5 + 12. Let m = p - 6. Suppose -t + 11 = m. Does 4 divide t?
False
Let r(x) = 2*x**3 - 9*x**2 + 17*x - 21. Is 27 a factor of r(6)?
True
Let c be (15 - 1)*(-20)/(-70). Suppose -4*u + 52 = 2*s, s - 4*s - c*u + 80 = 0. Is s a multiple of 14?
True
Let r(w) = 8*w**3 - w**2 + 3*w - 2. Is 11 a factor of r(3)?
False
Let z(p) = p**3 + 18*p**2 + 16*p - 3. Let m be z(-17). Does 27 divide ((-94)/m + -1)/((-3)/21)?
True
Suppose -4*q + 0*q = -4*g - 428, -3*g = 4*q - 393. Does 3 divide q?
True
Let c(o) = -o**2 - 13*o + 17. Let t be c(-14). Suppose 41 = 2*v - t. Let p = 36 - v. Is p a multiple of 2?
True
Let x = -135 + 229. Let m = x - 42. Is 52 a factor of m?
True
Let j(o) = 2*o + 3. Suppose -13 = 3*c - 19. Suppose 8 = c*i - 2*x, x = 2*i + 3*x - 16. Does 5 divide j(i)?
True
Suppose -o + n + 499 = 0, -5*n = -9*n + 20. Is 9 a factor of o?
True
Does 57 divide (-930)/(-4) + 21/(-6) + 3?
False
Suppose u = -4, w + 3*u = -40 - 254. Let y = w - -457. Is 25 a factor of y?
True
Let d = 180 + -127. Let j = -31 + d. Is j a multiple of 11?
True
Let x(v) = -12*v + 48. Suppose 6*a - 3*a = 5*h + 56, 5*h + 2*a = -46. Does 8 divide x(h)?
True
Suppose 0 = q + 4*q - 5*o - 4825, 0 = 4*q - 2*o - 3866. Does 42 divide q?
False
Let z(g) = 2*g - 11. Let j be z(9). Let a(n) = n**3 - 2*n**2 - 2*n - 4. Let r be a(j). Suppose r - 77 = 2*q. Is q a multiple of 23?
False
Suppose 12 = -0*b + 3*b. Suppose 0*o = 4*o - x - 338, b*x = 5*o - 428. Does 21 divide o?
True
Let j(q) be the second derivative of q**3/6 - 6*q**2 + 3*q. Let c be j(6). Let t(n) = -n**3 - 6*n**2 - 2*n - 5. Is t(c) even?
False
Suppose 7*q - 3*q - 156 = 0. Suppose -5*l = a - q, -2*l + 4*a + 20 = -0*l. Does 6 divide l?
False
Suppose -51 = 7*r - 9. Let j be (-444)/16 + r/(-8). Is ((-60)/45)/(2/j) a multiple of 6?
True
Let g = -461 - -614. Is 17 a factor of g?
True
Suppose -2*l + 4 = -3*d, l - 2*d = -0*l + 2. Let j(y) = -10*y**2 - 2*y + 1. Let r be j(l). Let t = -15 - r. Does 20 divide t?
False
Let o(l) = -14 + 7 + 13 + 78*l. Is o(1) a multiple of 14?
True
Let j = -12 + 21. Let n(t) = -20 + 15 + 7 - t + 17. Does 2 divide n(j)?
True
Let q(b) be the first derivative of b**2/2 - 6*b + 11. Let t be q(6). Is 20 a factor of t/1 - (-13 + -44)?
False
Suppose -2*c - 18 = 3*c + 2*t, 