*b - 2. Is f(k) a multiple of 4?
True
Suppose -54*l = -49*l + 25, 0 = 4*g - l - 125633. Does 98 divide g?
False
Let v be (-3)/(-5 + 2) - -2. Suppose 2*q + 0*l + 104 = l, -5*q + v*l = 258. Is (-1124)/(-10) + q/(-90) a multiple of 22?
False
Let r = -172 + 170. Is 5 a factor of (-3)/r*15*(-4)/(-18)?
True
Suppose 5*l - 136 = -2*d, -2*d + 128 = -4*l + 7*l. Suppose -5*t = -d*m + 63*m - 3125, -3*m + 1863 = -3*t. Is m a multiple of 7?
True
Suppose 104 = 13*k, 2*n + n - 4*k - 56626 = 0. Does 7 divide n?
True
Suppose -2*k + 35 - 43 = 0. Is 15 a factor of 10*(-2)/k + 110/2?
True
Suppose 2*l - 3*k - 6387 = 0, -4*l - 4137 = -2*k - 16907. Is 84 a factor of l?
True
Let w(d) be the first derivative of -11*d**2/2 - 125*d - 35. Does 8 divide w(-24)?
False
Suppose 0 = -3*n + 15, -3*r + 0*n = n - 17. Suppose 0*j = t + 5*j - 27, -t + 7 = j. Suppose -390 = -r*s - t*f + 96, 0 = 3*s + f - 363. Is 15 a factor of s?
True
Let f = 48 - 46. Let j be f + (-817)/4*(6 - 10). Suppose -5*p = 4*p - j. Is 19 a factor of p?
False
Let s be 10/(-35) - (-824)/(-7). Let u(l) = 186*l**2 - 82*l + 83. Let y be u(1). Let o = s + y. Is 23 a factor of o?
True
Let g = -27 + 29. Let h(t) = 5*t**2 + 0*t**g + 13 + 8*t - 3*t**2. Is 19 a factor of h(-8)?
False
Is 12 a factor of (1 + (-242)/(-4))*25440/720?
False
Suppose -4*s = 8, 3*o + 2*s = 5*s + 1194. Suppose -16*j + 3180 - o = 0. Does 58 divide j?
True
Is 16 a factor of (-13)/((-52)/223816) + -2 + 12?
False
Let l(u) = -3*u**3 - 2*u**2 + 6*u - 4. Suppose 7*m + 9 = 4*m. Let a be l(m). Suppose -a - 10 = -3*v. Is v a multiple of 15?
False
Suppose -147 = -0*g - 5*g - 2*s, -163 = -5*g + 2*s. Let z = -29 + g. Is (150/9)/(z/6) a multiple of 50?
True
Suppose 63944 + 52294 = 144*p - 275154. Is 14 a factor of p?
False
Suppose -8*k - 11*k = 0. Suppose 4*v - 5*v = -4*o + 3056, k = 5*o - 5*v - 3805. Is 51 a factor of o?
True
Let s = -5923 + 9439. Is 6 a factor of s?
True
Suppose 2*i + 3 = 5, 3*i - 1355 = -z. Suppose -a = 4, 3*y - 8*y + z = 2*a. Is 8 a factor of y?
True
Let l(q) = -q**3 + 8*q**2 + 3*q + 6. Let x be (-2 - 0)*5/((-50)/55). Suppose 2*m - x = 2*n - 31, -3*n = -m - 20. Does 24 divide l(n)?
True
Suppose -13*t = -14*t - 240. Let c = 493 + t. Does 23 divide c?
True
Suppose -5*j = -4*m - 3204, -5*m = 86*j - 89*j + 1925. Does 4 divide j?
True
Does 15 divide (-2 - -4)/((-1)/(-90))?
True
Let r be (24/(-10))/((-2)/45). Suppose 0 = a - 5*q + 71, 5*a + 0*a = q - 235. Let k = r + a. Is k a multiple of 5?
False
Suppose 0 = 5*f + 2*w - 83, -29 = -f + 3*w - 9. Suppose -f*x - 1512 = -6306. Is 47 a factor of x?
True
Suppose -7*t - 152 = -3*t. Let o = t + 42. Suppose 3*u - 41 = -3*w + o, -15 = -3*u. Does 10 divide w?
True
Let f = -116 + 117. Is 5 a factor of f/(-3) + (-1737)/(-27)?
False
Suppose -5*q = -0*q. Let a be ((-93)/(-33) - q) + (-4)/(-22). Suppose -5*t + 32 = n, 8*t - a*t - 26 = 2*n. Does 3 divide t?
True
Let l(t) = -15 - 2445*t - t**3 + 53 + 2435*t - 8*t**2. Is l(-10) a multiple of 26?
True
Does 9 divide (2 + ((-415)/10 - 1))/((-5)/920)?
True
Let w(j) = -j**3 + 4*j**2 + 58*j - 28. Let k be w(10). Suppose 0*g = 5*o + 3*g + 477, -386 = 4*o - 2*g. Let s = k - o. Is 8 a factor of s?
True
Let n = 1279 - 1275. Let s be 25/1 + (-7 - -6). Suppose -2*d = -h - n*h - 30, 0 = 2*d - 2*h - s. Is d a multiple of 5?
True
Suppose 0 = -3*z + 5*m + 23294, 0 = 16*z - 12*z - 2*m - 31026. Is 6 a factor of z?
False
Suppose 4*u = 3*u + 4, -5*m + 1851 = -u. Suppose -5*s + 10425 = 5*j, 3*j + 0*j + 10393 = 5*s. Suppose -10*o - m = -s. Is o a multiple of 19?
True
Let i = -8938 + 17557. Is i a multiple of 37?
False
Suppose -2*m + 20 = b - 0, 0 = -4*m + 2*b + 48. Let y be (-2)/(1 + -3)*m. Suppose 69 = -8*n + y*n. Is n a multiple of 4?
False
Let q be -3 + 0 + 4 + 1 - -1. Suppose f + 3*f + 12 = 4*y, 0 = -q*y + f + 11. Suppose 8*z - y*z = 1220. Is z a multiple of 61?
True
Let f = -14 + 20. Let i = 166 - 167. Does 24 divide (1 + 128 + i)*6/f?
False
Suppose 0 = -k - 4*n + 376, -8*k - 1193 = -11*k + n. Suppose 0 = -16*i - 6*i - k. Is 12 a factor of 24*(0 + (3 - i/8))?
False
Suppose 3*v - w = 1287, -3*v - 238*w + 242*w + 1305 = 0. Is v a multiple of 10?
False
Let v(r) = 111*r + 231. Does 16 divide v(7)?
True
Let c = 12850 - 7835. Is c a multiple of 17?
True
Let l = -236 + 242. Suppose -2*v + v - 3*p + 188 = 0, -l = -3*p. Is v a multiple of 12?
False
Let r(x) = -4*x**3 - 73*x**2 + 86*x - 54. Does 18 divide r(-22)?
False
Let y be (84/(-24))/(0 - (-4)/(-8)). Is -5*2*(2 - y - 0) a multiple of 3?
False
Let c(r) = -2*r**3 - 2*r**2 + 22*r + 95. Let z be c(-8). Let f = z + -679. Is 34 a factor of f?
True
Let t(k) = 1662*k**3 - 3*k**2 - 19*k + 34. Does 10 divide t(2)?
True
Let d(s) = s**2 + 12. Let m(n) = -n**2 + 17*n + 3. Let k be m(17). Suppose 7 + 13 = -k*c + 5*g, 0 = -g - 2. Does 28 divide d(c)?
True
Let n(v) = -v**3 - 19*v**2 + 25*v + 25. Let x be n(-20). Let f be 4/(12/x) - -3. Let g = f + 69. Is 34 a factor of g?
False
Suppose 17*n - 55906 = 22464. Is n a multiple of 30?
False
Suppose -29*z = -19*z - 70. Suppose z*w - 448 = 42. Is 8 a factor of w?
False
Let z = -5101 - -5965. Is z a multiple of 6?
True
Suppose -764*z = -760*z + 312. Let w = z - -522. Is w a multiple of 6?
True
Suppose 2*b + 10 = -b + 5*z, b - 2*z = -4. Suppose b = 4*i - 4*s - 24, 5*i + 17 = 4*s + 46. Let q = 17 - i. Is q a multiple of 3?
True
Let f be (4 + (-3 - -249))/(0 - -1). Suppose 2*t - 2*g - 1334 = 0, 5*g = -3*t + 2259 - f. Is t a multiple of 10?
False
Let a be (-3 + 3)*7/14. Suppose a = -7*d + 552 + 29. Suppose 3*p - d = -29. Does 6 divide p?
True
Let w be (1/1 + 1)*(-115577)/158. Let j = 2169 + w. Is j a multiple of 17?
False
Suppose -419*b = -356*b - 315693. Does 132 divide b?
False
Let y(b) = -76*b + 31 + 28*b + 37*b. Suppose 2*c = v - 18, -2*c + 4*v - 48 = 3*c. Does 35 divide y(c)?
False
Let d = 10528 + -9856. Is 48 a factor of d?
True
Let s = 2117 + -1277. Is s a multiple of 40?
True
Let v = -9723 + 18803. Does 10 divide v?
True
Let t = -324 + 175. Let c = t + 156. Suppose c*l + 239 = 638. Does 3 divide l?
True
Let c(a) = 84*a**2 - 95*a - 585. Is c(-5) even?
True
Suppose -f = -6*f, 5*f = -5*r + 20. Suppose m - 3 = 4*g - 4, -r*m + 13 = g. Suppose m*o - 384 - 222 = 3*c, 4*c - 620 = -3*o. Does 34 divide o?
True
Suppose t - 3 = 0, l - 4*l - 4*t = -780. Is l a multiple of 3?
False
Let o = -1936 - 1862. Let i = -2446 - o. Is i a multiple of 29?
False
Does 128 divide 27129 + (-399)/228*(0 + -4)?
True
Let g(w) = 123*w - 3897. Is 105 a factor of g(59)?
True
Let l be 4/(-18) - 5058240/(-270). Suppose -72*v + l = -55*v. Is 16 a factor of v?
False
Let p(d) = d**3 - 7*d**2 + 4*d + 16. Let i be p(5). Let u(t) = -t**3 - 14*t**2 - 5*t - 35. Is u(i) a multiple of 16?
False
Let p(k) = 4*k**2 - 6*k - 130. Let x be p(-24). Suppose 3*d = y + 3886, 6*d - 5456 - x = y. Is 41 a factor of d?
False
Does 4 divide (43452/(-2130))/(((-9)/350)/3)?
True
Suppose 0*c - 387695 = -61*c - 16*c. Is c a multiple of 53?
True
Let n be (4/(-14)*-36)/((-33)/(-770)). Suppose n = u + 71. Is 16 a factor of u?
False
Let k = -748 + 2427. Suppose -5*h - 920 = -4*m + k, 2*m - 2*h - 1300 = 0. Does 31 divide m?
True
Suppose 150426 = 50*o - 29574. Does 180 divide o?
True
Let y(b) = b**3 + 18*b**2 - b - 25. Suppose -5*v - 2*z = 100, 5*v - 2*z + 70 = 2*z. Let s be y(v). Does 14 divide s*((-3)/1 + -7)?
True
Let t be (11/(330/216))/((-2)/(-10)). Suppose 3*f - t - 174 = 0. Is f a multiple of 14?
True
Let c(z) be the second derivative of 0 - 2/3*z**3 - 1/20*z**5 - 4*z - z**4 - 7*z**2. Is c(-12) a multiple of 17?
True
Let k(s) = 7989*s**3 - 4*s**2 + 40*s - 67. Is k(2) a multiple of 34?
False
Let t(n) = 413*n**2 - 16*n + 56. Is 33 a factor of t(4)?
True
Let m be -21 + 2 - (2 - (0 + 3)). Let s = m + 19. Let b(x) = 96*x**3 + 2*x - 2. Does 11 divide b(s)?
False
Suppose l + 3721 = 3*x, -208*l + 2 = -207*l. Does 5 divide x?
False
Suppose 156 = -3*g - g. Let h = -23 - g. Suppose 30 = w + h. Is 6 a factor of w?
False
Does 11 divide -13 + (5 - -2360 - -13)?
True
Let f(c) be the first derivative of 10*c**3/3 - 5*c**2/2 + 17*c - 47. Does 7 divide f(4)?
False
Suppose 4*x + 13 = 21. Suppose 2*q - i = 1 - 18, 0 = -x*q - 2*i - 20. Is 6 a factor of (-2)/q - (-79)/9?
False
Let k = -52 - -54. Suppose -2*l + 5*d - 385 = -7*l, -4*l = -k*d - 338. Suppose -l + 68 = -2*u. Is 2 a factor 