35))?
False
Let f(a) = a**3 - 4*a**2 - 7*a + 6. Let o be f(6). Suppose o = 2*y + 4*w, -5*w - 6 = -3*y + 15. Does 7 divide y?
False
Suppose 0 = 2*h - 74 + 2. Is h a multiple of 8?
False
Is (-1 - -3) + -4 + 80 a multiple of 13?
True
Let h(r) = -r**3 - r + 1. Let v(a) = -8*a**3 + a - 2. Let y(m) = h(m) + v(m). Let f(t) = t + 1. Let p be f(-2). Does 8 divide y(p)?
True
Let b = 259 - 106. Does 9 divide b?
True
Suppose 5*w - 2*j = 15, -2*j = -j. Let u = 6 - w. Suppose -v + u = -15. Is 9 a factor of v?
True
Suppose -5*w = -19 - 1. Let u be w/(-8)*1*6. Is 3 a factor of u/(-6) - 11/(-2)?
True
Let o(v) be the second derivative of -v**5/20 - 5*v**4/12 + 2*v**3/3 + 7*v**2/2 + 4*v. Let z be o(-5). Let d = -5 - z. Is d a multiple of 8?
True
Let c be 4 + (-9 - -3)/3. Suppose c*g - o = -2*g + 102, -o = -g + 24. Is 13 a factor of g?
True
Let u(w) = w**2 - 2. Let g be u(8). Is 20 a factor of (g - 2)/(3 - 2)?
True
Suppose -4*c = 12, 2*a - c - 1 = -14. Let m(z) = -3*z + 11. Is 27 a factor of m(a)?
False
Suppose 6 = 5*f - 2*f. Let z = 1 - f. Let x = 6 + z. Is 2 a factor of x?
False
Let j = 1 + 3. Suppose -2*s = -j - 2. Is s a multiple of 3?
True
Let t(d) = 13*d**3 - 2*d**2 - d + 2. Does 7 divide t(1)?
False
Is 14 a factor of (182 - -1) + (1 - -3)/(-4)?
True
Is ((-110)/(-25) - 4)/((-1)/(-175)) a multiple of 7?
True
Suppose 5*m = 35 + 170. Is m a multiple of 12?
False
Let t = -41 + 26. Does 2 divide (-99)/t - 12/20?
True
Is 1*745/10 + 2/4 a multiple of 15?
True
Suppose 8 = -5*l + 28. Suppose -2*a + 2*o + 128 = -0*a, l*a + 2*o - 268 = 0. Suppose 3*h - 3*m - 87 = 0, 0*m - a = -3*h - 4*m. Is h a multiple of 9?
False
Let h(v) = -v**3 - 3*v**2 + 4*v + 3. Let b be h(-4). Let k = b - 7. Is 3 a factor of 0 - k*(2 + -1)?
False
Let b(o) = -o**2 + o + 2. Let x be b(0). Suppose x*d = -3*r - 0*d + 18, 0 = 4*r - 2*d - 10. Suppose 0 = -s + r + 5. Is s a multiple of 5?
False
Let v = 6 + -4. Suppose -2*d - 6*c + c + 106 = 0, -d + v*c = -71. Does 21 divide d?
True
Let h = 377 + -249. Suppose 21 - 1 = 4*q. Suppose q*b - h = b. Is 16 a factor of b?
True
Let o = 6 - 3. Suppose -d = 3*n + 1 - o, -d + 3*n + 20 = 0. Is d a multiple of 11?
True
Let r be (1 - 3)/((-2)/6). Let q = r + -13. Let l = q - -20. Is 11 a factor of l?
False
Let t(o) be the third derivative of o**6/120 + o**5/12 + o**4/12 + o**3 - 3*o**2. Let s be 30/(-8) - 3/12. Does 7 divide t(s)?
True
Let k = -18 + 88. Does 21 divide k?
False
Let j(c) be the second derivative of 3/2*c**2 + 1/20*c**5 - 7/12*c**4 + c**3 + 2*c + 0. Is 2 a factor of j(6)?
False
Suppose 5*h + q - 8 = -2*q, -5*h + 2*q + 28 = 0. Suppose h = -3*v + 5*v, -z - 8 = -4*v. Suppose z*f = 2*m + 3*f - 2, -3*m = 2*f - 13. Is m a multiple of 7?
True
Let z(c) = -4 - 4*c + 4 + 6*c**2. Is z(3) a multiple of 14?
True
Suppose 41 = y + y - 3*c, 64 = 3*y - 5*c. Is y a multiple of 5?
False
Let v be ((-18)/(-30))/((-1)/(-5)). Suppose 16 = v*a + h, 4*a + h + h - 18 = 0. Is a a multiple of 7?
True
Suppose 6*z - 304 = 2*z. Is 19 a factor of (z/(-6))/(8/(-12))?
True
Let f = -16 + 29. Suppose -f = -2*q + 11. Is 10 a factor of q?
False
Suppose -2*g - 1 = x, -2*x = -0*g - 2*g - 10. Suppose -x*c = -20 + 2. Is c even?
True
Suppose -4*n + 3 = -5*a, -4*a - 3 = -3*n - 0*n. Is 2/6 + (-98)/n a multiple of 19?
False
Suppose -4*n = -5*n + 11. Suppose n = k + 1. Does 5 divide k?
True
Suppose 0 = -5*x + 4*n + 45, -6*x + 3*x + 24 = -3*n. Does 10 divide x?
False
Let w be ((-8)/(-16))/((-1)/(-4)). Is (-6)/(-12) - (-61)/w a multiple of 11?
False
Let t(m) = 46*m + 8. Let p be t(4). Let g = -136 + p. Does 14 divide g?
True
Let c = 1 - -5. Suppose 0 = r - c*r - 5*w + 100, w = -5*r + 116. Is 11 a factor of r?
False
Suppose 2 = 5*c + 12. Let u(t) = -t**3 - t**2 + t + 2. Let h be u(c). Suppose h*m = 5*z - 200, 5*z = -3*m + m + 170. Is z a multiple of 17?
False
Let b(p) = 3*p**2 + 5*p - 4. Suppose -h = 2*d + 1, 17 = -3*h - 3*d + 5. Let g = -12 - h. Does 19 divide b(g)?
False
Let x = 126 + -96. Is x a multiple of 5?
True
Suppose 4*f - 35 = 37. Let l be f/12*20/6. Suppose -3*k - 23 = -m, -l*m - 3*k + 17 = -m. Is 4 a factor of m?
True
Let k(p) = 3*p + 0*p**2 + p**2 - 1 + 4*p - p. Let r be k(-5). Is (-141)/r + 3/(-2) a multiple of 7?
False
Is 2*19*(15 + -11) a multiple of 38?
True
Let o(q) = 200*q**3 - 2*q**2 + 1. Let f be o(1). Suppose f = 4*w - 113. Does 26 divide w?
True
Suppose -20 = -4*f + 8. Let o = -6 + f. Is o/2 + 17/2 a multiple of 3?
True
Suppose -v - 1 = 2. Suppose 1 = z - 4*d - 2, d = -3*z - 4. Is 8 a factor of v - -1 - (z + -14)?
False
Let k(v) = -v + 9. Let r be k(6). Does 16 divide 52 - (r + -1*6)?
False
Let z = 14 - 11. Is ((-5)/z)/((-3)/9) a multiple of 2?
False
Suppose -16 + 6 = -2*d. Is 4 a factor of d?
False
Let h = 176 + -104. Does 24 divide h?
True
Let q = -4 + 5. Let c be (-2)/(q/((-70)/4)). Suppose -4*x - x = -c. Is x a multiple of 3?
False
Suppose -4*s - 2*f + 8 = 0, 6*s - s - 36 = 4*f. Suppose 9*r - 115 = s*r. Does 20 divide r?
False
Suppose 0 = -2*l - 0*l + b + 160, 240 = 3*l - 5*b. Is l a multiple of 15?
False
Let u(i) = i**3 - 4*i**2 + i - 3. Let m be u(4). Let q be m*(-279)/3 + 1. Is 14 a factor of (0 - -1)*q/(-4)?
False
Let h be (-14)/5*(0 + 5). Is ((-30)/21)/(2/h) a multiple of 6?
False
Let c = -13 + 15. Suppose -3*q - 54 = -2*a - c*a, 0 = -2*a + 2*q + 28. Is 12 a factor of a?
True
Let q(w) = 3*w - 3. Let g be (14/3)/((-4)/(-6)). Is q(g) a multiple of 18?
True
Let b = -105 - -210. Suppose 4*x = -m - b, x = 2*x - m + 30. Let y = x - -47. Is 20 a factor of y?
True
Suppose -2*c = -f - 7*c + 20, 0 = 5*f + 4*c - 16. Suppose f*x - 99 = -x. Does 33 divide x?
True
Let u(w) = 2*w**2 - 2 + 4*w + 3 + 0*w**2 - 3*w. Let n(y) = -y**2 + 3*y + 3. Let v be n(3). Is 11 a factor of u(v)?
True
Let f be 0 + (-3 + 2)*-3. Suppose -5*l = -3*t - 144, -t = f*l - 4*t - 90. Suppose -3*v + 2*w + 77 = l, -64 = -4*v + 4*w. Does 9 divide v?
True
Let g(b) = -b**2 + 16*b - 4. Is g(8) a multiple of 12?
True
Suppose -4*s = -5*m - 247, 4*s + 4*m = 5*s - 48. Let n = s + -12. Is n a multiple of 30?
False
Let g(z) = -z**3 + 2*z**2 + 4*z - 2. Let w be g(3). Let m be 36/(-16) + w/4. Is 18 a factor of -18*(m/3 - 1)?
False
Let t(k) = -k**2 + 5*k + 53. Does 11 divide t(8)?
False
Let m(n) = -n**3 + 8*n**2 - 8*n + 9. Is m(6) a multiple of 14?
False
Let m = -16 - -25. Is m/(-15) + (-116)/(-10) a multiple of 9?
False
Suppose 3*j - 2*n = -29, 5*n - 8 = -2*j - 2. Let s be (-1 - (j + -1)) + -2. Suppose -4*y + s*y - 5*f = 41, 2*y + 4*f - 40 = 0. Is 13 a factor of y?
True
Let f(h) = 56*h**2 + h. Let g be f(2). Suppose -5*u = -a + 50, 6*a - u = a + g. Is a a multiple of 19?
False
Let k(j) = -8*j. Let v be k(-2). Let u(n) = -2*n - 10. Let i be u(-7). Suppose v = i*o, 5*m + 3*o - 32 = -10. Is m even?
True
Let h(m) = 1. Let t(j) = j**3 + 5*j**2 - j + 9. Let w(u) = 6*h(u) - t(u). Is 13 a factor of w(-6)?
False
Suppose -3*f - 4*r + 0*r + 80 = 0, f + 3*r = 35. Suppose a + 3*a = f. Suppose -a*n + 42 - 7 = 0. Is 5 a factor of n?
False
Let o(r) = 4 + r + 0 - 3 - 3. Let u be o(3). Is 6 a factor of 6*(3 - u) - -2?
False
Is 550/45 - (-4)/(-18) a multiple of 8?
False
Suppose -85 = -z - 3*k, -3*z - 5*k + 61 = -214. Is z a multiple of 20?
True
Let z(o) = o**2 - 6*o - 7. Does 12 divide z(11)?
True
Does 29 divide (444/5)/(26/65)?
False
Let h be ((-5)/(-4))/(1/4). Let u(f) = -2*f + 10 + 1 - 4 + f**2. Is 11 a factor of u(h)?
True
Let v(b) = b**3 - 6*b**2 + 6*b + 4. Let l be v(5). Suppose 0 = 2*j + 4, 5*j = 2*g - 11 - l. Is 2 a factor of g?
False
Let a(r) = r**3 + 10*r**2 + 4*r + 5. Is a(-9) a multiple of 25?
True
Suppose -3 = y + 3*s - 22, -3*y + 92 = 2*s. Let t = -18 + y. Does 10 divide t?
False
Let g(k) = 26*k - 4. Is 12 a factor of g(2)?
True
Let k(p) = -p**2 + 4*p - 3. Let y be k(5). Let z = y - -14. Suppose 9 = -j - 5*a, 5*j - 2*j + 4*a = z. Does 6 divide j?
True
Suppose -2*z - z = -630. Suppose 2*t + 2*v = v + 87, 5*t + 5*v - z = 0. Is t a multiple of 15?
True
Let w(x) = x + 11. Let h(f) = f**2 - 7*f + 6. Suppose -5*n + 37 = 7. Let u be h(n). Is w(u) a multiple of 11?
True
Is 11 a factor of 4/6 + 824/24 + 6?
False
Let t(i) = i + i**2 + i - 5*i**3 + 4*i**3 - 3*i + 18. Does 6 divide t(0)?
True
Suppose -6 - 8 = 3*t + 2*v, t + 4*v = 2. Let k be 0*(t/2 + 2). Suppose k*z - 5*z = -25. Is 2 a factor of z?
False
Suppose 5*i + 19 = 2*p, 3*i + 2*p 