 = -13*t + 39*t - 21*t. Does 44 divide t?
True
Suppose -14*b - 13*b = -38664. Does 30 divide b?
False
Suppose -21493 = -44*k + 30251. Does 168 divide k?
True
Suppose 2*w + 5*z = 150, z + 63 = w - 19. Suppose 0 = y + 27 - w. Let i = y + 30. Does 18 divide i?
False
Is 6 a factor of 72/(-15) - -5 - (-807270)/25 - -6?
False
Suppose 79*a - 4719 = 92*a. Let w = -227 - a. Is 8 a factor of w?
True
Does 23 divide 2291449/738 - (-2)/36?
True
Suppose 63*j + 5677 = 64*j - 3*r, -5*j - r = -28385. Is j a multiple of 111?
False
Suppose 4*k + 2*l = 3962, -k - 4*l = 681 - 1675. Let v = -398 + k. Does 8 divide v?
True
Suppose 0 = -5*l - 10, 5*c - 7*l + 2*l = 4240. Suppose 2*k - 5*h - c = 0, 2*k - 854 = 3*h - 0*h. Is k a multiple of 30?
False
Let m(o) be the second derivative of o**5/20 - o**4/3 + 4*o**3/3 - 5*o**2 + o - 7. Let v = 3 + 3. Is m(v) a multiple of 10?
True
Let d(f) = -65*f + 767. Is d(-69) a multiple of 13?
True
Let k(q) = -991*q**3 - 4*q**2 - 2*q + 4. Is k(-2) a multiple of 22?
True
Suppose 4813 = -2*p + 12777. Is p a multiple of 79?
False
Let a(i) = -12*i + i + 13*i + 19. Is 9 a factor of a(17)?
False
Suppose -40*j = -35*j - 1890. Is 32 a factor of j - (-3 - 2 - -3)?
False
Let x be (-6684)/(-21)*(-196)/(-56). Suppose -1120*u + x*u + 420 = 0. Is 14 a factor of u?
True
Let u = -36 + 32. Let v(a) be the second derivative of a**5/20 + 5*a**4/6 + 5*a**3/6 + 5*a**2/2 - 6*a. Is v(u) a multiple of 27?
True
Let a be 38615 - (-5 + -1 - -11). Does 69 divide 2/4 - a/(-52)?
False
Let c = 27 + -28. Let l be (-1 - 0)/c*96. Suppose -2*v - 16 = 5*g - 100, -5*g + l = -2*v. Is g a multiple of 6?
True
Suppose 31383 = 54*y - 15867. Is 26 a factor of y?
False
Suppose -3*k + 38838 = 4*t, 10*k - t + 12949 = 11*k. Is 22 a factor of k?
True
Suppose 3*m + 87 = 5*h - 174, -3*m = 5*h - 249. Let q be h/12 - 6/(-8). Suppose -8 = 2*l - 0*l, -295 = -5*s + q*l. Is 17 a factor of s?
False
Let r be 40/32 + 106/(-8). Let l be (-6)/((-4)/(32/r)). Let p(a) = a**3 + 6*a**2 - 6*a - 10. Does 6 divide p(l)?
False
Let o = 30 + -27. Suppose b - 63 = -f, -2*f = 2*f - o*b - 217. Suppose -f = -5*v + 62. Is v a multiple of 8?
True
Let v = -8304 + 8419. Suppose -5*b + 2*s + 312 = 0, -b - 4*s - 27 + 107 = 0. Let u = v + b. Is u a multiple of 19?
False
Suppose -2*r - 2*h + 677 + 363 = 0, 2*r - 1030 = 3*h. Is 66 a factor of r?
False
Let w(t) = -50*t + 1062. Is 34 a factor of w(-8)?
True
Suppose 0 = -29*q + 37*q - 85*q + 526680. Is q a multiple of 36?
True
Suppose z = 2*s + 711, 4*z - 18 + 30 = 0. Let m = s - -825. Is 74 a factor of m?
False
Let u be 1/(-3)*3078/(-2). Suppose 768 + 253 = 2*n - h, n = -2*h + u. Is n a multiple of 16?
False
Let n(h) = -7*h**3 - 8*h**2 - 33*h + 21. Let x(f) = 3*f**2 + 3*f**3 - 67*f + 83*f - 10 + f**2. Let l(q) = 4*n(q) + 9*x(q). Is l(4) a multiple of 8?
False
Let j be -1*2*(91 - 21). Suppose 0 = o - 3*m + 230, 6*o - 4*o + 454 = 3*m. Let r = j - o. Does 14 divide r?
True
Is 12 a factor of (((-37044)/(-35))/(-3))/((-13)/2080)?
True
Let t(l) = 16*l**3 - 4*l**2 + 10*l - 9. Let h be t(7). Suppose -h = -16*w + 23. Is 6 a factor of w?
True
Let y(g) = -g**2 - 445*g - 3644. Does 13 divide y(-125)?
False
Let c be (4/(-14))/((-17)/(-119)). Does 9 divide 7/((-56)/3744)*1/c?
True
Let u = 166 + -167. Let l(o) = -251*o - 7. Is l(u) a multiple of 5?
False
Is ((-102)/(-119))/(((-2)/1157)/(16 - 30)) a multiple of 89?
True
Suppose -6421 - 14714 = -5*r + 2*w, -5*w + 8483 = 2*r. Does 66 divide r?
False
Let p(f) = -9*f + 48. Let i be p(5). Suppose l + 5*w = 232 + 41, -i*w = 3*l - 783. Is 6 a factor of l?
True
Let y(g) = -g**2 + 20*g - 261. Let j be y(15). Let k = j - -723. Is k a multiple of 14?
False
Let h = -2278 + 2845. Does 9 divide h?
True
Suppose 12*d - 50 - 70 = 0. Let t(s) = -d*s**2 - 10*s + 1 - 11 + 9 - s**3. Is 7 a factor of t(-10)?
False
Is 25 a factor of -3*(-745444)/210 - (36/(-15))/3?
True
Suppose -p = -3*c - 521, -5*c + 1823 = 4*p - 176. Suppose 0 = 3*m - 4*q + 1046, 1388 = -4*m - 0*m + 4*q. Let v = p + m. Does 41 divide v?
True
Let p(n) = 26*n**2 - 3*n - 6. Let o be (-2*21/(-28))/(9/(-12)). Is 5 a factor of p(o)?
False
Let s(t) = -t**3 + 11*t**2 - 4*t + 27. Let n be s(11). Let a = 5 + n. Is 27 a factor of 9/(a/180*5/(-2))?
True
Suppose y = -4*k + 15004, -3*k + 4*y + 11272 = -0*k. Suppose -9*c + k + 982 = 0. Is c a multiple of 7?
False
Suppose 0 = 4*h - 48*v + 44*v - 12, 5*h - 3*v - 13 = 0. Suppose 5*r - 4*d - 4524 = 0, r - 2*r = h*d - 902. Does 53 divide r?
False
Suppose 0 = -173*b - 2391026 + 8104178. Does 17 divide b?
False
Suppose -2430512 + 1645422 - 3044768 = -157*w. Does 173 divide w?
False
Suppose 18*t = -3308 + 8870. Suppose -6*f = -99 - t. Suppose 3*p + 6*j - 196 = 4*j, -p = 2*j - f. Is 10 a factor of p?
False
Let i(w) = -w**2 - w + 1. Let f be i(-6). Let s = f - 42. Let b = -40 - s. Does 6 divide b?
False
Let g(t) = -t**3 + 17*t - 9. Let o be g(4). Let v be (-5)/(-1)*2/5. Does 20 divide v/o - (-15072)/80?
False
Let n = 3876 + -294. Does 18 divide n?
True
Suppose 5*t - 7*x + 9*x = 17221, -x = 4*t - 13775. Does 11 divide t?
True
Let y = -13 - -24. Suppose -5*t = y - 201. Does 19 divide t?
True
Let o = 4723 + 2231. Is 8 a factor of o?
False
Suppose -24*y + 413403 = 59*y - 127840. Is 30 a factor of y?
False
Let k = 23 + -20. Let d be 3*4*14/(-21)*k. Let r(a) = -6*a - 84. Is r(d) a multiple of 7?
False
Suppose -56 = r - 9*r. Suppose -v = -v + r*v. Let m(u) = u**3 + u**2 - u + 168. Is 21 a factor of m(v)?
True
Suppose -4*v - 44*v + 1348694 - 505430 = 0. Is 7 a factor of v?
False
Let f(r) = -1780*r**3 - 2*r**2 + 4*r - 2. Let n be f(1). Let o = -1191 - n. Does 31 divide o?
True
Does 35 divide 882*((-255)/(-595))/((-4)/(-42))?
False
Suppose 2*z + 187 = 5*z + 5*b, -2*b = 3*z - 181. Suppose 0 = 5*h - x - 1067 - 50, -2*h = 4*x - 438. Let y = h - z. Is y a multiple of 41?
True
Let p = -965 - -976. Does 19 divide ((-101)/(-3) + (p - 17))*3?
False
Let q(k) = -17*k - 49. Suppose 2*r - 3*r = l + 7, 0 = -3*l + 4*r - 35. Let t be q(l). Let v = t + -65. Is v a multiple of 13?
True
Let x be 6916/4 + (2 - 9). Suppose 28*r - x - 350 = 0. Is r a multiple of 14?
False
Suppose 3*s - 3*n = -795, -4*s - 269 = 4*n + 759. Let z = s - -342. Is 27 a factor of z?
True
Let a(c) = -c**3 + 3*c**2 - c + 6. Let z be 1*37 + 2/(-2). Let u = -34 + z. Is 2 a factor of a(u)?
True
Let z be (-1)/((4 + -11)/(-175)). Is 433 + -3 + z/5 a multiple of 17?
True
Suppose 8*v - 4*v - 64 = 0. Let r be v + (-3 + 5 - (2 + -1)). Suppose -2*m + 109 = -r. Is m a multiple of 7?
True
Let h = 3678 - 431. Is 11 a factor of h?
False
Suppose -w = 7, 4*g + 69*w - 7828 = 73*w. Is g a multiple of 30?
True
Let u = 748 - 355. Suppose 3*m - 2*n = u, 9*m - 6*m - 393 = 5*n. Is m a multiple of 17?
False
Suppose -492 = -14*u + 68. Let r(w) = 27*w - 230. Does 23 divide r(u)?
False
Suppose 5*h - 7 = t, 3*h = -5*t + 3*t + 51. Suppose 2352 = t*k - 672. Does 6 divide k?
True
Let z = -16 + 25. Suppose 0 = z*p - 12*p + 81. Suppose -p = -d + 61. Is d a multiple of 11?
True
Let c = 4971 - 2266. Does 172 divide c?
False
Suppose 5*k - 4206 = -t, -2*k - 11*t = -9*t - 1684. Is 56 a factor of k?
False
Let l(i) = -3*i**2 - 3*i + 38. Let q(a) = -9*a**2 - 8*a + 114. Let k(f) = 8*l(f) - 3*q(f). Is 14 a factor of k(6)?
True
Suppose q = -4*t - 91, -3*t = -4*q - 16 + 70. Let y = -52 - t. Does 4 divide (-948)/y + (-8)/(-20)?
True
Let d be (-12)/15 + 2274/5. Let u = 865 - d. Does 5 divide u?
False
Suppose 31 + 60 = 7*w. Suppose -x - w*x = -420. Does 30 divide x?
True
Let t be ((-8)/10)/(-2 - (-138)/70). Suppose 0 = -7*w + 175 + t. Is w a multiple of 3?
False
Suppose -f + 2*j - 52 = f, -4*f - 108 = -2*j. Is (161/5)/(f/(-140)) a multiple of 7?
True
Let o = -19 - -19. Suppose o = -p + 6*p - 90. Suppose 0 = -13*d + p*d - 510. Is 17 a factor of d?
True
Let p(g) = -7*g + 7*g**2 - 19*g - 37 - 3 - 29*g - 3*g**2. Does 19 divide p(18)?
True
Suppose 1830 = 3*b - 798. Suppose 12*s - 840 = b. Does 11 divide s?
True
Suppose -5*t + 49 = 959. Let l = t + 315. Is 19 a factor of l?
True
Let f(g) = 421*g**2 - 6*g + 3. Let u(q) = -q**2 + 26*q - 159. Let b be u(16). Is 101 a factor of f(b)?
False
Let x(w) be the first derivative of w**3/3 - 7*w**2 - 9*w - 2. Let c(v) = -27*v - 1060. Let u be c(-40). Does 19 divide x(u)?
False
Is 3 a factor of 28745/50 + (-37)/(-370)?
False
Suppo