s l(6) a multiple of 3?
True
Let w(x) = 4*x**2 + 60*x + 32. Is w(-23) a multiple of 8?
True
Suppose -4*c - 12 = 0, 0 = v + 7*c - 4*c + 1. Let r be (8 - v) + 6/2. Suppose -212 = -3*m + 4*a - 49, -5*a = -r*m + 164. Is m a multiple of 23?
False
Let w(x) = -x**3 - 23*x**2 - 41*x + 14. Let a be w(-17). Let o = 2305 + a. Does 26 divide o?
False
Is (-79650)/12*((-36)/5 + 6) a multiple of 177?
True
Let m be 12/(-10)*(-5)/3. Let i be (-3)/3*(m - 3). Let j(v) = 125*v - 1. Does 21 divide j(i)?
False
Let o be (-5 - 175/(-15))*75/20. Let n(w) = 9*w + 75. Does 38 divide n(o)?
False
Let x(r) = 3*r**2 - 7*r + 14. Let s = 29 + -24. Suppose z = -2*m + 16, -s*m + m + 4*z = -8. Is 16 a factor of x(m)?
True
Let a = 24 + -45. Let p(q) = -3*q - 58. Let y be p(a). Suppose 2*n - 318 = -5*h + n, -2*h - y*n = -141. Is 3 a factor of h?
True
Suppose -3*w = 4*r - 573, 5*r - 73 = -4*w + 644. Suppose -28*c - r = -31*c. Suppose -n + c + 53 = 3*q, 2*n - 4*q = 190. Does 36 divide n?
False
Let r(w) = -2*w + 7. Let y be r(14). Let l be (-2380)/y*(2 + 1). Suppose 95 = 3*h + 3*n - l, -275 = -2*h + n. Does 28 divide h?
True
Let i(h) = -h**3 + 9*h**2 + 37*h - 8. Let w be i(12). Is 9 a factor of ((-96)/18)/(w/(-54))?
True
Suppose 297*t = 300*t - 30. Let g(x) = x**3 - 11*x**2 + 15*x + 19. Does 16 divide g(t)?
False
Let s be 0/((3 + -6)/(-1)). Suppose s*n - 105 = 5*n. Let m(v) = -3*v - 43. Does 5 divide m(n)?
True
Let l(s) = 2*s**2 + 4*s - 4. Let y be l(1). Suppose -4*g = 2*h - 96, -4*g - 47 = -y*h + 49. Is 25 a factor of h?
False
Suppose 4*z = 486 - 338. Does 15 divide z?
False
Let p = -563 - -591. Is 84 a factor of (0 - -84)/(((-161)/p)/(-23))?
True
Let v(c) = 2*c**3 + 25*c**2 - 85*c - 78. Is 3 a factor of v(-15)?
True
Let f(h) = h**3 - 5*h**2 + 5*h + 635. Is 153 a factor of f(0)?
False
Let k = 563 + 8113. Is 9 a factor of k?
True
Let n be -11 + 2 + 10 + -55. Let h = n - -166. Is 4 a factor of h?
True
Let q(c) = c**2 - 11*c + 14. Let b be q(10). Suppose -b*n - 47 = -3*j + 24, -37 = -j + 4*n. Is j a multiple of 5?
False
Suppose -3*g + 2911 + 8896 = 4*f, 0 = 5*f + 2*g - 14764. Is f a multiple of 32?
False
Let f(a) = -489*a + 3701. Does 83 divide f(-57)?
False
Let a(h) = 6*h**2 - 10*h - 100. Suppose 5*v = 16*v + 110. Is a(v) a multiple of 10?
True
Suppose 0 = 2*g - 6, y - 15*g - 6498 = -10*g. Is 51 a factor of y?
False
Suppose -5*i + 1 + 12 = -2*s, 0 = i - 5*s - 21. Let p(q) = -30*q + 3. Let k be p(i). Is 9/(k/(-28))*3 a multiple of 13?
False
Let j(h) = h**3 - 10*h**2 - 21*h + 60. Let f be j(12). Suppose f = 4*y + 64. Is 8 a factor of y?
True
Let t = 61 - 81. Suppose 13*l = 7*l + 372. Let w = l - t. Is 41 a factor of w?
True
Is 12 a factor of ((-21726)/(-15))/((-74)/(-185))?
False
Let s(f) = 12627*f**3 - 11*f**2 + 1. Is s(1) a multiple of 37?
True
Let k(y) = y**3 - 2*y**2 - 18*y. Let s be k(6). Suppose -g = -276 + s. Is 30 a factor of g?
True
Let v(z) = 3*z**2 - 8*z + 15. Let i be ((-24)/(-30))/(-1)*-5. Is v(i) a multiple of 4?
False
Let r(w) = -39*w + 3. Suppose 5*x + 3*d + 52 = 0, -5*x = d + 31 + 23. Does 72 divide r(x)?
True
Let d(b) = -2*b**2 + b - 1. Let w(p) = 2*p**2 - 5*p. Let i(c) = -6*d(c) - 3*w(c). Is 36 a factor of i(-7)?
False
Suppose 3*g + 17 = -2*p, -2 = 5*g + p + 24. Does 19 divide g/((-35)/13153) - (5 - 0)?
False
Let c = -46 + 98. Suppose 7*h = -6*h + c. Suppose 12 = h*w, w + 15 = y + 3*w. Does 8 divide y?
False
Let a = 37 + -55. Let j be (-52)/234 + (-1624)/a. Is 2/5*j/1 a multiple of 9?
True
Let v(a) = -2*a + 19. Suppose -3*c + 213 = 5*b, b - 17 - 48 = 5*c. Let x be (b/(-6) + 1)*(2 + 0). Does 15 divide v(x)?
True
Let t = 3238 - -1820. Is t a multiple of 18?
True
Suppose -8*g + 3*d - 720 = -5*g, -4*g + 5*d = 965. Let r = 514 + g. Is r a multiple of 11?
False
Is 168308/10 - (-26)/130 a multiple of 8?
False
Suppose 0 = -26*u + 13*u - 45*u + 445208. Is 38 a factor of u?
True
Let f be 1*(2 - 3)*-6. Let t(m) = 5*m - 20. Let c be t(f). Is ((-30)/(-12))/(1/c) a multiple of 8?
False
Suppose 451 = 3*v - 569. Suppose -4*j - v = -3*r + 4942, -3*r = -3*j - 5280. Does 12 divide r?
False
Let h = -1198 + 2082. Suppose 9*c - 5*c = -4*s + 1200, -3*s = -c - h. Is s a multiple of 74?
True
Let c(u) = 5*u + 16. Let m = 27 + -30. Let y(q) = q**3 + 2*q**2 - 6*q - 6. Let x be y(m). Is 18 a factor of c(x)?
False
Let b(o) = -140 + 0*o + 140 - o - 235*o**3 - 2*o**2. Is 9 a factor of b(-1)?
True
Let d be ((-9)/(-12))/((-1)/(-216)). Is d/5*(1 - 1*-4) a multiple of 9?
True
Is 72 a factor of 2 - 1 - 8 - (152460/(-84) + -64)?
True
Let n = -71721 + 111714. Is n a multiple of 156?
False
Suppose 3*t + 118 - 10 = 0. Does 24 divide (t/210*-30)/(6/112)?
True
Is 18 a factor of -611 + 34442 - 1/(1*(-2)/18)?
True
Let p = -80 + 40. Let g be 20/p*(0 - 2 - -2). Suppose 2*r + 4*q - 32 = g, 5*r - 2*q = 3*q + 140. Does 6 divide r?
True
Let q(y) = 3665*y - 635. Does 44 divide q(3)?
False
Let t(j) = -j**3 + 6*j - 3. Let f be t(-3). Let x = 12 + f. Is x even?
True
Let f be ((-4)/10)/((-4 - 0)/60). Suppose 21 = -9*i - f. Is (35/(-20))/(i/36) a multiple of 5?
False
Let n(u) = -4*u**2 + 213*u + 33. Is 11 a factor of n(22)?
True
Let i be (-172 - 3)/((-2)/16). Suppose 5*q + 5*b = 45, -4*q + 3*b - 12 = -55. Suppose -q*p + 0*p = -i. Is 28 a factor of p?
True
Let k(b) = 434*b + 19. Let h be k(3). Let c = h + -825. Is c a multiple of 55?
False
Let n(z) = -2*z**3 - 48*z**2 + 45*z + 57. Is n(-25) a multiple of 10?
False
Suppose -k + c = 4*k + 2112, k = 5*c - 432. Let v = 814 + k. Does 14 divide v?
True
Suppose -3*a = 4*a - 14. Suppose 0 = -h - a*g, -h = 2*h - 4*g. Suppose -i - 103 = -y - 2*i, 2*y - 3*i - 186 = h. Does 17 divide y?
False
Suppose -6*b + 44*b - 189686 = 61114. Is 30 a factor of b?
True
Does 5 divide 1/(-6) - (18 - (-159102)/(-108))?
True
Let r(z) = -726*z - 500. Does 46 divide r(-17)?
False
Is 95 a factor of ((-28)/(-7) - -14244) + 3/1 + -1?
True
Suppose 67*p + 3*o - 90770 = 62*p, -5*p - 2*o = -90765. Does 16 divide p?
False
Let d(v) = 65*v**2 + 6*v - 12. Let k = 812 - 810. Does 10 divide d(k)?
True
Let m = 240 + -241. Is 440/12 - m - (-20)/15 a multiple of 2?
False
Suppose 3*y = 6, -4*v - 20 = -3*y + 98. Let x(q) be the second derivative of q**5/20 + 7*q**4/3 - q**3/6 + 35*q**2/2 + 7*q. Is x(v) a multiple of 8?
False
Suppose 113 = 3*w + 4*j, 2*w + 7*j - 73 = 2*j. Suppose 15 = 2*d - w. Is d even?
False
Let p(x) = x**3 + 12*x**2 - 13*x - 10. Let s be p(-13). Let g be 0/1 - (s - -8). Suppose -g*a - a - 2*q + 196 = 0, 5*a - 312 = 4*q. Is a a multiple of 16?
True
Suppose 3*d + 4*a + 2645 = 0, 6*d = 5*d - 3*a - 885. Let u = 1535 + d. Does 41 divide u?
True
Let f be (-382)/6 + (-2)/6 + 3. Let z = f - -166. Let p = z + -33. Is p a multiple of 8?
True
Suppose k = -c + 2 + 6, 0 = 5*c - 2*k - 5. Suppose 2*a - 3 = 3*p, c*p + 4*a + 8 = 23. Is 32 a factor of (p + 4 + 55)*(-16)/(-6)?
True
Let v be ((-135)/5 - -1)/(1 + -3). Suppose v - 7 = 2*q. Suppose 0*j + 4*f + 488 = 4*j, -j = q*f - 102. Does 39 divide j?
True
Suppose 0 = 3*z - 63 - 15. Suppose -1 = 3*r - 4*i, z = -0*r - 3*r - i. Does 3 divide 2/(r/(532/(-8)))?
False
Let q = 10243 - -7013. Is q a multiple of 17?
False
Let a = 350 + -178. Let o(c) = -8 - 2*c + 0*c**2 - 5*c**2 + 176*c**3 - a*c**3. Is 19 a factor of o(4)?
False
Let b = -13 - -22. Let r(s) = -s**2 + 32. Let u be r(b). Let h = u + 157. Is h a multiple of 27?
True
Let k(q) = 29*q**2 - 13*q - 144. Is 141 a factor of k(14)?
True
Suppose 6*j + j = 2*j. Is 3 a factor of (j + 7)/((104/(-64))/(-13))?
False
Let u = 22253 - 10521. Is 95 a factor of u?
False
Suppose 0 = 14*m - 17*m + 6. Suppose -m*f + 53 + 277 = 0. Suppose -2*q = -51 - f. Does 18 divide q?
True
Let u = -214 + 216. Does 16 divide 1*-32*(15/(-6) + u)?
True
Let o(b) = b - 20. Let q be o(15). Let x be 8 + q - (-2 + 5). Suppose 5*t - t - 384 = x. Is 16 a factor of t?
True
Suppose -80*d - 159*d + 1118520 = 0. Is 9 a factor of d?
True
Let d = 2577 + 8883. Does 26 divide d?
False
Suppose 3865*m = 3886*m - 264096. Is m a multiple of 24?
True
Suppose a = q + 16, -3*a = -2*q - 4 - 45. Let d = -42 + a. Let v = 28 + d. Does 3 divide v?
True
Let x be ((-21)/2)/((-114)/(-1520)). Let c = x + 770. Does 6 divide c?
True
Let d(f) = f**2 + 4*f - 378. Let j be d(0). Is 27 a factor of (-2 + 20)/((-28)/j)?
True
Let m(b) = -b**2 - 14*b + 2. Let p be m(-14). Suppose -p*w - 5*x = 