e -5*f + 7 = 4*n - 23, -5*n + 33 = 4*f. Let l be 110/25 + -4 - (-27)/(-5). Is (f - (-22)/l)*-25 a multiple of 30?
True
Let i = -167 - 8. Let k = i - -319. Is k a multiple of 8?
True
Let j be 27/36 + (-174)/8. Is 21 a factor of (-2022)/j - 6/21?
False
Let y(z) = -4*z**3 + 2*z**2 + z - 1. Let j be y(-2). Suppose -5*r - 12 = -j. Suppose -r*w - 45 + 130 = 0. Does 6 divide w?
False
Suppose 5*w - 1143 = 1197. Is w a multiple of 26?
True
Let w(t) = -3*t + 180. Does 6 divide w(-20)?
True
Let f(v) = v**2 - 6*v + 3. Let u be f(6). Does 23 divide (-4 - 1)/(u/(-69))?
True
Suppose -5*v + 670 = -5*m, -16*m = -12*m + 20. Is 3 a factor of v?
True
Let a = 32 - 45. Is 10 a factor of (a - 2)*(-4)/3?
True
Let p(c) = -c**3 + 9*c**2 + 11*c + 11. Let b be p(11). Is (0 - -34)/((-44)/b) a multiple of 5?
True
Suppose -23 = -3*j - 2. Suppose 0*q + j = 2*q - 3*u, 2*u + 8 = 3*q. Suppose -32 = -q*a + 46. Does 13 divide a?
True
Is (1430/(-33))/((-2)/12) a multiple of 65?
True
Let d(q) = q**2 - 3*q - 2. Let h be (-8)/(-3)*12/(-8). Let b(i) = -i + 2. Let y be b(h). Does 8 divide d(y)?
True
Let j(n) = 11*n**2 - 2*n - 5. Suppose -7*p + 3*p = -12. Is 20 a factor of j(p)?
False
Is (1479/145)/((-382)/(-190) - 2) a multiple of 17?
True
Suppose v + 4 - 3 = 0. Let o be v/(-2)*4 - -22. Let l = o + -11. Is l a multiple of 13?
True
Suppose -k + 9 = d, 3*d = 2*k + 2*k + 6. Let n be (-1 - 1)/(d/(-111)). Suppose q - 2*q = -n. Is q a multiple of 8?
False
Let c = 3 + 0. Suppose -c*x - 95 = 5*q + x, -5*q = 5*x + 95. Let o = q - -36. Is o a multiple of 7?
False
Suppose 0 = 3*s - 5*o - 8787, 3*o - 3254 = -3*s + 5509. Does 68 divide s?
True
Let o = 615 - 307. Is o a multiple of 23?
False
Let m(x) = -3*x**2 - 92*x + 25. Does 14 divide m(-27)?
True
Suppose 2*c - 944 = -2*b, 5*c + 4*b = 7*c - 962. Is 22 a factor of c?
False
Let f be 1 - ((-16)/(-28) - (-6)/14). Suppose 0*a + a = -3, f = n - 5*a - 33. Is 3 a factor of n?
True
Suppose 3*v + d = 15, -5*v + 3*d - 2 = -27. Suppose -435 = -v*l - 110. Is l a multiple of 13?
True
Let u(q) = 2*q + 1. Let z be u(1). Suppose -4*a + 86 = -82. Suppose z*v - 30 = a. Is v a multiple of 9?
False
Suppose 5*m + 4 = 24. Suppose m*p = 15 - 3. Suppose -5*k + 25 = 0, d + k = p*k - 8. Does 2 divide d?
True
Let o(i) = 4*i - 2. Let v be o(1). Suppose -3*m + 2*m + 5 = -w, 4 = -v*w. Let c = m - -76. Is c a multiple of 23?
False
Suppose -29*h + 1707 = -26*h. Does 24 divide h?
False
Suppose 8820 = 22*i - 17*i. Is 98 a factor of i?
True
Suppose -4*n = 3*s - 8*n - 1105, 0 = 5*n - 25. Is s a multiple of 15?
True
Let t(v) = 3*v - 9. Let s be t(10). Let k = 25 - s. Suppose 3*q = q + k. Is q a multiple of 2?
True
Suppose -13*p - 854 = -4*q - 10*p, 4*p = -2*q + 416. Does 53 divide q?
True
Let j(h) be the third derivative of 4/3*h**3 + 0*h**4 + 0 + 2/15*h**5 - 1/120*h**6 - 4*h**2 + 0*h. Is 2 a factor of j(8)?
True
Suppose -o + 7 = s, o + 2*s = -4*o + 29. Let y = o + 3. Let x = y - -1. Does 3 divide x?
True
Let s = 24 + -24. Suppose -3*u + 180 = 4*n, 4*u = -s*u - n + 227. Is 8 a factor of u?
True
Suppose -2373 = -32*m + 11*m. Is 7 a factor of m?
False
Let w be 1980/14 + 16/28. Let r = w + -117. Does 16 divide r?
False
Suppose -13*d - 4*f - 124 = -15*d, -2*d + 5*f = -119. Is d a multiple of 18?
True
Suppose -2 = m - 2*m - 4*q, m - 2 = -5*q. Suppose -4*p - 4*r = 176, -6*r - 98 = m*p - 2*r. Does 19 divide (-4)/(-26) + (-1476)/p?
True
Let p(v) = -v**2 + 15*v + 22. Let r be p(14). Let k = r + 20. Is k a multiple of 14?
True
Let i(f) = -f**2 + 9*f - 2. Let g(c) = -c**2 - 7*c + 3. Let a be g(-6). Let h be i(a). Let n = 5 - h. Does 7 divide n?
True
Let a = -97 + 412. Does 21 divide a?
True
Let m(d) = 2*d**2 + 8. Let q be m(-2). Does 26 divide -186*(3*-1 + q/6)?
False
Let s(t) = -t**2 - 26 + 0*t**2 + 50 - 15 - 12*t. Is s(-11) a multiple of 11?
False
Is 3 a factor of ((-4)/(-5))/(22/495)?
True
Let r = -17 - -19. Let b be r + 21/(-9)*-3. Is 16 a factor of (-1)/(b/(-120))*3?
False
Let x = -356 + 643. Is x a multiple of 7?
True
Suppose -p + 3*v - 20 = -2*p, 0 = 3*p - 3*v. Suppose -p*h = -7*h + 36. Does 9 divide h?
True
Let j = -30 - -33. Suppose 4*d - n - 447 = 0, -d + j*n - 68 + 166 = 0. Is d a multiple of 27?
False
Suppose -3*q = 4*d + 4, -2*d = -2*q - 3*d - 6. Let p be (322 + q)*(-3)/(-6). Suppose -4*m + 265 = 5*c, 0*c - 3*c + p = -4*m. Is c a multiple of 17?
False
Let m = -93 + 193. Suppose -4*w - m = -9*w. Is 3 + w/(-4) - -74 a multiple of 24?
True
Suppose -2*b - 82 = -16. Let t be b/77 - (-510)/14. Suppose 0 = -w - f + t, -w = 3*f + 14 - 50. Does 12 divide w?
True
Let a = -3 - 3. Let g be a/(-18) + 2/(-6). Is 10 a factor of 0 - (1 + g - 32)?
False
Suppose -o + 119 = x, o = 3*x - 8*x + 599. Is x a multiple of 10?
True
Suppose 2*r - 4444 = 4*f, 29*r + 2221 = 30*r - f. Does 148 divide r?
True
Suppose 0 = -q - u + 7, 3*u = -5*q + 5*u + 14. Let h(o) = -2 + o**2 - q*o + 13*o**3 - 6*o**3 - 6*o**3. Is h(3) a multiple of 13?
False
Let m = 34 + -27. Suppose -m = 4*l - 31. Is l even?
True
Suppose -3*i - p - 3*p + 136 = 0, 20 = -4*p. Is i a multiple of 18?
False
Is 3/(-4) - (-2 + (-47480)/32) a multiple of 9?
True
Let m(f) = f + 4. Let h be m(-2). Suppose -16 = -3*z - 5*w, -4*w = -2*z - 0*z - 4. Suppose 0 = h*c + 3*c - 3*t - 282, 4*t = z*c - 110. Does 16 divide c?
False
Suppose 125*c - 124*c = 3*j - 2183, j = 4*c + 724. Does 13 divide j?
True
Suppose -g - 8 = x, -g + 4*x + x = -22. Let w = 1 - g. Suppose n + a = 5, 2*n + 3*n = w*a + 70. Does 4 divide n?
False
Let n = -116 - -118. Suppose h - 356 = -5*q, -772 = -3*h + h + n*q. Does 12 divide h?
False
Let d be (30/6 - 6)/(1/(-5)). Suppose 0 = d*x - 58 + 18. Does 4 divide x?
True
Suppose 2*f = -h - 42 + 148, f = -5*h + 539. Suppose 4*q = 7*q - h. Is 12 a factor of q?
True
Suppose 0 = -7*v - 33*v + 4760. Is v a multiple of 11?
False
Let y(h) = -h - 1. Let w(c) = c**2 - 2. Let b(j) = w(j) - 2*y(j). Let d be b(-3). Suppose 4*o + 5*l - 125 = 0, -52 = -3*o - d*l + 38. Is 7 a factor of o?
False
Let c(j) = j + 25. Let f(u) = -u**2 + 29*u + 21. Let q be f(30). Is 3 a factor of c(q)?
False
Let b(f) = -f - 4*f**2 + 0*f**2 + 5*f**2 - 8 + 13*f. Is 10 a factor of b(-14)?
True
Suppose 0 = -7*d + 2*d + 15. Suppose d*o + 10 = -4*m, o + 0*m = -4*m - 14. Suppose o*g = 32 + 38. Does 13 divide g?
False
Suppose 0 = -d + 4*n - 17, 2*n - 7 = 2*d + 9. Let b(j) = -1 + 3 - 4*j - 1. Does 8 divide b(d)?
False
Let p(r) = r**2 - 2. Suppose -24 - 6 = 5*f. Let n = -12 - f. Is 9 a factor of p(n)?
False
Let w(g) be the third derivative of -g**5/60 + g**4/6 - g**3/2 + g**2. Let n be w(2). Is (90/(-6))/(n + -2) a multiple of 3?
True
Let b(l) = -11*l - 13. Let u = -6 - 4. Let g be b(u). Suppose -g = -3*f + 4*j, 2*j = 2*f + 5 - 67. Is f a multiple of 12?
False
Suppose 4*h - 2*t + 54 - 628 = 0, -2*h - t = -297. Is h a multiple of 10?
False
Let o(k) = k**3 - 8*k**2 + 9*k + 4. Suppose -4*m - 40 = -2*h, -2*h + 3*m = -12 - 33. Let c be h/4 + 1/(-2). Is o(c) a multiple of 4?
False
Let u(i) = i**2 + 3*i + 2. Let l be u(-2). Suppose l*s = -3*s + 255. Does 27 divide s?
False
Suppose 3*i - 29*i = -7176. Is 23 a factor of i?
True
Let p = 14 - 14. Let j(i) = -2*i + 39. Let o be j(p). Suppose o + 33 = 3*d. Does 9 divide d?
False
Suppose -8*a + 5*a = -1590. Let g = a + -360. Let v = -112 + g. Is 12 a factor of v?
False
Let g(d) = 0*d - 29 - 2*d - 6*d + d. Does 10 divide g(-17)?
True
Let h(g) = -g**3 + 4*g**2 + 4*g + 6. Let x be h(5). Is 1*(2 - x)*9 a multiple of 3?
True
Let y(m) = m**2 - 13*m + 13. Let p be y(15). Suppose -o = -a - 35, 4*o + a = 168 - p. Is o a multiple of 9?
False
Let u = 14 - -16. Let h = -1 + u. Suppose -w + h + 28 = 0. Does 13 divide w?
False
Let k be -2 + 10 + (5 - 10). Suppose -y + 368 = 5*w, -2*w - k*y - 80 = -3*w. Is 4 a factor of w?
False
Let v = -261 + 1061. Does 50 divide v?
True
Let n(v) = v**3 + 14*v**2 + 25*v + 37. Is n(-10) a multiple of 10?
False
Suppose -4*s = -3*f - 750, 2*s - 4*f = -2*s + 748. Is s a multiple of 21?
True
Suppose -1650 = -11*y + 9735. Does 18 divide y?
False
Suppose 9*y - 13*y = 8. Is 3 a factor of (-3)/(y/(24 - 2)) + -2?
False
Let a(r) = 6*r**3 - r**2 + r + 2. Let h be a(-1). Let x(i) = -i**3 - 2*i**2 + 15*i + 8. Is x(h) a multiple of 5?
False
Suppose -17 = 3*k - 5*k + 3*w, -2*k - w + 29 = 0. Suppose -11*s = -k*s + 128. Suppose -i - s = -5*i. Is i a m