e third derivative of r**4/4 - r**3/2 + 7*r**2. Does 17 divide s(9)?
True
Suppose -352 = -4*v + 3*z, -v + 0*z + z + 89 = 0. Is 14 a factor of v?
False
Does 32 divide (80/(-15))/(4/(-24))?
True
Suppose 9*h = 7*h + 420. Is 30 a factor of h?
True
Suppose w - 14 = 3. Let u be (w/(-2))/((-1)/2). Suppose 3*m - 1 = u. Is m even?
True
Let g be 15 + (-2)/(-3 + 1). Let x be (10/(-3))/((-2)/(-6)). Let v = g + x. Does 5 divide v?
False
Let l = 2 + 0. Let k = 5 + l. Let o = k - 5. Is o a multiple of 2?
True
Suppose 2*z = 4*k - 3*z - 699, 2*z - 178 = -k. Does 44 divide k?
True
Suppose 0 = -f + 2*q + 57 + 7, 4*f + 2*q = 296. Is 17 a factor of f?
False
Suppose b = -3*u + 113 + 31, -464 = -3*b - u. Is 13 a factor of 5*(0 + b/20)?
True
Suppose -2*u + 4*b + 44 = 0, 3*u + 4*b - 37 = 39. Is 11 a factor of u?
False
Suppose -2*i + 2*g = -20, i - 4*g = -2*i + 33. Suppose 0 = 4*a + i - 63. Is 7 a factor of a?
True
Let f be (24 + -9)*22/3. Suppose -5*h + 1 = 3*r - 4, 4*h = 4*r - 28. Suppose 0 = y + 3*k - 54 + 16, k = r*y - f. Is 8 a factor of y?
False
Does 17 divide ((-34)/3)/(3/(-9))?
True
Suppose -2 = -4*p + 6. Suppose -p*y + 52 = -3*t, 2*y = t + t + 52. Is 13 a factor of y?
True
Suppose 0 = 2*g + 2*q - 70, 2*q + 152 + 18 = 4*g. Suppose -3*b - 3*x + 0 = 24, -b + 5*x = 32. Let j = g + b. Does 19 divide j?
False
Suppose -5*m + 0*m = -65. Suppose m = n - 10. Is 22 a factor of n?
False
Suppose 0 = 9*x - 5*x - m - 1173, -3*x = m - 871. Is x a multiple of 46?
False
Let i(n) = -16*n - 8. Suppose -4*m = -3*m + 4. Is i(m) a multiple of 28?
True
Let c = -26 - -42. Does 8 divide c?
True
Let x be -4 + -2 + 4 - -24. Is 3 - (-2)/4*x a multiple of 8?
False
Let r = 15 - 3. Is 3 a factor of r?
True
Let c(a) = -3*a + 16. Is c(3) a multiple of 7?
True
Suppose 3*x + 106 = 5*u, 28 + 166 = -5*x + 4*u. Let b = 82 + x. Does 20 divide b?
True
Is 593/6 + 1/6 a multiple of 33?
True
Is 28 a factor of 2/(16/(-12)) - 1353/(-6)?
True
Suppose -6*b = -7*b + 22. Is b a multiple of 4?
False
Suppose -6 = -z - 2*x, -3*z + 1 = 5*x - 18. Suppose -5*n = -n - z. Is 6 a factor of (n - 66/15)*-5?
True
Suppose 3*a - 19 = 5. Suppose -30 = 2*r + 2*g + 3*g, 0 = 3*g + 12. Let m = r + a. Is m a multiple of 3?
True
Let t(a) = 5*a**2 + 41*a - 32. Let g(z) = 2*z**2 + 14*z - 11. Let o(x) = -8*g(x) + 3*t(x). Let q be o(9). Let i = q + 2. Is 7 a factor of i?
False
Suppose 3*k = -0*k + 9. Let h(g) be the third derivative of g**5/30 - g**4/8 - g**3/3 + 4*g**2. Does 7 divide h(k)?
True
Let b(f) = -6*f - 2. Does 13 divide b(-9)?
True
Suppose f = 2*s - 6*s + 214, 4*f = -5*s + 812. Does 28 divide f?
False
Let b(p) = 14*p**2. Let o be b(1). Suppose 6*y - 4*y = o. Does 3 divide y?
False
Is 2 a factor of 8 - (7 + -2 - 4)?
False
Let j(g) = -g**2 - 12*g + 49. Is 8 a factor of j(-13)?
False
Suppose -b + 11 = 2*b - 5*n, -39 = -5*b - 2*n. Suppose 2*u = -u. Let s = b - u. Does 7 divide s?
True
Let b be ((-3)/(-6) - 0)*2. Is 25 a factor of (15/(-9))/(b/(-30))?
True
Let i(h) = h + 1. Let w be i(2). Suppose 0 = -2*c + 3*j + 105, 0 = -w*c + j - 0*j + 161. Is 27 a factor of c?
True
Let y = -18 + 37. Does 6 divide y?
False
Suppose -f - 3*z + 168 = 0, -5*f = 4*z - 453 - 332. Is f a multiple of 6?
False
Suppose 0 = -3*f + 4*p + 11 - 0, 18 = 3*f + 3*p. Is 1/f - 138/(-10) a multiple of 6?
False
Let p = -5 + 45. Is p a multiple of 10?
True
Let m = 1 - -6. Is m a multiple of 3?
False
Suppose -2*k + 0 = -2*y + 6, 2*y = k + 3. Let a = -3 - k. Suppose a = -2*l + 4*l - 14. Does 5 divide l?
False
Let v be (-54)/(-42) - 2/7. Let u be 0 + 28 - (-2)/v. Let b = -17 + u. Does 11 divide b?
False
Is (3/2 + -1)*14 a multiple of 7?
True
Let g(a) = -a + 4*a**3 - 3*a**3 - 2*a**3 + 22. Is g(0) a multiple of 6?
False
Let g(f) = -11*f**2 - 8*f + 43. Let m(k) = 7*k**2 + 5*k - 29. Let o(n) = -5*g(n) - 8*m(n). Let z be o(0). Is 11 a factor of (2 - 4) + -4 + z?
True
Let m be 2/(-6) - (-21)/9. Suppose 5*v - 35 = -5*f, 4*v = -m*f - 5 + 13. Is f a multiple of 10?
True
Let s = 7 - -2. Is s a multiple of 3?
True
Let y be (-16)/(-6)*(-6)/4. Let l be (-833)/21 + y/(-6). Let a = 56 + l. Is 17 a factor of a?
True
Let m(t) = 2*t**3 - 3*t**2. Let k be m(2). Suppose k*f - 74 = 2*f. Is 10 a factor of f?
False
Suppose x + 37 = -x + 5*t, 0 = 4*x + t + 19. Let i = 45 + x. Is i a multiple of 14?
False
Let k be 1 + 2 - 3/1. Suppose d + j - 4 = k, -2*j - 1 + 14 = 3*d. Does 5 divide d?
True
Let v = 5 - 3. Is 3 a factor of v/(-4) + 19/2?
True
Does 6 divide (-41402)/(-635) - (18/(-10) + 1)?
True
Let o be 121/(-1) - (-1 - 0). Let p be ((-1)/2)/((-3)/o). Is 7 a factor of (-365)/p + 1/(-4)?
False
Suppose -5*q + 3*c + 29 = 2*c, c + 4 = 0. Let t(p) = 14*p - 5. Let z be t(2). Suppose z = q*w + 3. Is w a multiple of 4?
True
Let n(s) = 25*s - 1. Let i(d) = -d**2 - 8*d - 6. Let w be i(-7). Is 8 a factor of n(w)?
True
Let v be (2 - -5) + 0 + -2. Suppose 3*w + 5*r - 189 = -24, -v*r = -5*w + 235. Is w a multiple of 25?
True
Suppose 36 = -x - 4*g, 3 = -2*x + 2*g - 19. Let r = x - -25. Is 7 a factor of 1 + r + (-4 - -2)?
False
Let w(i) = -3*i + 1. Is 6 a factor of w(-8)?
False
Is 37 a factor of (1/((-7)/518))/((-2)/4)?
True
Let r(w) = -9*w**2 + w + 2. Let b be r(-2). Does 11 divide (92/(-3))/(24/b)?
False
Does 8 divide ((-10)/(-3))/(12/54)?
False
Let g = 7 + 8. Let z = 17 + g. Is 10 a factor of z?
False
Let c = -4 + -57. Let i be (0 - -1) + (1 - 25). Let g = i - c. Does 19 divide g?
True
Let q(f) = 2*f - 3*f**2 + 4*f**2 + 4 - 1. Is 6 a factor of q(3)?
True
Let f be (2 - 1)*(-4)/2. Let x be -70*(f - -4)/4. Does 17 divide (x - (-3 + 2))/(-1)?
True
Suppose 24 = 3*u - 3. Suppose 4*s + 160 = u*s. Is 8 a factor of s?
True
Suppose 2*l + 9 = -l. Let g(p) = p**2 + 15*p + 6. Let k be g(-10). Is 2/l + k/(-3) a multiple of 7?
True
Suppose 0 = -0*r - 4*r - 44. Let y = -5 - r. Let v = y - -11. Is v a multiple of 15?
False
Let p(v) = v**2 + v + 12. Suppose r + 0*r = 0. Does 12 divide p(r)?
True
Suppose 2*s = 4 + 4. Let m(f) = 14*f + 7. Is m(s) a multiple of 21?
True
Suppose 0 = -2*p + 6*p - 2*x + 2, 5*p = 3*x. Is (-22)/(-4)*(p - -5) a multiple of 8?
False
Suppose -4*s = -s - 186. Suppose -b + 25 + s = 0. Suppose 2*c + c = b. Is 14 a factor of c?
False
Suppose 3 - 6 = z, 318 = r + 2*z. Is 11 a factor of r?
False
Let n(b) = -5*b - 7. Let v be n(-5). Suppose c + c = 0, -u + v = 3*c. Does 18 divide u?
True
Let x(u) be the second derivative of u**4/6 - u**3/3 + u**2/2 - u. Let q be ((-6)/(-10))/((-4)/(-20)). Does 6 divide x(q)?
False
Let i = -1 - -17. Does 4 divide i?
True
Let t = 3 + -3. Suppose -4*w = 3*b - 0*b - 34, -5*b + 10 = t. Suppose -c + w = -32. Does 13 divide c?
True
Let u(i) = 4*i - 4. Suppose 0 + 24 = 4*l. Does 10 divide u(l)?
True
Let s be 2/(-5) + 277/5. Suppose 6*q - 3*n = 2*q + 181, q - s = 4*n. Does 9 divide q?
False
Let a = -70 - -106. Is a a multiple of 29?
False
Does 6 divide (-4)/5*300/(-10)?
True
Let b(o) = o + 3. Let l be b(-3). Suppose 5*i - 5*y + 24 - 109 = l, 3*i - 2*y - 55 = 0. Is 7 a factor of i?
True
Suppose 3*c - 225 = 2*v, -313 + 13 = -4*c + 3*v. Suppose 4*l = -j + 55, 0*l - 4*l = -3*j - c. Suppose -2*q - l = -59. Is 9 a factor of q?
False
Let c(j) = -j**2 - 10*j - 4. Suppose -3*r - 12 - 6 = 0. Is 5 a factor of c(r)?
True
Suppose -23 = -5*g + 2. Suppose 2*d - 5*j + 6 = -2*j, -4*d + g*j - 8 = 0. Let o(n) = 10*n + 3. Does 11 divide o(d)?
True
Suppose 2*s - 38 = -4*z, 0*z - 3*z - 4*s = -31. Let g = z + -3. Let a(b) = -b**2 + 7*b + 2. Is a(g) a multiple of 4?
True
Let h(x) = -5*x**3 + 3*x**3 - x**3 + 4*x**3 - x**2 - 1 + 2*x. Let b be h(2). Is (b + -5)*11/2 a multiple of 11?
True
Suppose 5*k - o = 180, k - 26 = 2*o + 19. Does 7 divide k?
True
Let a be -2 + 5 - (1 + 0). Suppose -c + p = -37, 14 + 68 = 2*c + a*p. Does 13 divide c?
True
Suppose -2*v + 3*v - 18 = 0. Does 7 divide v?
False
Suppose 0 = 4*k + 2*a - 552, -3*a + 2*a + 684 = 5*k. Is k a multiple of 34?
True
Let d(s) = -2*s**2 - 3*s - 5. Let c(j) = j**2 + j + 1. Let r(n) = 3*c(n) + d(n). Does 16 divide r(6)?
False
Let k = 2 + 0. Suppose k*z - 24 = z. Does 12 divide z?
True
Let w(p) = p**2 + 5*p. Let y be w(-3). Suppose -7*d = -6*d + 8. Let m = y - d. Does 2 divide m?
True
Does 24 divide 1/((-36)/(-8)) + (-862)/(-9)?
True
Let t(k) = k + 22. Suppose -3*b - 3*o - 1 = -2*b, -2*b + 2*o + 6 = 0. Suppose b*v = -v. Does 10 divide t(v)?
False
Let