pose 29 = 7*h - 6*h. Is 29 a factor of h?
True
Let h(b) = b**2 - 2*b + 3. Let y = -7 + 4. Does 14 divide h(y)?
False
Suppose 8*k + 46 = 9*k. Does 46 divide k?
True
Let r(t) = 5*t - 8. Suppose -3*k + 5 + 1 = 2*m, 20 = 2*m - 4*k. Let g be r(m). Suppose 3*p + 4 = g. Is 3 a factor of p?
True
Let c(g) = g**3 + 11*g**2 + 8*g - 8. Let z be c(-10). Let y(i) = 5*i**2 - 10*i - 10 - 3*i**2 - i**2. Is 10 a factor of y(z)?
False
Suppose -u - 3*z = 4 + 4, 0 = 4*u + 4*z. Let y(q) = q**2 - q - 2. Let j be y(3). Suppose -j = u*x - 24. Does 5 divide x?
True
Let t be (9 + -115)/((-1)/(-1)). Let f = -73 - t. Is f a multiple of 11?
True
Is 16 a factor of 1/(-3 - 30/(-9))*10?
False
Is 19 a factor of 39 + -1*(4 - 1)?
False
Let w(a) = -a**3 - 2 - 3*a**3 + 3*a**3 - 2*a**2. Let m be w(-3). Suppose 0 = -v + m + 7. Is v a multiple of 9?
False
Suppose 3 = 3*a - 3. Is (-11)/(1*a/(-4)) a multiple of 11?
True
Is 5*(3 - (-312)/20) a multiple of 31?
True
Let c(o) = o**2 + 11*o + 14. Let s = 14 + -25. Is 7 a factor of c(s)?
True
Let b(i) = 2*i**2 - 9*i - 4. Does 10 divide b(7)?
False
Let y(j) = -j**2 + 9*j + 1. Suppose -5*d + 45 = 110. Let x = -5 - d. Is y(x) a multiple of 9?
True
Let i = 92 - 61. Is 9 a factor of i?
False
Suppose -30 = 5*o + 5*g, 11 = 2*o - 3*o - 2*g. Let q be (o - (-16)/(-6))*-9. Suppose r - 22 = -4*t + 16, r - q = -5*t. Is 16 a factor of r?
False
Suppose -x - 80 = -3*x. Let q be (-2)/(-10) - (-72)/x. Suppose q*f - 1 - 77 = 0. Does 13 divide f?
True
Let u = -17 - -29. Let l(c) = -2*c + 7. Let x be l(6). Let v = x + u. Is v a multiple of 7?
True
Suppose 9*j - 240 = 4*j. Does 16 divide j?
True
Let w(b) = -b**3 - 9*b**2 - 3*b + 8. Is 5 a factor of w(-9)?
True
Does 18 divide (-6 - (-84)/35)/((-2)/70)?
True
Let o(r) be the second derivative of -r**6/40 + r**5/60 + r**4/24 - r**3/6 - r**2 - 3*r. Let f(l) be the first derivative of o(l). Is f(-2) a multiple of 16?
False
Let y = 3 + -13. Let f = 52 + y. Is 10 a factor of f?
False
Let i(w) = 8*w - 2. Does 4 divide i(3)?
False
Let o(h) = h**2 - h + 19. Suppose 0 = 5*z - 3*z. Is 11 a factor of o(z)?
False
Let p(x) = 3*x. Let d = -8 - -10. Suppose 3*q = -d*q + 15. Is 4 a factor of p(q)?
False
Let t(o) = 25*o**2 - 4*o - 5. Let s(q) = 49*q**2 - 7*q - 9. Let a(v) = 4*s(v) - 7*t(v). Is a(1) a multiple of 16?
False
Suppose 2*u = 2, -6*x + 5*u = -x - 10. Suppose -s = -6*s - x*r - 7, 17 = -3*s - 5*r. Does 10 divide s - ((-2)/1 - 16)?
False
Let a = -359 - -519. Suppose 4*r - a = 2*b, 3*b - b = 4. Does 15 divide r?
False
Let x = 274 + -142. Is 9 a factor of x/8 + (-9)/(-6)?
True
Let t be (-294)/(15/(-6) - -1). Suppose 3*y + 82 = t. Is y a multiple of 19?
True
Let v = 2 - -6. Let z = 4 + v. Does 12 divide z?
True
Let r(a) = 45*a + 2. Does 25 divide r(2)?
False
Suppose -2*j - 4*n - 7 = n, 5*j - n + 31 = 0. Let m be 8/(-12) + 32/j. Let g(i) = -i**3 - 6*i**2 - i + 3. Is 7 a factor of g(m)?
False
Let l be -2*(1 + (-6)/(-4)). Let j(o) = -4*o**2 + o - o**3 + 75 - 75 + o. Is j(l) a multiple of 12?
False
Let g = 26 + 114. Is g a multiple of 14?
True
Let f be (2*3)/(1 + 1). Suppose m = -2*q + 2*m + f, -q - 3 = 4*m. Is 18 a factor of (7 - q)/((-2)/(-6))?
True
Suppose 2*a + a = 2*u + 24, 0 = 5*a - u - 40. Does 5 divide a?
False
Let f = -120 - -210. Does 24 divide f?
False
Let p(q) = -q + 11. Suppose -5*i + 13 = -22. Let c be p(i). Suppose 0 = -3*w - c + 28. Does 5 divide w?
False
Let h = -13 - -16. Does 2 divide h?
False
Let i(y) = -y**3 + 13*y**2 - 13*y + 10. Let u(w) = w**2 + w + 9. Let q be u(0). Let n be i(q). Suppose -7 + n = 5*h. Is 21 a factor of h?
True
Let l(t) = -t**3 + 2*t**2 + 6*t - 2. Let d be l(4). Let a be (d/3)/(2/(-3)). Suppose -2*f - a*o - 2 = -40, -19 = -f + 5*o. Is 19 a factor of f?
True
Let j(y) = y + 14. Is j(8) a multiple of 4?
False
Suppose 0 = n - 44 - 17. Is 11 a factor of n?
False
Suppose -3*x + 2*u + 148 = -2*u, -5*x + 3*u = -265. Suppose -88 - x = -6*b. Does 6 divide b?
True
Let b = 8 - -20. Is 7 a factor of b?
True
Let b be 20 + (3 + -2 - 0). Suppose -b = 3*w - 105. Suppose 2*x = -0*x + w. Does 11 divide x?
False
Let g be (-26)/(-39) - (-254)/6. Let o = g - 19. Does 6 divide o?
True
Let p be (-511)/(-4) - (-4)/16. Suppose 6*f = 2*f + p. Is 16 a factor of f?
True
Is -1 - -62*1/2 a multiple of 6?
True
Let u be ((-1)/3)/(3/(-63)). Let d = 10 - u. Does 3 divide d?
True
Suppose -3*j + 1 = -44. Does 4 divide j?
False
Suppose -5*l = -3*l - 20. Does 3 divide l?
False
Let q = 30 + -2. Suppose -4*m = -5*h + 46, -4*m + q = 4*h - 5*m. Suppose 5*c + 3*u = -u + 53, h = 3*u. Is 6 a factor of c?
False
Let j(r) be the second derivative of r**3/6 - r**2/2 - 2*r. Let w be j(4). Suppose 0*x + 99 = 3*c + 5*x, w*x = 2*c - 47. Does 14 divide c?
True
Let z be 0 + -1 + 1 - -3. Let v be 3 - z - (-3)/1. Suppose 3*r - 24 = -5*b + v*b, -b + 17 = 2*r. Does 5 divide r?
True
Suppose -2*z + 1 = 5. Let j = z + 4. Is (-16)/(-10) + j/5 a multiple of 2?
True
Let u(x) = -61*x - 1. Is 15 a factor of u(-1)?
True
Let r(z) = 5*z**2 - 1. Let k be r(-1). Suppose 5*q + 10 = 0, j - 9 = 2*q - k*q. Does 3 divide j?
False
Let g(n) = -167*n + 4. Is g(-1) a multiple of 19?
True
Let f be ((-6)/(-4) - -1)*2. Suppose 4*m + 9 = j, 0 = -2*j + m - f*m + 18. Is j a multiple of 3?
True
Let t(h) = 216*h**3 + h - 1. Let x be t(1). Let d be 2/5 - x/(-10). Let p = d - -6. Is p a multiple of 14?
True
Suppose -4*q + 17 + 3 = 0. Suppose 0*u = -2*u - q*k + 3, -2*u + 6 = 2*k. Is 3 a factor of u?
False
Let b(z) = z + 19. Is 3 a factor of b(-16)?
True
Let m(s) = -s**2 - 6*s - 2. Let p be m(-4). Suppose c = 20 + p. Is 26 a factor of c?
True
Does 5 divide 755/30 + (-1)/6?
True
Let l = 1 - 3. Does 6 divide -2 - ((-16)/l)/(-1)?
True
Let d(m) = -m**2 - 5*m**3 - 4*m**3 + 0*m**3 + 2*m**3. Is d(-1) a multiple of 2?
True
Let c = 60 + -43. Let r = -4 - 2. Let o = c - r. Is o a multiple of 10?
False
Suppose i - 18 = -i. Let o = i + -4. Is 5 a factor of o?
True
Let k(y) = -y**3 - 8*y**2 - 8*y - 4. Let q be k(-7). Let p = q + -9. Let f = -3 - p. Does 2 divide f?
False
Suppose -2*c + 160 = 3*c - v, 4*v + 112 = 4*c. Does 21 divide c?
False
Suppose 3*z + 9 + 3 = 0. Let n(p) = -p**2 - 6*p - 2. Is n(z) a multiple of 3?
True
Let v = 0 - -4. Suppose 3*q + 24 = n - 0*q, 0 = -v*n + 5*q + 61. Does 15 divide 2/n + (-1610)/(-45)?
False
Let s = -178 + 298. Does 40 divide s?
True
Let h = 198 - 93. Let b(u) = -u**3 - 2*u**2 + 3*u + 3. Let o be b(-3). Suppose -o*y - h = -6*y. Is 15 a factor of y?
False
Let d(x) = x**3 - 9*x**2 + 22*x - 16. Is 12 a factor of d(8)?
True
Let f = -1 + 17. Does 14 divide f?
False
Suppose 5*c = 4*d + 55, -2*c + 2*d = -4*c + 4. Suppose -c*w = -2*w - 175. Is 5 a factor of (-10)/w - 79/(-7)?
False
Suppose -q = -3*p + 4*q + 317, -5*q = 3*p - 277. Suppose 161 + p = 5*i. Suppose 2*l - i = -3*l + 4*s, 25 = 2*l - 3*s. Is 8 a factor of l?
True
Let p = 211 - 133. Is 13 a factor of p?
True
Suppose 2*g + 4*a - 38 = 0, -7*a - 24 = -3*g - 2*a. Let d = 18 - g. Suppose 3*f - m = -6*m + 55, d = f - 5*m. Does 5 divide f?
True
Let m be 2/(-10) - (-6)/5. Let u(k) = -36*k**3 - k**2 + 1. Let o be u(m). Let q = -23 - o. Is 13 a factor of q?
True
Let y(v) = v**3 + v**2 - v + 5. Let t be y(0). Suppose -t*h = -2*d + 10, 5*d - d - 52 = 2*h. Is d a multiple of 15?
True
Is (-78)/((42/(-4))/7) a multiple of 26?
True
Let r be -1*((3 - 3) + 3). Let j be r/2*8/3. Let w(k) = 2*k**2 + 6*k + 6. Is w(j) a multiple of 14?
True
Let j(t) be the second derivative of t**4/12 + t**3 - 7*t**2/2 + 2*t. Let f be j(-8). Let i = -6 + f. Is i a multiple of 2?
False
Let f be ((-2)/5)/((-2)/(-10)). Is 12 a factor of (-390)/(-33) - f/11?
True
Let j be -2*((-9)/2 + 2). Let z be 4 - 2 - (1 + -3). Let s = j + z. Is s a multiple of 4?
False
Let c(w) = -w + 1. Let n(y) = 30*y - 24. Let k(t) = -36*c(t) - n(t). Let b be k(10). Is (-5)/(-2)*b/20 a multiple of 3?
True
Suppose -r + 2*d - 36 = 5*d, -2*d + 112 = -5*r. Let p = r + 80. Does 11 divide p?
False
Is 4 a factor of (-161)/(-3) + (-5)/(-15)?
False
Suppose -2*q - 378 = -3*t - 143, -t - 2*q = -65. Let x = -43 + t. Is x a multiple of 13?
False
Suppose -2*u + 21 - 1 = -3*k, -5*k - 45 = -5*u. Is u a multiple of 2?
False
Suppose -4*f - 23 = 1. Let r(u) = u**3 + 5*u**2 - 7*u - 6. Let t be r(f). Suppose t = 4*k - 46 - 30. Does 16 divide k?
False
Let d(z) = z**3 - 4*z**2 - z + 1. Let i be d