 -9. Is 28 a factor of ((-14)/5)/(t/(-120))?
True
Let n(p) = p**3 - 12*p**2 - 13*p + 8. Let l be n(13). Let j(r) = -r**2 + 11*r - 8. Is 4 a factor of j(l)?
True
Let y = -19 + 19. Suppose y = -2*j + 4*z + 74, 4*j - 222 = 3*z - 54. Is j a multiple of 9?
True
Suppose 6 = t + 4. Let l(g) = 3*g - 3. Let s be l(t). Suppose s*q = q + 32. Is 10 a factor of q?
False
Let d(i) be the first derivative of 11*i**2/2 + 2*i - 1. Is 8 a factor of d(2)?
True
Suppose -4*w = 43 - 95. Is 10 a factor of w?
False
Let m(k) = k**2 - 3*k + 8. Suppose -1 - 19 = 5*a, 3*a = -5*x + 8. Is 6 a factor of m(x)?
True
Suppose 0 = t + t - 4. Let v = -230 - -340. Suppose 3*h = -t*h + v. Is h a multiple of 17?
False
Let l(f) be the first derivative of -f**3/3 + 13*f**2/2 + 8*f + 9. Is 2 a factor of l(13)?
True
Let p be -6*((-5)/3)/5. Suppose p*k - 55 - 101 = 0. Is k/10 + (-3)/(-15) a multiple of 3?
False
Suppose 0 = -2*g - 5*p + 37, -p + 53 = 3*g + 4*p. Let h = g - -35. Is 19 a factor of h?
False
Suppose 0 = n + 2*k - 74, 2*n - k = 3*n - 79. Is n a multiple of 28?
True
Suppose 4*g = 4*w + 68 - 16, -4*w = 2*g - 44. Is 5 a factor of g?
False
Let t(y) = 4*y + 2*y - y**2 + 0*y + 5*y + 4. Is 10 a factor of t(9)?
False
Suppose -5*v - 286 = -3*u, 0*u - 378 = -4*u + 5*v. Is u a multiple of 23?
True
Let g(n) = n**3 - 5*n**2 - 5*n - 4. Let u be g(6). Let m be 7 + -5 + u/2. Suppose -h + 3*r + 28 = 0, -m*h = -h - 5*r - 52. Is 16 a factor of h?
True
Suppose 6*s = 4*s. Let m = s - -4. Does 3 divide m?
False
Suppose 5*y = -v + 316, 0 = -2*y + 2*v + 45 + 91. Is 16 a factor of y?
True
Let m(u) = 3*u**2 - 2*u - 1. Let g be m(-1). Let b(h) = -h + 8. Let f be b(g). Is 2*(-3)/f*-2 even?
False
Let z be (-9)/2*8/(-12). Suppose -z*n + 2 = -10. Let d(w) = -w**2 + 6*w - 4. Is 2 a factor of d(n)?
True
Suppose 0 = -r + 2*s + 14, 4*r + 5*s = -0*s + 69. Is r a multiple of 11?
False
Suppose 11 = 4*h + 67. Let x = -8 - h. Does 3 divide x?
True
Let v = -9 + 29. Suppose 9*x = 14*x - v. Is 2 a factor of x?
True
Let r(i) = i**2 - 3*i + 6. Let w be r(5). Let l(j) = j**2 + 7*j + 1. Let b be l(-6). Let y = w - b. Does 8 divide y?
False
Let c(i) be the second derivative of i**3/6 + 2*i**2 - 4*i. Let f = -1 + 9. Does 12 divide c(f)?
True
Suppose 5*h - 2*w - 645 = 0, -3*w + 620 = h + 4*h. Let l be h/4 - (-1)/4. Suppose 3*x - 90 = 5*j - l, -5*x = 2*j - 45. Does 4 divide x?
False
Suppose 3*u + 100 = -575. Is 18 a factor of (8/10)/((-5)/u)?
True
Suppose 5*t = 131 + 389. Is 26 a factor of 0 - 1/((-2)/t)?
True
Suppose -9*z + 1091 = -709. Does 25 divide z?
True
Is (1 - (2 - 5)) + 8 a multiple of 6?
True
Suppose 0 = -y + 2, 2*y = -0*p - 3*p + 136. Does 11 divide p?
True
Suppose -i + 168 = 7*i. Is i a multiple of 7?
True
Let g(f) = -6*f**3 + f + 2. Let x be g(-2). Suppose 5*w = -x + 148. Is w a multiple of 15?
False
Suppose -2*c - 5*g - 45 = 3*c, 0 = c + 3*g + 19. Let w = c + 7. Suppose 0 = -2*p - w*p + 180. Is 10 a factor of p?
False
Let k(l) = -l**2 + 3*l. Let y be k(3). Let n(z) = z + 16. Is 8 a factor of n(y)?
True
Suppose 15 = -4*d + 7*d. Suppose 156 = d*b - 119. Does 26 divide b?
False
Suppose -8*d - 320 = -1440. Does 24 divide d?
False
Let a be 0 - (-3)/(-3) - -3. Suppose 2*u - 160 = -a*u. Does 7 divide u?
False
Suppose 3*t + 0*t - 12 = 0. Suppose 100 = -0*l + t*l. Is l a multiple of 10?
False
Let y(x) = -x**2 - 13*x - 2. Let k be 322/(-56) + (-2)/8. Does 18 divide y(k)?
False
Let d(x) = x**2 + 6*x - 3. Let f be d(-7). Suppose -f = -j - 0. Does 2 divide j?
True
Suppose 8 = 5*k - 7. Suppose 112 = k*l + l. Is 14 a factor of l?
True
Suppose -5*u = 4*f - 350, 5*f + 321 = 3*u + u. Is 16 a factor of u?
False
Let s(j) = -3*j**3 + 6*j**2 - 6*j + 1. Let w(g) = 14*g**2 + 2 - 2*g**2 + g**3 - 8*g**3 - 12*g. Let l(a) = 5*s(a) - 2*w(a). Is l(4) a multiple of 4?
False
Let c(w) = -20*w - 12. Let k(b) = -7*b - 4. Let r(j) = -5*c(j) + 14*k(j). Is 8 a factor of r(5)?
False
Is 5/15 + 370/6 a multiple of 31?
True
Let h(i) = -i**3 + 6*i**2 - 6*i + 2. Suppose 30 = -u + 4*u + 3*l, 0 = 5*l - 25. Let p be h(u). Is p/(-5) - 959/(-35) a multiple of 14?
True
Let y(b) = b**3 - 7*b**2 + 5*b + 1. Let r be y(6). Let c(p) = -p**3 - 6*p**2 - 6*p + 1. Is 5 a factor of c(r)?
False
Suppose 8*o = 4*o + 20. Suppose 3*s + 14 = o*s. Does 3 divide s?
False
Let x = 80 - 36. Is x a multiple of 8?
False
Let p(x) = -3*x - 3. Suppose 3*k + 10 + 8 = 0. Let r be p(k). Is 10 a factor of (-48)/18*r/(-2)?
True
Let s(l) = -4*l**3 - 4*l**2 - 2*l + 2. Let g(k) = 5*k - 2 + k**3 + k**2 - 8*k**2 + k. Let d be g(6). Does 12 divide s(d)?
False
Does 18 divide 90 + (-2)/4*0?
True
Is 60 a factor of 20 - -216 - (1 + -5)?
True
Let h(a) = -4*a**3 + 2*a**2 - a. Let j be h(1). Does 4 divide -2*(1 + 11)/j?
True
Let l(g) = -5*g - 1 - g + 5*g. Let a be l(-3). Suppose -4*m = -16, a*m + m = 5*n - 38. Is 5 a factor of n?
True
Let k = 19 + -41. Is 10 a factor of (-810)/(-22) - 4/k?
False
Let r(f) = -4*f - 4*f**2 + 4*f**2 + f**3. Let p(v) = -v**3 + 3*v**2 + 6*v - 5. Let g be p(4). Is 8 a factor of r(g)?
False
Let j be (-78)/8 + (-5)/20. Is ((-4)/j)/((-4)/(-180)) a multiple of 9?
True
Let g be (-2)/((-5)/((-45)/(-6))). Let z(d) = 2*d - 2. Does 4 divide z(g)?
True
Suppose -2*n - 162 = -5*n. Does 6 divide n?
True
Suppose 2*u - 76 = -3*z, 5*u + z + 2*z - 190 = 0. Is 7 a factor of u?
False
Let y = -3 - -3. Suppose 3 = 2*o - 1. Suppose j + 5*t - 16 = y, -o*t + 25 - 78 = -5*j. Does 8 divide j?
False
Let x be (-4)/10 + (-22)/(-5). Let z(b) = -2 + 4*b - 2 + b**2 + 3. Is 11 a factor of z(x)?
False
Let r = 28 - -21. Suppose -2*w + r + 27 = 0. Is 10 a factor of w?
False
Let l be (-3)/((-6)/4) - 2. Suppose 1 = n - l. Is 5 a factor of (-2 - -3) + n + 3?
True
Let t = 331 + -205. Is t a multiple of 12?
False
Let i(z) = -30*z**3 - 3*z**2 + 3*z - 3. Let p be i(2). Let w be 2/10 - (-3 + 33/15). Is p/(-6) + w/2 a multiple of 14?
True
Suppose 0 = 2*k - 7 - 3. Suppose 3*o = -4*x + 58, 3*o - k*x - 76 = -0*x. Is 11 a factor of o?
True
Let w(v) be the second derivative of 9*v**4/4 - v**3/6 + 4*v. Let k be w(-1). Let g = k + -16. Is 6 a factor of g?
True
Suppose -16 = -2*c - 4*j - 0*j, -4*c = 4*j - 28. Let i = c + 1. Does 7 divide i?
True
Let x = 4 - 3. Let v = 1 + x. Suppose n = 6*n - v*k - 82, 2*n = 2*k + 34. Is 8 a factor of n?
True
Let v(r) = -r**3 + 5*r**2 + r + 2. Is 2 a factor of v(5)?
False
Let x be (1 - -1)*12/8. Suppose -4*y + 40 = 3*q, 0 = 3*y + x*q - 21 - 9. Is y a multiple of 10?
True
Let w(p) = p**2 - 1. Let s be w(-2). Suppose 4*y + 0*q - 5 = -s*q, q = -y. Let z = y + 1. Is 6 a factor of z?
True
Suppose q = 2*q - 126. Suppose 2*p - 3 + 7 = 0, -4*s = -5*p - q. Is 21 a factor of s?
False
Suppose 0*d = -7*d + 140. Does 20 divide d?
True
Let m be (1 + 16/(-10))*15. Is m/(-3) + -1 + 77 a multiple of 20?
False
Suppose -716 = -36*y + 32*y. Does 22 divide y?
False
Let q(o) = 11*o**2 - 3*o + 4. Does 6 divide q(2)?
True
Suppose 0 = -2*x - 4*h + 370, -7*x + 4*x - 5*h = -560. Does 39 divide x?
True
Let m = 17 - -1. Is 11 a factor of m?
False
Suppose -5*z = -4*z - 1. Let y be ((3 - 50) + z)*1. Let c = 87 + y. Is c a multiple of 11?
False
Let q(r) = -7*r + 1. Does 11 divide q(-3)?
True
Does 7 divide (-12)/15*1580/(-8)?
False
Let d(w) = 16*w - 2. Let p be d(2). Let s = p + -56. Let v = s + 52. Is 9 a factor of v?
False
Suppose -9 = -5*j + 4*q, 4*q - 24 = -5*j + 17. Suppose -4*a - j*b - 27 = -176, 112 = 3*a + 4*b. Is a a multiple of 12?
True
Suppose 132 = 4*s - 4*m, -3*s = m - 28 - 67. Suppose 52 = q + a - s, -4 = -a. Is q a multiple of 22?
False
Let l(b) = b + 13. Let h be l(-9). Suppose y + h*n + 18 = -0*y, 0 = -5*y - 3*n - 5. Does 2 divide y?
True
Let t = -52 - -74. Does 6 divide t?
False
Let m(h) be the third derivative of h**8/10080 - 11*h**7/5040 + h**6/144 + h**5/20 - 3*h**2. Let u(f) be the third derivative of m(f). Is 13 a factor of u(7)?
True
Let c(h) = -h**3 + h**2. Let p(r) = 2*r**3 + 7*r**2 - 5*r - 10. Let k(q) = c(q) + p(q). Let v = -11 - -3. Is 15 a factor of k(v)?
True
Let v = 21 + -15. Let g(k) = -v - 2*k**2 + 7*k + k**2 + k. Is g(5) a multiple of 9?
True
Let t = -7 + 7. Is (2*-16 + t)/(-1) a multiple of 16?
True
Let w(d) = 5*d**2 - d - 1. Is w(4) a multiple of 3?
True
Let n = -40 + 28. Let v be (-1)/(-3) - (-4)/n. Is 5 a factor of 6 + v*1/3?
False
Does 13 divide 2823/7 + (-4)/14?
True
Suppose 73 = 2*c -