+ 3*k. Is 23 a factor of h(6)?
False
Is 55 a factor of 0 + 3638 - (-38)/133*-28?
True
Let q(k) = -k**2 - 41*k + 70. Let h = -117 + 76. Is 13 a factor of q(h)?
False
Let j = 118 - 63. Let b = j + -51. Suppose -b*l + 118 + 422 = 0. Does 27 divide l?
True
Let m = -124 - -128. Let g be 198 + -6 - 1/(-1)*m. Is 6/2 + -15 + g a multiple of 23?
True
Let n(c) = 6*c + 24. Let j be n(-8). Is -486*-4*(-2)/j a multiple of 9?
True
Let i(s) be the third derivative of -s**6/120 + s**5/2 - 13*s**4/8 + 2*s**3/3 + 4*s**2 + 3*s. Is 60 a factor of i(28)?
True
Suppose -s + 3*z = 127, 219 = -2*s - 5*z - 46. Let f be 200/90 - 4/18 - 234. Let t = s - f. Is t a multiple of 17?
True
Let b(q) = 4*q - 52. Let z be b(13). Suppose 4*v + 12*v - 4768 = z. Is v a multiple of 37?
False
Let d be (79 - -1)*(-14 + (-2330)/(-40)). Suppose -6*c + 708 = -d. Is c a multiple of 15?
False
Let h(p) = p**2 - 2*p + 174. Let y be h(0). Suppose 0 = -8*g - 5 - 3. Is 14 a factor of g + 3 + 0 + 0 + y?
False
Let v = 212 - 119. Does 16 divide (-139)/3*v/(-31)?
False
Let h = 146 + -291. Let z = -146 + 102. Let a = z - h. Is a a multiple of 21?
False
Let i(k) = -4*k**3 - 7 - k**2 + 0 + 0 + 9. Let q be i(-1). Suppose q*o - 7*o + 478 = 0. Does 13 divide o?
False
Suppose 0 = 5*c + 9 + 6. Let s = -186 + 153. Is (-407)/s + 1/(-3) + c a multiple of 2?
False
Let q(d) = -6943*d + 609. Is 120 a factor of q(-3)?
False
Let n = 82 + -79. Suppose -34 = -n*y - 22. Suppose 2*i - y = 108. Is 14 a factor of i?
True
Suppose 15 = 4*g + 63. Let j be (53/3)/((-4)/g). Let y = 163 - j. Is 24 a factor of y?
False
Let f = 0 + -110. Let y be (2/(-15)*-3)/(11/f). Is 10 a factor of 172/6 + (56/(-21) - y)?
True
Suppose -4*i + 2*i = -4, 4*f - 1532 = -2*i. Suppose -7*x + f = -227. Is x a multiple of 3?
True
Let p be 350 + 1/(-5)*-5. Suppose 2*t - 5*t = -p. Let y = t + -67. Does 5 divide y?
True
Suppose 0 = -59*t + 64*t - 21270. Does 98 divide t?
False
Let m(n) = -n**2 + 156*n - 194. Is m(46) a multiple of 22?
False
Let o be 1*(0 - 1) + 42. Suppose 8*p + 377 = -5*p. Let x = o - p. Is 10 a factor of x?
True
Let f = 53 + -53. Suppose z - 4*w - 812 - 551 = f, 0 = 4*z - 5*w - 5408. Is 25 a factor of z/6 + 1/(-2)?
False
Suppose 5*f = 3*f - 2*a + 14, 5*a - 29 = -2*f. Suppose 0 = 2*p + f, 5*m + 87 - 5486 = 4*p. Does 83 divide m?
True
Let m = -716 - -1148. Does 6 divide m?
True
Let k = -655 + -106. Let w = -372 - k. Is w a multiple of 83?
False
Let a be (-37)/(-2) + (-4)/16*-2. Suppose 0 = -14*f + a*f - 330. Does 11 divide f?
True
Let p(s) = 21*s**3 - 6*s**2 - 7*s - 3. Is 25 a factor of p(6)?
True
Let b be (0 - 332)/(6 - 16 - -9). Suppose -3*r + 196 + b = 0. Suppose 12*q = 10*q + r. Does 8 divide q?
True
Suppose 0 = 8*h - 6706 + 21577 - 103679. Is 221 a factor of h?
False
Let h = -12793 - -12958. Is h a multiple of 40?
False
Let y = 15937 + -1208. Does 11 divide y?
True
Let y = -20137 + 36515. Does 140 divide y?
False
Let o(n) = -44*n + 1616. Does 56 divide o(16)?
False
Let k = 25 - 35. Let w(x) be the first derivative of x**4/4 + 10*x**3/3 - 7*x**2/2 - 5. Is 10 a factor of w(k)?
True
Suppose -u + 2*o = 0, 3*o + 4 = 16. Suppose u*l - 1243 = -75. Suppose 2*y - 6*d = -d + l, -5*y = 3*d - 365. Is 9 a factor of y?
False
Suppose -n + 5 = t, 2*n = -n - 2*t + 15. Suppose -565 = -4*v - n*r, 4*v - r = 5*v - 142. Does 36 divide v?
False
Let i(b) = b**2 + 15*b + 56. Let h be i(-9). Suppose 4*g + 4*n - 404 = -76, 389 = 5*g - h*n. Is 10 a factor of g?
False
Let t(z) be the second derivative of -15*z**2 + 0 + 19/12*z**4 + 16*z - 1/20*z**5 - 8/3*z**3. Does 2 divide t(18)?
True
Let y = -2147 - -1925. Let z be (46/(-4))/(1/12). Let f = z - y. Is f a multiple of 21?
True
Does 12 divide (-24)/(34/(-6) - (-32 - -27))?
True
Is 54 a factor of 97419/(-15)*690/(-161)?
False
Is 22 a factor of 320/112*56 + -6 + 0?
True
Suppose 158765 = 111*y - 130279. Is y a multiple of 142?
False
Let k(a) = a**2 + 6*a + 7. Suppose -19*w + 24 = -23*w. Let t be k(w). Suppose 566 = 4*o + 3*h, 5*h + 690 = t*o - 2*o. Does 35 divide o?
True
Let h = -31 + 33. Suppose -3*a = h*k - 506 - 7, 5*a - 874 = 3*k. Suppose -4*i = -2*f - a - 97, 67 = i - f. Is 34 a factor of i?
True
Suppose -3*w + 5 = 4*t - 2, -3*t + 3*w = -21. Suppose -l - 273 = -t*l. Is l a multiple of 5?
False
Let f = -5962 + 7173. Does 31 divide f?
False
Let l(u) = 213*u + 6612. Is 12 a factor of l(32)?
True
Suppose 489*x - 172 = 493*x. Let r = x - -56. Is r even?
False
Suppose 0 = 2*x - 214 - 682. Let c = -340 + x. Is 9 a factor of c?
True
Suppose -8 - 24 = -2*h - 5*b, -2*h + 48 = b. Let m(u) = 7 - 4 - 2 + h - 6*u. Does 31 divide m(-11)?
True
Let k(t) = t**3 + 9*t**2 + 7*t - 6. Let h be k(-8). Let l be 85/2 + (-3)/6 + h. Let d = l - 16. Is d a multiple of 7?
True
Does 25 divide 27/7 + (-7 - (-300)/42) + 121?
True
Let h(i) = -i**3 + 18*i**2 - i + 24. Let u be h(18). Suppose 0*r + u*r - 36 = 0. Suppose -a + r = -0*a. Is a a multiple of 3?
True
Suppose -11382 = -5*h - h. Suppose 0*i + 5*y = i - 443, 5*y = -4*i + h. Is 9 a factor of i?
True
Let g be (-325)/35 + 6/21. Let i be (-4)/(8/10)*g/15. Is 0 + 22/i*9 a multiple of 22?
True
Suppose -124*l + 18116865 = 341*l. Does 13 divide l?
True
Let s = 33 - -502. Is 10 a factor of s?
False
Let u = 6762 + -5498. Is 79 a factor of u?
True
Let k be 1/2*(-3 - -1). Is -1 + (k - -4 - -158) a multiple of 20?
True
Let x be (0 + 55/10)*-2. Let h = x - -8. Let m = 8 + h. Does 2 divide m?
False
Let b = 1843 - 1056. Is 24 a factor of b*(-2)/(-6) + (-34)/(-51)?
False
Suppose -8*i + 1320 = 2*i. Is 11 a factor of -1*(-1)/3*i?
True
Suppose 5*p - 8*p = -24. Suppose 0 = -5*q + p*q - 21. Suppose -2*w = -q*w + 105. Does 7 divide w?
True
Suppose 4*y = 483 - 115. Let k(n) = 9*n**2 - 5*n - 8. Let f be k(-4). Let u = f - y. Does 16 divide u?
True
Suppose 4*w + 17534 = 3*k, -2*w = -47 + 39. Does 225 divide k?
True
Let y(m) = 4*m + 16. Let k be y(-7). Let g be (k/50*5)/((-2)/10). Suppose -4*a - v - 42 = -g*a, -a = 3*v - 28. Does 11 divide a?
True
Let u be 1 - (-16)/(-10) - (-3956)/(-115). Let q be (-21)/28 + u/(-4). Does 20 divide 1880/q + 2*-1*1?
False
Let b(s) = -s**3 - 57*s**2 + 122*s + 118. Is 168 a factor of b(-61)?
True
Let s = 21 - -12. Suppose -n + 3*q = 4*n - 50, q + s = 4*n. Suppose -n*w + 134 = -34. Is 8 a factor of w?
True
Let m = 17 - 19. Is 10 a factor of 6*m/4 - (4 - 92)?
False
Let k be -20 - (4 + -24)/(-4). Let t be (-20)/k + (-12)/(-10). Suppose t*j = -0*z - z + 517, j + 4*z = 255. Is 37 a factor of j?
True
Suppose 4*b - 10*b + 18 = 0. Suppose -b*u = -10*u. Suppose 3*m + 2*m - 120 = u. Is m a multiple of 6?
True
Let y(n) = 2*n**3 - 11*n**2 - 14*n - 18. Suppose j = 3 + 2. Let f(h) = -3*h**3 + 23*h**2 + 27*h + 36. Let l(m) = j*y(m) + 3*f(m). Is 22 a factor of l(-13)?
True
Let q be 3/(-1 + (3 - (-14)/(-4))). Let l be (-7 + 8)*(-838)/q. Suppose -l = -5*f + 361. Does 39 divide f?
True
Let o(c) = 41*c + 4. Let h be o(3). Suppose -5*t = -3*n - 384, 0 = 2*t + 2*n - h - 33. Suppose -4*f - 5*k + t = -83, 32 = f + 4*k. Does 5 divide f?
False
Suppose 5*p = -0*p + 5. Suppose -p + 11 = 2*h. Suppose -47 - 78 = -h*u. Is u a multiple of 9?
False
Let n = 115 + -120. Let o be 13 + (n - -1 - -1). Does 24 divide (o/(-3) + 1)/((-5)/150)?
False
Let t(n) = -1122*n**3 + 11*n**2 - 7*n - 5. Let j(q) = 561*q**3 - 7*q**2 + 4*q + 3. Let x(k) = 5*j(k) + 3*t(k). Is 56 a factor of x(-1)?
True
Let d = -19878 + 19943. Does 65 divide d?
True
Let b = 1909 - 142. Is b a multiple of 19?
True
Let j(b) = -7*b + 177. Let z be j(13). Suppose -z*v + 84*v = -150. Is 5 a factor of v?
True
Suppose -4*c + 5*k = -5848 - 10572, 0 = 2*c - 4*k - 8222. Is 35 a factor of c?
True
Suppose -44 = 2*k - 6*k. Suppose -3*b = -125 + k. Let d = b - 23. Is d a multiple of 3?
True
Let j = -35131 - -54899. Is j a multiple of 14?
True
Suppose -10*k + 2*k + 24 = 0. Suppose 4*h - 31 = k*c, -2*h - c = -5*h + 22. Let a(i) = -i**3 + 9*i**2 - 15*i + 25. Does 9 divide a(h)?
True
Let o = -22 - -26. Let d(r) = 19*r**2 + 3*r + 4. Let m be d(o). Suppose 4*v - m = -v. Is 12 a factor of v?
False
Let u(d) = -41 - 38*d - 41*d + 10 - 33. Is u(-4) a multiple of 6?
True
Let b be (-5)/25 + 196/(-20). Let a(u) = 3*u**2 - 6*u. Let n be a(b). Suppose -3*i + 4*c + 199 = 0, 2*i - c - n = -3*i. Is i a multiple of 6?
False
Let u(v) = -4*v + 35 + 4*v**2 - 2*v + 0*v - 5*v - 5*v. Is 1