2 - 28. Is 6 a factor of b?
False
Let m(x) be the second derivative of x**7/1260 - x**6/720 + x**5/40 + x**4/6 + 3*x. Let d(u) be the third derivative of m(u). Is d(-3) a multiple of 17?
False
Suppose -4*r + 1 = 5, 145 = 4*w - r. Let z(l) = -l**3 + 3*l**2 + 4*l. Let m be z(4). Suppose m*k + 3*k = w. Is 12 a factor of k?
True
Let s be ((-12)/(-8))/(6/(-8)). Is 13 a factor of s + 0 + (2 - -34)?
False
Let f = 523 + -370. Is f a multiple of 14?
False
Suppose 0*r - 15 = -r. Let v = 25 - r. Is 10 a factor of v?
True
Let n = -8 + 5. Let d(m) = m**2 + m - 4. Let v be d(n). Suppose -v*b - 2*y = -12, y = -4*b + 6*y + 51. Is b a multiple of 6?
False
Suppose -5*b + 95 = -4*b. Let u = -43 + b. Is 16 a factor of u?
False
Let a(g) = -g - 8. Let x be a(-12). Suppose -4*m + 72 = -x*d, 5*m + d - 77 = 25. Is m a multiple of 10?
True
Suppose 4*u = 2*l - 1 - 3, 2*u - 3*l = -10. Is 16 a factor of u + -1 + 88/4?
False
Let m(u) = 8*u**2 - u. Is m(-1) a multiple of 3?
True
Suppose 3*c - 118 - 125 = 0. Let w = -32 + c. Is 7 a factor of w?
True
Suppose 0 = -5*m - 4*r + 468, -7*r - 15 = -2*r. Does 12 divide m?
True
Let b = -56 + 106. Does 6 divide b?
False
Let f = -5 - -8. Suppose -x - 10 = 3*s, -7*s - 16 = -f*s + 2*x. Is 14 a factor of 75/2 + (-1)/s?
False
Let c(x) = -x - 8. Let o be c(9). Let h = -4 - o. Is h a multiple of 13?
True
Is 3 a factor of 198/5 - (-12)/30?
False
Let x be (-3)/9 + (-21)/(-9). Suppose 0 = -2*i + x, 2*i + 167 = 5*n - i. Let z = -16 + n. Is z a multiple of 9?
True
Let o(t) be the third derivative of t**5/30 + t**4/6 + t**3 - 3*t**2. Is o(-4) a multiple of 7?
False
Let v = 91 + -43. Is 142/12 - (-8)/v a multiple of 4?
True
Suppose 102 = -2*p - p. Let j = -20 - p. Does 14 divide j?
True
Let x = -137 - -297. Is x a multiple of 12?
False
Let o = -141 + 85. Let r = o + 84. Is 7 a factor of r?
True
Suppose -102 = -5*w + 723. Is w a multiple of 15?
True
Suppose -2*r + 17 = -0*r + 5*m, 5*r + 5*m - 65 = 0. Is r a multiple of 4?
True
Let s(n) = -7*n**2 - 5*n - 3. Let h be s(-4). Let w = -50 - h. Is w a multiple of 20?
False
Suppose -7*n = -8*n + 25. Is 4 a factor of n?
False
Let o(c) = 2*c**3 + 9*c**2 - 3 - c**3 + 0*c**3 - c. Suppose 0 = 3*t - 5*t - 18. Does 4 divide o(t)?
False
Is -14*((-18)/15 + 2)*-10 a multiple of 14?
True
Let l be (3/6 + -2)*-2. Suppose l*j = 2*j - 7. Let u = j + 13. Does 4 divide u?
False
Let s = 10 + -8. Does 13 divide (-41)/(-2)*s + -2?
True
Let m(x) = x - 17. Let k be m(0). Let b = -7 - k. Suppose -w + 38 - b = 0. Is 14 a factor of w?
True
Let f = 101 - 55. Is f a multiple of 16?
False
Let z(v) = v**2 - v. Let y(w) = w**2 - w - 2. Let k(c) = y(c) + 2*z(c). Let u be k(3). Suppose -2*j + u = 3*t - 1, -5*j = 3*t - 65. Is 8 a factor of j?
True
Does 24 divide 6700/70 - (-2 + 24/14)?
True
Let k(j) = -9*j + 4. Let v = 12 + -18. Is 29 a factor of k(v)?
True
Let c be (-4)/(-10) + 396/10. Let n(t) = -t**2 - 2*t - 2. Let w be n(-6). Let d = c + w. Is d a multiple of 14?
True
Suppose y + 41 = -i + 4*i, -y = -4*i + 53. Is i a multiple of 4?
True
Let w be (-104)/(-18) - (-20)/90. Let n(j) = j**2 - 3. Is n(w) a multiple of 16?
False
Let d be (-204)/(-60) - (-4)/(-10). Suppose 171 = -2*t + 6*t + 3*r, -d*t + 5*r + 121 = 0. Does 7 divide t?
True
Suppose -5*y + 197 + 33 = 0. Suppose -3*o + 4*q = -97, 2*o + 0*q + 2*q = y. Does 9 divide o?
True
Suppose -2*n - n = 87. Let h = n + 42. Let o = 7 + h. Does 7 divide o?
False
Let v be (3*-1)/((-2)/2). Suppose 4*o = -0*b - b + 46, 4*o = v*b - 58. Does 13 divide b?
True
Let h = 195 + -173. Is 5 a factor of h?
False
Let z(t) = -2*t - 1. Let y be z(-2). Suppose -2*g + 1 = -3. Suppose -g*m - y*v = 2*v - 26, -28 = -4*m + 2*v. Does 3 divide m?
False
Suppose 3*v + 67 = -5*b + 2*v, 5*b - 4*v = -82. Let a = b + 18. Does 4 divide a?
True
Suppose 15 = 5*t - 25. Suppose 2*i - 10 = t. Is 9 a factor of i?
True
Suppose -49 = -f + 3. Let g = -10 + f. Is g a multiple of 21?
True
Suppose -4 = -z + 5*h, h + 107 = 3*z + 25. Let c = z - 14. Does 6 divide c?
False
Is 3 a factor of (3 - (-1 + -1)) + 4?
True
Let n(z) be the first derivative of -4 - z**2 + 4 - 4. Is n(-6) a multiple of 6?
True
Let d = 91 + -57. Let x = d + -19. Suppose 4*p - x = p. Does 4 divide p?
False
Let y(h) = h - 1. Let l be y(5). Suppose 4*v = -0*v + 4*z + 56, -56 = -l*v - z. Does 7 divide v?
True
Suppose 8 - 28 = -4*n. Suppose 0 = -t - n*z + 14, 2*t - 2 - 16 = -5*z. Is 3 a factor of t?
False
Let t(p) = 171*p. Let c be t(-1). Let o be c/(-33) - (-6)/(-33). Suppose 2*g + k - 25 = 0, 3*g + o*k = -0*k + 55. Is g a multiple of 5?
True
Let z = -616 - -896. Does 56 divide z?
True
Let g = 17 - -5. Is 16 a factor of g?
False
Let d(q) = -4*q - 2. Let t(m) = -9*m - 4. Let h be (-2)/(5/((-195)/(-6))). Let o(y) = h*d(y) + 6*t(y). Is o(-4) a multiple of 10?
True
Suppose 3*w + 45 = t - w, 2*t = -3*w + 90. Is 17 a factor of t?
False
Let l(i) = -2*i**2 + 5*i - 9. Let u be l(7). Let b = -18 - u. Suppose -5*g + 16 = -b. Does 5 divide g?
False
Let b = -19 + 28. Suppose 0 = -g - 5*s + 24 - 0, -3*s = -b. Does 9 divide g?
True
Let c(p) = 15*p - 3. Is c(2) a multiple of 15?
False
Suppose 75*p = 80*p - 535. Is p a multiple of 9?
False
Suppose 4*j + 35 = 11. Let m = j + 10. Let n(v) = v**3 - 2*v**2 - 2*v + 4. Is n(m) a multiple of 12?
False
Let r(y) = -y**3 + 11*y**2 - 7*y - 14. Is r(10) a multiple of 8?
True
Let y(n) = -n**2 - 16*n - 19. Is 16 a factor of y(-10)?
False
Let n(h) = -3*h - 2. Let b(u) = -u + 1. Let r(s) = 4*b(s) - n(s). Does 2 divide r(4)?
True
Suppose 0*x + x = -2. Let v be ((-1*12)/2)/x. Suppose 4*k - 55 = y - 12, 2*y - 24 = -v*k. Is k a multiple of 5?
True
Is 10 a factor of -3 + (-140)/(-44) + 2412/44?
False
Let o = -10 - -18. Is 4 a factor of o?
True
Let t = 13 - 3. Is 7 a factor of t?
False
Suppose 9*g + 30 = 4*g. Let r = g + 5. Is r + (-1 - -2*4) a multiple of 3?
True
Suppose -16 = 3*o + o, 2*t - 3*o - 340 = 0. Suppose -4*y + t = 3*q, -3*q + 7*q - 3*y - 227 = 0. Let x = q + -30. Is x a multiple of 12?
False
Suppose m - 2*t + 0 = 8, 4*m - 4*t - 52 = 0. Is m a multiple of 13?
False
Let l = 241 + -61. Suppose -2*b + 3*g + g = -l, -2*b = -2*g - 170. Is b a multiple of 20?
True
Suppose 0 = -4*h + 5*j + 24, 2*j = 5*h - 10 - 3. Let n(p) = 0 + 2 + h + 9*p - 2. Is 9 a factor of n(1)?
False
Let h(y) = -y**2 - 11*y. Let b be h(-12). Let s = b - -19. Is s a multiple of 4?
False
Let z(o) = o**2 + 7*o + 6. Let l be z(-5). Let q = 1 - l. Is q a multiple of 3?
False
Suppose 0 = -3*w + w - 8. Let v(m) be the third derivative of -m**6/120 + 5*m**4/24 - m**3/6 + m**2. Is v(w) a multiple of 16?
False
Let y(w) = -w**2 - 9*w - 10. Let x be y(-7). Let d = 7 - x. Suppose 0 = -r - d*r + 56. Does 5 divide r?
False
Let z(y) = 10*y + 20. Is 5 a factor of z(3)?
True
Let x(t) = 10*t**2 + 6*t + 1. Is 10 a factor of x(-4)?
False
Let d be (-4 + -55)*(-1 + 0). Let r = d - 33. Does 13 divide r?
True
Suppose 0*r + 4*r = 4, 2*x + 4 = -4*r. Let z = x + 17. Does 4 divide z?
False
Let o be (-2)/4 - (-62)/4. Let p(q) = -q**3 + 14*q**2 + 19*q - 18. Is p(o) a multiple of 11?
False
Let d = -44 - -21. Let w = d - -36. Is 13 a factor of w?
True
Let o(l) = 0 - 2 + l**2 - 2*l**2 + l**3 - 2*l**2. Does 16 divide o(5)?
True
Suppose 20*x - 85 = 15*x. Is x a multiple of 5?
False
Let t be (2 - 3)/(1/2). Let f = t + 13. Does 11 divide f?
True
Suppose 3*m - 22 = -2*w - 2*w, -4*m - 8 = 0. Suppose -3*y + w + 8 = 0. Suppose 3*t + 199 = y*g, 5*t = 4*g + g - 205. Is 19 a factor of g?
True
Let w(k) = -k**3 - 8*k**2 + 3. Suppose 0 = -5*q + 5*z - 85, -4*q - z - 44 = 3*z. Let y = q - -6. Does 3 divide w(y)?
True
Let w be (16/6)/(7/21). Is ((-17)/(-4))/(1/w) a multiple of 10?
False
Let n(z) = 4*z**2 - 6*z + 3. Let x be n(4). Suppose -4*f + x = f - 2*c, 0 = -f - 3*c - 5. Is f a multiple of 6?
False
Suppose -5*y + 88 = -4*y + l, l - 4 = 0. Is 17 a factor of y?
False
Suppose 7 = 4*f - 5*p, 4*f + 4*p - 8 = 8. Is f a multiple of 2?
False
Suppose 6*d - d = 15. Suppose -v = d*t - 10, 4*v - 5*t + 18 = 6*v. Let h = v - -9. Is 13 a factor of h?
True
Let u(d) = d - 6. Let o be u(7). Let v be (o + (-2 - 1))/(-1). Suppose 4 = -v*b + 2*h + 22, h = -5. Is b a multiple of 4?
True
Is 16 a factor of 28 - 0 - 2 - -4?
False
Let f be ((-14)/8 + 1)*36. Let l = f + 48. Is l a multiple of 15?
False
Let t(p) be the first derivative of 41*p**3/3 - 