6. Is l a multiple of 4?
True
Let t = 361 - 266. Is 5 a factor of t?
True
Suppose -4*k - t + 446 = -k, 2*t + 608 = 4*k. Is k a multiple of 10?
True
Let k be 2/8 + (-30)/(-8). Let u(a) = -4*a**3 + 3*a**2 + 6*a - 2. Let p be u(k). Let j = -91 - p. Is j a multiple of 19?
True
Let i(u) = 27*u - 6. Let h(z) = 41*z - 9. Let k(b) = -5*h(b) + 8*i(b). Is 35 a factor of k(10)?
False
Suppose 2*q + 6775 = 7*q - 5*p, 3*q - 5*p = 4057. Is 40 a factor of q?
False
Let f = 76 + -124. Is f/(-9)*(17 + 1) a multiple of 16?
True
Let x = -131 + 600. Is 67 a factor of x?
True
Suppose 0 = 3*u + 5*c - 105, -3*c - 165 = -5*u - 8*c. Suppose 4*g - 9*g = u. Is g + 3 + 5 - -4 a multiple of 5?
False
Suppose -2*z = -3*z + 3. Does 16 divide z*(70/15 - -1)?
False
Let z = -27 + 32. Suppose -4*q + 2*y + 86 = 0, 3*q + z*y = -q + 51. Is 14 a factor of q?
False
Let h(k) = -k - 9*k**2 - 15 + 0*k + 10*k**2. Does 9 divide h(7)?
True
Suppose 3*q - 6 = 15. Suppose -4*n + 478 = -2*p, -4*n + q*p = 3*p - 484. Is n a multiple of 13?
False
Let y(q) = -q**2 + 7*q. Let k be y(5). Let d = 13 - k. Suppose 5*t - d*v - 80 - 191 = 0, 2*v - 208 = -4*t. Does 21 divide t?
False
Let b(h) = 27*h**2 - 7*h + 6. Is b(4) a multiple of 10?
True
Suppose -60 = -32*a + 12*a. Suppose 5*s - 1000 = 2*m + a*m, 4*s - 3*m - 797 = 0. Does 10 divide s?
False
Suppose 0 = 9*i - 407 - 1708. Is i a multiple of 47?
True
Let m = 183 - -153. Is m a multiple of 24?
True
Let a(v) = v**3 + 5*v**2 + 4*v + 11. Let q be a(-5). Let i = q - -26. Is i a multiple of 7?
False
Let s(n) = -162*n + 70. Is s(-7) a multiple of 12?
False
Let f = -36 - -92. Suppose -213 = -t - f. Does 37 divide t?
False
Suppose -1028 = -5*a + a. Let d = -160 + a. Does 21 divide d?
False
Let l(x) be the second derivative of -2*x**3/3 + x**2 + 2*x. Let t be l(2). Let g(m) = -9*m + 11. Is 12 a factor of g(t)?
False
Let l be (13/2)/(3/30). Suppose 7 = -4*m - l. Let h = m + 25. Is h even?
False
Let w be -4 + 0 + 7 + 16. Suppose -w*f = -15*f - 56. Is 2 a factor of f?
True
Let h(r) be the second derivative of r**4/6 + 11*r**3/6 + 7*r**2/2 - r. Does 14 divide h(-10)?
False
Let v(a) = -4*a - 25. Let f be v(-9). Let n(r) = 2*r**2 - 15*r + 20. Does 11 divide n(f)?
False
Let k(l) = -272*l + 76. Is k(-7) a multiple of 15?
True
Let y = 1706 - -1588. Is y a multiple of 25?
False
Suppose 0 = -4*u + 2*u + 12. Suppose -3*z + u*n + 33 = n, 5*z + 2*n - 24 = 0. Does 26 divide z + -2 - (-2 + -20)?
True
Suppose 14 = r + 10. Suppose 3*q = b + 162, -5*b - 200 = -r*q + 5. Is q a multiple of 11?
True
Let q = -1531 - -2151. Does 32 divide q?
False
Let o(r) = 4*r - 9. Suppose a - 30 = -4*z - 4, -3*a - 3*z + 33 = 0. Is 2 a factor of o(a)?
False
Suppose 516*h - 9018 = 510*h. Is 13 a factor of h?
False
Suppose 4*t = -5*y + 226, -91 = -3*y - 2*t + 43. Is (-3717)/y*(-16)/6 a multiple of 59?
True
Let m = 12 - 9. Let j(v) = 11*v**3 - 3*v**2 + 4*v - 2. Let k be j(m). Is 10 a factor of (k/(-16))/(1/(-2))?
False
Let j = 430 + -36. Does 24 divide 9/54 - j/(-12)?
False
Let f(r) = 9*r**2 + 15*r - 1. Let o be f(-3). Is 6 a factor of (-170)/(-7) - 10/o?
True
Suppose -107*w + 110*w = 1860. Does 20 divide w?
True
Suppose 18*r = 17*r - 54. Let u = r - -121. Is 29 a factor of u?
False
Suppose 46*n - 50*n = -280. Let h be -1 - (-1 - 101) - 0. Suppose 3*o - h = n. Is o a multiple of 24?
False
Let c(d) = 2*d**3 - 40*d**2 + 33. Does 3 divide c(20)?
True
Let f(j) = -3*j + 33. Is f(-11) a multiple of 20?
False
Let x(k) = k**3 - 2*k**2 + 2. Let i be x(2). Suppose l = 34 + 23. Is 8 a factor of (-4)/(-24)*i*l?
False
Suppose -380 = 9*y - 10*y. Suppose -9 = -3*v, v - 5*v = -4*q + y. Is 23 a factor of q?
False
Let b(w) be the first derivative of 3*w**4/2 + 2*w**3/3 - w**2/2 + w - 3. Let z be b(2). Is 11 a factor of 6/(-10) - (-2728)/z?
False
Let w(m) = m**3 + 10*m**2 - 26*m - 22. Let s be w(-12). Suppose s*b + 3 = 3*n + 24, -15 = 5*n. Is b a multiple of 3?
True
Let i be 1786*(-2)/36 - (-4)/18. Is 24 a factor of (-40)/(-12)*(3 + i/(-3))?
True
Let n be 13*5*4/10. Let j = 21 + n. Is 10 a factor of j?
False
Let o = 14 - 12. Suppose -93 - 111 = -o*w. Is w a multiple of 51?
True
Suppose 12*g = 17*g - 25. Let k = 5 - 2. Suppose -g = -k*u + 145. Does 16 divide u?
False
Let i(r) = -r**3 + 7*r**2 - 6*r. Let c be i(6). Suppose c = -7*j + 532 + 238. Does 11 divide j?
True
Let z(x) = -x**3. Let l(i) = 3*i**3 - 15*i**2 - i + 5. Let b(w) = l(w) + 4*z(w). Let v be (-12)/(-8)*30/(-3). Does 5 divide b(v)?
True
Let g(r) = 36*r + 2 - 5*r**3 + 4*r**3 + 2*r**3 - 21 + 21*r**2. Is g(-19) a multiple of 3?
False
Let f = 46 + -33. Let t = -13 + f. Suppose t = 3*p - 50 - 82. Does 13 divide p?
False
Suppose 2*t - 110 - 867 = 3*r, -2*r + 1914 = 4*t. Is t a multiple of 13?
True
Let q = -154 - -107. Let b = q + 70. Does 8 divide b?
False
Suppose 0 = 2*q + 11 + 3. Let o(r) = -r**3 - r**2 + 10*r + 1. Let i(c) = c**3 - 11*c - 3. Let a(p) = 5*i(p) + 6*o(p). Is 2 a factor of a(q)?
False
Let q = 482 - 141. Suppose v - q = -2*b, -2*b + 331 = -v - 0*v. Is b a multiple of 21?
True
Let m = 368 + -258. Suppose 3*k - m = 304. Is 33 a factor of k?
False
Suppose -3*v = -5*v - 5*q - 11, 4*q = v + 12. Does 18 divide (-44)/(-2)*(-24)/v?
False
Let m(p) = 3*p**3 - 2*p + 3. Let o be 40/15 + 2/(-3). Let i be m(o). Suppose v + i = 4*y, -y - v = -3*y + 9. Does 7 divide y?
True
Let s(p) = -p**2 - 12*p + 27. Suppose -5*w - 68 = 4*v, 5*v - 2*v + w = -40. Is s(v) a multiple of 17?
False
Let z be 16/(-8)*10/4. Let h = z + 7. Suppose -m - m - 88 = -4*c, -2*c = h*m - 56. Does 12 divide c?
True
Suppose 24 = -4*n - 4*v, 5*n + 3*v - 11 + 37 = 0. Let j be n/14 - (-191)/7. Suppose 5*g + j = 3*m, -5*m = -m + 2*g - 62. Is m a multiple of 3?
False
Let z be 365/15*(4 + -1). Let s = -32 + z. Suppose -s = 2*f + 3*l - 133, f + 4*l = 46. Is f a multiple of 12?
False
Let m = 2215 - -2440. Is 20 a factor of m?
False
Let w(m) = m**3 + 149. Let z be w(0). Let v(c) = c**3 - 28*c**2 + 56*c - 28. Let p be v(26). Suppose 3*x - p - z = 0. Does 15 divide x?
True
Let x = 342 + -155. Let c = x + -70. Does 17 divide c?
False
Let h(m) = 2*m**2 - 9*m. Let x(z) = 2*z - 1. Let w be x(4). Is h(w) a multiple of 16?
False
Suppose -168 = 6*i - 756. Is i a multiple of 12?
False
Let o(f) = f**3 - 25*f**2 - 67*f - 76. Does 10 divide o(28)?
True
Let m(v) = -v**3 + 6*v - 6. Let k = -9 - -2. Let r(a) = -3*a**3 - a**2 + 18*a - 19. Let w(l) = k*m(l) + 2*r(l). Is 6 a factor of w(4)?
True
Let d = -16 + 23. Let q = d + 109. Is 30 a factor of q?
False
Suppose -4660 = -4*d + x + 3836, -4*x = -5*d + 10609. Is 25 a factor of d?
True
Suppose 96 = a - 176. Suppose 4*n + 328 = 2*w, -2*w + n + a + 53 = 0. Does 27 divide w?
True
Suppose -3*s + x + 7 = 0, -2*x + 6 = 2*s - 12. Suppose s*c + 5*h - 130 = 0, 2*c + 7*h - 62 = 6*h. Is 6 a factor of c?
True
Let d be 2/4 + (1446/4 - -3). Suppose 0 = 5*j - 995 + d. Does 18 divide j?
True
Let r be 1*-3*2/(-6)*53. Let u = r + 42. Does 19 divide u?
True
Suppose 0 = -2*u - 9 - 31. Let d be (0*(1 + -5)/4)/2. Let i = d - u. Is i a multiple of 4?
True
Let o(h) = 5*h**3 - 5*h**2 + h - 1. Let u be o(4). Suppose c + u - 45 = 0. Does 20 divide (-2)/((-2)/c*-3)?
False
Let o be 0/2 + 105 + -2. Suppose 21*m - 22*m = 44. Let q = o + m. Does 25 divide q?
False
Suppose -13 = -2*a + 2*v - 3, 4 = -4*a - 4*v. Suppose -152 = -a*j - 50. Is 13 a factor of j?
False
Let v = 32 + 8. Does 11 divide 1*(v + (2 - -1))?
False
Let w(o) = -o**3 + 26*o**2 - 22*o + 82. Is w(23) a multiple of 17?
False
Let g(i) = 9*i - 1. Suppose -5 = 6*f + 19. Let k be g(f). Let z = -26 - k. Does 3 divide z?
False
Suppose 3*w + 5*l - 3166 = 328, 5*l = -2*w + 2336. Is w a multiple of 9?
False
Let k = -1 - -5. Suppose -2*c = -k*q + 2*c - 8, -5*q + 3*c = 16. Let a = 24 - q. Is 14 a factor of a?
False
Is 79 a factor of (3859 - -11) + (5 - 4 - 0)?
True
Is (2/(-2))/(47/(-11891)) a multiple of 13?
False
Let s(p) = 138*p**2 - 13*p - 28. Does 23 divide s(-2)?
False
Let b(v) = v**3 - 17*v**2 + 7*v + 19. Suppose -2*o + 30 = -d, d - 69 = -5*o + 5*d. Does 46 divide b(o)?
True
Let k(h) = 81*h + 10. Does 24 divide k(7)?
False
Let i(g) = -20*g - 2. Let n be i(-4). Let r = n - -22. Is 5 a factor of r?
True
Suppose -2*r + 4 = -r. Suppose 2*i = -5*f + 208, 0*i + r*f = -2*i + 206. Let j = -55 + i. Is j a multiple of 11?
True
Let g(v) = -v**3 - 2*v**2 + 15*v 