3 + 7*o**2 + 2. Let f be b(-7). Solve -f = -4*n - 4*w - 34, -8 = 5*n - 3*w for n.
-4
Let x be 2*((-7)/2)/(-1). Let g = 7 - 12. Let i = g + x. Solve 3 = -k + i*c - 0, 5*k - 2*c + 23 = 0 for k.
-5
Suppose -4*l + 2 = -5*w, 5*l - 13 - 6 = -2*w. Let a be (22/(-4) + -1)*-2. Solve -5*i + a = -4*t, -5*i + l*t + 9 = -2*i for i.
1
Suppose 0*q + 2*q + 4 = 0. Let f = q + 14. Suppose 3*d = -4*n + 4, 5*n + 4*d = 2*d + f. Solve 4*j - n*r = 12, 0 = -3*j + 2*r - 1 + 6 for j.
-1
Let t = -1 + -3. Let g be (t/(-10))/(5/25). Solve 3*q - n - 12 = 0, 4*q + 1 = -5*n - g for q.
3
Suppose -k + 0*k - 2*n + 4 = 0, -3*n = 0. Solve -k*l = 20, 4*l = q + 2*l - 9 for q.
-1
Let k(p) = p - 2. Let a be k(2). Suppose a = 2*q + q + 9. Let c be (q + 2)/(-1) + 1. Solve 0*o - c = -4*m - 3*o, 0 = m + o for m.
2
Let b be 0/1 + (-2 - -2). Suppose -4*t - 1 + 9 = b, t = 2*h + 2. Solve h = -4*c + 5*r - 4, r + 0*r + 3 = -3*c for c.
-1
Suppose -2*g + d = -2, 5*g = -5*d + 22 - 2. Solve -5*t = -g*u - 23, t = u + 4 + 3 for t.
3
Let q(u) = 2*u**2 - 3*u + 3. Let i be q(3). Suppose -4*t = 5*r + t - 10, -5*r + 31 = -2*t. Solve -2*k + i = 2*x, r*x + k - 36 = -10 for x.
5
Let f(o) = -o**2 + 11*o + 3. Let l be f(10). Let r = l + -11. Solve -3*n = -4*z, 0*z - 3*z - 1 = -r*n for n.
-4
Let l be 7/3*(-2 + 4 - -1). Solve 2*v - 12 = -l*y + 2*y, -3*v - 1 = -2*y for v.
1
Suppose 4*u - u - 17 = k, u + 1 = -k. Solve -3*w + 35 = u*m, -3*w - 3*m + 30 = -0*w for w.
5
Let r = 104 + -84. Solve 0 = 4*k + 3*f - 31, r = -2*k + 5*f + 3 for k.
4
Suppose -l = -0*l - 6. Suppose 4*g - g = -l. Let i = 0 - g. Solve 3*d + 20 = 5*o, 5*d + 8 = 3*d - i*o for d.
-5
Let l = -5 - -11. Suppose -5*y + l = -4. Solve -4 = -5*v - p + 2, 4*v + y*p = 0 for v.
2
Let q = -2 + 7. Suppose -5*j = -q*d - 4 - 1, -3*j - 3*d - 3 = 0. Solve 2*a - 5*i = -j*i + 9, a + 2*i = 0 for a.
2
Let z(x) = -x**2 + 8*x - 8. Let m be z(7). Let k be 17 - (2 + m)*-2. Solve 2*w = -w - 5*j - k, -4*w = 2*j + 2 for w.
2
Suppose -4*x - x - 20 = 0. Let m = x - -10. Suppose -2*o - 5*z = 6, 5*o - z = -3*z + m. Solve -10 = -o*b + 7*q - 3*q, 10 = 4*b - 3*q for b.
1
Let o be -1 + -2 + 27/3. Let b be (5/4)/5*4. Let f be o/(3 - b) - 1. Solve -8 = -y - 3*q, 2*y - 3*y - f*q = -4 for y.
-4
Let m(p) = p + 10. Let o be m(-5). Let t = o - 3. Solve 30 = -t*g + 5*d, -d = 3*g + g + 16 for g.
-5
Let i = -1 + 6. Suppose -i*u + 16 = 6. Solve -4*k - 3*r - 14 = 0, -3*r + u*r = -2 for k.
-5
Suppose 0*c + 36 = -4*c. Let s(o) = -8*o + 5 - 2*o**2 + 5*o**2 - 4*o**2 + 6. Let u be s(c). Solve -2*t + h = 0, -t + h = -u*h - 5 for t.
-1
Let r(n) be the third derivative of n**5/60 + n**4/3 + 6*n**2. Let i be r(-8). Solve -2*o - 3*o = -z - 10, i = 2*z for o.
2
Let j(v) = v**2 + 2*v - 2. Let n be j(-4). Solve -5*a + 14 = -f, -n*a = -4*f - a - 26 for f.
-4
Let y = -1 - -4. Let g be 6 - (0 + -1 + y). Suppose -k - 3*p = -6, 2 = 5*k + 3*p - g. Solve k = -2*o + 3*m + 19, -m = -o - 6*m - 23 for o.
2
Let g(b) = b + 2. Let c = -4 + 7. Let i be g(c). Solve 0 = -4*h + 16, -2*s + 36 - 14 = i*h for s.
1
Let u(o) = -o - 8. Let x be u(-8). Suppose x = -n + 4. Let g = 7 - n. Solve 6 = -3*a + g*p - 4*p, -5*a - 10 = -5*p for a.
-2
Let k be ((-9)/6)/(18/(-24)). Solve k*p - 13 = z, p - 2*p - z = 1 for p.
4
Let f be (1 + 6/(-2))*1. Let l(d) = 3*d**2 + d - 3. Let r be l(f). Solve b = -u - 5, 2*u + r = 3*u - 5*b for u.
-3
Let f(p) = -p + 8. Let q be f(8). Suppose q = o + d - 6, -3*o - 2*o = -d - 18. Solve -2*h + 4 = 5*j - o*h, 4*j = -3*h + 17 for j.
2
Suppose -3*v - 9*v + 132 = 0. Solve -4*p = 20, -3*p - v = 4*a - 0*a for a.
1
Let q be (2/3)/((-8)/(-48)). Suppose z - q = -1. Solve -5*b = -k - 24, 0*b - 4*b = -z*k - 17 for k.
1
Suppose -b = -0*b - 4. Suppose 0 = -3*p - 2*p + 2*n + 8, 3*n - 1 = p. Solve 4*f - b*w - p = 10, 9 = 3*f + 4*w for f.
3
Suppose 9 - 1 = 4*f. Suppose -5*m + 2*p = 3, 10 = 2*p + 2. Suppose 35 + m = 4*x. Solve -b = -f*c + 4, -c - 4*b - x = -2 for c.
1
Let z(c) = -5*c + 3. Let s(x) = 4*x - 2. Let t(i) = -4*s(i) - 3*z(i). Let f be t(-4). Solve 0*b - 5*b + f*m = -35, -4*m = -b + 24 for b.
4
Suppose -5 = -3*r + 4*m, -m + 11 = -0*r + r. Solve -i + 5*k + 3 = -0*i, 3*i + k = -r for i.
-2
Let t = 25 - -7. Suppose 0 = 4*w + 4*h + 40, w + w - 4*h = -t. Let c = -7 - w. Solve -a - z - c = -0*a, 2*a = -5*z - 16 for a.
-3
Let v = -3 - -6. Let j(w) = 4*w - 4. Let z be j(2). Suppose -5*i = 4*l - 37, 1 + z = -5*l + 4*i. Solve 2*f = v*q + 16, 2*q + 3*f = 1 - l for q.
-4
Suppose w + 29 = -3*t, -2*t + 3*w = -0*t + 12. Let d be (7 + t)/(2/(-3)). Solve 0 = -5*h - 3*l + 23, -d = 2*h + l - 12 for h.
4
Suppose 12 = -3*j - 0. Let v(z) = -z**3 - 4*z**2 + z + 8. Let l be v(j). Solve 2*q + 12 = -l*u, 0 = 5*u - 4*q - 7 - 4 for u.
-1
Let l = 27 + -38. Suppose w + q - 11 = 0, -5*w + 5*q + 43 = 4*q. Let d be 2/(6/w) - l. Solve 34 = -3*b + 5*m, d = -3*b - m + 2*m for b.
-3
Let g be (-123)/(-9) + (-1)/(-3). Let s = -7 + 10. Solve -5*h = -s*d - g - 5, d = 5*h - 23 for d.
2
Suppose 21 = 5*z - 3*k, 2*z - 5*k = 3 + 13. Suppose 0*t - z*t = -15. Solve t*s + 5*g + 35 = 0, -6*g = -g + 20 for s.
-3
Suppose 5*c - 3*t = -0*t + 25, 0 = 5*c + 5*t - 25. Let v = c + -2. Solve 0 = -u + 5*p - 12, -v*u - 4*p + 0 + 2 = 0 for u.
-2
Suppose -16 = -6*k + 14. Solve 2*v - 4*z + 10 = -8, -3*v = k*z + 5 for v.
-5
Let n = -32 - -34. Solve -2*c = 3*k - 14, n*k + c - 10 = -k for k.
2
Suppose -15 = -4*k - 7. Solve -4 = 3*x - k*y - 3, -5*x + 5*y = 5 for x.
1
Let b = 28 - 25. Let c(v) = -6*v. Let p be c(-2). Solve -k + 7 = 3*y, k + 5*y + b = p for k.
4
Suppose v - 115 = -4*v. Suppose -26*i = -v*i - 21. Solve 0 = 3*g - 2*g - 1, 3*g = -4*c + i for c.
1
Suppose 0 = 2*j - 0*j - 26. Solve -q + j + 5 = 4*r, q = 2*r - 6 for r.
4
Suppose s - 2*s = 4*f - 35, s = -5. Solve 5*r - 5 = l, -2*l - f = 5*r - 3*r for l.
-5
Let b = -9 + 12. Solve 0 = -5*o + 7*v - b*v, -o = 2*v for o.
0
Let r be ((-2)/(-2))/((-9 + 18)/36). Solve 0 = -d - 4*u + 2, -u = -r*d + 2*u - 11 for d.
-2
Let m(w) be the first derivative of 5*w**2 - 5*w - 1. Suppose -9*v + 16 = -5*v. Let x be m(v). Solve -6*u = 4*s - u - x, u + 2 = s for s.
5
Let r = -7 + 16. Let x be 6 + 0*3/r. Let f = x + -3. Solve 2*v + 4 = -f*j, -2 = 3*v - 2*v - j for v.
-2
Suppose 4*p + 5*n = -3 + 9, 2*n = -2*p + 4. Solve -4*r = 4*o, -o - p = -4*r - 19 for o.
3
Let z be (3 - 7 - 0) + 7 + 1. Solve 2 = z*r + 3*y, -5*y - 6 = r - y for r.
2
Suppose 4*n + 6 = -2*b, -4*b = n + 6 + 6. Let k(a) = a. Let c be k(n). Suppose c = -0*g + 2*g. Solve -5*v - 2*x = -5*x + 17, -v - 4*x - 8 = g for v.
-4
Let q = -174 - -174. Solve q = n + 2*l, n + 3*l + 3 = -2*n for n.
-2
Let v be -1 + 7 + 0 + -1. Suppose -5*k + 8 = 48. Let j be k/(-6)*(-6)/(-4). Solve -j*h - 6 = -v*h, -27 = -5*p - h for p.
5
Let m(f) = 14*f**2. Let q be m(1). Let c = -18 - -8. Let g = c + q. Solve 5*h = -i + 2, 3*i + 3*h = -2*h - g for i.
-3
Let b be 1/1 - (-1 - 2). Suppose -b*s = -5 - 3. Solve -h - h = 3*c - 19, h - s = c for c.
3
Let v = -39 + 55. Let k be (1 + 1 + v)/1. Suppose 0*d = 3*d - 9. Solve h + 7 = -2*o - 0, h = d*o + k for o.
-5
Let d(m) = m**2 + 6*m + 7. Let u be d(5). Suppose u - 11 = 4*v - 5*b, -3*v - 2*b = -21. Solve -o = -3*y - 13, -3*y - v = o - 4*o for y.
-5
Suppose -d - 3*r + 2 = 16, -19 = 2*d + 3*r. Let s be 0 + 1 - 5/d. Let p(l) = l**2 + 1. Let b be p(-2). Solve 2*q + 6 = -3*t, -s*t = 2*q - b*t - 6 for q.
0
Let q(u) = -u + 17. Let z be q(7). Suppose -2*l + 5*w - z = 0, 0*l + 5*l + 2*w - 4 = 0. Let h be (2 - l)*5/2. Solve -3*b + 4*y + 4 = 0, -h*y + 2 - 7 = 0 for b.
0
Let z(b) = 2*b + 18. Let r(j) = -j - 9. Let y(w) = -7*r(w) - 3*z(w). Let m be y(-7). Solve 3*u + 3*v = 21, -m*u + 5*v - 14 = 7 for u.
2
Suppose x + 5 = -4*x. Let j be 1/(1 - x/(-2)). Solve -3*b - 12 = -3*c, -j*b = 4*c - c + 8 for b.
-4
Let n = -17 + 13. Let w be n + 5/1 + 2. Solve 2*b - 2*v = -6*v - 20, 3*b = -w*v - 21 for b.
-4
Let c be 4/(-6) + (-2)/(-3). Suppose 2*x - 4 = -c. Suppose 3 = 2*t - t. Solve t*a = 15, -2*g - x*g - 36 = -4*a for g.
-4
Suppose 8*y + 5 = 3*y. Let r be y - 0 - (6 + -11). Solve r*n = -3*d + 35, -2*n + 17 = 5*d - 18 for n.
5
Let r be (3 + -2)/(-1) + -4 + 8. Suppose 4*y - 2*j = 20, -y - j + 0 + 8 = 0. Solve -3*o = r*f + 3, o - y = 2*f + 5*o for f.
1
Let a = 9 + -4. Suppose -3*j - a*y + 2 = -y, -2*j + 7 = -3*y. Suppose -2*n = 4*p - j, 0 = -2*n + n + 2*p + 5. Solve 3*l = 15, 0 = -r + 5*r - 