*n**3 + n**2 - 3*n - 8. Let k(i) = 8 - 5*i**3 - 2*i**2 + 0*i**3 + 2*i - 2*i**3. Let b(q) = -7*k(q) - 6*s(q). Is b(-7) a multiple of 13?
True
Let u(n) = -4*n + 2*n + 3 - n**3 - 5*n**2 + 0. Is 4 a factor of u(-5)?
False
Suppose 0 = 5*d - 12 - 3. Let y = d + -1. Suppose y*o = o + 9. Is 7 a factor of o?
False
Suppose 5*u - 63 = -18. Let r = 44 + -25. Let n = u + r. Is n a multiple of 16?
False
Let r(i) = -3*i**3 + 2*i**2 - 7. Let j(w) = 4*w**3 - 3*w**2 + w + 8. Let l(c) = 4*j(c) + 5*r(c). Is l(3) a multiple of 9?
True
Is 5 a factor of (6 - 1)*20/20?
True
Suppose -3*u = -178 - 548. Does 12 divide u/8 + (-1)/4?
False
Let i(o) = -5*o**2 - 4*o + 1. Let f be i(-4). Is 4/(-8) - f/2 a multiple of 16?
False
Suppose x - 2*n = 2*x - 66, 0 = -3*x + 2*n + 222. Is x a multiple of 36?
True
Let z(y) = -y**3 - 8*y**2 - 8*y + 11. Is 25 a factor of z(-8)?
True
Suppose r - 160 = 2*r. Is (r/3)/4*-3 a multiple of 20?
True
Suppose -615 = 43*m - 48*m. Is m a multiple of 17?
False
Let w be 0*(3/2 - 2). Suppose w = -3*y - 19 + 136. Is 19 a factor of y?
False
Suppose -3*f - 4*s - 260 = -0*f, 5*s = 5*f + 410. Let g = f + 144. Is g a multiple of 12?
True
Is 13 a factor of 15/10 - 47/(-2)?
False
Suppose 3*v = -p + 10, 8*p = 3*p + 5. Let m(d) = -d + 3. Let i be m(-7). Let k = i + v. Is k a multiple of 13?
True
Let z = -14 + 122. Does 12 divide z?
True
Let m = 56 + -123. Let j(q) = 25*q**2 + 2*q + 2. Let i be j(-2). Let d = i + m. Is d a multiple of 10?
False
Let v(r) = 5*r - 14*r - 36*r. Is v(-1) a multiple of 16?
False
Let w(n) = -n**3 + 6*n**2 + 6*n. Let o be w(6). Suppose 5*j = o + 24. Is 4 a factor of j?
True
Let p(c) = 44*c + 1. Let m(q) = -q + 8. Let t be m(7). Is p(t) a multiple of 12?
False
Let h(x) = -2*x**2 + x - 1. Let u be h(1). Let k be -2*7/(-2) + u. Suppose k*b + 60 = 310. Is 17 a factor of b?
False
Let n = -10 + 41. Is n a multiple of 11?
False
Let l = 0 + 3. Let f = l - 1. Suppose -z + 2 + f = 0. Is z a multiple of 4?
True
Let q(l) = -11*l - 2. Suppose -7*m - 7 = -3*m - 5*g, 4*g + 10 = -2*m. Let c be q(m). Suppose -5 = w - c. Is 18 a factor of w?
False
Let g = 21 + -5. Suppose -6*z - g = -2*z. Is (41 - z)*1/3 a multiple of 13?
False
Let n be 1*6/(-9)*-3. Suppose i - 20 = -h - 4*i, -30 = 4*h - n*i. Is 10 a factor of 8/(-20) + (-107)/h?
False
Let b = -94 - -136. Is b a multiple of 17?
False
Suppose -4*u - u - 15 = 0, -5*y + 57 = -4*u. Let c = 24 - y. Does 5 divide c?
True
Suppose -2*v + 3 = 3*c, -v + c - 1 = -0*v. Suppose v = -2*x - 2*x. Suppose 4*i - 8*i + 132 = x. Is 11 a factor of i?
True
Let l = 200 - 90. Does 22 divide l?
True
Let r(m) = m**2 - 2*m - 2. Is r(6) a multiple of 5?
False
Let j = 76 + 16. Is 46 a factor of j?
True
Does 13 divide (2 + (-141)/(-1))*(-5)/(-5)?
True
Let x be ((-3)/(-9))/(4/156). Let z = 28 - x. Is z a multiple of 3?
True
Is 1176/39 - (-6)/(-195)*5 a multiple of 5?
True
Suppose 0*f - 3*f + 9 = 0. Suppose m - 2*m + 6 = 0. Suppose -c + 6 = -2*o, -2*c - o = -f*c + m. Does 4 divide c?
False
Let w be -2 - -1 - (1 - 2). Suppose w = -s + 6*s - 70. Let j = s - 2. Is j a multiple of 12?
True
Let s = 24 + -22. Let x = 25 - 3. Suppose -x = -3*d - s*o, 2*d + 2*o - 36 = 6*o. Does 10 divide d?
True
Suppose -2*y + y + 4 = 0. Is 2 a factor of (1 - -1)*6/y?
False
Let s be 0/(-1 - 2*-1). Suppose s*m = 4*m - 60. Suppose -m = -3*q - 3. Is 2 a factor of q?
True
Let r = 167 - 72. Does 22 divide r?
False
Suppose -2*h - 49 - 9 = -2*n, 3*n = 5*h + 93. Let q = n + -9. Is q a multiple of 16?
False
Suppose -4*j - 3*r + 205 = 0, 7*r + 159 = 3*j + 4*r. Does 13 divide j?
True
Let s(a) = a**2 - 10*a + 9. Let t be s(9). Suppose -3*y = -5*u + 3*u - 167, 4*y + 5*u - 261 = t. Is 23 a factor of y?
False
Let a(n) = n**3 - 4*n**2 - 8*n + 6. Does 10 divide a(6)?
True
Let s = -157 - -322. Does 11 divide s?
True
Let n(l) = -l**3 + 4*l**2 + 7*l - 3. Let k be n(5). Suppose -2*c = -k*c + 60. Is 2 a factor of (c/10)/(9/30)?
True
Let t be ((-2)/5)/((-4)/(-40)). Does 2 divide (-18)/t*(-16)/(-12)?
True
Suppose 4*t = 3*j + 49, -2*t - 26 = -3*t - 2*j. Let r be 3*6/9 + t. Is 3*(-4)/r*-39 a multiple of 10?
False
Let c(l) be the first derivative of l**5/60 - l**4/8 - 7*l**3/6 + l**2 - 2. Let d(s) be the second derivative of c(s). Does 2 divide d(5)?
False
Let o(b) = -9*b + 1. Let i be o(5). Does 19 divide (i/(-55))/((-1)/(-70))?
False
Suppose -4*l - 2 = -5*l. Suppose -l*n = -7*n. Suppose n*w - 88 = -4*w. Does 14 divide w?
False
Let r(l) = l + 7. Let m be r(-7). Does 14 divide 75/3 + 3 + m?
True
Suppose -2 = 2*h - 3*h. Let l(p) = -6 + h*p - 9*p + 0*p. Does 18 divide l(-6)?
True
Suppose -2*t + 34 = l - 0*t, 0 = -4*l + 5*t + 84. Is (0 - (1 + -3))*l a multiple of 13?
True
Let u be 2*-1*(0 - 2). Suppose -u*i - 163 = -3. Let q = -27 - i. Is q a multiple of 13?
True
Let t(o) = -o**3 + 7*o**2 - 6*o + 2. Let i be t(6). Suppose -5*q + 0*w + 30 = -5*w, 0 = -3*q - w - i. Let c = q - -3. Is c a multiple of 2?
True
Is 623*(-1)/(-4) + 4/16 a multiple of 52?
True
Suppose d - 28 = -a - 1, d = 5*a - 147. Is a a multiple of 3?
False
Suppose 3*v + 4 - 7 = 0. Let c be v - 1*-69*1. Suppose 0 = -p + 6*p - c. Is p a multiple of 10?
False
Let q = 8 - 3. Suppose -q*x = n - 170, -x + 5*n + 14 = -20. Is x a multiple of 17?
True
Let g(l) = -4*l - 4. Let d be (-5 + 2 - -3)*-1. Suppose d = -3*u - 8 - 4. Does 7 divide g(u)?
False
Let r(t) = t**3 + 4*t**2 - 5*t + 6. Let x be r(-5). Let k be (x/4)/(1/6). Suppose -4*h = -5*o - k, -2*h - 3*o + 0*o = -21. Is 6 a factor of h?
True
Let w = 10 + -6. Suppose 7*i - w*i + 6 = 0. Is (-34)/(-3) + i/(-3) a multiple of 12?
True
Let s(q) = q + 6. Is s(0) a multiple of 3?
True
Suppose 3*t + 0*t - 12 = 0. Suppose 0*m - t = -m. Does 2 divide m?
True
Let w be 9/(-2)*4/(-6). Suppose -5*a - w = -2*a + 4*p, 5*p + 6 = -3*a. Suppose y + 8 = a*y. Is 4 a factor of y?
True
Let k be 2*(-1 - -2) + 0. Is -25*((-32)/10 + k) a multiple of 15?
True
Suppose 6*l = 2*l + 12. Suppose -j = 4*j - 180. Suppose 15 = -5*b - 0*b, -l*q = -2*b - j. Does 5 divide q?
True
Let b(x) = 2*x + 8. Let a be b(10). Suppose -q + 3*q = a. Is q a multiple of 4?
False
Let a = 21 - 31. Let p = a - -40. Is 15 a factor of p?
True
Let r = 167 - 98. Does 23 divide r?
True
Let p = -3 - -3. Let w = p + 17. Is 17 a factor of w?
True
Suppose 4*u - 58 = -14. Does 11 divide u?
True
Let j(n) = n**2 + 5*n - 7. Let h be j(-5). Let v(g) = g + 3. Let q be v(h). Is (q - 0/(-1))*-5 a multiple of 10?
True
Suppose 4*b - 69 = 35. Suppose -m = -6 - b. Is m a multiple of 16?
True
Suppose 3*y = 6*y + 42. Let v be 5/(25/y)*20. Does 10 divide (-2)/3 + v/(-3)?
False
Suppose -3*d + 14 = -j, -d + 5*d = 5*j + 37. Suppose -78 = d*p - 5*p. Does 7 divide p?
False
Let z(h) be the third derivative of -11*h**4/8 - h**3/6 + h**2. Does 12 divide z(-1)?
False
Let j be 4/((-2)/(-2))*-23. Suppose 0 = -a - 10 - 32. Let c = a - j. Does 25 divide c?
True
Let p = 133 - 82. Is 17 a factor of p?
True
Suppose -4*h = 4*t - 72, 30 = -5*h + 7*h + 5*t. Is h a multiple of 13?
False
Let g(n) = n**3 - 5*n**2 + 2*n + 3. Let j be g(3). Let c(t) = t**3 + 9*t**2 - t + 1. Is 10 a factor of c(j)?
True
Suppose 5*h - 94 - 516 = 0. Suppose -2*w + h = g, 0 = -3*w + w - 2*g + 122. Is 17 a factor of w?
False
Let r(o) = 6*o**2 + o - 1. Let d be r(1). Suppose -4*k = -2 + d, 3*i - 20 = -k. Does 7 divide i?
True
Let h(j) = -j**3 + 3*j**2 + 6*j - 5. Let z be h(4). Suppose -z*s = -s - 10. Does 3 divide s?
False
Let p(c) = -2*c**2 - 25*c + 17. Does 6 divide p(-12)?
False
Suppose 268 = 3*c + 16. Is 14 a factor of c?
True
Is ((-4)/(-5))/(32/1200) a multiple of 7?
False
Let o = 33 + 68. Is 18 a factor of o?
False
Suppose 0 = -3*u, -3*z - u = 14 - 50. Suppose 5*t = 22 - 12. Suppose t*p - z = -0. Is 5 a factor of p?
False
Let b(f) = 39*f. Let z be b(1). Let l = z + -24. Is 5 a factor of l?
True
Suppose -59 = -f + 15. Is 22 a factor of f?
False
Let m be (-5)/((-10)/96) - 0. Does 8 divide 6/(-4)*m/(-9)?
True
Suppose 5*p - p = 0. Suppose p = -5*s + 2*s + 2*d - 18, 4*s = d - 19. Let y(g) = g**2 - 5*g. Is y(s) a multiple of 18?
True
Let n(v) = v - v**2 + v - 4 + 4*v + 5*v. Does 10 divide n(8)?
True
Let g = 2 + -7. Let t(a) = a**3 + 6*a**2 + 5*a. Let h be t(g). Let i = h + 5. Is 3 a factor of i?
False
Suppose -6 = z - 5*k + 11, -12 = -3*k. Suppose -4*g - 1 = -y - g, -4*g = -y - z. Is (1 - 2)*(0 - y) a mul