factor of w(d)?
True
Suppose -54 = -w + 3*w. Let j = w - -43. Is j a multiple of 8?
True
Suppose -q - 32 = -159. Suppose 0 = -2*v + l + 59, q + 6 = 4*v - 5*l. Is v a multiple of 10?
False
Let m(t) = t**3 + 2*t**2 - t + 76. Is 19 a factor of m(0)?
True
Let f(d) be the first derivative of -d**2/2 + 3. Does 2 divide f(-2)?
True
Let n(x) be the first derivative of -x**2 + 0*x**2 + 0*x - 4 + 2*x. Is 9 a factor of n(-8)?
True
Let o(y) = 2*y**2 + 14*y + 20. Let t be o(-9). Suppose 0 = -2*m + 2*w - 42, 0*w = m - 3*w + 23. Let k = t + m. Is 12 a factor of k?
True
Suppose -4*z = -2*f, 2*z = -f - 2*z - 12. Let j = 3 - f. Is j even?
False
Let g = 10 - 6. Suppose g = 4*u - 2*u, -4*i + 5*u + 14 = 0. Is ((-63)/(-6))/(i/8) a multiple of 9?
False
Suppose 5*m + 4*o - 40 = 0, 3*m + 2*o - 16 = 6. Suppose 0 = -4*i + 2*i + m*g + 22, 37 = 3*i - 4*g. Is 5 a factor of i?
True
Let i = 6 + -4. Suppose 2*j = -6, -2*u + 2*j = -3*u + i. Let h = 22 - u. Is h a multiple of 8?
False
Let s(w) = -w**3 + w**2 - 1. Is 7 a factor of s(-3)?
True
Let h = -1 + 2. Let v be -1 - 0 - h*-2. Is 13 a factor of 19 - (-1 + 1)/v?
False
Let v = -85 + 131. Suppose -v = -3*g + g. Is g a multiple of 11?
False
Let g = 62 - -27. Is 10 a factor of g?
False
Let f(t) = -t + 4. Suppose 0 = -4*w + 2*w - 10. Let s be f(w). Suppose 0*x = x - s. Is x a multiple of 4?
False
Let d(n) = -n**3 + 4*n**2 + 2*n - 3. Let b be d(4). Suppose -2*x = y + x - 7, -b*x + 1 = y. Is 8 a factor of y?
True
Let d(x) = x**3 + 3*x**2 + x. Let v be d(-2). Suppose -v*q + 7*q = 20, -3*i + 19 = -2*q. Is 4 a factor of i?
False
Suppose -4*v + 3*k = v - 1128, -2*v - 3*k + 447 = 0. Is v a multiple of 15?
True
Let q(t) = 7*t - 1. Let c be q(1). Suppose 0*n - 3 = n - 2*r, 4*r = -2*n - c. Does 13 divide (n - 6)*(-16)/6?
False
Suppose -v - 2*n + 29 = 0, 2*n - 10 = -3*v + 69. Let w = -18 + v. Is 7 a factor of w?
True
Is (6*-5)/((-10)/15) a multiple of 9?
True
Let u(i) = 17*i - 15. Does 29 divide u(6)?
True
Suppose -j + 12 = 3*j, -3*j = -t + 15. Does 8 divide t?
True
Suppose -4*j + 216 = -0*m + m, 0 = 5*j - 5*m - 245. Is 14 a factor of j?
False
Suppose -2*f - 15 = -3*f - 2*l, 4*f = -5*l + 75. Is 5 a factor of f?
True
Let s(g) = -g - 9. Let c be s(-9). Suppose a - 34 = -2*t + 30, c = -3*a + 12. Let z = t + -15. Is z a multiple of 6?
False
Suppose 0 = p - 1 - 19. Suppose 0 = -2*c - 2*c + p. Is c a multiple of 5?
True
Let k(a) = 3*a - 45. Does 2 divide k(17)?
True
Let c(u) = u**3 - 6*u**2 + 3*u - 2. Let a = 14 + -8. Is c(a) a multiple of 8?
True
Let o be -10 - (-2)/(-6)*3. Let q = o - -33. Let n = 50 - q. Does 11 divide n?
False
Suppose -2*j + 11 = 1. Is 2 a factor of j?
False
Let c(x) = -2*x**3 - 2*x**2. Suppose 3*h - 21 = 3*v, -2*h + 7 = -v - 5. Is 4 a factor of c(v)?
True
Suppose -3*t + 0 = -2*x + 7, 0 = -5*t - 2*x + 15. Let k be t - (3 + (-4 - -2)). Suppose k = l + 4 - 22. Is 7 a factor of l?
False
Let q(w) = w**2 - 4 + 0*w**2 + w - 7*w. Let z be q(7). Suppose z*m - 102 = 3*l, 5*m + 0*m - 4*l - 166 = 0. Is 14 a factor of m?
False
Let s be (-2)/(-5)*(3 + -8). Let r be s/2*-1*59. Suppose 9 = 2*y - r. Does 18 divide y?
False
Let p(u) = u**3 - 5*u**2 - 5*u - 2. Let d(n) = n**3 + 8*n**2 - n - 2. Let r be d(-8). Let z be p(r). Let l(q) = 5*q + 5. Does 9 divide l(z)?
False
Suppose 1566 = 10*x - 4*x. Does 50 divide x?
False
Suppose -5*h + 5*y + 305 = 0, 177 = 3*h + 3*y - 0*y. Is h a multiple of 15?
True
Let s = 0 - 10. Let a = -7 - s. Does 10 divide (-6)/(-9) + 88/a?
True
Let b(x) = -x**3 - x**2 + x - 3. Let w be b(-3). Suppose d - 16 = w. Is d a multiple of 7?
True
Let f(p) = 2*p**2 + 13*p - 3. Is 37 a factor of f(-11)?
False
Suppose 2 = g + 1. Suppose -3*x - 5*b = -184, 0 = 2*b + g - 5. Suppose -44 = -2*p + x. Is 13 a factor of p?
False
Suppose 173 = 6*h - 259. Does 12 divide h?
True
Is 37 a factor of -3*(-4)/(-6) - -409?
True
Let b = 8 + -13. Is 139/3 + b/15 a multiple of 14?
False
Let o(h) = -h. Suppose -4*z - 4*v = -8, v = -3*z + 2 - 4. Let q be o(z). Suppose 4*g - 3*y = -6*y + 59, -4*g + q*y = -54. Is 8 a factor of g?
False
Let i(o) = 4*o**2 + 13*o - 11. Let r(m) = 2*m**2 + 7*m - 6. Let h(d) = -4*i(d) + 7*r(d). Let n be h(3). Let l = n + 59. Does 14 divide l?
False
Let b = -60 - -101. Is 23 a factor of b?
False
Is (-18)/((-2 - -3) + (-12)/9) a multiple of 4?
False
Let p(c) = c + 55. Is p(0) a multiple of 11?
True
Is 5 a factor of (-1)/((-55)/50 + 1)?
True
Let b(f) be the second derivative of f**5/20 - 5*f**4/6 + 5*f**3/3 - f**2/2 - 5*f. Does 4 divide b(9)?
True
Suppose 0 = 3*r + 2*r - 25. Suppose -15 = -5*w + r. Is 3 a factor of w?
False
Suppose -4*g = -3*t + 97, 6*t - 4*g = 2*t + 124. Does 9 divide t?
True
Suppose -3*y + y + 1 = -5*n, 13 = n + 4*y. Let s = -1 + n. Suppose -5*g = 3*h - 11 - 35, s = -h + 2. Is g a multiple of 4?
True
Let f = -14 + 58. Is 13 a factor of f?
False
Let x(p) be the third derivative of p**8/20160 + p**7/2520 - 7*p**6/720 + p**5/20 + 2*p**2. Let n(c) be the third derivative of x(c). Is n(6) a multiple of 21?
False
Suppose -p = 3*a - 35, -4*p - 5*a + a = -164. Is 4 a factor of p?
True
Let q be 3 + 0/(2 + -3). Suppose -4*d + 12 = 0, -d - 12 = -3*g - q*d. Is g a multiple of 2?
True
Let j(y) = 5*y - 1. Let i be j(5). Suppose 5*z = p + p + 60, 2*z = 2*p + i. Is z a multiple of 12?
True
Suppose 0 = -4*y + y + 165. Is y a multiple of 6?
False
Suppose 0 = -4*f + 3*f + 16. Is f a multiple of 8?
True
Suppose -5*m - 2*i + 0*i + 150 = 0, 0 = 3*m + 5*i - 109. Is m a multiple of 4?
True
Does 14 divide 15*(-1)/(-3) + 93?
True
Let j be (-2)/(-3) - 16/(-3). Suppose 4*o = r - 21, j*o - r + 27 = o. Is 7 a factor of 9*1 + o/3?
True
Suppose y = 6*y + 5*b - 90, -60 = -5*y + 5*b. Let a be (0 - -1) + (-1 - y). Is 16 a factor of (-9)/a + 154/10?
True
Let g(h) = 4*h**2 + 14*h + 5. Does 2 divide g(-4)?
False
Let s = -6 - -10. Suppose s*k = 4*h + 72, k - 3*k - h + 30 = 0. Suppose 2*p = 3*p - k. Does 8 divide p?
True
Let b(k) = -16*k + 4. Let z be b(-2). Let p = z + -6. Is 10 a factor of p?
True
Suppose 0 = -4*k - 5*y - 116, -2*k - 3*y = -7*y + 32. Let u = k - -36. Suppose -4*w - u - 56 = -4*g, 7 = g - 3*w. Is 15 a factor of g?
False
Let g = 82 + 48. Is 11 a factor of g?
False
Suppose -8 = -2*d + 2. Suppose 0 = 3*b + d*v - 41, -b + 4*b = v + 35. Is b a multiple of 8?
False
Suppose -z + 3 + 9 = 0. Is 6 a factor of z?
True
Let z be 2/9 - 86/(-18). Suppose -5 = o - v - 0*v, o - 25 = -z*v. Suppose 0 = -2*l + 5*g - 1 + 74, o = -l - 2*g + 32. Is l a multiple of 9?
False
Let b(g) be the second derivative of -3*g**5/10 - 2*g**3/3 - 2*g**2 - 2*g. Let l be b(-3). Suppose l = 4*k + k. Is 17 a factor of k?
True
Suppose 6 = -2*v + 30. Is v a multiple of 2?
True
Suppose 5*z = 4*u + 100, -6*z = -2*z + 2*u - 80. Does 9 divide z?
False
Let o = 3 + -11. Let v(s) = -s**3 - 9*s**2 - 6*s + 8. Let d be v(o). Let u = 11 + d. Is 3 a factor of u?
True
Let c(o) = o**3 - 5*o**2 - 7*o + 8. Let j be c(6). Suppose -y - y = m - 2, j*y - 5*m = 2. Is 14*(15/6 - y) a multiple of 20?
False
Let n(j) = j**3 - 6*j**2 + 2*j + 2. Let b be n(2). Let t = 34 + b. Does 12 divide t?
True
Let w(y) = -y**2 - 8*y. Does 12 divide w(-6)?
True
Let a = 259 - 180. Let y = -52 + a. Suppose 0*u + y = 3*u. Is 9 a factor of u?
True
Let x(v) = -2 + v - 9*v + 7*v - 4. Is x(-14) a multiple of 8?
True
Suppose 3*d = -18 + 66. Does 21 divide (d - 37)*(-2 + 0)?
True
Suppose -5*w + 2*w = -42. Is 7 a factor of w?
True
Suppose 2*b - 29 = b + x, -2*b = -5*x - 67. Does 26 divide b?
True
Does 12 divide (-6)/(-2) - 290/(-5)?
False
Let q(l) = -l**3 + 6*l**2 + 8*l + 1. Suppose 3*s + 35 - 5 = 0. Let t = s - -17. Is 8 a factor of q(t)?
True
Suppose 4*c + 2*q - q = 0, -4*c = -q - 8. Let x(w) = 55*w**2. Does 29 divide x(c)?
False
Suppose 83 = 3*d - 64. Does 17 divide d?
False
Let u = 8 + -4. Let d(q) = -q + 4. Let h be d(u). Suppose h = -3*s + 74 - 11. Is 8 a factor of s?
False
Let w(l) be the second derivative of -l**4/12 + 7*l**3/3 - 4*l**2 + 4*l. Let b be w(13). Suppose -b*r = -26 - 114. Does 14 divide r?
True
Let t = -5 - -2. Let c = -1 - t. Suppose m + 70 = 5*d, -28 = -c*d - m + 3*m. Does 14 divide d?
True
Let l be (4/(-6))/(3/9). Let f be ((-132)/21 - l)*7. Does 5 divide (-10)/f - 70/(-6)?
False
Let d = 86 - 149. Let h = -31 - d. Suppose 16 = 4*s - h. Is s a multiple of 8?
False
Let y = -3 - -5. Suppose 0 = -y