5 + 7/12*u**4 + 1/6*u**3 + 0 - 2*u**2 + 5*u. Is 20 a factor of w(-4)?
True
Suppose -f = -5*c - 380, -2*f - 4*c + 1424 = 2*f. Is f a multiple of 36?
True
Let q be (3 + 1)*1 - 4. Suppose q*t - 5*z = t - 34, 0 = -4*t - z + 212. Is 9 a factor of t + (3 + 1 - 4)?
True
Suppose -m + 4*k - 7 = -2, k = 2*m + 3. Let h(p) = -54*p**3 - p**2 + 1. Is 21 a factor of h(m)?
False
Let i = -80 + 86. Suppose -4*k + 3*j + 16 = -146, i = 3*j. Is 21 a factor of k?
True
Let a(c) = -2*c**2 + 21*c - 12. Let j be a(9). Does 6 divide j/3 + -8 + 19?
False
Does 9 divide ((-65)/10 - -6)*-756?
True
Let x = 41 + -63. Let g = 16 + x. Does 9 divide ((-54)/(-4))/(g/(-8))?
True
Let c = -196 + 306. Suppose -14 = a + c. Let m = -46 - a. Is 16 a factor of m?
False
Let p(f) = f**3 + 21*f**2 + 8*f + 28. Is p(-14) a multiple of 72?
False
Let w = 3 + 0. Suppose -2*n + 1650 = 9*n. Is 2/(w - n/51) a multiple of 7?
False
Suppose -10 = 6*t - 1948. Does 19 divide t?
True
Let w be (-2)/4 + (-2692)/8. Let j = -194 - w. Is 13 a factor of j?
True
Suppose 5621*g - 4390 = 5616*g. Does 46 divide g?
False
Suppose -3*d - 10 = -19. Suppose 5*m + 9 + 6 = 5*i, 23 = d*i + 4*m. Is 2 a factor of i?
False
Let p = 95 - 98. Is -6*p/9 - -24 a multiple of 4?
False
Let k(c) = -c**2 - 11*c + 28. Let z be k(-8). Is 5 a factor of (-9)/27 + 5*z/6?
False
Let t(r) = -r**2 + 4*r. Let g(a) = 8*a**2 - 9*a. Let k(s) = -39*s**2 + 45*s. Let b(q) = -24*g(q) - 5*k(q). Let w(y) = 3*b(y) + 7*t(y). Is 14 a factor of w(-3)?
False
Is 31 a factor of -201*((-214)/21 - (-48)/(-336))?
True
Is 10 a factor of (-2)/(-9) + (-25280)/(-45) + -2?
True
Let h(u) = -234*u + 29. Is h(-2) a multiple of 5?
False
Let g = 1 + 7. Let o(m) = m**3 - 7*m**2 + 6*m - 8. Does 26 divide o(g)?
True
Let l(r) = 9*r**2 + 13*r - 16. Let z(u) = -5*u**2 - 6*u + 8. Let k(o) = -4*l(o) - 9*z(o). Let s(g) be the first derivative of k(g). Is s(1) a multiple of 4?
True
Let w(n) = -n**3 - 7*n**2 - 8*n + 6. Let s = -6 + 0. Let m be w(s). Let z = m - 10. Is z a multiple of 8?
True
Let u(n) = 6*n - 4. Let h be u(-2). Let c = 20 + h. Suppose 8*k - c*k - 222 = -3*s, 0 = k + 4*s - 62. Is k a multiple of 14?
False
Let r be (186/(-4))/(24/(-32)). Suppose 0*s = 2*s - 4*g - r, 5*s = -3*g + 168. Is s a multiple of 11?
True
Suppose 28*m - 35*m = -490. Is m a multiple of 5?
True
Suppose -3*z + z = -y, -z - 7 = -4*y. Let l = 1 - y. Let f(o) = -62*o**3 + o**2 - o - 1. Is f(l) a multiple of 13?
False
Suppose -3*g - 42 = -0*g. Let k = 6 + g. Does 3 divide (-6)/k*4/1?
True
Suppose 6*d = 3*d. Suppose 2*u - 51 = 3*h, u + d*u - 27 = 2*h. Is ((-5)/3)/((-7)/u) a multiple of 3?
False
Let w be 25/9 - (-6)/27. Suppose h = 2*m + 3, 0 = -4*h + w*m - 2 - 1. Is 16 a factor of 4/24*-106*h?
False
Let b(f) = f**2 + 13*f + 7. Let y be b(-7). Let p = -21 - y. Does 14 divide p?
True
Suppose 2*a + a - 39 = 0. Let l(y) = 10. Let w(p) = -p - 20. Let s(t) = -7*l(t) - 3*w(t). Does 23 divide s(a)?
False
Let p = 39 - 19. Suppose 3*b + h - 80 = 0, 0*b - b + 3*h + p = 0. Suppose 0 = 4*f + b - 254. Is 22 a factor of f?
False
Let u(n) = n**2 - 7*n + 12. Let b be u(5). Suppose b*j + 3*v - 138 = 0, -2*j - v + 106 = -6*v. Is 31 a factor of j?
False
Is 29 a factor of 145*24/(-80)*-32?
True
Suppose -116*q + 113*q - 9 = 0, 0 = 5*k - 2*q - 21551. Is k a multiple of 48?
False
Let p(z) = -z**3 - 5*z**2 - z - 3. Let j be p(-5). Let x(a) = 0*a**3 - a**3 + 2*a**3 + 9*a**2 + 0*a - j + 6*a. Is x(-8) a multiple of 7?
True
Is 27 a factor of 3782/12 + (-29)/(-6) + -5?
False
Is (2/5 - (-42)/(-5))*-9 a multiple of 22?
False
Let b = -2 + -10. Is 13 a factor of 23 + 4/b*-6?
False
Suppose 5*h - 13 = -2*l + 1, 0 = -l - 2*h + 5. Is (7/l + 3)/(4/84) even?
True
Suppose -3311 = -12*y + 5*y. Suppose 0 = 4*g + 5*q - y, 3*g - 2*g = -5*q + 122. Is g a multiple of 11?
False
Let u(c) = 6 - 44*c**3 + 20*c**3 + 3*c - c + 25*c**3 + 7*c**2. Does 10 divide u(-5)?
False
Does 56 divide 1 - 10/14 - 576156/(-294)?
True
Let i(g) = -26*g - 7. Let a be i(-2). Suppose 47 = 3*k + 4*h - 23, -k + a = -3*h. Is k a multiple of 3?
True
Let o = 22 - 11. Let c = 36 - o. Does 6 divide c?
False
Suppose 0 = -u + 2 + 1, -5*v + 10 = -5*u. Suppose 2*l - 2*q + 0*q = 30, -4*l = v*q - 87. Suppose -h - 2*z + l = 0, h + 2*z = -2*h + 42. Is 5 a factor of h?
False
Suppose 7120 + 800 = 6*i. Is 24 a factor of i?
True
Suppose 0 = -c + 2*j, -5*c + 24 = -c + 4*j. Suppose -5 = 5*p + 3*a, c*a + 0 = 4*p + 36. Is 16 a factor of (-400)/(-24) + p/6?
True
Suppose 2*z + 207 - 1139 = 2*b, -3*b + 4*z = 1403. Does 19 divide 1/(-4) + b/(-4) + -3?
False
Let g = 29 - -14. Let h = 107 - g. Is 8 a factor of h?
True
Suppose 0*m - m = 0, -3*s + 2*m + 9372 = 0. Does 22 divide s?
True
Let u be (-1 - 1)*12/(-12). Suppose 2*m = 4*k + m - 1026, -m - u = 0. Does 17 divide k?
False
Suppose 7*a = -4 + 25. Suppose z + 44 = 3*b + 6*z, -4*b - a*z = -66. Is b a multiple of 3?
True
Let s = -2585 - -4114. Is s a multiple of 11?
True
Suppose 113*u - 109*u - 2424 = 4*o, -u = 4*o - 616. Does 32 divide u?
True
Let z(o) = -3*o. Let x(p) = 7*p + 1. Let m(w) = -6*x(w) - 15*z(w). Suppose 0 = 2*y + 34 - 50. Is 6 a factor of m(y)?
True
Suppose -5*a = 4*z - 31 - 3, -3*a + 2*z + 16 = 0. Suppose 0 = 5*x - 36 + a. Suppose -5*d + 14 = w, -x*w = -w + 3*d - 48. Is w a multiple of 2?
False
Let v(u) = u**2 + u + 1. Let w be 0/(-3) + 3 - -14. Let p = 12 - w. Is 7 a factor of v(p)?
True
Does 73 divide 1533*((-55)/33 + 2)?
True
Suppose 21202 = 5*m + 2*a, -4*a + 12706 = 3*m + a. Is 14 a factor of m?
True
Let i(x) = x**3 + 6*x**2 + 10*x + 21. Let n be i(-5). Is 12 a factor of ((-18)/(-4))/(n/(-56))?
False
Let k = -7 - -11. Suppose -k*r = a - 5*a, a - 2*r = 0. Suppose a = s - 5*g - 9, 2*s + 0*g = g + 45. Is s a multiple of 8?
True
Let h(r) = -r**2 + 16*r + 4. Let o(c) = c**3 + 6*c**2 - 7*c - 1. Let f be o(-6). Suppose -3*z - f = -4*d - 0*z, -d - 1 = -3*z. Does 8 divide h(d)?
True
Suppose 2*t - 3*u + 120 = -u, 3*t - u + 180 = 0. Let i(f) = -f**2 + 3*f + 1. Let w be i(4). Is (t/9)/(1/w) a multiple of 10?
True
Suppose 0 = -22*p + 19*p. Suppose -4*z + 10*w + 492 = 12*w, -5*z - 4*w + 612 = p. Is z a multiple of 9?
False
Suppose -4*u + 4*v + v + 24 = 0, u + 7 = -2*v. Is (-1)/(u/(-45)) + -3 a multiple of 7?
True
Let o = -1049 + 2678. Does 13 divide o?
False
Let i = -978 - -1605. Does 12 divide i?
False
Let n be 3/(42/584) + 26/91. Let s = -27 + n. Is 3 a factor of s?
True
Let u = -14 + -35. Let w = 79 + u. Is 10 a factor of w?
True
Let c(o) = o - 1. Let m(k) = 3*k - 3. Let j(v) = -4*c(v) + m(v). Let f(p) = 20*p - 20. Let q(x) = f(x) + 15*j(x). Is q(9) a multiple of 11?
False
Let k = -31 - -36. Suppose 2*r - 6 + 38 = 3*w, -75 = -k*w - r. Is 7 a factor of w?
True
Let j(m) = 14*m - 54. Let i be j(4). Suppose 4*z = -i*z + 1764. Is 49 a factor of z?
True
Suppose 862*d - 855*d - 2177 = 0. Is d a multiple of 12?
False
Let d(h) = -163*h - 5. Let z be d(-2). Suppose 6*f + z - 921 = 0. Suppose 0*n = -2*n + f. Is n a multiple of 11?
False
Suppose 2*t + 3*t = -225. Let z be 2*(t/6)/(-5). Suppose 2*h + g = 138, -4*h + 225 + 55 = z*g. Is h a multiple of 23?
False
Suppose 3587 = 5*w - b, w - 100*b - 712 = -98*b. Is w a multiple of 68?
False
Suppose -x = -4*x + 171. Let k = 1 - -4. Suppose 0*u + x = 2*o + u, -o - k*u + 24 = 0. Is o a multiple of 7?
False
Suppose u - 797 = -3*l, 3*u + 2*u - 4001 = l. Is 10 a factor of u?
True
Let z be ((-1)/2)/(333/330 - 1). Let w(o) = -o**3 + 10*o**2 - o. Let m be w(5). Let p = z + m. Is p a multiple of 15?
False
Let f(q) = -293*q + 12. Is 11 a factor of f(-3)?
True
Let j(d) be the second derivative of 3*d**3 - 7*d**2 - 6*d. Is 16 a factor of j(4)?
False
Suppose z - 3*x = -4*x + 16, 0 = -5*z - x + 72. Let t be (-4)/10 + z/35. Suppose t*y = 3*y - 21. Is 3 a factor of y?
False
Suppose 3*m = 6*m - 57. Let c = 19 - m. Suppose -4*r + 10 + 38 = c. Is 12 a factor of r?
True
Let h(f) = -f**3 - 88*f**2 - 112*f - 184. Does 11 divide h(-87)?
True
Suppose -1714 = -3*l + 2*z, -5*z - 1139 = 465*l - 467*l. Is 143 a factor of l?
True
Suppose 2*b - 90 = 7*b + 5*r, 72 = -3*b + 3*r. Let u = b - -24. Suppose 4*k + 5*c - 181 = 0, 2*k + c - 104 = u*c. Is 10 a factor of k?
False
Suppose -1058*w = -1068*w + 36360. Is 54 a factor of w?
False
Does 36 divide 7/(-14) + 1085/10?
True
Let j(b) be the third derivative of -b**5/60 - 3*b**4/8 - b**3 - b**2. Su