 Solve z = a + 6, 3*z = -a - w + 3 for z.
2
Let c be 61 - (-5 - 30/(-3)). Let q be 285/2*c/(-84). Let d = -85 - q. Solve d = 5*g, -r + 4*g - 6 = 6 for r.
-4
Suppose 87 = 3*z - 2*d - d, 84 = 3*z - 4*d. Suppose 7*u + 4 = z. Solve 27 = 3*r + u*l, 6 = 5*r - 2*r - 3*l for r.
5
Suppose 0*r = -17*r. Suppose r = -25*u + 20*u + 20. Solve -u*h = 5*z - 2*h - 8, -2*z - 1 = 5*h for z.
2
Let v be 160/72 + 8/(-72)*2. Solve 0*g + 2*x - 2 = g, -6 = 3*g + v*x for g.
-2
Let d = -1217 - -1221. Solve -f + 8*b = d*b, 16 = 5*f - 4*b for f.
4
Let x(y) = -3*y**3 - y**2 + 7*y - 2. Let p be x(3). Let n = p - -77. Let k = 11 - n. Solve -b = 4*t, 7 = 2*b - k*b - 5*t for b.
-4
Let b(y) = y**2 + 10*y - 116. Let u be b(7). Suppose -2*t = 5*g + 15, -2*t + 25 = t - 2*g. Solve t*k = -u*w - 1, -2*w = k + 3 - 0 for w.
-2
Let u(d) = -17*d + 2. Let q(b) = 1. Let v(i) = -3*q(i) + u(i). Let f be v(-1). Let g = -12545 - -12547. Solve 5*o - 6 = g*h - f, -4*h - 8 = 4*o for o.
-2
Suppose -3*c + 44*s + 6 = 47*s, -7*c - 5*s + 20 = 0. Solve 3*r - 100 = 2*l - 90, 2*l + 18 = c*r for r.
4
Let t be ((-19108)/(-1967))/(12/21). Solve 4*z + g - t + 3 = 0, 3*z = -3*g + 15 for z.
3
Suppose -14 = -3*l + 4. Let b(w) = w - l + 2 + 1 - 2*w. Let x be b(-8). Solve -x*k + 22 = -0*h - 2*h, 4*h = 4*k - 20 for h.
-1
Let q = -14 - -4. Let z be (-3)/(-1*(-5)/q). Let l be z/(9/3) + 2 + -2. Solve l*p + 8 = 4*w - 6, 0 = 2*p - 5*w + 15 for p.
-5
Suppose -198*n + 2277 = 9*n. Solve -5*f = -8*a + 7*a + n, 5*f = -2*a - 23 for a.
-4
Suppose v + 3*v = 20. Let w(b) = -1733*b + 19066. Let h be w(11). Solve h*o + 0*o = 9, -v*x + 2*o - 6 = 0 for x.
0
Let o = 149 + -113. Suppose -t + 13 = 4*p - 8, 4*p + 4*t - o = 0. Solve -8*v + 3*v = 20, p*i - 2*v = 28 for i.
5
Suppose 0 = k - 2*k + 9. Suppose -c - 3*n - 936 = 0, 2*c + 3*n + 1701 = -174. Let u = -936 - c. Solve -3*z + 5*g - k = -5*z, 2*z - u*g + 15 = 0 for z.
-3
Let u(a) = 23*a + 2969. Let n be u(-129). Solve n*s = j + 5, 2*j - 3*j + 9 = 5*s for s.
2
Suppose 2*k - 1 = -3, 4*l - 1006 = 2*k. Let j = l - 251. Solve q + j - 9 = 4*c, -q - 15 = 4*c for c.
-3
Suppose -1 + 61 = -4*z. Let x = z + 23. Suppose 4*p - 1 = -5, -5*y = -p - 106. Solve -a + y = -4*n + x, 3*n + 5*a + 27 = 0 for n.
-4
Suppose -6 = -5*m + 3*m. Let y(g) = 2*g**3 + 2 - 3*g - 5 - 3*g**m - 5. Let z be y(-2). Solve v + 5*j = -v + z, v + 2*j = 3 for v.
3
Let j = 3120 - 3118. Solve 0 = -j*u + 2*b - 10, -1 = -3*u + 2*b - 16 for u.
-5
Suppose -4*c = -3*g - 5, 22*c = 18*c - g + 9. Suppose -3*s + 0 = -o + 21, 2*o - 3*s = 27. Solve -3*w = 4*p - p - o, 4*w - 2 = c*p for w.
1
Let x(p) = 4*p + 52. Let d be x(-13). Suppose -u + 4 = y, d = 3*u - 2*y - 2*y + 2. Solve 5 = -3*k + u*k + j, 25 = 5*k + 5*j for k.
0
Let w = 71 + -26. Suppose 3*p = 3*y - w, 5*p + 61 = 2*y + 2*y. Suppose 2*h + j = y, -5*j = 2*h - 10 - 20. Solve 0 = 5*o - q + 19, 5*o + 22 + 3 = -h*q for o.
-4
Let k(f) be the second derivative of f**4/12 + f**3/3 - 19*f**2/2 - 50*f. Let z be k(-7). Solve 4*i = -3*t + 31, 4*t - 2*i + i = z for t.
5
Let j(r) = -3*r + 32. Let k be j(10). Let g be (6/2 + -2)*k. Suppose -n - 5 = g*y, -3*n = -2*n - 4*y - 19. Solve 4*z = n*u + 2*z - 13, 2*u - 13 = -3*z for u.
5
Let c = -95 + 98. Let b(l) = -l**3 + 12*l**2 - 12*l + 12. Let u be b(11). Let h be u/c + 10/45*21. Solve -h*n - 3*d + 11 = 0, 2*d - d = n - 7 for n.
4
Suppose 1 - 5 = -t, 5*q + t = 39. Suppose -6*r = -37 + q. Suppose 2*w = 3*h - 5, 5*w + 0 = -r*h + 25. Solve 4*i - 3*o + 1 = 12, 17 = -w*i - 3*o for i.
-1
Let b(s) = -5*s - 8. Let q be b(-9). Suppose -q - 25 = l. Let m = -58 - l. Solve -2*k = -m*g - 4, 3*g + 4*k = -g + 8 for g.
0
Suppose 0 = -4*y + 3*p + 11, 17 - 5 = 4*y - 4*p. Solve g - 2*v = -5*v - 15, y*g = 4*v + 20 for g.
0
Let h = 2310 + -2290. Solve 3*a + 19 = -2*u, -3*u - h = -5 for a.
-3
Suppose 0 = 5*j + 5*d - 150, -2*j + 49*d + 58 = 50*d. Solve 0 = 3*z - 3*u, 2*z + 39*u = 34*u - j for z.
-4
Let p = 1 + -1. Let g(j) = -30*j + 182. Let o be g(6). Let n be 16/(4 - o) - (-55)/(-11). Solve p = 4*f + n*l + 35, -2*l + 20 = -6*l for f.
-5
Suppose 0 = 16*w - 21136 + 20816. Solve 0 = y + 2*l - 10, 13*l - 17*l + w = -5*y for y.
0
Let k = 329 + -274. Suppose k - 57 = -a. Solve 4*l = a*q + 8, -l + 0*l - 3*q = 5 for l.
1
Suppose 20 = -5*y - 5*i, -3*i = -5*y + 4*y + 16. Let q be 1/(((-5)/15)/(y + -2)). Solve q*n - 5 = j - 0*j, 4*j - 25 = -3*n for j.
4
Let a = -649 - -712. Suppose a*w - 22*w = 82. Solve -6*g + 3*p = -g - 20, -w*g + 8 = -p for g.
4
Let v = 42 + -44. Let f be (-2)/(14/(-21)) - (-2)/v. Let h = 9 - 9. Solve o - 24 = t + 4*t, 5*o + f*t - 12 = h for o.
4
Let w be -2 - (-7)/((-7)/(-6)). Let n(y) = 7*y**2 + 564*y - 241. Let m be n(-81). Solve -2*z - m*z = w*i + 16, -2*z + 12 = -3*i for i.
-4
Let n be (11*-1)/(44 + (-1683)/34). Let j(r) = r**2 - 4*r + 3. Let o be j(5). Let b be (o/12)/(2/6). Solve -4*d + n*i = -2 + 6, d - i = -b for d.
0
Let y be (-8 + 192/18)*9/6. Let t(k) be the third derivative of k**4/24 - k**3/2 - 2*k**2. Let b be t(7). Solve -y*j = 2*n + 14, 0 = -b*j + 3*n + 16 - 5 for j.
-1
Let n = 783 - 719. Suppose u - 4*u + 183 = 0. Let c = n - u. Solve 4*l - 12 = 4*y, c*l - 18 = 4*y - 5 for l.
-1
Suppose -15*z - 2265 = 1665. Let c = z - -265. Solve 5*l - 8 = -0*l + 2*o, 12 = -c*o for l.
0
Let j(o) = 11*o**2 + 45*o - 46. Let w be j(-5). Solve -7 = -3*y + 2*h, 0 = -w*y - 5*h + 8 + 9 for y.
3
Suppose -47*o - 8*o - 22*o = 24*o. Solve -2*g = -45*d + 47*d + 22, o = -3*d + 2*g + 7 for d.
-3
Let p = -6747 - -6752. Let w = 1 + -1. Suppose -2*i = -2*a + 16, 2*i + 25 = p*a - w. Solve 0 = -u - a*h + 9, -u + 2*h = -5*u + 16 for u.
3
Let u(b) = 2*b**2 - 67*b - 102. Let y be u(35). Solve 8 = -5*n + 3*x - 6*x, y*n - 3*x + 24 = 0 for n.
-4
Let s(m) = -6*m - 4. Let q be s(-3). Let k be (-3 - 1)/((-4)/q). Let t be -3 - (3 - 1)*k/(-4). Solve 4*a + 3*i - 12 = 0, -12 = -t*a + i - 0*i for a.
3
Let v(g) = -g**2 + 11*g - 16. Let c be -6*1*51/(-34). Let u be v(c). Solve -b + 5*a = 3*b - 8, b + 3*a = u for b.
2
Let q(k) = -k**2 - 8*k - 16. Let l(r) = -7 - 3*r - r - 1. Let f be l(-1). Let y be q(f). Solve b = -5*w - 7, y = 4*w - 4*b + 4 + 16 for w.
-2
Let d(u) = -u + 12. Let o = 19 + -12. Let m be d(o). Let h = -1055 - -1055. Solve 0*x - m*s + 28 = 3*x, h = -4*x - 2*s + 14 for x.
1
Let w be 3/1*1937/39. Let p = w - 145. Solve -p = u - a, 2*u - 2*a = -a - 8 for u.
-4
Suppose -c - 4 = 0, 0*c = -5*o + 2*c + 43. Let k = o - -5. Let s be (-1)/4 + (27/k - 2). Solve 4*v - 8 = -r - 2, r + 3*v - 4 = s for r.
-2
Let q = 31 + -27. Suppose 3*m = -2*n - n + 6, -5*m - q = -2*n. Solve -5*v + 3*b + 7 = 0, n*b + 6 = 6*v - 2*v for v.
2
Suppose -2*i + 4*o = 0, -4 + 2 = -2*i + 2*o. Suppose -25*p - i = -52. Solve y = 5*v + p - 8, -4*v + 5*y - 12 = 0 for v.
2
Let t be (-50)/5 + -2 + (-12 - -41). Solve -4*g - 13*y + 36 = -t*y, g + 6 = -2*y for g.
4
Suppose 3*c - 2*c = 0, 20 = 4*y + 5*c. Suppose -y*z = -3*s + 9, s - 3*s + 6 = 5*z. Suppose z = -2*g + g + 2. Solve 3*r = -4*l - 4, r - 2*l = g*r for r.
-4
Suppose 26*a - 26*a = 46*a - 138. Solve 3 = l - s, -a*l = 4*s - 8 + 13 for l.
1
Let j(y) = -y**2 + 62*y + 1852. Let n be j(84). Solve 3 = -a - r, -8*r + n*r = -5*a + 3 for a.
-1
Let y(w) = -w**2 + 14*w + 20. Let j be y(15). Suppose -8*c + 2*p - 21 = -11*c, 15 = j*p. Solve -4*v - u + 18 = 2, c*u - 5 = 5*v for v.
3
Suppose -6*b + b = h - 21, 3*h + 12 = 0. Suppose -107*g + 88*g = -46 - 11. Solve -g*x - 2*t = -2*x + 8, 0 = -b*x + t + 15 for x.
2
Suppose 6*a - 1140 = -4*a. Suppose 5*v = 4*h + 262, v - 20 - a = 2*h. Let w = 84 + h. Solve -5*k = -n + w - 2, 0 = 5*k + n + 6 for k.
-2
Suppose 26 = -4*j + 9*j - 4*o, -2*o - 16 = -3*j. Solve -5*k = -j*k - 4*r - 21, 2*r = -8 for k.
-5
Let u(c) = -9*c**2 - 225*c + 4. Let r be u(-25). Suppose y + 10 = 2*m + 4*y, 0 = m + 5*y + 9. Solve 6*a = 2*a + f - 1, -r*a + m = -5*f for a.
-1
Let f(j) = 2*j + 70. Let t be f(-33). Let p = 7 - 6. Let r be (p + -1)/(4 - 2). Solve r = 5*a - 3*y - 10, 2*a - 3*y + 4 = t*a for a.
2
Let d = 5 + 3. Let a(j) = -2*j**2 + 35*j + 18. Let k be a(18). Suppose -2*i + k*z + 13 = z, -z = -3*i + 7. Solve -i*h - d = r + r, -12 = 4*h for r.
2
Let u be (107/21 - 6/14)*9. Suppose -u = -y - 39. Solve -3*b - 3*m + 3 = -y, -b + 2*m + 8 = 0 for b.
4
Let z be (((-30)/8)/(-5))/(78/520). Suppose z*a = 75 - 60. Solve 3*o + 2*f - 5 = 0, a*f - 1 = -3*o + 5 for o.
1
Let j(