Let o(x) be the first derivative of x**4/4 - 2*x**3 - 6*x**2 - 6*x + 57. Let z be o(8). What is the highest common divisor of z and 143?
13
Suppose 2*y + 5 = o, -21*y - 6 = -2*o - 18*y. Let r be o*(5 + 82/(-6)). Suppose 123 = 3*q - 72. What is the greatest common factor of r and q?
13
Let t be ((-3 - 3) + 8)*(-6950)/(-4). What is the highest common factor of t and 5?
5
Suppose -590*a + 594*a = -h + 12, 0 = 2*h + 3*a - 84. Let y = -255 - -465. Calculate the highest common divisor of y and h.
30
Let m(k) = -k**3 - 24*k**2 - 2*k - 34. Let g(c) = c**2 + 34*c + 96. Let b be g(-30). Let p be m(b). Calculate the greatest common factor of 378 and p.
14
Suppose -9*n - 88 = -790. Let i = -69 + n. Let w = 7 + -4. Calculate the highest common divisor of i and w.
3
Let t(h) = -32*h**2 - 53*h - 11. Let c be t(-4). Let o = 339 + c. What is the greatest common divisor of 644 and o?
28
Let v = 21085 - 20673. Calculate the highest common divisor of v and 5047.
103
Suppose -11*z = -69 + 14. Suppose -5*g + z*m + 820 = 0, 4*g + 0*m - 666 = 2*m. Calculate the highest common factor of 13 and g.
13
Suppose 2*a = 2*t + 72, -2*a = -6*a - 2*t + 174. Let w = 155 - a. Let x = 174 + -98. Calculate the greatest common factor of w and x.
38
Let v = -2684 - -2799. Calculate the highest common factor of v and 80.
5
Let q(b) = 2*b**2 + 10*b + 6. Let n be q(-6). Let f = 800284 - 799834. Calculate the highest common divisor of f and n.
18
Let x be -29 + (15 - 1) - -95. What is the greatest common factor of x and 12080?
80
Let y = -779 - -1150. Suppose 2*u - 51 - y = -2*b, -5*u - 20 = 0. Let c = -12 - -55. Calculate the highest common divisor of b and c.
43
Suppose o - 22329 = 3*k, -937*k + 930*k = -2*o + 44653. What is the highest common factor of o and 114?
114
Let k(d) = -69*d**2 + 1245*d - 12. Let x be k(18). Calculate the highest common factor of 3126 and x.
6
Let g(w) = 8*w**2 + 7*w + 1. Let a be g(-2). Let r(u) = -3*u - 148. Let x be r(0). Let p = 23 - x. What is the greatest common divisor of p and a?
19
Let x be 84591/585 - 4/(80/12). What is the highest common divisor of 7272 and x?
72
Suppose 7*f + 13514 = 5*d + 4*f, 13512 = 5*d - 4*f. Calculate the greatest common divisor of 624 and d.
208
Let q(r) = 232*r + 1587. Let g be q(18). Calculate the greatest common divisor of g and 1695.
339
Suppose 0 = n - 3*t - 6, -3*t - 2 = -9*t - 8. Let i = -207 + 110. Let u = i - -148. What is the greatest common factor of n and u?
3
Suppose 0 = -4*s - s + 15. Let f = 27 - -59. Let w = -59 + f. Calculate the highest common divisor of w and s.
3
Let a = -229167 - -229200. Let j = 32 + 23. Calculate the highest common divisor of j and a.
11
Suppose -12*v - 7*v = -6422. Let w = 370 - v. What is the greatest common factor of 992 and w?
32
Let x(z) = 13*z - 11. Let t(a) = 40*a - 32. Let i(w) = 3*t(w) - 8*x(w). Let s be i(2). Let u = 28 - 12. What is the greatest common factor of s and u?
8
Let c = 18 + -7. Suppose -2*w + c = -w. Suppose -51*m = -9*m - 1386. What is the greatest common divisor of m and w?
11
Suppose -2*j + 69 - 5 = 0. Let p be ((0 - -2) + (-80)/j)*-2. What is the greatest common factor of 13 and p?
1
Let q(n) = n. Let g be q(3). Let x = 497 - 497. Suppose 60 = 2*j + 3*f - x*f, -j + f = -20. What is the highest common factor of g and j?
3
Let s be (3 + 0)/((-15)/65). Let q(j) = 4*j**2 + 46*j + 2. Let n be q(s). What is the greatest common divisor of n and 20?
20
Suppose -i - n - 345 = 0, 3*n = 20*i - 22*i - 687. Let q = i + 532. Calculate the greatest common factor of q and 23.
23
Let g(r) = -8*r - 18. Let p be g(-11). Let n = p - 63. Let t be (-2)/3 + -9 + 224/21. What is the highest common factor of n and t?
1
Suppose 8*v + 18 = 6*v + 5*s, 0 = -2*v + s - 2. Let t be v - (-1)/(-2)*(-12 - 1646). Calculate the highest common divisor of t and 10.
10
Suppose -10*c + 3*d + 90 = -8*c, -2*d = -5*c + 214. Suppose 9*s - 8*s - 21 = 0. Let x be 2/(-4 - (-87)/s). Calculate the highest common divisor of x and c.
14
Let q(d) = -3*d. Let p(h) = -2*h. Let k(v) = 10*p(v) - 6*q(v). Let z be k(0). Suppose z*i = 7*i - 147. What is the highest common factor of 7 and i?
7
Let n = 16051 - 11182. What is the greatest common divisor of 27 and n?
9
Let w(i) = 9*i. Let c be w(6). Suppose j = 5*t - 281, 0 = t + 3*j - 19 - 34. Suppose -11*k = -10 - t. What is the greatest common factor of k and c?
6
Suppose 0 = 4*w + 4*z - 5451 - 7965, -2*z + 3348 = w. Calculate the highest common divisor of 700 and w.
140
Suppose -3*i + 124 = 4*y - 2*i, -3*i - 5 = -y. Calculate the highest common factor of y and 2291.
29
Let m(j) = -j**3 - 20*j**2 - 38*j - 323. Let f be m(-19). Calculate the highest common divisor of f and 6384.
38
Suppose -7 = -s + 41. Let a = s + -45. Let n be (8/(-6))/((-1)/(a - 0)). What is the highest common divisor of n and 32?
4
Let f = -7 - -12. Suppose 5*c + f*u = 43 - 8, -3*c = -2*u - 26. Let h = -55278 + 55280. Calculate the highest common divisor of h and c.
2
Suppose 3*z = 5*x - 25281, 0 = 481*x - 478*x + 5*z - 15155. Calculate the greatest common factor of x and 15.
15
Suppose 1676 = -3*h + 326. Let w be ((-8)/10 - -2)/((-27)/h). Suppose -10 - 40 = -10*l. Calculate the greatest common divisor of l and w.
5
Suppose 4*z - 156 = 204. Suppose -6*j = -6 - z. Let x be (92/j - 4)*32. Calculate the highest common divisor of 84 and x.
28
Let w(m) = 7*m + 54. Let t be w(-7). Let y be ((-2)/t)/((-6)/900). What is the highest common factor of y and 450?
30
Let v be 39/10 - 6/(-60). Let x = 1 + 91. Calculate the highest common factor of v and x.
4
Let q(v) = -111*v - 7520. Let o be q(-68). What is the greatest common divisor of 23548 and o?
28
Let p be (-25)/(2/8 - 1/20). Let y = p - -202. Suppose -6*w = -9*w + 33. What is the highest common divisor of w and y?
11
Let l be 65/2 + (-27)/(-54). Let x(c) = -c**2 - 5*c. Let k be x(-3). Let o be (l/(-11))/(k/(-104)). Calculate the greatest common divisor of 26 and o.
26
Let v = -11955 - -13515. What is the greatest common divisor of 360 and v?
120
Suppose 12*c - 234 = 1326. Calculate the greatest common factor of 430 and c.
10
Suppose 2*a + 22*a = 336. What is the highest common factor of 15302 and a?
14
Let g = -105 + 125. Let k be ((-5)/g - -3)*(9 + -1). Suppose k = 5*s + 5*w - 13, 4*w + 22 = s. Calculate the greatest common divisor of 25 and s.
5
Suppose -4*g - 23*g + 7*g = -4100. Calculate the highest common divisor of g and 3403.
41
Let y = -5 + 36. Suppose -32*j + 2 = -y*j. Calculate the highest common factor of j and 4.
2
Let d(r) = -5*r**3 - 28*r**2 - 12*r - 8. Let f be d(-5). Let u be (17/((-68)/(-8)))/((-1)/f). Calculate the greatest common factor of u and 46.
46
Let g = 69 + -64. Suppose 6*y = g*y - 13. Let c(m) = -4*m - 8. Let t be c(y). What is the highest common divisor of t and 11?
11
Suppose -s + 5 = -t, 96*s = 95*s + 2*t + 4. What is the highest common factor of s and 423?
3
Suppose -6*y - 268 = -9*y + 5*k, 5*y = 3*k + 436. Suppose 0 = g + 2, -3*a + y*g + 214 = 84*g. Calculate the highest common divisor of a and 280.
70
Let l(w) = 4*w - 8. Let f be l(-2). Let m be 108/f*(-224)/12. Let n be m + (-9)/36 + 2/8. Calculate the highest common divisor of 84 and n.
42
Suppose 533*b - 270 = 179*b + 1500. What is the highest common factor of b and 1545?
5
Let m be -63 + (0 - (0 - 0)). Let j = 163 + m. Let z be (-9 - 11) + (-6920)/(-173). What is the highest common factor of z and j?
20
Suppose 143*y = 155*y - 252. Suppose y*b + 336 = 77*b. Let n(q) = -2*q**3 - 4*q**2 - 4*q - 3. Let k be n(-3). What is the highest common divisor of b and k?
3
Suppose -157098 = -216*g + 22182. Calculate the highest common divisor of 11786 and g.
166
Suppose -q = q - 78. Suppose -11*v + 54 = 7*v. Suppose 4*r - 103 = z, z - v*z = 5*r - 132. Calculate the greatest common factor of q and r.
13
Let n = 20 + -18. Suppose 2*d - 4*u = -104, 3*u - u - 112 = n*d. Let m = d - -68. What is the highest common divisor of m and 72?
8
Let i(a) = 60*a**3 - 8 + 0*a - 26*a**3 + 21*a**2 - 36*a**3 + 13*a. Let o be i(11). What is the greatest common factor of o and 1134?
14
Let i(n) = -n**3 - 2*n**2 + 4*n - 13. Let b be i(-5). What is the highest common divisor of 168 and b?
42
Suppose 3*y - b = -1399, -488 = y + 3*b + b. Let u = 481 + y. Calculate the greatest common factor of 143 and