h be 4526/(-4)*(-1 + -1). Suppose 4562 = 35*q - h. Does 13 divide q?
True
Suppose 59*m - 251431 = -96608 + 168025. Does 47 divide m?
False
Let b be (6/(-14)*10)/(7/49). Does 10 divide (-26)/(-195) - 7736/b?
False
Let w(i) = -i**2 - 61*i - 125. Suppose -5*u + 3 - 18 = 0, -2*s - u - 79 = 0. Is w(s) a multiple of 13?
False
Let a be (-1950)/91*(-21)/(-9)*-2. Let h = 5 - 8. Does 15 divide 54/(-12)*a/h?
True
Let m be 12*((-9)/(-2))/(-9). Let g be m/(-12)*8*(-18)/4. Let h = 10 - g. Does 5 divide h?
False
Let c(o) = 915*o - 5197. Let l be c(6). Suppose 0 = -2*a - a + 3, 3*a = h + 170. Let j = l + h. Does 18 divide j?
True
Suppose 0 = 3*o - 5*l - 27, -46 = -l - 49. Suppose 3*f = 5*w - 2487, -f = -o*w - 4*f + 1968. Is w a multiple of 46?
False
Let p(l) be the third derivative of -l**6/30 - l**5/60 + 5*l**4/24 - 13*l**3/6 - 2*l**2. Suppose -5*w + 64 - 51 = -2*y, 2 = 2*w. Does 23 divide p(y)?
True
Suppose 4*n + 67*y - 14902 = 69*y, -5*y - 14899 = -4*n. Does 46 divide n?
True
Let n(q) = 2*q**2 - 12*q - 73. Let x be -1 + 7 + (-3 - 8). Is n(x) a multiple of 6?
False
Let d(y) = 570*y + 3105. Is d(46) a multiple of 85?
True
Let t = -170 + 176. Suppose t*k + 75 = 243. Does 7 divide k?
True
Suppose s = -10*s + 79882. Suppose s = 20*d - 138. Is d a multiple of 10?
True
Let g(m) = 4*m**3 - 9*m**2 + 16*m - 64. Let s be g(8). Suppose 4*b + 2*x = s, 0 = -2*b + 2*x + 343 + 425. Does 24 divide b?
True
Suppose 1525*q = 1554*q - 11600. Is q a multiple of 50?
True
Let d(x) = 27*x**2 + 119*x - 3167. Does 74 divide d(26)?
False
Let s(y) = -24*y**2 - y + 3. Let j be s(3). Let z = 125 - 153. Does 29 divide (j/z)/((-3)/(-14))?
False
Suppose 19*b = 68*b - 5047. Suppose 0 = 3*m - 5*z - 1209, 0 = 5*m - 4*z - 1912 - b. Is m a multiple of 29?
False
Let a(d) = -d**3 + 16*d**2 - 29*d + 12. Let l be a(14). Is (-4)/(8/l) + 10 a multiple of 4?
False
Let r(a) = -a**3 - 7*a**2 + 10. Let n be r(-7). Let m be (n/(-25))/(1/(-5)). Suppose 8 = 2*u, m*u - 7*u = s - 68. Is s a multiple of 5?
False
Suppose 1637413 - 605151 = 214*i - 1759154. Is 13 a factor of i?
False
Let b = 118 - 41. Suppose 12 = -2*g + 4. Let z = g + b. Does 13 divide z?
False
Suppose -5*d = -5*a + 10, -3*d + 8*d - 4*a + 10 = 0. Let r(m) = -4*m**3 + m**2 + 4*m + 3. Let w be r(d). Suppose -17 = -8*h + w. Is h a multiple of 2?
True
Suppose 47492 = 2*a + 2*z, 9*z = 3*a - 67100 - 4210. Is 36 a factor of a?
False
Let s = -14841 - -24010. Is 173 a factor of s?
True
Let u(s) = -6*s - 3*s - s**3 + 485 + 8*s + 2*s**2 - s. Is u(0) a multiple of 7?
False
Suppose -743*j = -762*j + 38152. Is j a multiple of 8?
True
Let n(k) = -239*k. Let j be n(4). Let p = j + 527. Let f = 622 + p. Does 32 divide f?
False
Let q = -98 - -103. Suppose q*w = 3*v + 44, w - 4*v + 0*v - 19 = 0. Suppose -3*y = -w*y + 208. Is 13 a factor of y?
True
Let z(t) = -t**2 + 163*t + 282. Does 8 divide z(109)?
True
Let t be (-35 - -73) + 2*-2. Suppose 29*k - t*k = -4250. Does 39 divide k?
False
Let r(i) be the second derivative of 5/2*i**2 - 13/6*i**3 + 13/12*i**4 + 0 + 1/20*i**5 - 46*i. Is 67 a factor of r(-6)?
True
Let c(a) = a**3 - 24*a**2 - 20*a - 18. Let w = -313 - -338. Is c(w) a multiple of 2?
False
Let k(b) = b**2 + 11*b + 15. Let i(m) = -m**2 + 9*m + 12. Let a be i(11). Let n be k(a). Suppose 5*g = 2*j + 206, -129 = 2*g - n*g + 3*j. Does 8 divide g?
True
Is (-40)/(-20) + 1714 + -16 a multiple of 29?
False
Let h(k) = 671*k + 139. Does 21 divide h(6)?
False
Let l(m) = -m**3 + 7*m**2 + 4*m + 1. Let d be l(8). Let i = d - -46. Suppose 0*j + 40 = 4*v - 4*j, -2*j + i = 3*v. Is 4 a factor of v?
False
Let n be (5 + -7 + 4)/((-1)/(-10)). Is 4 a factor of ((-6)/4)/(n/(-1160))?
False
Let x = -6215 - -10881. Is 40 a factor of x?
False
Suppose -2*j = -5*p + 23 + 63, -3*j = -5*p + 89. Let u(i) = 4*i + 122. Does 53 divide u(p)?
False
Let y = -96 + 72. Let o = -23 - y. Does 4 divide 18 - o - (-1 - 2)?
True
Let t be (-122)/(-2*(5/2 + -3)). Let w = -119 - t. Suppose -x - h + 187 = 0, 0 = w*x - 4*x - 2*h + 192. Is 20 a factor of x?
False
Let v(w) = 74*w + 202. Suppose -22*t = -16*t - 60. Is 62 a factor of v(t)?
False
Suppose -9931 = 8*f - 1627. Let q be f/(-4)*(-6 + 32/6). Let h = q - -397. Does 32 divide h?
True
Let x = -4760 + 4726. Let j(d) = 42*d**3 + 6*d**2 - d - 5. Let n be j(-5). Does 12 divide ((-4)/(-10))/(x/n)?
True
Let a be (-1 - 7) + 3 - (-15)/1. Does 34 divide (-6)/a - (-2 - 3615/25)?
False
Let h be 16/(-40) + 197/5. Suppose -16*w = h - 119. Suppose 7*b - 58 = w*b. Does 6 divide b?
False
Suppose 20*k - 42 - 858 = 0. Suppose -38*f + k*f - 1029 = 0. Does 28 divide f?
False
Let s = 2495 + -1084. Does 15 divide s?
False
Suppose 2187769 = 270*n + 303169. Does 5 divide n?
True
Is (378/(-270))/((-2)/(-10)) - -6727 a multiple of 32?
True
Suppose 2 = -6*v - 10. Let w be -2*5/v*477/45. Suppose 0 = -2*c + 207 - w. Does 6 divide c?
False
Let g(r) = r**3 - 9*r**2 + 18*r + 6. Let w be g(10). Suppose u = 2*u - w. Does 22 divide u?
True
Suppose -2*v + d + 818 = 0, -14*v + 2015 = -9*v + 5*d. Does 8 divide v?
False
Let g = -3405 + 8098. Is g a multiple of 21?
False
Let i = -7 + 9. Suppose 5*w = 2*k + 12, -4*k + 0*w = i*w - 24. Suppose -68 = 3*j - k*j. Is j a multiple of 17?
True
Suppose -482*j - i = -487*j + 11399, 2*j - i - 4559 = 0. Does 24 divide j?
True
Is -75 + 26050 + -22 + 3 a multiple of 9?
True
Let v(l) be the third derivative of -l**6/120 - l**5/30 + l**4/24 + 13*l**3/3 + 59*l**2. Does 9 divide v(-4)?
True
Let z be 2/(-6) - (-35)/15. Suppose 3*l + z*l = -m - 15, 0 = -2*l. Is (-8)/10 + (-252)/m a multiple of 16?
True
Let l(i) = 13 + 32 - 17*i - 4 - 3. Does 20 divide l(-10)?
False
Let i = -2872 + 3280. Is 12 a factor of i?
True
Is 4 - ((-6944)/(-84))/((-3)/576) a multiple of 28?
True
Suppose 2*y - 3*i = -13912 + 46146, -2*y + 32250 = i. Is y a multiple of 5?
False
Let i(b) = 2*b - 47. Let q(y) = -2*y**2 + 11*y + 22. Let c be q(6). Let h be i(c). Is ((-162)/h)/(4/30) a multiple of 9?
True
Suppose 0 = 5*k - 4*k - 4. Is 23 a factor of (-56)/40*-149 - k/(-10)?
False
Let x(u) = -4795*u - 966. Does 7 divide x(-2)?
True
Let z = 29100 + -12800. Suppose -2*m - 3*c - 10858 = -0*m, 2*c - z = 3*m. Does 10 divide m/(-182) - 4/(-26)?
True
Let b(a) = 81*a**2 - 22*a - 32. Does 74 divide b(-8)?
True
Let c = -1 + -11. Let i be (-3)/c - 550/(-8). Let n = 129 - i. Does 20 divide n?
True
Is 25 a factor of (-86975 - -17)/(-9) + -12?
True
Let j(h) = -h**2 + 19*h - 82. Let g be j(10). Does 28 divide (-141918)/(-248) - 2/g?
False
Let z(b) = -b + b**2 + 2*b - 16 - b - 5*b. Let c be z(7). Let t(s) = -17*s**3 + s**2 + 4*s + 2. Does 15 divide t(c)?
False
Let r(g) = 64*g**2 - 70*g + 802. Does 27 divide r(11)?
True
Let t = -35 - -38. Suppose -t*h + 4*h - 7 = -l, -40 = -4*l + 2*h. Suppose -l*k + 12*k = 45. Is k a multiple of 2?
False
Suppose -5*i - 2117 + 8946 = -5896. Is i a multiple of 3?
False
Let b(c) = c**2 - 4*c + 5. Let d be b(3). Suppose d*v = 4*u - 142, 4*v + 59 = 2*u - 3. Suppose -289 = -7*n - u. Is n a multiple of 9?
True
Let y = 88425 - 62815. Is y a multiple of 49?
False
Let t be (-6 + 3)/(3/(-7)). Let w(k) = k**2 - 5*k - 3. Let j be w(t). Let l = j + 20. Does 4 divide l?
False
Let r(k) = -k**2 - 9*k - 16. Let q be r(-6). Suppose q*i - 2*s + s - 833 = 0, 1260 = 3*i - 5*s. Suppose i + 12 = 7*j. Is j a multiple of 16?
False
Let g(n) = -5*n**3 - 19*n**2 + 26*n + 96. Is 20 a factor of g(-16)?
False
Suppose -5*l + 9*l - 4*u - 16 = 0, 0 = 2*l + u - 14. Suppose -120 = -l*j - 14*j. Is 2 a factor of j?
True
Let o(x) = x**3 + 8*x**2 + 6*x - 2. Suppose -3*r = -p - 3*p - 8, 0 = r + 4. Let d be o(p). Suppose -147 = 42*f - d*f. Is 21 a factor of f?
True
Let j be 301/86*(-3)/(21/(-8)). Suppose -j*w = -42 - 498. Does 15 divide w?
True
Suppose 8*w - 592 = -8*w. Let s = w + 105. Is 6 a factor of s?
False
Let g(u) = -u**3 + 12*u**2 + 15*u - 21. Let v be g(13). Suppose v*f - 326 = 2*y, 4*f - 272 = -7*y + 3*y. Is 11 a factor of f?
True
Does 55 divide (-253173)/(-10) + ((-1482)/(-260))/(-19)?
False
Let f = 80789 - 27074. Does 96 divide f?
False
Let l(g) = 4*g**2 + 52*g - 7. Let p(k) = -2*k**2 - 26*k + 4. Let i(c) = 4*l(c) + 7*p(c). Let t be i(-13). Suppose -o - 4*o + 840 = t. Does 12 divide o?
True
Let i = -45 + 46. Is (-448 + i)/((-3)/2) a multiple of 9?
False
Let o = -1 + 4. Suppose -3*n = -9, o*q + n = -2*n + 48