Solve t*l = -d - 4 for l.
-1
Suppose 0 = 3*w - w. Suppose -74 = -11*u - 19. Solve 0*k - k + u = w for k.
5
Suppose -5*z - z + 78 = 0. Solve -4*u = 3 + z for u.
-4
Let p = -23 - -41. Let d be 6/(-1 - (-2 - 0)). Suppose -b = h + 1, 3*h = d*b - 2*b + p. Solve q = -h*q + 12 for q.
4
Let m(t) = -2*t**2 - 2*t + 3. Let o be m(-3). Let x(u) = -u - 6. Let p be x(o). Solve -g = p*g - 20 for g.
5
Let f(v) be the third derivative of 5/12*v**4 - 3/2*v**3 + 0 + 0*v + 2*v**2 - 1/60*v**5. Let p be f(9). Solve 2*m + p = -4 for m.
-2
Suppose 14*w = 10*w. Solve w = y - 2 - 2 for y.
4
Suppose 3*l - 3*j - 27 = 0, -3*l - 5*j + 4*j = -23. Solve -w + l = -3*w for w.
-4
Let t(a) = -2*a - 2. Let u be t(-2). Let c(m) = -2*m**2 - u*m**3 + 2*m**2 + 2*m. Let l be c(-2). Solve -4*v - l = 4 for v.
-4
Suppose -3*i + i = -10. Let v = 1 - 0. Let k be i + -5 + v*2. Solve -k*q + 6 = -5*q for q.
-2
Let k = -11 - -12. Solve o - 2 = k for o.
3
Let k be 64/10 + (-18)/45. Solve -k*r - 9 = -3*r for r.
-3
Let o = 25 + -13. Let l = -2 + 6. Solve o + l = 4*r for r.
4
Suppose -s - 29 = -5*x + 8, -31 = -5*x + 3*s. Solve x*q + 5 = 3*q for q.
-1
Suppose 0*y + 4*y = 0. Suppose 5*z - 11 - 4 = y. Let m be 5 - 1 - (0 - 0). Solve -m*x = -z + 15 for x.
-3
Let b be ((-11)/11)/(1/(-3)). Suppose -9 = b*u - 6*u. Solve -12 = -u*h - 0*h for h.
4
Suppose u = -3*x + 2*x + 5, 2*u = 2*x - 22. Let k(d) = d**3 - 7*d**2 - 6*d - 9. Let p be k(x). Suppose -3*r + p = -2. Solve r*y = -2*y for y.
0
Suppose g - 2*j - 2*j - 1 = 0, 4*j - 9 = -g. Solve 0*d + 5*d + g = 0 for d.
-1
Suppose 5*v = 63 + 7. Solve -2*m = -4 + v for m.
-5
Suppose -2*m - 3*m + 29 = 3*p, -3*m - 3*p + 21 = 0. Solve m*v = 5*v - 3 for v.
3
Let n = 1 + -2. Let f = 3 - n. Suppose 2*v + f = 4*v. Solve -v*x = -3*x for x.
0
Let c(u) = u**2 - 6*u + 10. Let b be c(4). Suppose b*g + g = 3. Solve 3*z - g = 2 for z.
1
Let v be -2*-2*(-1 + 2). Suppose -69 = 5*o - v. Let i = -9 - o. Solve 20 = y + i*y for y.
4
Suppose l + 15 = 4*g, -3*g + 2*g - 3 = 2*l. Solve g*d = d for d.
0
Suppose -8*k + 2 = -7*k. Solve 6 = -f + k for f.
-4
Suppose -v + 25 = 4*t + t, -3*v + 7 = -2*t. Suppose 23 = t*k + 3. Suppose -k*i = -5*r - 25 - 20, 4*r - 24 = -i. Solve i + 3 = 3*n for n.
5
Let l = -118 - -130. Solve -3*c = -3 - l for c.
5
Let q be (-2)/3 - 118/(-6). Let z = q + 1. Suppose -2*r = 2*r - z. Solve -r*l + l = 0 for l.
0
Let h be 4/6*(0 - -3). Let v(y) = 6*y - 2. Let k be v(h). Solve 5*q - k = -0*q for q.
2
Let h be (-1)/5 + (-208)/(-40). Solve 0 = -h*z - 3 - 7 for z.
-2
Let i be 3 - ((-1)/((-2)/4) + -2). Solve 8*j - 5 = i*j for j.
1
Let w be 5*4*(-15)/(-100). Solve 0*s + w = -s for s.
-3
Let u(g) be the first derivative of -g**4/4 - g**3 - 3*g**2/2 - 4*g - 2. Let x be u(-3). Solve -4*y + 7 = -x for y.
3
Suppose 0 = -w + 4*w - 6. Solve -4*z = -w - 6 for z.
2
Suppose 2*l = -3*l. Solve 0*k - 4*k + 20 = l for k.
5
Let w be (-16)/(-4) + 4/(-2). Suppose 3*q - 14 = -2*q + 2*b, 2*b + w = -q. Solve -u - 5 = -q*u for u.
5
Let d(k) = -k + 2. Let p be d(0). Suppose 4*h + p = 38. Suppose 2*r - r = h. Solve 2*c - r = -c for c.
3
Let o be ((-3)/1*1)/(-1). Solve o*v - 8 = -2 for v.
2
Let y(k) = -3*k + 77. Let d be y(25). Solve -3 = d*o + 3 for o.
-3
Let g = -4 - -6. Suppose -g*c + 7 = -3. Solve b = -0*b + c for b.
5
Let n = -21 - -21. Solve -p + 1 = -n for p.
1
Let y(j) = j**2 - 2*j - 1. Let c be y(3). Suppose c*h - 7*h + 70 = 5*u, -2*u = -4*h + 2. Solve 3*b - u - 3 = 0 for b.
4
Let v be (-6)/(-8)*(-8)/(-3). Solve -v = -3*c - 14 for c.
-4
Let m(r) = -r - 4. Let h be m(-3). Let l be (0 + h)/(12 + -13). Solve l = -3*p - 11 for p.
-4
Suppose 10*t - 30 = 5*t. Solve -l + 3*l = t for l.
3
Suppose -2*s = -0*s - 8. Let h be (-14)/(-4) - 2/s. Suppose -u + 22 = -4*v, 4*u - 36 = 4*v - 8. Solve u*c - c = -h for c.
-3
Let v = -1 + 3. Let c be (-24)/204 + (-36)/(-17). Solve 4*t - v = c for t.
1
Let m(i) = -4*i**3 - 2*i**2 + 1. Let g be m(-1). Let y be 1 - (1 - 1)/g. Solve 1 = -x - y for x.
-2
Let d(w) = -2*w - 3. Let c be d(-3). Suppose -b = c*b. Solve -s + b*s = 0 for s.
0
Let s(l) = l + 5. Suppose 2*r + 6 = -4. Let x be s(r). Solve x = -c + 4 for c.
4
Let y(g) = 2*g + 2. Let p be y(-1). Solve 4*o + o = p for o.
0
Let g(t) = 2*t - 1. Let k be (-10)/4*(-36)/15. Let z be g(k). Let h = z - 8. Solve 3*i = -9 - h for i.
-4
Let a(s) = -s + 25. Let o be a(10). Solve -5*d = -0*d - o for d.
3
Let t = 4 - 0. Suppose 0 = -5*w + t*w. Suppose w = -4*v + 2*v. Solve -n + 6*n = v for n.
0
Suppose 5*x = 10 + 10. Suppose -f = 3*u - 1, 0 = 4*f - 0*u - x*u - 36. Suppose 2*z = f*z. Solve -4*p + p - 6 = z for p.
-2
Let j be (-20)/6*18/(-12). Solve -2*s - j = -3*s for s.
5
Let p = -7 + 13. Suppose 0 = -5*v + 3*m - p, -2*m + 7 - 3 = 0. Solve -1 = -s - v for s.
1
Let q(r) be the third derivative of r**6/120 - r**5/20 + r**4/24 - r**3/3 - 7*r**2. Let n be q(3). Solve -5*y - 4 - n = 0 for y.
-1
Let h = -24 - -24. Solve h*g + 2*g = 0 for g.
0
Let j = 190 - 190. Solve 3 + j = -p for p.
-3
Suppose 2*r = 4*j - j - 21, 4*r + 3*j - 3 = 0. Let s = r + 3. Solve s + 3 = l for l.
3
Let p be 1/5 - (1 - 72/15). Solve p*j - 3 = j for j.
1
Suppose -16 = 2*b - 4*b. Suppose 0 = -3*l - 2*l - q + b, 2*l - 4*q - 12 = 0. Suppose -5*u + 17 = -d, -4*d - 5*u + 29 = -28. Solve l*i - 2 = d for i.
5
Let z(g) be the first derivative of g**3/3 - 4*g**2 - 9*g + 2. Let d be z(9). Solve 0 = -2*i - d*i + 10 for i.
5
Suppose 5*f + 10 = 25. Suppose 2*i + 4*b = 16, f*i + b + 0 - 24 = 0. Let d = -6 + 10. Solve 0 = -d*c + i for c.
2
Suppose 2*j - 23 = -5*b, 0 = 2*b - 3*j - 6 - 7. Suppose x = 4 - 3. Solve 0 = -b*h + x - 16 for h.
-3
Let g(s) = -4*s. Let u be g(-1). Suppose -2*w = -u - 4. Solve -5*j = -j - w for j.
1
Let j(g) = g**2 - 3*g - 10. Let b be j(-3). Solve -2*t + b = -0*t for t.
4
Let t(b) = -7*b - b + 0*b. Let g be t(-1). Suppose 5*w - w = 2*h - g, 4*w - 20 = -5*h. Solve w = -5*p - 2 + 17 for p.
3
Let g be (-12)/10*(-10)/3. Let c = -1 - -3. Suppose c*b - g = 2. Solve -b*o = -o - 10 for o.
5
Let o = 4 + -6. Let m = o + 2. Let d be -1 - (0 - 2) - m. Solve 2*p + d = -3 for p.
-2
Suppose -2*c - 1 = 2*a + 1, 2*c = 2*a - 18. Solve a*f - 5 + 21 = 0 for f.
-4
Let c(m) = -m**2 + 5*m - 1. Let p be c(7). Let f = -10 - p. Solve -f*s + 1 = -4 for s.
1
Suppose 3*h + 0*p + 4*p = 28, -5*p - 70 = -5*h. Let q(r) = -r**2 + 12*r + 4. Let y be q(h). Solve -y*f = -2*f + 2 for f.
-1
Suppose -m - 60 = -4*m. Let f(c) = -5*c**2 - 22*c - 3. Let w be f(-4). Solve w = 5*n - m for n.
5
Suppose 16 = 4*z - x, 5*z - 20 = 3*x + 2*x. Let t = 12 + -25. Let r = 29 + t. Solve -r + z = 3*n for n.
-4
Let z = -116 - -197. Suppose 4*v - 62 = 2*b, -z = -5*v - 4*b + 3*b. Solve 3*n + v = -n for n.
-4
Suppose -3*b + 3*w - 3 = -21, w + 4 = 0. Let f(u) = u - 3. Let t be f(2). Let v be 7 - t/b*2. Solve j + v = -j for j.
-4
Suppose -3*k + 4*w + 1 = -0*k, 0 = -k + 4*w - 5. Solve -f - k = -4 for f.
1
Suppose 19 + 11 = -c. Let n be 3/12 + c/(-8). Solve -2*i - n = -0 for i.
-2
Let a be 1 - -1 - (1 - -50). Let m be 2/(-6) - a/3. Suppose -5*n - q - 10 = -33, q - 19 = -4*n. Solve n*d = -0*d - m for d.
-4
Let l = 17 - 26. Let u = -5 - l. Suppose -3*h + 2*h = -2. Solve h*g + 4 = u*g for g.
2
Suppose x = -2*s - 4, 4*s = -12 - 0. Solve u = x*u + 4 for u.
-4
Let c be 2/6 + 14/(-6). Let w = c - -4. Solve -z = 3 + w for z.
-5
Suppose 5*b - 14 = -3*t + 20, 3 = t. Suppose -10 = b*w, 4*k - 2*w = -5*w + 26. Let l = k - 5. Solve 4*i = 13 + l for i.
4
Let q be 2 - 1/((-2)/4). Suppose -4*x = -3*k + 24, 0 = q*x + 10 + 2. Suppose 5*t - 41 = 9. Solve -2*u + k*u + t = 0 for u.
-5
Let y = 19 - 16. Solve y*g - 16 = -g for g.
4
Let z(g) = g**2 + 2*g - 3. Let j be z(-3). Suppose j = 2*a + 2*a - 4*w - 28, 4*w + 24 = 3*a. Solve 0 = -3*r + a - 7 for r.
-1
Suppose -3*p - h + 4 = 0, -6 + 16 = p - 4*h. Solve -r + 0 = -p for r.
2
Let w be ((-4)/(-6) - 1)*-6. Let n be 0 - (0 - -1 - 1). Solve n*r - w*r = -8 for r.
4
Suppose -10*q + 6 + 14 = 0. Solve f - 2 = q for f.
4
Let j be (1 - 1)*(1 - 0). Solve j*v + v + 1 = 0 for v.
-1
Let d be (1/(-6))/(6/(-36)). Let w = d - -2. Solve 0*q + w*q - 9 = 0 for q.
3
Let g(j) = 3*j + 8. Let p be g(0). Solve p + 2 = 5*b for b.
2
Let j be 22/8 + (-4)/(-16). Suppose 3*x - 12 = -j. Solve 0*d + x = d for d.
3
Let n(q) = q**2 - 7*q - 6. Let u(z) = z**2 - z - 4. Let y be u(-3). Let m be n(y). Solve -3*a = m*a - 