2. Let r(f) = -j(f) + 4*w(f). Let c = 5 + -1. Is 27 a factor of r(c)?
True
Suppose 5*u - 9721 = -2*z - z, 4*z + 9742 = 5*u. Is 7 a factor of u?
True
Let x be ((-20)/45)/((-3)/27). Let m(h) = -h**3 - h**2 + h + 20. Let y be m(0). Suppose -y = -x*s + 8. Is 3 a factor of s?
False
Suppose -3629 = -5*w + 4051. Suppose 9*o = 5*o + w. Suppose -4*l + o = 136. Is l a multiple of 16?
False
Let v = 209 + -153. Does 14 divide v?
True
Let b be (-4)/(2/(-1)) - 2. Suppose -3*a - k = -30, 3*a + 5*k - 17 = 25. Suppose -4*l = -5*p + a, b*p - p = 2*l - 13. Is l a multiple of 3?
False
Let u = -1703 + 2889. Let b = -826 + u. Suppose 2*a - b = -3*a - 5*f, 3*f = 6. Is a a multiple of 35?
True
Let m(t) = t**3 - t**2 + 4. Let z be m(0). Let c(h) = z - 5 + h**2 + 0 + 2. Is 27 a factor of c(-6)?
False
Suppose -h + 393 = 3*j, -8*h + 3*j + 1587 = -4*h. Is 36 a factor of h?
True
Let l(t) be the third derivative of -t**6/360 + t**5/12 - t**4/2 - 4*t**3/3 - 6*t**2. Let b(r) be the first derivative of l(r). Is b(5) a multiple of 7?
False
Is 13 a factor of (4 + 21)/5 - -238 - -4?
True
Let w(a) = -3*a**2 - 7*a + 9. Let f be w(2). Let u(n) = n**2 + 3*n - 17. Is u(f) a multiple of 26?
False
Let n = 191 + -126. Suppose 5*i = 4*f - n, -4 = -4*i + 8. Suppose l - f = 15. Is l a multiple of 8?
False
Let c = 12 - 24. Let w(a) = -a**3 - 13*a**2 - 13*a - 9. Let t be w(c). Suppose -4*y = -i - 273, -t*y - 34 = -i - 238. Is y a multiple of 13?
False
Let l(p) = 3*p + 1. Let a be l(-2). Is (-1)/a - 4829/(-55) a multiple of 3?
False
Suppose -3 = 6*o - 3*o. Let y be (o/2)/(2/(-8)). Suppose -x + 43 = 2*c, y*c - 3*x = 6 + 33. Does 9 divide c?
False
Let a(y) = -y - 4 + 1 + 4. Let v be a(-4). Suppose -u + v*u - 16 = 0. Does 3 divide u?
False
Let q = -518 - -930. Is 2 a factor of q?
True
Let y(o) be the third derivative of -o**6/120 - o**5/6 + 3*o**4/8 + 7*o**3/6 - 15*o**2. Is y(-11) a multiple of 24?
False
Let r be (-5)/(10/(-4)) + 2. Let n(l) = l**3 + 7*l**2 + 8*l + 15. Let j be n(-6). Suppose -4*y - p + j*p + 100 = 0, 0 = -r*p. Is 9 a factor of y?
False
Suppose 2*q + 483 = 5*q. Suppose 37 = 2*d - q. Suppose -4*y - 198 = -5*m, 3*m - d = 3*y + 18. Is m a multiple of 21?
True
Let d(w) = -w + 19. Let k(o) = -3*o + 39. Let j(l) = 5*d(l) - 2*k(l). Let s be (26*(-1)/(-4))/((-20)/40). Does 4 divide j(s)?
True
Suppose -2*s + s - 5 = 0, 4*q - 1604 = -4*s. Does 16 divide q?
False
Suppose 3*w + 8 = -7, -3*w - 63 = -c. Suppose k = 5*k - c. Is k a multiple of 12?
True
Suppose 0 = -2*w + 2*c + 1 + 3, -4*w + 2*c + 8 = 0. Suppose -6*y - 744 = -w*y. Is (-12)/(-30) - y/10 a multiple of 6?
False
Let v be 3*104/(-36)*3. Let q be v/3*15/10. Let k = q + 79. Is k a multiple of 16?
False
Let o(x) be the first derivative of x**6/360 + x**4/8 + 5*x**3/3 + 4. Let g(n) be the third derivative of o(n). Is g(3) a multiple of 12?
True
Let o = 176 + -44. Let x = o - 19. Suppose 0 = 2*r + 37 - x. Does 13 divide r?
False
Let k = 1222 - 809. Let c = k - 227. Does 40 divide c?
False
Suppose -125 = -9*o + 4*o. Let d = o + 2. Does 12 divide d?
False
Suppose 104 = 5*y - 156. Suppose 12 = -2*v - 26. Let i = v + y. Does 11 divide i?
True
Let d(f) = 67*f - 42. Is d(10) a multiple of 6?
False
Suppose -2*z + 4*k + 308 = 8*k, 4*k - 158 = -z. Is z a multiple of 6?
True
Is (6 - 9980/12)*-3 - -4 a multiple of 56?
False
Let d(f) = -f**3 + 12*f**2 - 9*f. Let z be d(11). Does 12 divide -7*(-11)/(z/24)?
True
Let r(m) = m + 2. Let z be r(2). Suppose h - 3*t - 150 = -h, 0 = -4*h + z*t + 308. Does 27 divide h?
True
Suppose -5*r + 363 = -3*h, 4*h + 357 = 5*r - 7. Does 9 divide r?
True
Suppose -46 = n - 43, -3*y + 7653 = -2*n. Does 11 divide y?
False
Let c(k) = -k**3 + 9*k**2 + 25*k - 20. Let i be c(11). Is 1373/7 - i/91 a multiple of 14?
True
Suppose 7*d - d = -186. Let n = -31 - d. Let v(b) = 2*b + 98. Is v(n) a multiple of 14?
True
Let j(a) = a**3 - 9*a**2 - 4*a - 1. Let v be j(7). Let w = -55 - v. Does 12 divide w?
True
Let m(t) = 6 + 18*t**2 - 15*t**2 - 1. Does 2 divide m(0)?
False
Let j be -6 + 7 - 15/(-3). Let y be 16/12 + 4/j. Suppose 0 = y*n - 25 + 1. Does 3 divide n?
True
Let o(a) = 23*a - 1. Let j be (-1 - -5) + -3 + 2. Let d be o(j). Let x = d - 38. Is x a multiple of 10?
True
Let i(l) = -l - 2. Let x be i(-7). Suppose x*s = -4*c + 65, -3*s + 52 = s - c. Let g = s - -29. Is 21 a factor of g?
True
Let r(b) = b**2 - 5*b + 43. Does 21 divide r(-8)?
True
Let i be 3 + (-9 - 16/4). Is (0 - 8/5)/(i/875) a multiple of 20?
True
Let g(j) be the second derivative of -j**5/20 + 11*j**4/12 - 4*j**3/3 - j**2 + 6*j. Does 6 divide g(10)?
True
Let t = 35 + -21. Suppose 4*g - t + 2 = 0. Suppose -5*j = -g*j - 20. Is j a multiple of 5?
True
Let d = 416 - 372. Is 3 a factor of d?
False
Let r = -8 - -11. Suppose -m - m - c + 16 = 0, m = -r*c - 2. Is 5 a factor of (-2)/m + (-172)/(-10)?
False
Let s be ((-15)/(-6))/((-1)/(-2)). Suppose -4*l + l = 12, -424 = -s*j - 4*l. Is 39 a factor of j?
False
Let s(i) be the third derivative of i**5/60 + i**4/4 + 5*i**3/6 + i**2. Let h be s(-7). Suppose -w + 2*w - 4*j - 33 = 0, -3*j = h. Is w a multiple of 15?
False
Let y(v) = 12*v**3 + 5*v - 4. Let j(a) = -11*a**3 - 4*a + 3. Let k(p) = 4*j(p) + 3*y(p). Let n = 73 - 75. Is 22 a factor of k(n)?
True
Let n = -680 + 857. Does 33 divide n?
False
Let m(i) = 163*i + 8. Is m(3) a multiple of 49?
False
Suppose 18 = -7*p + 4*p. Let j(z) = -z - 4. Let v be j(p). Is 10 a factor of 760/16 + v/(-4)?
False
Let g = 267 + -184. Let y(k) = 15*k - 2. Let b be y(8). Let z = b - g. Does 18 divide z?
False
Suppose 98*i - 97*i - 46 = 0. Is i a multiple of 2?
True
Is 13 a factor of (26/(-6) - (-5 + 0))*273?
True
Let k(g) = -3*g**3 - 6*g**2 + 15*g + 20. Let h(v) = -7*v**3 - 11*v**2 + 29*v + 41. Let r(o) = -2*h(o) + 5*k(o). Is 16 a factor of r(-10)?
True
Is 9 a factor of (-15)/10*(-280 + -12)?
False
Suppose 19960 = 17*t + 1175. Is 13 a factor of t?
True
Let o = -11 + 2. Let j = o + 10. Does 8 divide 3 - -41 - (3 + j)?
True
Suppose 0 = 4*f - 1 - 7. Suppose b - f = 40. Does 14 divide b?
True
Suppose -n - 4 = -3*h, -2*h - 2*n + 5 + 11 = 0. Let q(m) = 638 + m + 2*m**3 - m**3 - 639. Is q(h) a multiple of 29?
True
Let a(p) = p + 24. Let w be a(-11). Let k(l) = 2 - w*l - 4 + 6*l + 29*l. Is k(1) a multiple of 4?
True
Let t = -37 + 42. Suppose t*u = -5*o + 935, 4*o + 78 = 2*u + 796. Suppose 4*g + o = -3*c + 658, 0 = 3*g - 15. Does 41 divide c?
False
Suppose -41*r + 26010 = -7*r. Does 85 divide r?
True
Let j be (-192)/(-36) + 2/(-6). Suppose -4*w - j*m + 136 = 0, 5*w - 3*m - 109 = 61. Does 5 divide w?
False
Let d be (-5)/(-20) - (-59)/4. Let h = d - 13. Is h/(-6)*(-17 - -2) a multiple of 5?
True
Suppose 12*o = 1269 + 6243. Is o a multiple of 64?
False
Let v(r) = -r**3 - 6*r**2 - 8*r - 1. Let l be v(-6). Suppose 0 = -g + 15 + 83. Let p = g - l. Is p a multiple of 17?
True
Let f(r) = -2*r + 115. Is 30 a factor of f(39)?
False
Let g(i) = -i**3 + 27*i**2 + 28*i. Let s be g(28). Suppose s = 24*m - 22*m - 432. Is 31 a factor of m?
False
Let i(h) = h**2 + h + 4. Let c = 14 - 9. Suppose c*y + 15 = -2*l, 24 = -4*l - 2*y - 2*y. Is 7 a factor of i(l)?
False
Suppose -5*i - 254 = -344. Does 4 divide i?
False
Let w(u) = u**2 + 15*u + 5. Let h be w(-16). Does 26 divide (-410)/(-8) + h/28?
True
Suppose -58*r = -4*r - 237276. Is 26 a factor of r?
True
Let u be 20/50 - 38/(-5). Suppose 2*f = 4*w - 12, 4*f + 32 = 3*w + u. Is 11 a factor of (-1)/f - (-394)/12?
True
Let d(i) = i + 6. Let n be d(8). Let a(m) = -4*m + 0*m - m**3 + 15*m**2 - 9*m + 0*m + 20. Does 8 divide a(n)?
False
Suppose -11*f + 34 = -10. Suppose -q + 84 + 129 = 5*u, 4*q = f*u - 156. Is 14 a factor of u?
True
Let z = 2 + -8. Is z/4*224/(-3) a multiple of 14?
True
Suppose 6 = -3*v + g - 10, g - 2 = v. Does 9 divide (-3 - 51)/(v + 6)?
True
Let q(f) = f**3 - 13*f**2 + 17*f + 4. Suppose v + 168 = 15*v. Does 29 divide q(v)?
False
Let p(h) be the second derivative of -h**5/20 + h**4/4 + 146*h**2 - 15*h + 1. Is 25 a factor of p(0)?
False
Let w = 9 - 6. Suppose 0 = -h + w*h + 54. Let d = h + 44. Is 5 a factor of d?
False
Let w = 748 + -148. Does 30 divide w?
True
Let m(w) = w + 15. Let p be m(-12). Suppose p*h - 20 = -i, 4*i + 28 + 11 = 5*h. Does 28 divide (-2)/(-7) + 222/h?
False
Suppose -4*k + 13 = -3. Is 11 a factor of ((-6)/k)/(14/(-532))?
False
Let p(q) = -11*q**3 