e y(0)?
True
Is ((-372)/(-20))/((-1)/(-5)) a multiple of 31?
True
Let g(k) = 6*k - 4. Is g(4) a multiple of 4?
True
Let q(m) be the first derivative of m**4/3 + m**3/3 + m**2 - m + 2. Let k(w) be the first derivative of q(w). Does 13 divide k(-2)?
False
Let v = 10 + -6. Suppose -v*z = k - 75, 5*z + 3*k - 43 = 56. Is (z/15)/((-6)/(-80)) a multiple of 16?
True
Let s be (-9)/6 - 562/(-4). Let l = s - 74. Is l a multiple of 13?
True
Suppose -2*p - 2*z = 3 - 1, 2 = 4*p - 2*z. Suppose p = i - j - 18, i = 5*i + j - 62. Does 6 divide i?
False
Let g(l) = -l**2 + 13*l + 6. Let j = 22 - 10. Is 9 a factor of g(j)?
True
Let q(k) = 6*k**2 - 4*k + 1. Let l be q(3). Let u = -79 + l. Let h = u - -54. Does 9 divide h?
True
Let o = -217 - -407. Is 29 a factor of o?
False
Let l(a) = -2*a - 14. Let z be l(-11). Is 14 a factor of (126/9)/(2/z)?
True
Let j(a) be the first derivative of a**2 - 2*a - 1. Let c be j(-6). Let g = 34 + c. Does 10 divide g?
True
Let m(f) = -f**3 - 7*f**2 + 8*f + 2. Let q be m(-8). Let s = 22 + q. Is 12 a factor of s?
True
Let g be (-21)/(-7) - (1 + 0). Suppose -g*c = -c + m - 7, 5*c - 70 = 2*m. Is c a multiple of 6?
True
Let x = -27 - -54. Does 9 divide x?
True
Let f(c) = -c**3 + 8*c**2 - 4. Does 28 divide f(7)?
False
Let j(n) = n**2 + 2*n + 1. Does 9 divide j(2)?
True
Suppose 0 = -4*s + 2*m - 130 + 672, 0 = -5*s + m + 673. Does 47 divide s?
False
Suppose 4*s = -s + 10. Let u(i) = 0 + 13*i - s*i**2 + i**2 - 9. Is 12 a factor of u(8)?
False
Let n(g) = 3*g + 4. Let f be n(-4). Does 12 divide f/6*(-24 - -6)?
True
Suppose 5*c + 2*g - 273 = g, 0 = 2*c + 3*g - 117. Let t = 111 - c. Does 19 divide t?
True
Let r = -16 + 28. Is 12 a factor of (r - -1)*1 - 1?
True
Let k be 2/2 + 1 + 3. Let z(u) = 10*u - 3. Let h be z(6). Suppose -k*f + h - 17 = 0. Is 4 a factor of f?
True
Let i = 205 + -114. Does 13 divide i?
True
Let q(u) = 2*u - 14. Does 4 divide q(11)?
True
Let s = 20 - -24. Does 8 divide s?
False
Let s be (4/(-6))/(2/(-27)). Let m = 2 + s. Is m a multiple of 5?
False
Suppose 7*n = 6*n - 2. Let w be (-60)/(-18) + n/(-3). Is 12 a factor of (-4)/(-8) + 94/w?
True
Let l = 53 + -80. Let z = l - -45. Is 9 a factor of z?
True
Suppose 0*o = 3*u - 5*o - 21, 2*o = -5*u + 4. Is u even?
True
Suppose 0 = -c - y, 6 = -2*c + 2*y - 2. Let z = -2 + 3. Is 12 a factor of c/(-2) - (-23)/z?
True
Suppose 85 + 23 = 4*p - 3*a, -p + 8 = 4*a. Is p a multiple of 12?
True
Let t = -30 - -62. Does 10 divide t?
False
Suppose 3*v + 2*f - 52 = 0, 5*v - 82 = -f - 0*f. Does 16 divide v?
True
Let x be (-2)/(-2 - 6/(-4)). Suppose -x = -u, -4*u + 15 = w - u. Suppose 4 = 4*j - w*j. Does 4 divide j?
True
Suppose -2*s - 2*q + 0*q = -2, 3*s + q - 7 = 0. Suppose 2*i + h - 7 = 0, 4*i - h - 10 = h. Suppose 4 = -2*r, -i*g - s*r - 12 = -6*g. Does 2 divide g?
True
Let d(l) = -4 - 14*l - 1 + 9. Let i be d(-8). Suppose 4*n = -4*a + i, -a - 3*n = -2*a + 25. Does 14 divide a?
True
Let c = -163 - -104. Let d = c + 128. Is 4 a factor of (-1)/(-4) + d/12?
False
Suppose 11 = f - 3. Suppose f = -a + 2*a. Is 7 a factor of a?
True
Suppose -s = 1, 0 = -2*v + 3*s + 2 + 5. Suppose -3*o - v = 2*g, 0*g + g = 4*o - 1. Suppose -4*q + 2*y + 58 = -o*q, 5*y + 9 = 2*q. Is 9 a factor of q?
False
Suppose -3*d - d = -12. Let c be -1 + 2*(-3 - -5). Suppose -3*m - 3*v = -54, -d*m - c*v + 71 = m. Does 6 divide m?
False
Let m = -34 + 64. Let r be (m/9)/((-4)/(-6)). Is 24/5*(0 + r) a multiple of 12?
True
Suppose -4*c - 140 - 8 = 0. Let p = c - -57. Is 10 a factor of p?
True
Let i be (1 - -11)*(-6)/(-12). Suppose i*v - 270 = v. Is v a multiple of 17?
False
Let a(f) = -f**2 + 2*f - 2. Let v be a(3). Suppose 4*t - 3 = 81. Let y = v + t. Does 8 divide y?
True
Let w = 151 + -71. Does 11 divide w?
False
Is 219*(-2)/6*-1 a multiple of 15?
False
Let a be 1/1 + (5 - 2). Suppose -a*k + 193 + 3 = 0. Does 15 divide k?
False
Suppose 0 = -y - 1 - 0. Let z = y + 5. Is (-108)/(-14) + z/14 a multiple of 4?
True
Suppose 3*u - 4*x + 1 = 0, 0 = -4*u - 3*x - 2*x + 9. Let b = u + -1. Suppose f = 6*f + 10, b = 3*q - 2*f - 25. Is q a multiple of 7?
True
Let t(k) = -k**2. Let p(f) = f**3 + f**2 - 4*f + 4. Let x(l) = p(l) + 6*t(l). Does 8 divide x(6)?
True
Let d = -6 - -159. Does 42 divide d?
False
Let q = -3 + 3. Let z(p) = -p**3 + p**2 + p + 3. Let h be z(q). Suppose 40 = 4*y + 4*b, 5*y - 4*b - 32 = -h*b. Is y a multiple of 7?
True
Let n(z) = 28*z**2 + 2*z - 2. Is 20 a factor of n(-2)?
False
Let m = 10 - 14. Is 2 a factor of ((m - -2)*2)/(-2)?
True
Does 14 divide ((-46)/(-4))/(5/10)?
False
Let r(m) = 11*m - 6 - 2*m + 4. Does 23 divide r(7)?
False
Let r = 40 - -20. Is r a multiple of 12?
True
Suppose 3*r - 11 = -4*s, r = -3*r - 12. Suppose 10*k - s*k = 375. Does 21 divide k?
False
Suppose 175 = 7*n - 0*n. Is 8 a factor of n?
False
Let p(j) = -2*j - 1. Let x be p(-2). Suppose 0*h = x*m + 4*h - 133, -3*m + 109 = -2*h. Is 19 a factor of m?
False
Let w = 18 + 14. Is w a multiple of 16?
True
Is 12 a factor of (2/(-2))/(4/(-268))?
False
Let w(n) = -n**3 - 5*n**2 - 6*n - 4. Let y be w(-4). Suppose -x - f + 8 = x, 0 = 4*x + y*f - 12. Is 3 a factor of x?
False
Let w(i) be the third derivative of -i**5/60 + 7*i**4/12 - 3*i**3/2 - 3*i**2. Is 12 a factor of w(10)?
False
Let t = 11 - 6. Suppose h - 53 = -2*i, 6*i - 3*i = t*h + 112. Is 16 a factor of i?
False
Let c be ((-2502)/(-36))/((-1)/(-2)). Let w = c - 71. Is 17 a factor of w?
True
Suppose 0 = -6*v + 5*v + 45. Does 15 divide v?
True
Let f = 2 + -2. Suppose 3*w + 5*r - 37 - 73 = f, -5*w + 134 = -4*r. Is w a multiple of 10?
True
Let c(o) = o**3 + 6*o**2 + 5*o + 4. Let z be c(-5). Suppose -3*p + 3*u + 18 = 0, -3 - 5 = z*u. Does 3 divide p?
False
Let w(j) = -j - 2. Let f = -6 - 3. Is w(f) even?
False
Let s(h) = h**3 - 14*h**2 - 12*h + 6. Is 9 a factor of s(15)?
False
Let i(b) = 18*b + 2. Let w be i(3). Let o = w - 22. Is 17 a factor of o?
True
Suppose 0 = 2*d - d - 16. Let m = d + -10. Is 3 a factor of m?
True
Let z(b) be the first derivative of b - 3/2*b**2 - b**3 - 2 + 1/4*b**4. Is z(4) even?
False
Let g(z) = -10*z. Let a(h) = -h**3 - 1. Let j be a(0). Let l be ((-5)/(-10))/(j/4). Is g(l) a multiple of 9?
False
Let m(a) = a**3 + 3*a**2 - 2. Let q be m(3). Suppose q = 8*w - 6*w. Does 13 divide w?
True
Suppose -3*m - 18 = -234. Is 18 a factor of m?
True
Let a(c) = -4*c. Let k be a(-2). Is 6 a factor of k/4 - (-1 + -15)?
True
Suppose 2*t + 5*n = 43, 4*t + 11 - 61 = 2*n. Let a = t + -6. Is 6 a factor of a?
False
Let f = -8 - -11. Let q(u) = -4*u**f - 4*u**3 + 0*u + u + 1. Is q(-1) a multiple of 8?
True
Suppose -14 = 2*q - 4*b, -4*b - 2 = 3*q + 59. Let k be 2/(-6) + 10/q. Is 5 a factor of (-29)/(-3) + k/(-3)?
True
Does 6 divide 2 + (-39)/21 - (-1780)/35?
False
Suppose 5*q - 3*h - 23 = 0, 4*h = -2*q - q + 37. Let c = 9 - 0. Suppose 0 = 2*n - c - q. Does 4 divide n?
True
Suppose -4*x + 5 = -19. Is x a multiple of 6?
True
Suppose 0 = -3*x + 18 + 24. Is x a multiple of 3?
False
Suppose -2*r + 2 = -4. Suppose -k + 12 = p + k, -3*p - 4*k + 32 = 0. Suppose p*j = r*j + 110. Does 11 divide j?
True
Let f(d) = d + 2. Let t be f(-6). Does 6 divide (-100)/(-8) + 2/t?
True
Let n = 47 - 34. Let g = n + -10. Does 3 divide g?
True
Let l be (-60)/50*(-20)/6. Is 3 a factor of (8/(-5))/(l/(-10))?
False
Suppose 0 = k - 13 - 8. Suppose -11 = -2*l + 13. Let v = k - l. Is 5 a factor of v?
False
Let d be 1/((-126)/(-62) - 2). Let c be -1*(0 + d + 1). Let p = -4 - c. Is 14 a factor of p?
True
Let v(b) = -4*b**3 + b**2 - 2*b + 1. Let n be v(-3). Let y = n + -86. Is y a multiple of 19?
True
Let o = 14 + -8. Let h = o + -2. Is h a multiple of 2?
True
Let t(j) = 3*j - 6. Let h(f) = -4*f + 7. Let w(l) = -4*h(l) - 5*t(l). Is w(2) even?
True
Let r = -21 + 26. Suppose r*q + 20 = 455. Is 29 a factor of q?
True
Suppose -6*y = -y - 15. Let i = 3 + y. Is i - (6 - 3 - 3) a multiple of 3?
True
Suppose -2*x - 13 = -47. Is 10 a factor of x?
False
Suppose 0*z - 10 = -5*z. Suppose -39 = -z*g + 91. Does 11 divide g?
False
Let r = -35 + 138. Is 7 a factor of r?
False
Suppose -2*p = -115 + 31. Is 14 a factor of p?
True
Let c be 573 + (-3 - -1) + 4. Suppose 575 = 5*y + 5*v, 5*y - c = -6*v + 3*v. Suppose -l = -4*b + y, 5*b - 4*l - 130 = -0*b. Is 16 a factor of b?
False
Suppose -5*s + 2*i = -32, 4*s + i - 6 = 17. Let v = 4 + s. Is 16 a factor of v/3*96/10