k, -c + 26 = -0*c + 3*y. Does 14 divide c?
False
Suppose -i = -5*u + 28, 3*i - 4*u = -3*u - 28. Let w = 9 + i. Suppose -2*b - w = -15. Does 4 divide b?
False
Let p be (-2)/2 + 2 + -10. Let f be 6/p*(-31 + 1). Suppose 3*v + 16 = 4*j, 5*j = 3*v - v + f. Is j a multiple of 2?
True
Suppose 3*z - 2*z = 78. Is z a multiple of 26?
True
Is 4 a factor of (-5)/(-25) + (-68)/(-10)?
False
Let u be (3/6)/((-1)/(-12)). Let x = -4 + u. Suppose 0 = -y + 25 + x. Is y a multiple of 16?
False
Suppose 0 = 3*a - 0*a - 33. Let b(r) = 6 + a - r + 2*r. Is 7 a factor of b(-10)?
True
Let m be 3*-2 + 3 + 4. Suppose i + m = 20. Does 19 divide i?
True
Let r(l) = -2*l**2 - 1. Let j = -4 + 3. Let f be r(j). Does 9 divide ((-2)/f)/((-3)/(-81))?
True
Suppose n + 3*n - 10 = 2*g, 0 = -2*n - 4*g + 30. Let j be (-10)/3*6/n. Does 23 divide j/(1 + (-15)/14)?
False
Suppose 2*h = -2*h. Suppose h = 2*r + r - 60. Is 11 a factor of r?
False
Suppose -4*s - 159 + 187 = 0. Is s a multiple of 2?
False
Does 37 divide 76 + -3 + -2 - -3?
True
Suppose 0 = -g + 5 - 2. Suppose -4*s = -g*s - 21. Suppose s = 3*w - 6. Is 7 a factor of w?
False
Let g be 2/(8/(-4)) - -1. Suppose 3*r - o - 56 = g, -6*r - 2*o = -3*r - 59. Is 6 a factor of r?
False
Suppose -2*p + p = -2*a - 242, 5*p - 1199 = -a. Is p a multiple of 22?
False
Let j = -126 - -168. Does 6 divide j?
True
Suppose 2*d + 0*d + 6 = 0. Does 2 divide d - -5 - -1 - -2?
False
Is 13 a factor of 3/5 + (-13884)/(-60)?
False
Let r(z) = 3*z**2 - 1. Let l be r(-1). Suppose -s - 92 = -l*s. Does 17 divide s?
False
Let k(t) = 84*t. Is 28 a factor of k(1)?
True
Suppose 1 = 3*s - 11. Suppose -2*r + 8 = 0, s*u = 5*u + 4*r - 22. Is u a multiple of 3?
True
Let k(h) = h + 10. Let y be k(-7). Suppose u = -y, 3*m - 3*u + 0*u = 45. Is m a multiple of 4?
True
Suppose 3*y = -j + 98, -558 = 4*j - 9*j + 2*y. Is 34 a factor of j?
False
Let q(s) be the second derivative of 17*s**4/12 - s**3/3 - s**2/2 - 7*s. Is q(-1) a multiple of 6?
True
Let a be (1 + -1)/(7/(-7)). Suppose a = 4*x - 0*x + 284. Let v = -37 - x. Is v a multiple of 17?
True
Let m(a) = -6*a + 6. Is m(-5) a multiple of 9?
True
Suppose 2*i = y - 9, -y + 3*y = -5*i. Is y a multiple of 5?
True
Let x(n) = -14*n - 2. Is 18 a factor of x(-4)?
True
Suppose -x - 1 = -4. Suppose -2*y + 2 = o, -2*y - x = -o - 3*y. Suppose 40 = u + o*u. Is 8 a factor of u?
True
Let r = 108 + -67. Does 27 divide r?
False
Let t(x) = x**2 - 4*x - 7. Suppose 4*h + 19 = -5. Does 24 divide t(h)?
False
Suppose 5*i + 3 = 2*i, i = -4*d + 163. Let j be (3 + -24)*2/(-6). Let q = d - j. Is q a multiple of 19?
False
Suppose 6 = -3*u - 0*n + 2*n, 0 = 4*u + n - 3. Let f be (5 + -2)*(1 + u). Suppose -d + f = -0*d. Is d a multiple of 3?
True
Does 26 divide 6/12 - 183/(-2)?
False
Let o(y) be the third derivative of 13*y**4/24 + 4*y**2. Is o(1) a multiple of 5?
False
Is 28 - (5 - (-2 + 5)) - 4 a multiple of 11?
True
Suppose 22 + 882 = 8*t. Is 24 a factor of t?
False
Is 0 + -1 + 125 - 0 a multiple of 26?
False
Let x = -2 - -3. Is (6/(-3))/(x/(-7)) a multiple of 14?
True
Suppose 0 = -r - 4*o + 54, 2*r - 3*o + 8*o = 108. Does 9 divide r?
True
Suppose t - q + 2 = -3*t, -2*t - 2*q = -4. Suppose t*n + 34 = 2*n + 2*v, v + 43 = 4*n. Is n a multiple of 12?
True
Does 21 divide 886/14 - 4/14?
True
Let s(u) = -u**3 - 10*u**2 + 6*u - 10. Is s(-11) a multiple of 40?
False
Does 8 divide (-42)/(-9)*(-18)/(-7)?
False
Let b(z) = 5*z + 39. Let m(w) = w. Let k(j) = b(j) - 4*m(j). Does 15 divide k(0)?
False
Let w(y) = 20*y - 1. Let a be w(5). Suppose -4*q + 33 = -a. Is q a multiple of 16?
False
Suppose n = 3, 0 = 2*o - 2*n + 2. Suppose -2*h + 4*g + 9 - 1 = 0, g + o = -h. Suppose h = -i + 2 + 3. Does 2 divide i?
False
Let b(f) = -21*f**3 + f. Is b(-1) a multiple of 4?
True
Suppose -2*l - 12 = 2*l, -5*m + 4*l = -37. Suppose -o - 52 = -m*o. Does 6 divide o?
False
Suppose -2*n + 31 = -11. Let c = n - 16. Does 2 divide c?
False
Suppose 2 = -3*y + x - 6, -3*y + 5*x = -8. Is (-2)/y*96/2 a multiple of 12?
True
Let y = 6 + -4. Suppose -u - 4 = -4*u + h, u + 3*h = -12. Suppose y*c = -u*c + 10. Is c even?
False
Let t(i) = 2*i**2 + i - 4. Does 5 divide t(2)?
False
Let k = 26 + -16. Suppose 8 = 3*s - k. Let j(w) = w**3 - 5*w**2 - 5*w. Is 3 a factor of j(s)?
True
Let p = 12 + -9. Let u = p + 25. Does 16 divide u?
False
Suppose 3*p = 2*p. Suppose 4*v + 2*y = 4, p = -2*v + y + 3*y - 8. Suppose v = -3*w + 6*w - 144. Is w a multiple of 18?
False
Let c = -158 - -107. Let v = c - -17. Let g = 68 + v. Is g a multiple of 18?
False
Let x(l) = l + 39. Does 2 divide x(-23)?
True
Suppose -2*u + 7*u - 18 = -3*d, 0 = -3*u - 4*d + 13. Let y(c) = -c**3 + 5*c**2 - 2*c - 5. Let j be y(4). Let s = u + j. Is s a multiple of 6?
True
Suppose -c = 4*c + 3*k - 80, -4*k + 75 = 5*c. Let s = c + -9. Let d = s + 0. Is 3 a factor of d?
False
Let b be 0 - -2 - (-25 - 2). Let p = -14 - -9. Let a = p + b. Is a a multiple of 8?
True
Suppose -64 - 98 = -4*j + 3*t, 2*j = -t + 86. Does 8 divide j?
False
Let z(k) = -k**3 + 5*k**2 + 7*k - 9. Let g be z(6). Let d(t) = t**2 - 1. Does 3 divide d(g)?
False
Let d be (-1 + 17)*(-30)/(-24). Suppose d = 4*n - 84. Suppose n = 5*x - 5*u - 19, x - 19 = -4*u. Does 11 divide x?
True
Suppose -4*c + 11 = g, -3*g + 3*c + 41 = -37. Does 3 divide g?
False
Let l = 74 - -1. Is 25 a factor of l?
True
Suppose 2*u + 32 = 5*s, -2*s - 4 = -0*u - 5*u. Let d be ((-8)/(-14))/(s/28). Does 11 divide d + (-81)/(-3)*1?
False
Let l(w) = 5*w**2 - 1. Let o be l(-1). Suppose -o*d = -d - 108. Does 8 divide (6/8)/(3/d)?
False
Suppose 3*t = 5*l - t - 186, l + 5*t - 43 = 0. Is l a multiple of 12?
False
Let b(t) = -t**3 - 17*t**2 - 8*t - 30. Is 17 a factor of b(-17)?
False
Suppose 4*j - 3*j + 4*h = 14, -j + 5*h - 13 = 0. Suppose -2*r - j*r = -32. Does 4 divide r?
True
Does 17 divide (-5826)/(-22) - (39/(-33) + 1)?
False
Let l = 158 - 90. Does 19 divide l?
False
Let c(k) = 6*k + 4. Let p be c(4). Is 12/p - 123/(-7) a multiple of 6?
True
Let w(m) = -m**3 - 8*m**2 + 5. Let j be w(-8). Let n = j + -17. Is 10 a factor of (-6)/(-8) + (-279)/n?
False
Let p = -76 + 37. Suppose -6 = o - n + 55, 0 = 4*o + 5*n + 262. Let d = p - o. Does 12 divide d?
True
Let i = -52 + 79. Is i a multiple of 21?
False
Let f(r) = -4*r + 5. Let b(j) = -3*j + 4. Let w(a) = -6*b(a) + 5*f(a). Let n be w(-1). Is 9 a factor of (n/6)/((-1)/(-42))?
False
Suppose 2*y = -0 - 16. Let n be (-2 - y)/(2/6). Suppose -5*o + 24 = -3*o - 2*m, 2*o = 5*m + n. Does 7 divide o?
True
Let s(m) = 3 + m + 4*m - 2 - 4*m + 2*m**2. Does 11 divide s(-3)?
False
Let y = 48 - 21. Let v be (-2 + 1)*-13 + 2. Let h = v + y. Does 14 divide h?
True
Let d = 37 - 53. Let a = -10 - d. Suppose b - 28 = -a. Is 22 a factor of b?
True
Let g(s) = s**3 + 11*s**2 - 2*s + 8. Does 16 divide g(-11)?
False
Let d be (-21)/(-6) + (-1)/2. Let m(n) = n**3 + 2*n**2 - d + 3 + 2. Does 9 divide m(2)?
True
Suppose -2*m - 3*q + 3 + 16 = 0, -2*m + q = -23. Is 11 a factor of m?
True
Suppose 0 = 5*y + 3*w + w - 225, -y + 2*w + 45 = 0. Suppose -j = -0*j - y. Is j a multiple of 15?
True
Let k = 46 - 22. Does 2 divide k?
True
Suppose -3*c - 13 = -4*g, c = -3*g - 0*c. Let a = 3 + g. Is a a multiple of 4?
True
Let g = 6 + 2. Suppose -s + 232 = -2*m, 3*s - g*s + 4*m = -1148. Does 7 divide (-2)/8 + s/16?
True
Let n be (-51)/2 + (-1)/2. Suppose 0*s = -s + 43. Let p = s + n. Does 17 divide p?
True
Let i = 6 + -15. Let o(v) = v**3 + 8*v**2 - 11*v - 8. Is o(i) a multiple of 10?
True
Suppose -4*m = 4*c - 64, c = 2*c - 4*m - 1. Suppose -67 = -5*r + c. Does 8 divide r?
True
Suppose t - 2 - 11 = 0. Suppose 4*c = 61 - t. Let n = c + 7. Does 7 divide n?
False
Let s(v) = -v**2 - v - 1. Let m(h) = 3*h**2 - 9*h + 13. Let c(k) = -m(k) - 2*s(k). Is 7 a factor of c(9)?
True
Suppose 2*h - 25 = h. Suppose -4*z + z - 2*v = -h, -3*v = 3*z - 27. Is 4 a factor of z?
False
Let w(t) = t**3 + 6*t**2 + 1. Is 14 a factor of w(-3)?
True
Suppose 0 = -w + 3 - 5, 2*s = -4*w - 44. Let k = -52 - s. Let o = -20 - k. Is 7 a factor of o?
True
Let h(v) = v**3 + 16*v**2 - 24*v + 11. Is 34 a factor of h(-17)?
False
Suppose 5*z - 2*z = 78. Is 11 a factor of z?
False
Let x(t) = -3*t + 4. Is x(-3) a multiple of 8?
False
Let l(t) = t**2 - 1. Let q(o) = -5*o**2 + 9*o + 11. Let p(r) = -6*l(r) - q(r). Let j be p(-8). Suppose 0 = -h + j - 0. Is 3 a factor of h