 6. Let s be u(-6). Suppose s = -4*y + 20, k - 4*y = -y + 23. Let r = 72 - k. Is r a multiple of 15?
False
Let x(y) = -y + 0*y + y**2 + 7 + 0*y**2. Suppose -9 = -c + o, o = -4*o - 20. Does 11 divide x(c)?
False
Let i be (-3)/((-3)/(12/(-4))). Let n(a) = -5*a - 4. Let f be n(5). Is f*(-1 - i)/(-2) a multiple of 11?
False
Let i(f) = -f**3 - 7*f**2 - 9*f - 21. Does 7 divide i(-7)?
True
Let d be (-4)/(-6) - 24/(-18). Suppose -24 = -d*t + 2*q, -5*t + 5*q - 2*q + 52 = 0. Is 8 a factor of t?
True
Let y be (12/(-8))/(2/(-4)). Let r = 1 - y. Is (-69)/r*(-2)/(-3) a multiple of 9?
False
Let t = -52 - -84. Does 19 divide t?
False
Let h = 89 - 32. Is h a multiple of 11?
False
Let q(m) = 0*m - 5 + 3 - 6*m. Let u be q(-2). Let z(x) = 2*x - 3. Is 13 a factor of z(u)?
False
Let l = -164 - -255. Is 13 a factor of l?
True
Let q(w) = 5*w**2 + 4*w + 3. Let s = 4 - 6. Is 6 a factor of q(s)?
False
Let n = 6 + -6. Suppose n*h = -4*g - h + 89, 0 = -4*h - 12. Is g a multiple of 7?
False
Suppose 3*m = 6*m - 159. Let r = 95 - m. Is r a multiple of 14?
True
Let o(p) = -4 + 1 - p**2 - 5 - 13*p. Does 7 divide o(-11)?
True
Let z = -80 + 212. Suppose -w = -5*w + z. Does 10 divide w?
False
Let s(n) = n**3 + 11*n**2 - n + 14. Does 25 divide s(-11)?
True
Suppose 2*u = u. Suppose u*c + c - h = 39, 5*h - 120 = -4*c. Is c a multiple of 14?
False
Suppose 0 = -3*x - 1 - 2. Let a be 51*12/9 - x. Suppose -a = -5*m + 91. Is m a multiple of 16?
True
Let u(y) = -y**2 - 8*y - 1. Let t be 3 + (-5 - -1) + -6. Is 3 a factor of u(t)?
True
Let b(g) be the second derivative of g**5/20 + g**4/12 + g**2/2 - 3*g. Let k be b(-2). Let y(z) = -z**3 - 2*z**2 - z - 1. Does 4 divide y(k)?
False
Let n be (-1 - 9)*10/20. Let f be 1*-12*4/(-3). Let s = f + n. Is s a multiple of 11?
True
Let o(x) = 2*x**3 - 7*x**2 + 5*x + 6. Let s be o(5). Suppose -s = -2*l - 4*b, 2*b = -4*l + 4*b + 202. Is 17 a factor of l?
True
Does 14 divide (-80)/(-15)*(-63)/(-12)?
True
Let h(u) = -u + 4. Let a be h(3). Does 8 divide 13*(-2 + a)*-1?
False
Suppose 67 = 2*w - 5*x, 2*w + 17 - 87 = 2*x. Is w even?
True
Let j(m) = 2*m - 10. Let b = -9 + 16. Let v be j(b). Suppose 0 = -4*t - 3*k - 2*k + 33, -4*t + 32 = v*k. Does 7 divide t?
True
Suppose 0 = 2*y - 4*h - 62, 3*h = 5*y + 5*h - 191. Does 31 divide y?
False
Suppose -8*m + 3*m + 360 = 0. Is m a multiple of 12?
True
Is -122*(3 + ((-21)/(-2))/(-3)) a multiple of 45?
False
Let p = -10 + 14. Suppose -p*d - 4*l - 92 = 0, 3*l + 8 = -2*d - 39. Let x = d + 37. Does 4 divide x?
False
Suppose 3*z + 3*c - 9 = 0, -5*z + 3*z - 3*c + 6 = 0. Suppose 116 = z*m + 4*u, u + 0*u - 5 = 0. Does 16 divide m?
True
Suppose 3*w - 215 = 61. Suppose 0*g = 4*g - w. Is g a multiple of 7?
False
Is 18 a factor of (0 - 1)/(6 - 7026/1170)?
False
Let a(m) = m**3 - 11*m**2 + 11*m - 6. Let g be a(10). Let l be -1 - 18 - (6 - g). Let c = 34 + l. Does 7 divide c?
False
Let x(d) = 10*d - 14. Is x(10) a multiple of 26?
False
Suppose 3*h - 261 - 176 = -2*z, -5*h - z + 740 = 0. Suppose 4*a - 3*f - h = -a, 4*a - 130 = -3*f. Is a a multiple of 9?
False
Let o(x) = 2*x**2 - x - 1. Let t be o(-3). Let y = t + -14. Does 2 divide y?
True
Suppose 0 = -2*s + 31 + 21. Does 26 divide s?
True
Let l = 54 + -19. Is 7 a factor of l?
True
Suppose 0 = n - 15 - 0. Let g = -21 + n. Does 17 divide 218/6 - 4/g?
False
Suppose 0 = -5*a + 3*a + 6. Suppose -a*g + 8*g = 105. Is g a multiple of 7?
True
Is 24 a factor of ((-2)/8*-4 + -3)*-48?
True
Let k(u) = -9*u**2 - u - 1. Let i be k(2). Let b = -11 - i. Does 11 divide b?
False
Let l(s) = -2*s - 1. Let v be l(2). Let c(p) = p**3 + 5*p**2 - 5*p + 3. Is 14 a factor of c(v)?
True
Suppose 20 = -4*h - h. Let l = -4 - h. Let r = 7 - l. Does 7 divide r?
True
Let d(w) = w**2 - 10*w + 12. Let o(i) = 4 + 13 + i - 5*i + 3*i. Let a be o(8). Is d(a) a multiple of 2?
False
Suppose 2 = w - 0*w. Suppose -w*c + 20 = -4*k - 0*k, 0 = 3*c - 4*k - 22. Suppose c*a - 8 = 10. Is a a multiple of 5?
False
Suppose -40 = 5*c - 0. Let d = c + 15. Is d a multiple of 3?
False
Let t = -371 + 531. Suppose 0 = b + 4*b + 560. Let q = t + b. Is q a multiple of 18?
False
Suppose 3*y - 9 = -0*y. Suppose -3*t + 20 = -g - 0*g, -4*g - 35 = -y*t. Suppose 1 = t*z - 2*q - 35, 4*q + 16 = 3*z. Is z a multiple of 3?
False
Let l be -19 + ((-3)/(-3))/(-1). Let m(g) = 3*g**2 - g - 2. Let b be m(4). Let k = l + b. Does 8 divide k?
False
Let j(f) be the second derivative of f**4/12 + f**2/2 - 2*f. Let a be j(-1). Is 1 - ((-18)/a - 1) a multiple of 7?
False
Let v be (-9)/(-15) - 2/(-5). Let b be (-244)/(-6) + 24/(-36). Does 14 divide 16/b*125*v?
False
Let f be (-1)/((-3)/(0 - -27)). Let y = 69 - f. Suppose -6*b = -b - 5*a - y, 0 = 4*b + 5*a - 57. Does 13 divide b?
True
Let m be (2/5)/((-1)/25). Let j = m + 15. Suppose -4 = j*i - 14. Is i a multiple of 2?
True
Let f(b) = 3*b**2 + 3*b - 1. Let k be f(2). Suppose -4 = -2*n + 3*l + k, -2*n - l + 25 = 0. Is n a multiple of 12?
True
Let m(p) = p**2 - 7*p - 3. Let i be m(-5). Suppose 4*o - a - 10 = i, 5*o - 4*a = 81. Let x = o - -1. Is 18 a factor of x?
True
Let j be (-1)/1 + (-14)/1. Let z be 6/j + 13/(-5). Is 21 a factor of (2 + 0)/(z/(-63))?
True
Let m(p) = p**2 - 2*p + 6. Does 9 divide m(-3)?
False
Let k(i) = i**2 + i - 8. Suppose -h = 3*a + 17, 0*h = 4*h + a + 46. Does 21 divide k(h)?
False
Let t be (12/15)/((-2)/(-15)). Let i = t + 6. Does 10 divide i?
False
Let o(a) = a + 54. Is 6 a factor of o(-6)?
True
Suppose 7 = -g + 3. Let q = 14 - g. Is 9 a factor of q?
True
Let h = -12 + -1. Let r = -7 - h. Does 4 divide r?
False
Suppose 0 = -0*k - 5*k + 15. Suppose 0 = q - k*q + 76. Suppose 16 = 2*m - q. Does 9 divide m?
True
Suppose 2*h + 0 = 3*n - 51, n - 3 = -4*h. Does 15 divide n?
True
Let t(b) = b**3 + 5*b**2 - 4*b - 8. Let q(l) = 2*l**3 + 10*l**2 - 7*l - 16. Let z(m) = -6*q(m) + 13*t(m). Let j be z(-6). Let s = j + 20. Does 16 divide s?
False
Is 17 a factor of 44/286 - 219/(-13)?
True
Suppose -2*n + 14 = -0*n. Suppose 1 = w, -3*k - 26 = -n*k + 2*w. Suppose -v + 32 = 2*t - k*t, 0 = -2*v - t + 64. Does 16 divide v?
True
Let o(f) be the second derivative of -f**5/20 - 5*f**4/12 - f**3/2 - f**2/2 - 3*f. Let y be o(-3). Is (y/8)/((-2)/8) a multiple of 2?
False
Let j be (-4)/(-14) + (-108)/(-14). Let m = j + -4. Suppose -w - 90 = -m*w. Does 14 divide w?
False
Let r be 20/(-6)*(-9)/6. Suppose 106 = -2*s + 5*s - 2*l, 0 = r*s - l - 186. Is s a multiple of 19?
True
Let a = -287 + 684. Is 57 a factor of a?
False
Suppose -460 = -5*j - 10. Is 15 a factor of j?
True
Let t(m) = -m**3 - 7*m**2 + 6*m + 1. Suppose 0 = -2*d - 5*s - 26, 3*s - 2*s - 22 = 3*d. Is 9 a factor of t(d)?
False
Suppose 324 = 5*n + 2*a, 78 = 2*n - 2*a - 60. Is 11 a factor of n?
True
Let k(v) = 7*v**3 - v**2 + 5*v - 3. Is 10 a factor of k(2)?
False
Let f = 39 + -23. Suppose 0 = q + q + f. Let c = 20 + q. Is 9 a factor of c?
False
Let t(a) be the third derivative of a**4/6 + a**3/2 - 4*a**2. Suppose -3*f + 15 = 2*f. Does 6 divide t(f)?
False
Let a(y) = 3*y**2 + 0*y**2 - y**2. Let t be a(-2). Suppose 64 = -4*i + t*i. Is i a multiple of 8?
True
Let g be 1/3*(-18)/(-2). Is 1926/27 + 2/g a multiple of 18?
True
Suppose 0*o + 5*o + 40 = 0. Suppose 2*u = 4*x + x + 19, 2*u - 7 = x. Is u/o + (-41)/(-4) a multiple of 5?
True
Let i(r) = r**2 + 4*r - 1. Is 29 a factor of i(-14)?
False
Suppose 0 = -p - 5 + 4. Let b(s) = 2*s**2 - 4*s**3 - 3*s**2 - s**3. Is b(p) a multiple of 2?
True
Suppose 0 = -2*b - 0*v - 4*v + 506, -2*b + 510 = 2*v. Is 28 a factor of b?
False
Suppose -4*v + 2*v = -4. Suppose v*r = 3*z + r - 9, z = -r + 7. Suppose -3*y + w = -20 + 3, z*y = -5*w + 10. Is y even?
False
Let d(s) = -s**3 + 3*s**2 + 4*s - 2. Let q be d(3). Suppose -q = -4*o + 2*g, -o + 2*o + 2*g - 10 = 0. Is 4 a factor of -3 + 4 + o + -1?
True
Suppose 0 = -3*g + 4*g. Suppose 3*h = -g + 36. Is 4 a factor of h?
True
Let g(j) = j**2 + 101. Let s be g(0). Suppose 15 + 0 = 3*n, -3*d + s = -5*n. Is d a multiple of 14?
True
Let t(l) = l**3 + 8*l**2 + 5*l - 6. Suppose -3*k + 2 + 4 = 0. Suppose k*d = 5*w + 29, -w + 3*d = 5*d + 13. Is 5 a factor of t(w)?
False
Let h be 4/((-4 + 2)/(-2)). Suppose p - c - 4*c = -15, -h*p + 35 = -c. Suppose -4*g = -5*a + 44, p = 3*a - 5*g - 19. Does 8 divide a?
True
Let g be 40/7 + (-8)/(-28). Let n(m) = m**3 - 7*m**2 + 7*m - 5. Let z be n(6). Is 4 a factor of