be h(-3). Is 2 a factor of 1/(-6) - 172/y?
False
Suppose -5*t - 374 = 2*n - 1077, 4*t - 2*n - 548 = 0. Suppose -3*d + 10*d - 28 = 0. Suppose 3*l = -d*u + t, -3*u + 32 = 3*l - 70. Does 11 divide u?
False
Suppose 0*p + 141 = -3*p. Let b = -10 - p. Is b a multiple of 20?
False
Let v = 59 - 22. Suppose 5*u - 125 = -5*q, -2*u + 19 = 5*q - v. Does 10 divide u?
False
Let j(g) = g**3 - g + 5. Let n be j(0). Suppose -n*m + 159 = -31. Is m a multiple of 19?
True
Let j(c) = -3*c**3 - c**2 + 1. Let g be j(-1). Let i be 2/5 - g/(-5). Is 7 a factor of 2/2*(20 - i)?
False
Let a(s) be the third derivative of -s**6/144 - s**5/40 + s**4/12 + s**2. Let h(x) be the second derivative of a(x). Is h(-3) a multiple of 6?
True
Suppose -151 = -4*z + 85. Let g = z + -40. Is 19 a factor of g?
True
Let s(j) = j**2 - j - 4. Let f be s(-9). Let h = f - 41. Suppose -2*r + 37 = -g + 10, 0 = 2*r + 5*g - h. Does 7 divide r?
False
Let x be 1*-1 + (-168)/(-4). Let y(g) = -g**3 - 6*g**2 + 5*g. Let q be y(-7). Let s = x - q. Does 9 divide s?
True
Is 52 a factor of ((-20)/5 - -363) + 5?
True
Suppose 0 = l + l - 5*q - 13, -20 = -4*l + 4*q. Let o(u) = 3*u**2 + u - 1. Is o(l) a multiple of 13?
False
Let v(i) be the first derivative of -i**4/4 + 2*i**3 - i**2/2 - i + 1. Let o(x) = x**2 - 7*x + 4. Let j be o(7). Does 9 divide v(j)?
True
Suppose -8 = -5*p - 33. Let y(w) = w**3 + 4*w**2 - 8*w - 7. Is 4 a factor of y(p)?
True
Let b = -21 + 33. Is 7 a factor of b?
False
Let p = -3 + 5. Suppose -5*a + 27 = -p*a. Does 9 divide a?
True
Let o = 2 - -1. Suppose -o*y - 31 = -97. Let g = y + -11. Does 5 divide g?
False
Let j(g) = -59*g**3 - 3*g**2 - 3*g. Let q(k) = 1946*k**3 + 98*k**2 + 98*k. Let m(b) = 98*j(b) + 3*q(b). Is m(1) a multiple of 28?
True
Suppose 5*a = -5*f, 3 = -f - 2. Suppose -4*b = 2*x - 10, a*b = -0*x + x + 23. Let m = 18 - b. Does 6 divide m?
False
Let a(t) = t**2 + t + 7. Let b(l) = -3*l**2 - 2*l - 21. Let h(q) = -8*a(q) - 3*b(q). Is h(8) a multiple of 26?
False
Let d be 0/((-2 + 3)*2). Suppose -2*i + 70 = -d*i. Does 20 divide i?
False
Let m(a) = 2*a**2 - 2*a - 3. Let i be m(-2). Does 9 divide i/(-3*2/(-12))?
True
Let x = 29 + -13. Is x a multiple of 4?
True
Suppose 5 = 2*r - 3. Let a(w) = w**2 + 3. Let g(c) = 6*c**2 - c + 16. Let i(f) = -22*a(f) + 4*g(f). Is 5 a factor of i(r)?
False
Let a = 151 - 106. Is a a multiple of 9?
True
Let z be (4/(-6))/((-2)/9). Suppose z*x + 4*s = 4 + 50, 5*x - 90 = -5*s. Is 6 a factor of x?
True
Let d(o) = -o**3 + 19*o**2 + 26*o + 27. Is 21 a factor of d(20)?
True
Let y = -79 - -207. Is 11 a factor of y?
False
Suppose -3*o = 4 - 55. Suppose w = o - 7. Is 5 a factor of w?
True
Suppose -1575 = -5*c - 5*x, -2*x + 4*x = 0. Suppose 5*z = -s - 63, 7*s - 2*z = 2*s - c. Let t = s - -100. Does 20 divide t?
False
Suppose 3*u + 3*i = 759, -484 = 4*u - 3*i - 1468. Is 47 a factor of u?
False
Suppose -3*z = -5*z + 72. Suppose -3*r - 30 = -4*t + z, 3*t - 58 = -2*r. Is 9 a factor of t?
True
Suppose 0 = -2*u - 4, d + 3*u = -0*u + 212. Let i = -144 + d. Suppose -3*s + s = -i. Is s a multiple of 15?
False
Suppose -104 = -5*y + 66. Suppose -5*c + 4*j + j = 0, -15 = -5*j. Suppose -c*i + 4*q + y = -29, 6 = 2*q. Does 23 divide i?
False
Let d(i) = -70*i - 19. Is d(-3) a multiple of 28?
False
Let s(c) = -3*c + 3 - 2*c**3 + 0*c - 3 - 2*c**2. Is 10 a factor of s(-2)?
False
Let d(s) = -s**3 + 5*s**2 - 5*s + 4. Let v be d(3). Suppose 2*q - v*q + 20 = 0. Suppose -j - 39 = -q*j. Does 7 divide j?
False
Suppose 0 = -3*m + j - 0*j + 25, 0 = m - j - 9. Does 23 divide (m/6)/((-4)/(-138))?
True
Suppose 5 = 4*q - 11. Suppose 0*d = d - q. Suppose -118 + 30 = -d*o. Is o a multiple of 11?
True
Suppose -4*z = 5*q + 1 - 18, 3*q - 12 = -3*z. Let u(c) be the third derivative of c**5/30 + c**4/24 - c**3/6 - c**2. Does 10 divide u(z)?
True
Let x(b) = b**3 - 4*b**2 + 1. Let z be x(4). Let k(d) = 3*d**2 + 2*d - 1. Let n be k(z). Is 24 a factor of (3 - n/2)*48?
True
Let h(x) = -x + 8. Is h(-6) a multiple of 7?
True
Suppose 3*l + y = -7 + 50, -3*l + 3*y + 27 = 0. Suppose -5 - 7 = -3*g. Let m = l - g. Is 9 a factor of m?
True
Let m(p) = -9*p + 3. Let a(q) = 8*q - 3. Let w(v) = 2*a(v) + 3*m(v). Does 24 divide w(-4)?
False
Suppose -6*s + 614 = -s + n, 0 = 3*s + n - 368. Is s a multiple of 22?
False
Let v = 55 - -36. Is 24 a factor of v?
False
Let s be 2 + (-2 - -1) - -1. Suppose s*b = -6, 6 = k + 3*b + 5. Is k a multiple of 3?
False
Let p = 5 + -4. Does 21 divide (p - 0) + (-2 - -22)?
True
Suppose 5*r - 164 = -2*x, 5 = -5*r - 5. Suppose 0*y - 142 = -5*a - 4*y, -3*a = 3*y - x. Is 8 a factor of a?
False
Let z be 66 - (2 - 3) - 3. Suppose 5*m + 4 - z = 0. Does 3 divide m?
True
Let w(x) = -9*x + 6. Let c be w(-6). Let r = c - 43. Is 8 a factor of r?
False
Let k(s) = -s**3 - 7*s**2 + 8*s + 3. Let w be k(-8). Suppose -w*m + 13 = -8. Is m a multiple of 2?
False
Does 8 divide (3 - 2)/((-6)/(-504))?
False
Let i(m) = -m**2 + 8*m - 4. Let f be i(6). Let j(x) = x**2 + x + 2. Let o be j(f). Suppose 56 = 5*g - o. Does 13 divide g?
True
Let r = 99 - -36. Let z = r + -78. Is 17 a factor of z?
False
Suppose t + 2*t = 33. Let c = 48 - 22. Suppose x = -t + c. Does 15 divide x?
True
Let n = -69 - -115. Is 23 a factor of n?
True
Let b be (-10 - 1)*(-4 - -5). Is 2*3/(-3)*b a multiple of 11?
True
Suppose 5*w + 4*t - 4 = 45, -4*w - 2*t + 44 = 0. Let a = 37 - w. Suppose -2*k = -3*g + 5, -1 - a = -5*g. Does 2 divide k?
False
Let w(v) be the second derivative of -7*v**3/6 - v**2/2 + v. Does 20 divide w(-3)?
True
Suppose 0*h + 4*h = 316. Is h a multiple of 20?
False
Let z(a) = a - 4. Let l be z(6). Suppose 0 = -l*i - 3*i + 45. Is 9 a factor of i?
True
Suppose -4*s + 440 - 168 = 4*j, -4*s + 2*j = -266. Does 19 divide s?
False
Suppose 46 = j + 2*x + 10, 5*j = -x + 171. Let s = j + -15. Does 9 divide s?
False
Let o be (-24)/(-1)*(-57)/(-9). Suppose -4*u + o = -0*u. Suppose 0*s - u = -2*s. Does 10 divide s?
False
Suppose -124 = g + 3*g. Let o = 65 + g. Is o a multiple of 10?
False
Suppose -u = -4*u - 6. Let f(d) = -5*d + 1. Is 11 a factor of f(u)?
True
Let p be (-5 - -6)/((-1)/(-5)). Suppose p*d - 121 = 114. Is 18 a factor of d?
False
Suppose 9*o - 3*o = 540. Is o a multiple of 38?
False
Let b(z) = -z**2 + 4*z - 2. Let l be b(2). Suppose 0 = -l*d - 2*d + 32. Is d a multiple of 8?
True
Let y(c) = 60*c. Is 12 a factor of y(1)?
True
Let x = -31 - -48. Is 10 a factor of x?
False
Suppose 58 = -2*i - 3*k + 7, -4*k = 3*i + 79. Let b = -15 - i. Is 7 a factor of b?
False
Let n(y) = -2*y - 2. Let c be n(-3). Suppose -5*u + c*b = -227, u - 4*u = -2*b - 137. Is 15 a factor of u?
False
Suppose -5*l = -10*l + 5*p + 105, 27 = l + 2*p. Is l a multiple of 23?
True
Suppose -2*q = 5*u - 11, 0 = -q + 4*u - 0 - 1. Suppose 3*x + 2*v + q*v - 31 = 0, 4*x + 7 = 3*v. Suppose -x*s + 26 = -0*s. Does 13 divide s?
True
Let u = -85 - -373. Suppose -4*o = -0*o - u. Is o a multiple of 24?
True
Let y(g) = g**3 + 17*g**2 + 15*g - 12. Let a be y(-16). Is 7 a factor of (-14)/3*(-6)/a?
True
Suppose -4*n - 3 = -o + 15, -o = -2. Is 8/n*2 + 29 a multiple of 6?
False
Suppose -5*j + j = -20. Let o = -3 + 5. Suppose j = o*u - 19. Is 8 a factor of u?
False
Let w(s) = 4*s**3 - 2*s - 1. Let d be w(2). Suppose d = 5*a - 53. Is a a multiple of 5?
False
Let t be (-3 + 4/2)*1. Let n = 1 - t. Suppose f - n*f = -8. Is 4 a factor of f?
True
Suppose 9*l - 6*l - 291 = 0. Let x = l - 68. Is 13 a factor of x?
False
Suppose -53 = -0*w - w. Suppose 4*z + w = 3*c, 4*c - 19 = -4*z - z. Does 4 divide c?
False
Let k(d) = 54*d**2 - d + 1. Is 5 a factor of k(1)?
False
Suppose 0 = -5*h + 5*t + 195, 2*h + t = 78 - 15. Does 10 divide h?
False
Suppose 0 = 7*y + 4*y - 66. Is 3 a factor of y?
True
Suppose 0 = -3*g - 143 + 479. Is g/6 - (-4)/3 a multiple of 10?
True
Let x = 8 - 6. Is x a multiple of 2?
True
Suppose v + 4*p = 23, v + 4*v = -3*p + 47. Suppose 0 = -3*b + v - 1. Suppose x - b = 28. Is 15 a factor of x?
True
Let g(u) = -u**2 - 5*u + 3. Let x be g(-5). Let s be 2 + 2 + (2 - x). Suppose -s*k - 2*k + 35 = 0. Is 7 a factor of k?
True
Suppose -135 = 5*o + 5*a, -4*a - 18 = -2*o + 3*o. Let t = o - -42. Is t a multiple of 5?
False
Suppose -w = -5*w, 850 = 5*s + w. Suppose -s = -6*y + y. Is y a multiple of 23?
False
Suppose -4*q - 204 = -6*q. Is q a multiple of 17?
True
Let q = -59 - -78. Does 3 d