26. Is f a multiple of 8?
False
Let j be (-2)/4 - 27/(-6). Suppose 2*k - 8 = -j*q, -10 = -2*q + 4*k + 4. Does 8 divide q/((6/(-32))/(-1))?
True
Let u = 67 - 31. Let m = u + -13. Is 10 a factor of m?
False
Let b be -2*((-45)/6)/5. Suppose b*x - 255 = -2*x. Is x a multiple of 17?
True
Let n(b) = -b**2 + 10*b - 1. Let l(q) = 4 - 1 + q**2 + q + 2. Let m be l(0). Is n(m) a multiple of 12?
True
Let y be (-2)/(-4)*(-3 + 13). Suppose -8*w = -7*w - y. Does 4 divide w?
False
Let v = 191 + -57. Is v a multiple of 16?
False
Does 16 divide (-250)/(-4) + 8/(-16) + 3?
False
Let u = 24 - -55. Does 22 divide u?
False
Let h = 6 + 10. Is h a multiple of 13?
False
Let w(j) = 4*j**3 + j**2 - j. Let x be w(1). Let l(v) = -2 - 6*v + 6*v**2 - 1 - 3*v**2 + 6. Is l(x) a multiple of 7?
False
Let g = 24 + 14. Suppose -2*c + 0*c + y + 21 = 0, -c + g = 5*y. Is c a multiple of 4?
False
Suppose -3*g + 146 + 20 = 5*q, 3*q + 4*g - 104 = 0. Let c = 51 - q. Does 17 divide c?
False
Suppose -3*i + 8*i - 2840 = 0. Suppose i = 4*h + 76. Suppose 5*l + h = 4*o, 0*o - 2*o + 3*l + 63 = 0. Is 9 a factor of o?
True
Let h = 71 + -21. Is 25 a factor of h?
True
Let p(r) be the second derivative of 1/6*r**3 + 0 - 2*r + 9/2*r**2. Does 2 divide p(-5)?
True
Suppose 0 = -2*s - 0*s + 108. Does 10 divide s?
False
Let r be ((-2)/6)/(2/(-36)). Suppose -r*i + i - b = -196, -3*i = -4*b - 136. Does 22 divide i?
False
Let l = 31 + 101. Does 33 divide l?
True
Let a be 315/65 + 6/39. Suppose -3*s - 102 = -a*s. Is 12 a factor of s?
False
Let l(m) = -30*m - 17. Is l(-3) a multiple of 12?
False
Let f(k) = k**2 - 9*k - 2. Suppose -v - 3*v + 44 = 2*s, 4*v + s = 42. Is f(v) a multiple of 8?
True
Let n be (3 - -41)/(-3 - -2). Let f = 88 + n. Is 22 a factor of f?
True
Is 15 a factor of ((-200)/(-30))/(1 + 50/(-54))?
True
Let x(k) = -2*k + 1. Does 5 divide x(-7)?
True
Let j(h) = 2*h**2 + 12*h - 10. Let c(z) = z**2 + 6*z - 16. Let o be c(-7). Is j(o) a multiple of 13?
False
Let r(i) = -i**3 + 9*i**2 - 6*i - 6. Does 11 divide r(6)?
True
Let v(o) = -o**3 + 9*o**2 + o - 4. Let f be v(9). Let d be 1 + (-2)/1 + f. Suppose 0 = -2*h + 10, -5*h + 134 = d*w - 19. Is w a multiple of 16?
True
Let t(q) = -q**3 + 2*q**2 + 2*q + 1. Let p be t(3). Does 8 divide (3/p)/(-1)*6?
False
Suppose -r - 8*v + 23 = -4*v, 3*v = -2*r + 21. Suppose 4*j = r*j + 53. Is j a multiple of 19?
False
Let p = -40 - -60. Let i(o) = -2*o**2 + p*o**2 + 3*o - 3*o. Does 9 divide i(-1)?
True
Let v = -56 - -105. Is v a multiple of 13?
False
Suppose -f = 2, 5*f - 5 = -v - 4*v. Suppose a = v*a - 6. Suppose -5*b - 40 = -5*g, -b - 8 = a*b. Is g a multiple of 3?
True
Is 15 + 0 + 7/((-21)/(-9)) a multiple of 3?
True
Suppose 0 = 3*f - 4*t - 14, -3*f + 18 - 1 = -t. Does 3 divide f?
True
Let h(k) = -3*k - 1. Let l be h(-2). Suppose -5*a - 15 = -x, -52 - 3 = l*x + a. Let b(u) = -u + 12. Does 16 divide b(x)?
False
Let g = -37 + 69. Is g a multiple of 15?
False
Let m = 338 - 163. Is 33 a factor of m?
False
Let a be -1 + 1 - (2 - 3). Let t be a/(-2 + (-21)/(-9)). Is t - 2 - -1 - -30 a multiple of 16?
True
Is 3 a factor of -4 - (-1 - -3 - 9)?
True
Let s = 34 - 6. Does 14 divide s?
True
Let n be -51 - -1 - (-4 - -4). Let w = n + 99. Suppose -3*m + 23 = -w. Does 8 divide m?
True
Suppose -4*c = -214 - 402. Is c a multiple of 11?
True
Let r be (34/4)/(2/(-4)). Let p = -3 - r. Is p a multiple of 12?
False
Suppose 40 = 3*s + s. Is s a multiple of 4?
False
Suppose -240 = -4*y + 72. Does 26 divide y?
True
Let l = 4 + -8. Does 6 divide (-195)/(-10)*l/(-3)?
False
Suppose -c - 3 = -2*c. Suppose -12 = 2*h - c*h. Is h a multiple of 5?
False
Let r(w) = -w. Let g be r(0). Suppose 0 = -0*n + 2*n - 6. Suppose -u + 21 = c, -c + n*c - 8 = g. Is 7 a factor of u?
False
Suppose -4*c = -5*v + 4028, -812 = -v + 2*c + 2*c. Let n be 2/(-7) - v/(-21). Let x = n + -22. Is x a multiple of 8?
True
Suppose -5*l - j - 4 + 5 = 0, -11 = l + 3*j. Let o be 2/2 + l + 0. Is 9 a factor of (-2 + 0 - -18) + o?
True
Let o be 6/(-4) - (-3)/2. Let p = 9 + o. Is p a multiple of 4?
False
Suppose -2*i = -2*a + 32, -5*a - 2*i = -3*i - 72. Is 3 a factor of 102/a + (-4)/14?
False
Suppose 4*b = -2*t + 211 + 23, 5*t + 64 = b. Is b a multiple of 11?
False
Let k(s) = -s + 8. Let u be k(6). Let v(c) = -u*c - 3*c - 4 + 1. Is v(-2) a multiple of 3?
False
Does 22 divide 164*1 - -2 - (-9 - -8)?
False
Suppose 0 = k + 3*k - 60. Suppose -5*h = -u + 32, 11*h - 6*h - k = 0. Is 22 a factor of (u + -3)/(-1 + 3)?
True
Suppose -3*k = -2*k - 13. Suppose -5 = -z + k. Is z a multiple of 9?
True
Let q = 15 + -8. Let x(c) be the first derivative of c**3/3 - 5*c**2/2 + 6*c - 4. Is x(q) a multiple of 10?
True
Let t = 174 - 36. Is t a multiple of 46?
True
Suppose 5*k - 4*k - 46 = 0. Is 46 a factor of k?
True
Suppose -10 = 5*x, x = w - 3*x - 16. Let r = w - -4. Is r a multiple of 6?
True
Let q(l) = 4*l**2 - 3*l. Is q(3) a multiple of 9?
True
Let z be (-2 - -2) + -1 + 3. Is 13 a factor of (38 - z) + 2 + -3?
False
Let z(d) = 12*d - 2*d - 9*d + 1. Is z(7) a multiple of 2?
True
Suppose -4*d + 45 = d. Does 9 divide d?
True
Suppose 0 = -3*x + 5*x - 68. Suppose -4*q - 34 = x. Let z = 33 + q. Is z a multiple of 11?
False
Suppose -17*k = -20*k + 42. Is k a multiple of 6?
False
Let q = 23 - 13. Suppose -q = 2*y - 7*y. Suppose 31 = y*l + 3*g, 0*l - l + 5*g + 9 = 0. Does 12 divide l?
False
Is (-6)/4*-16*(-34)/(-4) a multiple of 12?
True
Let j be -5*(-3 + 36/15). Suppose b - 7 = -5*q, 3 - 26 = -b + j*q. Does 7 divide b?
False
Suppose 0 = -k + 86 - 26. Is 17 a factor of k?
False
Let d = 26 + -2. Let t = 74 - d. Is t a multiple of 15?
False
Let g be (1 + -3 + 1)*47. Let f = g - -78. Is 11 a factor of f?
False
Suppose 0 = p - 5*p + 192. Let x = p - 31. Is x a multiple of 11?
False
Let j = -3 - -61. Is j a multiple of 24?
False
Suppose -4*c = -7*c + 6. Suppose -n = -2*n - 2*r + 39, 4*n - 186 = c*r. Does 13 divide n?
False
Let h = -4 + 8. Let j be (78/h)/(2/(-4)). Does 9 divide j/(3*-1) - 2?
False
Suppose 0 = -5*l - 10 - 35. Let y = -4 - l. Is y a multiple of 2?
False
Let q = 8 + -5. Suppose -q*c = -0*c + 537. Is 12 a factor of c/(-5) + (-5)/(-25)?
True
Let o(f) = -f**2 + 8*f - 5. Suppose 0 = -2*l, -g + 2*l - 21 = 2*g. Let h be o(g). Does 19 divide ((-2)/4)/(1/h)?
False
Is 7 a factor of (-9)/(-54) - 683/(-6)?
False
Suppose -4*l + 196 = -3*n - n, 2*l - n - 99 = 0. Let y be -8*(l/(-1))/2. Suppose -30 = 5*z - y. Is z a multiple of 17?
True
Suppose 4*z + 4 = -k + 25, -2*k + 26 = 4*z. Suppose z*g + 60 = -4*c, 2*g + 22 = -2*c + 4*g. Let m = c - -22. Is m a multiple of 9?
True
Suppose 0*k = -4*k + 288. Suppose -5*s + k = -2*s. Is s a multiple of 7?
False
Let l(s) = -s**3 + 3*s - 20 + 4*s**2 + 0*s**2 + 17. Let m be l(5). Let f = m + 35. Is f a multiple of 20?
False
Suppose -16 = -2*t + 10. Suppose t = 4*f - 23. Is 6 a factor of f?
False
Suppose -12 = -o + 23. Does 13 divide o?
False
Let p(o) = 3*o + 89. Does 13 divide p(-8)?
True
Suppose 0 = 5*g - 15, l - g = -3*g - 100. Let q = 176 + l. Is 14 a factor of q?
True
Let a(d) = 3*d + 1. Let i be (-6)/(-27) - 35/(-45). Is a(i) a multiple of 2?
True
Let f(t) = -t**3 - 5*t**2 + 7*t + 6. Let s be f(-6). Suppose 2*k - v - 325 = -0*k, s = 5*k - 2*v - 810. Suppose k = -3*a + 7*a. Is a a multiple of 17?
False
Suppose 2*v - 38 = 70. Is 18 a factor of v?
True
Let o(r) = 13*r + 4. Does 18 divide o(7)?
False
Suppose -3 = -0*i - i, -5*c + 4*i = -278. Is c a multiple of 12?
False
Suppose -7*k + 276 = -3*k. Is k a multiple of 18?
False
Suppose -3*c = -99 - 126. Is 10 a factor of c?
False
Does 6 divide 9/((-18)/4) + 32?
True
Let m(f) = -10*f + 4. Let x(q) = -q - 1. Let i(t) = -m(t) - 2*x(t). Is 11 a factor of i(2)?
True
Let w be -1 - (-2 - 2/(-2)). Let l be (w + -3)/(1 + -2). Suppose 4*i - 2*s - 32 = 0, 0*i = l*i - 4*s - 34. Is i a multiple of 3?
True
Let c = 3 - 6. Let w = 8 + c. Suppose 2*g = -w*r - 60 + 250, 5*r = -4*g + 190. Is 13 a factor of r?
False
Suppose 5*z + 87 = h, 4*h + 2*z = h + 210. Is 6 a factor of h?
True
Suppose 5*x + 3*r + 38 = 0, 2*x + x + 3*r + 24 = 0. Let y = -5 - x. Suppose 0 = b + y*q + 3*q - 3, 4 = -4*q. Is b a multiple of 4?
True
Suppose 0 = 2*w + 6 - 16. Let g(h) = h**2 - 3*h - 4. Is g(w) a multiple of 6?
True
Suppose -4*k = -5*k + 4*q + 44, -3*k + 104 = -5*q. Is k a multiple of 4?
True
Suppose -3*t + 8*t - 494 =