89 + k. Is 8 a factor of v?
True
Suppose 4*z - 417*g + 413*g = 28664, 2*g = -3*z + 21483. Is 34 a factor of z?
False
Suppose -3*x - 15 = 0, 2*x = -41*m + 36*m + 835. Is m a multiple of 2?
False
Let b(f) = -15*f + 54. Let r be b(-7). Let q = -101 + r. Does 4 divide q?
False
Let f = -33 - 19. Let g = f - -112. Suppose 0 = 3*a - b - 86, 2*a - 2*b = -0*b + g. Is a a multiple of 3?
False
Suppose -356*u = -862342 - 5387594. Does 57 divide u?
True
Let w(y) = 8*y**2 - 32*y + 16. Is 139 a factor of w(-20)?
False
Let i be 1/(4 - (-275)/(-70)). Let c(v) = -8*v + 0*v**2 - i*v**2 - v**3 + 18 + 5*v + 2*v**2. Does 6 divide c(-12)?
True
Let r be (5 - 189/39) + 24/13. Suppose -2704 = -4*l + 3*y + y, 0 = r*y + 8. Is 42 a factor of l?
True
Suppose 3*q + v = 3926, 5*v = 4*q - 5648 + 388. Suppose 3*u - q = -2*u. Let n = 383 - u. Is 23 a factor of n?
False
Let y be ((-6)/(-4))/((-3)/4). Let c(q) = q**2 + 3*q + 4. Let g be c(y). Let n(r) = 17*r + 3. Does 9 divide n(g)?
False
Let n = -23196 + 39319. Is n a multiple of 9?
False
Is ((-8290)/(-20) - -7)/((-12)/(-48)) even?
True
Suppose -7*z + 65526 = -38556 + 22210. Is 43 a factor of z?
True
Let k(l) be the third derivative of l**5/30 - 7*l**4/12 + 7*l**3 - 31*l**2 + 1. Is k(4) a multiple of 6?
True
Let y be (-3636)/(-26) - (-12)/78. Suppose 6*d - y = 5*d. Does 25 divide d?
False
Let t(x) = -29*x**2 + 19*x + 6. Let w(i) = 87*i**2 - 56*i - 21. Let r(o) = -7*t(o) - 2*w(o). Is 20 a factor of r(4)?
True
Suppose -12*a + 90073 = -191870 + 64011. Is 13 a factor of a?
True
Let s(k) be the first derivative of k**6/40 - k**5/24 + 3*k**4/8 + 2*k**3 + 18. Let i(j) be the third derivative of s(j). Does 5 divide i(2)?
True
Suppose 0 = -4*m + 4*i - 8*i - 44, -19 = -m + 4*i. Let j(z) be the second derivative of -7*z**3/2 - 11*z**2/2 - z. Is j(m) a multiple of 21?
False
Let b be (6/5)/(84/16170). Suppose -17*y + 1897 = b. Is 4 a factor of y?
False
Let a(y) = 190*y**2 - 174*y + 192. Is a(13) a multiple of 16?
False
Let w be 2*1 + (-64 - 9272). Is 12 a factor of 12/(-32) - w/16?
False
Let b(u) = 15*u**3 - 4*u**2 + 5*u + 5. Let o be (0 - (-24)/(-16))/(1/(-2)). Is 61 a factor of b(o)?
False
Suppose 11 = -3*l - 4. Let w be 2/(-10) + 1729/l. Does 6 divide (-10)/45 - w/18?
False
Let h(q) = 555*q + 1254. Does 81 divide h(10)?
True
Let t = -13904 + 23506. Does 16 divide t?
False
Let m = 509 + -507. Does 6 divide -8 + 5 - (m + -811)?
False
Let l(g) = g**2 + 11*g - 2. Suppose 52 + 3 = -5*j. Let f be l(j). Is 5 a factor of 975/21 - (-6)/28*f?
False
Suppose 260*o = 158*o + 127500. Does 12 divide o?
False
Let p(c) = -6*c + 15. Let v be p(3). Let z be 168 - 0 - (-6 - 0 - v). Suppose 49*u = 46*u + z. Is 6 a factor of u?
False
Suppose 287 = g + 4*q - 110, 2*g - 786 = -4*q. Let x = g + -349. Does 7 divide x?
False
Let z(p) be the third derivative of p**5/20 + p**4/8 + 25*p**3/6 - 4*p**2 - 2*p. Does 9 divide z(-4)?
False
Does 110 divide 8*(76365/35 + 4/28)?
False
Suppose h + 16 = 12. Let x be (-8)/(-6)*(h - (-44)/8). Suppose x*v = v - q + 87, 5*v + 2*q - 435 = 0. Is 29 a factor of v?
True
Suppose 5*s + 4*r + 4 = 0, -5*s - 5*r - 2 = 3. Suppose -55 = -5*a - 5*q, -5*q = -a - s*a - 19. Suppose -2*b + 56 = -a. Is 7 a factor of b?
False
Let z = -266 + 270. Suppose 9*c + j = z*c + 122, 106 = 4*c + 5*j. Does 2 divide c?
True
Let s be (4/(48/(-4364)))/(1/(-3)). Suppose 633 + s = 3*b - 2*i, -3*b - i = -1730. Suppose -20*g = -8*g - b. Does 12 divide g?
True
Let i = -22053 - -38433. Does 156 divide i?
True
Let c = -9582 - -9570. Let j be 2 + 1 + -1 + -1. Does 10 divide j/6 + (-802)/c?
False
Let k(f) = 56*f**3 + 11*f**2 + 5*f + 63. Let m be k(11). Is 2/(-10) + m/175 a multiple of 26?
False
Let a(j) = 20*j**2 + 95*j + 11*j**3 - 113*j + 33 - 12*j**3. Is a(19) a multiple of 26?
True
Let c(a) = -7*a + 8. Let s be c(1). Suppose -s = 6*j + 17. Is (-519)/18*-2 + (-1)/j a multiple of 7?
False
Let v(z) = -z**3 + 14*z**2 + 84*z + 153. Is 132 a factor of v(15)?
True
Suppose -175*h = -205*h + 63360. Does 33 divide h?
True
Suppose -13*t = 1007 - 32. Let g = 78 + t. Suppose 5*j = g*v - 250, 0 = -3*v + 5*j - 4*j + 266. Does 18 divide v?
True
Let o(i) = -56*i - 2. Let s be o(1). Let j = s - -39. Let c = j - -31. Is c a multiple of 12?
True
Let s = -11 - -11. Let f(h) = 2*h**3 - 8*h**2 - 13*h + 94. Let y be f(6). Suppose -r = -s*r - y. Is r a multiple of 20?
True
Let n be (-80)/24*(-9)/5. Let u(y) = -y**2 + 7*y - 2. Let w be u(n). Let h = 48 + w. Is 26 a factor of h?
True
Let v(l) = l**3 - 32*l**2 - 357*l + 198. Is v(55) a multiple of 43?
True
Let r(l) = 21*l + 290. Let k be r(-14). Is 4 a factor of 18/(-30) + k + (-729)/(-15)?
True
Let d be (66/(-12) - -5)*-10. Suppose -k + d*i + 61 = 4*i, 0 = k - 5*i - 61. Is 5 a factor of k?
False
Suppose -3*d + 3 = -2*q - 0*q, q + 12 = 5*d. Suppose 2*h - 102 = -4*a, -151 = -d*h - 4*a - a. Suppose h*k = 42*k + 325. Is k a multiple of 12?
False
Suppose 372105 - 46066 = 32*j + 15*j. Does 44 divide j?
False
Suppose 349*d - 640561 = 288*d. Is d a multiple of 15?
False
Let p(a) = -91 - 80 - 13*a - 20. Does 3 divide p(-23)?
True
Let c(q) = -q**3 + 23*q**2 - 38*q - 59. Let w be c(21). Suppose -10547 = -w*d - 472. Is 50 a factor of d?
False
Suppose 3*m - 29890 = 5*r, -37*r - 39846 = -4*m - 34*r. Does 13 divide m?
False
Suppose -3*n + 3106 = -3953. Is n a multiple of 13?
True
Suppose j = -3*m - 626, 0 = -5*j - 2*m + 5*m - 3130. Let z = j - -1220. Is z a multiple of 22?
True
Suppose -5*l + 3430 = 4*d, -3418 = 4*d - 8*d - 3*l. Suppose -66 = -2*g - g. Suppose -d = -g*i + 5*i. Does 5 divide i?
True
Let g be (-3 - 15)/((-6)/(-81)*-3). Does 8 divide (g/(-45) + -3)*(-40)/2?
True
Does 54 divide 9 + (-5156)/(11/(-198)*8)?
True
Let s be (2/(2/1))/(12/96). Suppose -s*z - 3*r = -3*z - 8, 5*r = -2*z - 12. Suppose -h + 27 + 65 = 5*u, u - 31 = z*h. Is u a multiple of 5?
False
Let n(i) = 83*i + 227. Is n(11) a multiple of 15?
True
Let r(g) be the second derivative of -g**5/20 - g**4/3 - 5*g**3/6 - 5*g**2/2 + 24*g. Let k be r(-4). Suppose 14*u = k*u - 22. Does 12 divide u?
False
Let q = 17439 - 14491. Is q a multiple of 11?
True
Let m(z) = -4 - 4 + 11 + z**2 - 2*z - 4*z. Let a be m(5). Is 3 a factor of (-1)/((a/(-14))/(-1))?
False
Let c(o) = 2*o**2 - 9*o - 32. Suppose 3*u = 4*m - 32, 1 = -5*m + 11. Let q be c(u). Suppose -q = -0*i - 8*i. Does 7 divide i?
True
Let x(r) = -r**3 - 19*r**2 + 30*r + 57. Is 191 a factor of x(-34)?
False
Suppose 14*g - 81*g = -524878. Is 20 a factor of g?
False
Let t(m) = 3*m**2 + 9*m - 7. Let a be t(3). Suppose x = -14 + a. Let i = x - -31. Is i a multiple of 16?
True
Let t(n) = -3*n + 59. Let w be t(15). Let d(q) = 8*q - 82. Is 4 a factor of d(w)?
False
Suppose 4*d + 2268 = -4*s, -d + 5*d = 8. Let b = 803 + s. Is 7 a factor of b?
False
Let a = -366 - -384. Suppose -a*c + 23*c - 2630 = 0. Does 50 divide c?
False
Let q(c) = -19*c**2 + 599 - 2*c**3 + 3*c**3 - 580 + 17*c. Let l be q(18). Is 14 a factor of (23/l)/(1/3)?
False
Suppose d + 4*d = -2*c + 12, -5*c - 2*d = -30. Let y(o) = 6*o**2 - 8*o + 40. Is 12 a factor of y(c)?
False
Let x = -29 - -26. Is (11 - x)*(-6)/(-4) a multiple of 7?
True
Is 227 a factor of 44948/3 + (-216)/324?
True
Let v(r) = -r**3 - 7*r**2 - 12*r - 9. Let f be v(-5). Let z be 2 - (-214*f)/2 - -1. Let q = z + -77. Does 33 divide q?
True
Let w be -3 + (-1968)/5 - 3/(-5). Is 9 a factor of w*5/10*-1?
True
Let u = -1696 - -1718. Let k(q) = -2*q - 10 + 42 + 3*q. Is k(u) a multiple of 27?
True
Suppose 2*d = -v + 12, -2*v - v + 5*d = 8. Suppose -v*r = 5*f - 402, -500 = -7*r + 2*r - 5*f. Does 4 divide r?
False
Let v(g) = 6*g**2 - g - 7. Let a be v(2). Suppose -4*f = -4*o + 900, -11*o = -a*o - 4*f + 868. Is o a multiple of 13?
True
Let n be 2/(1*-2) + 5. Suppose 0 = 55*b - 941 + 721. Suppose -2*s + 0 = b, -150 = -n*w + 3*s. Is 12 a factor of w?
True
Let l = 539 - 573. Let c(o) = -3*o**2 + 5*o - 12. Let j be c(9). Let a = l - j. Is a a multiple of 16?
True
Suppose 2*n + 5*v + 19 = 0, 2*n - 3*v - 15 - 6 = 0. Suppose 5*t - 3*s - 14 = -n, 0 = 3*t + 5*s + 7. Is -2*11*(-1)/t a multiple of 4?
False
Suppose 2*y - 9022 = 4*i, -4*y - 2*i + 925 = -17109. Is y a multiple of 167?
True
Let o(c) = 32*c**3 - 6*c**2 - c + 1. Let k(b) = -97*b**3 + 17*b**2 + 2*b - 4. Let z(g) = -3*k(g) - 8*o(g). Is 35 a factor of z(2)?
False
Does 66 divide -2*(2 - 0 