*b + k = 139, b + 3*k = -k + 24. Let t(m) = -m**3 + 29*m**2 - 11*m - 41. Is t(b) a multiple of 29?
True
Let p(l) = l**2 - 2*l - 11. Suppose 21*y - 16 = 17*y. Let v be p(y). Does 20 divide v/(9/(-480)) - -4?
False
Suppose 5*i = 2*c + 4*i - 104, i = 4*c - 208. Is (1 - (-303)/(-6))*c/(-6) a multiple of 11?
True
Let p be 30/(-4)*14/(-21). Suppose -129 = -p*r + 321. Suppose r*o - 94*o = -204. Is 10 a factor of o?
False
Let o(k) = k**3 + 6*k**2 - 6*k - 3. Let a be o(-6). Let c(v) = v**3 - 13*v**2 - 19*v + 43. Let b be c(14). Let t = a + b. Is t even?
True
Let x be (11 + 3)*(0 - -2)/4. Let g = x + -2. Suppose -5*r - 3*j = -840, -2*r + 7*r - 800 = g*j. Does 33 divide r?
True
Let d be 6/9 - 65450/(-33). Is d/6 + -3*(-2)/18 a multiple of 22?
False
Is -8 + -26572*(2 + -3) a multiple of 134?
False
Suppose -5*o + 947 = x, 57*x + 5*o = 59*x - 1924. Is 29 a factor of x?
True
Suppose 49*q - 6130 - 18370 = 0. Is 4 a factor of q?
True
Suppose 13*l + 3136 = 3344. Does 5 divide l?
False
Let a(q) = -2*q**2 - 9*q + 54. Let p be a(4). Is 14 a factor of (p/5)/(3 - 2208/735)?
True
Suppose 10*w - 14*w = -2*a + 16166, 0 = -3*w + 12. Does 140 divide a?
False
Suppose 0*t + 1902 = t + 2*u, -5*t + 5*u = -9435. Let i = -1194 + t. Is 17 a factor of i?
False
Suppose -132*t = 42647 - 403667. Is 227 a factor of t?
False
Let h(j) = j**3 - 9*j**2 - 10*j - 6. Let f be h(10). Is ((-2 - f) + -219)*(-6)/15 a multiple of 10?
False
Suppose -4*q + 3*v = -20, -2*v - 5 = q + 1. Suppose -417 = -a + 3*i, -q*a + 3*i + 577 = -269. Is a a multiple of 10?
False
Suppose -3*i + 2 + 4 = -3*q, 12 = 2*i + 2*q. Suppose i - 1 = c. Suppose -35 = -3*p + 5*b, c*p - 3*b = -b + 50. Does 4 divide p?
True
Let j(k) = 7*k**3 + 2*k**2 + k + 26. Let c be j(-4). Let r = 176 - c. Does 13 divide r?
False
Suppose -13305 = -4*x + g, -70*g + 68*g = 5*x - 16615. Is x a multiple of 7?
True
Suppose -4*r = -9*r + 90*r - 110330. Is 22 a factor of r?
True
Suppose 1103738 - 2672346 = -269*f + 1665848. Does 12 divide f?
True
Suppose 92*t - 558092 = -134*t + 62*t. Does 5 divide t?
False
Suppose 36*w - 15 = 33*w. Suppose -3*i - 12 = 0, 3*a - 7*a + w*i + 452 = 0. Is a a multiple of 18?
True
Let l(x) = -70*x + 44. Let w be (-1311)/399 - ((-10)/(-14) + -1). Is 28 a factor of l(w)?
False
Let t be -1*(-5)/2*(-126)/(-35). Is 23 a factor of (-615)/(-9) + 6/t?
True
Let k(o) be the first derivative of 11*o**4 - 2*o**3 + 7*o**2/2 + 4*o + 65. Does 20 divide k(2)?
False
Let r be (-24)/(-18)*(-6)/(-4). Suppose -2*s + 30 = 3*q - 25, 4*q + 12 = 0. Suppose -8 = -r*p + s. Does 8 divide p?
False
Is 1/(-2) + (-892895)/(-86) a multiple of 58?
True
Suppose 0 = 4*p - i - 14343 - 3824, 4*p - 18157 = 3*i. Is 18 a factor of p?
False
Let j = 5799 + -2912. Is 7 a factor of j?
False
Suppose -5*s = -5, -87*t = -88*t + 3*s + 21001. Does 186 divide t?
False
Let a = 85932 - 28725. Is a a multiple of 17?
False
Suppose 49 - 61 = -4*d. Let n = -107 + 122. Suppose n*z - 672 = d*z. Is z a multiple of 14?
True
Let y(x) = -77*x + 7. Let z be y(-4). Let h be (z/(-10))/(-7)*6. Let u = 29 - h. Is u a multiple of 2?
True
Let a = 244 - 238. Is a/(-36) - (-8570)/12 a multiple of 51?
True
Suppose -3*a = d + 21, -d + 0*d - 3 = 0. Let g be 1/3 - (-8)/3. Is 30 a factor of (-892)/a + 4/g?
True
Suppose -14*r - 12285 = -49*r. Does 7 divide (-4 - (-28)/(-7)) + r?
True
Suppose 788 = 4*n - 4076. Suppose 11*s - n = 1083. Let k = s - 128. Does 36 divide k?
False
Let h be 2 + (1803/(-2))/((-33)/44). Is 26 a factor of (h/5)/4 - 12/60?
False
Suppose 61*n + 285007 = 65*n - o, 2*o = 2*n - 142490. Is n a multiple of 14?
False
Let n(f) = f**2 + 7*f - 30. Suppose 2*m - 5*j - 3 + 4 = 0, -2*m - 11 = -3*j. Is 24 a factor of n(m)?
True
Suppose -5*f = -4*p + 272, 4*p + 5*f - 159 = 153. Let j = p - 17. Does 14 divide j?
True
Suppose -r = 4*i - 20616, 4*i + 103248 = 5*r - 0*r. Is r a multiple of 13?
True
Let q = 5435 - -5797. Does 72 divide q?
True
Suppose 5*g = 2*y - 1673, 9*y + 16 = 13*y. Let w = g + 621. Is w a multiple of 18?
True
Let q = -27 + 27. Suppose q = 2*g - 2*a, -5*g = a + 3*a + 9. Let i = g - -171. Does 14 divide i?
False
Suppose z + 2 = 1, 0 = -w + 2*z + 5907. Is 66 a factor of w?
False
Suppose 66*u - 2560 = 62*u. Is 10 a factor of u?
True
Suppose -s = -4*g + 2766, -63*g + 62*g - 2*s = -696. Is g a multiple of 17?
False
Let g(v) = 1999*v**2 + 18*v + 18. Does 4 divide g(-1)?
False
Let r = -5 + 30. Suppose -r*n + 70 = -24*n. Does 14 divide n?
True
Suppose 9*y = -28*y + 222. Suppose -8*z + 8316 = y*z. Is 33 a factor of z?
True
Suppose -16*o + 44407 = -23449. Is o a multiple of 141?
False
Is 3 - 2 - ((4 - 3) + -6735) a multiple of 2?
False
Let v(p) = 27 - 4*p**2 - 9 - p**2 + 31 - 13*p - p**3 - 6*p**2. Is v(-15) a multiple of 26?
True
Suppose 2*p - 154 = 3*p + 2*g, -3*p = -5*g + 451. Let t = p + 231. Suppose 80*v - t*v - 95 = 0. Is v a multiple of 15?
False
Let g be 171/297*9 + (-2)/11. Suppose 10630 = g*s - 5*l, 3*l + 8508 = -67*s + 71*s. Is s a multiple of 79?
False
Suppose -3*h + 32012 = -o, -5*o = -2*h + 15477 + 5873. Does 97 divide h?
True
Does 51 divide 4/((-180)/(-39025)) + 34/(-153)?
True
Let r(a) = 209*a**2 - 2*a - 7. Let g(t) = -212*t**2 + t + 9. Let b(i) = 2*g(i) + 3*r(i). Is 29 a factor of b(-2)?
False
Let y(c) = 105*c**3 - 7*c**2 - 9*c + 41. Let l be y(7). Suppose -l + 782 = -46*b. Does 45 divide b?
False
Let b(x) = x**2 + 6*x + 5. Let a be b(-6). Let t = a + -5. Suppose -4*q + t*d - d = -124, -q = -4*d - 48. Is 16 a factor of q?
True
Let r be (-5)/(29/((-1218)/(-140))*6/(-8)). Let w = 59 - 42. Suppose 3*p - 348 = -5*y, -r*y + 143 = -4*p - w. Does 15 divide y?
False
Let x be (((-4)/6)/1)/(8/(-12)). Suppose c + 5*p + 2 = 0, 3*c + x + 5 = p. Is 7 a factor of 28/(-8)*(c + -12)?
True
Let s(p) = -p**3 + 25*p**2 + 3*p - 75. Let n be s(25). Suppose n = -15*l - 104 + 5954. Does 30 divide l?
True
Let q = -19820 + 25509. Is q a multiple of 33?
False
Let k = -2633 + 12814. Does 15 divide k?
False
Let a(x) = 323*x + 2747. Is a(26) a multiple of 45?
False
Suppose 4*z + 3*t = 13462, -2*z + 3*z - 3373 = 3*t. Is 259 a factor of z?
True
Let g(d) = 22*d**2 - 67*d - 734. Does 28 divide g(-26)?
False
Is -2*((-15 - 20333) + 63/7) a multiple of 87?
False
Suppose 9*j - 4*j = -2*r + 19, 0 = -4*r - 12. Let w be ((-3)/j)/(2/(-10)) + -5. Is (-3)/(-6)*w + -5 + 14 even?
True
Let d(j) = j**2 - 18*j + 34. Let y be d(17). Suppose y + 3 = 4*x, 5*t = -2*x + 65. Suppose 453 = t*k - 240. Is k a multiple of 10?
False
Does 61 divide 11703/2 + 1341/298?
True
Suppose -48*d + 8 = -46*d. Suppose -3*c + 2*v - 3*v = -133, d*c - 182 = v. Is 5 a factor of c?
True
Let o = 52 + -45. Suppose -4*r = -o*r + 1080. Suppose -6*u = -10*u + r. Is u a multiple of 18?
True
Suppose 0 = 2*r + 4 - 8. Suppose 3*g - 1738 + 323 = -5*l, 552 = r*l + 4*g. Does 28 divide l?
False
Let h = 107 + -105. Suppose -h*f = 2*b + 2*b - 1506, 4*f + 354 = b. Is b a multiple of 34?
True
Suppose 48 = -5*m + m. Suppose 107*w + 36571 = -9332. Does 10 divide w/(-7) - m/(-42)?
False
Suppose -27*h = -43*h + 752. Suppose -2*v + 5*i = -46, 0 = -2*v - i + 5*i + 46. Let r = h - v. Does 4 divide r?
True
Suppose -7*n + 3920 = -2*n. Is n a multiple of 7?
True
Let y = 35 + -17. Let l be 10/(-45) + 4/y. Suppose -m + 40 + 10 = l. Does 10 divide m?
True
Suppose 0 = -29*q - 23*q + 15*q + 128464. Is 28 a factor of q?
True
Let x(j) = -4*j. Let a be x(1). Let h(m) = -2 + 5*m - m**3 + m**2 + 0*m**3 + 4*m + 6. Is 12 a factor of h(a)?
True
Let k(n) = 2*n**2 - 7*n + 537. Is k(51) a multiple of 175?
False
Suppose 250*x - 548 = 248*x. Suppose -3*s + 23 = -x. Is 11 a factor of s?
True
Suppose 0 = -5*f - t + 759, -764 = -4*f - f + 4*t. Suppose k = -3*k - f. Let i = k - -40. Is i even?
True
Does 4 divide (-15216)/(-6) - (9 + 1 - 4)?
False
Suppose -3*g - o + 9407 = 0, 2*g + 158 = -o + 6428. Is g a multiple of 41?
False
Suppose -4175 = -15*c + 3265. Suppose -5*g = -a - 2103, g - c = 4*a - 64. Is g a multiple of 70?
True
Let c = 2138 + -642. Does 11 divide c?
True
Let d(j) = 6*j**3 + 16*j**2 + 15*j + 15. Let u(w) = -5*w**3 - 15*w**2 - 14*w - 15. Let t = 31 + -24. Let q(h) = t*u(h) + 6*d(h). Does 5 divide q(10)?
True
Suppose -72*u + 933145 = 41*u - 339235. Is 25 a factor of u?
False
Suppose 0 = -0*z + 4*z, -11*m - 40051 = -12*m - 5*z. Is m a multiple of 22?
False
Let d(r) = -9*r**2 - 