2*m - m - 4*n - 23 for m.
-5
Let h(q) = -3*q - 6. Let g be h(-3). Suppose g*s = -6, -4*k + 7 = 4*s + 3. Solve -4*c - 22 = -3*d - k, 7 = -2*c - d for c.
-4
Let r = 7 - -1. Let f = r - 5. Let s = 6 - f. Solve 4*t = 5*z + 20, s*t + 2*z = 2*t - 8 for t.
0
Suppose 0 = 2*k + k. Let g(p) = -p - 3. Let u be g(-5). Let v = u + k. Solve -j - 14 = 3*o, -3*j + 7*j = v*o for j.
-2
Let j = -6 + 9. Solve -d - d - 3*u + 9 = 0, -j*d + 14 = 5*u for d.
3
Let u be (-16)/72 + 76/18. Let q(r) = -r + 6 + 6 - 3. Let b be q(u). Solve -p = -5*d + d - 15, 5 = 4*p - b*d for p.
-5
Suppose 0 = -3*c - 7 + 4. Let p be 45/10 - c/2. Solve -y - 4 = 5*n - 1, p*n + 9 = 2*y for n.
-1
Let l(o) = o**3 - 5*o**2 - 4*o + 3. Let s be (-8)/(-28) + (-65)/7. Let r = s - -15. Let z be l(r). Solve a - x + 20 = -4*x, -2*x + z = -5*a for a.
-5
Suppose -3*s + 15 = 0, 0*j + 10 = -5*j + 5*s. Suppose 5 = x + j. Let z be (-17)/(-3) - 1/(-3). Solve -2*t = 3*m + 11, z + 4 = -x*m for t.
2
Let h = -9 - -14. Suppose 2 - 5 = h*z - c, 2*c = 2*z + 6. Solve -w + 9 = -5*i + 2*i, z = -2*w + 4*i + 10 for w.
-3
Let a be 0 - 4*(-5 + 4). Suppose 0 = 2*j - 12 - 34. Solve 4*l - q - 12 = 3*q, a*l = -3*q - j for l.
-2
Let c = 6 - 4. Suppose -o + 2 = -1. Solve 2*k + c = -4*t, 3*t + 3*k = 8*t - o for t.
0
Let m(n) = 2*n + 1. Let i = 13 - 8. Let s be m(i). Solve -2*c = 4*p + 14, 4*p + s = 2*c - 15 for p.
-5
Let h = 13 + -27. Let v(u) = -2*u - 21. Let k be v(h). Solve 4*b - 7 = c - 15, -5*b = 3*c - k for b.
-1
Suppose -v = -2*v - 3*z - 12, 3*z = 5*v - 30. Solve 3*t + 4*o - 7 + 26 = 0, 2*t + 14 = -v*o for t.
-1
Suppose 2*p - 5 = 5. Solve -4*u + 2 = 4*a - 2, p*a + u + 11 = 0 for a.
-3
Let b(u) = 3*u**2 - 2*u + 1. Let n be b(1). Suppose 3*a + n*a = 0. Let p be 0 - -21 - 2 - a. Solve -w + p = 3*y, -4*y - 7 = w - 31 for y.
5
Suppose 0 = 4*c - 1 - 11. Let m(f) be the first derivative of -f**2 - 2*f + 1. Let k be m(-3). Solve 2*y + 3*t + 2 = 0, -c*y - k*t = -0*t + 2 for y.
2
Suppose -2*r + 28 = 5*q, 2*r - 5*q + 6 = 14. Suppose 0 = -r*w + 4*w + 20. Solve 0 = -3*f + 5*t - 37, -7*f = -2*f + w*t for f.
-4
Let s(d) = -4*d - 4. Let t(w) = 1 + 6 - 2 + 5*w. Let b(x) = 6*s(x) + 5*t(x). Let j be b(1). Solve 4*p + 0*v - 3*v - 9 = 0, -3*v - 3 = -j*p for p.
3
Suppose -75 = -5*f - 35. Solve -f = -z - 2*q, -6 = -2*z + 2*q - q for z.
4
Suppose 5*i - 24 = 21. Let y = 6 + i. Suppose 5*t - 36 - 79 = -5*a, -y = -t - 5*a. Solve -t = -2*u + 5*p, p + 2*p + 14 = u for u.
5
Let m be (7/2)/((-1)/(-6)). Suppose 0 = -5*p + m + 9. Let w be (p + -4)/(2/4). Solve -5*y + 2*o = -w, -2*o + 7 = 2*y - 3 for y.
2
Suppose -3*n - 15 = -6*n. Solve 6*i + 1 = 5*i + n*c, 0 = -4*i - 3*c + 19 for i.
4
Let m(g) = -6*g**3 - 3*g**2 - 4*g - 2. Let r be m(-1). Solve 3*p - 14 - 2 = -r*u, 2*p - 8 = -2*u for u.
2
Let p be (10/4)/((-10)/(-8)). Solve -n - z = -3*n - 9, 0 = p*n + z + 3 for n.
-3
Suppose 3*c = -2*b + c + 6, -4*b - 5*c + 15 = 0. Solve b = 2*n + 2*d + 10, -4*n = -7*n - 4*d - 18 for n.
-2
Let d(f) = f**2 + 5*f + 3. Let h be d(-5). Let w = 4 + -19. Let o be w*h/(1*-9). Solve -6*a + a - 3*m - o = 0, -3*m = -4*a + 23 for a.
2
Suppose 23 = 4*q - 5*n, -n = -5*q + 4*n + 25. Suppose 3*a = -q*a + 25. Solve -a*s + 4*f = -4, -4 = 5*f + 1 for s.
0
Let p(w) = 4*w + 3. Let z(o) = -o**3 + 4*o**2 - 2*o + 6. Let c be z(4). Let s be p(c). Let r = s + 9. Solve -r*h = -2*d + 12, -3*d - 4*h + 10 = -2*h for d.
4
Suppose -23 + 3 = -4*z. Suppose -z = -3*n - 2*l, -5*n - 5*l + 4 = -1. Suppose -28 + 7 = -n*j. Solve -4*u = 4*r - j*u - 20, -5*r + 2 = 2*u for r.
2
Let b = -12 + 19. Let v(d) = d**3 - 8*d**2 + 7*d + 2. Let y be v(b). Suppose y*g + 4 - 12 = 0. Solve -m = 3*l + 2*m + 21, 12 = -g*m for l.
-4
Let j(t) = -t**2 + 14*t + 34. Let o be j(16). Solve 5*r - 3*p = -o*p + 23, -3*r + 4*p + 24 = 0 for r.
4
Let j = -5 + 7. Suppose -v = -2*a - 3*v + 14, a - j*v + 8 = 0. Solve -5 = a*r - 5*k, -2*k + 16 = 3*r - r for r.
5
Suppose -12*b + 12 = -9*b. Solve -g + b*u = 2, -7*g + 3*g - 8 = -u for g.
-2
Let c = -4 + 6. Let v be (48/(-27) - -2)*9. Solve -v*k - c*y = -6*y - 2, 5*k + 11 = 2*y for k.
-3
Let q(h) be the second derivative of -h**4/12 - 4*h**3/3 + 5*h**2/2 - 2*h. Let l be q(-8). Solve -32 = r + 3*r + l*k, 5*r - k = -11 for r.
-3
Suppose -5*p - 2 = -r, -5*r - 3*p - 76 = -10*r. Let q = r - 15. Solve -q*b - 4*v = -5*b + 27, -22 = -2*b + 4*v for b.
5
Let b(s) = -s - 6. Let r be b(-7). Suppose -r + 4 = d. Solve 2*q + 3 - 2 = g, d*q = g - 3 for q.
-2
Let h be 2/(-4*1/(-10)). Let j = -22 - -15. Let y = -5 - j. Solve 0 = -3*a - 15, -h*m + y*a = -0*m - 15 for m.
1
Let p(r) = -r - 6. Let l be p(-9). Suppose -3 = -5*i + 7. Suppose -8 = -6*y + i*y. Solve 0 = -3*k - y*m + 6, 6*m - 2*m = l*k - 6 for k.
2
Let u = -47 + 52. Solve 0 = -h - 4*f, -2*f + u = 5*h - 13 for h.
4
Let z(p) = 4*p**3 - 1. Let d be z(1). Solve -s - 19 = -5*v, d*v = s + s + 10 for s.
1
Let i(a) = -a**2 - 7*a - 5. Let k be i(-4). Let n be (3 - 4) + 1 + k. Let z(y) = 3*y - 1. Let o be z(1). Solve -o*b + 5*t + 26 = -n, 4*b + 4*t = -4 for b.
4
Let a(d) be the first derivative of 2 - 2*d**2 + 2*d + 1/4*d**4 - d**3. Let f be a(4). Solve -f*n = 2, -i + 5*n - n = -3 for i.
-1
Suppose -5*j + 8 + 2 = 0. Solve 8 = -j*y - b, b = 3*y + 5*b + 17 for y.
-3
Let w(h) = h**2. Let l(z) = 4*z**2 - 5*z - 4. Let q(m) = l(m) - 3*w(m). Let p be q(6). Solve -p*r = -8, -4*o + 2*r - 15 = 5 for o.
-3
Let i be 5/((-30)/7)*-6. Solve -2*b + 3*p - 9 = -2*p, i = -b + 5*p for b.
-2
Let u be 1 + (-1)/(-1) + 1. Suppose -a = -h - 8, 0 = -u*a - 4*h + h. Solve 0 = a*i - 4*b - 36, 0 = -i - b - 0*b + 1 for i.
5
Let c(j) = -j**3 - 6*j**2 + 7*j + 4. Let y be c(-7). Solve -2*b - y = 3*f - 24, -3*f + 32 = 5*b for f.
4
Let y be (2/3)/((-4)/6). Let z be -3*y/3 + 0. Let k = z - 1. Solve k = l + 3*g - 5, 2*l + 4*g - 4 = -0*g for l.
-4
Let x(z) = 2*z**2 + 2*z - z**3 + 2 + 0 + 0 - 1. Let p be x(-1). Solve 9 = -p*g + n, 4*g + 9 = 3*n - 10 for g.
-4
Let g be (66/154)/(16/14 + -1). Solve 5*t = d - g, -5*t - 11 = 3*d - 0*d for d.
-2
Let n(a) = -2*a**2 - 9*a + 1. Let d be n(-4). Solve -d*w - 35 = -2*s, 2*s = s + 3*w + 20 for s.
5
Let q be ((-4)/(-8))/((-1)/54). Let x be 6/q + 218/9. Suppose 5*g - x = 4*d - 5*d, 0 = -4*g - d + 20. Solve -5*j + 2*u + 2*u = 5, -g*j - 5*u - 4 = 0 for j.
-1
Suppose -5*j = 3*c - 88, j = -3*c + 72 + 32. Let i be ((-6)/4)/((-27)/c). Solve 0*y + 5*w - 29 = -4*y, -i*y + 2*w = 8 for y.
1
Let c(g) = -7*g + 2. Let b be c(0). Solve 5*d + 3 = -22, b*d + 13 = 3*k for k.
1
Let k(o) = -2*o**3 - 2*o**2 + 2*o. Let q be k(-2). Suppose -2*n + 0*n = q*i - 12, i - 3 = n. Solve -5*b - 30 = 3*m, i*m - 3*b + 3 = -3 for m.
-5
Let b be 3*(4 + -5)*-1. Solve -3*w = -b*k - 9, 2*k + 5*w + 0*w = -20 for k.
-5
Let s(m) = 3*m + 4. Suppose 5*o = 8*o. Let p be s(o). Solve -3*v = -2*t + 19, v + p = t - 3 for t.
2
Let x be (-36)/((-3 - -2)/1). Let i be 2/(-5) - x/(-15). Solve i*z + 0*c = 2*c, 5*z - 3*c - 8 = 0 for z.
4
Let y be (6/5)/(2/10). Let q(g) = -3*g + 6. Let n(t) = 7*t - 13. Let h(l) = 4*n(l) + 9*q(l). Let s be h(1). Solve b = -4*d - 14, s*b - y = -0 for d.
-4
Suppose -12*t = -0 - 24. Solve 5*h + t*f - 5 = 0, h + 6 = -2*f - 1 for h.
3
Let h(r) be the first derivative of 11*r**2/2 + r - 3. Let f be h(-1). Let d = -6 - f. Solve -t = d*a - 13, -3 = a - t - 5 for a.
3
Let v = 12 - 9. Solve -v*m = 5*o + 10, -o + 5*m + 11 = -15 for o.
1
Suppose -4*k + k + 12 = -p, -21 = -2*p - 3*k. Solve -v = p*a - 6*v - 17, 5*a = 2*v + 22 for a.
4
Suppose 3*y + 23 - 1 = 2*z, 5*z = 4*y + 48. Suppose 4 = z*o - 6*o. Solve 24 = v - 5*w, -5*v + 3*w = o*w - 24 for v.
4
Suppose 2*r - 10 = -4. Let l = r - -6. Let x(a) = a**2 - 3. Let c be x(-3). Solve -z = 3, l + c = 5*s - 5*z for s.
0
Let t = 4 + -1. Suppose 5*a - t = 2*a. Let i be (a/3)/(3/18). Solve -p + i*b = 3*p + 2, -4*p - 3*b = -23 for p.
2
Let q(f) = f**3 - 19*f**2 - f + 21. Let r be q(19). Solve 4*b + 7 + 13 = 4*z, -z + r*b = -9 for z.
1
Let l(n) = 2*n**2 + 3*n - 2. Let a be l(1). Suppose 0 = -4*m - u + a*u + 24, -4*u = -5*m + 33. Solve -2*p - 9 = -m*s, 5*s + 2*p + 11 - 32 = 0 for s.
3
Let d(b) = 8*b**2 - 2*b**2 - 19*b + 16*b. Suppose -4*s + 0 + 4 = m, 3*s - 2*m - 14 = 0. Let h be d(s). Solve -5*k = -3*i + 2*i + h, 2*k + 18 = -5*i for k.
-4
Suppose 0 = t - 5*w - 7, -9 + 1 = -5*t - 2*w. Solve 11 + 12 = t*k + 5*q, -5*k - 15 = -2*q for k.
-1
Let p(i) = -i**3 + 5*i**