*6/36 - n**5/30 + n**4/12 + 4*n**3/3 - 6. Let t(h) be the third derivative of x(h). Is t(2) a multiple of 17?
True
Suppose a = -3*v + 125, 2*a = -a + 3*v + 363. Does 3 divide a?
False
Let x(i) = 2*i**2 + i. Let b(t) = -t - 11. Let d be b(-9). Let v be 8*d/(-4)*-1. Does 9 divide x(v)?
False
Suppose -3*o + 35 = 2*o. Let q(z) = -z + 30. Is 8 a factor of q(o)?
False
Suppose 0 = 3*i - i - 5*v + 11, -2*i - 8 = -2*v. Does 12 divide (-854)/i - 28/42?
False
Suppose 4*c = -7*w + 2*w + 758, -c = -5*w + 773. Is 56 a factor of w?
False
Let g = 23 + -39. Let k be (-6)/(-9) - 560/(-24). Let o = g + k. Is 3 a factor of o?
False
Let x(b) = -13*b - 10. Suppose 5*i - 3*h = -56, -53 = 5*i - 0*i - 4*h. Is x(i) a multiple of 20?
False
Suppose -28*k + 504 = -25*k. Is 12 a factor of k?
True
Suppose h - 9 + 7 = 0. Suppose 7 = n + 2. Suppose -44 = -2*u + b - n*b, h*u + 2*b - 42 = 0. Does 10 divide u?
True
Let w = 105 - 120. Is 141 - w/10*2 a multiple of 53?
False
Suppose 4976 = -14*d + 22*d. Does 21 divide d?
False
Suppose 0 = -5*p - 3*d + 40, -5*p + 5*d = -0*d. Suppose -3*j - 3*t = 3, -3*j + 2*t = 6*t + p. Is -1*18*(-2 + j) a multiple of 6?
True
Suppose j - 3 = 0, -2*z + 3*j + 15 + 34 = 0. Suppose -31 - z = 4*f. Let l = 27 + f. Does 6 divide l?
True
Let m(g) = g**2 - 6*g - 10. Suppose w - 49 = -s - 10, -2*w + 201 = 5*s. Suppose 1 - s = -5*x. Is m(x) a multiple of 6?
True
Let p be 2/(-5) - 6/(-15). Let y(k) = p + 8*k + 6*k - 7*k + 1 - k**2. Is y(5) a multiple of 3?
False
Suppose 0 = -4*z - 20, 0*p - z + 7 = 2*p. Let m(h) = h + 1. Let n(j) = 8*j + 2. Let f(u) = -4*m(u) + n(u). Does 11 divide f(p)?
True
Suppose 4*g + 3*y - 54 = 0, 0*g - g + 16 = 2*y. Let c be g*(2 - -2)/16. Suppose c*p + 5 - 17 = 0, p = -5*z + 154. Is z a multiple of 14?
False
Let d(x) be the first derivative of -1/4*x**4 - 1 - 10*x + 3/2*x**2 - 7/3*x**3. Does 15 divide d(-8)?
True
Let b(z) = z**3 - 4*z**2 - 2. Let o be b(4). Let c be o/(2 - 3) - 89. Let m = c - -132. Is m a multiple of 15?
True
Let w be (-26)/(-10) - 3*(-2)/(-10). Suppose -122 = -c - 4*k, 4*c - w*k + 256 = 6*c. Is c a multiple of 26?
True
Let l(j) = j**3 - 5*j**2 - 2*j + 6. Let v be l(5). Let z = v + 5. Is 37 - (-12)/(2 + z) a multiple of 31?
False
Let m(r) = -5*r**3 + 9 + 2*r**3 + 4*r**3 + 6*r**2 + 5*r**2 - 11*r. Let l be m(-12). Is 16 a factor of (-4)/l*3*4?
True
Suppose -375 = -7*v + 2089. Does 32 divide v?
True
Let b be 1/3 - (-65)/39. Suppose 3*p + 0*g = -b*g + 13, 0 = -2*p + 5*g + 15. Suppose p*y = 106 + 194. Does 12 divide y?
True
Let h = 226 - 302. Suppose 0*v = -v + 130. Let i = v + h. Does 18 divide i?
True
Let t be 1 - (-35)/(-20) - (-3)/4. Let w(n) = 10*n**2 + 8*n - 5. Let k be w(5). Suppose -5*v = -t*v - k. Is v a multiple of 19?
True
Let f(o) = 4*o**2 - 7*o + 3. Is f(4) a multiple of 13?
True
Suppose 3*r = -4*v - 10, -r - 4*r - 4*v = 6. Suppose -n = 4*l - 2*l + 5, 11 = -3*n - 5*l. Suppose -n*p + 182 = -2*t, 3*t - t = r*p - 122. Does 20 divide p?
True
Let t be (-10)/(-55) - 2242/(-11). Suppose -5*d = d - t. Is d a multiple of 7?
False
Let q = -43 + 71. Let d(s) = 9*s + 7*s + q*s + 8*s. Does 25 divide d(1)?
False
Let v = -315 - -679. Suppose 2*s + 95 = 3*s + 3*j, -4*s + v = -4*j. Is 23 a factor of s?
True
Suppose 0 = -3*i + r + 1026, -4*r = -8*i + 3*i + 1710. Suppose 4*g + 951 = -5*j - i, j = 5*g - 247. Let o = 396 + j. Is 36 a factor of o?
False
Suppose 0 = -2*u + 10, -1 = -3*o + u + 12. Suppose -5*x + 2*w - 83 = 0, o*w - 20 = w. Let q = 39 + x. Is 6 a factor of q?
True
Suppose -4*n + n + 4*i - 3 = 0, 0 = 4*n + 4*i - 24. Suppose 3*f - 5*q = -5, -44 = 5*f - n*q - 9. Let w(p) = -p**3 - 10*p**2 - 3*p + 6. Is 18 a factor of w(f)?
True
Is ((2 - 0)/2)/(11/1738) a multiple of 46?
False
Suppose -l - 8 = l. Does 3 divide 9*(33/(-9) - l)?
True
Suppose j - 395 = 4*i, -3*j + i + 259 = -959. Suppose -j = -5*t + 113. Is t a multiple of 26?
True
Let k = -47 - -53. Suppose 2*d + 2*n - 80 = 0, 0 = k*d - 2*d + n - 145. Is d a multiple of 7?
True
Suppose -2*z = -4*z - 20. Let d(c) = -c - 15. Let m be d(z). Let k(q) = q**3 + 6*q**2 - 3*q + 2. Does 7 divide k(m)?
True
Suppose 7*f + 2280 = 3*f. Does 6 divide (f/133)/((-2)/28)?
True
Suppose 2*a - 675 = -5*o - 3*a, a = 4*o - 540. Suppose -t = v - 63, v + 5*t = -v + o. Suppose -5*d + v = -10. Does 7 divide d?
True
Let b = 38 + -29. Let q = -24 + b. Is 2 a factor of (-192)/q + (-16)/20?
True
Suppose -2*b = 2*r + 12, 9*b - 30 = r + 4*b. Is r/(4/18 + 10/(-18)) a multiple of 30?
True
Let z(v) = -v**3 + 4*v**2 + v - 2. Suppose -2*y = -7*y + 15. Let s be z(y). Suppose 20 = 2*d + 4*n - s, -5 = -3*d + 4*n. Is 3 a factor of d?
False
Suppose 5*c - 140 = 5*x, 2*x - 29 = 3*x - 2*c. Let h = x + 12. Does 7 divide (100/h)/(2/(-9))?
False
Suppose 33*h - 2223 - 16785 = 0. Is h a multiple of 73?
False
Let q = 236 + 14. Does 12 divide q?
False
Suppose -102*p = 2*x - 103*p - 3693, 5*p - 9255 = -5*x. Is 28 a factor of x?
True
Let x(k) = k**2 - 8*k - 13. Let j be (3/4)/(27/(-216)). Is 21 a factor of x(j)?
False
Let f = 88 + -125. Let j = f + -5. Let b = j - -63. Is b a multiple of 21?
True
Let t(n) = -2*n**3 - 19*n**2 - 32*n + 69. Is t(-11) a multiple of 28?
True
Suppose -9*n - 3360 = -14*n. Does 26 divide n?
False
Let o = -281 + 2136. Does 7 divide o?
True
Let z = 10 - -17. Let k = 29 + z. Does 8 divide k?
True
Let o(p) = 14*p**2 + 8*p - 12. Does 45 divide o(-3)?
True
Let f(a) = 24*a + 64. Is 14 a factor of f(16)?
True
Let m(g) = 30*g - 300. Is 9 a factor of m(49)?
True
Suppose -77*c + 17443 + 40769 = 0. Does 108 divide c?
True
Let r = 39 - 39. Suppose s - 26 = -2*p + p, r = 3*s - 2*p - 63. Is s a multiple of 5?
False
Let b be (-42)/28 + 9/2. Is 3/(-2)*(-76)/b a multiple of 3?
False
Let c(i) = 10*i + 1 + 0*i + 0*i - 2. Let n be c(-1). Does 7 divide 0/(-1) - n - -2?
False
Suppose 3285 = -5*m + 14*m. Is m a multiple of 53?
False
Suppose 4*q - 5*q = -6. Is 6 a factor of (q/12)/(2/120)?
True
Suppose 2*x - 3595 + 3547 = 0. Does 24 divide x?
True
Is 3/2 + (-1080)/(-48) a multiple of 8?
True
Suppose -120 = 5*s - 145. Suppose 74 = 2*b - 2*l - l, s*l = 5*b - 185. Is b a multiple of 11?
False
Suppose 0 = -2*g - 4*w + 390, -w = 3*w - 16. Is 11 a factor of g?
True
Is (-8)/(-2) - (-207 - -1) a multiple of 7?
True
Let x(g) = -67*g + 27. Let d be x(4). Does 24 divide -1*(d + 1)*(-3 + 4)?
True
Let n(a) be the first derivative of 29*a**4/8 + a**3/6 + 2*a**2 + 13. Let d(o) be the second derivative of n(o). Does 11 divide d(1)?
True
Let w(s) = s**2 - 5*s + 6. Let x(g) = 11*g**2 - g. Let r be x(1). Let l = r + -4. Is 12 a factor of w(l)?
True
Suppose -2*w = w - 63. Suppose -a = -145 + w. Is 27 a factor of a?
False
Let c(v) = 2*v - 10. Let g be c(15). Suppose -4*k + 5*k = g. Is k a multiple of 6?
False
Let q(y) = y - 2. Let n be q(-1). Let m be (6/(-4))/(n/18). Suppose 3*f - m = -2*f - a, -4*f - 4*a + 4 = 0. Is 2 a factor of f?
True
Let p = 0 - -12. Let w = 48 + p. Is w a multiple of 15?
True
Let a(f) = f**2 + 10*f + 5. Let t be a(-10). Let m(k) = -t*k**2 + k**2 + k**3 + 0*k**3 + 3 - 8*k - k**2. Does 11 divide m(7)?
False
Let d(y) = 4 - 9*y - 1 + y**2 + y**2. Suppose -k + q + 29 - 17 = 0, 0 = -3*k - 3*q + 18. Is 15 a factor of d(k)?
False
Suppose -4*x + 2368 = 11*g - 7*g, g = x + 584. Does 28 divide g?
True
Let j = 27 + -27. Is (0 + 21 - j) + 3 a multiple of 6?
True
Let c(w) = -7*w. Let r be c(4). Suppose -2663*j = -2672*j + 423. Let i = r + j. Is i a multiple of 5?
False
Let w(g) = -12*g**3 + 5*g**2 + 4*g + 4. Let b be w(-3). Let y = b + -158. Does 15 divide y?
False
Suppose 29*o = 32*o + 627. Let g = -144 - o. Is 13 a factor of g?
True
Suppose 12716 = 24*y + 2684. Is y a multiple of 38?
True
Let h = -12 + 16. Suppose -382 = -h*b - 90. Does 25 divide b?
False
Suppose 57 = 4*h + 65. Is 15 a factor of ((-2)/h + 134)*2/6?
True
Let r(c) = 11*c - 55. Let x be (5 - 4)*(-2 - -13). Does 22 divide r(x)?
True
Suppose 3*c = 8*c. Suppose 2*w - 3*d - 66 = c, -119 = -5*w - 6*d + 2*d. Is w a multiple of 6?
False
Suppose -4*d + 329 + 1715 = 0. Does 36 divide d?
False
Suppose -b + 1061 = 4*d, 0*d - 783 = -3*d - 5*b. Let a = d + -144. Is a a multiple of 16?
False
Does 14 divide -26 + 705/27 + (-3770)/(-9)?
False
Let a be (-12)/(-4) + 1/1. Let s = a - -1. Suppose 4*p - s*v - 38 = 0, 3*v + 46 = 4*p + 2*v. Does 12 divide p?
True
Let c be (-12)/(-9)*(2 - 