 derivative of 2*r**3/3 + 11*r**2/2 - 6*r - 1. Is y(-8) a multiple of 15?
False
Let d(i) = i**3 + 7*i**2 + 5*i - 3. Let h be d(-6). Let w be 460/6 - 2/h. Suppose 4*x - 48 = w. Is 14 a factor of x?
False
Suppose -621 = -5*t - 151. Suppose -t = -2*m - 5*c, 0*m + m + c = 53. Does 13 divide m?
False
Let c(y) = y**2 - 4*y + 7. Suppose 0 = -5*g + 4*a + 29, 2*g + 2*a - 8 = -0*a. Does 6 divide c(g)?
True
Let z = -11 + 7. Let c be z*(-3 + (-3 - -5)). Suppose -171 = -c*k + 5*j - 31, 4*j - 140 = -4*k. Is 13 a factor of k?
False
Let w = 250 + -123. Does 20 divide w?
False
Let t(z) = -z**2 + 1. Let o(a) = 7*a**2 + 5*a - 12. Let b(j) = -o(j) - 6*t(j). Let l be b(-6). Is 5 a factor of 11 - -4 - (0 + l)?
True
Let l(p) = 14*p**2 - 11*p - 3. Does 16 divide l(4)?
False
Suppose -3*g + 3*j = -54, -2*g - 3*j - j + 60 = 0. Let f = g - 15. Is f even?
False
Let k be 16 + 1 - (-6)/3. Let q be ((-12)/10)/((-6)/165). Let s = q - k. Is 7 a factor of s?
True
Let y be (-3)/((-3)/14 - 0). Is 4/(-14) - (-102)/y a multiple of 7?
True
Let n(d) = -d**2 - 5*d + 6. Let g be n(-6). Let r = g - -18. Is 7 a factor of r?
False
Does 15 divide (-4755)/(-45) - (-2)/(-3)?
True
Let w(k) = 4*k**2 + 9*k + 2. Is w(-7) a multiple of 37?
False
Let j(h) = 0 - 1 - 7*h**3 + 6 + 4*h + 6*h**3 - 2*h**2. Does 30 divide j(-5)?
True
Is (-2 - (-1 + -2)) + 325/25 a multiple of 2?
True
Let k(h) = 3*h**3 - 13*h**2 - 17*h - 8. Let d(n) = -16*n**3 + 65*n**2 + 84*n + 40. Let w(g) = -2*d(g) - 11*k(g). Is 26 a factor of w(14)?
True
Let h be (2/(-2) - 17) + -2. Let z = -1 + -1. Is (h/z)/(3/12) a multiple of 20?
True
Suppose -126 = 3*b - 366. Is 10 a factor of b?
True
Suppose -4*g - 2954 = -922. Is 13 a factor of (-1)/(-5) - g/10?
False
Suppose 0 = -2*m - m - 2*w + 177, -m + w = -59. Is m a multiple of 13?
False
Let j = -2 - 5. Let h(b) = 7*b**3 + 2*b**2 + b - 4. Let r(o) = 6*o**3 + 3*o**2 + 2*o - 5. Let m(x) = 5*h(x) - 6*r(x). Is 5 a factor of m(j)?
True
Let t be 52*3 + (-2)/1. Suppose -l = -3*k + t, -5*k + 4*l = l - 262. Does 25 divide k?
True
Let w(q) = 54*q + 6. Is 12 a factor of w(3)?
True
Let u(c) = c + 6. Is u(6) a multiple of 6?
True
Let l = -16 + 58. Suppose -4*c + l = -c. Does 13 divide c?
False
Let m = 52 - 40. Does 3 divide m?
True
Let k(h) = 11*h - 3. Is k(5) a multiple of 26?
True
Let m = 576 - 1894. Let i be m/(-11) - (-2)/11. Suppose -7*d + i = -2*d. Does 24 divide d?
True
Let y(c) = -5*c + 1. Is 31 a factor of y(-6)?
True
Suppose 5*n - l - 6 = 67, 4*l - 8 = 0. Is 4 a factor of n?
False
Suppose 4*s = -s + 245. Let n = s - 19. Does 10 divide n?
True
Let o = 45 + -18. Let m = -9 + o. Does 5 divide m?
False
Is 144*(-4 - -7)/6 a multiple of 8?
True
Suppose -3*v + 104 + 148 = 0. Does 14 divide v?
True
Let d(s) = s - 12. Let x be d(9). Let q = -3 - x. Suppose q = 2*f - 6*f + 4*u + 16, -3*f - 4*u + 33 = 0. Does 7 divide f?
True
Let q = 12 + -10. Let v = -8 + 12. Let l = v - q. Does 2 divide l?
True
Suppose 2*q = -3*q. Suppose 4*i - 2*m - 312 = q, 2*i + 2*m - 296 = -2*i. Is i a multiple of 16?
False
Let a = 132 + -47. Is 10 a factor of a?
False
Let r(i) = -i**2 + 4*i + 5. Let f be r(5). Suppose 4*z - w + 12 = 3*w, f = 5*w - 15. Is (-20)/(-25)*(30 - z) a multiple of 12?
True
Let j = -350 + 502. Is 8 a factor of j?
True
Suppose 5*w - 939 = -139. Suppose 4*u + 3*y = 185, -4*y - w = -3*u - 2*y. Is u a multiple of 14?
False
Is (0 - (3 - 40)) + -3 + 6 a multiple of 10?
True
Suppose -22 = 2*d + 2*l, -5*d = 5*l - l + 57. Let q = d + 18. Does 5 divide q?
True
Suppose 174 = 3*f + w - 4*w, 3*w + 50 = f. Does 21 divide f?
False
Let g be -1*(-16 + 3) - -1. Suppose 3*h = -g + 98. Let s = 0 + h. Is s a multiple of 8?
False
Does 18 divide 0 + 3 + 210 - (-4 - -1)?
True
Suppose -4*w = 4*k - 8, 4*k + 5*w - 9 = 2. Let g be (-1)/(k - 12/(-15)). Suppose g*f + 18 = 73. Is f a multiple of 4?
False
Suppose -4*f + 1 = -3. Let s = f - -1. Suppose s*o - 1 = 7. Does 3 divide o?
False
Let w = 4 + 4. Let h be 3/2*w/4. Is 7 a factor of (-3)/h - (0 + -15)?
True
Suppose -5*m = -m - 12. Suppose 101 = m*a - 28. Suppose 4*d + 3 - a = 0. Is 4 a factor of d?
False
Suppose 8*q - 325 = 3*q. Does 18 divide q?
False
Let j = 11 + -6. Suppose -3*v = j*g - 75, -5*v + g + 103 = 2*g. Does 10 divide v?
True
Let l = 887 + -416. Is 58 a factor of l?
False
Let k = -13 + 8. Let r = 7 + k. Suppose -2*f = -r*z - 32 + 112, 3*z + 2*f = 100. Is z a multiple of 18?
True
Let c = -39 - -58. Suppose -3*x - 2*u + c = -11, 4*x - u - 29 = 0. Does 8 divide x?
True
Let i = 15 + -10. Suppose -h - i + 35 = 0. Does 15 divide h?
True
Let t(q) = q**2 - 10*q - 5. Is 2 a factor of t(11)?
True
Let h be 2 - (0 - 0) - -97. Let s = -61 + h. Does 19 divide s?
True
Let q(b) = 3*b**2 - 3*b + 3. Does 3 divide q(2)?
True
Suppose 5*g = 4*f - 26, 2*g + 17 = -0*g - 5*f. Let v be (-6)/4 + g/4. Let j = 23 + v. Is 10 a factor of j?
True
Let l(t) = 2*t**2 + 8*t - 12. Is 26 a factor of l(4)?
True
Suppose -4*z + z = -12. Suppose n = -n + z. Suppose -5*b + 3*b = 3*y, 2*b + n = -4*y. Is 2 a factor of b?
False
Let d(j) = j**2 - 4*j + 4. Let g be d(4). Suppose 108 = 3*k - 0*b + 2*b, -3*k + 90 = -g*b. Is 17 a factor of k?
True
Suppose -2*d = -5*d + 9. Let t = -6 + d. Does 10 divide -5*((1 - 2) + t)?
True
Let y = 272 + -32. Is y a multiple of 21?
False
Suppose 0 = 2*o - 29 + 3. Let b = o + -1. Is b a multiple of 3?
True
Let c = 154 + -128. Is 9 a factor of c?
False
Suppose -124 = -5*d + 4*m, 4*m + 26 = d + 2*m. Does 11 divide d?
False
Let i(d) = d**3 + 6*d**2 - 2. Let q be i(-4). Let j(f) = f**3 + 6*f**2 - 8*f - 10. Let n be j(-7). Does 5 divide n/((-27)/q)*3?
True
Suppose 0 = -2*d + 4*d - 150. Is d a multiple of 20?
False
Suppose -2 = -2*d + d. Let t be 6*4/6 - d. Suppose -n = -20 + t. Is 18 a factor of n?
True
Suppose -1 = 5*k - 6. Does 15 divide (25/20)/(k/24)?
True
Let v be -3*(40/6)/(-4). Suppose 3*g = -g + 4*z + 24, g = v*z + 22. Does 11 divide -4 - g/(-2) - -14?
True
Suppose 0 = -3*t + 3*q + 288, 2*t - 4*t = -5*q - 204. Is 16 a factor of t?
False
Suppose -4*t + 3*t = 4. Let s be (0 - 292/(-6)) + (-4)/6. Is t/(s/27)*-8 a multiple of 9?
True
Suppose 5*g - 8 + 3 = 0. Let o = 27 + g. Does 12 divide o?
False
Let t(y) = 8*y + 4. Is 28 a factor of t(10)?
True
Let m = -24 - -37. Let r = m - -7. Is 10 a factor of r?
True
Suppose 0 = -4*s + z - 59, z + 12 = -s + 4*z. Let d = 6 + -12. Let q = d - s. Does 9 divide q?
True
Suppose 680 = -23*v + 28*v. Does 17 divide v?
True
Let a = -55 - -77. Is 8 a factor of a?
False
Suppose 5*m - 59 = 121. Is 9 a factor of m?
True
Suppose 0*u + 2*u - 1250 = -2*c, 3*c = 2*u + 1875. Suppose 5*k + 0*k - c = 0. Suppose -4*i + k = -i - 4*p, 0 = 4*p - 16. Is i a multiple of 16?
False
Suppose -4*g = -9*g - 40. Does 8 divide (g/(-10))/((-5)/(-75))?
False
Let b(g) = 2*g - 3*g - 4*g - 9*g + 8. Is b(-4) a multiple of 22?
False
Let s(j) = -12*j**2 - j - 1. Let y be s(-1). Let q = y - -48. Does 12 divide q?
True
Suppose 0 = -13*p + 12*p + 181. Is 21 a factor of p?
False
Suppose 0 = -5*x, -3*n - 3*x = 2*x + 21. Let v = 12 + n. Does 5 divide v?
True
Suppose 0 = 16*g - 17*g + 5. Suppose 47 = g*a - x, 2*a - 4*x - 2 = 6. Is a a multiple of 6?
False
Suppose g - 6*o = -11*o + 226, 0 = g + 2*o - 241. Is g a multiple of 22?
False
Suppose n + 145 = 2*t + 4*n, -2*t = -5*n - 137. Does 13 divide t?
False
Suppose -5*o - 18 = -q - 2*o, 36 = 2*q + 2*o. Does 6 divide q?
True
Let h be (-1)/2*6*-2. Let m = -1 + h. Does 5 divide m?
True
Let g = 3 - 3. Suppose 14 = -5*d + 5*i - 21, d - 4*i + 19 = g. Is 6 a factor of 186/15 + d/(-5)?
False
Let j be 2/(-6) + 618/18. Let f = 50 - j. Is 9 a factor of f/(-40)*(-45 - 0)?
True
Let q(j) be the first derivative of -j**7/280 - j**6/90 - j**5/40 - j**3/3 + 2. Let c(w) be the third derivative of q(w). Is 7 a factor of c(-2)?
True
Suppose 0 = -4*n + 66 + 286. Does 11 divide n?
True
Let f(a) = -a**2 - 10*a - 11. Let n = -13 - -5. Let m be f(n). Suppose -4*c = -6*c + 4*y + 80, -c + m*y = -52. Is c a multiple of 10?
False
Let h = -276 - 52. Does 10 divide h/(-12) - (-2)/3?
False
Suppose -2*t - 57 = -3*h + t, 53 = 3*h - 2*t. Suppose h = 2*g - 69. Does 17 divide g?
False
Suppose 0*k = 4*k - 28. Let m(i) = i - 4. Let d be m(k). Suppose -d*w = -116 - 4. Does 21 divide w?
False
Let j = 20 + -12. Suppose j*l - 3*l = 110. Is 17 a factor of l?
False
Let a = -62 - -112. Does 9