. Is w(4) a multiple of 9?
True
Let n(y) be the third derivative of -y**6/120 + 7*y**5/60 + 5*y**4/24 - y**3/2 - y**2. Is n(7) a multiple of 16?
True
Let x be (6/(-4))/((-7)/84). Suppose 3*w + x = -0*w. Does 9 divide 2*w/(-2)*3?
True
Let d be (-32)/(-3) - 1/(-3). Let w = 66 - d. Does 17 divide w?
False
Let z = 23 + 80. Does 11 divide z?
False
Suppose 2*l = -3*l - 10. Let m = -1 - l. Suppose -13 + m = -n. Is 6 a factor of n?
True
Let h = 6 + -2. Let g(d) = 19*d - 5. Let y(i) = -10*i + 2. Let m(p) = 3*g(p) + 5*y(p). Is 20 a factor of m(h)?
False
Suppose -5*c - 3 - 37 = -3*m, -m + 10 = -c. Let a = m - 0. Suppose -a*p + 34 = -11. Is 9 a factor of p?
True
Let y(n) = -n**3 - 8*n**2 + 3*n - 2. Let f(z) = -z**3 - 8*z**2 + 4*z - 1. Let l(j) = 3*f(j) - 2*y(j). Is l(-9) a multiple of 15?
False
Let c(s) = -80*s**3 - s**2 - 3*s - 1. Does 27 divide c(-1)?
True
Let a be (-4 - -1)*4/(-2). Suppose -a*l = 2*g - 4*l - 90, -l + 129 = 3*g. Suppose -g = -5*s + 93. Does 9 divide s?
True
Suppose 280 = 5*w - 3*g, -w + 5*g - 112 = -3*w. Suppose 0*y = 4*y - w. Does 12 divide y?
False
Suppose -4*b - b = -75. Does 5 divide b?
True
Let x = -3 + 4. Let i = 1 - x. Let z(q) = q + 23. Does 17 divide z(i)?
False
Let a(v) = 2*v + 13. Let q be a(-8). Let j = q + 14. Is 5 a factor of j?
False
Suppose 5 = -2*t - 3*v + 3, t - 21 = 4*v. Is t a multiple of 2?
False
Let y = 535 - 755. Is 11 a factor of (-6)/4*y/15?
True
Suppose 17 = 3*r - 4*s, r + 1 + 4 = 4*s. Suppose 5*q + r - 31 = 0. Is (q + -5)*(-2 + -23) a multiple of 18?
False
Let p(r) = r + 12. Let s be p(-9). Suppose 2*j - 26 = -2*n, -s*n + 43 = 3*j + n. Is j even?
False
Let s = -72 + 116. Is s a multiple of 22?
True
Suppose -2*r + 0 = -4, -5*h - 4*r = -308. Is 25 a factor of h?
False
Let d(t) = -3*t - 1 + 2*t**2 - 2*t**2 + t**3. Let u be d(-2). Is 15 a factor of ((-10)/u)/((-4)/(-42))?
False
Let c(z) = z - 4. Let v be c(4). Suppose -9 = 3*q - 3*l, q = 5*q - 5*l + 17. Let d = v + q. Is d a multiple of 2?
True
Suppose 5*u - 5*s - 56 = -6, 0 = 3*s + 6. Is 8 a factor of u?
True
Let w be -3 - (-36 + (-3 - -1)). Let m(f) = 2*f**2 + w*f - 34*f + 5*f**2. Is m(-2) a multiple of 26?
True
Let d = 87 - 36. Is 17 a factor of d?
True
Let m(k) be the third derivative of -k**4/24 + 2*k**2. Let i(q) = q**2 - 8*q + 3. Let n be i(3). Does 12 divide m(n)?
True
Let g(m) = 8*m - 6. Suppose 3*h + 10 = 2*s, h - 5*h - s + 5 = 0. Suppose 3*r - 12 = -h*r. Is g(r) a multiple of 13?
True
Let x(m) = -3*m + 12. Let c be x(5). Is 21 a factor of (25 - (-1)/(-1)) + c?
True
Let j(b) be the first derivative of b**6/360 - 3*b**5/40 + 7*b**4/24 + b**3 - 2. Let f(a) be the third derivative of j(a). Is f(9) a multiple of 6?
False
Let v(a) = -37*a. Is 37 a factor of v(-1)?
True
Suppose -2*i + 512 = 4*s + s, 3*s - 301 = 5*i. Let v = s + -43. Suppose 4*z + 5*y - 103 = 0, -2*z + y + v - 4 = 0. Is z a multiple of 9?
True
Suppose -2*v - 3*p + 24 = -10, 0 = 5*v + 4*p - 92. Is 5 a factor of v?
True
Let d(x) = -x**2 + 9*x + 12. Is 5 a factor of d(7)?
False
Suppose -28 = -d - d. Does 5 divide (-105)/d*(-4)/3?
True
Let g = 131 + -78. Is g a multiple of 14?
False
Is (4 - (-20)/(-8))/((-1)/(-42)) a multiple of 9?
True
Suppose 0*u + u = 241. Suppose z = s + 43, -5*z + 6 = 3*s - u. Does 15 divide z?
False
Let s(l) be the second derivative of l**5/20 - 7*l**4/6 + 2*l**3/3 - 17*l**2/2 - 6*l. Is s(14) a multiple of 9?
False
Let a = 0 - -15. Is 3 a factor of a?
True
Let i(s) = -5*s + 10. Let p be i(7). Let o = p + 37. Is o a multiple of 6?
True
Suppose -4*h - 4*l + 4 = 0, 0*h - 3*h - 5*l - 1 = 0. Suppose -h*m = -4*m. Let o(d) = d**2 + d + 10. Is 7 a factor of o(m)?
False
Suppose 4*p = -4*t, -4*p - t = -6*t. Suppose p = -5*j + 52 + 68. Is 12 a factor of j?
True
Let a(m) = 3*m - 2*m - 3*m. Is 22 a factor of a(-11)?
True
Let u(o) = -7 + 2*o + 6*o**2 + 7. Let h be u(-3). Suppose -4*c + h - 12 = 0. Does 9 divide c?
True
Let v be (-1 + 10)*(6 + -4). Let s = -8 + v. Is s a multiple of 10?
True
Suppose 0*r + r + 58 = 0. Is 7 a factor of 1/(-3) - r/3?
False
Let q = -7 + 6. Let w be (-1)/1*q - -95. Suppose 0*l + w = 3*l. Is l a multiple of 14?
False
Suppose a = 2*a - 168. Let y = 14 - 6. Is (-2)/y - a/(-32) even?
False
Suppose 2*k - 20 = -3*k. Suppose u - k*b = 33, 0 = -2*u - 2*b + 49 + 57. Is u a multiple of 11?
False
Let f(q) = -q**3 + 5*q - 6*q - q - 3 + 5*q**2. Is 3 a factor of f(4)?
False
Suppose 72 = 7*l - 4*l. Is 3 a factor of l?
True
Let p(a) = a**2 + 8*a - 4. Let f = 3 - -2. Let c = -14 + f. Is p(c) a multiple of 5?
True
Is (-2)/8 + 1446/24 a multiple of 14?
False
Let q be ((-354)/8)/(3/(-12)). Does 19 divide (-2)/(18/(-3))*q?
False
Let l(h) = 1 - 3 + 6 + h + 0. Let y be l(-5). Is 10 a factor of y - 62*(-1)/2?
True
Let n = -26 + 48. Is n a multiple of 22?
True
Let n(g) = 5*g. Let r be n(-2). Let b = -2 + r. Let t = 5 - b. Is t a multiple of 17?
True
Suppose v = 5*v - 8. Suppose -2*x - p + 85 = 0, 3*x + v*p + 2*p - 130 = 0. Does 21 divide x?
True
Suppose 0 = 4*u + z - 189, -5*z + 0*z = -5. Does 10 divide u?
False
Let t(n) = -67*n + 8. Let h be t(-4). Suppose h = r + 3*r. Is r a multiple of 16?
False
Suppose -2*q = -7*q - 2*x + 1, -4*x = 2*q + 6. Let p be (-3)/((-3)/q) - 1. Suppose -2*r - 4 + 0 = l, 3*l + r - 13 = p. Does 3 divide l?
True
Suppose 3*b - b = 0. Suppose k + 0 - 9 = b. Is k a multiple of 9?
True
Let p = -6 + 8. Is 11 a factor of -4 + (3 - p) - -25?
True
Let u be (13/(-2))/((-2)/12). Suppose 3*o = 4*o - u. Is 13 a factor of o?
True
Let y(v) = v**2 - 10*v - 6. Let j be y(10). Let c be (-33)/j - (-2)/(-4). Suppose 4*l - 1 = q - 0, 0 = 5*q - c*l - 55. Is q a multiple of 13?
False
Let k = 39 + 0. Is k a multiple of 5?
False
Suppose n - 4*n - 2*r + 64 = 0, 0 = 3*n - 5*r - 29. Is n a multiple of 5?
False
Suppose 0 = 5*m - 7*m - 36. Does 7 divide 4/(-18) - 508/m?
True
Suppose 2*p = 6*p - 24. Is 7 a factor of 0 - -8 - 6/p?
True
Suppose 4*q = 3*t + 99, t - 23 - 56 = -4*q. Suppose 5*r + 2*z - 14 = 3*r, q = 3*r + 4*z. Suppose -s - 3 = -r. Is s a multiple of 3?
False
Suppose 6*z = 7*z - 110. Is z a multiple of 8?
False
Let m be (-68)/(-18) + 6/27. Let p be (-7 + m)*(-2)/3. Is 16 a factor of 222/(-12)*p*-1?
False
Let k = -267 - -461. Does 15 divide k?
False
Let a be (2/4)/(1/46). Suppose -4*w + z = -2*z + a, 0 = 2*w - z + 9. Let b = 1 - w. Is b a multiple of 3?
True
Let f(l) = l. Suppose 2*a - 5*a = -15. Let h(z) = z + 1. Let p(s) = a*h(s) - 4*f(s). Does 5 divide p(6)?
False
Suppose a = 3 + 33. Is a a multiple of 9?
True
Let u(s) be the first derivative of 5*s**4/4 - s**2 + s - 1. Let t be u(1). Suppose -2*f - 2*k = -36, 2*f + t*k - 33 = f. Is f a multiple of 7?
False
Let v be 6 + (-1 - 4/2). Let t = v + 0. Suppose g + t*f - 6 = -0*f, 4*f = 4*g - 72. Does 9 divide g?
False
Let s(l) = 22*l - 2. Let p be s(2). Suppose o = -5*g + 14 + p, 4*o + 4*g = 176. Is 16 a factor of o?
False
Let n(x) = x**2 + 2*x - 3. Let a be n(-3). Let w = a - 27. Let l = w - -53. Is l a multiple of 13?
True
Suppose n - 2*n - 2 = 0. Let m = n - -13. Is 6 a factor of m?
False
Suppose 0 = 4*w - 0*r - r - 68, w = 3*r + 6. Let z(h) = -h**3 - 4*h**2 + 6*h - 6. Let m be z(-6). Let b = m - w. Does 6 divide b?
True
Let n = 5 + -3. Suppose 4*a = -5*j - 8 - 90, -5*a - n*j = 114. Let l = a - -48. Is 13 a factor of l?
True
Let u be (-3 - -3)*(-2)/4. Suppose a = 4*z - 3*a - 24, u = 2*a. Suppose -z = -5*c + 34. Is 8 a factor of c?
True
Let g(f) = f + 7. Let j(t) = -2*t - 2. Let a be j(-4). Is g(a) a multiple of 13?
True
Suppose -12*i + 57 = -11*i. Does 17 divide i?
False
Does 11 divide -30*(1280/25)/(-8)?
False
Let q = 75 - 48. Suppose -q = -3*m + d, 2*d + 9 = -d. Is 8 a factor of m?
True
Let t(w) = -12*w**3 - 3*w**2 + 4*w - 3. Let b be t(2). Let s = -70 - b. Does 8 divide s?
False
Suppose r = -3 + 11. Is r a multiple of 8?
True
Let y = 8 + -25. Let s(u) = -u**2 + u - 2. Let x be s(0). Does 13 divide 4*y*x/4?
False
Let n(k) = k**3 - 6*k**2 - 5*k - 9. Let i be n(7). Suppose -i*m + 30 = -60. Is 18 a factor of m?
True
Let f(r) = r. Let m be 3*(-2)/(-15)*10. Let v be f(m). Suppose -v*k = -1 - 7. Is k even?
True
Let b(n) = -n**3 - 7*n**2 + 6*n + 2. Let l(w) = -3*w**3 - 20*w**2 + 17*w + 7. Let h(q) = -17*b(q) + 6*l(q). Is h(0) a multiple of 7?
False
Is (-6)/(-27) + (-3282)/(-54) a multiple of 19?
False
Let n = 11 - 9. Suppose n*j = 