of q?
False
Suppose -3*d + 5 = -16. Suppose -d*w + 9*w = 44. Is w a multiple of 5?
False
Suppose 14 = 2*u - 0. Let s(k) = k**2 - 3*k - 9. Let q be s(u). Suppose g = y + q, y + 2 - 27 = -g. Is g a multiple of 14?
False
Let h = 8 + -5. Let u = 39 + h. Does 11 divide u?
False
Let j(t) = t**3 + 6*t**2 + 2*t - 2. Let z be j(-5). Let o = z - -2. Does 15 divide o?
True
Suppose -778 = -10*x + 572. Does 16 divide x?
False
Suppose -2*s + 2*i + 79 = -i, 2*i - 54 = -2*s. Is 8 a factor of s?
True
Let w(n) be the second derivative of -n**5/20 - 5*n**4/12 + 5*n**2/2 - 3*n. Does 5 divide w(-5)?
True
Suppose -7*a = -2*a - 50. Does 5 divide a?
True
Is 6 a factor of 11*(-1)/(-2)*8?
False
Let r(c) be the second derivative of c**3/6 + 2*c. Let s be r(3). Suppose 2*z - 48 = -3*v - v, -s*v + 38 = 2*z. Is v a multiple of 9?
False
Let n(v) = -1 + 1 - 2 + 1 - 2*v. Let l(d) = -d**2 - 3*d - 2. Let w be l(-3). Does 3 divide n(w)?
True
Let v(j) = 4*j**2 + 5*j - 1. Suppose 8 = 2*b - 4*b. Is 17 a factor of v(b)?
False
Let x(c) = 6*c + 5. Let p be x(-4). Let b = 35 + p. Does 16 divide b?
True
Let m(y) = -y**2 - 4*y + 5. Let l be m(-5). Suppose u = -l*u + 8. Does 8 divide u?
True
Let c = -90 + 14. Suppose 14 + 198 = 2*q. Let w = q + c. Is w a multiple of 15?
True
Suppose -4*k - 3*p = -5*p - 26, 33 = 2*k - 5*p. Suppose 30 = l + k*l. Let f = 10 - l. Does 2 divide f?
True
Let r(o) = o**2 + 7*o - 8. Let n be r(-8). Suppose -3*p + 15 + n = 0, -3*s + 112 = -p. Does 17 divide s?
False
Let h(s) = 9*s. Let d(y) = 4*y. Let n(f) = -9*d(f) + 5*h(f). Is 7 a factor of n(3)?
False
Let o(d) = -52*d**2 + d - 1. Let u be o(1). Let p be u/(-16) - 2/8. Suppose 0 = 5*z + 2*g - 75, -z + p*g = -0*z - 32. Does 17 divide z?
True
Let b(t) = t + 2. Suppose 5*w = 1 + 9. Suppose 0 = -w*d - 4*q - 0 + 4, -2*d - q + 16 = 0. Is b(d) a multiple of 7?
False
Suppose 3*t - 2*t + z - 41 = 0, 115 = 3*t - 5*z. Does 6 divide t?
False
Suppose -i + v = i - 6, -5*i - 2*v + 33 = 0. Let z be 5/(75/36)*i. Suppose z = g - 0. Is g a multiple of 7?
False
Suppose 0 = -2*x - 6, 4*o - 15 = 5*x + 40. Suppose 0 = -2*m - 0*m - 5*v + o, -83 = -5*m + 2*v. Is m a multiple of 9?
False
Suppose 2*i + 5*s - 20 = 0, 6*i - 3*i - 5*s + 20 = 0. Is 23*((-3)/(-3) - i) a multiple of 23?
True
Suppose 4*y = -9 - 7. Let i = y + 4. Suppose -5*l + 34 = -4*w - 30, i = 5*l + 3*w - 92. Does 8 divide l?
True
Suppose -k = -3*k + 22. Let r = k - -34. Is r a multiple of 15?
True
Let r(t) = -t - 1. Let z be r(5). Let d(x) = 2*x + 2. Let a(w) = w + 3. Let u(q) = 3*a(q) - 4*d(q). Is u(z) a multiple of 14?
False
Let p(j) = -j**3 + 7*j**2 + 4*j - 5. Does 5 divide p(6)?
True
Let b(k) = -2*k**3 - 1. Is 3 a factor of b(-2)?
True
Suppose -4*r + 3*n = 139, -74 = 5*r - 4*n + 99. Let a = r + 81. Suppose -2*z + a = -z + 5*k, k = -3*z + 62. Is z a multiple of 17?
False
Let a = -28 + 39. Is 11 a factor of a?
True
Let y(k) = -k**3 - 7*k**2 + 6*k - 8. Let a(q) = -q**3 - 8*q**2 + 7*q - 9. Let z(s) = 3*a(s) - 4*y(s). Let t(x) = x - 13. Let u be t(9). Does 12 divide z(u)?
False
Let x = 3 - 13. Let m = x - -26. Is 8 a factor of m?
True
Let u(k) = 2*k + 26. Is 2 a factor of u(-8)?
True
Let n = 110 + -108. Suppose 0 = -2*i - 2*j - 2 - 2, 8 = 5*i - j. Is i/(n + (-17)/9) a multiple of 9?
True
Let c be 279/18 - 1/2. Is 8 a factor of 234/5 + 3/c?
False
Suppose -3*v + 7*v - 20 = 0. Suppose -4*d + 5*d = 5*k - 409, -k = -v*d - 101. Is 27 a factor of k?
True
Suppose -5*n + 4 + 16 = 0. Let d(z) = 8*z**3 + z + 1. Let w be d(-1). Let t = n - w. Is 5 a factor of t?
False
Let d = -38 + 37. Let u(o) = -o**2 + 7*o - 5. Let y be u(6). Is 11*((0 - d) + y) a multiple of 11?
True
Let u(q) = -3*q + 3. Suppose 0*i = -4*i - 12, 3*i = -t - 14. Does 3 divide u(t)?
True
Suppose 3*k = 7 + 2. Let j(c) = -6*c**2 + 2*c**3 - k*c - 3*c**3 - 3*c. Does 5 divide j(-5)?
True
Let l be (0 - 10)*(-9)/15. Let k = l - 6. Let o = k - -5. Is o a multiple of 3?
False
Suppose 4*i + 17 = 5. Let w(n) be the first derivative of -5*n**2/2 - 3*n + 2. Is 6 a factor of w(i)?
True
Let g(w) = w**2 - 6*w + 1. Suppose -2*p + 24 = p. Is g(p) a multiple of 17?
True
Suppose -j = -2*z + 34, -4*j + 3*z = -6*j - 75. Is 8 a factor of (j/(-45))/(2/60)?
True
Let y(i) = 12*i - 23. Is 14 a factor of y(7)?
False
Let q(k) = -k + 68. Is 15 a factor of q(0)?
False
Suppose 5*i = 25, -4*i = -2*r - 2*r + 460. Is r a multiple of 12?
True
Suppose 2*w = 7*w - 75. Let f(d) = -d + 12. Let z be f(9). Suppose -k - 8 = -i, -z*k = 5*i - w - 25. Does 6 divide i?
False
Suppose -3*w - z - 6 = -3, z = -3. Is (50 - -1) + 1 - w a multiple of 19?
False
Suppose 3*s + s + 3*j - 23 = 0, s + 4 = -4*j. Let a(m) = m**3 + 10*m**2 + 8*m - 10. Let d be a(-9). Does 9 divide d/4 + 74/s?
True
Let b be -2 - (-8)/2 - 35. Let c = -21 - b. Does 12 divide c?
True
Let p(x) be the first derivative of -2 - 3/2*x**2 + 8*x + 1/3*x**3. Is p(7) a multiple of 13?
False
Suppose -2*l - 11 = -3*l. Let n = l - 7. Suppose 0*a - 54 = -5*a + n*c, 4*a - 72 = -4*c. Does 7 divide a?
True
Let a = -6 - -12. Let q = a - 5. Is q - (1 + -2 + -1) a multiple of 2?
False
Let d(w) be the first derivative of -3*w**4/4 - w**3/3 + w**2/2 + 3*w - 1. Let y be d(-3). Suppose 0 = -q + 3*q - y. Is q a multiple of 18?
True
Let g(c) = -c**3 + 3*c**2 - c - 4. Let q be g(3). Let h = q + -3. Is (15/h)/(1/(-16)) a multiple of 12?
True
Let x(z) = z**2 + 2*z + 6. Let o be x(-5). Suppose 4*r - 83 - o = 0. Does 13 divide r?
True
Suppose 5*o + 2 = 17. Suppose -3*i = f - o*f, -2*f = 0. Suppose -2*x = -i*x - 18. Is x a multiple of 8?
False
Let n = 48 - 29. Is 16 a factor of n?
False
Let w = 13 + -8. Suppose -19 = -3*b + w. Is 4 a factor of b?
True
Let y(q) = q**3 + q**2 - 1. Let a be y(1). Let j(g) = -9*g**3 - 1. Let x be j(a). Let d = -6 - x. Does 2 divide d?
True
Suppose 326 = 5*v + k + 119, 0 = 4*v - k - 162. Is (16/4)/4 + v a multiple of 14?
True
Let y(n) = 3*n**2 - 2*n - 4. Let t be y(-3). Let o = t + 1. Is o a multiple of 15?
True
Suppose -f = -6*f - 5. Does 11 divide (f + 9)/(4/8)?
False
Let g(m) = 4*m + 2. Let n(h) = 9*h + 5. Let w(v) = 5*g(v) - 2*n(v). Let x be w(1). Does 15 divide 14 + 6/(x - -1)?
False
Suppose 0 = 8*t - 7*t - 7. Suppose -4*k + t = -9. Suppose -80 + 260 = k*y. Does 15 divide y?
True
Let l(x) = 2*x**2 - x + 4. Is l(4) a multiple of 16?
True
Let r(f) = 53*f**2 + 2*f - 1. Is 17 a factor of r(1)?
False
Suppose 4*h = 2*r + 2, -3*r - 5 = -5*h - 3. Is 18 a factor of (-9)/((-2 + r)/4)?
True
Let n(u) = -30*u**3 + u**2 - u - 1. Let v be n(-1). Let b = 31 - 44. Let h = v + b. Is h a multiple of 9?
True
Let q(w) = 22*w + 2. Let p(s) = 15*s + 1. Let v(r) = 7*p(r) - 5*q(r). Is 8 a factor of v(-7)?
True
Let l = 12 - 17. Is 9 a factor of (-25 + -2)*(-6 - l)?
True
Let x be 10/(3/2 + -1). Let v be ((-104)/(-12))/((-6)/(-9)). Let g = x - v. Does 5 divide g?
False
Let s be (2/(-6))/((-8)/96). Let i = 8 - s. Suppose -3*k + 5 = -i. Is k a multiple of 3?
True
Let x = -18 + 9. Let o be 4/6*x/6. Does 8 divide 14 - (1 - o)/(-2)?
False
Let l(r) = -r + 6. Let h(g) = 1. Suppose 0 = -0*v + 3*v + 2*k - 13, 0 = 3*k - 15. Let f(w) = v*l(w) - 5*h(w). Does 8 divide f(-7)?
True
Let g = 73 - -42. Does 24 divide g?
False
Suppose -f - 2 = -4. Let v = 7 - 0. Suppose v*h = f*h + 45. Does 3 divide h?
True
Let j(g) = g**3 + 7*g**2 + 3*g + 9. Is j(-6) a multiple of 27?
True
Let f = -87 - -155. Is f a multiple of 17?
True
Is 11 a factor of (-3540)/(-40) + 6/4?
False
Let g(p) = p**2 - 93. Let b be g(0). Let l = -63 - b. Is l a multiple of 10?
True
Let j = 27 - 3. Let t = j - 8. Is 9 a factor of t?
False
Suppose -w = w + 40. Let z = -80 + 116. Let j = z + w. Is j a multiple of 12?
False
Let x be (-1)/(3 - 7 - -3). Is -1 - x - 104/(-4) a multiple of 6?
True
Let p be -2 - 0 - (-2 - 3). Suppose 5*k = -2*v + p*v + 205, 0 = 3*v. Is 14 a factor of k?
False
Suppose -2*c = 2*k + 1 - 31, 6 = 2*k. Suppose j + 0*j = h - 42, 0 = 4*j + c. Is h a multiple of 13?
True
Let q be ((-8)/48)/(1/(-6)). Let s = 5 - 8. Is s/6*(-72)/q a multiple of 19?
False
Is 28 a factor of (-5)/45 + (-505)/(-9)?
True
Let k = -33 - -59. Is k a multiple of 8?
False
Let q(o) = o**3 + 14*o**2 + 7. Let i be 14*1*(-2)/2. Does 6 divide q(i)?
False
Let c(u) = -3*u - 6. Let f be c(3). Is (-80)/f + (-2)/6 a multiple of 5?
True
Let a = -44 + 67. Is 12 a factor of a?
False
Let p(b) = b + 6. Let