e -2*w = -4*g + 776, -2*g + 6*w - w + 404 = 0. Suppose -3*f = f - g. Does 13 divide f?
False
Suppose 6*o - 7*o = -40. Is o a multiple of 40?
True
Let l(b) = -b**3 - 20*b**2 - 19*b + 11. Is l(-19) even?
False
Suppose 0 = b - 3*f - 139, 5*f + 95 = -3*b + 568. Let r = b - 65. Is 18 a factor of r?
False
Let x(u) = 4*u**2 + 4*u - 3. Is x(1) a multiple of 2?
False
Let t(x) = x**3 - 6*x**2 + 6*x - 4. Let n be t(5). Suppose -4*s + 30 = s + 4*v, v + n = 3*s. Is 26 a factor of (s + 102)*1/2?
True
Let q(o) = -6*o + 3. Is q(-6) a multiple of 9?
False
Is 165/22*24/10 a multiple of 7?
False
Is (-2)/6 + 70/21 a multiple of 3?
True
Suppose 3*w + 46 = 5*w. Is 5 a factor of w?
False
Let a(r) = -4*r**3 - r**2 - 1. Let t(k) = -k - 15. Let l be t(-13). Does 23 divide a(l)?
False
Let f(m) = -43*m + 4. Is 30 a factor of f(-2)?
True
Is (-2 - -1)*78/(-6) a multiple of 13?
True
Suppose 64 = 5*q - 5*s + s, 3*q + 2*s - 34 = 0. Does 6 divide q?
True
Let l(g) be the second derivative of -g**4/12 - g**3 - g**2/2 + 2*g. Does 3 divide l(-5)?
False
Suppose 3*t + 3*s - 23 + 8 = 0, 2*s = 0. Suppose -3*k = 9, -i + 4*k = -t*i + 28. Is 5 a factor of i?
True
Let t(k) = 22*k + 3. Is t(8) a multiple of 57?
False
Suppose 3 - 23 = -5*y. Let p = y - 10. Let n(x) = x**3 + 6*x**2 - 4*x - 6. Is n(p) a multiple of 18?
True
Suppose 0 = -2*x - 3*v + 16, -2*x = -5*v + v + 12. Suppose x*m = m. Let a = 16 + m. Does 16 divide a?
True
Let s(g) be the second derivative of -g**5/20 - 7*g**4/12 + g**3 - 5*g**2 + 2*g. Suppose 0 = -2*j + 5*j + 9, 5*l - 2*j + 34 = 0. Does 6 divide s(l)?
True
Suppose 4*j = j + 3*k, -5 = -3*j + 2*k. Suppose 0 = 2*m - i - 31, -20 - 53 = -j*m - 2*i. Does 4 divide m?
False
Let i be 21/(-28) + 22/8. Suppose -k + 9 = i*k. Is 142/4 - k/6 a multiple of 14?
False
Let b be 1/(-2*(-1)/4). Let k be (-1*b)/((-3)/6). Suppose k*d - 4 = 0, 2*t - 74 = -3*t - 4*d. Is t a multiple of 5?
False
Suppose 0 = -3*k - 14 + 203. Is k a multiple of 14?
False
Suppose -4 = 3*z + 2. Is 14 a factor of -1 + 28 - 1*z?
False
Suppose g - i - 16 = 0, 0*g + 5*i + 8 = g. Is g a multiple of 12?
False
Let k(q) be the first derivative of q**4/4 + 13*q**3/3 - 3*q**2/2 + 3*q + 6. Does 13 divide k(-13)?
False
Suppose 5*a = 4*a - 6. Is 6 a factor of (-178)/a - (-12)/36?
True
Suppose 587 = 3*r + m, 3*m - 1124 = -5*r - 151. Is r a multiple of 35?
False
Let h(r) = 2*r + 6. Let f be h(-8). Does 16 divide (96/5)/(-4)*f?
True
Suppose 21 = -3*r + 246. Is r a multiple of 3?
True
Suppose -2*k - 2*p = -5*k + 41, k = 2*p + 11. Let z = k + -2. Is z a multiple of 10?
False
Let v(b) = b - 1. Let r be v(-3). Let f(k) = -k**3 - 11*k**2 + k. Let c be f(-11). Let n = r - c. Is n a multiple of 3?
False
Let k be (-1 - 0/2) + 6. Let y = k - 2. Suppose 28 = y*j - j. Does 7 divide j?
True
Suppose 600 = 2*h + 2*h. Suppose -5*s + h = -60. Is s a multiple of 21?
True
Let g = 6 + -11. Let i(r) = -r**2 - r. Let c(b) = 3*b**2 + 4*b + 4. Let y(f) = -c(f) - 4*i(f). Is 9 a factor of y(g)?
False
Let z be (30/25)/((-2)/(-15)). Let c = -5 + z. Suppose -c*h + 42 = 14. Does 3 divide h?
False
Let d(f) = 2*f**2 - 23*f - 25. Is 65 a factor of d(-9)?
False
Let b be (1 - (-1 - 1)) + 230. Suppose -b = 5*y + 7. Let h = 90 + y. Is 21 a factor of h?
True
Let m = -3 + 11. Let o be (1/2)/(2/m). Is 8 a factor of 146/10 - o/(-5)?
False
Suppose 3*y = -a + 42, 2*y + 0*a - 3*a = 17. Let k = y - -11. Does 8 divide k?
True
Is 21 a factor of (-27)/(-54)*48*1?
False
Is (-4)/5*(-135)/3 a multiple of 18?
True
Let v be (-2)/(-4) + 5/10. Is (-1 - -75)/(2 - v) a multiple of 26?
False
Let i = -103 + 180. Suppose 2*z - 18 = 64. Let p = i - z. Is p a multiple of 12?
True
Let v be ((-1)/2)/((-2)/44). Suppose 3*x - 112 = c - v, x + 3*c = 17. Is x a multiple of 16?
True
Let m = 3 + 0. Suppose -m*d + 1 + 44 = 0. Suppose 0 = 4*t - t - d. Is t a multiple of 5?
True
Let g(f) = f + 12. Let r be g(-15). Let y = -22 + 37. Let k = y + r. Is 6 a factor of k?
True
Let t = 18 + -11. Let z(g) = t*g + 0*g + 3*g. Does 9 divide z(2)?
False
Let u(m) = -m**3 - 7*m**2 + 7*m - 10. Let a be u(-8). Let v = 38 + a. Suppose -4*k = -k - v. Does 7 divide k?
False
Let s(b) = -b**2 + 8*b - 7. Suppose -4*k + 17 + 11 = 0. Let m be s(k). Let d(n) = n + 13. Does 13 divide d(m)?
True
Suppose t + 54 = 5*n, -3*n - 5*t + 27 = -11. Does 3 divide n?
False
Let q be ((-4)/(-2) - -8)*1. Let x = 21 - q. Let y = x + -7. Is y a multiple of 4?
True
Let j = -3 + 3. Let n(x) = x**3 - x + 13. Does 7 divide n(j)?
False
Suppose -1 + 13 = 3*a. Is 2 a factor of a?
True
Let p = 244 - 104. Suppose p = 5*i + 4*s - s, -2*s = i - 28. Is i a multiple of 10?
False
Let y = 3 - 5. Let c be (-2 + 4)/y*-3. Is 8 a factor of c/(-6)*4 - -20?
False
Let l(v) = -v**2 + 14*v - 5. Is l(10) a multiple of 5?
True
Let j(p) = -p**2 + 7*p - 1. Let u(q) = -q**3 - 5*q**2 - 6*q - 1. Let i be u(-4). Let c be j(i). Let v = 3 - c. Is 2 a factor of v?
True
Let v = -5 + 10. Suppose 0 = v*b - 3*i - i + 10, 2*i - 2 = 4*b. Suppose 3*u + q = 34, -6 - b = -u - 2*q. Is u a multiple of 6?
True
Let u = 6 - 4. Suppose 4*y - 3*y - 3*x - 48 = 0, -4*y - u*x = -136. Is y a multiple of 12?
True
Let h(k) = -k. Let t be h(-2). Suppose -8 = -5*v - 2*z + 132, -t*v + 56 = 5*z. Is v a multiple of 7?
True
Let z(f) = 2*f**3 - f**2 + 2*f - 1. Let x be z(1). Let w be (x/(-4))/((-7)/56). Does 15 divide 123/5 - w/(-10)?
False
Let c(f) = f**2 + 6*f - 7. Let p be c(-7). Let w be p + 2 + 2 + 38. Suppose -2*h - h = -w. Is h a multiple of 14?
True
Let n(b) = -b**2 + 4. Let m be n(0). Suppose m*q = -q. Suppose -2*h + 6 = k + 1, q = -5*k - 5. Is h a multiple of 3?
True
Suppose -3*n = 2*a - 57, 4*n + a - 62 = 3*a. Is 4 a factor of n?
False
Let v(d) be the third derivative of d**5/24 - d**3/6 + 2*d**2. Let x(w) be the first derivative of v(w). Does 2 divide x(1)?
False
Let r(i) be the second derivative of -i**6/120 + i**5/10 + 5*i**4/24 - 4*i**3/3 - i**2/2 - 2*i. Let p(d) be the first derivative of r(d). Does 12 divide p(6)?
False
Let q(o) = -o**2 - 11*o + 14. Is 9 a factor of q(-11)?
False
Suppose -b + 5*b - 8 = 0. Suppose b*p + 38 = 3*p. Is p a multiple of 15?
False
Let h(a) = -1 + 5 - a - 1. Let v be (-5 + 4)*7 - (3 + -1). Does 12 divide h(v)?
True
Let r(q) = -9*q**3 - q - 1. Let m(g) = 2*g**3 - g**2 - 2*g - 1. Let s be m(-1). Does 18 divide r(s)?
False
Let w(h) = -3*h**2 + h - 1. Let g be w(1). Let p = g - -10. Is p a multiple of 7?
True
Suppose -3*s + s = 0. Suppose s = m + m - 66. Is 11 a factor of m?
True
Let h be 4 - (0 + (-1)/1). Let j be (-1)/3 + (-25)/(-3). Suppose -57 = -h*g + j. Is 13 a factor of g?
True
Let v(j) = j**2 - 2*j + 2. Let h be v(3). Let y = -2 + 2. Suppose -4*q + 44 = h*f - 15, -2*q + 5*f + 37 = y. Does 8 divide q?
True
Let o = -40 + 24. Let i = 63 + o. Does 18 divide i?
False
Let p = -6 + 8. Suppose -3*h + 136 = 5*w, -p*h - h = -3*w - 168. Does 26 divide h?
True
Let h(v) = -2*v**3 - v**2 - 2*v - 4. Is 13 a factor of h(-3)?
False
Let b(v) = -v**2 + 8*v - 4. Let s be b(8). Let q(j) be the third derivative of -j**4/24 + j**3/2 + 2*j**2. Is q(s) a multiple of 7?
True
Suppose 3*x = -24 + 108. Suppose -3*u + 2*u = 3*y - 16, 0 = -4*y - 3*u + x. Suppose y*j + 122 = 6*j. Is 21 a factor of j?
False
Suppose 5*p + 38 = -3*d, 3*d + 6 = -4*p - 34. Let m = d - -89. Suppose 5*j + 8 - m = 0. Is 13 a factor of j?
True
Suppose -t + 0*t = -2. Suppose -h = -4*w - t*h + 88, -3*w + 4*h = -47. Does 7 divide w?
True
Suppose -5*b + 22 = -18. Is b even?
True
Let o(r) = -r**2 + r + 70. Does 35 divide o(0)?
True
Suppose -7*b + 4*b = -33. Suppose 20 = s - b. Is 5 a factor of s?
False
Let r(m) be the second derivative of m**7/840 - m**6/180 + m**5/60 - m**4/6 - m**3/6 + m. Let o(t) be the second derivative of r(t). Does 4 divide o(3)?
False
Let t(q) = -q**2 + 6*q + 2. Let i be t(6). Let p be (5 - (2 - -1)) + i. Suppose -6*m + 4*m = -p. Is 2 a factor of m?
True
Suppose -5*p + 85 = g, 5*p - 50 = -2*g + 40. Let u be 4/p + 38/8. Suppose 0 = -u*h - w + 118, w = -h + 3*h - 50. Is 12 a factor of h?
True
Let c(r) = 10 + 0*r + 0*r - 14*r - r**2 - 2. Let i(x) = -3*x**2 - 29*x + 17. Let l(h) = 7*c(h) - 3*i(h). Is 14 a factor of l(7)?
False
Let b(l) be the second derivative of -l**7/2520 - 11*l**6/720 - l**5/15 - l**4/12 - 3*l. Let v(p) be the third derivative of b(p). Is v(-9) a multiple of 10?
True
Let k(a) 