 + 35 = 5*z - h, -z + 3*h + 9 = 0. Let s be 6/5*(-140)/z. Let v = s + -13. Does 12 divide v?
False
Suppose 4*t - 204 = t. Is 17 a factor of t?
True
Suppose 4*c + 0*c = 484. Is 26 a factor of c?
False
Let o(x) = -x - 4. Let d be o(-6). Let t(q) = 9*q**2 - 2*q - 1. Does 8 divide t(d)?
False
Suppose 2*u = -0 + 32. Suppose i = -j + u, i - 5*i = 3*j - 53. Is 11 a factor of j?
True
Suppose 3*m - 7*z + 3*z = 14, -2*z = 5*m - 6. Let u be 18/8 - 5/20. Is (u/(-2))/((-1)/m) a multiple of 2?
True
Suppose -2*f = -0*f - 2. Does 11 divide (f/(-2))/((-2)/44)?
True
Suppose 3*w + 0*w = 0. Suppose h + l = -3 + 2, w = -4*h + l + 21. Suppose -h*u - 20 = 0, -3*u = -5*r - 5*u + 50. Is 12 a factor of r?
True
Suppose 9 = 3*r, -2 = 5*a + r - 5. Suppose a*y - y = 0. Is (-1 - (1 - y)) + 34 a multiple of 19?
False
Suppose 0 = -6*d + 3*d + 804. Suppose h - d = -3*h. Is h a multiple of 28?
False
Let c be ((-4)/(-10))/(2/(-10)). Let l = 2 + c. Is 6 a factor of (-6 + -8)*(-1 + l)?
False
Let u(q) = -4*q + 12. Is u(-3) even?
True
Suppose -4*h - 2*k - 24 = -6, 3*h + 7 = 5*k. Does 7 divide (h - (-20 - 2)) + 3?
True
Suppose 2*h - 6 = 10. Suppose -g - h = 3*i - 3, g = -i + 1. Is 2 a factor of g?
True
Let m(v) = 6*v**3 + 12*v**2 - 11*v - 9. Let d(o) = 5*o**3 + 11*o**2 - 10*o - 8. Let s(h) = -7*d(h) + 6*m(h). Let r be s(4). Is 8 a factor of (r - 0) + 2*3?
True
Let k be ((-2 + 0)/2)/(3/(-6)). Let w(d) = d**2 + 2*d - 4. Let o be w(-4). Suppose o = -k*n, x + 5*n + 1 = -2. Is 7 a factor of x?
True
Suppose 0 = 3*n + j - 29, n - 2*j + 42 = 5*n. Does 4 divide n?
True
Suppose 3*z - 79 - 110 = 0. Is 24 a factor of z?
False
Does 3 divide ((7 + -3)*-3)/(-2)?
True
Let x(g) = 8*g**2 + g - 1. Let l be x(1). Suppose -l*i = -v - 4*i + 39, 2*i = v - 35. Is 12 a factor of v?
False
Let i = -12 + 22. Is 5 a factor of -10*2/i*-6?
False
Let t(f) be the second derivative of 23*f**4/6 + f**3/6 - 6*f. Is t(1) a multiple of 12?
False
Let y = -5 - -7. Suppose -77 = y*u - 3*u. Is u a multiple of 27?
False
Let j be 18 + 3/((-12)/8). Suppose 2*u + 2*u = j. Is u a multiple of 4?
True
Let c(s) = -11*s**2 + 14*s + 4. Let j(l) = l**3 + l**2 - l. Let i(x) = c(x) + j(x). Is i(9) a multiple of 11?
False
Suppose -2 = -m + 4. Let n = 6 - m. Suppose n = -5*d + 8 + 127. Is 10 a factor of d?
False
Let g(i) = i**3 + 8*i**2 - 3*i - 8. Suppose 3*o + 5*d + 44 = 0, -2*o + 0*o - d = 20. Is g(o) a multiple of 8?
True
Let n = -3 + 4. Does 14 divide n/6 + 581/42?
True
Suppose 0 = -3*z + 106 - 16. Is 10 a factor of z?
True
Let y = 1 - -1. Suppose y*m + 38 = 4*m. Suppose 3*s = 4*r - 49, 4*r - 2*s - 31 = m. Does 13 divide r?
True
Suppose -5*i + 247 = 4*n + 26, -n - i + 55 = 0. Is n a multiple of 20?
False
Let z(x) = -5*x + 6. Is z(-5) a multiple of 15?
False
Let p = 21 - -46. Let g = -69 + 104. Let c = p - g. Does 15 divide c?
False
Let h(q) be the third derivative of 25/6*q**3 - q**2 - 1/60*q**5 + 0 + 0*q + 0*q**4. Is h(0) a multiple of 10?
False
Let l = 16 + -38. Let f = -2 + -7. Let x = f - l. Does 13 divide x?
True
Suppose 7883 = 19*v + 891. Is 23 a factor of v?
True
Let u = 405 + -284. Suppose -n - u = -3*t, -3*n = -5*n - 2. Does 20 divide t?
True
Suppose -14 - 1 = -5*x. Does 3 divide x?
True
Let x(o) = o**2 - 6*o - 4. Let h be x(7). Suppose 2*j + h*j = -2*v + 45, -2*j - 24 = -2*v. Suppose -3*t - 106 = -5*z, 4*t - v = -t. Is 23 a factor of z?
True
Suppose 4*w + 6*c - 564 = 4*c, -4*w + 5*c = -564. Is w a multiple of 13?
False
Is 4 a factor of 93/3 - (-6 - -2)?
False
Suppose -71 = -4*h - h - 3*u, -12 = 4*u. Is 4 a factor of h?
True
Let p(m) = 13*m**3 + 3*m**2 - 2. Let n be p(2). Let k be ((-1)/2)/(3/n). Let w = 7 - k. Does 17 divide w?
False
Let q = -292 + 736. Let z(d) = -d + 4. Let p be z(2). Does 14 divide p/6*q/4?
False
Is 8 a factor of (-70)/(-4)*(-28)/(-35)?
False
Let c(w) = -w**2 - 6*w - 3. Let q be c(-5). Let m be ((-21)/2)/((-2)/4). Suppose -5*s + m = -s - o, q*o - 18 = -4*s. Does 3 divide s?
False
Suppose -2*k + 0*k = -176. Is k a multiple of 8?
True
Is 28 a factor of 2/(-12) + (-1771)/(-42)?
False
Suppose 0 = s + 5*s. Suppose -2*h - 24 = -5*h + 5*q, -5*h + 5*q + 50 = s. Does 12 divide h?
False
Let d(b) = b**2 - 4*b - 3. Let n be d(5). Does 3 divide ((-15)/20)/(n/(-24))?
True
Let g(n) = n**3 + n - 1. Let v(l) = 2*l**3 + 8*l**2 + 3*l + 6. Let a(i) = -3*g(i) + v(i). Is a(7) a multiple of 24?
False
Suppose -2*v = -16 + 50. Let s = 32 + v. Is 15 a factor of s?
True
Suppose q + 5*m = 3, m + 15 = 5*q - 0*m. Suppose 0 = w - q*w + 94. Is w a multiple of 25?
False
Suppose 1 = -3*u + 4*c + 7, -u + 4*c + 2 = 0. Let g be 1/(-3)*8*-48. Suppose -4*i = q - 90, -5*i - u*q + g = 17. Does 9 divide i?
False
Is 6 a factor of (-2 + 4/5)/((-11)/165)?
True
Let u(o) = -65*o + 1. Let c be u(-1). Suppose -3*y - 49 = 2*n, 0 = -3*n - 3*y - 0*y - c. Let f = 33 + n. Is f a multiple of 9?
False
Let q(s) = -s**2 + 0*s**2 - 2 + 3*s + 5. Let f be q(-3). Let p = 3 - f. Is p a multiple of 9?
True
Let x be (4 - 0) + (3 - 5). Is 2 - (x + -2 + -57) a multiple of 21?
False
Suppose -5*c - 4*k = -28, 5*k + 6 = 5*c - c. Suppose -4*y - 4*i = -6*i - 2, 5*i - 7 = c*y. Is 2 a factor of y?
True
Let c(y) = -y**3 + 22*y**2 + 3*y - 10. Is 41 a factor of c(22)?
False
Let z = 2 + 27. Is z a multiple of 10?
False
Let w(x) = -2*x**3 - 5*x**2 + 17*x - 10. Is 35 a factor of w(-6)?
True
Is (-2)/(-4) + 216/16 a multiple of 7?
True
Let o(l) = l - 5. Let d be o(8). Let n = 31 - d. Is 14 a factor of n?
True
Let v be -2*(-1 + 3/(-6)). Suppose 4*k + 22 = -v*h, -h - 8 = -5*h + 4*k. Does 11 divide 6/(-4)*44/h?
True
Let k(a) = a**2 + a. Let i(b) = -11*b - 3 + 4*b + 10*b. Let c be i(2). Is 12 a factor of k(c)?
True
Is -1 + -4 + 6 - -28 a multiple of 4?
False
Let h(s) = s**3 + 2*s**2 - 3*s - 1. Does 7 divide h(3)?
True
Suppose 252 = -0*v + 3*v. Does 14 divide v?
True
Let c(u) be the second derivative of -u**4/12 + 2*u**3/3 + 4*u**2 - 2*u. Let x be c(6). Is 21 a factor of (-31)/(1/(x/2))?
False
Let a = 78 - 50. Does 5 divide a?
False
Let c = 13 + 10. Suppose 1 = 2*w + m - 1, 0 = w - 5*m - c. Suppose -4*n + 6*n - 39 = -5*x, 0 = -x + w. Does 6 divide n?
True
Let p = 6 + -7. Let s(o) = -14*o + 1. Is s(p) a multiple of 4?
False
Let f be 219/7 - (-4)/(-14). Let r = f - -17. Does 12 divide r?
True
Let l = 6 - -23. Let v = 11 + -8. Suppose v*g - 28 - l = 0. Is g a multiple of 12?
False
Suppose 0 = 4*s - 2*t + 3*t - 264, -s + 66 = -t. Is 11 a factor of s?
True
Let t(f) = f**2 - 8*f - 16. Suppose -3*m = 4*z - 22, 6*m = m - 2*z + 60. Is 12 a factor of t(m)?
False
Suppose 1 = -2*x + 9. Let f(g) = g**3 + 9*g**2 - g - 9. Let m be f(-9). Suppose m*k = -x*k + 108. Does 13 divide k?
False
Let g be -2 + 3 + 4 + -2. Let s(y) = -y - 7 - g*y + 2*y. Is 3 a factor of s(-7)?
False
Suppose -24*d = -21*d - 96. Does 16 divide d?
True
Let m be (-1)/4 - (-18)/8. Let j be (-2)/7 - (-46)/14. Suppose j*r - 48 = -m*q, -5 = r + 3*q - 14. Is 9 a factor of r?
True
Suppose 4*n + 15 = 207. Does 6 divide n?
True
Suppose 0 = -r + 3 - 4. Let u(m) be the first derivative of m**3 + m**2/2 - 1. Is u(r) even?
True
Suppose 0 = -2*a - 8*a + 840. Is a a multiple of 21?
True
Let q(o) = 2*o + 46. Is 10 a factor of q(-8)?
True
Suppose -2*o = -4*o + 42. Is 9 a factor of o?
False
Let n(j) = -j - 5. Is n(-8) a multiple of 3?
True
Let z(x) = x**2 + 2*x - 3. Let l be z(2). Suppose l*n - 32 - 33 = 0. Is n a multiple of 8?
False
Let o(d) be the second derivative of d**5/20 - 5*d**4/12 - 5*d**3/6 - 3*d. Let k = -1 - -7. Is o(k) a multiple of 2?
True
Let f(u) = 16*u**2 - 16*u + 4. Let n(t) = 3*t**2 - 3*t + 1. Let w(x) = -2*f(x) + 11*n(x). Does 5 divide w(-3)?
True
Let f(w) = 4*w**2 - 2 - 1 - 5*w**2 - 4*w. Let p be f(-2). Suppose 4*z + p - 41 = -5*d, -3*d + 11 = 5*z. Is d a multiple of 6?
True
Let v be (9 + 1)*(-7)/(-2). Suppose -w - 3*p = w - v, -3*w + 52 = 4*p. Is 8 a factor of w?
True
Suppose -215 = -4*n - n. Does 14 divide n?
False
Let m = 29 + -9. Is m a multiple of 5?
True
Let u be 0*(-1)/2 - 2. Let a be u/(-2) - (-1)/1. Suppose 2*o - 2*q = -6*q + 28, 0 = a*o + q - 13. Is 4 a factor of o?
True
Let h(z) = z**2 - 10*z - 2. Let l(a) = -3*a - 2. Let w be l(-4). Let o be h(w). Is 9 a factor of 3 + o + 24 + 3?
False
Suppose -10*n = -n - 1080. Does 19 divide n?
False
Let n = 17 + -18. Does 11 divide (-31)/(-1) - 0 - n?
False
Let g be -2 + 8 + (-3)