- u = 5*w, 7*d - 5*w = 10*d - 873. Is d a multiple of 39?
False
Suppose -5*z + 25 = 0, 11847 = 2*y - z - 522. Does 23 divide y?
True
Let r(b) be the first derivative of b**3 - 29*b**2/2 - 22*b - 19. Let f be r(20). Suppose 4*i = 17*i - f. Is i a multiple of 6?
False
Does 60 divide 101*(18 - 64)*(9/(-2))/3?
False
Let j(w) = -77*w - 286. Let l be j(-7). Let z = l - 201. Does 9 divide z?
False
Let m be (132/(-36))/((-1)/(-6)). Let b = 26 - m. Suppose -b = -4*p + 24. Is 2 a factor of p?
True
Is 22 a factor of -1*(-39)/(-78)*(-40404)/(4/2)?
False
Let c(s) = 8*s**2 + 77*s + 177. Let d(j) = -3*j**2 - 39*j - 88. Let w(i) = 3*c(i) + 7*d(i). Is w(19) a multiple of 10?
True
Let m = -29 - -30. Let x(a) = 16*a**2 - 3*a + 1. Let d be x(m). Is 3 a factor of (d + -8)/((-3)/(-10))?
False
Let d(g) = -g**2 + 9*g + 2. Let u be d(9). Suppose u*h - 539 + 37 = 0. Suppose -2*a + h = 27. Is a a multiple of 28?
True
Let b(k) = 344*k**2 + 10*k - 79. Is b(9) a multiple of 125?
True
Let j(s) = 4*s**2 - 32*s + 5. Let w(b) = 1. Suppose -10*n + 2*n = -8. Let r(v) = n*j(v) + 6*w(v). Is r(10) a multiple of 8?
False
Let l(c) = -c**2 + 10*c + 1. Let y be l(7). Let b be 4/y - (-925)/55*1. Suppose 0*d = 3*z - 4*d - b, -3*z + 2*d = -19. Does 2 divide z?
False
Suppose 0 = -y - 5*y + 30. Suppose y*t - 4*q - 9 = 0, -4*t = 2*q + 1 - 3. Is 24 a factor of (-2 - 24/(-9))*(145 - t)?
True
Is 18 a factor of (8609/19)/((-346)/(-6574))?
False
Suppose -2*s - 721 = -k, 3*k + 5*s - 1928 = 268. Suppose 2*f - 212 - k = -3*d, 3*f - 5*d = 1399. Does 78 divide f?
True
Let n = 11 + -6. Let a be 65*5 - (8 - n). Let g = -189 + a. Does 19 divide g?
True
Let a(s) = 8*s**3 - 15*s**2 + 14*s + 108. Does 11 divide a(9)?
True
Suppose -26 = t - 346. Suppose 5*a = 5*q - t, -2*q - 6*a + 2*a = -128. Is 4 a factor of q?
True
Let k = -7197 + 10769. Does 76 divide k?
True
Let v(t) = t. Let d(l) = 68*l - 1. Let h(n) = -d(n) - 6*v(n). Suppose -120*j - 135 = -80*j + 95*j. Is h(j) a multiple of 32?
False
Suppose -45*c = -0*c - 101520. Suppose -23*w + 31*w - c = 0. Is 8 a factor of w?
False
Suppose 3*u + 1 - 7 = 0. Suppose -2*i = q - 3, 0 = i + 2*i + u*q - 4. Suppose 5*x = i*x + 459. Is 51 a factor of x?
True
Let t(j) = -79*j + 2. Let w(k) = -k**3 + 2*k**2 - 2*k + 2. Suppose 5*d - 25 = -3*z - 2*z, -z - 3*d = -11. Let x be w(z). Is t(x) a multiple of 32?
True
Let i = 516 - 554. Suppose -2*j + 82 = a, 2*j = -0*a + 5*a - 434. Let w = a + i. Does 3 divide w?
True
Let h(w) = 6537*w**2 + 52*w + 51. Is h(-1) a multiple of 44?
False
Suppose 506*v = 503*v + 6, 5*w - 3*v = 75969. Is w a multiple of 23?
False
Let o(b) = b**3 - b**2 + 2*b + 2. Suppose -j - 2 - 2 = 2*r, 0 = j - 5*r + 4. Let w = 1 - j. Does 19 divide o(w)?
False
Let n(h) = -182*h + 13. Let o be 0/(-1) - (-1 + 5). Let p be n(o). Suppose -r + 4*r + 3*k - p = 0, -k = 3. Does 13 divide r?
False
Let l(m) = -8*m**3 - 13*m**2 + 15*m + 69. Is l(-7) a multiple of 61?
False
Let y(z) = -282*z + 17. Let a be y(-3). Suppose 3*x = -35 + a. Is x a multiple of 12?
True
Does 37 divide (-214)/(-535) - 49206/(-10)?
True
Suppose -9*t + 13798 + 29920 = -6565. Is 61 a factor of t?
False
Suppose 21*r + 32516 - 117209 = 0. Is r a multiple of 109?
True
Let n(b) be the first derivative of -b**3/3 - 11*b**2/2 + 26. Is 7 a factor of n(-4)?
True
Let t be (12/18)/((-2)/(-318)). Suppose 4*p - t = 2*p. Let m = -37 + p. Is 8 a factor of m?
True
Let c = 5055 - -2465. Is 80 a factor of c?
True
Does 108 divide ((-6)/(-40) + 13/52)*9470?
False
Let z(b) be the first derivative of 2*b**3/3 + 17*b**2 + 21*b + 41. Does 27 divide z(-24)?
False
Suppose -5*o + 5*g = 0, -3*o + g + 2 - 12 = 0. Let x be 4/(-1) + o + -2 + 20. Suppose -x*c + 144 = -72. Does 10 divide c?
False
Let q(w) = -8*w**2 + 8*w - 3. Let p be q(3). Let z = p - -50. Does 18 divide (-10 - 1*z)/(46/(-414))?
False
Let o(s) = -s**3 + 9*s**2 - 8*s + 10. Let r be o(6). Suppose 0 = -5*y - 5, -4*k - r = 3*y + 41. Let t = k - -81. Is t a multiple of 18?
True
Let u(p) be the first derivative of -1/4*p**4 - 4*p**3 + 7 - p**2 - 20*p. Is u(-12) a multiple of 2?
True
Suppose 2*o = 8*o - 18. Suppose 63 = o*q - 3*s, -85 + 12 = -3*q + 5*s. Is q a multiple of 2?
True
Let h(f) = -5*f**2 - 5*f + 6. Let r be h(-5). Let c be (-1)/(4/(-706)) - (-276)/(-184). Let n = r + c. Does 27 divide n?
True
Let v = 0 + 9. Suppose 0 = 4*k + d + 3, -5 - 1 = 3*k + 2*d. Suppose v*t + t - 600 = k. Is t a multiple of 8?
False
Suppose -3*f + 31725 = 22*o - 21*o, 5*f = o + 52875. Is f a multiple of 6?
False
Let w(k) = 34*k + 3114. Is w(11) a multiple of 32?
True
Let l(j) = 19*j - 94*j - 13*j + 49 - 53. Suppose -11 = 5*b - 0*b + 3*c, b + 5*c + 11 = 0. Does 7 divide l(b)?
True
Suppose 0 = 5*u - 25, 5*h - 8*u - 645 = -5*u. Let t = 220 - h. Suppose 2*v - 232 = -t. Does 9 divide v?
True
Suppose 1507*m - 1504*m + 4*k - 99978 = 0, 3*m - 100002 = 4*k. Does 57 divide m?
False
Let n(d) = 5*d - 39. Let m be n(6). Let w = m - -48. Is w a multiple of 3?
True
Let b be 154/(-13) + 44/(-286). Let u(s) = s**3 + 10*s**2 - 12*s - 3. Let p be u(b). Let g = -103 - p. Is g a multiple of 4?
True
Let b = 1 - 9. Let c be 6*38/171 - (-23)/(-6)*-2. Let p = c - b. Is 17 a factor of p?
True
Let p = -165 + 158. Is 445 + -3 + 3 + (-10 - p) a multiple of 17?
True
Let s be (261 - -3)/4*(1 - -17). Suppose -30*d + s = -24*d. Is d a multiple of 22?
True
Let g(t) = 10*t. Let z be g(6). Suppose 0 = 3*i - 5*i + 2*m + 126, 0 = -i + 2*m + z. Let x = i - 39. Is x a multiple of 6?
False
Suppose 0 = -f - 4*i + 1846, -2*f + 2*i - 5*i + 3687 = 0. Let j = f - 1282. Does 16 divide j?
True
Let b = -45690 - -50298. Does 144 divide b?
True
Let j = 161 - 233. Let w = 42 + j. Is 6 a factor of (w/(-4) + 5)*(0 - -2)?
False
Suppose -c + 3 = -k, 17*k - 3*c = 22*k - 9. Suppose s + 5 = 0, -g + k*s + 145 = 5*s. Does 5 divide g?
True
Let g(q) = -13*q - 7. Let m(f) = -1. Suppose -6*n = -2 - 4. Let v(c) = n*g(c) - 6*m(c). Is 30 a factor of v(-7)?
True
Suppose -4*d = -16, -22*d = 3*y - 24*d - 3154. Is 25 a factor of y?
False
Suppose 102 - 258 = -2*k. Suppose -4*b + 2*n = -48, 4*b + n = k - 30. Is b a multiple of 10?
False
Let s = 2 + 2. Let r = -452 - -1220. Suppose r - 128 = s*h. Does 33 divide h?
False
Suppose -12*h = -15*h + 2412. Let t = -433 + h. Is 27 a factor of t?
False
Let d(n) = 9*n**3 - 28*n**2 - 9*n - 65. Let c(f) = 4*f**3 - 14*f**2 - 4*f - 32. Let k(z) = 7*c(z) - 3*d(z). Let x be k(14). Let v = x + 71. Does 4 divide v?
True
Let r(z) = z**3 + 6*z**2 + 8*z + 19. Let o be r(-5). Suppose -o*d = -15*f + 12*f + 274, -5*f + 5*d = -450. Does 18 divide f?
False
Suppose -4*k - 36 - 40 = 0. Let q = -10 - k. Suppose -2*v = -q - 31. Is 10 a factor of v?
True
Let k(q) = 5*q + 2. Let c be k(-4). Let m be (9 + c)/(1*6/4). Let z(g) = -g**2 - 10*g + 8. Does 22 divide z(m)?
False
Let j be (-7644)/72 - (-1)/6. Let c = -20 - 26. Let x = c - j. Is 19 a factor of x?
False
Suppose -2*p + 42 = -3*a, 0 = 3*p - a + 22 - 85. Let x be -2*2/(-3)*45/(-12). Let h = p + x. Does 10 divide h?
False
Does 278 divide -10 - ((-4)/36 - (-4979060)/(-90))?
False
Suppose -5*f = -9*x + 4*x + 20, 3*x = -3*f - 12. Let c = -11 - x. Is 559/5 + c/(-55) a multiple of 21?
False
Suppose 3*x = 2*x + 15. Suppose 8*z + 5082 = x*z. Is 66 a factor of z?
True
Suppose 5*i + 117*p - 119*p = 14790, -3*i + 8875 = -p. Is i a multiple of 80?
True
Suppose 364934 + 194742 = 82*v + 78172. Is 8 a factor of v?
True
Suppose 2*f = d - 6, -f - 8 = 2*d + 5. Let r be 1*-5 - (-5)/f. Let l(u) = -u**2 - 9*u - 10. Is l(r) a multiple of 8?
True
Is 122 a factor of -9 + (-5 + 4 - (-44672)/2)?
True
Suppose 0 = 4*l + 3*k + 2*k - 48, -4*l + 12 = -4*k. Let t be (1 - 59)/(l + -6). Let u = 129 + t. Does 28 divide u?
False
Suppose 243*w + 75 = 240*w. Let v = -15 + w. Is v/(-6)*(-312)/(-16) a multiple of 13?
True
Is 4 a factor of (-18)/(-1 - -4) - (2*162)/(-1)?
False
Suppose -17*u + 32 = -13*u. Suppose 0 = -3*i + 2*i + u. Suppose 360 = -2*a + i*a. Does 14 divide a?
False
Suppose -3*f - 33390 = -2*k, 15*f - 13*f = 12. Is 40 a factor of k?
False
Suppose 2*d = 0, d - 2 = -2*w + 4. Let a = 244 - 244. Does 18 divide (-3 - a) + (w - -38)?
False
Let f be (-55)/(-10) + (-15)/(-6). Let o(j) = 29*j + 29. Does 3 divide o(f)?
True
Suppose 62 - 116 = 3*r. Let l be (-2)/(-9) - 50/r. Suppose 0*g = -l*g + 201. Is g a multiple of 26?
Fals