f**5/40 - f**4/3 + 5*f**3/3 - 11*f. Let i(v) be the second derivative of x(v). Is 26 a factor of i(-4)?
True
Suppose -6*n + n = -375. Let s = -130 + n. Let o = -30 - s. Does 25 divide o?
True
Suppose -7784 = -48*s + 7048. Is 52 a factor of s?
False
Suppose 5*v - 843 = 3*h - h, -2*v - 5*h = -314. Let r = -103 + v. Does 16 divide r?
True
Let v(n) = -n**3 - 6*n**2 + 4*n - 10. Suppose -a - y - 7 = y, 3*y = 0. Let z be v(a). Let m = z + 0. Is 5 a factor of m?
False
Let b = -599 + 786. Is 3 a factor of b?
False
Let k be 2 - (-4)/(-2) - 0. Is 216/(2 + k) - 4 a multiple of 15?
False
Suppose 2*y - 87 = -t + 4*y, -348 = -4*t - 2*y. Suppose -4*d - 3*f = -t - 37, -12 = -3*f. Does 8 divide d?
False
Let n(m) = m**3 + 15*m**2 - 18*m + 23. Let z = 39 + -55. Is n(z) a multiple of 25?
False
Let l(v) = 21*v - 1. Let q = -28 - -17. Let w = -10 - q. Does 10 divide l(w)?
True
Suppose -3015 = -10*y + 2995. Is y a multiple of 11?
False
Let u be (-1)/1 - (6 - 9). Suppose u*s + 120 = -s. Is 10 a factor of s/(-14)*56/16?
True
Let f(k) = -k**3 - 7*k**2 - k - 3. Let b be f(-7). Let x = -114 - -120. Suppose -x*w + b*w + 12 = 0. Does 6 divide w?
True
Suppose -613 = -3*b - w, -631 + 22 = -3*b + 3*w. Is b a multiple of 34?
True
Suppose v - 2*i = -v - 26, -2 = -2*i. Let h = -8 - v. Suppose 40 = h*j + y - 32, -5*y + 18 = j. Does 5 divide j?
False
Suppose 3*c - 2021 + 512 = 0. Does 10 divide c?
False
Suppose -4*c = -t + 27, -21*c - 6 = -18*c. Is 19 a factor of t?
True
Let a be (-232)/(-12)*(-9)/2. Let i = 145 + a. Does 3 divide 4/10 - i/(-5)?
True
Suppose g - 5*f = 21, 4*g - 6*f = -2*f + 20. Let q(u) = 62*u**2 + 2*u - 1. Is q(g) a multiple of 39?
False
Suppose -a = -3*q - 1503, 7489 = 5*a + 7*q - 9*q. Is a a multiple of 70?
False
Let g be ((-14)/(-6))/((-8)/(-24)). Suppose 2*s - 21 = g. Does 7 divide s?
True
Suppose 3*z + 14 = -4*c, 4*z + 4*c = 2*z - 12. Does 21 divide 4/16*z*3*-84?
True
Let m be (0 - (-4 - -1)) + 3. Suppose -m*u - 11 + 29 = 0. Suppose 2*f = 3*v + 37, 4*f - u*v - 68 = v. Is f a multiple of 10?
False
Let b be (-18)/24 - (-11)/4. Let t(i) = 6*i**2 - 2 - 1 - 2*i**3 + 10*i - i**3 + b*i**3. Is 18 a factor of t(7)?
True
Suppose -5*o + 2*l - 659 + 2871 = 0, -5*o - l = -2209. Is o a multiple of 15?
False
Suppose 6*j = -44 + 200. Is j/(-91) - 4*281/(-14) a multiple of 16?
True
Suppose -5531*a = -5534*a + 6567. Is a a multiple of 19?
False
Suppose 0 = -2*r - 17 + 1. Does 4 divide (r/(-5))/(4/30)?
True
Let y be (-68)/(-8) - (3 + (-14)/4). Is 8 a factor of (-23)/(-2) + 5/((-30)/y)?
False
Is (80/120)/(4/774) a multiple of 17?
False
Suppose -i - 2 = -4. Suppose n - i = -0*n. Is 2 a factor of n?
True
Let s(o) = o**3 - 10*o**2 + o + 8. Let t be s(8). Let m be (-126)/(-16) + (-14)/t. Suppose 85 = 3*x - m. Is x a multiple of 11?
False
Let p be 5 - 2 - (-4 + -2 + -224). Let r = p + -155. Is 13 a factor of r?
True
Let q = 17 + -14. Suppose 3*w = -m, -q*m + w = -w. Suppose 2*y - 70 - 58 = m. Is 16 a factor of y?
True
Let h = 31 - 27. Suppose 182 = h*d - 46. Suppose q = -3*m + 171, -d = -m - 0*m - 4*q. Is m a multiple of 7?
False
Let g(u) = -2*u + 34. Let h be g(17). Suppose 2*j + 4*i - 92 = 0, 4*j + h*i - 4*i = 196. Does 16 divide j?
True
Let j = -676 + 1008. Suppose 4*b - 3*w - 332 = 2*w, -4*b + w = -j. Does 34 divide b?
False
Let x(l) = -2*l**2 - 80*l - 15. Is x(-10) a multiple of 13?
True
Let h(u) = u**2 + 3*u + 1. Let p be h(-4). Suppose 0 = 5*f - p, 5*r = -3*f - 19 + 7. Is (r/(-6))/((-1)/(-12)) a multiple of 2?
True
Suppose -883 = -5*p + 4*f, -3*p + 296 + 221 = 4*f. Is p a multiple of 25?
True
Let r(u) = 60*u + 1 - 25*u + 125*u. Let n be r(-1). Let z = n - -228. Does 22 divide z?
False
Is ((-13536)/(-705))/((-2)/(-10)) a multiple of 24?
True
Let l = 10 + -15. Is 16 a factor of -1 + (-105)/l + -4?
True
Let i be (2 + -4)*(3 + (-33)/6). Suppose i*x + 3*r - 315 = x, 79 = x + r. Is 17 a factor of x?
False
Suppose -494 = -5*h + 3*z, -4*h + 3*z - 106 = -5*h. Is h a multiple of 5?
True
Suppose -3*u + 0*u = 5*g - 1553, -5*u + 2582 = 2*g. Is 6 a factor of u?
True
Let l(h) be the third derivative of h**8/20160 - h**6/144 + h**5/30 + 6*h**2. Let n(x) be the third derivative of l(x). Is n(-4) a multiple of 7?
False
Let k = 48 + -81. Let c = k - -45. Does 5 divide c?
False
Let c(u) = -9*u + 9. Let f be c(4). Let h = f - -32. Is 3 a factor of h?
False
Let q(l) = 22*l**2 + 12*l + 7. Does 11 divide q(-3)?
False
Suppose -3*d - 4*x + 3 + 12 = 0, -2*x + 25 = 5*d. Suppose -4*k + v = -21 - 298, d*v - 165 = -2*k. Does 16 divide k?
True
Let j(g) = -g**3 + 5*g**2 + 6*g - 7. Let u(y) = y**2 + 2*y - 1. Let s be u(-3). Suppose s*z = -3*z + 25. Is j(z) a multiple of 6?
False
Suppose -3*j + 4*k + 35 = 0, -3*j - 5*k - 5 = j. Suppose -j*f + a + 31 = 0, -6*a = -2*a - 16. Is 10 a factor of (-568)/(-28) - 2/f?
True
Suppose 6*v = 2*v + 1964. Suppose 0 = 5*b - 534 - v. Suppose -35 - b = -4*s. Is 15 a factor of s?
True
Suppose -4*l + 4*f = -6396, 13*f = 14*f - 2. Is l a multiple of 17?
False
Suppose -4*f = 5*y - 4666, -5*y + 4670 = 70*f - 65*f. Does 30 divide y?
True
Suppose 7*b + 1268 = 11*b. Let a = b + -189. Is 32 a factor of a?
True
Let a(s) = 30*s - 13. Let w(f) = f - 14. Let r be w(17). Does 15 divide a(r)?
False
Suppose 5*l - 216 = 344. Suppose 130 = 2*p - l. Does 24 divide p?
False
Let s be -4*(-4 + 140/(-8)). Suppose -5*h + s = 221. Is (0 - h) + (-39)/13 a multiple of 6?
True
Suppose -573 = -17*a - 63. Is 30 a factor of a?
True
Let w(x) = 154*x**3 - x + 3. Let r(m) = 155*m**3 - m**2 + 3. Let g(v) = -3*r(v) + 4*w(v). Is g(1) a multiple of 51?
True
Suppose 8 = -2*b + 10. Does 12 divide (-810)/(-12) + b/(-2)?
False
Let h = 96 - 137. Let w = -22 - h. Is 6 a factor of w?
False
Suppose 2*n - 8 = 0, -j = -7*n + 4*n + 20. Let q(b) = -4*b - 24. Is 2 a factor of q(j)?
True
Let c(g) be the third derivative of g**6/120 - 7*g**5/60 - 5*g**4/24 + 2*g**2. Does 5 divide c(8)?
False
Suppose -4*m = 3*x - 200 - 292, -5*x - 20 = 0. Suppose m = 12*u - 9*u. Is u a multiple of 9?
False
Let o(v) = -v**3 + 3*v**2 - 5*v + 2. Let q be 132/(-28) + (-2)/7. Is o(q) a multiple of 30?
False
Let n(o) = 43*o + 2. Let r be n(3). Let v = r + -45. Does 11 divide v?
False
Let b be 1*(4 - (0 + 2)). Suppose 5*y - 20 = 5*i, 3*i - b = -2*y + 1. Suppose -y*v = -4*g - 199, 2*v - 24 = -5*g + 78. Is 16 a factor of v?
False
Let k(o) be the third derivative of o**6/120 + 13*o**5/60 - 5*o**4/24 + 8*o**3/3 + 19*o**2. Does 27 divide k(-13)?
True
Suppose -2*a - r + 11 = 0, 3*r - 9 = -0*r. Suppose -2*y + 870 = a*y. Is 29 a factor of y?
True
Suppose 0 = 12*t - 2*t - 4690. Is t a multiple of 20?
False
Suppose s + 3 = -10. Let g = s + 18. Suppose -g*f - 5 + 73 = 2*h, 0 = -5*h - 5. Is f a multiple of 7?
True
Does 15 divide 3717/51 - -3 - 8/(-68)?
False
Let s(v) = 4*v**2 - 96*v - 17. Is s(31) a multiple of 8?
False
Suppose 4*s - 1220 + 240 = 0. Does 27 divide s?
False
Suppose -2481 = 6*w - 8331. Is w a multiple of 25?
True
Let u = 24 - 5. Let d be (u - (-8)/(-2))*2. Suppose -3*w + 24 = -d. Does 9 divide w?
True
Suppose v - 14 - 13 = 0. Let y = v + -24. Suppose d + x = -0*d + 14, -5*x - 26 = -y*d. Is d a multiple of 6?
True
Let p(j) = 20*j**2 - 4*j - 23. Does 13 divide p(11)?
True
Let i(j) = -j**2 + 35*j + 18. Is 2 a factor of i(0)?
True
Suppose 11*j + 19*j = 36720. Does 18 divide j?
True
Let b(h) = h**3 + 48*h**2 - 14*h + 146. Is 24 a factor of b(-48)?
False
Let o(r) = 3*r**3 - 138*r**2 + 18*r - 124. Does 79 divide o(46)?
False
Suppose 245*u - 582 = 242*u. Is u a multiple of 33?
False
Is 92 a factor of -17*(-7 + 1077)/(-10)?
False
Suppose -95 = -6*w - 269. Let q = w - -51. Suppose -3*g = -5*u - 39, 2*g - 55 = u - q. Does 10 divide g?
False
Let n(z) = 179*z + 374. Does 8 divide n(7)?
False
Let v(c) = -20*c**2 - 21 + 10 - 1 - 25*c - c**3. Is 23 a factor of v(-19)?
False
Is 7 a factor of ((-30)/20 + 0)/(6/(-3388))?
True
Let n(k) = 4*k**2 + 7*k - 9. Let u be n(1). Suppose y = 5*f - 15, 0 = 2*y - 0*y - 4*f + 12. Is 8 a factor of (1 + y)*42 - u?
True
Suppose -4*o = 3*a - 86, 180 - 26 = 5*a + 4*o. Is 17 a factor of a?
True
Let c = -101 + 99. Is (22 - -5) + c/(-4)*-4 even?
False
Suppose -q = -0 + 2. Let a = 3 + q. Does 28 divide 57 + (0 - a)*1?
True
Suppose 0 = -9*x + 13*x - 16. Suppose -2*t + 22 = -x*p + 8, -p = -2*t + 23. Is 9 a factor of t?
False
Let g(n) = n**3 