be (-1)/(-1 - (-18)/20). Suppose -5*z + 3*r + 29 = 0, -16 = -4*z - r - 3. Solve l = -z*l - x for l.
-2
Let j(g) = g + 9. Let i be j(-4). Suppose 10 = -q + 3*q - p, -4*p = 2*q. Suppose -3*h - q = -2*h, 4*x - 20 = i*h. Solve 4*f - f + 9 = x for f.
-3
Let v(d) = d**2 + 9*d + 2. Let q be v(-9). Let p(z) = -z**2 + 2*z + 1. Let y be p(q). Let j be ((-6)/(-18))/(y/21). Solve 2*o + 10 = j*o for o.
2
Let d(s) = s**3 - 8*s**2 + 6*s + 7. Let c be d(7). Suppose -4*p + 66 = 3*n + 2*n, c = n - 5*p + 10. Solve -x + n = -6*x for x.
-2
Let a be 60/(-6)*2/(-4). Let d(s) = s + 16. Let q be d(0). Suppose 9 = -3*v - 0*v - 3*r, 3*v - 4*r - 12 = 0. Solve v = -t + a*t - q for t.
4
Let m(f) = -3 - 14*f + 1 - 3*f + 1. Let z be m(-1). Solve h + z = 5*h for h.
4
Let h(n) be the second derivative of n**5/20 + 5*n**4/6 + n**3/6 + 6*n**2 + 2*n. Let v be h(-10). Solve j + v*j = -15 for j.
-5
Suppose 5 = j + 2. Suppose 0*o + j*o - 24 = 0. Solve 6*m = 2*m + o for m.
2
Let k = -4 + 6. Suppose p + 0*p + 3*x = 19, p - 14 = -2*x. Suppose -4*m - 8 = -p*y, 2*m = -y - 0 + k. Solve y*z + 6 = -0*z for z.
-3
Let j = 28 + -26. Solve 0*q - j = 2*q for q.
-1
Suppose 3*j - 6*j = 3*z - 9, -7 = j + 3*z. Let h(o) = o**3 - 8*o**2 + 2*o - 9. Let m be h(j). Solve 32 = 5*x + m for x.
5
Let a be 10 - (1 - 0 - -3). Solve -5*c - 4 = a for c.
-2
Let x(i) = -i**3 + 10*i**2 - 13*i + 1. Let n be x(8). Solve -8*m + 3*m - n = 0 for m.
-5
Suppose -3*m = -9*d + 6*d + 12, 6 = 5*d + 2*m. Solve d - 4 = x for x.
-2
Let q be ((-5 + 5)/(-7))/(4/(-2)). Solve q = i - 2*i + 1 for i.
1
Let p(n) = n**3 - 12*n**2 - n + 12. Let j be p(12). Solve j = 2*o + o + 9 for o.
-3
Let g(w) be the third derivative of -w**6/120 + w**5/10 + w**4/12 - w**3 - 2*w**2. Let z be g(6). Solve 0 = -3*x - 0 + z for x.
2
Suppose r = 0, -n = n - 2*r + 160. Suppose -2 - 10 = h. Let p be n/h - 2/(-6). Solve 4*x - p = -23 for x.
-4
Suppose 5*l = 2*c + 19, -4*c = -3*l + 5*l - 22. Solve -13 = -l*v + 2 for v.
3
Suppose -c + 5*c = -a - 86, 0 = -c + 3*a - 15. Let p = -12 - c. Solve -5*d = 6 + p for d.
-3
Let t(d) = d**3 - 4*d**2 + 4*d - 1. Let x be t(3). Let b = -1 + x. Solve -b - 4 = s for s.
-5
Let i = 45 + -39. Solve i = a + 11 for a.
-5
Let r(n) = -n**2 + 7*n - 6. Let c be r(6). Suppose -4*d + c*d + 16 = 0. Suppose -47 = d*m - 147. Solve l = 6*l + m for l.
-5
Suppose w - 5*w + 4*t = -28, 5*w + 2*t - 14 = 0. Suppose -5*m = -w*m - 10. Let j = m + -7. Solve j*k + 2*k - 10 = 0 for k.
2
Suppose 3*w = 5*w - 24. Solve t = 5*t + w for t.
-3
Let t = -15 + 11. Let x be 0/(-4) + 10 + t. Solve -4*g = -x*g - 6 for g.
-3
Suppose 0 = 2*z + t - 7, 3*z - 8 = 2*z + 4*t. Solve -z*m - 9 = -29 for m.
5
Let o(u) = -7*u + 2. Let q be o(-2). Let i be 2/4*(10 + 0). Solve c - i*c = -q for c.
4
Suppose -3*x + 26 = 4*r, 5*r - 6 = -2*x + 23. Suppose 0 = -x*s + 4*s - 8. Solve -k - 7 + s = 0 for k.
-3
Let v(k) be the third derivative of k**4/24 + k**3/3 - 2*k**2. Let g be v(-2). Solve g*u - 4 = -4*u for u.
1
Let k(q) be the third derivative of q**4/24 + 3*q**2. Let h be k(2). Let t = 7 - 1. Solve -h*p + 4 = -t for p.
5
Let y(k) = 3*k - 8. Let i(q) = 5*q - 15. Let t(b) = 4*i(b) - 7*y(b). Let g be t(-6). Let o(d) = 2*d**2 - 12*d - 11. Let l be o(7). Solve p = -g - l for p.
-5
Suppose -2*q = -q + u - 2, 5*q = 5*u - 10. Solve 2*i - 4 = -q*i for i.
2
Let a be (-1)/3 - 39/(-9). Solve -a*z - 1 - 19 = 0 for z.
-5
Let z(y) = y**2 - 6*y. Let k be z(6). Solve -j + 4 - 2 = k for j.
2
Suppose 9 - 3 = 3*b. Let o be (b - -3)*4/5. Let x(t) = t - 5. Let l be x(9). Solve l*p - o = -0*p for p.
1
Suppose 4*m = 12 + 12. Suppose k - 2*n = m*k - 6, -2*k + n = -6. Let y be (1/3)/((-3)/(-27)). Solve 0 = -k*a - y*a + 25 for a.
5
Let l(f) = f + 8. Let a be (-124)/24 - (-3)/18. Let i be l(a). Solve 4*u - 2 = i*u for u.
2
Suppose 0 = 8*y - 6*y - 12. Solve -3 = q - y for q.
3
Let t be (-1)/2*-4 - -2. Solve 0 = y + t*y + 10 for y.
-2
Let q(j) = -j**3 + 2*j**2 - 1. Let x be q(3). Let k be (-25)/(-2)*(-8)/x. Suppose 0*v - 4*v = 2*t - k, 4*t = v - 25. Solve 0*m + 5 = -v*m for m.
-1
Let g be 6/(4/18*-3). Let o = 24 + g. Suppose -7 = -5*k + 13. Solve o = -c - k*c for c.
-3
Let b be (-4)/6*3 - 2. Suppose -3*p + o + 4*o = 27, 3*o = 9. Let r = p - b. Solve -4*x - 4 = -r for x.
-1
Let h be (-13 + 21)*(-6)/(-16). Solve 0 = -5*r + 6*r + h for r.
-3
Let q be (-1)/(-3)*(9 - 6). Suppose -h + 1 = -q. Solve -h*j = -5 + 1 for j.
2
Let i(q) = -q**3 + 8*q**2 + 9*q + 2. Let l be i(9). Suppose -3*u + 7*u - 12 = 0. Solve -u = o + l*o for o.
-1
Let p(h) = -h - 4. Let j be 3 - (12 - 3 - -2). Let q be p(j). Solve -q*t + 3*t + 2 = 0 for t.
2
Let r(b) = b**3 - 5*b**2 - 8*b + 15. Let v be r(6). Solve 2 = -v*n - 4 for n.
-2
Suppose 0 = t - 15 - 0. Solve 0 = -4*s + 1 + t for s.
4
Suppose -5*b + 9*b = 8. Suppose b*g = 3*v - 0*v - 5, g = -1. Let q(k) = -k**3 - k + 2. Let m be q(0). Solve -m*f + 7 = -v for f.
4
Let g = 8 + -3. Solve 0*z = -g*z for z.
0
Let d(b) = 4*b**2 - b. Let k be d(1). Suppose n = 3*a + 6, 23 = k*n - 0*a - 4*a. Let m = -4 + 8. Solve 0 = -n*y + m*y + 5 for y.
1
Suppose 4*t - 3*n = 43, 5*t + 0*n + 2*n = 48. Let k be (16/32)/(1/t). Let o be (-2*2/(-4))/1. Solve -k*f = -6*f + o for f.
1
Let g = -5 - -14. Solve 3 = -3*s - g for s.
-4
Let o(p) = 2*p + 1. Let n be o(2). Suppose -3*c + 7 + 2 = 0. Solve 0 = c*l - 2 + n for l.
-1
Let q(w) = 6*w - 3. Let o be q(1). Solve -o*a = -2*a + 2 for a.
-2
Let h = -6 - -8. Let n be -1*(h + 2 + -8). Solve -12 = 4*a - n for a.
-2
Suppose 7*v + 5*v - 24 = 0. Solve -2*s + s = v for s.
-2
Let r(d) = -d**2 - 9*d - 5. Let v be r(-8). Solve -v*i + i - 6 = 0 for i.
-3
Suppose 3*s + 2 = -2*o, 5*o - 2 = 3*s + 35. Solve 0 = o*p + 2 + 3 for p.
-1
Let a(q) = -5*q**3 - q**2 + 12*q + 13. Let m(l) = l**3 - l**2 - l - 1. Let v(b) = -a(b) - 4*m(b). Let j be v(-6). Let p be j*(4/3 - 0). Solve p + 0 = -k for k.
-4
Let v = 1 + 0. Suppose 144*c - 140*c + t - 1 = 0, -5*t - 12 = 3*c. Solve -f - v = c for f.
-2
Suppose -c = -4*c + 9. Let i be (-2)/4*(1 - c). Solve -5*f = i + 4 for f.
-1
Let h(s) be the second derivative of s**5/20 - s**4/6 - s**3/6 - s**2/2 + 5*s. Let l be h(3). Solve l*t = t for t.
0
Let b = 1 + 3. Suppose 0 = 3*r - 2*g + 6, -2*r - g + 0 + 3 = 0. Suppose r*v = 2*v. Solve v*y + b = y for y.
4
Let y be (-1017)/(-36) - 2/8. Suppose 0 = d + 3*d + y. Let u = -5 - d. Solve -3*i = -u*i + 4 for i.
-4
Let p(k) = k**3 - 2*k**2 + 3*k - 6. Let i be (-3)/(-1)*(-4 - -5). Let q be p(i). Solve -2*v - q = -6*v for v.
3
Let o(v) = 2*v**2 - 4*v - 1. Let k be o(3). Suppose -k*c = -5*l - 47 - 13, -5*l = 4*c + 15. Let t be (-2)/7 - 16/l. Solve -1 = n + t for n.
-3
Let y = -18 + 11. Suppose 22 = -4*l - 6. Let f = y - l. Solve f = -5*w + 3 - 18 for w.
-3
Let l(o) = o**2 + 12*o + 2. Let f be l(-12). Solve -f*a + 10 = -0*a for a.
5
Suppose -5*g - 5 = m + 1, 4*m - 22 = 3*g. Solve -m*t + t = 15 for t.
-5
Let q = -1 - -3. Let i(c) = -9*c - 3. Let f be i(-2). Suppose -a + 6*a - f = 0. Solve 5 = a*w + q*w for w.
1
Let d(w) be the third derivative of w**6/120 + 2*w**5/15 - w**4/3 + 3*w**3/2 - w**2. Let o be d(-9). Solve o = -3*z + z for z.
0
Let d be 10/45 + (-75)/(-27). Solve 5 = -d*i - 1 for i.
-2
Let y(w) = w**2 - 3*w - 4. Let c be y(4). Solve 3*m + 4 + 2 = c for m.
-2
Let l be 6/4*280/21. Solve 0 = b + 4*b - l for b.
4
Let k(f) = 4*f + 37. Let x be k(-8). Solve n - x = -1 for n.
4
Suppose 0*f = 5*d + 4*f - 64, -3*f = 4*d - 51. Suppose 3*r - 27 = -5*i, -3*i - 3*r + 33 - d = 0. Suppose -3*g + 43 = 13. Solve -i*q = g - 1 for q.
-3
Let u = -51 - -30. Let a be 36/10 - u/(-35). Solve 0 = -a*y + 6 for y.
2
Suppose -h + 0*k = -k + 11, 26 = -2*h + 3*k. Let q(p) be the first derivative of p**2/2 + 10*p + 3. Let o be q(h). Solve i - 8 = -o for i.
5
Suppose 0 = 10*a - 23 - 7. Solve 0*y - 15 = -a*y for y.
5
Let m = 4 - 2. Suppose 0 = m*a + 3*a - 125. Solve 0 = x + 4*x - a for x.
5
Let y(d) = d + 8. Suppose -54 - 41 = 5*j. Let u = j + 11. Let m be y(u). Solve m = -6*v + 2*v + 4 for v.
1
Suppose 4*z = 11 - 3. Solve 2*r = z + 2 for r.
2
Let r(v) = 7*v + 43. Let l be r(-6). Suppose -2*k - k = -9. Solve -l = b - k for b.
2
Let v be (-4)/(-16) - 31/(-4). Solve -25 = -v*y + 3*y for y.
5
Suppose b + 4*f = 3 + 2, -2*f = -5*b + 25. Solve b = 3*t - 4 for t.
3
Suppose -7 + 23 = -t. Let x = t - -19. Solve -4 = x*n - 1 for n.
-1
Suppose 0*d + 6 = 3