6. Let t = 7 + b. Is t a multiple of 6?
False
Let a(l) = -1 - l**2 - 18*l + 5*l - 13. Does 16 divide a(-10)?
True
Let l(t) = t - 5. Is l(12) a multiple of 4?
False
Suppose k - 110 = -k. Let g = 1 + 4. Suppose -g*f + k = -0*f. Is 11 a factor of f?
True
Let v be (-12)/(-9) + (-6)/(-9). Suppose -u - 58 = -v*u. Is 15 a factor of u?
False
Suppose 695 = 4*j + 255. Let k = 7 + 21. Suppose -2*o = -w - 0*o + k, 5*w - 4*o = j. Is 11 a factor of w?
False
Let b(q) = q**3 - 3*q**2 + 2*q - 2. Let k be b(3). Let a(i) = i**3 - 4*i**2 + 4*i + 4. Is 10 a factor of a(k)?
True
Is 2 a factor of 6/48 + 118*10/32?
False
Suppose -4*g = -15 + 3. Suppose 24 = 2*y + 3*m, -y - 3*m = -17 + 2. Suppose -4*f - 66 + y = -3*x, -x - g*f = -6. Does 11 divide x?
False
Let j be -18 + (-2)/(-1) - -2. Let s be j/6*(11 - 2). Let f = -9 - s. Does 12 divide f?
True
Suppose 0 = 4*i - i - 3. Let u = i - -16. Is 17 a factor of u?
True
Does 19 divide 14/49 - (-880)/7?
False
Let g = -434 + 656. Does 6 divide g?
True
Suppose 2*q = b + 2*b - 10, 10 = -4*b - 2*q. Does 18 divide 3 - (b + 0 + -15)?
True
Let q be -35*(0 + (-4)/10). Let c(j) = -31*j + 9*j + 4*j + 1 - q*j. Is c(-1) a multiple of 15?
False
Suppose -2*r - 36 = 2*r. Does 4 divide (-34)/(-8) - r/(-36)?
True
Let b(z) = 2*z**2 - 9*z - 9. Let r be b(8). Suppose 2*k - 135 + r = 0. Does 22 divide k?
True
Suppose -5*i - 4*j = -0*i - 1808, -3*j + 366 = i. Suppose -4*k + 6*r = 2*r - i, 0 = -4*k - r + 350. Does 22 divide k?
True
Let w(r) = r - 9. Let u be w(12). Suppose 0 = -u*o + 12, 4*q - 3*o = 1 + 35. Does 11 divide q?
False
Let v be 22/5 + (-6)/15. Suppose 69 = 5*c - c - g, 52 = 2*c - v*g. Is c a multiple of 4?
True
Suppose -2*p - 32 = -4*p. Let v = -11 + p. Suppose u = v*u - 24. Is 6 a factor of u?
True
Let r be (-20)/4*(-42)/10. Suppose r = -4*v - 27. Is 12 a factor of 6*1*v/(-3)?
True
Suppose 4*c = -4*m - 0*m + 68, m - 73 = -5*c. Is 2 a factor of c?
True
Suppose 5*n - 55 = 40. Is 12 a factor of n?
False
Is (-6 + 36)*-8*1/(-2) a multiple of 6?
True
Let d = 3 - 3. Suppose -5*s = -5*g - d*g - 90, -3*g + 3 = 0. Does 12 divide s?
False
Let t = 11 - 7. Suppose t*r = 2*r + 84. Is ((-2)/(-3))/(4/r) a multiple of 7?
True
Let a be (-5)/15*-3*1. Does 3 divide a/(-2) - (-26)/4?
True
Let y(d) = -d**2 + 8*d - 9. Let k(n) = 0 + 0*n + n - 1. Let q(f) = 3*k(f) - y(f). Is q(4) even?
True
Suppose -2*b = -7 - 1. Suppose 16 = -4*c, 8*c = s + b*c - 32. Does 8 divide s?
True
Let f(t) = -2*t + 0 + 3 - 1. Suppose 0 = -6*r + 2*r + 2*g - 18, 3 = 4*r + 5*g. Is f(r) a multiple of 8?
True
Does 5 divide 2*6/4 - -2?
True
Let a(d) = -d**2 + 7*d - 2. Let l be a(6). Suppose -4*i + 5*g = i - 15, l*i - 9 = 5*g. Suppose -o - 60 = -i*o. Is 6 a factor of o?
True
Suppose 0 = 3*g + 3*q - 36, -2*g = -4*g - q + 20. Is 3 a factor of g?
False
Let r = -6 - -10. Suppose -r = -3*c + 2*c. Suppose -c*d + 3*u + 69 = 0, -5*u + 92 = 5*d - 3*u. Is 18 a factor of d?
True
Let l(p) = 2*p**2 - 2*p - 1. Let b be l(2). Suppose b*c = -c - 72. Is (-1)/2 + c/(-4) a multiple of 4?
True
Suppose 5 = a - 4*b - 6, -4*b = -4*a - 16. Is 10 a factor of (-1)/(-3) + (-177)/a?
True
Let a(n) = 4 + n + 0*n**2 - n**2 + 1. Let z be a(0). Suppose -z*h - 12 + 92 = 0. Is h a multiple of 8?
True
Let n(u) = u**3 + 9*u**2 - 6*u - 9. Let k be n(-9). Suppose -2*v + k = 3*v. Does 3 divide v?
True
Suppose 5*a = 4*u + 11, -u = -0*u - 1. Let x(m) = -4 + a + 10*m - 27*m. Does 7 divide x(-1)?
False
Suppose -5*m = -3*m. Suppose 0 = s - m*y + 4*y, 2*s - 6 = -2*y. Is s a multiple of 4?
True
Suppose -3*c - 15 = 2*c. Is 12 a factor of ((-11)/c)/((-2)/(-18))?
False
Let z(x) = 83*x**2 + 1. Let q be z(1). Suppose -16 = -5*t - 286. Let y = q + t. Is 15 a factor of y?
True
Let n = -26 + 162. Does 24 divide n?
False
Suppose 0 = 2*u + u - 30. Suppose -12*m = -u*m - 104. Does 12 divide m?
False
Let b be ((-3)/1)/((-6)/4). Suppose -b*c + 3*c - 5 = 0. Does 3 divide c?
False
Let o(t) = -t**2 - 5*t + 8. Let h be o(-6). Let j(c) = 0*c + h*c + 22 - 3*c. Does 12 divide j(10)?
True
Let j(o) = -o**2 - 12*o - 9. Let q be j(-11). Suppose 5*v = 4*b + 115, 0*b - q*b + 92 = 4*v. Is 12 a factor of v?
False
Let n = 1 + 13. Is (n/(-6))/((-1)/3) a multiple of 7?
True
Suppose -5*t = 2*d - 75, 5*t = d - 2*d + 75. Does 3 divide t?
True
Let b = -17 + 37. Is 10 a factor of b?
True
Let m be (1 - (-5 - -2))*3. Let x = -24 + m. Is (8/x)/(3/(-99)) a multiple of 6?
False
Let i = 4 - 2. Let h be i - (-56 + -3 + 3). Suppose -n + h = n. Does 15 divide n?
False
Let a be 6/(-21) - (-597)/7. Let x = -50 + a. Is 10 a factor of x?
False
Suppose 22 = -2*s + 46. Does 24 divide (s/(-9))/(2/(-120))?
False
Let h = -80 - -119. Is h a multiple of 20?
False
Suppose 3*x - 15 = -2*a, -3*a - 5 = -5*a - 5*x. Does 8 divide a?
False
Let r = 25 - 5. Suppose 0 = 5*b - 4*b - 5. Suppose 0 = 2*i - b*n - 8 - 39, r = i + n. Is i a multiple of 7?
True
Let c(j) = -35*j - 2. Is 9 a factor of c(-1)?
False
Suppose 4*d + 40 = 4*b, -3*b = -4*d + 2*d - 32. Let n = b + -9. Is n even?
False
Let m(w) = -10*w**2 - 21*w - 19. Let x(y) = -3*y**2 - 7*y - 6. Let b(l) = -2*m(l) + 7*x(l). Let a be b(-6). Is 11 a factor of a*(-3)/(-6) + 14?
False
Let w = 0 - 1. Let h be (-3)/(-3) + (-4)/w. Suppose 0*g - c + 50 = 5*g, -5*g - h*c + 30 = 0. Is g a multiple of 4?
False
Suppose -91 = 2*k - 13. Let c = k + 74. Is 19 a factor of c?
False
Suppose 5*n + 5*a = 120, a = 3*a - 10. Is n a multiple of 19?
True
Let v = -3 + 5. Suppose 4*q + 5*p = 126 + 66, -3*q = -v*p - 144. Is 16 a factor of q?
True
Suppose 4*v + 112 = 4*l, l - 84 = -2*l + 2*v. Is 28 a factor of l?
True
Does 2 divide 7 + 1 + 1 + 2?
False
Let i = 197 + -8. Is i a multiple of 27?
True
Let g(l) = l**3 - 7*l**2 + 4. Let y be g(7). Suppose 5*z + 9 = -3*c + 2, 4*c + 4*z = y. Is c a multiple of 6?
True
Let z = -7 + 11. Is z a multiple of 4?
True
Is 26 a factor of (3/((-30)/52))/((-9)/45)?
True
Let w(y) = -y**2 + 8*y - 5. Let d be w(7). Suppose -d + 15 = m. Is 13 a factor of m?
True
Let x(a) = 16*a - 36. Is 28 a factor of x(11)?
True
Let v = -72 - -105. Is v a multiple of 2?
False
Suppose 0*l = 3*l + 4*d - 20, -l - 5*d = -25. Is 12 a factor of (l + 3)*(4 - -11)?
False
Let b(v) = -v**2 - 3*v - 3. Let m be b(-3). Is 11 a factor of 102/9 + 1/m?
True
Suppose -36 + 1 = -5*d - 5*g, 0 = d - 5*g + 23. Suppose -5*z = 3*j - 21, 0 = d*j + 4*z - 7 - 7. Is j even?
False
Let v(p) = -2 + 6*p + 8 - 2 - 6. Is 15 a factor of v(8)?
False
Let d = -9 + 8. Let h(q) = -3*q**3 - 5*q**2 + 3*q + 3. Let o(p) = -9*p**3 - 14*p**2 + 8*p + 8. Let j(t) = -11*h(t) + 4*o(t). Is j(d) a multiple of 2?
True
Does 6 divide -2 + 1488/39 + (-8)/52?
True
Suppose 502 = -6*n + 1690. Is n a multiple of 21?
False
Is 1641/24 - (-6)/(-16) a multiple of 9?
False
Suppose 15*a - 66 = 14*a. Is 11 a factor of a?
True
Let r = 64 - -19. Suppose 4*l - 3*l = r. Suppose -33 = 5*p - l. Is 8 a factor of p?
False
Let g(v) = v - 1. Let d be g(1). Let b = d + 28. Does 14 divide b?
True
Is -4 - ((-124)/(-5))/((-3)/15) a multiple of 24?
True
Let w = 24 - 7. Let h be w/(0 + (-3)/(-30)). Suppose -2*c = -7*c + h. Is c a multiple of 12?
False
Let l(k) = k**2 + 8*k + 4. Let s be l(-8). Suppose 3*r + 0*r = -s*p + 179, 26 = p - 3*r. Is p a multiple of 12?
False
Suppose 8 = r - 4*s, -3*r - r + 18 = -2*s. Suppose -5*k + 205 = 5*l, 0*k + r*l = 3*k - 130. Is k a multiple of 14?
True
Does 17 divide 725/3 - (77/21 - 3)?
False
Suppose -3*r + 0*r = 3. Is 9 a factor of 4 + -1 - 51*r?
True
Does 13 divide 4/8 + (-945)/(-10)?
False
Suppose 3*g - 5*q - 10 = -4*q, -5*g + 13 = 2*q. Suppose -4*o - g = 17. Let p(f) = -f**3 - 3*f**2 + 4*f + 1. Does 13 divide p(o)?
False
Let b(y) = -2*y**3 - 2*y**2 - 2*y - 2. Suppose -3*g - 14 = -4*c, -6*g + g - 8 = c. Is 10 a factor of b(g)?
True
Let w(u) = -u**2 - 2*u + 27. Is 7 a factor of w(0)?
False
Let g be (5*-1)/(4/40). Let o = -2 - g. Does 25 divide o?
False
Let q be (-3)/2*(3 + -93). Suppose -2*p = -4*p + 3*s + 56, -5*p + 5*s = -q. Does 12 divide p?
False
Let k(u) = 2*u**2 + 4*u + 3. Let g = -10 + 6. Does 14 divide k(g)?
False
Let j = -7 - -5. Let t be 21/14 + (-1)/j. Is 3 a factor of ((-6)/(-15))/(t/20)?
False
Let o(r) be the first derivative of r**2/2 + 23*r - 5. Does 8 divide o(12)?
False
Let b(u) = u - 3. Let r be b(7). Suppose 48 + r = 2*f. Is 15 a factor of f?
False
Let i(h) = h**2 + 2*h + 2. Let w be i(-2