z(a)?
True
Let w(j) = 2*j + 1. Suppose -4*m - 33 = -m. Let l = 16 + m. Is w(l) a multiple of 10?
False
Let s(x) = -4*x**3 + 3*x**2 + 7*x + 8. Let k(v) = -v**3 - v**2 + 1. Let a(l) = -3*k(l) + s(l). Let q be a(7). Suppose q*w = 3 + 112. Is 8 a factor of w?
False
Let x = 438 + -308. Let s = x - 86. Suppose 22 = 2*y - s. Does 14 divide y?
False
Let c = -7 - -27. Is c a multiple of 20?
True
Suppose 3*a + 185 + 238 = 0. Let l = -93 - a. Is l a multiple of 12?
True
Suppose -4*q - 5*x + 127 = -142, -x = 3. Does 15 divide q?
False
Let r(p) be the first derivative of -p**3/3 - 11*p**2/2 - 6*p - 1. Is r(-9) a multiple of 12?
True
Suppose -4*p + 6 = -3*m + 29, -4*m + 44 = -2*p. Does 2 divide m?
False
Let p(w) = w**3 + 6*w**2 + 3*w - 2. Does 3 divide p(-5)?
False
Suppose -4*u + r + 532 = 0, 3*u + 119 = 5*r + 535. Is u a multiple of 10?
False
Let q be 3/6 - 15/(-6). Is (-15)/(q - 6) + -1 a multiple of 2?
True
Suppose 0 = w - 0*w - 5. Let q(m) = 3*m + 4. Let l be q(7). Suppose 0 = w*y - l. Is y even?
False
Is (6 + -8)*4*-11 a multiple of 44?
True
Suppose -4*l + 2 - 18 = 0, -7 = i + 4*l. Is i even?
False
Let a = -74 + 115. Is a a multiple of 13?
False
Suppose 20 = v + 3. Let s = -12 + v. Suppose -k + 5 = 0, n - s*k = -3*k. Is n a multiple of 5?
True
Let x be 1*3/1*-15. Does 19 divide (-95)/(-1)*(-27)/x?
True
Let o be (6 - 1)*536/20. Let i = o + -85. Is 14 a factor of i?
False
Let f = 7 - 4. Suppose 2*h - 4*h - 31 = p, -h + f*p - 19 = 0. Let b = h - -38. Does 9 divide b?
False
Let i(y) = -4*y + 3. Suppose 4 = -2*x - 2*x + 3*q, -24 = 4*x + 2*q. Is 15 a factor of i(x)?
False
Let k = 27 + -20. Is k a multiple of 2?
False
Let z be (5/(-10))/((-2)/(-4)). Let t be (2*z - -49) + 2. Suppose 3*l = n + t, -5*n + 79 = 3*l - 0*l. Does 13 divide l?
False
Let y be (-54)/8*360/(-27). Suppose -y = -5*q + 5*o, -42 = -5*q + o + 28. Is q a multiple of 9?
False
Suppose 4*a + 60 = -0*a. Let c be (-745)/a - (-1)/3. Suppose 4*o - 32 = -4*l, 4*l - 2*o - 3*o = c. Is l a multiple of 10?
True
Suppose 3*i = 4 + 2. Let a be (i + 13)/(3/22). Suppose 5*o - 3*s = -4*s + a, 4*o - 88 = s. Is 11 a factor of o?
True
Let w(z) = z**2 - 2*z - 3. Let g be w(-2). Let l(i) be the third derivative of i**6/120 - i**5/15 - i**4/24 + i**3/2 - i**2. Is 12 a factor of l(g)?
False
Let t = 57 - -12. Is t a multiple of 21?
False
Let p(d) = d**2 + d - 2. Does 8 divide p(9)?
True
Suppose h + 5 = 2*z, -2 = -z - 3*h + 4. Suppose z*n - 103 = -5*v, 4*n + v + 2*v - 130 = 0. Let m = n - 13. Is m a multiple of 9?
True
Let a(b) = 2*b + 14. Let i be a(-6). Suppose 13 = i*y - 79. Does 10 divide y?
False
Let j(u) = 18*u**3 + 2*u - 1. Is 6 a factor of j(1)?
False
Is 431/3*1 + 2/6 a multiple of 6?
True
Let l(b) = -5*b + b**3 - 3 + 7*b**2 + 6 + 8*b. Let w be (9 - 3)*(1 - 2). Does 7 divide l(w)?
True
Let c(n) = n**2 - 10*n + 14. Does 10 divide c(14)?
True
Suppose -5*h + 437 = -133. Let j be (-4)/14 + h/7. Let t = 38 - j. Is t a multiple of 15?
False
Suppose 3*l - 2 = -20. Is 6 a factor of l/(-15) - (-68)/5?
False
Suppose 5*o + 5*v + 600 = 0, -3*v = 6*o - 2*o + 476. Let c = -61 - o. Is c a multiple of 21?
False
Let p be 7/((-14)/(-40)) - 0. Let h = -14 + p. Let b = h + -2. Does 4 divide b?
True
Let i = 4 - 0. Suppose -i*u + 39 = -17. Is u a multiple of 14?
True
Let z(t) = t**3 - 5*t**2 + 7*t - 5. Is z(4) a multiple of 4?
False
Let x(u) = u**3 + 5*u**2 + 2*u - 4. Suppose -5*w - f = f + 14, 0 = f - 3. Let a be x(w). Let s = a - 2. Does 2 divide s?
True
Suppose -2*o = -3*x - 3*o + 263, 3*o = -2*x + 166. Does 21 divide x?
False
Let i be (1 + 20)/3 + 3. Does 4 divide ((-6)/(-2))/3*i?
False
Let a = 2 + 5. Let c(v) = v**3 - 6*v**2 - 2*v + 5. Does 20 divide c(a)?
True
Let x be 2*(0 - 9/(-6)). Suppose 17 = 4*t - x. Is 5 a factor of t?
True
Suppose 2*k - 2 = -0. Suppose -4*d + 241 = k. Suppose 4*t - d = -t. Is t a multiple of 12?
True
Is (-6)/15*(-472 + (-9)/3) a multiple of 19?
True
Let r(s) = -s**3 + 2*s**2 - 1. Let o be r(1). Suppose f - 4*y - 31 = 0, 0 = -2*f - o*y - 3*y + 95. Let h = -23 + f. Does 10 divide h?
True
Let p(w) = -w**2 - 6*w - 5. Let m be p(-4). Suppose 26 + 13 = m*h. Suppose -h + 43 = 3*k. Does 10 divide k?
True
Let k = 4 - 1. Suppose v + 30 = 4*v - 2*w, -21 = -k*v + 5*w. Is 9 a factor of v?
False
Let i(x) = x**3 - 5*x**2 - x + 7. Let z be i(5). Let w(p) = 3*p - z*p + 3 + p**2 - 4*p. Is 7 a factor of w(4)?
True
Suppose 2*o = -3*y - 11, -3 = 3*y - 5*o + 43. Let f(h) = -3*h + 6. Is 16 a factor of f(y)?
False
Let s(c) = -c**3 + 7*c**2 - 3*c - 9. Does 8 divide s(4)?
False
Suppose -6 - 18 = -4*i. Let t(z) = z - 8. Let x be t(i). Is (17/x + 0)*-2 a multiple of 17?
True
Suppose 31*x - 34*x = -810. Is x a multiple of 18?
True
Suppose -4 = 4*u, -s = -u + 5 - 4. Let m = -3 - s. Is 11 a factor of m/(-2 + 94/48)?
False
Suppose 0 = -6*n + 42. Let f(m) = 4*m**2 - 5 + 2 - 3*m**2 - 6*m. Is 4 a factor of f(n)?
True
Suppose 4*z + 16 = 0, 2*a = -a - 5*z + 133. Let o be a*(-6)/(-9) + 0. Let f = o + -21. Does 13 divide f?
True
Let n = 4 - 0. Let l(f) = -f**3 + f**2 - f. Let x be l(0). Suppose n*s - s - 72 = x. Is 9 a factor of s?
False
Suppose 4*x = 3*a - 19, 3*a + 12 = -3*x + 3. Suppose -3*u = -2*o - 172, 3*u = o + 44 + 129. Let z = x + u. Does 22 divide z?
False
Let d = 1 - -4. Suppose 0*o + 30 = d*o. Is o a multiple of 2?
True
Let s = 5 - -1. Suppose 0 = c - 3*g - 27, s = g + 1. Is 21 a factor of c?
True
Suppose 3*z = 3, 5*f - 3*f = 2*z - 8. Let x = f - -8. Suppose -4*g - 77 = -x*a + 117, a - 3*g - 41 = 0. Is 19 a factor of a?
True
Suppose 4 = -3*f - f. Let y be f/(-1)*-1*19. Let p = -5 - y. Does 12 divide p?
False
Suppose 4*b = 103 + 29. Does 22 divide b?
False
Let c = 110 - 66. Does 44 divide c?
True
Suppose -2*k = -k. Suppose k = 5*p - 2*v - 342, -3*v - 132 = -3*p + 75. Suppose 24 = 2*b - 2*g, p - 14 = 4*b - g. Is 7 a factor of b?
True
Let x(w) = -3*w + 59. Let z(h) = -h + 30. Let o(i) = -2*x(i) + 5*z(i). Let p be o(0). Suppose 4*f - p = -0*f. Does 5 divide f?
False
Suppose 4*g = -o - 0*o - 302, 367 = -5*g + 4*o. Let m = -37 - g. Is 19 a factor of m?
True
Let i(u) = -4*u - 9. Let l(c) = -c + 3. Let n be l(7). Let x be 1*-1 - (1 - n). Is i(x) a multiple of 6?
False
Let u = -24 - -26. Suppose 0 = -4*c - 5*n + 120, 6*c + u*n - 150 = c. Does 15 divide c?
True
Suppose -148 = 2*f - 6*f. Is 10 a factor of f?
False
Suppose -11*c + 384 - 32 = 0. Does 6 divide c?
False
Let k(t) = t**3 - 11*t**2 + 9*t + 10. Let u be k(10). Suppose u = -5*v + 37 + 23. Does 6 divide v?
True
Suppose -2*b - 14 + 0 = 0. Let c = 14 + b. Is 7 a factor of c?
True
Suppose -5*n = -5*q + 51 + 4, 0 = -4*q - n + 69. Is q a multiple of 13?
False
Let n = 5 - -2. Suppose p - 2*p + n = 0. Suppose 2*o - 35 = p. Does 18 divide o?
False
Let b(m) = m. Let i be b(-2). Let c = i - -9. Does 7 divide c?
True
Let o = 0 + 11. Let x = 2 + o. Does 13 divide x?
True
Suppose 1 + 14 = 5*p, 2*p + 384 = 3*j. Does 26 divide j?
True
Suppose -g - 5*i + 76 = g, 0 = -4*i. Is g a multiple of 9?
False
Let m(z) = -z**3 + z**2 - z + 1. Let u be m(-2). Suppose u = -0*p + 5*p. Suppose 3*d = -12, 4*h + p*d = -d + 136. Is 19 a factor of h?
True
Let h(i) = -i**3 + 2*i**3 - i + 4*i - 10*i**2 + 4. Is h(10) a multiple of 17?
True
Suppose -p - 3*p = 0, 2*v + 5*p = 12. Is 6 a factor of v?
True
Suppose w - 165 = -3*n, 4*w - 228 = -4*n - 0. Does 18 divide n?
True
Let o be 75/9 + (-1)/3. Suppose -7*d + 4 = -3*d + 4*f, -5*f - 9 = -2*d. Suppose 0 = -t + p + o - 3, -d*p - 1 = -t. Is 9 a factor of t?
True
Let l(b) be the second derivative of -b**5/30 + b**4/6 - b**3/3 - b. Let u(c) be the second derivative of l(c). Is u(-5) a multiple of 13?
False
Suppose -12 = -y + 3*l, 0 = 4*y - 0*l + l - 87. Is 21 a factor of y?
True
Suppose 5*w - 2*o = w - 6, 4*w + 5*o = 15. Suppose 94 = 2*r - w. Does 15 divide r?
False
Let n be (-6)/(0 + (-4)/2). Suppose 84 = 2*d + 3*x, d + n*x = -0 + 42. Is d a multiple of 21?
True
Suppose 130 = 4*p - 2*f, -4*f + 182 = 4*p + p. Is 17 a factor of p?
True
Let f = -1 - -5. Suppose -b = -3*u + 15, -43 + 1 = -5*u - f*b. Is u a multiple of 3?
True
Let f(p) = -2*p - 5. Let j be f(-5). Let h be j*13 - (-2 - -1). Does 12 divide (-2 + 0)*h/(-4)?
False
Let f = 26 + 5. Is f a multiple of 8?
False
Let g(n) = n**3 - 6*n**2 + 2*n + 6. Does 18 divide g(6)?
True
Let z = 91 + 94. Is 28 a factor of z?
False
Is