*d - 646 = -b. Is d a multiple of 6?
False
Let y(v) be the first derivative of 6*v - 1 + 1/2*v**2. Is 3 a factor of y(0)?
True
Let a be ((-18)/4)/((-6)/8). Suppose 4*g - 2*p - 74 = 0, -52 = -2*g - 2*p - a. Is 20 a factor of g?
True
Suppose 0 = 7*k - 2*k - 10. Suppose -2*a + 104 = 2*h + k*a, 3*h + 3*a - 141 = 0. Is 7 a factor of h?
True
Suppose 3*i - 7*i - 5*f + 25 = 0, -4*i - 20 = -4*f. Suppose i = w - 3*a - 33, a = w + w - 86. Is 9 a factor of w?
True
Suppose 4*h = 3*p + 45, -2*h + 0*h = 3*p - 27. Is h a multiple of 6?
True
Let r(d) = 3*d**2 - d - 10. Is r(-5) a multiple of 8?
False
Suppose 0 = -4*x - 4*o - 20, 3*x - 5*o = x - 10. Let f = x - -11. Is f a multiple of 3?
True
Suppose -h - 2*h = -81. Does 20 divide h?
False
Let q = 3 + 1. Suppose -84 = x - q*x. Is 10 a factor of x?
False
Let p(c) = -43*c**3 + c. Let u be p(1). Let j = u - -92. Is 25 a factor of j?
True
Let g = 2 + 1. Suppose -5*j = 4*c, g*j - c - 25 = -2*j. Suppose 35 = j*s + 3. Is 8 a factor of s?
True
Let m be (-2 - -1 - -1)/(-1). Let u = 21 - m. Let w = -11 + u. Does 5 divide w?
True
Let x = -54 - -11. Let k = 60 + x. Does 10 divide k?
False
Suppose -5*v = -10, s + 2*s + 5*v + 8 = 0. Let h(q) = -q**2 - 6*q. Let u be h(s). Suppose u = -0*m + 4*m - 76. Does 10 divide m?
False
Let l(w) = -w**2 + 6*w - 4. Let s be l(4). Suppose s*x - 1245 = -425. Suppose f = 2*f, x = 5*i - 3*f. Does 18 divide i?
False
Let s = 12 + -10. Suppose 0 = -s*q - q + 54. Does 6 divide q?
True
Let s(w) = -2*w**3 + 2*w**2 - 2*w. Let z be s(2). Is 4 a factor of (-50)/(-6) + 4/z?
True
Let k(x) = 0 - x**2 + 3 - 4 + 12*x - 4. Does 12 divide k(10)?
False
Let i(w) = -w**3 - 5*w**2 + 7*w + 9. Let o be i(-6). Suppose o*r = 6*r - 99. Suppose -5*b - r = -3*u, -b = 3*u + 2*b - 33. Is 4 a factor of u?
False
Let j = 61 + -52. Is 4 a factor of j?
False
Suppose 2 = -d + 2*d. Suppose 6 = -d*o + 4*o. Suppose 4*w - 20 = 0, o*a + 5*w + 64 - 167 = 0. Is 13 a factor of a?
True
Let t = -20 + 19. Is 6 a factor of 2*(25 + t)/4?
True
Let o(k) be the second derivative of k**4/12 - 5*k**3/6 - k**2 + 2*k. Let q(f) be the first derivative of o(f). Does 3 divide q(5)?
False
Suppose 0 = n + 4*m - 6*m + 2, -n + 5*m + 1 = 0. Let h = n + 14. Let f = -5 + h. Is f a multiple of 5?
True
Let n(j) = -4*j - 2. Is n(-2) a multiple of 3?
True
Let n(z) = z**3 + 5*z**2 + z - 1. Let d be n(-5). Let g(b) = -3*b**3 - 2*b - 8 + 2*b**3 - 4*b**2 + 9*b. Does 11 divide g(d)?
True
Let o = -22 + 62. Is 20 a factor of o?
True
Let j(p) = -p**3 - 10*p**2 - 10*p - 8. Let x(g) = g**2 - 7*g + 3. Let a be x(3). Let d be j(a). Let m(c) = 13*c**3 - 2*c**2 + 1. Does 9 divide m(d)?
False
Let d(i) = i + 8. Let o be d(-6). Suppose 4*l - 7 = 2*m - 53, 0 = o*m + 2*l - 76. Is m a multiple of 11?
True
Suppose 0 = -v - 2*v - 5*t + 12, 0 = 2*t + 6. Suppose -w + 3*o - 1 = -13, -2*o - v = -w. Suppose 5*n + 5*u + 31 - 146 = 0, u = w*n - 69. Does 9 divide n?
False
Let l be 1/(1/6*3). Suppose 7*g = l*g + 120. Suppose -3*c - a = -93, -179 = -5*c - 2*a - g. Does 16 divide c?
False
Let m(a) = a**2 + a. Let d(g) = -21*g**2 + 4*g - 2. Let t(p) = -d(p) + 3*m(p). Let b be t(2). Suppose b = 3*l + l. Does 7 divide l?
False
Suppose 28 = 3*w - 5*a, -w + 4*a = -6*w - 15. Let h be (-1 + w)/(-6 - -7). Suppose h = 4*k - 0*k - 92. Is 23 a factor of k?
True
Let t = 4 + 17. Is 4 a factor of t?
False
Let r(y) = 3*y - 8. Let l(q) = 4*q - 9. Let x(p) = 2*l(p) - 3*r(p). Does 11 divide x(-9)?
False
Suppose 0*d - s = -d, -3*d - 4*s = 21. Is (-1)/d - (-2104)/24 a multiple of 22?
True
Let c(v) be the first derivative of v**3 + 3*v**2/2 + 2*v - 2. Does 8 divide c(-2)?
True
Let d be 30/(-9) - 2/(-6). Is 2 a factor of 1 + d - -3 - -3?
True
Is 15 a factor of (-189)/(-12) + (-1)/(-4)?
False
Suppose -l - 15 = -4*l. Suppose -l*m = -8 - 37. Does 3 divide m?
True
Let c be (-1 - 2)/(6/16). Let t(w) = -3*w - 6. Is 18 a factor of t(c)?
True
Let m = 24 - 15. Is 2 a factor of m?
False
Suppose 0 = -2*w + 30 + 12. Is w a multiple of 21?
True
Let w(x) = x**2 + 8*x + 19. Is 13 a factor of w(-8)?
False
Let u = -13 + 21. Is 4 a factor of u?
True
Let s(b) = b**3 - 9*b**2 - 8*b - 4. Let t be s(10). Suppose -5*h = 0, -2*i - 8 + 48 = 2*h. Suppose -k = -t - i. Is k a multiple of 13?
False
Let s be (4 - 1) + 1 + -1. Suppose -2*g + s = -g. Does 2 divide g?
False
Suppose -257 = -5*a + 203. Suppose -3*f - t - t = -a, 2*f - t - 59 = 0. Is 10 a factor of f?
True
Suppose 0 = 2*t + 4 - 14, -d - 5*t + 28 = 0. Suppose 0 = -d*s + s + 64. Does 16 divide s?
True
Suppose d + 0 - 37 = 0. Is 16 a factor of d?
False
Suppose -4*a - 32 = -b, 0 = -5*b - 0*a - a + 223. Suppose -3*x + x = -b. Is 11 a factor of x?
True
Let n = 6 - 5. Is (n - -21)/(0 + 1) a multiple of 15?
False
Let h = 3 + 0. Let f be (h + -1)*1 - -22. Suppose -f - 12 = -3*b. Does 6 divide b?
True
Let n be 155/(-2) - 3/6. Let r = n - -154. Suppose -p + 132 = 5*s - 4*p, 4*s = -5*p + r. Does 12 divide s?
True
Let u be (3/(-2))/(3/(-4)). Suppose 4*y - 178 = -4*i + u, -y + 5*i + 21 = 0. Suppose 0 = 5*k + 16 - y. Does 5 divide k?
True
Suppose 2*k - 10 + 0 = 0. Suppose -k*b + 140 = -0*b. Is 14 a factor of b?
True
Suppose 0 = 4*b + 6 - 870. Does 12 divide b?
True
Is 25 a factor of 12/(-72) - 902/(-12)?
True
Let s(d) = d**3 + 5*d**2 + 3*d - 1. Let v be s(-4). Suppose -3*m + 69 = -3*x, 0 = v*x + x - 12. Is 13 a factor of m?
True
Let s(o) = -o**2 + 2*o + 7. Let w be s(9). Let r = 99 + w. Does 17 divide r?
False
Suppose 0 = 3*z + 2*g - 94, 21 = z - 5*g + 1. Suppose 0*i + z = 5*i. Is 3 a factor of i?
True
Suppose -4*h + 4 + 4 = 0. Suppose -210 = -4*n - 6. Is (6/9)/(h/n) a multiple of 17?
True
Let z = 103 + -48. Is 11 a factor of z?
True
Let l(u) = -u**3 + 4*u**2 + 6*u - 1. Let w be l(5). Let h = 2 - w. Is 3/h*42/(-9) a multiple of 3?
False
Let q(y) be the second derivative of y**5/10 - y**4/3 - y**3/2 + y. Let w be q(-2). Let l = w - -57. Does 15 divide l?
False
Let n be (1/3)/(1/(-9)). Let r = -4 - n. Is 8 a factor of (r/(-2))/((-1)/(-24))?
False
Does 8 divide 4*(-12)/(-4)*2?
True
Let q(o) be the first derivative of -o**3/3 - 7*o**2/2 - 2*o + 1. Let r be q(-6). Suppose n = -4*s + 23, -n - 2*n = -s - r. Is 5 a factor of s?
True
Let x(d) = d**3 + 8*d**2 - 14*d - 7. Is 13 a factor of x(-9)?
False
Let n = -159 - -231. Let d = n - 45. Is 9 a factor of d?
True
Let z(j) = j**3 - 7*j**2 + 8*j + 2. Let v = -6 + 12. Is z(v) a multiple of 14?
True
Does 10 divide -1 + 62 - (-1)/(-2)*2?
True
Suppose -361 - 5 = -6*g. Does 7 divide g?
False
Let m = -181 - -97. Is (m/10)/((-2)/10) a multiple of 21?
True
Suppose 3*c - 3 = -0. Let t(j) = 16*j. Let i be t(c). Is 2/(-4)*(-4 - i) a multiple of 5?
True
Suppose 4*w - 5*m - 150 = 0, -11 = 5*m - 1. Is w a multiple of 10?
False
Suppose 0 = 2*o + o + 117. Let i = -21 - o. Does 17 divide i?
False
Suppose 2*u + 2 = -28. Is 7 - (u/3 + 2) a multiple of 10?
True
Suppose 3*n - v - 50 = 0, -2*n + 15 = 2*v - 5. Let h be 1*(-2)/(2 - 0). Is (h - n)*(-2)/4 a multiple of 8?
True
Suppose -q - 8 = -3*s - 3, -5*q - 3 = -4*s. Let p(z) = 7*z. Let a be p(q). Let g = a + -3. Is 2 a factor of g?
True
Does 20 divide (-3 - 30/(-9)) + 749/3?
False
Suppose 4*i - 94 + 290 = 0. Does 24 divide -6 - -4 - (i + -1)?
True
Let q = 471 + -177. Does 43 divide q?
False
Let d(o) = 5*o + 2. Let r be d(2). Let n = -27 + 51. Suppose -r = -2*y + n. Is 9 a factor of y?
True
Let i = 252 + -111. Is 47 a factor of i?
True
Let p be (-7)/(21/6)*-10. Suppose 21*q - 52 = p*q. Does 13 divide q?
True
Let d(k) = 6*k**2 - 13*k - 8. Does 25 divide d(7)?
False
Suppose -3*t + 420 = 3*s, 0 = -3*t + 4*s - 6*s + 418. Is 34 a factor of t?
False
Suppose 3*p - 5*c = -7 + 60, 3*p + c - 65 = 0. Let a = p + -7. Is a a multiple of 4?
False
Suppose x - 100 = 205. Suppose -4*f - x = f. Let a = -7 - f. Is a a multiple of 18?
True
Let h = -2 + 6. Suppose 4*y = -0*y + 5*r + 10, -4*y = h*r + 8. Suppose 3*p + y = -3*k + 6, -3*k - p = -16. Is 7 a factor of k?
True
Let j(f) = 25*f + 1. Let y be j(-7). Let m = y + 316. Suppose -5*v - 17 = -m. Is 11 a factor of v?
False
Suppose 0 = 2*r - 4*r + 8. Does 14 divide (-74)/(r/(-6)*3)?
False
Let h(j) be the first derivative of -j**3/3 - 11*j**2/2 - 10*j - 2. Let i be h(-10). Suppose -2*c + 2 + 26 = i. Is 9 a factor of c?
False
Suppose -2*g - 2 = -8. Suppose -o + 93 = 3*x, -3*x = g*o - 4*o + 81. Does 15 