 1. Let g be u(-1). Let n(z) = z**3 - 5*z**2 - 9*z + 5. Is n(g) a multiple of 20?
True
Let d be (1/(-3))/1*0. Suppose d = -3*m + 8 + 31. Is 13 a factor of m?
True
Let b = -5 - -21. Is 16 a factor of b?
True
Let d be ((-3)/(-6))/(2/16). Suppose 4*z + f = -2*f + 28, -d*f = -z - 12. Is z a multiple of 4?
True
Let g(o) = 7*o - 1. Is 12 a factor of g(3)?
False
Let p(u) = u - 6*u + 2*u + 6. Is p(-6) a multiple of 24?
True
Let f be 6*(3 - 15/6). Suppose -2*c - f*x = -39, 2*c + x = 24 + 13. Is 14 a factor of c?
False
Let g(w) = -33*w**3 + 2*w**2. Does 14 divide g(-1)?
False
Let z(a) = 3*a**2 + 5*a + 5. Let c(h) = -h**2 - 2*h - 2. Let q(y) = 17*c(y) + 6*z(y). Let m be q(3). Let v = m + 15. Is 8 a factor of v?
True
Suppose -3*i - r + 38 = 0, 0 = 4*r + r + 20. Is 5 a factor of i?
False
Is -4*(-5)/15*(1 + 263) a multiple of 22?
True
Let o = 310 - 120. Is 18 a factor of o?
False
Suppose 3*m - 236 = 2*l, -2*m + 73 + 67 = 3*l. Is 38 a factor of m?
True
Suppose 4*d - 9*d = -350. Is 6 a factor of d?
False
Suppose 5*o - o = 4*c - 88, 4*c = -3*o + 102. Is c a multiple of 6?
True
Let m(r) = r - 6. Let h be m(10). Suppose -h*n - 9 = -3*v, 0 = -2*n + 3*n + 3*v + 21. Let y = n + 26. Does 10 divide y?
True
Suppose 4*k = -c + 70, -3*c = -5*k - 10 - 200. Is 14 a factor of c?
True
Let a = 5 + -3. Suppose 44 = a*c - c. Is c a multiple of 12?
False
Suppose -18*x = -13*x - 105. Let d be 102/(-9)*3*1. Let s = x - d. Is 24 a factor of s?
False
Suppose -r = 2*r - 5*l + 8, 4*r + 4 = 5*l. Let s = -2 + r. Suppose 4*q = -s*i - 33 + 147, -5 = -q. Is i a multiple of 24?
False
Does 10 divide (1 + -22)*(0 - 1)?
False
Suppose -2*n + 0*n = 0. Let i(b) = 14 - b**2 - 3*b**3 - b + 5*b**3 - 3*b**3. Is 9 a factor of i(n)?
False
Let q = -142 - -219. Is 10 a factor of q?
False
Let v = 2 + 4. Let r = -1 - v. Let u(k) = -3*k - 8. Is 6 a factor of u(r)?
False
Does 11 divide -5 - (-3 + -235) - 2?
True
Let n(c) be the first derivative of c**4/4 + 5*c**3/3 - 4*c**2 - 5*c + 2. Suppose 5*g + 24 = -6. Is 7 a factor of n(g)?
True
Suppose 5*x - 2*x + a - 103 = 0, -4*x + 137 = a. Does 17 divide x?
True
Let b be -16*((-35)/2)/5. Let v = 78 - b. Does 11 divide v?
True
Suppose 7 - 1 = 3*t. Suppose -g + t*g = 58. Is g a multiple of 23?
False
Is ((-38)/10)/((-1)/5) - 1 a multiple of 3?
True
Suppose -5*h = -2*h + 4*f - 18, -2*f = 4*h - 14. Suppose c - 33 = -h*c. Is c a multiple of 5?
False
Let x(t) = t**2 + 8*t + 1. Does 7 divide x(-9)?
False
Let k(s) be the third derivative of s**4/6 + s**3 + 2*s**2. Does 13 divide k(5)?
True
Suppose 0 = -2*i + 27 - 1. Let k = i - -24. Is k a multiple of 18?
False
Suppose 0 = 2*d + c - 218, 2*d - 3*d - c = -110. Let s(y) = -2*y - 10. Let z be s(-6). Suppose -o - z*o + d = 0. Does 18 divide o?
True
Does 5 divide 18*(2/(-4) - (-276)/72)?
True
Suppose -j + 6*u = 4*u - 63, j + 4*u = 93. Is j a multiple of 13?
False
Suppose -2*b + 3*y + 6 = -b, -b - 2*y = -1. Suppose -t = 5*z - 9, -10 = -3*t + b*z - z. Is 3 a factor of t?
False
Let x(f) = -f**3 + f**2 + 5. Let z be x(0). Suppose 2*r - z - 25 = 0. Does 15 divide r?
True
Suppose s - 66 + 17 = -4*n, 5*n = -s + 53. Is s a multiple of 9?
False
Let j be 18/45 - 326/(-10). Suppose 5*l = g + j + 22, 0 = g. Is l a multiple of 8?
False
Suppose -n - 3*n + 3*w = -69, 2*w = -4*n + 54. Let m be (-18)/n*(-10)/4. Suppose 38 = 2*x - f, -m*x - 7*f = -3*f - 46. Is x a multiple of 9?
True
Suppose -19 = -u - 7. Suppose u = -4*z - 0*z. Is (-43)/z + (-1)/3 a multiple of 7?
True
Let t(y) = 2*y**2 - 4*y + 9. Is t(5) a multiple of 9?
False
Let f(m) = m + 1. Let a be f(3). Let h(b) be the first derivative of b**3/3 - 2*b**2 + 3*b - 4. Is h(a) a multiple of 3?
True
Let g be 4/12 + (-888)/(-9). Suppose p + g = 4*p. Is 11 a factor of p?
True
Let n(k) = k**2 + 6*k - 11. Let a be n(-8). Suppose 2*w + w - 1 = -b, 2*w + 39 = a*b. Suppose -3*y = -26 - b. Is y a multiple of 8?
False
Suppose 5*s - 68 = 4*g, 2*g - 30 = -2*s + 5*g. Is 4 a factor of s?
True
Let j = 4 + -2. Let q = 29 - 13. Suppose -j*o + q = -10. Is o a multiple of 13?
True
Let t(p) = p. Let h(r) = r + 1. Let a(b) = h(b) + 2*t(b). Let o(j) = 4*j + 1. Let l(d) = -6*a(d) + 5*o(d). Is l(11) a multiple of 11?
False
Let x = -18 - -30. Is ((-4)/x)/((-3)/495) a multiple of 10?
False
Let l = -3 - -34. Is l a multiple of 26?
False
Let q(v) = -18*v - 13. Is 8 a factor of q(-6)?
False
Let a(n) = -3*n**3 - n**2 + n. Suppose 1 + 1 = 2*u. Let p be a(u). Is 9 a factor of 3*(-6 + 3)*p?
True
Let b(p) = -p**2 - 17*p - 10. Is 22 a factor of b(-11)?
False
Suppose -11*k + 464 = -3*k. Is 22 a factor of k?
False
Let h = 63 - 36. Is 9 a factor of h?
True
Is 9 a factor of ((-448)/80)/((-1)/5)?
False
Let o be 6/14 - (-96)/21. Suppose 0 = -r + 2*w + 5, 2*r + 4*w + 3 = o. Suppose 3*v + r*p - 30 = 0, -3*v + v + 2*p + 28 = 0. Is 12 a factor of v?
True
Let m be (-33)/(-12) - (-2)/8. Suppose -60 = c - m*c. Is c a multiple of 15?
True
Suppose -6*i + 390 = -0*i. Is 18 a factor of i?
False
Let f(z) = -3*z**2 + 49*z - 7. Is f(14) a multiple of 13?
True
Let s = 29 - 9. Suppose 0 = 4*u + u - s. Let a(w) = 4*w - 6. Is a(u) a multiple of 8?
False
Let t = 29 - -35. Does 32 divide t?
True
Let w(i) = i**3 - 10*i**2 + 14*i - 12. Is w(9) a multiple of 11?
True
Suppose 40 = -3*w - 2*w. Let c(x) = x + 6. Let s(a) = 12*a + 78. Let q(r) = -27*c(r) + 2*s(r). Is q(w) a multiple of 9?
True
Suppose 5*s + 2 = -2*j + 3, 5*s - 5 = 0. Let k be (-4)/j + (-6)/3. Suppose i - 8*d - 32 = -3*d, d + 5 = k. Is 5 a factor of i?
False
Suppose 0 = -4*x - 5*y + 568, -2*y = x - 4*y - 155. Is x a multiple of 25?
False
Suppose -3*h + 64 = 19. Suppose 5*t + 5*d = -h, t + 2*t - 4*d = 26. Suppose -a - 73 = -z - 0*a, -t*a - 214 = -3*z. Is z a multiple of 26?
False
Let q(k) = k**2 - 3*k - 1. Let c(o) = o**2 - 4*o - 2. Suppose -5*w - n = -5 - 17, 0 = w + 2*n - 8. Let l be c(w). Is 8 a factor of q(l)?
False
Is (-12)/(-8) - 945/(-10) a multiple of 12?
True
Is 22 a factor of (32/12)/4*198?
True
Let o(j) = j**3 - 6*j**2 + 6*j + 6. Is o(5) a multiple of 8?
False
Suppose q + 6*d = 4*d + 22, -22 = -q - d. Is q even?
True
Let o(r) = -2*r**2. Let k be o(-2). Does 14 divide (-4)/k + 37/2?
False
Let g = -4 - -1. Let x be 9 - g/(-6)*2. Let u = x + 4. Is 6 a factor of u?
True
Suppose -5*x + 59 + 121 = 0. Does 6 divide x?
True
Let m be (-1 - -8 - 2) + -1. Suppose 0 = 5*d - 3*o - 131 - m, -2*o = -d + 27. Is d a multiple of 20?
False
Is 10/(-10) + 21/3 a multiple of 3?
True
Suppose 4*a - 2*s - 16 = 0, 0 = -2*a + a + 3*s + 4. Suppose -a*t + 2*t = 0. Is 15 a factor of 16 - (t - (0 - 1))?
True
Suppose -2*p - 5 = -1. Let s = 2 + p. Suppose -22 + s = -2*f. Is f a multiple of 7?
False
Let t = -4 - -4. Suppose b = -t*b + 2. Is 9 a factor of 8 - (-2)/(b/1)?
True
Let t = 6 - 4. Is -18*(5/3 - t) a multiple of 6?
True
Let x = 174 + -124. Is x a multiple of 5?
True
Let o = 64 + -36. Suppose -2 = n - 4*m - 1, 2*m = 2*n - o. Is 19 a factor of n?
True
Suppose o = 2*n + 24, 0*n - 4 = -4*n. Is 3 a factor of o?
False
Suppose r + 1 = 0, 4*x + 0*x - 15 = -5*r. Is 3 a factor of x?
False
Let p be (-6)/(-9) - 620/12. Let o = -8 - p. Is 14 a factor of o?
False
Let v = -6 + -3. Let q be v/(-4) - (-6)/(-24). Suppose -22 = -5*g + n, 3*g - 2 = q*g - n. Does 4 divide g?
True
Suppose 733 = 6*u - 23. Is 12 a factor of u?
False
Is 0 + 1/1*87 a multiple of 9?
False
Suppose 3*u - 70 = -3*n + 164, 76 = u - n. Suppose -17 + u = 5*w. Is w a multiple of 12?
True
Suppose s - 3*s + 6 = y, 2*s - 5*y = 18. Suppose s*o - 22 = 38. Suppose -3*n + 11 = x - 14, n - o = -2*x. Is 7 a factor of n?
True
Suppose 193 = 2*q + 57. Does 9 divide q?
False
Let k(m) = -m**2 - 9*m - 10. Let h be k(-7). Suppose 0 = -3*t + h + 5. Suppose 3*v = -3*i + i + 43, i + 37 = t*v. Does 13 divide v?
True
Let t(i) = i**3 + 7*i**2 + 10. Suppose -4*z = -14 - 2. Suppose d + z*d + 35 = 0. Does 10 divide t(d)?
True
Let j(s) = -s**3 - 8*s**2 - 2*s - 11. Let m be j(-8). Suppose 0 = -5*g - 5*n + 135, 2*g - m*n - 75 = -0*g. Is 15 a factor of g?
True
Let l = 18 - -30. Does 18 divide l?
False
Let s = 28 + 8. Is 18 a factor of (-1)/(-2 - (-71)/s)?
True
Let b(j) = j**3 + 7*j**2 + 2*j + 1. Is b(-6) a multiple of 11?
False
Suppose 3*k = -0*k + 15. Suppose 0*p - 60 = -k*p. Does 6 divide p?
True
Suppose 4*r = 4*c + 28, 4*r + 2*c + 1 = 5. Let h be (-14)/(r/((-3)/2)). Suppose -25 