et o = -4 - -4. Let y = o - 0. Let r(u) = -u + 19. Does 9 divide r(y)?
False
Let i = 13 + -8. Suppose 34 = 3*y + i*p - p, -2*y + 3*p = 0. Is y even?
True
Suppose 0 = -9*s - 516 + 1515. Is s a multiple of 14?
False
Let x = 44 + 26. Let a = x - 42. Is 14 a factor of a?
True
Suppose -5*d = 20, -7*g + 12 = -3*g + 5*d. Let w(n) be the second derivative of -n**3/6 + 11*n**2/2 - 2*n. Does 3 divide w(g)?
True
Let y = 9 + -8. Let m be -3*y/(-3) - 1. Suppose 5*n - 6*j + 9*j - 14 = m, -3*n = 4*j - 4. Is 2 a factor of n?
True
Let m(u) = -5*u**3 + 2*u**2 + 9. Let h(c) = 4*c**3 - 2*c**2 - c - 8. Let o(n) = 4*h(n) + 3*m(n). Let b be o(5). Let z = -21 + b. Does 10 divide z?
False
Let i(z) = -z**3 + 10*z**2 + 2*z. Let r(q) be the second derivative of q**4/6 + q**3/3 - q**2 + 2*q. Let h be r(-3). Does 20 divide i(h)?
True
Does 5 divide 2*(2/(-1) + 7)?
True
Let g(o) = 6*o - 3. Let n be g(2). Let a(v) = v**2 - 8*v - 5. Let z be a(n). Let u(w) = w**2 + 2. Is 7 a factor of u(z)?
False
Let z be 1050/9 + (-4)/6. Suppose -2*j - 2*j = -z. Does 10 divide j?
False
Suppose 0 = 3*o - 15, 3*t + 0*o + 87 = 3*o. Let a = 45 + t. Is 11 a factor of a + (2 - -1)/3?
True
Let a(z) = -7*z + 18. Does 6 divide a(-6)?
True
Suppose -2*u + 4*q = 0, u - 4*q = 3*u + 8. Let j be u/7 + (-5)/7. Is 6 a factor of 1/j*-1 + 12?
False
Suppose 4*w - 2 = -2*f - 4, 0 = -5*f + 5*w + 10. Is 24/(3/(3/f)) a multiple of 12?
True
Let r(h) be the second derivative of h**5/120 + h**4/24 - 2*h**3/3 + 2*h. Let w(b) be the second derivative of r(b). Is w(7) a multiple of 3?
False
Let q(z) = -z**3 - 7*z**2 - 3*z - 3. Is 5 a factor of q(-7)?
False
Suppose 99 = 3*w - 36. Does 13 divide w?
False
Suppose 2*c = -2*c + 16. Suppose -5*q + 6 + c = 0. Suppose 2*p = -q*p + 52. Does 11 divide p?
False
Let j = 217 + -113. Does 8 divide j?
True
Let z = -10 + 8. Let o(h) = 7*h**2 + 2*h + 3. Is 12 a factor of o(z)?
False
Let a(r) = -r**3 - 5*r**2 + r. Suppose 3*x + 19 - 1 = 0. Is 15 a factor of a(x)?
True
Let z(m) = -8*m + 18. Is 38 a factor of z(-12)?
True
Let p = -8 - -2. Let g be 0 - 0*3/p. Suppose i - 51 = -5*s, g*i + 2*i - 95 = -3*s. Does 26 divide i?
False
Let n be ((-12)/(-10))/((-3)/(-15)). Suppose 0 = -n*j + 5*j + 12. Is j a multiple of 6?
True
Let p = 4 + 64. Is 34 a factor of p?
True
Let v = 9 - 3. Suppose -y + l = -1, -v = -4*y + 2*l + l. Is (y*-1)/((-1)/2) a multiple of 3?
True
Suppose 3*u - u = 94. Let y = -24 + u. Is 20 a factor of y?
False
Let c(z) = z - 1. Let l(o) = -5*o + 7. Let i(r) = -3*c(r) - l(r). Is 2 a factor of i(4)?
True
Suppose -8 = -j - 5. Let y = -7 + j. Does 10 divide 1/y + (-41)/(-4)?
True
Let x(o) = -4*o - 3. Let w(i) = -i**3 + 3*i**2 - 2*i. Let n be w(3). Is 5 a factor of x(n)?
False
Let d(y) = -2*y - 1. Let l be d(-5). Let k = l + -11. Let u = 5 + k. Does 2 divide u?
False
Suppose -k + 0 = -17. Let q(f) = f**2 - 3*f + 2. Let w be q(5). Let u = k - w. Does 3 divide u?
False
Let j be (5 + -1)/(-2) + 0. Let z(g) = 2*g**2 + 4*g + 3. Let o be z(j). Let w = 25 - o. Does 11 divide w?
True
Let a = 3 - 0. Let m = -3 + a. Suppose m = -z - 2*q - 8 + 4, 0 = 5*q + 25. Is z a multiple of 3?
True
Suppose -o + 110 = -20. Does 22 divide o?
False
Let u = 225 + -137. Does 22 divide u?
True
Let o(y) = y + 1. Let f be -12*((-6)/2 + 2). Let a(i) = -8*i - 16. Let t(s) = f*o(s) + a(s). Is 14 a factor of t(6)?
False
Suppose 19 = 5*s - 1. Suppose 0 = s*f - 35 - 13. Does 12 divide f?
True
Suppose -41 = -z - 4*w, 3*z - 71 = 2*w - 18. Suppose -2*v + 75 = -z. Does 12 divide v?
True
Let c(o) = o**2 + 11*o - 3. Let i be c(-13). Let k = i + -4. Is k a multiple of 12?
False
Suppose -4*r - w = 24, -4*r + 5*r - 4*w + 6 = 0. Let z = r + 12. Is z a multiple of 2?
True
Suppose 0 = -2*k - 0*o - 3*o + 25, 4*o = 2*k - 60. Suppose -k = -2*c + m - 3*m, 3*c - 14 = m. Does 6 divide c?
True
Let z = -66 + 159. Is 31 a factor of z?
True
Let w be -3 - 2/(-4)*0. Let y = -2 - w. Does 5 divide 2/y + -1 + 5?
False
Let o(s) = -6*s**2 + 4*s + 4. Let a(m) = m**3 + m + 1. Let y(g) = a(g) + o(g). Is y(5) a multiple of 5?
True
Let g(m) = m**3 - 2*m**2 + 4*m. Does 16 divide g(4)?
True
Suppose 32 = -2*r + 6*r. Let j(k) = k**3 - 8*k**2 + k - 5. Does 3 divide j(r)?
True
Let j(n) = -n**3 + 6*n**2 + 5. Suppose 3*x - 3*h = -0*x + 3, 3*x - 23 = -h. Is 2 a factor of j(x)?
False
Let n(y) = -5*y - 3. Let w(b) = 10*b**2 + b - 1. Let q be w(1). Suppose -3*t - q + 1 = 0. Is 12 a factor of n(t)?
True
Let p = 21 - 0. Is p a multiple of 9?
False
Let b = 32 - 17. Is 15 a factor of b?
True
Let p(z) = z**2 + 4*z + 5. Let s be -5*2/6*-3. Suppose 2*y + 3 = -s. Does 3 divide p(y)?
False
Let m be (-3 - 8/(-4)) + 178. Suppose 6*h - h - 3*l = m, 0 = -2*l + 2. Is 9 a factor of h?
True
Does 23 divide (-1)/(8/138)*8/(-3)?
True
Let x(p) be the first derivative of -p**5/60 + 13*p**3/3 + p**2 + 1. Let i(n) be the second derivative of x(n). Is 13 a factor of i(0)?
True
Suppose -5*h + 2 = -28. Is h/15 + (-328)/(-5) a multiple of 22?
True
Let a = -45 + 95. Is a a multiple of 10?
True
Let b(u) = 3*u**2 + 2*u + 10. Is b(3) a multiple of 11?
False
Let h be -19*7/((-21)/6). Let t = 69 - h. Does 22 divide t?
False
Suppose -3*m + 40 = -2*m. Does 6 divide m?
False
Suppose -59 - 41 = -5*w. Is w a multiple of 4?
True
Let d(n) = n**2 - n - 14. Does 12 divide d(-10)?
True
Let k = -99 + 171. Let i = 104 - k. Let a = 60 - i. Is 12 a factor of a?
False
Let t(q) = 8*q + 6. Does 9 divide t(6)?
True
Suppose 2*x - 39 = 5*x. Let k = 3 - x. Let w = 40 - k. Is 12 a factor of w?
True
Let w = -40 + 48. Is 8 a factor of w?
True
Let g = -2 - -3. Let x be (g/(-2))/((-2)/16). Suppose x*w = -y, -2*w = y + w - 5. Is 10 a factor of y?
True
Let b be -4 + (2 - (-1 + 2)). Let m = -1 - b. Suppose -m*w = -2*u + 34, 2*u - 13 = -3*w - 2*w. Does 14 divide u?
True
Let s(v) = 5*v - 9. Does 7 divide s(10)?
False
Let x be (2/3)/(2/3). Let k(i) = 2*i + 0 + x - 5. Does 8 divide k(6)?
True
Suppose 0 = 5*t - 14 - 6. Let v = 5 - t. Is 2/(-2*v/(-34)) a multiple of 12?
False
Let x be ((-9)/2)/((-1)/2). Let r = x - -2. Is 11 a factor of r?
True
Suppose -5*t + 16 + 1 = w, 0 = 4*t - w - 19. Let u(v) = v**3 - 2*v**2 - 5*v - 2. Is 4 a factor of u(t)?
False
Is 5 a factor of ((-32)/10 + 1)/(7/(-35))?
False
Let p be (-1)/2 + (-37)/(-2). Let h be (3 + 98/(-6))*-6. Suppose -h = -2*c + p. Is 18 a factor of c?
False
Suppose -8*x + 6*x = -294. Is x a multiple of 4?
False
Suppose -5*l - 6 = 4. Let z be 0/((1 - -2) + l). Let v = 19 - z. Is 13 a factor of v?
False
Let y(u) be the second derivative of -u**5/20 + 5*u**4/12 - 2*u**3/3 + 2*u**2 + u. Let c be (-8)/44 - 105/(-33). Is 5 a factor of y(c)?
True
Let m = -102 - -190. Is 14 a factor of m?
False
Let t = 382 - 214. Is t a multiple of 27?
False
Let g(t) = -t**3 + 6*t**2 + 11*t - 10. Suppose 2*p = 13 + 1. Does 9 divide g(p)?
True
Suppose -82 = -5*g - 2*h + 28, -20 = -2*g + 4*h. Does 10 divide g?
True
Let y = -94 - -234. Suppose y = -x + 5*x. Is 9 a factor of x?
False
Let x = 21 + -8. Does 9 divide x?
False
Is 4 a factor of 15/((-5)/(-2) + -1)?
False
Let o = 10 + -16. Let y = 79 + o. Is y a multiple of 21?
False
Let g be 1/1*(-16)/(-4). Suppose 4*f - f - 75 = 4*z, 5*z = -g*f + 69. Does 6 divide f?
False
Suppose 2*i - 130 = 2*s, -2*s = -4*i + s + 265. Does 19 divide i?
False
Let u be (-7)/(-4) - 1/(-4). Is 10 a factor of (-12)/u + 3 - -23?
True
Let j be (1/1)/((-1)/4). Suppose -3*x - 176 = -11*x. Let i = j + x. Is i a multiple of 18?
True
Let r(h) = h**3 - h**2 + 2*h + 4. Is 15 a factor of r(4)?
True
Suppose -5*z = -2 - 358. Does 17 divide z?
False
Suppose -25 = 2*t - 75. Suppose 3*b - 53 - t = 0. Is 8 a factor of b?
False
Let q be (-22)/(-6) + (-2)/(-6). Suppose 7*t = q*t. Suppose t = m - 9 + 3. Is 5 a factor of m?
False
Suppose 0 = 65*k - 70*k + 715. Is k a multiple of 11?
True
Let s = 143 + -101. Does 8 divide s?
False
Suppose 2*d - 26 = 3*l, -6*d + 2*d = 5*l + 36. Let n = 4 + l. Let w = n - -7. Is w even?
False
Suppose 1 = a - 3. Suppose a*t + 35 = 11. Let r = t - -30. Is 11 a factor of r?
False
Suppose 96 = f - 44. Does 35 divide f?
True
Suppose -5*c + 4*q + 100 = 0, -2*q + 38 = 3*c - 0*q. Let g = 0 + c. Is 10 a factor of g?
False
Suppose j + 160 = 5*j. Is 20 a factor of j?
True
Suppose j + 2*j - 84 = 0. Let y = j - 9. Is y a multiple of 5?
False
Let d = 18 + -13. Suppose -k + 10 + d = 2*t,