0 = 4*j - 2*z - 8. Solve 0*r = j*r - 6 for r.
3
Let g be (2/5)/(4/20). Suppose -5 = -5*u, 5*a + 1 - 14 = 2*u. Solve a = t + g*t for t.
1
Let y = 8 - 8. Solve -4*q + 7 + 13 = y for q.
5
Let r be ((-56)/(-20) + -2)/((-2)/(-5)). Solve w + r = -0 for w.
-2
Suppose 2*w = -2*f + 8, -2*w - 8 = -4*w + f. Suppose 5*k = 31 - 11. Suppose g + 0*g - k*n + 16 = 0, n = 5*g - 15. Solve w*b + g = 2*b for b.
-2
Let b(a) = -68*a - 1. Let l be b(-1). Suppose 0 = -5*t + 8 + l. Solve -5*i = t - 5 for i.
-2
Let d = -30 - -66. Suppose s - 4*s + d = 0. Solve s = -q + 5*q for q.
3
Let k = 6 - 4. Suppose -k*u + 9 = u. Suppose -u*s = -5 - 1. Solve -n - s*n = -12 for n.
4
Let l = 1 + -1. Let c(v) = v**3 + 8*v**2 + 7*v + 3. Let g be c(-7). Suppose 4*t + g + 25 = 3*k, 3*k + 2*t - 4 = l. Solve -k*d - 5 = d for d.
-1
Suppose 4*u - 54 - 18 = 0. Suppose 3*t - 12 - 15 = 4*z, -2*t + u = -3*z. Let v be 1*(-3)/t*0. Solve 2 = l - v for l.
2
Let v(j) = -j**3 - 4*j**2 + 4*j. Let o be v(-5). Solve x - 20 = o*x for x.
-5
Suppose 3*g - 8 = -g, -4*o - 5*g + 26 = 0. Let y be o*(7 + 1 + -4). Solve 0 = -3*t + 7*t - y for t.
4
Let t be ((-6)/3 + 2)/1. Let w(p) be the third derivative of -p**4/12 - 5*p**3/6 + 2*p**2. Let u be w(-5). Solve -u*z + 0*z = t for z.
0
Suppose 11*c + 12 = 15*c. Solve -3*a = -c - 9 for a.
4
Let q = 16 + -9. Solve 2*o + 1 + q = 0 for o.
-4
Let m = -3 + 8. Suppose 5*k = 3*k + 4*s + 26, -m = s. Suppose 3*r + 0*x - 4 = 4*x, -2*r + k*x + 2 = 0. Solve 15 = r*a - a for a.
5
Let b(a) be the second derivative of a**4/12 - a**3/3 + a**2 + a. Let t be b(2). Let l(u) = -u**2 + 3*u + 2. Let g be l(3). Solve -g*m = t*m + 12 for m.
-3
Let j(a) = -a - 8. Let z be j(-11). Solve y = z*y for y.
0
Let d(t) = -t**3 + 6*t**2 + 7*t + 3. Let v be d(7). Solve -3*b + v = -2*b for b.
3
Suppose -3*o + 11 + 1 = d, -o = -5*d + 12. Suppose 12 = -4*l, -v + 0*l + l + 3 = 0. Suppose -p + 3 = 0, v = b + b - 4*p + 8. Solve 4 = -d*u + b*u for u.
-4
Suppose 5*b = 6*s - s - 15, -2*b + 4*s = 14. Let z = 3 + b. Solve -z*i - 8 = -0*i for i.
-2
Let k be (-1 - (-2 - 0)) + -3. Let i be ((-2)/k)/1*0. Suppose i = -0*f - 4*f + 16. Solve 0 = f*x - 0*x + 16 for x.
-4
Let n(a) = a**2 + 6*a - 7. Let o be n(-7). Suppose o = -2*x - 0*x. Solve 0 = -u - x*u + 3 for u.
3
Suppose -2*o = 3*m + 1, -3*o - 12 = -m + 2*m. Solve -j = -m*j + 6 for j.
3
Let g be (4/(-9))/((-122)/(-18) - 7). Solve -2 - g = c for c.
-4
Let u = -69 + 79. Solve -3*l = 2*l - u for l.
2
Let n(i) = -i**2 - 8*i - 3. Let l be n(-7). Suppose -l*c = r + 1, 4*r + 0*c = -2*c + 10. Solve 5*u + 2 + r = 0 for u.
-1
Let j(r) = -r**2 + 12*r - 1. Let d be j(8). Let h = d - 29. Solve 0 = -0*n - h*n for n.
0
Suppose 0 = a - 6 - 4. Solve -4*m - a = 2 for m.
-3
Suppose 2*k - f - 12 = 0, 12 = -0*k + 2*k - 5*f. Solve -5*i - 9 = k for i.
-3
Suppose -12 = -3*x - 3. Let v be (-4)/((-2 - x) + 3). Let s be 1/(-2)*-3*2. Solve s = -v*b - 3 for b.
-3
Suppose -3*x + 2*x = -1. Let z = -88 + 92. Solve -z = 5*s + x for s.
-1
Suppose 3*j - 6 - 17 = -5*v, 4 = 4*j. Solve -7*l + v*l = 9 for l.
-3
Suppose -2*c - c = -2*t - 16, 0 = -4*c + 3*t + 22. Solve -c*r = -0*r - 4 for r.
1
Let y = 21 + -34. Let s = -9 - y. Let f be (40/15)/((-4)/(-18)). Solve s*x - 8 = f for x.
5
Let y = -2 - -4. Suppose z - y + 9 = 2*j, 3*j = -4*z - 6. Let w be 1 + (-1*28)/(-2). Solve -i = j*i + w for i.
-5
Let v(z) = 4*z - 31. Let u be v(10). Let b(p) = -p**3 + 4*p**2 + 4. Let q be b(4). Solve -i - u = -q for i.
-5
Suppose -6*p = -5*p - 19. Let q = p + -19. Solve q*z - z = -1 for z.
1
Let v be 20*(5 - 2 - 4). Let f be 1/(4 + 78/v). Solve -f + 30 = -4*i for i.
-5
Let z = 46 + -36. Solve 3*g + z = 25 for g.
5
Let f(h) = h + 10. Suppose 2*y = 6*y, -o - 10 = 2*y. Let v be f(o). Solve 0 = -2*i - v - 2 for i.
-1
Suppose 0*r = -11*r + 143. Solve -4*c = -r - 7 for c.
5
Let y(w) = -w + 4. Let d be y(-6). Solve d = -4*k - k for k.
-2
Let i(v) = -1 - v**3 + v + 1. Suppose -5*r - 11 = 4*a + 4, 3*a = r + 3. Let k be i(a). Solve k*l = l - 2 for l.
2
Let x = 41 - 39. Solve x*h = -0*h - 6 for h.
-3
Let v = 42 - 17. Suppose f - 6 + 1 = b, 5*f - v = 0. Suppose -2*h + 36 = -4*g, 22 = -b*h + h + 2*g. Solve -w - h = 3*w for w.
-5
Let m = -25 + 25. Solve 3*s = -m*s + 9 for s.
3
Let h be 1*8 + 6/(-3). Suppose -t - t = -h. Suppose -j + 3*l + 1 = -17, 0 = -t*j + 2*l + 19. Solve o = -j*o - 4 for o.
-1
Let u(a) = 3*a**2 - 7*a + 4. Let r be u(4). Suppose -t - 4*g = -0*t + 12, t - 5*g = r. Solve f = -t*f for f.
0
Suppose -7*u = -u - 36. Solve u = 3*x - 6 for x.
4
Suppose 0 = 4*l + 3*u - 15, 13 = 5*l - 5*u + 3*u. Let p = -13 + 15. Let w = 5 + p. Solve -5*g - w = l for g.
-2
Let t(m) be the first derivative of m**4/4 - 16*m**3/3 - 8*m**2 - 7*m + 7. Let p be t(17). Solve 3*s = s + p for s.
5
Suppose 2*k - 47 = -15. Solve -k = -f - 3*f for f.
4
Let p be 1/((-1 - -2)/3). Let y = 10 + -5. Suppose -10 - y = -p*x. Solve -x*z = -7 + 17 for z.
-2
Let t = 3 - 1. Suppose -3*j = 3*y - t*y + 22, -2*y - 39 = 5*j. Let q = y + 10. Solve 1 = -q*k - 14 for k.
-5
Let u = 11 + -9. Let t be 6/18 + u/(-6). Let x = -2 + 7. Solve 0*g + x*g = t for g.
0
Let h be (0 - -2) + (-16 - -18). Solve h*c + 5 = -11 for c.
-4
Suppose -6*v + v = -20. Suppose 2 = 7*o - 12. Solve -v*k - 2 = o for k.
-1
Let n(g) = g**3 + 5*g**2 - 7*g - 2. Let v be n(-6). Solve -5 = -3*x + v*x for x.
-5
Let c(o) = 3*o**2 - 3*o - 6*o**2 + 4*o**2. Let r be c(4). Solve -5*p = -r - 1 for p.
1
Let b be 1*2 - 120/15. Let p be (-46)/b - 6/9. Solve 2*s = p*s for s.
0
Suppose -4*i - 2*h + 18 = 0, 3*h = 5 + 10. Suppose 22 - 2 = i*n. Solve 0 = j + j + n for j.
-5
Let p(l) = -4*l + 17. Let j be p(3). Solve -4*t + j = t for t.
1
Let d(v) = -v**3 - 6*v**2 + 2*v + 4. Let x be d(-3). Let z be 2/(-8) - x/4. Solve -2*f - 20 = -z*f for f.
4
Suppose d = 5, -4*i + 3*i = d - 7. Solve 4*w - i = 5*w for w.
-2
Suppose r + 2*b = 5*b + 9, 3*r - 12 = 4*b. Solve r*p - 4*p + 12 = 0 for p.
3
Let f be (60/8)/(4/(-8)). Let j = -12 - f. Solve 0*h + 15 = j*h for h.
5
Suppose 3*a + 33 = 3*w, 4*a = 2*w - 0*a - 18. Let z(b) = b**2 - 12*b - 5. Let u be z(w). Solve u = d - 3*d for d.
-4
Suppose m + 3*m - 12 = j, -j = 4*m - 12. Solve 14 - 2 = m*c for c.
4
Let g be (1 + -3)*3/(-2). Let c = -1 + g. Suppose 0 = c*l - 0*l. Solve l*s = -s - 5 for s.
-5
Let g(j) = j + 1. Let x = -5 - -5. Let u be g(x). Suppose v + 3*i = -1 - u, 2*v - 4 = -2*i. Solve 0 = -v*y - y for y.
0
Suppose c = 4*z + 10 - 0, 0 = 5*c + 2*z - 28. Solve c = -3*a + 15 for a.
3
Let y(x) be the second derivative of x**6/15 - x**5/120 + x**3/2 - 2*x. Let k(l) be the second derivative of y(l). Let b be k(-1). Solve -o - b = -6*o for o.
5
Let l(y) = -y - 1. Let o be l(-3). Suppose 0 = o*d, 4*d = 4*h + 5*d - 8. Let t be 2*1/h - -2. Solve -t*k - 2 = -k for k.
-1
Let f(g) be the first derivative of -g**3/3 - 5*g**2/2 - 4*g - 1. Let l be f(-4). Suppose s + 0*s + 2*t + 4 = 0, 15 = -5*t. Solve l = -s*m - 0*m + 10 for m.
5
Let p be -1 - (27/3)/(-1). Let l be 0 + 2 + p/(-2). Let y be (-6)/l + (-1)/1. Solve 0 = y*v - 6*v for v.
0
Let p = 0 - -3. Solve 0 = p*o - 4*o for o.
0
Let g be (1/2)/(7/(-14)). Let o = 10 + g. Solve o = 5*m - 11 for m.
4
Suppose 3 = 3*l - 3. Let s be ((-56)/21 + 4)*3. Solve s*o - 2 = l*o for o.
1
Let y(x) = -x**2 - 12*x - 29. Let c be y(-7). Solve 0 = -m - 3 + c for m.
3
Let n = 128 - 119. Solve 4*a = n*a + 10 for a.
-2
Let g(t) = -t + 8. Let m(o) = -2*o**2 - 12*o - 6. Let d be m(-5). Let v be g(d). Solve -v*k - 2 - 2 = 0 for k.
-1
Let m = 3 + -1. Suppose m = 2*l - 16. Solve -5*z + 11 + l = 0 for z.
4
Let m(b) be the second derivative of 0 - 5/2*b**2 - 2/3*b**3 + 2*b. Let r be m(-5). Solve r - 5 = 5*o for o.
2
Let q be ((-4)/((-8)/(-14)))/(-1). Let a = q + -3. Suppose a*z + t = 5*z - 12, 18 = 3*z + 3*t. Solve -2*r - r = -z for r.
3
Suppose o + 28 = -2*k - 2*o, 4*k - 5*o = -34. Let f = k + 19. Suppose 2*u = p + 2 - 1, -5*u + f = 3*p. Solve 5*y + p = -4 for y.
-1
Let c(p) = 2*p**3 - p**2 + 4*p - 2. Let d be c(1). Solve 0 = -5*v + 2*v + d for v.
1
Let u(j) = -j**3 - 7*j**2 - 2*j - 4. Let r be u(-7). Solve d - r = -d for d.
5
Suppose 0 = b - 3 - 0. Solve 1 - b = -2*j for j.
1
Suppose 4 = 4*n, -6*n - 3 = 2*x - 11*n. Solve 0 = 2*o + x + 3 for o.
-2
Suppose -3*o - 4*l = 8, 5*o + 1 + 7 = -4*l. Suppose -4*f = 5*x + 29, o*x = 3*f + x + 8. Let k be f/(-1 - 2/(-3)). Solve 0 = -2*d