e y = 3*m - m + 10 for m.
-5
Suppose 0 = 3*j - 5*o + 46, 5*j - 3*o - 8 + 74 = 0. Let h be (-3)/j + (-1)/4. Let d = 1 + h. Solve -d = m - 5 for m.
4
Let o(j) = 2*j. Let l be o(1). Solve 2*c + 4 = -l*c for c.
-1
Suppose 3*q = -2*z - z - 12, -z + 11 = -2*q. Let x be (-3 + 12/3)*z. Solve x = w - 4 for w.
5
Let q(u) = u**3 + 3*u**2 - 3*u - 2. Let s(b) = -b**2 - 11*b - 3. Let i be s(-11). Let h be q(i). Let y = -2 + h. Solve 0 = y*f - 0 - 5 for f.
1
Let l(p) be the third derivative of p**4/12 - 7*p**3/6 + 2*p**2. Let t be l(6). Suppose 0 = -t*o + 9 + 6. Solve 0 = -o*i + 2*i + 2 for i.
2
Let p(x) = -x**3 - 8*x**2 + 11*x + 21. Let n be p(-9). Solve 10 - 25 = n*h for h.
-5
Suppose 3*q - d = 37, -q + 2*q + 5*d - 7 = 0. Solve 8*u = 4*u + q for u.
3
Let s be 5*(14/10 - 1). Let a(d) = d + 5. Let g be a(4). Suppose -3*x - 3*m = -4*x - g, -2*m + 6 = 0. Solve 6 = -s*j - x*j for j.
-3
Suppose 3*a + 8 - 23 = p, 5*a = -p + 17. Solve 0 = -a*q - 5 - 3 for q.
-2
Suppose -9*d - 30 = -14*d. Let k = d + -3. Solve o - 8 = -k*o for o.
2
Let h(v) = 2*v + 8. Let c be h(4). Solve f = 5*f + c for f.
-4
Suppose 5*h - 4*h - 7 = 0. Let y = 23 - h. Solve 0*j - 4*j + y = 0 for j.
4
Suppose 0 = -3*h + h - 4. Let s(u) = -3*u + 3 - 4 + u. Let z be s(h). Solve z*k + 5 = -4 for k.
-3
Let s be 48/27 + (-4)/(-18). Suppose -s*v - 7 = -3. Let g be (-1 - v)/((-1)/(-2)). Solve 2*r + g = -4 for r.
-3
Let j = -57 - -57. Solve j = 2*b + 7 - 5 for b.
-1
Suppose 2*u + 7*i - 28 = 2*i, 0 = -u - 3*i + 16. Solve 4 = -u*l + 3*l for l.
-4
Suppose -3*i = -2*f - 7, -2 = 2*f - 2*i - 0. Solve 7*v - f*v = 12 for v.
4
Suppose -5*j + 15 = -5*h, 5 - 2 = 4*j + 5*h. Solve 0 = -l - 3 + j for l.
-1
Let t(m) = -m + 12. Let l be t(9). Let g(c) = 4*c - 2. Let k be g(2). Suppose -3*u = -z + k, 0 = 5*z - 4*u + l*u - 100. Solve 5*p + z = 1 for p.
-4
Let q(r) = -r - 11. Let n be q(-15). Solve -n = -c - c for c.
2
Let y(d) = 5 + 4*d**3 - 6 + 3*d**3. Let t be y(1). Solve -t*b = -3*b for b.
0
Let b be 30*1/4*2. Solve -2*m - b = 3*m for m.
-3
Let l be 12/(-9) + 2/(-3). Let c be 3/(l*6/(-16)). Solve 0 = c*t - 3 - 13 for t.
4
Let a = -12 - -14. Solve -a*b = b for b.
0
Suppose -2*i - 3*i = 0. Let v be ((10/(-6))/1)/(38/(-114)). Solve l + i = -v for l.
-5
Suppose o = 4*o. Suppose o*g + 2*g - 18 = 4*z, 2*g + z - 3 = 0. Solve 0*k - g*k = 6 for k.
-2
Let v(g) = -g - 9. Let n be v(-9). Solve n = p + p for p.
0
Let v = -1 - -10. Suppose -31 = -4*h - h - 2*c, 0 = -3*c + v. Solve 3*s + 2 = h for s.
1
Let j(c) = -2*c. Let u be j(-1). Solve -u = -3*l + 1 for l.
1
Suppose 0 = -4*b + 8*b. Solve -5*x + 5 = -b*x for x.
1
Let f = -7 - -32. Solve -5*c = -0*c + f for c.
-5
Suppose -3*b + 3*y = -36, -5*b + 60 = -4*y - 3. Suppose 1 + b = -4*n - 4*p, -8 = -3*n + 2*p. Solve 0 = 2*s - n + 2 for s.
-1
Suppose 2*q - q = 4, -45 = -5*u - 5*q. Solve -u*v + 42 = 17 for v.
5
Suppose 0 = 4*o + 47 + 21. Let u = o + 19. Solve 0 = -3*z + u*z + 5 for z.
5
Suppose 0 = -0*s - 5*s. Suppose s = g - 5*g - 2*v - 10, -5*v = 4*g + 25. Solve 5*r + 1 - 6 = g for r.
1
Let v be 5/(4/(-32)*-4). Let s(z) = -z**2 + 9*z + 12. Let f be s(v). Solve 6*u - 20 = f*u for u.
5
Suppose 2*d - 4*d - 22 = 0. Let g(v) = -v - 11. Let z be g(d). Suppose 2*a = -z*a + 2, 2*t - 14 = -4*a. Solve -4*b + t = b for b.
1
Let j be 1/(3/(-9)) + 5. Suppose 0 = -j*b + b + 2. Solve 0 = s + b for s.
-2
Let v be 0*4*(-3)/(-24). Solve -2*w + 6 + v = 0 for w.
3
Suppose 0 = 2*f + 2*f. Solve f = 2*c - 6*c for c.
0
Let o(u) = u**2 - 3*u - 3. Let x be o(4). Let a = -5 + 8. Solve -a = b + x for b.
-4
Let l(c) = 5*c + 7. Let f(y) = y - 1. Let r be f(8). Let d(s) = -2*s - 2. Let i(b) = r*d(b) + 2*l(b). Let u be i(-1). Solve -h = u*h + 20 for h.
-4
Let b(r) = -r + 6. Let l(p) = -p**2 - 2*p. Let c be l(-2). Let m be b(c). Solve -25 = -i + m*i for i.
-5
Let t be 2/(0 - 6/(-9)). Solve 5 = -t*u + 2 for u.
-1
Let w(f) = 3*f + 3. Let s be w(3). Suppose 5*q = 4*o + 9, 4*o + 6 = -q + 27. Solve 4 + s = o*z for z.
4
Suppose 4*k = g - 3, -3*k - 15 = -6*g + g. Let o = g - -3. Let q = 6 + -2. Solve -2 = -q*p - o for p.
-1
Suppose 8 = -2*n + 16. Solve 12 = -o + n*o for o.
4
Let g be 4*7/4 - 4. Solve -g*z + 6 = -0*z for z.
2
Suppose 0 = y - 0*y + 11. Let p = y + 14. Solve -h - p - 1 = 0 for h.
-4
Let u(f) = f + 7. Let h be 235/20 + 2/8. Suppose -4*x + 2*c - h = 0, x - 1 = -2*x + 4*c. Let g be u(x). Solve -b + 1 + g = 0 for b.
3
Let v(t) = -14*t. Let q be v(-1). Solve 0 = -5*h - 6 - q for h.
-4
Let o(k) = k**2 + 5*k + 1. Let l be o(-7). Solve 0*i + l = -3*i for i.
-5
Let a(m) be the first derivative of m**2/2 - 2*m - 2. Let w be a(2). Suppose -15 = 3*u, -u + 7 = 4*h - w*h. Solve -2*v + h = 7 for v.
-2
Let s(w) = -w + 1. Let h be s(-1). Suppose 0*g - 4*g + m + 46 = 0, 0 = -h*m - 4. Suppose -g = -4*n + 1. Solve -p - n = 2 for p.
-5
Let c(u) = u**2 - 2*u + 4. Let p be c(6). Suppose -2*m = 2*m - p. Let j be 2 - 0 - (-14)/m. Solve -j = -b - b for b.
2
Let l(m) = -m**2 + 4*m. Let v be l(3). Solve -h - 8 = -v for h.
-5
Suppose 5*g + 1 + 19 = 0. Suppose -3 = n + 5. Let x be g/(-22) - n/(-44). Solve 4*p - 17 + 1 = x for p.
4
Let y be (22/(-6))/((-5)/15). Let b = y - 11. Solve 0*p - 5*p - 15 = b for p.
-3
Let n(s) = 9*s - 2. Let d be n(2). Solve -5*w = -w - d for w.
4
Let l be (2/(-3))/(12/(-126)). Suppose -2*o - 1 = -l. Solve -2 = -o*x + 1 for x.
1
Suppose 4*m + 5*c = 3 - 11, -4*c - 7 = 3*m. Solve 15 = -8*y + m*y for y.
-3
Suppose -6*k - 2*c + 6 = -k, -5*k = 5*c. Let w = 0 - 0. Suppose 0*p - p + 5 = w. Solve k*l - l = -p for l.
-5
Let z = 65 + -29. Suppose -6 = 5*q - z. Solve -2*h + 2 = -q for h.
4
Suppose -t + 3*t - 4 = 0. Let a(v) = -v**2 + 7*v - 9. Let o be a(4). Solve o - 1 = t*r for r.
1
Suppose -2*f = 2*f - 20. Solve 0 = f*q - 2*q + 9 for q.
-3
Suppose 4*w - w = 3*y + 12, -2*y - 5*w = -27. Let p = 3 - y. Suppose -b - 4*d - 5 - 12 = 0, -p*b + 11 = -d. Solve 4*k - 13 = b for k.
4
Suppose 26 = v + 3*z + 9, 0 = 5*v + 2*z - 20. Solve 7 + 1 = -v*x for x.
-4
Let v = -26 + 28. Solve -v*l = l + 15 for l.
-5
Let j(w) = w**2 + 5*w - 7. Let p be j(-7). Suppose 7*r - p = 6*r. Solve 0 = d + 3 - r for d.
4
Suppose -2 = 2*u - 4*q + 4, -4*u + q + 9 = 0. Suppose 4*i = 4*l - 9*l + 42, 2*i - 22 = -u*l. Suppose -y - y = -i. Solve -f + 3*f = y for f.
2
Suppose -5*y - 5*p = -25, -4*y = -2*y - 4*p + 20. Let k be 2/(-2 + 4) + -1. Let g = k - y. Solve g = -4*l - 3 - 1 for l.
-1
Suppose -3*r = -5*r + 16. Suppose 4*c + 5*y - 42 = 11, -c + 12 = y. Suppose -3*h + 3*z - c = -22, 2*z = -4*h + 14. Solve 0 = h*i - 2*i + r for i.
-4
Let o(q) = -q - 10. Let l be o(-10). Suppose 4*h - 2*d + 4 = 12, h - 2*d - 2 = l. Solve h = 2*r - 2 for r.
2
Let j be (4 - (8 + -2)) + 3. Let l(y) = 2*y**2 - y**2 + 0*y**2 + 3*y - 1. Let f be l(-5). Solve -4*d - j = -f for d.
2
Suppose 2*x - 15 = -1. Solve 5 + x = 3*k for k.
4
Let k(r) = 2*r**2 - 4*r - 6. Let c be k(4). Solve 4*x - c = -x for x.
2
Let b(a) = a**2 - 3*a - 6. Let x be b(5). Let k be 0/(x*3/(-6)). Solve -4*g = -8 - k for g.
2
Let u(g) = -g**2 + 2. Let l be u(0). Suppose 0 - 2 = -2*b. Let r = b - -4. Solve l*h = r*h + 3 for h.
-1
Suppose -5*i + 108 = -i. Solve 4*y = 7 - i for y.
-5
Let z be (-2)/9 + (-40)/(-18). Let y(i) = -i**2 - 10*i - 11. Let f be y(-9). Let p be f/(-6)*27/3. Solve -1 = z*b - p for b.
1
Let w be 7/4 + 1/4. Let r be (w + -2)/((-4)/2). Solve -o - o = r for o.
0
Suppose 2*z + 2*m = -3 - 5, 4*m + 4 = 0. Let c be (-1)/(-4) + z/12. Suppose 0*f - 5*f = c. Solve 3*l + 2*l - 25 = f for l.
5
Let z(p) = -4*p - 1. Suppose 0 = -2*v - 1 + 7. Let y be -2 - (9/v + -2). Let w be z(y). Solve -4 - w = 3*x for x.
-5
Suppose 7*h - 2*h = 15. Suppose 2*v = 3*n - 11, 0 = h*n + 2*n - 25. Solve v*k + 8 = 6*k for k.
2
Let c be 1 + (3/(-3))/(-1). Suppose 4*a + 3*n = 60, -50 = -c*a + 4*n + 2. Suppose -2*x - x = -a. Solve x*h + 15 = h for h.
-3
Let p be (-2 - 5/(-2))/(4/16). Solve -p*o + 0*o = 2 for o.
-1
Let w(m) = -3*m + 1. Let h be w(1). Let j = -2 - h. Solve 5*s - 3*s - 4 = j for s.
2
Suppose 2*r - 2 = -0. Let q be (2/(-6))/(r/(-9)). Suppose q*a = -2*a + 20. Solve -a = -3*u + 11 for u.
5
Let h(w) = -w + 7. Let d be h(5). Let r = 4 - d. Suppose 3*o - o - r = 0. Solve -2*i + o = -5 for i.
3
Let l(c) = 4*c + 5*c**3 - 2*c**2 - 4*c**3 - 3*c**3 - 2*c. Let v be l(-2). Solve v = 3*s - 2 for s.
2
Let h be (9/(-6))/((-2)/4). Suppose h*