*2 + 16. Let h be k(-16). Solve -2*u - 4*x = 6 - h, -16 = -4*x for u.
-3
Let x = 53 - 51. Solve -2 + 3 = d + o, x = -2*d - o for d.
-3
Suppose -4*u - 1 = -2*c + 1, 0 = u + 3*c - 3. Solve u = -3*g - 2*m - 12, 3*g = -m - 5 - 4 for g.
-2
Let m = 22 - 20. Let z be 4/(-2)*(-5)/m. Solve 4*v + b + 8 = 0, -v + z*b - 2 = -0*b for v.
-2
Let c(d) = -4*d - 11. Suppose -4*t - 18 = 2. Let q be c(t). Solve -3*y - 3*s = -q, -s + 0 = 1 for y.
4
Let t = -9 + 13. Let c = 8 - t. Solve 2*y - 8 = -a, 3*y = c*a - 0 - 10 for a.
4
Let l(o) = o**3 - 4*o**2 - 6*o + 11. Let g be l(5). Suppose -g*w = -10 - 8. Solve u = -r + 4*u + 5, -4*u - 5 = -w*r for r.
-1
Let y = -110 - -111. Solve -4*u = 3*s + 7, -u + 1 = -y for s.
-5
Suppose 6*j = 2*j. Solve u - 2 = -3*o - 19, j = u + 2*o + 12 for u.
-2
Let p be ((-2)/(-4) - 1)*0. Let w = 25 - -2. Solve -5*a + 2*t = -2*t + 17, 5*a + t + w = p for a.
-5
Let o be ((-4)/6)/((-4)/420). Suppose 5*u + 0*u + o = 0. Let w be u/(-4) + 3/(-6). Solve 3*b + 0*b = 3*a + 6, 2*b - 6 = w*a for a.
-2
Suppose 3*q - 10 = i + 29, 4*q - 5*i = 63. Suppose 11 = 2*w + 1. Solve 0 = 5*m + 5*g - w, 5*m + q = 2*g - 11 for m.
-3
Suppose 3*y - 6 = i, 2 = -2*i - 4*y - 0. Let w be (i/(-9))/(-1)*-6. Solve -g + 5*k = -2, 7*g - w*g + 3*k - 10 = 0 for g.
2
Let v be 4/6 - (-10)/(-15). Let m = v + 8. Solve -l + 6 = -2*t, -3*t = -m*t - 25 for l.
-4
Let k be 1/(-5) - (-192)/10. Solve -4*u = -3*m - k, -4*m - 23 = -7*u + 4*u for u.
1
Let g = -9 + 16. Suppose -g + 1 = -3*b, -4*m - 118 = b. Let l be (m/18)/(1/(-3)). Solve 0 = -2*j + 2*k + 14, -4*j - 2*k = -l - 5 for j.
4
Let f(d) = d**3 - 4*d**2 - 4*d + 6. Suppose 3*w = -w + 16. Let x be f(w). Let c = -7 - x. Solve -3*i = 6, 3*i + 13 - 4 = -c*h for h.
-1
Suppose 3*z - 20 = p, 10 = -5*p - 15. Suppose 0*i = z*i - 20. Solve 2*k = 3*k + 3*u - i, k + 8 = u for k.
-5
Let x(u) = u + 4. Let c be x(0). Let l be ((-20)/6)/(c/(-24)). Suppose -2*w = -7*w + l. Solve -k + 45 = -w*n + 4*k, 5*n = -2*k - 15 for n.
-5
Let v = -57 - -59. Solve -6 = f + 2*c, -6*c = -v*c + 16 for f.
2
Suppose 2*i + 3 = -y + 3*i, 4*y + 4*i + 4 = 0. Let f be 8/(-6)*3/y. Solve -4*s + 8 = -f*p, 7*s - 2*s - 4 = 4*p for s.
4
Let g(s) = s**2 + s - 1. Let w(c) = c**2 + 9*c + 4. Let i(a) = -2*g(a) + w(a). Let k be i(7). Solve 7*b = 3*d + 2*b - k, 6 = 3*d + b for d.
2
Let b = -1 + 5. Solve -2*s + 2 = b*k - k, -3*k + 32 = -4*s for k.
4
Let i be (-6)/(-3 - -1 - -1). Let y(s) = 2*s + 4. Let a be y(-3). Let w be (-1 + a - -3)/4. Solve w = -j + 3, j - i = 5*u - 28 for u.
5
Suppose -r - 8 = -3*r. Let a(n) = n. Let i be a(r). Suppose 0 = i*y + 20, -2*y + 2 = 3*w + 6. Solve 0 = 4*u - 2*h - 4, 2 = 4*u + w*h + 6 for u.
0
Suppose 5*z - 3*z + 5*x - 33 = 0, -23 = -2*z + 5*x. Suppose -f - 6*r + 2*r = z, 5*f = -2*r + 2. Solve -2*a + 3*a + 4*h = -12, -3*h = -2*a - f for a.
-4
Let g = -105 + 131. Solve 0 = 3*y + 5*i + g, -5*i + 2*i - 20 = 4*y for y.
-2
Suppose 2*y - 11 = -3. Solve 2*o + 5 = -y*b + 3, -2*o = -2 for b.
-1
Suppose 0 = -7*r + 3*r + 16. Solve r*j - s + 0*s = -4, -j + 5*s - 1 = 0 for j.
-1
Suppose -p - p - 30 = -b, 4*p = 4*b - 56. Let m = -11 - p. Solve 2*q = -2*a - 2, -5*q = -6*a + a - m for q.
0
Let z = -5 + 8. Let j(f) be the first derivative of f**4/4 - 5*f**3/3 + 3*f**2 - 5*f + 3. Let t be j(4). Solve t*o = -2*i - z, -2*i = i + 5*o + 4 for i.
-3
Let n be (-8)/(-6)*(-3)/(-2). Solve 5 - 23 = 5*g - n*m, 3*g = 2*m - 14 for g.
-2
Suppose 4*d + 24 - 2 = c, -5*c + 46 = -4*d. Solve 4*g + 5*u = -c - 0, -3*u - 9 = -3*g for g.
1
Let a = 4 - 1. Suppose -7*z - 14 = -a*v - 3*z, 5*v + 2*z = 32. Solve -2*o - 2*w = 2*o, 3*w - v = 0 for o.
-1
Let k(n) = -4*n - 2. Let s = -8 - -12. Let o be 5/(-4)*(0 + s). Let z be k(o). Solve b + 2 = i, b + 0*b + z = 5*i for b.
2
Let m = 25 - 1. Suppose 5*u - 4*u = 4*x + 24, 0 = -u + 5*x + m. Solve -4*d + 7*d - u = -3*w, 2*w + 5 = 5*d for w.
5
Let v = -13 + 18. Solve -i + 5 = -4*m, 3*i - 2 = v*m + 6 for i.
1
Let j(x) = -x**3 - 5*x**2 - x - 3. Let n(y) = -y**3 + 16*y**2 - 14*y - 20. Let d be n(15). Let m be j(d). Solve 0*r - 25 = 3*r + 5*t, 4*r + 10 = -m*t for r.
0
Suppose -3*y + 45 = -h - 17, 1 = h. Suppose -17 - 13 = -2*o. Solve 5*m + y = 4*q, 4*m + q = -6 - o for m.
-5
Let r be (0 - -4)*(-65)/(-20). Suppose r + 27 = 2*p. Solve -y - 4 = z, -2*y = 3*y - 5*z - p for y.
0
Let y(b) = -b**2 + 7*b + 10. Let d be y(9). Let z(p) = 2*p + 12. Let n be z(d). Let j be (-1 - -1)*(-3 - n). Solve j = -t + 3*r - 3, 3*r - 14 + 5 = -t for t.
3
Let t = 5 - 3. Solve t*l - 4*a - 7 - 11 = 0, 2*l - 2*a = 12 for l.
3
Let m(b) = b + 6. Let s be m(-3). Solve -6 = 4*y - 2*h, -2*y + 0*y + s = -3*h for y.
-3
Suppose 0 = y - 4, 3*j + 3*y = j + 22. Solve 4*b - j*h + 4*h + 13 = 0, 5*b = -3*h + 5 for b.
-2
Suppose 1 = q - 5*u - 4, -3*q + 72 = 4*u. Suppose 3 = -2*x + 11. Suppose -x*o + 6 = -2*o. Solve -3*m + o*t + 2*t = 14, 2*m + 4*t = q for m.
2
Let r be 1*((-2)/(-7) + (-14)/49). Solve 4*d + r*d = -4*q, 3*q + 1 = -2*d for q.
-1
Let o = 6 - 2. Let h = 6 - 4. Suppose -5*m + 94 = 4*j, -j - 24 + 108 = 4*m. Solve -2*k + m = o*f, -3*f - h*f + k = -24 for f.
5
Let k be -2 + 7 + 2 + -4. Solve 0 = k*j - 3, q - 2 = -0*q - 3*j for q.
-1
Suppose q + q + 4 = 0. Let k be q/(-3) + 4/3. Let a = -12 - -21. Solve -k*i = -4*r + 3*i - a, 2*i = -r + 1 for r.
-1
Suppose 5*c + 4 = -6. Let u be ((-5)/15)/(c/12). Solve f + 4*o = u*o, -4*f = o + 7 for f.
-2
Suppose v + 2*v = 0. Let m = 131 + -126. Solve k + h = v, k = 3*k - m*h + 28 for k.
-4
Let p = -8 + 12. Let y(r) = r**3 - 3*r**2 + 2*r + 6. Let s be y(3). Solve n + s = -p*l, -5*n - l - 28 = 3*l for n.
-4
Let i = -6 - -11. Suppose 0 = 4*n + i*o - 105, -3*o - o - 71 = -3*n. Solve 0*l = 2*l, -5*a + 5*l - n = 0 for a.
-5
Let u = 37 - 32. Solve 3*j = -u*m + m - 1, -1 = 3*m + 2*j for m.
-1
Suppose -3*t + 15 = -0. Solve -5*z - 21 = 2*d, -t*d = -13 + 3 for z.
-5
Let y be -6*(0 + 2/(-6)) + -2. Solve y = -3*s + 5*s + 2*l - 2, s + 3 = -3*l for s.
3
Let w(b) = 3*b**2 - 3*b - 1. Let x(m) = -4*m**2 + 4*m. Let u(j) = -5*w(j) - 4*x(j). Let l be u(0). Solve l*k = 10, -3*k = 5*d - 2*k + 3 for d.
-1
Let y(p) = -5*p + 24. Let k be y(4). Solve 2*j - a = k*a, -2*j = -2*a + 6 for j.
-5
Suppose -4*f + 18 = 2*f. Solve -4*y = -5*p + 1, p - 2*p + f*y = 2 for p.
1
Let s = -28 - -31. Solve 4*r - 2*f = 4, -f = 5*r - s*f - 4 for r.
0
Let s be (1*(-2 - -1))/((-2)/22). Solve -5 = l + 5*m, 3*l + 4 + s = 3*m for l.
-5
Let g(q) = -q**2 - 11*q - 10. Let l be (-2 - -3)*-11 - -3. Let u be g(l). Let n(a) = 2*a + 1. Let o be n(2). Solve r - u = -3*c - 0*c, -o*r = c - 14 for c.
4
Suppose m + 3 - 4 = 0. Let s be (4 - 4) + 3*m. Solve s*z = 3*w, -w + 3 + 17 = 4*z for w.
4
Let x = 0 + 2. Suppose x*s - 2*p = 8, -s + 3 = 4*p - 1. Let i = s + 1. Solve i*z = -20, 2 = 2*c - 3*z - 14 for c.
2
Suppose l - q + 3*q - 4 = 0, 4*q + 2 = 3*l. Solve l*c - 2*i = -0*c - 10, 4*c = 2*i - 18 for c.
-4
Let r be ((-3)/(-9) + (-5)/15)*1. Solve r = -5*v + 2*x - 29, -3*v + 1 = 4*x + 8 for v.
-5
Suppose -5*s = v - 22, 5*s - 28 = -4*v - 0*s. Solve 0 = 4*y - o - v, -3*y = -o + 2 - 3 for y.
1
Let b(o) = -o**3 + 3*o**2 + o + 3. Let h be b(4). Let m = -4 - h. Solve -2*x + 8 = 2*g - g, -m*x + 9 = -3*g for g.
2
Suppose -5*c - 10 = -0*c. Let a be c + 3/3 - -21. Let j = a + -13. Solve 3*m - 2*g = j, -3*g - 10 = -4*m - m for m.
-1
Suppose -n = 3*s - 3*n - 3, -5*n + 9 = -2*s. Let v be 0*(-2 - 15/(-6)). Solve -3*j + 2*c - 2 = v, -4*j - 44 = 5*c - s for j.
-4
Suppose -15*m + 24 = -7*m. Solve 0 = m*u - 4*k + 23, -2*k = -2*u + 4*u - 8 for u.
-1
Let o(j) = -3*j - 55. Let d be o(-19). Suppose -8 = 2*c, -5*x = -c - c - 28. Solve 0*b + x*y + 26 = d*b, -2*b + 3*y = -22 for b.
5
Let b be 4/(-10) + 360/25. Solve 3*t = -2*a + 15, t + 3*a + 2 - b = 0 for t.
3
Let b(y) = -y**3 - 8*y**2 - 5. Let c be b(-8). Let f = c - -8. Solve 0 = -f*p - h - 15 - 0, p - h + 1 = 0 for p.
-4
Suppose 0*f = -4*f. Suppose 2*y - 4 = -4*l + 6*y, 0 = y - 2. Let a = 5 - l. Solve -w + 1 = -m, -a*w + 6 + 2 = f for m.
3
Let x = -29 + 37. Solve 4*k = x, 1 = -c - k - 1 for c.
-4
Suppose l = 3*l. Suppose l = -5*g + 22 - 2. Solve -g*b + 4 = -b - 2*c, 0 = 5*b + 3*c + 25 for b.
-2
Suppose -5*f + s + 0 = -13, f + s = 5. Let v = -4 + 4. Let h be 2 + (6 - v/f). Solve 0 = -3*x + r + h, 2*r + 13 + 1 = 4*x for x.
1
Suppose -7 = -5*w + 58. Suppose 8 = -w*u + 17*u. Solve -u*t + c + 3*c = -6, 