+ 8. Let n be f(-6). Is 4/16 + n/16 a multiple of 7?
True
Let g = 1165 - 2229. Let d = 2298 + g. Does 53 divide d?
False
Let y(r) = -r**3 + 14*r**2 - 22*r - 22. Let h be y(12). Does 22 divide (h/(-3))/(12/(-1980))?
True
Let u = 38 + -34. Suppose 6*c = c + q + 22, -c - u*q = 4. Let w = 1 + c. Is w a multiple of 2?
False
Let d be 344/430 - 49/5. Let b(z) be the first derivative of z**4/4 + 3*z**3 - 5*z**2 - 6*z + 1. Does 16 divide b(d)?
False
Suppose 2*b = a - 421, 5*b - 3*a + 0*a + 1054 = 0. Suppose -4*y = 2*g + 466, y - 372 = 4*y - 3*g. Let w = y - b. Is 9 a factor of w?
True
Let c(y) = 1546*y**2 - 206*y + 824. Does 16 divide c(4)?
True
Is (2/(2/(-1317)))/(65/(-20) - -3) a multiple of 17?
False
Let s(b) = 10*b**3 - 67*b**2 + 4*b + 2. Is s(8) a multiple of 3?
False
Let m(z) = -69 + 133 - 44 - 46 + 4*z. Let i be m(6). Does 33 divide -66*(5/(-10) + i)?
True
Suppose -5*z - 2*l - 4669 = -10*z, 3*z + 3*l = 2793. Is 38 a factor of z?
False
Suppose 1543 - 319 = -3*v. Let f = 862 + v. Suppose 4*c - 6 = 3*t - f, 0 = -5*t + 4*c + 760. Is 35 a factor of t?
False
Let a be -1 - ((-15)/5 + 6). Let c(y) = -y**2 - 5*y - 7. Let m be c(a). Let p = 26 - m. Is p a multiple of 29?
True
Suppose -2*c + 0*s + 3 = 3*s, -c + 2*s = -12. Is 1*((c - -25) + 4) a multiple of 7?
True
Suppose -13*m - 3928 = -5*m. Let s = 731 + m. Suppose -s = 2*u - 12*u. Is u a multiple of 6?
True
Suppose 0 = 5*z - 5*u - 56457 + 21002, 0 = 2*z + 4*u - 14224. Is 14 a factor of z?
True
Suppose -4*n = -f - 1599, -644*f + 641*f = 4*n - 1587. Is n a multiple of 133?
True
Suppose -4*w - 24 = 0, -3*z = -5*z - 4*w + 38120. Is 7 a factor of z?
False
Let t(o) = 17947*o + 609. Is t(1) a multiple of 20?
False
Suppose 4*z - 2*v = 8, -5 - 1 = -3*z + 3*v. Suppose 0 = -z*x + 3*k + 924, -2*k = -8*x + 3*x + 2332. Is 26 a factor of x?
True
Let w(i) = -49*i + 15. Let f be w(-6). Suppose t = 4*b + f - 51, 744 = 3*t + 3*b. Does 27 divide ((-4)/10)/((-1)/t)?
False
Let a = -17 + 14. Let b(y) = 32*y + 3. Let d(p) = 32*p + 2. Let m(i) = a*b(i) + 4*d(i). Is 16 a factor of m(2)?
False
Suppose 0 = -2*d - 2*d. Suppose d = -206*y + 198*y + 376. Does 14 divide y?
False
Let b = -3510 - -3643. Does 12 divide b?
False
Let n(c) = c**2 + 26*c - 21. Let w be n(-27). Suppose -3*d + 3*q = w*q - 363, -3*d + 362 = 2*q. Is 5 a factor of d?
True
Let n = -286 + 428. Let t = n + -72. Suppose 0*c - 2*c = -t. Is 8 a factor of c?
False
Let u(z) = -z**2 - 51*z - 123. Does 71 divide u(-31)?
True
Let c = 50 + -39. Does 18 divide 1 + 4 - (c + -132)?
True
Let q = -71 - -67. Let s be 0 + 2 + q*(-2094)/24. Suppose -2*f - s = -6*f - 5*p, 0 = 4*f - 4*p - 324. Is 21 a factor of f?
True
Let m be ((-27)/18)/((-9)/(-444)). Let a be (-8)/2 - 8/(-8). Let n = a - m. Does 11 divide n?
False
Let j(r) = -2*r**2 - 2. Let b(i) = 5*i**2 + 9*i + 33. Let y(m) = b(m) + 2*j(m). Is 87 a factor of y(20)?
True
Suppose -10*s - 57 + 327 = 0. Let o = 18 + s. Does 5 divide o?
True
Suppose 0 = -5*b - 3*r + 23977, -60*b - 5*r = -58*b - 9587. Does 109 divide b?
True
Let u(b) = b**3 + 11*b**2 + 17*b - 7. Suppose 4*k + 24 = -4*g, -2*g = -7*g + 4*k - 57. Let a be u(g). Suppose a*t + 2 = 8, -3*t - 9 = -x. Is x a multiple of 5?
False
Suppose -a + 3*v + 3779 + 51 = 0, 2*a + 7*v = 7712. Is a a multiple of 113?
True
Suppose 27*h - 31*h = 0. Suppose h = -3*d + 5*d - 8, 2*d = 5*k - 722. Does 32 divide k?
False
Let q be -2*(6/(-2) + 18/(-4)). Let x(v) = -7*v + v + q + 2*v + 3*v. Is 9 a factor of x(6)?
True
Let w = 9127 - 6848. Is w a multiple of 45?
False
Suppose -y + 3 - 1 = 0. Let q = 220 - 232. Does 27 divide (q/10)/(y/(-155))?
False
Suppose 3*x = -5*x - 680. Let n = -141 - x. Let u = 102 + n. Is u a multiple of 3?
False
Does 6 divide ((-36)/8*720 + 4)*1/(-4)?
False
Let t(z) = 3547*z**2 - 564*z + 1700. Is 10 a factor of t(3)?
False
Is (-159)/848*-272*(-1006)/(-6) a multiple of 16?
False
Does 118 divide (10134752/1896)/(7/3 - 2)?
False
Suppose -51*i + 71*i - 19080 = 0. Does 106 divide i?
True
Let p = 389 - 233. Suppose 3*h = 3*k - p, 0*h = -5*k + 3*h + 260. Let w = 130 - k. Is 16 a factor of w?
False
Let n = 54735 + -35848. Is 101 a factor of n?
True
Let f(v) = 3197*v - 8116. Is 71 a factor of f(9)?
False
Let u(t) = -48*t + 1. Let q be 3*1/6*4. Let f be u(q). Let y = 293 + f. Is y a multiple of 22?
True
Suppose -39*h + 29*h + 1890 = 0. Suppose 1343*k = 1340*k + h. Is k a multiple of 21?
True
Let r be 93/12 - 1/(-4). Suppose y - 554 = -i, 3*y - r*y + 2754 = -3*i. Does 23 divide y?
True
Let g(t) = 8*t**2 + 4*t - 44. Let o = 13 - 7. Is g(o) a multiple of 26?
False
Let p = 57733 - 38993. Is p a multiple of 118?
False
Is 77 a factor of (-40631000)/(-1400) - (-16)/(-14)?
False
Let y(p) = p**3 - 13*p**2 + 12*p - 17. Let j be y(4). Let k = j - -190. Is 28 a factor of k?
False
Suppose 0 = -77*o + 80*o + 3*a - 21513, 3*o - 21517 = -2*a. Is o a multiple of 57?
False
Let i be (-59)/((-3 + (-14)/(-5))*-5). Let o = 290 - i. Is o a multiple of 16?
False
Suppose 245 - 675 = -5*u. Suppose 0 = -87*d + 89*d + u. Let c = 95 + d. Is 13 a factor of c?
True
Let l = 9148 - 3244. Is 18 a factor of l?
True
Suppose 34*m - 31*m - 102921 = -3*j, -5*j - 857825 = -25*m. Is m a multiple of 8?
True
Suppose y + y - 6 = 0. Suppose -19*t + 538 = -32. Is 25 a factor of y/(-5) + (2358/t - -1)?
False
Suppose 92*w + 87*w - 1938351 = 4862933. Is 23 a factor of w?
True
Let j = 308 - 318. Is 486/4 - j/(-4) a multiple of 7?
True
Suppose -9*v + 6*v - 4*y = -210154, -v + 70066 = 5*y. Does 311 divide v?
False
Let j be ((-38)/(-5))/(((-4)/60)/1). Is 6*j/10*(-1220)/183 a multiple of 24?
True
Let q = 31 + -27. Suppose -224 = -5*z - q*p + 2*p, 5*p - 10 = 0. Is 9 a factor of (0 - -12)*33/z?
True
Let f = -155 - -159. Is f/(-14) + 1352/28 a multiple of 3?
True
Let s be (56/12 - -6)*30/4. Let w = 195 - s. Suppose m + 523 = 4*q, 5*q - 4*m - 755 = -w. Is 24 a factor of q?
False
Suppose -263*y + 51*y + 99225 = -965439. Is 63 a factor of y?
False
Suppose 4*n + 19 + 9 = 0. Let l = n - 8. Is 12 a factor of (l/(-10))/(3/66)?
False
Let j(h) = -458*h + 58. Let s be j(-1). Let x = 85 + s. Does 16 divide x?
False
Suppose 22*y = -236*y + 1520910. Is y a multiple of 5?
True
Suppose s = 4*i + 602, 2288 = 24*s - 20*s + 4*i. Does 34 divide s?
True
Let a = -606 + 472. Let p = a + 259. Does 2 divide p?
False
Suppose r = -r + 124. Suppose 0 = -12*p + r + 22. Suppose 47 = 3*j - 5*n, -p*n + 5*n = -2*j + 38. Does 6 divide j?
True
Let x(b) = -b - 5. Let y be x(-3). Let g(p) be the third derivative of -49*p**4/12 - 2*p**3/3 - 2341*p**2. Is g(y) a multiple of 16?
True
Let t(g) = 3*g - 141. Let j be t(47). Suppose 3*x + 4*f - 3641 = j, -1235 = -0*x - x + 4*f. Is x a multiple of 13?
False
Let x = 14497 + -9797. Is x a multiple of 25?
True
Let z(s) = 27*s**2 - 57*s + 18. Does 32 divide z(-4)?
False
Let j(o) = -6*o - 78. Let b be j(-23). Suppose 54*w - b = 60*w. Is (-582)/w - -4*(-3)/60 a multiple of 29?
True
Let y(i) be the third derivative of i**5/60 - i**4/24 - i**3 - 25*i**2. Let l be y(-2). Does 9 divide (-9 + l)*3*4/(-12)?
True
Suppose -2*r + 4*r - 2*s - 2738 = 0, 2*r + 4*s = 2732. Does 38 divide r?
True
Let n(y) = y**2 + 9*y + 23. Let t be n(-6). Let i(w) = w - 3*w - 15 + 3*w**2 + w - 3*w. Is i(t) a multiple of 10?
True
Let f(n) = -n**3 + 6*n**2 + n + 811. Let p(v) = -3*v**3 - 5*v**2 - v - 6. Let k be p(-2). Does 43 divide f(k)?
False
Suppose -974 - 3514 = -2*d - 5*i, -3*i = -3*d + 6795. Is 59 a factor of d?
False
Let r be 5 - ((-2)/8 - 182/(-56)). Suppose 0 = 2*u - 6*u + 3*y + 208, -u = r*y - 63. Does 4 divide u?
False
Is 20 a factor of 51/(8/72 - (-32)/(-936))?
False
Let c = 162 + -181. Is 13 a factor of (-26)/(-2 - -4)*(2 + c)?
True
Let d(k) = 55*k - 37. Let g(r) = -r - 2. Let u(y) = -d(y) + 3*g(y). Does 17 divide u(-26)?
False
Suppose -3*t + 963*x - 962*x = -30363, t - 2*x - 10126 = 0. Does 92 divide t?
True
Let l(v) = 2*v**2 - 20*v + 5. Let w be l(10). Suppose 0 = a - 5*d - 100, w*a - 84 = 4*a + d. Is 4 a factor of a?
True
Let b(n) = 4*n**2 + 18*n + 27. Let h be b(-11). Suppose -h = -3*i + s - 80, 5*i - 387 = s. Is 7 a factor of i?
True
Let r be (13/26)/((-2)/(-44)). Let v(f) = -15*f**2 - 17*f + 19. Let g(x) = -8*x**2 - 9*x + 10. Let d(w) = r*g(w) - 6*v(w). Does 5 divide d(-3)?
True
Suppose -2*c - 5*m = -120359, 19*c = 22*c + 2*m - 180566. Does 19 div