a multiple of 8?
False
Let f(l) = 5*l**3 - 2*l**2 - 2*l + 2. Let m(y) = -y**3 + y**2 - 1. Let w(z) = f(z) + 4*m(z). Let r be w(-2). Is (-7)/(-1 + r + -2) a multiple of 6?
False
Let v(i) be the second derivative of 0 + 2*i + 5/3*i**3 - 2*i**2. Is 29 a factor of v(7)?
False
Let i(j) = -j + 7. Let o be i(7). Suppose c + 5 = -o. Let w = c + 17. Is w a multiple of 6?
True
Let o(f) = -f**2 + 13*f + 3. Is o(10) a multiple of 11?
True
Is (-14)/6*(258/(-6) + -2) a multiple of 30?
False
Let v(q) be the first derivative of -1 + 7/2*q**2 - 6*q - 5/3*q**3 + 1/4*q**4. Does 4 divide v(4)?
False
Let f(l) = 58*l**2 + l - 1. Let h be f(1). Is 8 a factor of 6/8 + h/8?
True
Let x(m) = 6*m + 1. Let b be x(2). Is 23 a factor of b*(-8)/(-4) + -3?
True
Let x = -4 - -2. Let s = 2 + x. Suppose s = -5*h + 3*j + 202, 3*h + 4*j = j + 126. Does 11 divide h?
False
Let y be 3 - 3 - 5/(-1). Suppose -y*j = -11 + 66. Let z = 20 + j. Does 9 divide z?
True
Let p(x) = 11*x - 3*x + 1 + 0. Let s be p(1). Let t = s + 3. Is t a multiple of 12?
True
Suppose -4*o + t + 4*t = -129, -o + 30 = -2*t. Let j = -23 + o. Let b = j - 9. Is b even?
True
Let v(t) = -2*t**3 + 15*t**2 + 7*t - 1. Is 11 a factor of v(7)?
False
Let j(b) = -7*b**3 - 2*b**2 + b. Let i be j(1). Let y be 4/i*(-19 - -1). Does 6 divide (1 + y)/(2/3)?
False
Let i(o) = -o + 10. Let g be i(4). Let q be (-600)/7 + 2/(-7). Is (-2)/6 - q/g a multiple of 14?
True
Let v be 181/4 - 2/8. Suppose 5*q + 70 = -v. Let b = 37 + q. Is b a multiple of 9?
False
Suppose 16*j = 14*j + 40. Is 10 a factor of j?
True
Let z(b) = -b**2 + 9*b - 11. Let j be z(8). Does 6 divide 18 + (j - -2)/1?
False
Let x(k) = k**3 - k**2 - 3*k + 4. Let o = -9 - -13. Is 20 a factor of x(o)?
True
Let f = 55 + 78. Is 6 a factor of f?
False
Let r be (-17)/(-5) - (-8)/(-20). Suppose 5*a - 4 = 2*k, -r*a + 6*k = 2*k + 6. Suppose -a*u = 2*d - 50, -d - 4*u + 12 = -28. Does 7 divide d?
False
Suppose b - 10 = -4*c, 2*b = -0*b - 5*c + 17. Let j be (-60 - 0)*2/(-5). Let p = j - b. Is 15 a factor of p?
False
Let q = -34 - -76. Is q a multiple of 10?
False
Let l be 71*(6 + (3 - 7)). Let k = l - 94. Is k a multiple of 16?
True
Suppose -6*q + 38 = -88. Is 7 a factor of q?
True
Suppose 4*i - 354 = f, -3*f - 168 = -2*i + 2*f. Is 10 a factor of i?
False
Let w = 64 + 181. Is w a multiple of 35?
True
Let v = 53 + -42. Does 11 divide v?
True
Suppose b + 2 = 0, 4*b = q - 22 + 5. Does 3 divide q?
True
Let j(n) = n**2 - 7*n + 6. Let o be j(4). Let i = o - -14. Let z = i - 3. Is 5 a factor of z?
True
Let g = 11 - 7. Let n(x) = 6*x + 4. Is 17 a factor of n(g)?
False
Suppose -2 = -5*i + 28. Suppose -3*j - 4 = 2. Is ((-3)/j)/(i/280) a multiple of 26?
False
Let w(n) = n + 2. Let f be w(-3). Is (1 - -21) + -1 + f a multiple of 20?
True
Let c = 169 - 69. Is c a multiple of 20?
True
Let m = -8 - -11. Does 4 divide (-72)/(-4) - (m + -1)?
True
Suppose 5*j - 12 = x, 5*x + j + 4*j = 0. Let w be (x/(-3))/((-2)/12). Is w*(-6 + (1 - -1)) a multiple of 8?
True
Let f(w) = 105*w**3 + w**2 - 3*w + 2. Does 21 divide f(1)?
True
Let z(d) = d - 1. Let g be z(5). Suppose -u + g*t + 82 = 2*t, 0 = -5*t - 25. Is u a multiple of 12?
True
Let b(h) = 2*h + 2. Let y be b(-2). Let w = -2 - y. Suppose 2*u = -w*u + 24. Is 12 a factor of u?
True
Let j be (-1)/((-60)/63 + 1). Let c be (2 + j/6)*-4. Suppose w = c*w - 115. Is w a multiple of 11?
False
Suppose 3*h = 4*k + 28, 3*h + 2*h = -k + 16. Let x be (1 - (h + -1))*-1. Is 3 a factor of x/(-4) - 15/(-2)?
False
Suppose -48 = -5*k - 13. Does 5 divide k?
False
Let b(v) be the second derivative of 43*v**5/10 + v**4/12 - v**3/3 + v**2/2 + v. Let o be b(1). Let k = o - 52. Is 17 a factor of k?
True
Suppose 3*i - 9 = 3. Suppose 0 = -2*f - q + 10, -5*f = -i*f - 4*q - 14. Is f even?
True
Let f(l) = 3*l - 4. Let z be f(-2). Does 5 divide (-13)/(-3) + z/(-15)?
True
Let h(n) be the second derivative of -5*n**3/3 - 2*n**2 + 3*n. Let u be h(-7). Suppose 5*q + 23 = -d + u, -5*q - 11 = -2*d. Is 9 a factor of d?
True
Let q = 6 - 12. Let c = q - -9. Does 2 divide c?
False
Suppose -4*p - 3*j = -0*p - 40, -8 = 2*j. Let f(w) = -p*w + w + 0*w - 1. Is f(-1) a multiple of 6?
False
Let y(r) = -21*r - 9. Let i(t) = 31*t + 14. Let g(j) = 5*i(j) + 7*y(j). Does 21 divide g(7)?
True
Suppose 12 + 14 = v + 2*n, -n + 52 = 2*v. Suppose v = s - 2. Suppose 3*l = 4*l - s. Is l a multiple of 20?
False
Let r(l) = -2*l - 6. Let t be r(-8). Let o = t - 8. Suppose -34 = -o*z - 12. Does 6 divide z?
False
Suppose f - 5 = -0*f. Suppose 2*q = f*v - 22, 0 = v + q - 5*q + 10. Does 6 divide v?
True
Let i be 2/4 - (-6)/4. Suppose -l - 4 = -0*p - 3*p, i*l + 8 = 0. Suppose o - 2*o + 2 = p. Does 2 divide o?
True
Suppose 0 = -2*n - 6*i + 4*i + 160, 0 = -n - 3*i + 90. Is 25 a factor of n?
True
Suppose 0*q = 3*q - 15. Let z = q + 7. Is 12 a factor of z?
True
Let b(d) = -d**2 + d + 3. Let o be b(0). Suppose o*l - l + j = 94, 2 = -j. Suppose l = i - 4*p + 3*p, -3*i + 143 = -4*p. Is 17 a factor of i?
False
Let z = -34 - -79. Let l = z - 5. Suppose -l = -3*t - t. Is 7 a factor of t?
False
Let m = 223 + -127. Is m a multiple of 12?
True
Does 18 divide ((-366)/(-5 - -2))/2?
False
Suppose 5*b = -0*x + 2*x + 4, x + 4*b = 11. Suppose 5*q + 65 = 5*y, 80 - 17 = x*y + 5*q. Is 16 a factor of y?
True
Let t(h) = -h**2 - 5*h - 6. Let l be t(-6). Let r = 19 + l. Does 7 divide r?
True
Suppose 0 = -3*b + 3*n - 9, 4 = -b - n + 3*n. Let t be -2*(-3 - 2/b). Suppose 5*k = t*x + 9, -4*k + k + 2*x = -7. Is k a multiple of 2?
False
Let a(y) be the third derivative of -13*y**4/24 - y**3/2 + 6*y**2. Is 18 a factor of a(-3)?
True
Suppose 2*b = 10 + 126. Is b a multiple of 22?
False
Let y = -25 + 51. Does 13 divide y?
True
Suppose -8*n + 12 = -4*n. Suppose 12 = n*z - 3*a, -4*a - 12 = -4. Does 2 divide z?
True
Let u be 1*5/(5/(-4)). Let w = 9 + u. Is w a multiple of 4?
False
Let s = -2 - -6. Suppose 0 - s = -r. Is 3 a factor of r?
False
Suppose -3*n - 2*y = -4*y + 167, 0 = -2*n - y - 116. Let f = n + 89. Is f a multiple of 12?
False
Let v = -4 + 5. Does 9 divide (v - (-28)/(-6))*-3?
False
Suppose 585 = l + 2*l. Suppose 5*c = -6*v + v + l, -c - 66 = -2*v. Does 17 divide v?
False
Suppose 2*x - 21 = -b, -2*x + 5*x - 39 = -2*b. Does 9 divide b?
False
Is 2 a factor of (-28)/(-3) - (-5)/(-15)?
False
Let u be (-8 + 0 + 2)*-1. Suppose -u = -3*v + t + 31, 3*t - 15 = 0. Is v a multiple of 3?
False
Let k(x) = 3*x**3 + 2*x**2 - 3*x + 2. Is k(2) a multiple of 8?
False
Let t = -9 + 8. Let m(l) = -4*l**2 - 2*l - 2. Let o(v) = -v**2 + v + 1. Let z(h) = t*m(h) + 5*o(h). Does 11 divide z(6)?
False
Let c be -5 + 3 + -1 - 40. Let n = 80 + c. Is 19 a factor of n?
False
Suppose -5*w + 4 = -4*j + 5*j, 0 = 4*w. Is j a multiple of 2?
True
Suppose 2*p = -o - 2*o + 171, 3*p + 3*o - 255 = 0. Suppose 4*w = -4, 4*w = -5*i + i + p. Does 9 divide i?
False
Let t = -59 - -119. Does 12 divide t?
True
Suppose p = 6*p + 30. Let h = 10 + p. Is 2 a factor of h?
True
Suppose 27*q - 26*q = 10. Let a(s) = -16*s + 9. Let c(y) = 3*y - 2. Let k(j) = 6*a(j) + 33*c(j). Is 8 a factor of k(q)?
False
Let m(r) = -r**2 - r - 4. Let x be m(-3). Is 8 a factor of ((-24)/x)/((-15)/(-100))?
True
Suppose -4*d + 36 = -3*o - 75, 3*d - 114 = 3*o. Let j = 109 + o. Is j a multiple of 17?
True
Suppose d + 10 = 5*s - 8, 2*d = -s + 8. Suppose 4*u = 4 + s. Suppose u*c - 18 - 8 = -t, -4*t = 2*c - 26. Is c a multiple of 5?
False
Let j = 53 + 6. Is j a multiple of 11?
False
Let h(z) = z**2 + z. Let p(k) = 4*k**2 + 4*k - 2. Let m(l) = -6*h(l) + 2*p(l). Let b(v) = -v**2 - 3*v + 6. Let q be b(-5). Is m(q) a multiple of 10?
True
Let u = 228 + -98. Does 33 divide u?
False
Suppose -3*u - s = 30, s = u - 4*s + 26. Is (-1 - u) + -2*1 a multiple of 2?
True
Let l(u) = u**3 + u**2 - u + 2. Let t be l(0). Suppose -3*d - 2*d = -4*h - 288, t*d + 2*h = 108. Does 28 divide d?
True
Suppose 9 = l - 0*l - 2*u, -2*l = u - 3. Is l/(0 + (-2)/(-6)) a multiple of 9?
True
Suppose 11*n - 2262 = 367. Is n a multiple of 23?
False
Suppose -l = -4*y - 27, -2*l - 4*y + 2 = -4. Let r be l/(-2)*(-21 - -1). Suppose -r = -5*k - 5*m, -21 = 4*k + 3*m - 113. Is 13 a factor of k?
True
Let w = 1 + 5. Let x = w + -11. Let t = x + 9. Does 4 divide t?
True
Let g(w) = 1 + 2*w**2 - 3*w + 2 - 1. Let u be g(2). Suppose 0*y - 8 = -u*y. Is y even?
True
Let f(z) be the seco