2*l + u for l.
4
Let k = 26 + -22. Solve -2*j + s - 6*s + 4 = 0, 8 = k*j - 2*s for j.
2
Suppose -z - 17 = -g - 3*z, 0 = -4*g + 5*z + 29. Let p = 15 - 7. Suppose 3*h = 4 + p. Solve 3*f + 5 - h = c, -f - g = 5*c for f.
-1
Let h(x) = -x**2 + 3*x + 21. Let i(y) = -2*y**2 + 5*y + 43. Let r(m) = -5*h(m) + 3*i(m). Let p be r(0). Solve -4 = 4*t + 3*n + p, -3*t - 4*n = 28 for t.
-4
Let c be (2 + 1)/(-3)*1. Let h = 4 + c. Solve 0 + 18 = 3*x - 3*a, 0 = 5*x + h*a + 10 for x.
1
Let l = -37 + 38. Solve s + l = -c, -7*s = -2*s - 2*c - 9 for s.
1
Let x(w) be the second derivative of -w**3/6 - 2*w**2 - 5*w. Let s be x(-4). Solve s*c + 8 = 4*c + q, -5*c + 10 = 5*q for c.
2
Let h be 0/2 - (0 + -1). Let r(o) = 4*o. Let w be r(h). Solve -4*x = -4*v + 32, v + w*x + 6 = -1 for v.
5
Suppose -5*u - 6 = -2*u. Let b(z) = -z**3 - 3*z**2 - 3*z. Let i be b(u). Solve i*g = -0*n - n + 5, 0 = -5*n + 15 for g.
1
Suppose 11 + 14 = 5*s + 5*l, -2*l = s. Solve 3*t = 5*h - 11, 3*h - s = 3*t - 1 for t.
-2
Let p be 11 + (-1)/(-2)*-2. Let w be 2/5 - (-36)/p. Suppose 2*m + 2 = 0, -w*i + i + 20 = -5*m. Solve 2*r + 2*j = 8, -r - 2*j + i = -2 for r.
1
Suppose -5*g + 4*i + 50 = -345, 0 = 5*i + 25. Suppose 4*u + 2*y = 7*y + g, 2*u - 5*y = 45. Solve -2*j + 0 + 6 = 3*m, -5*m = 5*j - u for j.
3
Suppose 3*v + 24 = 6*v + 5*d, 2*v = -2*d + 12. Solve 0 = v*u - 4*u - 2*y + 4, -5*y = u - 7 for u.
2
Let f(i) = -i**3 - 6*i**2 + 8*i + 8. Let l = 16 - 23. Let j be f(l). Let p be 1*(4 + j + 0). Solve 0 = p*g - c - 22, -21 + 3 = -4*g + c for g.
4
Let t be (-3)/(-6)*50 + -2. Let s = -10 + t. Let i = -8 + s. Solve 2*b - 24 = -i*l, -b + 4*l - 3*l - 2 = 0 for b.
2
Let p(z) = z**3 + 2*z**2 - 3*z - 3. Let o be p(-2). Solve 0 = -4*s + 3*s + o, -5*a + 6 = -3*s for a.
3
Suppose 2*x = c + 6, c - 2*x + 30 = 6*c. Let l be 3 - (-1 + 4)/3. Suppose 2*i - 66 = -l*w - 2*i, 3*w - 59 = 2*i. Solve -a - c*a - 19 = -2*v, w = -4*a - v for a.
-5
Suppose -4 = 3*r - 10. Suppose i - 30 = 5*l, 40 = 3*i + r*i - 3*l. Suppose -2*y = -i*y + 27. Solve 3*n + y - 1 = a, -3*a - 32 = 5*n for a.
-4
Suppose -4*z + 9*z = 10. Suppose -4*a + 30 = 3*o + 2*o, 0 = -a - 4*o + z. Solve 0 = 8*s - 3*s + 4*u - a, 2*u = 10 for s.
-2
Let q be 1*(-1)/((-3)/15). Let k = 8 - q. Solve -4*i - 14 - 21 = k*d, -4*i = -4*d for d.
-5
Let p(z) = -3*z + 15. Let y be p(4). Solve -1 - y = -4*d - 4*a, -8 = -2*d + a for d.
3
Suppose 0*u = -u + 3. Suppose 3*h + f = -3 - 1, 0 = -3*h + f - 2. Let x be 3 + h + -5 + 14. Solve 0 = -4*y - 0*a + 2*a + 14, x = y - u*a for y.
2
Let q(y) = y**3 - 7*y**2 + 8*y - 10. Let h be q(6). Solve 4*j + 2 = o, -h*j = -o - 4*j - 4 for o.
-2
Let x(v) = 4*v + 7. Let l be x(0). Solve g = -4*f + 11, 3*f = -l + 16 for g.
-1
Let v = 3 - 0. Suppose -2 = m - v. Let i = 49 - 40. Solve y = -2, -i = 2*s + y - m for s.
-3
Let g(c) = c**3 + 4*c**2 - 11*c - 20. Let u be g(-5). Solve 0*y + q - 5 = 3*y, y - u = -2*q for y.
0
Suppose 2*u = 1 + 1. Let m(w) = -1 - 5*w + u + 0 - w**2. Let j be m(-4). Solve -5*l + 0*l - 5*p - 25 = 0, 2*l - j = 5*p for l.
-3
Suppose -p = 3*p - 68. Let f = p - 5. Suppose f = 2*s + 4. Solve c - 7 = 2*a, 15 = -3*c - 4*a - s for c.
-1
Let c(b) = 25*b**3 + b - 1. Let y be c(1). Solve 5*r + y = -5*n, -5*r - 24 + 11 = -n for n.
-2
Let c(v) be the second derivative of v**5/20 - v**4/6 - v**3/3 + 3*v**2/2 + 2*v. Let a be c(3). Solve 0 = 3*p + o + a, 4*o = p - 5*p for p.
-3
Suppose -3*s - 2*s + 3*p = 1, -2*s = 2*p - 6. Let y be -3*(-1 + s/3). Solve -4*m = -12, -r + y*r + m - 8 = 0 for r.
5
Suppose s + 8 = 4*s - 5*b, 5*b - 28 = -3*s. Solve -5*z - 3*j - 1 = -s, -3*j - 23 = -2*z for z.
4
Let s = 16 + -7. Let a(x) = 3*x - 12. Let n be a(s). Suppose 1 = 3*l - u - 2, -4*l = -5*u + 7. Solve d - n = 5*r, d - l*r - 9 = -0*d for d.
5
Suppose -5*j - 46 = 34. Let p = 60 - 34. Let y = p + j. Solve 5*l - y = -5*v, 2*l + 2 - 6 = -5*v for v.
0
Suppose 0*a - 4 = -4*a - 2*o, 0 = -2*a - 2*o. Suppose -20 = -a*j - 2*j - 2*g, 5*j = -2*g + 25. Solve f - 21 = -4*r - j, 0 = -4*r - 5*f for r.
5
Suppose 2*s + 0*s = -2*x + 38, 4*s - 4*x - 84 = 0. Solve 0 = -3*u - r + 10, 4*u - r = r + s for u.
4
Let o be 15/(-5) - 1*-5. Suppose -o*z = z. Solve z = -i + 4*p, -i + 3*p + 4 = 5 for i.
-4
Suppose -s = 4*c - 3*s - 140, -2*c + 5*s + 62 = 0. Suppose -x + c = 2*x. Solve -6 = -2*g - 4*t, 2*t - 5*t + x = 4*g for g.
3
Let s be 4/6*(-30)/(-4). Suppose 2*t - 49 - 21 = -4*a, s*a = -4*t + 89. Solve 3*k - 2*f = -5, -f - a = 3*k + 3*f for k.
-3
Let z(p) = -p + 4. Let t(g) = -2*g + 8. Let h(r) = -4*t(r) + 7*z(r). Let w be h(6). Solve -q + 3*l = w*q, -2*q - 3 = -3*l for q.
3
Let x = -13 + 13. Suppose 0 = d - 2, -r + x*d + d = -2. Solve -4 = r*g + 4*t, 0 = 2*g - 2*t + 1 - 7 for g.
1
Let h be (1/(-3) - 0)*-9. Let r = -10 - -15. Suppose -r*f + 4*w - 3*w + 19 = 0, f - 19 = 4*w. Solve -f*d = -h, -5*d + 5 = m - 3 for m.
3
Let c(b) = b**2 + 9*b - 11. Let d be c(-10). Let s = 2 - d. Solve 2*k - k - s*t - 11 = 0, -5*k = -3*t - 7 for k.
-1
Suppose 3*i = -2*u + 70, 2*i - 71 + 21 = 2*u. Solve 4*t = -4*n + i, 3*t + 0*t + 4*n = 21 for t.
3
Suppose 3*l + 4*o = 19, -3*l + 16 + 0 = o. Solve 0 = -l*x + 2*j + 21, 3 = 2*j - 1 for x.
5
Let y = -7 + 9. Let a be y/((-2)/(-12)*3). Solve -4*l - 13 = -b, 2*l - 3*b + a - 5 = 0 for l.
-4
Let b be 26/8 + 3/4. Solve x = b*h + 5*x - 4, 0 = -2*x + 8 for h.
-3
Suppose -8*i = -38 - 18. Solve -o - 7 = 4*u, -2*u + 4*u - 3*o + i = 0 for u.
-2
Suppose -2*c - 2*t = 3*t + 14, 0 = -3*c - 3*t - 3. Let h(w) = w + 1. Let l be h(c). Solve 0 = d + l*z - 0*z + 3, -5*z = -3*d + 8 for d.
1
Let u = 20 - 5. Let r = 40 - u. Let y = r - 18. Solve 5*c - 2*q - 11 = 0, -y*q + 2*q + 1 = -3*c for c.
3
Let o(q) = q**2 + q + 1. Let c be o(-1). Let s be 0/4*c/2. Solve 4*z = 2*w - w - 12, -5*z + 4*w - 4 = s for z.
-4
Let j be 354/14 - (-2)/(-7). Let s be (20/j)/(4/10). Suppose p - 2*w - 2 = -s*p, -5*p + 3*w + 4 = 0. Solve f = -p*a + 3 - 4, -3*a = 0 for f.
-1
Suppose -4*x = -4 - 4. Solve 3*m - a - x = a, 0 = -4*a - 16 for m.
-2
Let q(r) = 2*r**2 - 2*r - 1. Let i be q(3). Suppose -4*x - 3*l = 1, -3*x + 3*l + i = -2*x. Solve -p - m - x*m = 6, 0 = -p + 3*m for p.
-3
Let c(o) = o**3 + o + 3. Let n be c(0). Let l = -103 - -113. Let z be (-1 - (-1 + 0)) + 0. Solve -n*f + 9 = z, f = 2*w + 3*f - l for w.
2
Let o be 22/99 + 16/9. Suppose 5*i - 3 = o. Solve 0 = -y + i, 5*n + 9 = -y - 10 for n.
-4
Let t(i) = i + 1. Let h be t(2). Let s(o) = 18*o**2 + 2*o + 3. Let z be s(-1). Solve -3*v = -5*w - z, h*w + 9 = 4*v - v for w.
-5
Let z be (3/(-4))/((-4)/48). Let a be z/(-12) + (-262)/(-8). Solve -5*q + a = -q - 5*l, -4*l = -q + 19 for q.
3
Suppose -1 = 3*h - 13. Suppose -3*q - 5*r = -h*r - 3, 0 = 4*q - 2*r - 14. Solve 3*n + 0 = -q*d - 4, d + 4*n - 3 = 0 for d.
-5
Let l be -2 + 0 - -1*4. Let f be 4 - (-1 + 1 + l). Solve -5*d + f*n = 6, -3*d + 0*d + 5*n - 15 = 0 for d.
0
Suppose 56 = z - 5*z. Let w = -11 - z. Solve 4*k = -q - 8, -k = w*k - q for k.
-1
Suppose 5*l - 12 - 3 = 0. Suppose n - 5*h = 24, -6*h - 32 = -3*n - h. Suppose 3*m - 10 = -2*m. Solve 28 - 3 = -n*f + l*q, m*f + 5*q = 7 for f.
-4
Let s = 21 + -17. Suppose -20 = -g - s*g. Solve 0*f + g*f = -4*o + 8, -o + 6 = 5*f for f.
1
Let j = -13 - -20. Let w = j - 7. Solve 2*n + 3*y = w, n + 0 = -3*y - 3 for n.
3
Let f = -3 + 6. Solve -6 = -4*h - 2*v, -f*h = 3*v + 2 - 5 for h.
2
Let d = 16 - 3. Solve -3*r - 4*n = -d, 6*n = -r + 2*n + 15 for r.
-1
Let k = -16 + 9. Let n = 58 - 49. Let u = n + k. Solve i - 3*v - 6 = 0, -i = 3*v - 2*v + u for i.
0
Suppose b + 2*b = -3. Let t be 0 + b - (8 + -13). Let v(s) = -s**2 - 6*s - 5. Let u be v(-4). Solve -h = 3*l - 1, u*l - 5 = 3*h + t for h.
-2
Let f be (2 + -1)/((-12)/(-180)). Solve 5*y + f = -r, 19 = 4*r - r - y for r.
5
Let g(p) = -5*p + 30. Let y be g(6). Solve 5 = -5*r - 2*l, y*l = 4*r - l + 4 for r.
-1
Let o be 6/27 - 6/27. Solve 5*l = -3*j, -5*l + o*j - 20 = -j for l.
-3
Let a(k) = -k**3 + k**2 - k + 2. Let h be a(0). Let u(p) = 2*p**2 - 3*p + 2. Let i be u(2). Solve r - 3 = -i*f + 3, -h*f = 2*r for r.
-2
Suppose -5 = -4*u + 3. Suppose -2*t + 2 = 5*r, 2*t - 4*r = 2 - 0. Solve 3*z - 4 = 6*z - s, 0 = -u*z - s - t for z.
-1
Let z(n) = n**2 - 2*n - 2. Let q be z(4). Suppose -5*j = -7*j + q. Solve 6 = j*w, 3*f + 3*w + 25 = 8*w for f.
-5
Suppose -5*z = -v - 1, -3*z - 15 = -5*v + 2*z. Suppose 2*y + 30 = v*y. Let c = y + -6. 