oes 24 divide f?
True
Does 43 divide 1/(1/3) - (-388 + 90)?
True
Let f(c) be the third derivative of c**7/504 - c**6/360 - c**4/24 - 5*c**2. Let p(d) be the second derivative of f(d). Is 16 a factor of p(2)?
True
Let g be (4 + -30)*(-1)/2. Suppose -g*r + 16*r = 231. Let s = r + -32. Is 15 a factor of s?
True
Suppose 2*x = 6*x + 2*c - 132, 2 = c. Suppose 2*j + 4 = 2*h, 7 = 2*j + h - 4. Suppose -l = j*l - x. Does 3 divide l?
False
Let w be ((0/(-1))/2)/(-2). Suppose -3*i = 0, -3*l + l - 5*i + 26 = w. Suppose 5*o = 6*o - l. Does 13 divide o?
True
Let f be -8*1/(6/(-3)). Suppose -f*u + 2*a + 24 = 3*a, 3*u = a + 25. Is u a multiple of 2?
False
Let p(a) = 6 - 8 + 4*a**3 - 13*a - 15*a**2 - 3. Let r(j) = 5*j**3 - 16*j**2 - 14*j - 5. Let z(x) = -6*p(x) + 5*r(x). Is 6 a factor of z(-9)?
False
Suppose 3*z + 11 = 4*z. Let j = z + 0. Is (0 - (j - 2))*-1 a multiple of 4?
False
Suppose r = -l + 2, 2*r + 8 + 3 = l. Suppose 0 = -0*a + l*a - 150. Is a a multiple of 7?
False
Suppose -3*x - 2*x - 75 = 0. Let m = 19 + x. Is (-3)/3 + (m - -41) a multiple of 11?
True
Suppose -906 + 969 = a. Is 28 a factor of a?
False
Suppose -4*v + 9*v = -105. Let f = 6 + v. Is 2 a factor of ((-5)/f)/((-2)/(-12))?
True
Suppose 0 = 3*v - 4*a - 1590, 2120 = v + 3*v - 4*a. Suppose -4*c - 50 = -v. Is c a multiple of 30?
True
Let i(a) = 4*a**3 + 3*a - 7. Suppose 0 = 3*y + l - 19 + 7, y + 6 = 3*l. Does 30 divide i(y)?
False
Suppose 12*w = 9*w + 12. Suppose w*g - 2*g = 8. Suppose 2*x = x + g, -3*x = -z + 10. Does 22 divide z?
True
Let z(a) = a - 12. Let h be z(12). Suppose 5*n - 47 = -5*k + k, h = 4*k + n - 67. Suppose 3*r - k = 90. Is r a multiple of 9?
True
Let m = 3172 - 2238. Let n = m - 544. Suppose -2*y = -7*y + n. Is y a multiple of 22?
False
Suppose -5*v - 8*j + 1025 = -13*j, -5*v + 1021 = -j. Is v a multiple of 8?
False
Suppose -5*x = 4*u - 17489, -3*u + 5515 + 7588 = x. Does 118 divide u?
True
Suppose 4*x + 7 = -1, 0 = 5*z + 2*x - 11. Suppose -v = z*v. Suppose 5*o - 4*u - 293 = v, -5*u - 60 = -2*o + 47. Is o a multiple of 11?
False
Let h(r) = 25*r + 12. Let x = 41 + -37. Does 16 divide h(x)?
True
Let b = 3 + -2. Suppose -t - b + 2 = 0. Does 17 divide (72 - (0 - 2))/t?
False
Suppose 98*t - 30*t - 66640 = 0. Does 10 divide t?
True
Let u(c) = -c**3 - 17*c**2 + 14*c + 3. Let f be (2/(-1) - 1) + -15. Is u(f) a multiple of 7?
False
Let s(z) be the first derivative of -9 - 3*z**3 - 13*z - 1/4*z**4 - 13/2*z**2. Is s(-9) a multiple of 26?
True
Let j(v) = 14*v**2 - v - 7. Is 13 a factor of j(5)?
True
Does 93 divide (1 - -1297) + (77 - 73)?
True
Let d(v) = 2*v**2 - 12*v + 11. Let b be d(7). Suppose q + 2*l - b = 0, 0 = -4*l + 1 + 19. Is q a multiple of 8?
False
Suppose 3*j = w - 180, 0 = -3*w - 2*w + 5*j + 870. Is w a multiple of 24?
False
Suppose -c + 1734 = 4*d + 318, -3*c - 5*d + 4241 = 0. Is 26 a factor of c?
False
Suppose -5*x = 15, -48 = -4*f - 0*x + 4*x. Suppose -3*u = 4*c - 88, c - f = -0*c - 4*u. Does 9 divide c?
False
Let z(v) be the second derivative of v**6/720 + v**5/12 - v**4/4 - 7*v. Let g(u) be the third derivative of z(u). Does 2 divide g(-4)?
True
Let u = -25 + 40. Suppose -2*z + 7*z = u. Suppose 2*n = z*w + 44, -6 = 5*w + 14. Does 8 divide n?
True
Let d be (-14)/(-4)*(3 - 1). Suppose d + 3 = 2*z. Let j(t) = -t**3 + 6*t**2 - 4*t. Does 5 divide j(z)?
True
Let c(a) = -677*a + 49. Is 26 a factor of c(-3)?
True
Let o(b) = -b**3 - 9*b**2 + 14*b - 223. Is 53 a factor of o(-16)?
False
Let r = 8 - 5. Suppose -g - 13 = -4*d, 4*g + r = g. Suppose 0 = -d*o + 4 + 14. Does 3 divide o?
True
Suppose -100 = -36*d + 32*d. Does 8 divide d?
False
Suppose 2*y - 5*k = -30 - 15, y + 4*k + 42 = 0. Let r = y - -13. Let u = r + 29. Is 5 a factor of u?
False
Let d(j) = 90*j - 7. Let y be d(-8). Let l = -488 - y. Is 13 a factor of l?
False
Suppose 4*s = 3*z + 53 - 201, 4*z - 5*s - 198 = 0. Does 18 divide (154/(-21) - -8) + z/3?
True
Let c(s) = 262*s**2 + 8*s - 8. Let i be c(1). Let p(r) = -4*r - 4. Let g be p(-4). Is i/g + 2/12 a multiple of 11?
True
Let l = 58 - -25. Is 40 a factor of l?
False
Let g = -1371 + 2644. Suppose -g = -11*k + 245. Does 14 divide k?
False
Suppose 4*q + 11 + 5 = -3*n, 16 = -5*n - 4*q. Suppose n = -3*j - 68 + 5. Let l = j - -31. Does 5 divide l?
True
Suppose -13*b = -105 - 493. Is 2 a factor of b?
True
Suppose -k + 863 = -6*q + q, -q = 2*k + 166. Is 9 a factor of q*4/16*-2?
False
Suppose y + 0*y + u - 4099 = 0, -2*y + 5*u = -8177. Is (y/20)/4 + (-1)/5 a multiple of 15?
False
Let x = -396 + 401. Let p = 5 - 3. Suppose 0 = 4*d + x*o - 109, -p*d = -3*d - 4*o + 30. Does 26 divide d?
True
Suppose -28*j + 4850 = -1926. Is 21 a factor of j?
False
Suppose -18 = -3*v - 243. Let c = 102 + v. Does 2 divide c?
False
Let g be (1 - (-2 - 0)) + -43. Let y be ((-120)/25)/(2/g). Suppose 0 = -z - z + y. Is z a multiple of 24?
True
Suppose -r + 2*r - 4*v - 818 = 0, 4*r - 4*v - 3296 = 0. Does 7 divide r?
True
Suppose -1038 = -97*g + 95*g. Let l = g + -354. Is l a multiple of 15?
True
Let w(c) = -4*c - 25. Let d be w(-7). Suppose 21 - d = 2*x. Does 3 divide x?
True
Let m(p) = -p**2 + 15*p - 2. Suppose -2 - 30 = -4*s. Is 9 a factor of m(s)?
True
Let v be 154/35 + (-6)/(-10). Suppose 4*w + 79 = u, v*u = 2*u - w + 172. Is u a multiple of 12?
False
Is 4 a factor of (0 - (-20)/(-8))/(2/(-100))?
False
Suppose -11 = -m - 3. Let n(o) = o**2 - 1408*o + 1403*o + 1 - 7. Is n(m) a multiple of 9?
True
Suppose -210 = -5*v - 15. Suppose 5*z = -3*h + 93, 2*z + 2*h - v = -h. Is 17 a factor of z?
False
Let m(y) = -16*y - 7. Let k(n) = -n**3 + 7*n - 1. Let l be k(3). Is 35 a factor of m(l)?
True
Is 29 a factor of (-3)/(-13)*5231 + 28/(-182)?
False
Let r(d) = -3 - d**2 + 2*d + d**2 + d**2. Let y be r(2). Suppose -y*n + 9 = -111. Does 24 divide n?
True
Let f = 122 - 140. Does 9 divide (-2)/5 + 2/5 - f?
True
Suppose -85*g = -74*g - 8569. Is 76 a factor of g?
False
Suppose -3*k + 339 = p, 6*p + k - 1345 = 2*p. Does 24 divide p?
True
Let j be (8/6)/(3/9). Suppose j*r - 920 = -r. Suppose -4*i - o + 2*o = -241, 3*i = 4*o + r. Is i a multiple of 20?
True
Suppose 552 = -6*s + 726. Is s a multiple of 4?
False
Let m(u) = -u**2 - 8*u - 12. Let b be m(-5). Suppose -3*q + 8*s = b*s + 226, -5*s = 2*q + 134. Does 12 divide (q/(-45))/((-2)/(-60))?
True
Let s be -1*(-1 - 0)*47. Let g(x) = x + 7. Let r be g(3). Let l = s - r. Does 20 divide l?
False
Let r(s) = -97*s - 80. Is r(-12) a multiple of 24?
False
Let l(h) = -140*h - 90. Does 25 divide l(-11)?
True
Let w be (2 + 5/10)/(1/2). Suppose 8 = 2*s, w*k + s = k + 1068. Is k a multiple of 19?
True
Let h be ((-3)/(-2))/(2/4). Let g(k) = 7*k**3 - 2*k**2 - 9*k - 6. Let s(q) = 3*q**3 - q**2 - 4*q - 3. Let x(b) = 4*g(b) - 9*s(b). Does 13 divide x(h)?
True
Suppose -5*b - 2*w = -14, 18 = -5*b + 2*w + 44. Suppose -147 = -7*r + b*r. Suppose -10 = -u + r. Is u a multiple of 24?
False
Let m(a) = a**3 + 21*a**2 + 2*a - 7. Let d be m(-21). Let c = 58 + d. Is 3 a factor of c?
True
Let h(y) = 3*y - y - 5*y. Let p be h(-2). Let a = p + 0. Is a even?
True
Suppose 0 = -6*n + 11*n - 660. Is 5 a factor of n?
False
Let u = 2813 - 2002. Does 18 divide u?
False
Suppose 2*t - a = 163, 4*t + 8*a - 351 = 5*a. Is t a multiple of 14?
True
Suppose -5*l + 187 = n + 3*n, 3*l - 93 = 4*n. Suppose 0 = 3*u, 3*z = 8*z - 3*u - l. Suppose -p + 5*d = -14, 4*p = -2*d + z*d + 26. Is 4 a factor of p?
True
Suppose 3*t = t - 6. Let w(l) = 4*l - 50. Let a be w(14). Is (-1)/t - (-100)/a a multiple of 9?
False
Does 15 divide 3 - -1*(465 + -2)?
False
Let y(s) = -32 - 10*s - s**2 + 20 - s. Let a = -4 - 5. Does 3 divide y(a)?
True
Does 19 divide 878 + (-6 + 42)/(-9)?
True
Suppose -2*d = -0*c + c - 20, 4*c - 62 = -2*d. Suppose -193 = -3*x + c. Does 13 divide x?
False
Let z(i) be the first derivative of -i**3/3 - 9*i**2 - 2*i + 1. Suppose -5*m + 4*l = 38, 16 = -4*m - l - 3*l. Is 21 a factor of z(m)?
False
Let y be (120/45)/(4/6). Does 37 divide 4 + 466/14 - y/14?
True
Let j = 5778 - 3496. Is 14 a factor of j?
True
Let l(x) = -x**2 - 3*x + 1. Let b be l(2). Let v be ((-36)/(-7))/(b/(-63)). Suppose 2*h - a = 37, 0 = 2*h + 3*a - 5*a - v. Does 14 divide h?
False
Let d(r) = -5*r + 59. Is 7 a factor of d(-34)?
False
Suppose 8*o = 13*o - 20. Does 4 divide ((-232)/(-4))/(o - 8/4)?
False
Suppose 3*r = 3*w - 8*w + 4177, w - 2*r = 838. Does