uppose -16*c + 18*c + 5*s - 57438 = 0, -114786 = -4*c + 5*s. Is c a multiple of 184?
True
Suppose 13 = 3*c - 50. Let g = 27 - c. Suppose -282 = 3*i - g*i. Is i a multiple of 22?
False
Suppose -16 = -3*m - 3*p - 46, -4*p - 28 = 2*m. Is m/(-4)*(-4 + 102) a multiple of 8?
False
Let f(b) = -25*b + 381. Is f(15) a multiple of 5?
False
Let g(q) = -3*q**3 - 33*q**2 + 6*q. Is 36 a factor of g(-16)?
True
Let u(b) = 29*b**2 - 60*b + 78. Is 13 a factor of u(14)?
False
Suppose 3*t + t + 120 = 0. Let d = 55 - t. Suppose -3*k - k - 34 = -a, 5*a - 3*k = d. Is a a multiple of 9?
False
Suppose r = -21*s + 25*s + 11166, 0 = -5*r - 4*s + 55734. Is r a multiple of 25?
True
Suppose 5*c - 38*l + 1103 = -39*l, 3*l - 211 = c. Let t = 244 + c. Is 13 a factor of t?
False
Let r = 48804 - 22148. Does 49 divide r?
True
Let s = -28527 + 41927. Is s a multiple of 23?
False
Suppose -3*d + 2*d - 12 = k, 5*d = -3*k - 36. Let h(y) = 3*y + 47. Let x be h(k). Suppose x*q - 80 = 10*q. Does 20 divide q?
True
Let m(k) = 5*k + 44. Let r be m(-8). Suppose r*l + 0*l + 40 = 0. Let b = l + 15. Is 2 a factor of b?
False
Suppose 10 = 5*p + 4*n - 12, 2*n + 10 = p. Suppose 0 = 5*c + p - 11. Does 3 divide c/2 - 21/(-14) - -8?
False
Let y(f) = -11*f + 1242. Is 11 a factor of y(-78)?
False
Let y(k) = k**3 + 32*k**2 + 48*k + 127. Let f be y(-30). Let r = f + -277. Does 15 divide r?
True
Suppose -3*d = -154840 + 13615. Is 13 a factor of d?
False
Suppose 3*p = 30074 + 72433. Is p a multiple of 47?
True
Let q(v) = v**3 - 7*v**2 + 14*v - 3. Suppose -3*f - 5*m - 8 = 0, 0*f + 5*m = -f - 16. Let p be q(f). Suppose 0 = 2*h - p*h + 702. Does 26 divide h?
True
Suppose 6*v - 7*v + 3*k = -3492, -3*v + k = -10508. Is v a multiple of 48?
True
Let l = 11920 - 4864. Is 8 a factor of l?
True
Let v(h) = -11*h**3 - 5*h**2 - 24*h - 26. Does 24 divide v(-6)?
False
Suppose -4*r + 165 = -4*f - 3*r, -3*r = 2*f + 79. Let s = 85 + f. Is 3 a factor of 891/s - 2/8*-3?
True
Let m = 2757 - -3361. Does 14 divide m?
True
Suppose 4*n = 4*n + 3*n. Let s = 91 - 45. Let a = n + s. Does 4 divide a?
False
Suppose -691 + 2763 = 8*h. Is 11 a factor of 111/h + 459/7?
True
Suppose -8*p - 121 = -377. Let f be ((-8)/(-6))/((-6)/135). Let g = p + f. Does 2 divide g?
True
Suppose 2*o + 6 = 0, 4*k + 5*o - 61 = 4*o. Suppose -193 = k*w - 17*w. Is 50 a factor of w?
False
Let z(u) = -u**3 - 20*u**2 + 4*u + 67. Let g be z(-20). Let i = 29 + g. Is 5 a factor of i?
False
Suppose -22 = -t + 4*n, 4*t - 6*t = n + 1. Suppose -10 + 4 = 4*j - t*l, -5*j - 9 = -l. Is 29 a factor of (88 - j) + 0/(-3)?
False
Suppose 5*a + 5*i - 167266 = 4*i, i = -4*a + 133813. Does 15 divide a?
False
Let j be (-3 - 2 - (-325)/15)*6. Is (-6204)/(-40) - 10/j a multiple of 29?
False
Let r be (-7)/(2/(-6) + 0). Suppose 481*a - 478*a = 60. Suppose 0 = -r*z + a*z + 144. Is 48 a factor of z?
True
Let m = -12063 - -15195. Does 174 divide m?
True
Suppose -i = 5*q - 29955, -20*i - 251898 + 850380 = -3*q. Is i a multiple of 15?
True
Let y = -281 - -284. Is (77/(-14) + 15/y)*-574 a multiple of 10?
False
Let f(l) = 4*l + 6. Let h be f(-2). Is ((-1264)/8)/(4/h) a multiple of 9?
False
Is 15 a factor of ((-6)/3)/2*16/((-160)/18610)?
False
Let o be (-17)/2*(9 - -13). Let a = -136 - o. Suppose a*n = 47*n + 1176. Is 42 a factor of n?
True
Suppose 26*n - 31*n = -60. Let s be 3/(-9) - (-40)/n. Suppose -431 - 334 = -3*f + 5*a, -s*f - 2*a = -765. Is f a multiple of 44?
False
Suppose -35973 = -3*x + 3*t + 11475, 0 = -x - 4*t + 15836. Is 70 a factor of x?
True
Let s = -75 + 75. Is (11 + 20)*(0 + s + 3) a multiple of 9?
False
Suppose -180 = -3*a - 75. Suppose 0 = 34*x - a*x. Suppose 5*y - 3*y = 3*k - 39, x = 2*k - 3*y - 21. Is k a multiple of 13?
False
Let n = 6 - -166. Let r = n + 76. Does 11 divide r - (-2*1)/(20/10)?
False
Does 19 divide 2 + 4 + 940464/32 + (-25)/(-10)?
False
Suppose -4*u = -27*u + 483. Let s(x) = -16 + 6*x + 4*x - x**2 + 15*x. Is 17 a factor of s(u)?
True
Let w = 5182 + -4766. Is w a multiple of 3?
False
Suppose 22*h - 1143 = 1871. Let i = 345 - h. Does 28 divide i?
False
Suppose -3640 + 99599 = 56*g - 809. Is g a multiple of 18?
True
Suppose -17*f + 42365 = -13*f + 5*s, -s + 42393 = 4*f. Is 200 a factor of f?
True
Let c = 8219 + 14872. Is c a multiple of 43?
True
Let a = -628 - -634. Is (7690/8 - 48/(-64)) + a a multiple of 22?
True
Suppose 492*g - 154000 = 392*g. Is g a multiple of 77?
True
Suppose 0 = -68*g + 65*g - 3*o + 3171, -2*g + o = -2111. Is g a multiple of 33?
True
Let n be ((-14)/77)/(2*4/(-88)). Suppose -n*g = 2*g - 1104. Does 23 divide g?
True
Let s(t) be the second derivative of -4*t**2 + 25*t + 0 + 23/3*t**3. Is s(2) a multiple of 5?
False
Let t(f) = f**3 + 6*f**2 - 11*f + 2. Suppose -175 = 5*n + 2*n. Let p = -32 - n. Is t(p) a multiple of 10?
True
Suppose -21162 = -9*c - 2694. Is 36 a factor of c?
True
Let o = -10449 + 14859. Is o a multiple of 8?
False
Let a(q) = -133*q - 15. Let x be a(-10). Let k = 13 + 7. Is 26 a factor of x/k - (-3)/(-4)?
False
Let g(k) = k + 2. Let u be g(0). Suppose -u*s - 46 = 16. Let x = s - -49. Does 10 divide x?
False
Suppose 3251 = -3*y + 12520 + 14587. Does 112 divide y?
True
Let x be ((-4)/(-10))/(32/80). Is 11 a factor of 3 - (x + (-2 + -2 - 71))?
True
Suppose 2*q - 1 - 3 = 0. Suppose -y + i = 0, -2*i + 4 + q = 0. Suppose 3*d - 2*r = 122, -y*d = 3*r - r - 106. Is 11 a factor of d?
False
Suppose a - 125*d - 9240 = -127*d, 0 = -3*d - 24. Is a a multiple of 52?
True
Suppose -2*h + 25935 = 8*s - 3*s, -8*s + 2*h = -41470. Is 85 a factor of s?
True
Is 41 a factor of (15/(-35))/((-20)/470680)?
True
Let y = -10765 + 20778. Is 100 a factor of y?
False
Suppose 3*o - 10 = 3*r + 2*r, 3*r - 2*o + 7 = 0. Let w(d) = -4*d + 62. Let n be w(13). Suppose b - r = n. Does 3 divide b?
False
Let v = -11916 + 16236. Is v a multiple of 12?
True
Suppose -t - 4*i = -5*t - 144, -2*i = -4*t - 154. Let u = t - -83. Is 11 a factor of u?
False
Let y(a) be the third derivative of a**6/60 + a**5/120 - 7*a**4/24 - 11*a**2. Let g(w) be the second derivative of y(w). Is 6 a factor of g(1)?
False
Let d = 4599 + -4599. Let a be (1*-1)/((-3)/6). Suppose j + 2*j = -3*y + 54, a*y - j - 45 = d. Is 7 a factor of y?
True
Let j = 10 + -7. Let t(i) = -4*i + 3*i + 36 - 15 - j*i. Is t(-11) a multiple of 15?
False
Let f(a) = a. Let t(y) = 3*y - 19. Suppose 0 = 5*x - 8 + 3. Let q(h) = x*f(h) - t(h). Does 9 divide q(5)?
True
Let q = 14922 - 9563. Does 15 divide q?
False
Let o(f) = 9*f - 132. Let y be o(15). Is 6 a factor of y*-8*(-6 + 4)?
True
Is 50 a factor of (-77590)/(-70) - (-24)/(-56)?
False
Does 42 divide ((-416)/130)/(1/(-525))?
True
Let w(h) = -2*h**2 - 15*h - 10. Let v be w(-5). Suppose -2*l + 3*z = 2*l - 83, v = 5*z. Suppose 18*c + 345 = l*c. Does 23 divide c?
True
Let w be 7 + 90/(-12) + 3/(-2). Let i(u) = -u**3 - 5*u**2 - 6*u + 2. Let p be i(w). Is 15/p*(7 + 77/(-35)) a multiple of 12?
True
Suppose 0 = -6*w - 62 + 62. Let p = w - -258. Is 12 a factor of p?
False
Let d(g) = -g + 14. Let v be d(-18). Does 2 divide v/80 - 198/(-5)?
True
Suppose -118*q + 121*q = 3*d + 138552, 3*d = 12. Is q a multiple of 90?
False
Let u(f) = -f**3 - 49*f**2 - 3*f + 65. Let o be u(-49). Suppose 0 = -d - 2 + o. Does 6 divide d?
True
Let r = 116 - 114. Suppose -r*m = -14*m + 5808. Is 47 a factor of m?
False
Let k(u) = -u**2 + 22*u - 39. Let a be k(20). Suppose a = 4*n - 7. Suppose -72 = -n*i + 88. Is i a multiple of 10?
True
Does 108 divide 3/9 - -55401*7/63?
True
Suppose -29*h + 26 = 3*m - 28*h, 0 = -3*m - 3*h + 36. Suppose -m*p - 100 = -8*p. Does 3 divide p?
False
Let j(b) = 168*b**3 + 2*b**2 + b - 4. Let h be j(2). Suppose -5*z + 4*g + h = 0, z + 4*z - 1350 = 2*g. Does 27 divide z?
True
Suppose 26*b - 24*b = 42848. Is b a multiple of 13?
True
Suppose -2*z = -f - 847, 348 = 3*z + 4*f - 928. Let q = -634 - z. Is 22 a factor of q/(-12) - ((-13)/(-6) - 2)?
True
Let v(i) = i**3 + 67*i**2 + 118*i - 990. Is 18 a factor of v(-63)?
True
Let r(b) = -117*b**3 - 10*b**2 - 3*b + 18. Is 66 a factor of r(-6)?
True
Let a = 38 + -29. Let b be 0 + -1 + (-2 - (2 - a)). Is b + 8/(-4) + 125 a multiple of 22?
False
Let u(a) = 175*a**2 - 3*a - 1. Let v(m) = m**3 + 9*m**2 + 10*m + 17. Let l be v(-8). Is u(l) a multiple of 50?
False
Let a(z) = -z**3 - 22*z**2 - 46*z + 15. Let t be a(-21). Suppose 2*k - t = 3*n,