second derivative of 3*f**5/10 + f**4/6 - f**3/3 + f**2/2 + 20*f. Suppose 0 + 2 = 2*b. Does 5 divide a(b)?
False
Let n be -2*35/(-10) + -3. Suppose 0 = a + n*a - 375. Does 25 divide a?
True
Suppose 15*k - 32 = 88. Does 8 divide k?
True
Does 12 divide ((-66)/10)/((-462)/83930)?
False
Suppose 8*z = 52*z - 38148. Is 9 a factor of z?
False
Let o(m) = m**2 - 6*m + 9. Let z be o(4). Does 14 divide 136/(-16)*-2*z?
False
Let t = 2 - -2105. Does 10 divide (-3)/18 + t/42?
True
Let n = -163 + 113. Let u = n - -73. Does 7 divide u?
False
Let u = -19 - 14. Let z be (11/u)/(2/54). Is 3 a factor of 4/18 + (-61)/z?
False
Let h(y) = -y**2 - 7*y + 14. Let d be (2 + -8)*(6 + -5). Let x be (-4)/d*-12 - -2. Is 20 a factor of h(x)?
True
Suppose -2*o = -o + 4, 5*x - 3*o = 4007. Is 16 a factor of x?
False
Let i be (-1)/((18/40)/(-9)). Suppose -5*n - 6*w + 4*w + i = 0, 2*n + 2*w = 8. Suppose 0 = 4*g + n*m - 60, g = 4*g + 2*m - 44. Is g a multiple of 14?
True
Let h = 1969 - -1531. Is 25 a factor of (-2)/(7/(h/(-8)))?
True
Suppose -60 - 50 = 2*w. Let t = w - -124. Does 23 divide t?
True
Let v be -3 - 7/(21/(-30)). Suppose 3*u - 2 = v. Let n(j) = 6*j**2 + j - 3. Is n(u) a multiple of 11?
False
Let n = -4826 + 7433. Is 43 a factor of n?
False
Let q(b) be the third derivative of -b**5/60 + b**4/24 + 2*b**2. Let x be q(3). Let v(j) = -5*j + 6. Does 13 divide v(x)?
False
Suppose -2*j + 40 - 12 = 0. Does 26 divide ((-106)/(-13) - j/91)*26?
True
Let f(c) = -c**3 + 6*c**2 - 4*c - 4. Let y be f(6). Suppose 3*l - 69 = 3*q, 0 = 5*l - 4*l. Let o = q - y. Is o a multiple of 5?
True
Let m(t) be the first derivative of 3*t**2/2 - 5*t - 3. Let k be m(6). Let c = 23 - k. Does 10 divide c?
True
Let n be (-1)/(4/24*1). Let o be n/3 + 2 - 2. Does 16 divide (2/3)/(o/(-114))?
False
Suppose 7 = -5*p + 2*t - 1, -2*p - 3*t = 7. Let j be 1/2 + 7/p. Is 32 + -1*j/(-3) a multiple of 9?
False
Suppose -9*a + 2453 = 5*k - 10*a, -k = -4*a - 483. Does 28 divide k?
False
Let q be 4*((-7)/(-2) + 3/(-2)). Suppose -18 = -5*c - d, 3*d + d + q = 0. Is 3 a factor of c?
False
Let m(j) = 3*j**2 - 2*j - 2 + 69 - 12. Is 12 a factor of m(0)?
False
Suppose 0 = 26*w - 0*w - 23348. Does 15 divide w?
False
Let b(j) = -63*j + 14. Is b(-1) a multiple of 2?
False
Let s be (90/4)/((-3)/(-2) - 2). Let p = 20 - s. Is p a multiple of 6?
False
Suppose 0 = -0*f + 2*f - 4. Let b be (4/2 - f)/1. Suppose -5*y + 23 + 87 = b. Does 11 divide y?
True
Suppose -15 = 5*x, -4*x - 35 - 23 = -2*i. Is i even?
False
Let c(g) = -2*g + 3. Let w be c(-1). Suppose 5*o = w*u + 465, o - 2*u - 97 = -3*u. Is o a multiple of 10?
False
Does 3 divide (-9)/18*(-688)/4?
False
Let x(o) = -8*o + 6. Suppose -2*g + 9 = 27. Is x(g) a multiple of 16?
False
Let i be (-6)/27 + 461/9. Suppose -59 = -5*l + i. Is l a multiple of 22?
True
Let j(q) = 4*q - 2*q - 4*q**3 - q + 5*q**3 + 1. Let p(a) = -11*a**3 + a**2 - 8*a - 8. Let y(n) = 6*j(n) + p(n). Is y(-2) a multiple of 23?
True
Suppose -9*s + 21*s = 6336. Does 24 divide s?
True
Suppose 4*f - 5*h - 24 = 0, -5*f + h + 2*h = -30. Suppose -5*t = 3*z + 46, 3*z - t = 2*t - f. Let c = z - -13. Is 2 a factor of c?
True
Let h(k) = 13*k**2 - 2*k - 43. Is h(-7) a multiple of 76?
True
Let d = 70 - -101. Let a = 599 - d. Is 11 a factor of a/16 - (-2)/8?
False
Let w(u) = -u - 38. Let a be w(-5). Is 2 a factor of (-44)/(-1) - a/11?
False
Let p = 645 + -485. Is 42 a factor of p?
False
Suppose 2*x - 450 = 4*d, 0*d - 5*x + 237 = -2*d. Let p be (-1)/(-8) + d/(-8). Suppose b = -3*n + p + 16, 0 = -b + 4*n + 65. Does 9 divide b?
True
Let r = 196 - 168. Is r a multiple of 4?
True
Suppose -4*c - 128 = -132. Suppose -y + 3*p + c = 0, 2*y + 22 = 4*y + 4*p. Is y even?
False
Suppose -3*b - 4 = 5*v, -3*b = -6*v + 4*v - 10. Is (-460)/(-11) - v/11 a multiple of 7?
True
Let o(l) = -l**3 - 7*l**2 + 9*l - 2. Let t be o(-8). Let b(f) = f**3 + 10*f**2 + 8. Is b(t) a multiple of 2?
True
Let w be -7 + 4 - (-1 + -4). Let c = 19 + -8. Let s = c + w. Does 4 divide s?
False
Let a = -1812 + 3142. Is a a multiple of 70?
True
Does 4 divide (14/(-3))/((-27)/2106)?
True
Suppose 8*h + 4*f = 9*h - 1162, 4*f = 8. Is 78 a factor of h?
True
Let i(n) = -26*n - 2. Let t be i(-6). Suppose 2*o + 2*o - 552 = 0. Suppose 0 = 4*f - t - o. Is f a multiple of 16?
False
Let u be (-16)/2 + (2 - -2). Is (((-3)/u)/(5/(-20)))/(-1) a multiple of 3?
True
Suppose 3*i - 3*s - 9 = 0, 7*s - 2*s = 2*i - 3. Does 24 divide -67*(6/2 - i)?
False
Let q(d) be the first derivative of -6*d**3 + 7*d**3 + 12*d**3 + 13*d**3 + 11. Is 26 a factor of q(-1)?
True
Let f(n) = 5*n - 12. Let g be (0 + 0 - -12)/1. Let s = g - 4. Is 12 a factor of f(s)?
False
Let u(t) = -6*t - 7. Let c be u(-5). Let j = 130 - 108. Suppose -18 = j*h - c*h. Is 16 a factor of h?
False
Let r(t) = 76*t**2 + 4*t - 6. Is r(2) a multiple of 17?
True
Let m(f) = 3*f**2 - 13*f - 5. Let r = -26 - -33. Is 17 a factor of m(r)?
True
Let c = 1544 + -1168. Does 5 divide c?
False
Let l be -1*11 + -9 + 9. Let s(c) = -8*c + 29. Does 30 divide s(l)?
False
Suppose -10890 = -61*h + 50*h. Is 45 a factor of h?
True
Let k(o) = -2*o**2 - 16*o + 5. Let h = -12 - -16. Suppose 3*d - h*j + 13 = 0, 0*j - 2 = j. Is 19 a factor of k(d)?
True
Let x(m) be the second derivative of -m**3/2 + 17*m**2/2 - 6*m. Let q be x(7). Let s(o) = 2*o**2 - 5. Is s(q) a multiple of 9?
True
Let o(m) = -m**3 - 6*m**2 - 10*m - 7. Let u be o(-6). Let b = u - -181. Does 16 divide b?
False
Suppose 13*m - 210 = 6*m. Does 42 divide ((-234)/m + 5)/((-2)/120)?
True
Suppose x + 2*v + 46 = 0, v - 116 = 3*x + 36. Let f be (x/15)/(2/(-3)). Suppose f*p - m + 2*m - 166 = 0, 0 = 4*p - m - 131. Is 11 a factor of p?
True
Let i(j) = 338*j - 94. Is i(5) a multiple of 28?
True
Suppose 5*s = 1 + 9. Suppose 3*j - 100 = -s*j. Is j a multiple of 4?
True
Suppose 0 = -10*b + 122 - 102. Suppose 4*y = y + 9. Suppose -b*l - 54 = -y*p - p, 5*l + 3 = -2*p. Is 2 a factor of p?
False
Let s be 768/(-15) + 1/5. Is (-4)/34 + (-873)/s a multiple of 8?
False
Suppose 5*t + 2*o = 948 + 961, 3*t = 4*o + 1135. Does 22 divide t?
False
Let t = -151 + 208. Is t a multiple of 5?
False
Let v be ((-1)/1 - 1) + 10. Suppose 0*m + 2*m = -4*y + v, -3*y = 0. Suppose m*s - 199 = -5*q, 2*q - q + 2*s - 35 = 0. Is q a multiple of 29?
False
Let i(o) = -o**2 - 10*o + 8. Let c be i(-4). Suppose 2*w = 20 + c. Is 13 a factor of w?
True
Let w = -18 - -18. Let n be -2*(1 - w)*-1. Suppose 2*q = 2*b - 48, -n*q + 86 + 55 = 5*b. Does 10 divide b?
False
Let m(w) = w**3 + 7*w**2 + 2*w - 4. Let y be m(-8). Is 9 a factor of (y/(-5))/(1 - 12/15)?
False
Let b(c) = -107*c - 162. Is 30 a factor of b(-6)?
True
Let w = -116 + 71. Is 38 a factor of 68*(w/(-12))/5?
False
Suppose -5*z - 575 = -5*m + 350, -5*z = 15. Let y be (-8 + 3)*6/(-5). Suppose m = 4*p - y. Is 16 a factor of p?
False
Suppose 0 = 4*r - 3*t - 9, 14 = -r - 0*r + 4*t. Let l be (0 + 3)*r/9. Suppose 6*o - 3*o - k - 82 = 0, -2*o - l*k = -60. Does 6 divide o?
False
Suppose -6*y + 7 = -5*y. Suppose -4*z + 19 = -4*w + y, -4*z - 2*w = -30. Suppose 200 = -f + z*f. Does 10 divide f?
True
Let p be 2*((-5)/((-10)/9) - 3). Suppose 12*b - p*b = 1413. Does 39 divide b?
False
Let a = -328 - -661. Let z = -223 + a. Does 22 divide z?
True
Let a(x) = x**3 - 42*x**2 - 174*x + 26. Does 8 divide a(46)?
False
Let t be (-2)/(-12)*-4*-6. Let f be 6 + (3 - (t + 0)). Is 10 a factor of 15/f*40/6?
True
Suppose -2*y + 0*w = -w - 652, -3*y + w = -977. Is 56 a factor of y?
False
Let x be 5 + -2 - (5 - 3). Is 2 a factor of 7 - (4 - (x - 0))?
True
Let s = 36 + -36. Suppose s = -23*v + 21*v + 58. Is 29 a factor of v?
True
Suppose 806 - 209 = 3*s. Suppose 0 = 5*v + 54 - s. Is 4 a factor of v?
False
Suppose 5*m = -5*y + 8645, -2*m + 603 + 2850 = -3*y. Is 25 a factor of m?
False
Suppose 2*l = -235*t + 231*t + 5456, -5*t + 3*l + 6831 = 0. Does 15 divide t?
True
Let m(d) = d**3 + 20*d**2 - 4*d + 25. Is m(-10) a multiple of 15?
True
Let g(x) = -2*x + 17 - 2 + 3. Does 6 divide g(-6)?
True
Let i(n) = -7 - 6*n**2 + n - 8*n - n**3 + 1. Suppose -3*t = -3*k, -26 = t + 4*k - 1. Is 4 a factor of i(t)?
True
Suppose 0 = 3*g, 4*j - 279 = -3*g + 209. Suppose 3*q - 4*q = -3*t - 43, 0 = -3*q + 2*t + j. Does 4 divide q?
True
Does 3 divide (-17 + 4)/(-3 - (-14)/5)?
False
Let u = 1285 - 540. Is u a multiple of 97?
False
Let v = -2381 - -4644.