**4/24 + 7*i**3/6 + 2*i**2. Let w be b(-7). Suppose o = -w*o + 33. Is 13 a factor of o?
False
Suppose 2 = -3*f + 8. Suppose 6*u = f*u + 32. Is u a multiple of 2?
True
Let m(u) = -u - 17. Let w be m(0). Let o = -6 - w. Is 5 a factor of o?
False
Is 2 a factor of (((-9)/5)/3*5)/(-1)?
False
Let d(b) = 4*b**3 + 15*b**2 - 9*b + 9. Let r(o) = o**3 + o**2. Let q(g) = d(g) - 5*r(g). Suppose -4*a + 0*i - 4*i + 36 = 0, 0 = 5*i. Is q(a) a multiple of 9?
True
Let o = 31 + -26. Does 3 divide o?
False
Let w = 26 + 13. Suppose -2*u - 41 = 3*v, 5*v + w = 2*u - 8. Let x = v + 37. Is x a multiple of 9?
False
Let b(n) be the second derivative of n**5/20 - 5*n**4/12 + 2*n**3/3 + 2*n**2 - 2*n. Is 6 a factor of b(5)?
True
Suppose -2*r - 2*a - 32 = 0, -4*a - 19 + 59 = -4*r. Let t = r - -30. Is t a multiple of 9?
False
Let c be 1/(-2) - (-15)/(-6). Is (4/10)/(c/(-30)) even?
True
Suppose 0 = -0*o - o + 5*d + 17, 3*o - 2*d = 12. Is o - -14*10/4 a multiple of 13?
False
Let c = -15 - -7. Let x = 8 + -7. Let r = x - c. Is r a multiple of 6?
False
Let j = -95 + 294. Is j a multiple of 9?
False
Let q(s) = -s + 5 - 6 + 10. Let m be q(5). Suppose -m*d + d = -114. Is 19 a factor of d?
True
Let z be -2 - -1*(1 - -6). Suppose -z*n - 8 = -c, 2*c - 18 = 2*n - 2. Is 8 a factor of c?
True
Let o = -7 + 6. Let s be ((-26)/(-8))/(o/(-8)). Suppose -j = -0*j - s. Is 13 a factor of j?
True
Let c(b) = -b**2 - 13*b - 6. Let w(f) = -2 + f - 2 + 3. Let l be w(-5). Is c(l) a multiple of 18?
True
Suppose -5*p = -5*d + 355, -d + 2*p = -6*d + 320. Suppose -d = -5*z + 29. Is z a multiple of 12?
False
Let h(x) = x**2 - 8*x + 6. Let n be h(8). Let o(k) = 11*k - 6. Let g be o(n). Suppose z = 4*z - g. Is 6 a factor of z?
False
Does 16 divide (-4372)/(-14) + -1 + (-120)/420?
False
Let y(i) = 16*i**2 + 3*i + 3. Is y(3) a multiple of 13?
True
Let j = 92 - 36. Does 28 divide j?
True
Let t = 1 - 19. Does 4 divide 1860/108 + 4/t?
False
Let u(p) = -p**3 + 10*p**2 - 8*p + 9. Suppose 5*w = 3*y - 7 - 10, 0 = 5*y + w - 47. Is u(y) a multiple of 9?
True
Let x(i) = -5*i**2 + 3 + i**3 + 3*i**2 - 6 - i - 1. Let l be x(3). Suppose 8*d - 6 = -l*r + 4*d, -d + 29 = 3*r. Is 11 a factor of r?
True
Suppose 0 = 5*g - 4*g - 1. Suppose -6*v + v = -5*s + 60, -g = -v. Is s a multiple of 4?
False
Suppose -f - 3*f + 533 = y, -y + 5*f + 515 = 0. Suppose 0 = -x - 0*x - y. Is 15 a factor of x/14*(-8)/10?
True
Let h(m) = 6*m**2 + m + 2. Suppose p = 2*p - 3. Let r(c) = c**3 - 4*c**2 + 5*c - 4. Let s be r(p). Is 10 a factor of h(s)?
False
Suppose m = -c - 5 + 22, -2*m - 8 = 0. Is 3 a factor of c?
True
Let b(o) = o**3 - o**2 - 3*o + 1. Let n be (-33)/(-7) - 8/(-28). Suppose -n*v + m = -2 - 10, 2*v + m - 9 = 0. Is 10 a factor of b(v)?
True
Let q be -12 - -2 - (2 + 0). Suppose 0 = -3*w + 4*w + 4*i + 9, 9 = -2*w - 5*i. Is 159/4 - w/q a multiple of 11?
False
Let q(b) = 12*b**3 + b - 1. Suppose -7*t = -3*t - 5*o - 9, 3*o = -4*t + 1. Is 6 a factor of q(t)?
True
Let u be (-5)/20 + (-2)/(-8). Let j = 2 - u. Is 2 a factor of j?
True
Suppose 3*v - 8 - 10 = 0. Let c = -2 + v. Is c a multiple of 2?
True
Let y = 48 - 5. Suppose 0*h = h + 3*k - y, -66 = -2*h + 4*k. Is 2/(-8) + h/4 a multiple of 9?
True
Let h(y) = -y**3 - y**2 + 2*y + 3. Let m be h(-2). Is 7 a factor of 1*9 + (-6)/m?
True
Suppose -2*q = 3*q - 25. Is q a multiple of 5?
True
Suppose 3*n + 1065 = 3*m, 1810 = 5*m - 2*n + 4*n. Does 12 divide m?
True
Let p(d) = 2*d**2 - 6*d + 2. Let r(t) = 2*t - 5. Let s be r(5). Does 20 divide p(s)?
False
Let s = 16 - -50. Is 22 a factor of s?
True
Let a(z) = -3*z**3 + z**2 - 1. Let j be a(-1). Let s = 36 + 16. Suppose 2*r + 3*r = 3*n + 130, 0 = -2*r - j*n + s. Is 13 a factor of r?
True
Let t be 4/10 + 44/(-10). Let a = t - -9. Suppose -4*x - 15 - 35 = -3*k, -a*x = 3*k - 86. Is 11 a factor of k?
True
Let u be (-7 - -6)/(2/(-10)). Suppose 3*r - 3*s = 45, 7*s - u = -3*r + 2*s. Does 4 divide r?
False
Let z(i) = -8*i**2 + 8 + 3*i**3 - 3*i - 4*i**3 + 6*i. Is 26 a factor of z(-9)?
False
Suppose 5*o = 3*o. Suppose -4*n + o*n - 64 = -4*z, -5*z = -3*n - 72. Is z a multiple of 3?
True
Does 7 divide -3 + 2*45/2?
True
Let r = -1 - -3. Suppose 10 = r*b - b. Is b a multiple of 5?
True
Let w(b) = b**3 + b - 1. Let h(l) = 7*l**3 + 3*l**2 - 2*l - 9. Let t(r) = -h(r) + 6*w(r). Is t(-5) a multiple of 13?
True
Suppose -3*z + 4*z = -1. Let w be -4 - -11 - z*2. Suppose -10 = 2*d, l + 2*d - d - w = 0. Is 12 a factor of l?
False
Suppose 2*w + 14 = -0*w. Let g(o) = -o**2 - 7*o + 6. Is g(w) a multiple of 3?
True
Suppose -r + 4 + 16 = 0. Let s be 14/5 - (-4)/r. Suppose -25 + 6 = -s*t + g, -22 = -2*t - 4*g. Is t a multiple of 7?
True
Let p(j) = j**3 + 3*j**2 - 2*j - 3. Let c = -3 + 7. Suppose -3*y + 1 - 2 = 5*d, -c*d + y = 11. Does 3 divide p(d)?
False
Let b = 3 + 14. Suppose 0 = x - b + 7. Does 5 divide (-3)/(-24)*x*8?
True
Let f(p) = p**3 + 14*p**2 - 4*p - 3*p - 7*p**2 + 4 - p. Suppose -3*c = -0*c + 24. Is f(c) even?
True
Let o(c) = 7*c**2 - 2*c. Is o(2) a multiple of 14?
False
Let d(h) = 2*h**2 + 12*h - 22. Is 52 a factor of d(-16)?
False
Let k(j) = 2*j**2 - 6*j - 7. Let q be k(5). Suppose 2*y + 4*u = -16, -2*y + 5*u - q = y. Does 10 divide (-214)/y + (-4)/6?
False
Let s(v) = -v**3 - 11*v**2 - 12*v + 8. Suppose 3*g - 2*g = -10. Is s(g) a multiple of 13?
False
Let q = -4 + 3. Is (2/(-6))/(q/81) a multiple of 9?
True
Let n = 112 + -186. Let l = -52 - n. Is (l - 0)*(-2 + 3) a multiple of 8?
False
Let r = 18 + -16. Suppose q = r*q + 5*j - 93, 2*q - 186 = j. Is q a multiple of 19?
False
Let d(n) = 5*n**2 - 7*n + 5. Let g = 7 - 3. Let u be d(g). Suppose u = 2*r + 3. Is 11 a factor of r?
False
Let h = 55 + -34. Is h a multiple of 6?
False
Let a be (-506)/(-7) + (-2)/7. Let u = -40 + a. Is 15 a factor of u?
False
Suppose -8 = 3*f - 32. Suppose 0*h = h + f. Is 42*(h/(-3) - 2) a multiple of 13?
False
Let u = 76 + 33. Suppose -4*v = -u - 59. Is 21 a factor of v?
True
Suppose 4*f + 74 = d + 9, d - 55 = 2*f. Let g = 111 - d. Suppose 3*l = g + 33. Is l a multiple of 12?
False
Let x(b) = -b**3 - 5*b**2 - 4*b + 4. Let q be x(-4). Suppose q*i + 2*h = -2*h + 72, -4*i + 45 = -5*h. Suppose 2*j = 41 - i. Does 6 divide j?
False
Let i = 1 - -13. Let o = i + -1. Is 9 a factor of o?
False
Suppose 31 = -5*g - 79. Suppose x - 12 = -3*x. Is 10 a factor of -3*2/x - g?
True
Let u = -134 - -188. Does 7 divide u?
False
Let k(x) = 3*x - 3 + x**3 - x - 1 + 9*x**2. Let n(q) = -q**3 - 5*q**2 + 3*q + 7. Let u be n(-5). Is 19 a factor of k(u)?
False
Let b(l) = 2*l**2 + 6*l + 7. Does 15 divide b(-4)?
True
Let x(i) = -i**3 + 4*i**2 - 2. Is x(3) a multiple of 2?
False
Let w(o) = -o + 8. Let p be w(5). Suppose 4*f - 2*f = 5*q - 1098, 1099 = 5*q - f. Suppose -2*v + 182 = p*z, -3*z - z + q = -3*v. Is 18 a factor of z?
False
Suppose 89 = 3*v - 127. Does 29 divide v?
False
Let w = -2 - -7. Suppose q - 2 = k, -w*q + 26 = -0*k + 3*k. Suppose k*l - 94 = -4. Is l a multiple of 19?
False
Let l(q) = 3 + q - 3*q + 0 - 6. Does 7 divide l(-10)?
False
Let f(w) = w**3 - w**2 + 3*w + 1. Let t be f(3). Suppose 0 = -3*h + h + t. Is 9 a factor of h?
False
Suppose -5*t = -4*l + 501, -5*l + 2*t = -10*l + 618. Does 31 divide l?
True
Let b(i) = 34*i**2 + 4*i + 2. Is b(-2) a multiple of 13?
True
Let d(v) = -v**2 - 8*v + 6. Let y be d(-8). Let h(c) = -c**3 + 5*c**2 + 8*c - 5. Is 4 a factor of h(y)?
False
Suppose -5*s - 2*l = -46, 3*l = -s + 2 + 2. Suppose -5*q = -p - 28 - s, -11 = -2*q - p. Is q a multiple of 4?
False
Let f be 40/7 - (-2)/7. Suppose 0 = -2*x + 24 - f. Is 9 a factor of x?
True
Let s = 52 + -15. Does 3 divide s?
False
Let p(g) = g**2 + 4*g + 1. Is 5 a factor of p(-6)?
False
Let a(r) = -r**2 + 13*r + 6. Is a(10) a multiple of 12?
True
Let q be -2*(1 + -2) - 1. Let o be q - (1 + -16 - 1). Is (2 + -1 - 2) + o a multiple of 8?
True
Let f(q) = 80*q**2 - 4*q + 5. Is f(1) a multiple of 15?
False
Let r(s) = -s + 1. Let x(k) = -5*k + 9. Let o(a) = -4*r(a) + x(a). Suppose -6 - 6 = -4*c - 4*u, 0 = 4*c - 5*u + 15. Is o(c) a multiple of 2?
False
Let d = 0 + 4. Is 15 a factor of (-7 - 3)/((-2)/d)?
False
Suppose -4*f = -56 - 136. Is 13 a factor of f?
False
Let s(j) = -j**3 + 4*j**2 + 2. Let q be s(4). Suppose -2*o = 4, -2*o + 10 = q*r - r. Is r a multiple of 14?
True
Let s(a) be the second derivative of a**4/12 - a**3/3 - a**2 + 2*a. Does 11 