y*l - 3*h - 17 = l for l.
4
Let g = 22 - 4. Solve -2*y + 16 = -4*o + 2*y, 5*o - 4*y + g = 0 for o.
-2
Suppose 4*k + k - 60 = 0. Let q(y) = -y**2 + 3*y + 2. Suppose 0 = u + u - 4. Let m be q(u). Solve -m*j - 4*o + 13 = -5*j, 2*j - o + k = 0 for j.
-5
Suppose -n = -5*o - 27, o + 18 = 2*n - 0*n. Suppose 2*g - 25 = -n. Solve 3*u + g = -q, 2*u + 4*q + 10 = -6 for u.
-2
Let k(f) = -f - 3. Let i = -4 + -1. Let w be k(i). Solve 0 = u - 3*d + 10, 4*d + 4 = w*u + 20 for u.
-4
Let c be (3/2 + 1/(-2))*3. Let l(h) = 3*h - 1. Let f be l(2). Solve -2*t + 10 = 3*m, -5*t + f = -m - c for m.
2
Suppose -50 + 44 = -2*t. Solve 17 = -t*p + b, 5*p - 4*b - 7 = -40 for p.
-5
Let x be 2/9 - (172/(-18))/2. Solve -x*m + 17 = -u + 2, u - 3*m + 11 = 0 for u.
-5
Suppose -4*b - 10 = -2*k, -2*k + 6*k = 3*b + 15. Solve 3*m - 1 = -5*t + k, -m + 5 = -2*t for t.
-1
Suppose -2*c + 5*c - 48 = 0. Solve -3*d - c = -4*o, -5*o + d + 6 + 3 = 0 for o.
1
Suppose 85 - 25 = 3*a. Suppose -a = -6*x + x. Let k be (x - (-2 + 4)) + 1. Solve -5*l - 13 - 7 = 0, -2*t + k*l + 6 = 0 for t.
-3
Let s(m) = -m**3 - 6*m**2 - 6*m + 4. Let f be s(-5). Let p = 11 - f. Solve p*r - r + 20 = 4*k, 16 = -r + 3*k for r.
-4
Suppose 0*i - 2 = -i. Suppose 0 = 5*r - 0 - 15. Solve -r*v = q + 17, i*v - q = -2*q - 12 for v.
-5
Suppose t + 2*t = 24. Let m(b) = 2*b - 7. Let p be m(5). Let s = t - p. Solve 5*l - 1 = -g + 5, -s*l + 2*g + 3 = 0 for l.
1
Let j(t) = 3*t**3 + 2*t**2 - t. Let a be j(1). Suppose 4*z - 5*z - a*x = -20, 0 = -4*z + x - 5. Solve 2*n = 2*s - 12, z = -n - 3*n - 3*s - 3 for n.
-3
Suppose -8*f = -13*f. Solve f = 5*m - 10, 4 = -b + 5*m - 3 for b.
3
Let i = 126 - 123. Solve -2*q - 11 = -i*a - 3*q, 3*a - q - 19 = 0 for a.
5
Let i(n) = -n - 2. Let r(u) = 1. Let a(m) = 2*i(m) + 3*r(m). Let k be a(-3). Let q be (2/(-3))/((-3)/9). Solve -3*l = -5*c + 1 + 34, -q*c + 33 = -k*l for c.
4
Suppose -5*z + 1 = -24. Suppose 0*k - 5*k = -10. Solve -z*m - 5*t - 3 = -4*t, -4*m = t + k for m.
-1
Let k = -6 - -8. Suppose k*c - c - 22 = 0. Suppose 2*i - 3*j = c, i + j = 3*i - 22. Solve -5*m - i = 3*q, -1 - 16 = 5*m + q for m.
-4
Suppose 5*y - 20 = -0*y. Suppose y*b = -0*b + 12. Solve 0 = 4*p + 4*t + 4, -b*p + 3*t = 9 for p.
-2
Let f(w) = -w**2 + 10*w + 3. Let i be f(9). Solve 3*s - 2*s = -1, 2*y - 4*s = i for y.
4
Let k(o) = -4*o**2 - o - 1. Let t be k(-1). Let g(a) = -4*a**3 + 0 + 3*a**3 + 3*a - 3*a**2 + 1. Let q be g(t). Solve -5*z + b + q = -b, -2 = -2*z + 2*b for z.
1
Suppose -2*b = 2, -4*b + 14 = 5*d - 2. Solve 0 = -3*s + 4*k + 8, d*k + 0*k = -5*s + 24 for s.
4
Let s(x) be the first derivative of x**3/3 + 5*x**2/2 + 4*x - 1. Let j be s(-5). Solve q - 4*q + j*p = -14, 4*p = -q - 22 for q.
-2
Suppose -3 + 6 = r. Suppose r*a - a = 26. Solve 2*g + 7 = 3*v - 4, 0 = 4*v - g - a for v.
3
Let n(k) = -k**2 - 5*k + 7. Let f be n(-6). Let t be (2 + f)*66/9. Solve -3*g + 2*i - t = 0, -2*i = -4*g + 5 - 31 for g.
-4
Let i = 5 - 5. Suppose i = 4*u - 11 - 5. Solve -5*p = -u*m + 10, 20 = -5*m - 5*p + 55 for m.
5
Let i(t) = t**2 + t - 25. Let w be i(5). Solve 5 = -5*s + w*u, 5*s - 3*s = -u + 10 for s.
3
Let n(v) = v**3 + 8*v**2 + 15*v + 10. Let u be n(-5). Solve 4*p - 16 = 3*q, 5*p = 3*q + 7 + u for p.
1
Suppose -2*b + 0*b - 4 = 0. Let v be (-50)/(-13) + b/(-13). Solve -4*c = -r + 4, r - 4*c - v = 3*r for r.
0
Let x(c) = 29*c + 5. Let b be x(5). Let g be 4/12*b/2. Suppose -5*f = -g, -3*z - z - 5*f + 41 = 0. Solve z*h + 3*p = -14, p + 0 = -2 for h.
-2
Let r = 22 - -15. Let v be (2 - 1)*r - 2. Let c(k) = k**3 - 4*k**2. Let z be c(4). Solve 5*t - 5*d = -v, -5*t - d - 4*d + 5 = z for t.
-3
Let y = 140 + -136. Solve 5*o - 21 = -4*g, -4*g + g + 17 = y*o for o.
5
Let v be ((-7 - -4) + 2)*-5. Solve -s = 4*m + 4*s + 4, 5*s = -v*m - 5 for m.
-1
Let i = -15 + 33. Solve -i = -3*r + 2*a, -3*r + 2*a + 3*a = -27 for r.
4
Suppose 17 = -3*d - d + 5*m, 3*d - 4*m + 14 = 0. Suppose -2*v - v = -60. Let z = v - 7. Solve -20 = 5*u - 2*s + z, 2*s = d*u + 18 for u.
-5
Let q(p) be the third derivative of 3*p**5/5 - p**4/24 + 4*p**2. Let l be q(1). Solve -2*r - 5*k + 6 = -3*k, -5*r + 5*k = -l for r.
5
Suppose 0 = 5*n - 2*f - 11 - 2, -5*f + 14 = 3*n. Solve 9 = -3*r + 6*r + 5*t, -5*r + n*t - 19 = 0 for r.
-2
Suppose n + 0 - 8 = 0. Let g(f) = 4*f**3 - f**2 - f - 1. Let y be g(-1). Let a = n + y. Solve 2*t - r = -0*t + 9, a*t = -2*r + 17 for t.
5
Suppose 0 = -0*p + 2*p - 38. Solve 5*m + 2*z + z = -p, -4*m + z = 5 for m.
-2
Let n be (-3 - (-1)/2)*-2. Solve -y = -n*s - 12, 3*y = -4*s - 3 - 18 for y.
-3
Let c be (-4)/(-5)*5/2. Let w be 135/21 + (-12)/28. Let f = w - c. Solve -s - 1 = -5*u + 14, 5*s - 41 = -f*u for s.
5
Let k = 19 - 17. Solve -k*l + 9 = u - 4, -2*l + u = -7 for l.
5
Let r(t) = t**3 + 4*t**2 + 4*t + 2. Let c be (-4)/(-6)*(-3 - 0). Let d be r(c). Solve 5*x + 10 = d*a - 0*a, -4*a - 8 = -3*x for a.
-5
Let j(n) = n - 2. Let a be j(4). Suppose 70*x = 54*x + 112. Solve -p = -q, p = x - a for q.
5
Suppose -5*y = 3*o - 42, 2*y + 9 = -3*o + 42. Solve a = 3*c - 9, -o*a + 4*a = -15 for c.
4
Let g(m) = -6*m + 6. Let r(i) = -i + 1. Let u(o) = -g(o) + 3*r(o). Let c be u(5). Solve 3*l - c = -2*p, -3 = -3*p + l - 7 for p.
0
Suppose -2 + 0 = 4*k + 5*d, 0 = -2*k + 4*d + 12. Solve 5*w + 30 = t, t - 2*t + 15 = -k*w for w.
-5
Let s(z) = z**2 + 11*z + 5. Let a be s(-11). Solve -2*u + 23 = u - a*r, -u + 21 = -5*r for u.
1
Let m(q) = -q**2 + 6*q - 1. Let f be m(5). Let g be 188/6 - 3/9. Solve 0 = 4*x + n + 3*n - 28, -f*n = 5*x - g for x.
3
Let y(p) = p**2 - 1. Let n be y(-4). Suppose -6*l - n = -l. Let w = -2 - l. Solve -d = -s + 9, -d - w = -0*s + s for s.
4
Let n be (-1 - 3/6)*-2. Let s be ((-5)/n + 2)*6. Let f = -8 - -8. Solve 4*a - s*l - 20 = f, -4 - 1 = -a - 5*l for a.
5
Let v = 16 + -11. Suppose 5*x = g + 6 + 2, 0 = g + x + 2. Let s = g - -6. Solve v*l = 10, -s*a - 5*l + 3*l - 5 = 0 for a.
-3
Let r = 34 + -6. Let w be 1/4 - 79/(-4). Suppose -4*b - y = y - 22, 3*b = -5*y + w. Solve -2*p + 10 - 2 = -4*i, -b*p - r = 2*i for i.
-4
Suppose 0 = x + 5, 5*u + x = 4*x + 20. Let j be (-1)/((-3)/(u + 8)). Suppose -64 + 4 = -j*q. Solve 2*i - 2*m - 2 = -0*m, -4*i - 4*m - q = 0 for i.
-2
Let j(s) = s + 10. Let m be j(-9). Let k be -3 + 3 + 6 - m. Solve 3*f - 2*f = -k*z, -5*f - z - 24 = 0 for f.
-5
Suppose 0 = b - 1 - 5. Suppose 7*q - b = 22. Solve 0 = q*n - 0*c - 4*c - 4, 4*c + 20 = -4*n for n.
-2
Suppose -3*b + 8 = -d, 0 = 5*d - 3*b - 3 - 5. Solve -4*y - 21 = -4*x - x, -3*x = -d*y - 19 for y.
-4
Suppose 19*p = 23*p - 16. Solve -6*n = -2*r - p*n - 4, 2*n = -5*r + 18 for r.
2
Let y(s) = -s + 7. Let p be y(5). Suppose -23 = -4*n + r + p*r, 0 = -3*n - 2*r + 13. Solve -2*g = 5*m, -5*m + 5 + n = 0 for g.
-5
Let j(i) = 4*i + 21. Let o be j(-5). Solve 4*w = u + o, 3 + 17 = -4*u for w.
-1
Suppose -5*x = -32 - 23. Suppose -4*d = 3*a + 3, -5*d - 5*a = -1 + x. Solve -5*y = d*o - 5*o - 10, 0 = o + 3*y - 17 for o.
5
Let r = 7 + -5. Solve -2*d - 5*n = -10, r*d + 0*d - 8 = -4*n for d.
0
Suppose 49*t = 43*t + 42. Solve -3*f - 4 = -r, f - 4*r + t*r - 2 = 0 for f.
-1
Let z be (0/(-1))/(-7 - -5). Suppose z*b = 5*b. Solve 5*i + 5*f + 25 = 0, b*i - 5*f - 25 = 3*i for i.
0
Suppose 2*c - 14 = 4. Solve -4*t = 3*k - 1, 0*t - 3*t - 5*k + c = 0 for t.
-2
Let y(s) = s - 3. Let z be (-9)/(-2) - 1/(-2). Let w be y(z). Solve w*a - 4*c = 0, -4*a = c + c - 20 for a.
4
Let v = 5 + -1. Let w = v - 4. Suppose -4*h + 7 = -1. Solve w = m, 2*o - m = -h*m + 2 for o.
1
Let s = -53 - -60. Solve 3*h + 3 = 2*a, -3*a = -5*h + 3*h - s for h.
1
Let a(h) = h + 3*h**2 - 4*h**3 - 4*h**2 + 4 - 2 - 1. Let f be a(-1). Solve 6*p = f*p + c + 13, 20 = -5*c for p.
3
Suppose 4*l - 5*u + 3 = 34, l - 2*u = 10. Suppose -l*y + 5 = -3*y. Solve -3*a - 3*v = 2*a + 5, -4*a - 41 = -y*v for a.
-4
Let u = -137 - -170. Solve h = 3*q + 19, 2*h - 7*q - u = -2*q for h.
4
Suppose 5*j + 4*j - 9 = 0. Let a = 25 - 18. Solve a = -d - 4*l, -d - j = d - 5*l for d.
-3
Suppose -5*f + 2*f + 22 = 4*w, -5*f = w - 14. Solve -3*k = w*x - k - 20, -3*x - k + 15 = 0 for x.
5
Let o be ((-9)/6 - -1)*-4. Suppose 2*u = -o*l, -u - 40 = -6*u + 3*l. Solve 2 = g - u*g + 2*v, -4*v + 17 = 5*g for g.
1
Let h = -8 - -10. Solve -l + 2*z = -0*l + 14, 5*l = -h*z - 10 for l.
-4
Let i(j) = 10*j**2 + j + 1. Let v be i(1). Solve 6*y = -t + 2*y + v, -3*y + 9 = -4*t for t.
0
Let p be ((-85)/(-