ppose 0 = 5*t + 4*l + 27, 13 = t - 2*t + 3*l. Let z(j) = -j**3 - 5*j**2 + 8*j + 2. Is z(t) a multiple of 11?
True
Suppose -2*l + 0*l = -74. Is l a multiple of 20?
False
Let c(y) = y**3 - 8*y**2 - 8*y - 4. Let w = -10 - -19. Is 2 a factor of c(w)?
False
Suppose w = -2*g + 2, 0 = -2*w + 4*g - 0 + 4. Suppose -w = 5*n + 28. Is 6 a factor of (-2)/n + (-175)/(-15)?
True
Is 11 + 0 + (18 - 18) a multiple of 5?
False
Suppose -2*m - 18 = -2*l, 3*m = -0*l + l - 17. Let j(i) be the second derivative of i**4/12 - i**3/2 - 2*i. Is j(l) a multiple of 10?
True
Is (26*-1)/((-3)/24) a multiple of 14?
False
Let u(z) = -z**3 - 6*z - 1. Let q be u(-4). Suppose q = 5*o - 13. Does 10 divide o?
True
Let h(z) = -6*z - 4. Let l be h(-5). Let k = 54 - l. Is 14 a factor of k?
True
Let k(p) = -p**2 + 21*p - 24. Is 15 a factor of k(18)?
True
Let w(c) = -22*c**3 - 3*c**2 - 3*c. Let z be w(-2). Suppose -5*f + 10 = 0, 4*h + 0*f + f - z = 0. Is h a multiple of 14?
True
Let c = 2 + -4. Let h = c - -2. Suppose -5*y = -4*s - h*y - 9, -5*s - 5*y + 45 = 0. Is s even?
True
Let q(a) = a + 1. Let i be q(9). Does 9 divide (-2)/i - (-112)/10?
False
Suppose 3*v - 2*h + 2 = -0, -5 = -5*h. Suppose -d + 6*d - 20 = v. Is d even?
True
Suppose -5*d + y + 25 = -0*y, d = y + 9. Is 4 a factor of d?
True
Suppose -7 = -5*s - 4*g + g, 2*s - 2*g + 10 = 0. Let r(v) = -21*v**3 + v. Is 10 a factor of r(s)?
True
Is (3 - 2)*(0 - -79) a multiple of 15?
False
Suppose l - 39 = -t, -l + 39 = -0*l - t. Is 14 a factor of l?
False
Let j = -84 + 140. Is j a multiple of 13?
False
Let p be 3 + (4 - 3) + 0. Suppose -2*o - 10 = 2*j + 2*o, -p*o - 7 = 3*j. Does 2 divide j?
False
Let i(u) be the second derivative of -u**5/20 - 2*u**4/3 - 3*u**3/2 + 2*u. Does 4 divide i(-7)?
False
Let b = -13 + -14. Let q = -19 - b. Does 8 divide q?
True
Suppose -11 = 4*c + 5. Let w be c/(-14) - 124/(-7). Does 18 divide (-1120)/(-63) + 4/w?
True
Suppose -d = -4*d + 3*j + 39, j = -2*d + 14. Is 9 a factor of d?
True
Suppose -k = 2*k. Suppose -4*h + 139 - 35 = k. Is h a multiple of 13?
True
Suppose -5*y + 2 = -4*y. Suppose -y*s - 3*m - 10 = -8*m, m = s - 1. Is (-4)/s*(-70)/4 a multiple of 6?
False
Let y = -81 - -114. Is 11 a factor of y?
True
Let v = 6 - 5. Let s(q) = 5*q + 0 + v - 12*q. Does 17 divide s(-4)?
False
Suppose 19*v = 17*v + 92. Is 2 a factor of v?
True
Let l = -78 - -36. Let s = l - -61. Suppose 5*m - 104 + s = -5*j, 2*j - 49 = -3*m. Is 5 a factor of m?
True
Suppose 4*b = -l + 75, 3*b + 4*l - 57 + 17 = 0. Does 2 divide (-1)/(-4) + 95/b?
False
Does 11 divide (-1)/(-4) - (-1701)/28?
False
Let u be 6/(-27) - (-178)/(-9). Is ((-148)/u)/((-1)/(-5)) a multiple of 10?
False
Suppose p - 35 = -15. Is p a multiple of 13?
False
Let n = -3 + 1. Let j be (-1)/(3/(-42)) - n. Suppose 4*x - 4*c = j, -2*x + 4 = -0*c - 3*c. Does 3 divide x?
False
Suppose 3*p - 1 = -4*q + 6, 3*q - 9 = -p. Let o(s) = 3*s**2 + 1. Let j be o(p). Let x = 12 + j. Is x a multiple of 16?
False
Suppose 5*j = 3*l - 5*l + 22, -3*l + 33 = j. Let n = l + -8. Is 15 a factor of (-3)/(n/(-34)) + 1?
False
Suppose -6*m - 29 = 3*f - 2*m, 5*f = -5*m - 40. Let z be 12/10 + f/15. Suppose 2*o - 29 = z. Does 6 divide o?
False
Let t = 39 + -11. Let i(q) = -24*q - 4. Let p be i(-4). Suppose -p = -5*b + t. Does 9 divide b?
False
Let j(i) = 3*i**2 - 3*i. Let b be j(4). Suppose q - b = -2*q. Let h = q + -8. Does 4 divide h?
True
Let t(h) = -h**3 - 6*h**2 + 2*h - 1. Let a(n) = n**2 + 8*n + 5. Let x be a(-6). Let i be t(x). Let z = i - 20. Does 10 divide z?
False
Suppose -261 = -5*g - 1. Is 13 a factor of g?
True
Let a = -62 - -107. Does 15 divide a?
True
Let s(z) = -3*z**2 + 5*z + 11. Let b(a) = -2*a**2 + 3*a + 7. Let f(v) = -8*b(v) + 5*s(v). Is f(-3) a multiple of 5?
True
Suppose 0 = -0*v + 3*v. Suppose 0 = -v*p - 2*p + 28. Is 6 a factor of p?
False
Suppose 5*o - 3*o - 56 = 5*w, 0 = -3*o + 5*w + 74. Does 3 divide o?
True
Is (-24)/(-16) + (-465)/(-2) a multiple of 39?
True
Is 8 a factor of 2/(-8) - 137/(-4)?
False
Is 10 a factor of (-358)/(-9) - (-10)/45?
True
Suppose -2*q + 1 + 3 = 0. Suppose 2*n + q*v + 0*v - 94 = 0, 5*n - 267 = 3*v. Is n a multiple of 24?
False
Let x(o) = -o + 19. Let w be x(12). Let s(u) = 2*u + 4. Is 9 a factor of s(w)?
True
Let i(k) be the third derivative of k**4/4 - 7*k**3/6 + 2*k**2. Is i(3) a multiple of 4?
False
Let z(x) = x**2 - x + 4. Let p = -13 + 9. Let q = -9 - p. Does 10 divide z(q)?
False
Let t = -6 - -11. Let j = 21 - t. Does 8 divide j?
True
Suppose 3*o - 5*o - 2*v - 46 = 0, -4*o + v - 67 = 0. Let d = o + 81. Is 21 a factor of d?
True
Suppose y = -4*j + 129, j = 5*j - 3*y - 109. Let b = j - 19. Is b even?
True
Suppose -5*u - 5*w = -220, -w = u - 2*u + 36. Is 10 a factor of u?
True
Let u be -3 + -2 + 6 - -1. Suppose -u = 2*o - 6. Is 2 a factor of o?
True
Let h(d) = 2*d**2 + 5*d - 7. Let k(x) = -4*x**2 - 11*x + 15. Let n(i) = 13*h(i) + 6*k(i). Is n(-2) a multiple of 4?
False
Let g(m) = m**2 - 8*m. Let u be g(8). Let c be -3*2/(-6) - -2. Let y = c - u. Does 2 divide y?
False
Suppose 4*h + 64 = 2*y, -h - 4*h = -4*y + 131. Is 17 a factor of y?
True
Let u(p) = p + 10. Let k be u(-7). Suppose 7 - 3 = -2*z, 216 = 3*m - k*z. Is 14 a factor of m?
True
Let b = -33 - -36. Let o = 3 - -8. Suppose -b*k + 10 = -o. Does 2 divide k?
False
Let p = 728 + -518. Does 15 divide p?
True
Let r(i) = -i**3 + 6*i**2 - 5*i - 2. Does 2 divide r(4)?
True
Suppose 0 = -3*l + l + 190. Is l a multiple of 16?
False
Suppose 3*l + 4*m - 437 = 0, 5*l = -2*m + 7*m + 670. Does 29 divide l?
False
Suppose -q - 36 = -118. Suppose 0 = 3*j + a - q, -3*a - 2*a - 6 = -j. Is 9 a factor of j?
False
Suppose 8 + 8 = 4*r. Does 31 divide 3 + 0/r - -113?
False
Does 14 divide (41 - 0)*(-1 + 2)?
False
Let f be (-3 + 1)/((-2)/5). Suppose 4*h + 1 = 3*n, -3*h + 7*h = n - 3. Let a = h + f. Is 4 a factor of a?
True
Let p be (-11)/44 + 61/4. Let a = 3 + p. Is a a multiple of 6?
True
Let j be (-1*4 + 0)/1. Is (-17)/2*8/j a multiple of 11?
False
Let f = 175 + -119. Does 22 divide f?
False
Let d = 45 - 25. Is 19 a factor of d?
False
Let m = 49 - 4. Is 9 a factor of m?
True
Suppose 0 = 5*l - 5*n - 35, -4*l - 2*n + 18 = -n. Let k(o) = o**3 + 0 + l*o + o**2 - 6*o**2 - 1. Is k(4) a multiple of 2?
False
Let y(o) = -o**2 + 5*o - 1. Let m be y(4). Suppose m*j - 58 = -4*s, -2*s - s = -3. Is j a multiple of 18?
True
Suppose 2*a - 338 = 2*n, 4*a - a = -5*n + 539. Is 12 a factor of a?
False
Let v(n) = -102*n + 1. Does 27 divide v(-1)?
False
Does 25 divide (-1)/((-7)/523) - (-14)/49?
True
Is 22 a factor of 19 + (6/3 - -1)?
True
Let j(l) = l**2 + 8*l + 1. Let x be j(-6). Let s(z) = z**3 + 11*z**2 - 5*z - 11. Is 15 a factor of s(x)?
False
Let k(g) = -g + 12. Is k(6) a multiple of 5?
False
Suppose 2*c - 8 = -2*c, 5*y - 4*c - 277 = 0. Suppose z + 4*z - y = -2*f, -60 = -2*f - 4*z. Is f a multiple of 18?
True
Let c(h) be the first derivative of -2*h**3/3 - 5*h**2/2 + 3*h + 4. Let q be c(4). Let b = 80 + q. Is b a multiple of 15?
False
Let c(d) = d - 2. Suppose 5*i = 15, 5*y - 2*i + 3 = -18. Let h(u) = 2. Let g(p) = y*h(p) - 4*c(p). Is g(-6) a multiple of 7?
False
Suppose 3*u - 6 = -0*u. Suppose -u*k + 144 = 2. Is k a multiple of 23?
False
Let c(w) = 3*w**3 + 0*w**3 + 0 + 3*w - 4*w**3 + 5*w**2 - 1. Is c(5) a multiple of 3?
False
Let p(l) be the second derivative of l**5/20 - l**4 + 2*l**3/3 - 2*l**2 + l. Is p(12) a multiple of 22?
True
Let d(g) = 12*g + 25. Does 9 divide d(5)?
False
Let y(b) = -b**3 + 10*b**2 + 15*b - 7. Let x be y(12). Let g = -68 - x. Does 24 divide g?
False
Is 3 a factor of (-6)/4*(-3 - 21/9)?
False
Suppose -2*l + 4 - 8 = 0. Is 27 a factor of (-3 + l)/(1/(-17))?
False
Let d be (-151)/((-3)/12*-4). Let x = -96 - d. Is 16 a factor of x?
False
Suppose 0 = 4*q + 286 - 1006. Suppose 5*x + 5*v - q = 0, x = -0*x + 4*v + 61. Let t = 72 - x. Does 11 divide t?
False
Let b = 379 - 214. Does 18 divide b?
False
Let r(d) = d**2 + 5*d + 5. Let k = 18 - 13. Is 15 a factor of r(k)?
False
Suppose -x + 2*x = 13. Let h = 0 - x. Let r = h - -29. Is 10 a factor of r?
False
Let c(s) = 2*s**2 + 10*s + 7. Let q be ((-3)/9)/(3/45). Is 4 a factor of c(q)?
False
Let q(p) = p**2 + 37 + 0*p + 0*p**3 - p + p**3 - 4. Is 14 a factor of q(0)?
False
Let q = 171 + -115. Does 7 divide q?
True
Let g = 4 - 1. Suppose -5*m + 68 - g = 2*i, -4*i = 4*m - 