l**2/2 + 3*l + 2. Let f be c(0). Suppose f*x + 8 - 41 = 0. Is 9 a factor of x?
False
Let v(z) = 6*z - 3. Let w be -2*1*30/12. Let l(b) = -7*b + 2. Let d(u) = w*l(u) - 6*v(u). Is 9 a factor of d(-7)?
False
Suppose 3*j - 89 = 2*j. Is j a multiple of 8?
False
Suppose -2 + 8 = p. Is 3 a factor of p?
True
Suppose 2*t - d = d, -t - 15 = 2*d. Let j(w) = -7*w - 11. Does 24 divide j(t)?
True
Let z = 87 - 57. Is z a multiple of 30?
True
Let i(q) = -3*q**2 + 2*q - 1 + 0*q + 2*q**2 + 30*q**3. Is 15 a factor of i(1)?
True
Is (-1)/((-375)/(-94) - 4) a multiple of 37?
False
Let p = -29 - -17. Let v = p + 11. Is 2 + v - (-27 - 5) a multiple of 14?
False
Let m = -271 - -387. Is m a multiple of 40?
False
Suppose -x - 2*c = -0*c + 6, -3*x + 3*c + 9 = 0. Suppose -4*z - 3*k + 79 = x, 97 = 3*z + 5*k + 24. Does 7 divide z?
False
Suppose 15 = 3*k, -3*j + 12 = -7*j + 4*k. Is 2/4 - (-19)/j a multiple of 4?
False
Suppose 8*h - 257 = -17. Does 5 divide h?
True
Suppose -4*t = 2*n + t - 115, 0 = -5*n + 2*t + 215. Let p = n - 27. Is p a multiple of 9?
True
Suppose i + 2*i = 2*r - 18, 0 = 4*r + 3*i - 18. Does 3 divide 2*-1*(-8 + r)?
False
Let s(n) be the second derivative of -5*n**4/12 - n**3/2 - 3*n**2/2 + n. Let r be s(-2). Let d = 35 + r. Does 9 divide d?
True
Let i(z) = -15*z - 15. Suppose -5*g - 12 = -3*g. Does 15 divide i(g)?
True
Let v = 40 - 1. Is 26 a factor of v?
False
Let v(r) = r**2 + 3*r + 2. Let h be v(-2). Suppose -4*w + 56 = 6*a - 2*a, h = 5*w - a - 70. Is w a multiple of 14?
True
Suppose 0 = -0*a - 2*a. Suppose 5*o - 5*d + 121 - 501 = a, o = 5*d + 60. Is o a multiple of 28?
False
Let k be 1 + (-2)/(-1) + 75. Let w = k + -48. Is 10 a factor of w?
True
Let r(s) = s**3 - 6*s**2 + 4*s + 3. Let p be r(5). Is 8*(p + (-76)/(-16)) a multiple of 10?
False
Let s(c) be the third derivative of 19*c**6/30 + c**5/60 - c**4/24 + c**3/6 - 2*c**2. Let q be s(1). Let g = -51 + q. Is g a multiple of 13?
True
Suppose 5*b - 2 = -4*k, 2*b + b = 4*k - 18. Let y(f) = -26*f - 5. Is y(b) a multiple of 12?
False
Let b(u) = -u - 4. Let m = 13 + -18. Let t be b(m). Does 8 divide 2*-2*(t - 5)?
True
Suppose 4*d - 8 - 20 = 0. Is (-4)/6*(-189)/d a multiple of 9?
True
Let w(h) = 4*h - 4. Let p(a) = 7*a - 8. Let x(d) = 3*p(d) - 5*w(d). Let b be x(7). Suppose -4*s + b*s + 36 = 0. Does 16 divide s?
False
Suppose 0 = 5*v - 10*v + 20. Suppose -n + v = o, 3*n + 4*o - 12 = -0*n. Is n a multiple of 3?
False
Does 10 divide (30/9)/((-1)/(-6))?
True
Let x(g) = 7*g**3 - 4*g**2 + 4*g - 6. Let i(y) = -13*y**3 + 7*y**2 - 7*y + 11. Let u(c) = -6*i(c) - 11*x(c). Is 9 a factor of u(2)?
False
Let p be (-1 - 2)/((-21)/(-14)). Is 9 + (p - (3 - 4)) a multiple of 4?
True
Let s(i) = -i + 5. Let t be s(5). Suppose 0 = -r - t*r. Suppose r = 4*o - 4, 3*o + 9 = 2*j - 10. Is j a multiple of 11?
True
Let j = -3 - -27. Does 14 divide 78/(-8)*j/(-9)?
False
Let r(o) = 9*o - 1. Does 26 divide r(3)?
True
Let a(m) = 3*m - 2. Let l(i) = i - 3. Let z be l(14). Does 31 divide a(z)?
True
Suppose 0 = -g + 2*g - 6. Suppose 8*t - 8 = g*t. Is t a multiple of 4?
True
Suppose 2*k + 3*l = 30, -43 = -k - 2*k - 4*l. Is 5 a factor of k?
False
Let o = 5 - 3. Let p(w) = w**2 + w - 2. Let z be p(o). Let t = z + -1. Is 2 a factor of t?
False
Let y be 0/(-7)*1/(-2). Suppose y = z - 5*z. Suppose -3*a + 13 + 65 = z. Is 11 a factor of a?
False
Let q(a) = -a + 0 - 8*a + 1. Suppose 0 = -i - 2 + 1. Is 5 a factor of q(i)?
True
Is 806/10 + 3/(-5) a multiple of 8?
True
Let r(z) = z**3 + 17*z**2 - 23*z - 19. Does 5 divide r(-18)?
False
Let a(m) = 3*m**2 - 5*m - 2. Is a(11) a multiple of 51?
True
Let a(f) be the second derivative of 4*f**3/3 - 5*f**2/2 + f. Let w be a(4). Suppose 0 = -3*u + 2*v + 72, -21 = -2*u + 5*v + w. Is 12 a factor of u?
True
Suppose 2*g = -0*g - 4. Let x be g/5*1*70. Let y = 56 + x. Does 14 divide y?
True
Let w = 8 - 11. Does 4 divide 1/w - (-95)/15?
False
Suppose 0 = 4*n - 3*n - 1, 1167 = 5*d + 2*n. Is 8/(-28) - d/(-7) a multiple of 11?
True
Let q(u) = -u**2 - 9*u + 5. Let p be q(-9). Suppose 0*f - 5*f + 160 = 2*b, 0 = -3*f - p*b + 115. Is f a multiple of 15?
True
Suppose -2 = -4*f - 10. Does 14 divide 30 - -1*(f + 3)?
False
Suppose -2*d + 0 = -4. Suppose -d*t - 3 = -1. Is -1 + t + 4 + 32 a multiple of 17?
True
Suppose -3 = g, 3*g + 0*g + 73 = 4*x. Does 13 divide x?
False
Let v(u) = 5*u**3 - u**2. Let k be v(-1). Is (k/(-4))/((-6)/(-252)) a multiple of 21?
True
Suppose -3*p - 3*w + 372 = 0, -3*p - 4*w + 475 = 101. Suppose -2*i - 2*q + p = 2*i, -5*i = -q - 135. Is i a multiple of 6?
False
Suppose 0 = -4*a + 4*q + 192, 0 = -a + 5*q + 63 - 3. Does 2 divide a?
False
Suppose 5*n - 30 = 3*f + 2, -44 = 5*f + n. Let w(q) be the first derivative of -q**2 - 8*q - 2. Is 10 a factor of w(f)?
True
Suppose -9 + 33 = 4*i. Is i a multiple of 3?
True
Let q be 2*1*(-45)/(-18). Let b = 4 - q. Does 15 divide (-1 + b)*198/(-9)?
False
Suppose 2*a - 3*a = -22. Does 7 divide a?
False
Let w(d) = d**3 + 6*d**2 - 9*d - 1. Suppose 0 = 3*c - 0*y + y + 18, -3*y = 2*c + 12. Let s be w(c). Let r = -31 + s. Is r a multiple of 11?
True
Let k = -90 + 153. Is k a multiple of 32?
False
Let d(f) = -f**3 - 5*f**2 - 2*f + 7. Let y be d(-5). Suppose -x = -6*x + 4*b + 30, -x + 3*b + y = 0. Is 12 a factor of ((-10)/3)/(x/(-9))?
False
Let o = -686 + 970. Is o a multiple of 35?
False
Suppose 3*a + a - 1416 = 0. Is 18 a factor of (-16)/40 - a/(-10)?
False
Suppose -g = 0, -3*p + 2*g + 0 + 6 = 0. Let n(u) = -u**3 + 7*u**2 - 5*u - 2. Let v be n(6). Suppose p*k - 15 = -t - 3, v*t = -2*k + 24. Is 4 a factor of t?
True
Suppose -i = -5*i + 12. Suppose -i*f = f + 4*j - 188, -2*j = 0. Suppose 4*q = 151 - f. Does 14 divide q?
False
Let r = 206 + -54. Is 38 a factor of r?
True
Let g(m) = -m**3 + 3*m**2 - m - 1. Let u be g(3). Let i(j) = 2*j**2 - 2*j + 4. Is 18 a factor of i(u)?
False
Suppose -2*r + 4 = -0. Let s be -9*-5*(3 - r). Suppose 5*m = 5*d + s, 2*d = -5*m + 10 + 14. Is m a multiple of 3?
True
Let q(c) = -102*c. Let f be q(-1). Let u = -147 + f. Let l = 64 + u. Is l a multiple of 7?
False
Suppose -3*s - 30 = -8*s. Let a(v) = -v + 12. Does 3 divide a(s)?
True
Let v be -2*3/6*-3. Suppose -5*o = -7 - v. Let i(w) = 9*w**2 - 2*w - 2. Is 18 a factor of i(o)?
False
Let s(k) = 15*k + 4. Is s(2) a multiple of 24?
False
Let q(s) = -2*s. Let t be q(-2). Suppose 6 = t*z - 2. Let h = 7 + z. Is 3 a factor of h?
True
Let o(u) = -u**3 - 14*u**2 - 25*u - 13. Let r be o(-12). Let h(g) = -2*g + 6. Let k be h(4). Is (k/(-4))/(r/(-44)) a multiple of 6?
False
Let v(k) = -4*k - 18. Let b(t) = -4*t - 19. Let h(a) = -6*b(a) + 7*v(a). Does 16 divide h(-11)?
True
Let x = 226 - 88. Does 13 divide x?
False
Suppose 2*j = 4*l + 68 + 132, 3*j + 2*l = 292. Is 26 a factor of j?
False
Let o = -22 - -36. Suppose -o + 2 = -4*q. Suppose -q*t + 4*i = 31 - 100, -i = -t + 22. Is t a multiple of 14?
False
Let o = 12 + -6. Does 9 divide (-56)/o*(-90)/35?
False
Suppose 4*i + 8 = -8, 0 = -3*c - 4*i + 32. Suppose c = 2*v - 132. Is 15 a factor of v?
False
Let m(y) = 2*y**2 + 1. Suppose -3*p + p = -4. Is m(p) a multiple of 9?
True
Let a = -108 - -206. Does 22 divide a?
False
Let w(s) = 11*s**2 + 4*s. Suppose 3*v + 5*p + 0 = 17, -2*v = -4*p - 4. Let x be w(v). Suppose 3*l + x = 7*l. Does 24 divide l?
True
Let d(o) = 3*o - 4. Does 2 divide d(5)?
False
Let g(b) = -b. Let q be g(-2). Suppose 5*x - 4*f - 179 = 0, 0*x - q*f = 3*x - 125. Is 22 a factor of x?
False
Let v = -9 + 25. Is 6 a factor of 0 + v + 8/(-2)?
True
Let n(x) = x + 1. Let v(t) = t. Let d(l) = 2*n(l) - 5*v(l). Does 11 divide d(-7)?
False
Let w = 16 + 2. Let v be ((-4)/6)/((-3)/w). Suppose -4*m = v, 2*u - 51 = -0*m - m. Is 13 a factor of u?
True
Suppose -2*s + 4 = x - 20, 24 = 2*s - x. Is 6 a factor of s?
True
Suppose -4*l - 63 = -183. Suppose 0 = r - 1 - 0. Is 8 a factor of ((-8)/(-10))/(r/l)?
True
Let v(h) = -h**3 - 8*h**2 - 7*h + 5. Let k be v(-7). Suppose -k = -2*c + c. Is 5 a factor of c?
True
Let a(m) = -6*m - 2. Let g(n) = -5*n - 1. Let u(y) = -4*a(y) + 5*g(y). Let t be u(4). Does 15 divide 27 + 4 + -2 - t?
True
Is 33 + 1 - (-3 + 1) a multiple of 11?
False
Suppose -115 = -5*q + 5*w, 5*w = 2*q - q - 39. Let g = -7 + q. Is 3 a factor of g?
True
Let b = 4 - -3. Does 7 divide b?
True
Let x(v) = v**3 - 3*v**2 - 5*v + 3. Let p be x(4). Let o(g) = 16*g - 2. Let f(h