 c*j = -13 for f.
-3
Let i be 5/(25/2)*5. Solve 5*f = -i*c - 5, c - 2*f - 1 = 1 for c.
0
Suppose 0 = -l - 6*l + 35. Solve 4*b = -0*b - 20, -l*j + 25 = -4*b for j.
1
Let w be (-5)/(75/(-6))*-5 - -5. Solve -5*r + w*m = -0*r - 13, -m + 1 = r for r.
2
Let q be -6*(-1)/1 - 2. Suppose 0*a - 88 = -q*a. Let z = -33 + 38. Solve -z*h + 2*o = -o - a, 5 = 5*o for h.
5
Let t be (-42)/4*20/(-15). Suppose -2 + t = 3*i. Suppose 2*x + 3 = -3*x + l, -x - i*l = -12. Solve -2*d - d - 2*v = 22, x = -d + 4*v + 16 for d.
-4
Let b(f) = 5*f**3 - 2*f**2 + 4*f - 2. Let a be b(1). Solve -l - 11 = 2*g + g, a*g + 9 = 3*l for l.
-2
Let w be (-39)/(-9) + (-4)/(-6). Suppose t = -2*t - 4*j + 41, 3*t = -5*j + 46. Solve w*m - 2*b - 26 = 0, -b + 2*b = m - t for m.
4
Suppose 4*w = 91 - 7. Solve -4*s - w = -a, -s + 3*s - 5*a = -33 for s.
-4
Let l = 3 - 6. Let x be (l + (-2 - -9))/1. Suppose 0 = x*t - 0 - 16. Solve -3*g + t*a = -15, -g + 5*a = g - 17 for g.
1
Suppose 4*z - 6*z = -8. Suppose -2*u = 0, 0*p - 4*p - z*u = 0. Let j be 0/10 - 8/(-2). Solve -2*h + 14 = -p*h + j*b, -3*h - 2*b = -5 for h.
-1
Let a = 32 - 6. Let k be ((-6)/4 - -1)*-8. Let i = 1 + k. Solve -s - s + 2*l + 12 = 0, -i*s = -3*l - a for s.
4
Suppose b = 4*b. Suppose b = -3*q + 34 + 11. Suppose -23 = -y + 5*x, -5 = -4*y + 2*x + q. Solve -9 + y = 2*d, -4*i = -4*d - 28 for i.
4
Suppose -q + 3*q = 5*l - 9, 5*q + 3*l = 24. Let t be (-2 - -1)/((-3)/(-15)). Let a be 2 - (2 + 1*t). Solve f + a = 5*f - q*v, 35 = 2*f + 5*v for f.
5
Suppose 0 = -0*b + b - 5. Let w = -4 - -9. Let j be 1*-1*(0 - w). Solve 4*x + i = -0*i + j, x + 4*i = b for x.
1
Suppose 3*w + 2*s = 0, -2*w - 7*s + 2*s = 0. Let o be (-1 - (0 + -2))*-1. Let j = 7 + o. Solve 0 = -5*c - 1 - 9, -k - c - j = w for k.
-4
Suppose 2*h - 2 = 5*h + 2*a, h + 6 = -2*a. Suppose -45 = -h*t - 3*t. Let z = -4 + t. Solve 3*u - 27 = -z*v + 5, v = 5*u - 16 for u.
4
Let i = -10 + 10. Solve i = m - 5, 4*m - 3 = -d + 3*m for d.
-2
Suppose 0 = 2*h + 3 - 11. Let p = -22 + 26. Solve -p*f = -5*t + h + 2, -5*t - 2 = -2*f for f.
-4
Let t = -17 - -18. Let n be t/(-1) + (-8)/(-2). Solve -m - 3 = p, -n*m + 2*p + 3 - 2 = 0 for m.
-1
Let k = -39 + 43. Solve -3*v + k*m = v + 4, 8 = -4*v + 5*m for v.
3
Let q(s) = s + 12. Let k be q(-9). Let c(r) = r**3 - 4*r**2 + 4*r - 1. Let v be c(k). Solve -g + d = v*g + 15, -g - 5 = -3*d for g.
-5
Let m(p) = -p**2 - 6*p + 2. Let b be m(-6). Solve -s + 8 = -2*j, -b*s - 13 + 1 = 3*j for j.
-4
Suppose -12*k + k + 33 = 0. Solve -2*w - 12 = -4*z, -2*w - k = -3*z + 7 for w.
-2
Let p be (24/3)/4 - 2. Solve -2*h + 17 = -3*w, 3*h + p*h - 3 = 0 for w.
-5
Let y(a) = -a**3 + 5*a**2 - a + 5. Let t be y(5). Let s = 3 - t. Solve -4*m - 5 - s = -4*u, -5*u + m - 6 = 0 for u.
-2
Let s = 2 + -11. Let h be (-1 - 12/s)*3. Solve -4*v + a = -10, v - 2*a = -0*a - h for v.
3
Let h(n) be the first derivative of n**2/2 + 20*n - 2. Let l be h(0). Suppose -5*f - w - w + 8 = 0, 3*f = 3*w - 12. Solve b + f*b + 5*u = l, -3*b + 4 = u for b.
0
Suppose d + 2*d - 3 = 3*i, 3*i + 2*d = 12. Solve 4*j = -4*f, -i*f + f = -1 for j.
-1
Suppose 5*y - 20 = -v, 3*v - 2 = 3*y - 14. Solve 4 = -5*h + g - 3, -y*h = -g + 5 for h.
-2
Let l be 0 + 1 + -2 + 5. Let n(s) = 2*s - 4. Let v be n(l). Let d be 1/v - 15/(-4). Solve 4*f + 26 = 5*b, 3*b + f + 6 = d*b for b.
2
Let x(a) = 23*a**3 + 1. Suppose -3 = -c - j, -c + j - 1 = -0. Let p be x(c). Solve -b - 6 = 5*f + 11, 3*f - 4*b + p = 0 for f.
-4
Let x(u) = u + 5. Let n be x(-5). Suppose 8*r - 4*r - 24 = n. Solve -2*j = j + r, -5*j - 14 = 4*t for t.
-1
Suppose 0*a + 10 = -3*y - 5*a, -3*a - 30 = -3*y. Suppose 2*z - 4 = -4*m + z, 5*m - 20 = -y*z. Solve 3*i + 2*i = -3*s - 25, m = -2*i + s - 10 for i.
-5
Suppose -3*c + w - 3*w = -3, 4*c = 2*w + 18. Solve -c*t + t = 2*m - 16, 3*t + m - 18 = 0 for t.
5
Suppose 23 = 4*q - 1. Let g be 1/(15/q - 2). Suppose h - g*h + 2 = 0. Solve -v + 7 = h*v + y, y - 9 = -4*v for v.
2
Suppose 4*l - 67 = -l - j, 0 = 3*l + 3*j - 33. Let a = 50 + -48. Solve -y = 5*c - a*c - l, 24 = 4*c - 4*y for c.
5
Let x(y) = y + 26. Let g be x(-8). Solve 0*v - 5*v - 2*n = g, -v = 3*n + 14 for v.
-2
Suppose -2*n - 12 = 2*n. Let y be n*(-3 - -6)/(-3). Let j = 4 + -2. Solve -4*w - 12 = j*x, 2*w + 4 = x - y*x for x.
2
Suppose 125 = 5*o + 4*m, 0 = o - 3*m - 7 + 1. Let t = o - 19. Solve 5*x = 3*f - 10, 5 = 2*x - 5*x + t*f for x.
-5
Let w = -77 + 79. Solve -3*r + 26 = 5*s, 5*r - 11 - 7 = -w*s for s.
4
Suppose -3*o - o = -16. Solve q = 5*x + 19, -x - 3*x = 2*q + o for x.
-3
Let u be ((-6)/9 + 5/3)*0. Let j be (-6)/(-9) + (-92)/(-6). Solve -4*b + u*z + 4*z = 28, 3*z = 2*b + j for b.
-5
Let w = 1 - -1. Suppose -6 = s - w*s. Suppose 6 = -3*n + s*n. Solve 0 = n*h + 4*y - 20, -5*y + 6 = -5*h - 4 for h.
2
Let s(t) = 7*t - 2. Let c(k) = 3*k - 1. Let p(l) = -9*c(l) + 4*s(l). Let a be p(4). Solve -a*d - 5*y = 20, -3*d + 4*y = y - 18 for d.
1
Let r(p) = -3*p - 5. Let k be r(-3). Solve -h + 20 = -5*u, u = 5*h + 2*u + k for h.
0
Let n(f) = -5*f**3 - 1. Let g be n(1). Let v be (-20)/(-9) - g/(-27). Solve -1 = k - 0, -4*l + v*k + 22 = 0 for l.
5
Suppose -2*b - d + 24 + 17 = 0, -5*d = 2*b - 29. Solve -5*t - 4*z = -t + 8, -5*z = t + b for t.
3
Let l be 6/1*(-3)/(-6). Solve -3*z = y + 10, l*y - z - 23 + 3 = 0 for y.
5
Suppose 2*f = z + 8, -2*f - 4*z + 4 = 2*f. Solve f*j = 2*t + 2*t - 16, 5*t = -2*j + 20 for j.
0
Let b(k) = -k**3 - 7*k**2. Let s be b(-7). Let c be ((-4)/6)/((-1)/3). Suppose u = -c*u. Solve -g - f + 6 = s, -5*g + 3*f = -u*f - 22 for g.
5
Let q(z) = -1 - 1 - 5*z - 2. Let v be q(-3). Let k(o) = 5*o - 6. Let i be k(3). Solve -3*r = -2*r - 4*p + i, -3*r = 4*p + v for r.
-5
Let f(h) = -h + 5. Let j be f(5). Solve -x + 10 = -3*b, -4*b - 5*x + j*x - 26 = 0 for b.
-4
Let i be 20/(-3) + (-1)/3. Let h(m) = -m - 2. Let r be h(i). Solve r*b + 25 = 0, -2*b = 3*k - 1 + 26 for k.
-5
Let r(h) = 4*h**3 - h**2 + h. Let p be r(1). Solve d = -1, 2*d - 3*d = -p*n + 5 for n.
1
Let n be (-13 - -19) + -1 + 2/(-2). Solve -4*m - 7 = -n*l - 23, 3*m - 20 = 5*l for l.
-4
Suppose -3 - 75 = -6*d. Solve -r - 7*k - d = -3*k, -4*r + 5*k = 10 for r.
-5
Let y(c) = c**3 - 6*c**2 - 8*c + 10. Let o be y(7). Solve 2*d + 4 = o*k, 4*d = -5*k - 37 + 7 for d.
-5
Let k be 1*(-1*3 - (-6 - -3)). Solve 4*l = -4*h - k*l - 20, 5*l = 5*h + 25 for h.
-5
Let r = 14 + -9. Solve 5*h - y = -0*h, 0 = 5*h + r*y for h.
0
Let l be 4/(-6) + (-33)/(-9). Suppose 2*s - 3 - l = 0. Solve 3*k - 1 = 4*u - s, 6 = -5*k + 4*u for k.
-2
Let y(k) = k + 1. Let v be y(0). Let c be 0*2/(-4)*v. Suppose c = f + h - 0*h - 7, -5*f - 4*h = -31. Solve 0 = -f*u + b + 12, 3*u = -2*b - b for u.
3
Let v(d) = d**3 + 15*d**2 + 15*d + 17. Let a be v(-14). Solve -5*i - 5 = 5*j, 5*j - 2*i = a*i + 5 for j.
0
Let i(p) = -p**3 - 3*p**2 + 3*p - 2. Suppose -2*o = 4*l + 24, 2*l + 16 = -3*o + o. Let f be i(o). Solve 4*x = 2*j - f, -x - 6*j - 28 = -j for x.
-3
Suppose 15*g + 240 = 23*g. Solve 0 = -5*d + 3*m + g, 0*m + 20 = 5*d - m for d.
3
Suppose -3*k + r - 26 = -10, 4*r + 6 = -2*k. Let i be 0 - k/(15/6). Solve -i*x + 4*v + 10 = 0, 5*v + 13 = 3*x - 0*x for x.
1
Let d be 0 + 2 - (3 + -3). Suppose 5*h = d*h. Solve 2*n + 3*i - 1 = h, 7*i - 6 = n + 2*i for n.
-1
Let r be -6*2*2/(-8). Suppose -r*g = -g. Solve 2*x + 3*b + 5 = g, -3*x - 4*b = -5*b + 2 for x.
-1
Let i be (-8)/(-20) + 1/((-10)/4). Solve -5*v + i*d - 3*d + 2 = 0, -2*v = 2*d - 4 for v.
-2
Let n(y) be the second derivative of y**5/20 - y**4/3 + y**3/2 + 3*y**2/2 + 5*y. Let z be n(3). Solve 0 = -4*p - 2*l - z*l, 27 = -3*p + 3*l for p.
-5
Suppose 4*q + q = 3*b - 25, b + 4*q + 20 = 0. Solve p - 5 = -b, -2*v + 4*p - 24 = 0 for v.
-2
Let n = 1 - 6. Let w = n - -15. Solve w = 3*l + 4*k, 4*l + 2*k = -l - 2 for l.
-2
Let a = 8 - 3. Solve -10 - 5 = -5*p - 3*x, -6 = -2*p - a*x for p.
3
Suppose -5*a = -0*a + 4*v - 36, -4*a = 3*v - 29. Solve n - 8 = -y, -3*y + 4*n + a = 3*n for y.
4
Suppose 5 = -p + 13. Let d(a) = -9*a**2 + 3 - 4*a**3 + 5*a**3 - p*a - 2*a. Let w be d(10). Solve -6 = -w*l, 3*o - 10 = 2*l + 1 for o.
5
Let w(u) = 3*u**2 - u**2 - 1 - 2*u + 3. Suppose -h = 2*h + 4*o - 5, 0 = 5*o + 5. Let r be w(h). Solve -5*p + r = 2*c, -p + 0*p = -c for c.
2
Let r(j) = j - 2. Let v be r(5). Let q = 0 + v. Suppose q*a = g + 2 + 2, 0 = -4*g - 4*a + 16. Solve 4*l = -g*x - 16, -3*x + 2*x - 4*l = 16 for x.
0
Let x be (-20)