e -2*h = l - 61, -3*h + z*l - 14 + 102 = 0. Is 19 a factor of h?
False
Let i(h) = 5*h**2 - h. Let o be i(1). Let q(a) = a**3 - 5*a**2 + 5*a - 2. Let k be q(o). Suppose 4*j + 35 = 5*u - 35, -28 = -u - k*j. Does 8 divide u?
False
Let a = 45 + -34. Does 11 divide a?
True
Let p(z) = -z**3 - 9*z**2 - 11*z - 9. Let v be p(-7). Let u be 4/v*3*-5. Suppose -i - u*i + 54 = 0. Is i a multiple of 8?
False
Let x = 177 + -76. Is x a multiple of 25?
False
Suppose -5*p - 12 = -2*x, 96 - 24 = 4*x + 2*p. Is 8 a factor of x?
True
Suppose -24 = -o - 2*v, o + 5*v = -3 + 42. Suppose r = -2*a + o, r + 4*a - 14 = 8. Does 6 divide r?
True
Let j(x) = -x**2 + x + 4. Let w be j(0). Let z = w - 10. Let q(o) = -o - 3. Does 3 divide q(z)?
True
Let r(g) = -g**3 + 4*g**2 + 4*g + 4. Let f be r(4). Suppose 0*h + 5*h = f. Suppose -2*b + 3*v = -40 - 25, b + h*v = 16. Does 14 divide b?
True
Does 7 divide (5 - 6)/(3/(-84))?
True
Let w(b) = 2*b**2 + 5*b - 6. Let k(x) = x**2 + 6*x + 3. Let q be k(-6). Suppose 5*g = -q*o - 43, -g - g = o + 16. Does 14 divide w(o)?
False
Suppose 4*k - s = 338, k + 3*s - 35 = 56. Is k a multiple of 17?
True
Let r(a) = -a - 5. Let u be r(-8). Suppose 0 = -x - 0*x - 2*t + 34, 82 = u*x + t. Is 13 a factor of x?
True
Let l be (-813)/(-15) + 2/(-10). Suppose 59 = -4*x + 8*x + 3*q, -q - l = -3*x. Is 12 a factor of x?
False
Let m be 20/9 - (-4)/(-18). Suppose 5 = -n, -4*k = m*n - 4*n - 338. Suppose -j - 2*d = -36, -j = j + 2*d - k. Does 20 divide j?
False
Suppose 3*v - 4*u = -6, 7*v + u = 2*v + 13. Suppose -4*p = 5*c - 191, 2*c - 138 = -p - 2*p. Suppose 0 = v*n - p - 18. Does 8 divide n?
False
Let y be 123*1/(-6)*-2. Let w = y + -21. Suppose 0 = 5*l + h - 15 - w, l - 11 = -h. Is 4 a factor of l?
False
Suppose 0 = a + 4*n - 7, 2 = 3*n - 1. Suppose 0*t + 12 = 3*t, 0 = -a*b - t + 22. Is 3 a factor of b?
True
Let b = -3 + 2. Let s = 7 + b. Is (s - 0)/(6/64) a multiple of 25?
False
Suppose 4*x - 2*u - 14 = 0, 6*u + 2 = -x + u. Let g(n) = n**3 - 2*n**2 + 5*n - 2. Is 22 a factor of g(x)?
True
Suppose -13*v + 80 = -5*v. Is 6 a factor of v?
False
Let u(y) = 0 + 8*y - 2*y**2 + 12 + y**2. Let d be u(9). Suppose -n + 13 = d. Does 7 divide n?
False
Suppose 3*z - 7*z + 12 = 0. Let s(c) = -13*c**2 + 4*c + 1. Let b(p) = 12*p**2 - 3*p - 1. Let g(t) = z*s(t) + 4*b(t). Is 5 a factor of g(-1)?
False
Let g(m) = -m + 6. Let z be g(7). Let f = 7 - z. Is ((-4)/f)/(1/(-26)) a multiple of 13?
True
Let l = -3 - -7. Suppose 0*h + 2*h = l. Is 22 a factor of (h + -57)*(-12)/15?
True
Suppose 4*l - 26 - 6 = 0. Let h = 35 - l. Is h a multiple of 19?
False
Suppose 0 = 4*y + 4, 5*y + 7 = -2*k + 3*k. Suppose -k*p - 50 = -7*p. Suppose 0 = -3*d + 2*d + p. Is d a multiple of 5?
True
Suppose -b + 16 = 3*b. Let z = 4 - 4. Suppose z = -b*c + c + 102. Does 15 divide c?
False
Suppose h = -3*h + 60. Let t = h - 11. Is 2 a factor of t?
True
Let h = 3 - 1. Suppose -h*a + 5*a + 3 = 0, -5*a = 3*t - 88. Is t a multiple of 8?
False
Let u be 2/8*2*8. Is 19/u + (-1)/(-4) a multiple of 4?
False
Let i(a) = a**2 + 3. Suppose -5*h + 2*h = 0. Let r be i(h). Does 14 divide r*-3*(-21)/9?
False
Let w = 10 + 106. Is w a multiple of 27?
False
Let t(h) be the third derivative of h**5/30 - 7*h**4/24 + h**3/2 + 5*h**2. Is 10 a factor of t(5)?
False
Suppose 0 = -0*j + 5*j - 55. Is j a multiple of 8?
False
Let o = -7 - -11. Let h = o - 0. Suppose -46 = -l + 4*j, h*j + 214 = -l + 6*l. Does 21 divide l?
True
Let w = 10 - 7. Suppose 4*x - 18 = -w*f + 1, -5*f + 5*x = -55. Does 4 divide f?
False
Does 49 divide ((4/(-8))/(1/(-588)))/2?
True
Let a(k) = 10*k**3. Let g(j) = j**3. Let d(f) = a(f) + 10*g(f). Is d(1) a multiple of 10?
True
Let p(l) = 14*l + 21. Let r be p(-2). Let u(q) = 1. Let z(k) = 7*k. Let h(y) = 3*u(y) - z(y). Does 20 divide h(r)?
False
Let n(j) = -3 + 11*j - 23*j + 2*j**2 + 9*j. Suppose -w - 4*w - 15 = 0. Does 12 divide n(w)?
True
Suppose 0 = -3*b - 5*u + 3, -5 + 3 = -2*b + 4*u. Let i(t) = -6*t - 3. Let x be i(-4). Suppose -b = 4*z - x. Does 5 divide z?
True
Let o be (3/4)/((-2)/(-8)). Suppose 0 = 3*h + o - 102. Does 11 divide h?
True
Let o(d) = d + 4. Suppose -2*b + f = -0*f + 5, 3*f + 25 = -2*b. Let k be o(b). Is 10 a factor of (k - -2)*-5*-2?
True
Let a(b) be the first derivative of b**3/3 + 2*b**2 - b - 2. Let k be a(-5). Suppose -k*i + 3*m = -67, -3*i + 2*m = -2*i - 23. Is 4 a factor of i?
False
Let u = -4 - -1. Let k = u - -16. Let m = 11 + k. Is 17 a factor of m?
False
Let i be 131*1 - (-24)/8. Suppose 6*s = 4*s + i. Does 18 divide s?
False
Let p(o) = 31*o + 24. Is 15 a factor of p(9)?
False
Let b(d) = 7*d**3 + d**2 - 2*d + 1. Let a be b(1). Suppose -2*n + a*n = 165. Suppose 6 = -z + n. Is 10 a factor of z?
False
Let q(u) be the second derivative of 0 + 7/6*u**3 - 2*u - 1/12*u**4 + 5/2*u**2. Is 7 a factor of q(4)?
False
Let m = -18 + 27. Is m a multiple of 9?
True
Let l = 5 + -5. Does 9 divide (l + 8)*(-45)/(-20)?
True
Let h = -16 - -24. Does 3 divide h?
False
Is 18 a factor of (-2 - 12/6) + 76?
True
Let k = -2 + 4. Is k + -2 - 54/(-2) a multiple of 15?
False
Let o(k) be the third derivative of k**6/120 - k**5/15 + k**4/8 + k**3/2 - 2*k**2. Let t be o(3). Suppose -y + 8 = s - 6, -44 = -t*s - 4*y. Is 9 a factor of s?
False
Suppose 0 = -3*n + n + 34. Is 3 a factor of n?
False
Is 12 a factor of (90/40)/(6/32)?
True
Let c be (-3 - 1 - -1)/(-1). Let x(f) = 5 - 3 + f**2 - 5 - c + 3*f. Does 13 divide x(4)?
False
Let l = -46 - -65. Let y = l - 69. Let b = 82 + y. Is b a multiple of 16?
True
Suppose t = -7 + 46. Is 14 a factor of t?
False
Suppose 1 = 4*y + 17. Let k = y + 8. Let b(x) = x**2 + 2*x - 1. Is 14 a factor of b(k)?
False
Suppose 3*u + 2*y = 12, -2*y + 12 = 3*u - 7*y. Suppose u*d = -3*s + 51, -3*s + 50 + 4 = 3*d. Is s a multiple of 5?
False
Let n(m) = m**3 - 8*m**2 - 9*m + 5. Does 5 divide n(9)?
True
Let k(y) = y**2 - 3*y + 3. Let h be k(3). Suppose 4*f = 2*g + 36, 0 = -0*g + h*g - 2*f + 34. Does 10 divide ((-120)/32)/(3/g)?
True
Suppose -3*u + 8 = 3*n - 7*u, u - 1 = 0. Suppose 2*f - 2 = -4*l + 4, -n*l = 3*f - 17. Is f a multiple of 5?
False
Let c(b) = -18*b. Let u be ((-2)/(-6))/((-1)/3). Is 7 a factor of c(u)?
False
Let s(o) = o**3 + 12*o**2 - 11*o + 8. Let h be s(-13). Let b(k) = k**2 + k + 1. Let i be b(0). Is (i - (-1 - h))*-2 a multiple of 11?
False
Let f be (-2 + 1)/((-2)/180). Let r = f - 57. Suppose k - r + 5 = 0. Is k a multiple of 16?
False
Let m = 318 + -174. Is 4 a factor of m?
True
Let o = 7 - 5. Is 3 a factor of (-3)/o*(-6)/1?
True
Let j(o) be the second derivative of -o**5/20 - 2*o**4/3 + o**3/3 - 5*o**2 - 2*o. Let y be j(-8). Is (-3)/((-3)/y)*-1 a multiple of 9?
False
Let d(c) = -c**3 + 10*c**2 - 10*c - 8. Is 10 a factor of d(8)?
True
Is (-167)/(-4) + (-6)/(-24) a multiple of 14?
True
Let i(u) = -u + 20. Let g be i(16). Suppose 5*w - 35 = -j + 60, -5*j - g*w = -454. Is 18 a factor of j?
True
Let m = 6 + -3. Suppose m = -4*i + 19. Suppose 0 = d - i*d + v + 56, v - 4 = 0. Is d a multiple of 10?
True
Suppose q - 4*k = 0, -4*q = -4*k - k - 22. Is q a multiple of 6?
False
Let c(u) = 7*u**3 - 8*u**2 - 11*u - 9. Let o(i) = -i**3 + i + 1. Let p(k) = -c(k) - 6*o(k). Let t be p(4). Suppose -4*x + 65 = -t. Is 12 a factor of x?
False
Suppose 4*h + 0*g - g - 811 = 0, -2*g - 194 = -h. Does 34 divide h?
True
Let j = 81 - 30. Is 28 a factor of j?
False
Let i be 12*(2 - (-12)/(-8)). Is (-609)/(-9) + 2/i a multiple of 21?
False
Suppose -k + 5 + 4 = -2*i, 0 = 5*k - 4*i - 27. Suppose c - 84 = -k*c. Is 21 a factor of c?
True
Suppose 5*m + 4*o + 5 = 0, -o + 2*o = -m - 2. Let y(x) = -2*x. Let t be y(m). Let s = t - -21. Does 15 divide s?
True
Let w(y) = -y**3 + 7*y**2 + y - 3. Let p be w(7). Let v(q) be the second derivative of q**5/20 - q**4/12 - 2*q**3/3 - 5*q**2/2 - q. Is 13 a factor of v(p)?
False
Is ((-84)/(-5))/(8/20) a multiple of 3?
True
Is 34*(42/(-35))/((-8)/10) a multiple of 14?
False
Let o(y) = -y + 17. Let p be o(13). Suppose f - 99 = -t, -4*f = -5*t + p*t - 421. Suppose 5*q = -5*b + 95, -3*b - b - f = -5*q. Is 10 a factor of q?
True
Suppose -4*j + 48 = -2*x, j - 4*j + x = -34. Does 4 divide j?
False
Suppose -f + 86 = -4. Is f a multiple of 19?
False
Suppose 3*i - 82 = -7. Is 9 a factor of i?
False
Suppose 3*b - 4*b + 16 = 0. Suppose 2*y = 4*y - b. Suppose 3*u - y = 1. Does 2 divide u?
False
Suppo