= 1 - m. Solve 0 = 2*z - 3*z - v for z.
-2
Suppose -6*f - 5 = -f. Let u = -24 + 18. Let a be ((-9)/u)/(f/(-2)). Solve -s + 1 - a = 0 for s.
-2
Let g = 4 + -3. Let v(t) = 4*t**2 + 7*t + 7. Let r(q) = -q**2 - q - 1. Let p(d) = g*v(d) + 5*r(d). Let y be p(2). Solve -y*k - 8 = -6*k for k.
2
Let q(g) = 4*g - 2. Let f be q(2). Let p = 6 - 10. Let c = f + p. Solve -c*t = 3*t for t.
0
Let f(z) = -z + 1. Let x(l) = l**2 - 8*l + 4. Let o(w) = -2*f(w) + x(w). Let j be o(4). Let i = 14 - j. Solve 5 - i = -3*h for h.
5
Let a = 1 - -7. Suppose -2*y = 2*y - a. Suppose -b + 4*b - 36 = 3*n, y*n = -3*b + 31. Solve -b = 5*z - 1 for z.
-2
Let y = 121 + -117. Solve 4 = -y*w - 16 for w.
-5
Let i = -7 - -12. Suppose -i*v = -5*d - 0*d - 10, 0 = 2*d - v + 1. Solve -4*b - d = -5 for b.
1
Suppose 2*a - c = -79, -3*a + 5*c + 40 = 155. Let u = -15 - a. Solve -u = -n + 6*n for n.
-5
Let c be 26/156 + (-5)/(-6). Solve -5*p + 19 = -c for p.
4
Suppose -5*f - 4*b = 36, -2*f + 28 = -4*f - 5*b. Let n be 1*0*2/f. Solve n*t = -t for t.
0
Suppose -2*w - w = -18. Let z be (-15)/2*(-4)/w. Solve 1 - z = -k for k.
4
Suppose 10 = 3*l + 2*l, 0 = -2*i - 4*l + 16. Solve i*x - x = -9 for x.
-3
Let r = 60 + -57. Let t be (2/(-6))/((-1)/15). Suppose 9 = t*n - 1. Solve i + r = n*i for i.
3
Suppose -3*j - 3*u - 18 = 0, -4*u + 3 + 0 = -5*j. Let v be ((-10)/(-6))/(2/6). Let z = j + v. Solve -2*n + 0*n - z = 0 for n.
-1
Let a(h) be the first derivative of -1/2*h**2 + 2 - 5*h. Let q be a(-7). Solve q = -2*j - 0*j for j.
-1
Let a(q) = 4*q**3 + q**2 + q - 2. Let y be a(1). Let g = 0 + 0. Let p be 0 - g - (1 - 7). Solve p - 26 = -y*b for b.
5
Let m(f) = f**2 + 2*f. Let k(c) = c + 2. Let a be k(-4). Let y be m(a). Suppose y = 2*h - 1 - 3. Solve h*q = 5*q + 12 for q.
-4
Suppose 0 = -20*w + 21*w. Solve -4*l + w*l - 16 = 0 for l.
-4
Suppose 0*j - 2*j + h + 9 = 0, -3 = 3*j + 4*h. Solve -j = f - 4*f for f.
1
Let j = 20 + -13. Solve j*i - 6*i + 1 = 0 for i.
-1
Let i(y) = y**2 + 5*y - 5. Let h be i(-7). Let t be 4/18 - (-25)/h. Suppose 3*w - 8 = 5*k + 24, 4*w = t*k + 28. Solve w = -3*r - 2 for r.
-2
Suppose -4*h - 6 = -26. Suppose -h*n + c + 2*c + 8 = 0, 0 = 3*n + 3*c - 24. Solve w = -n*w for w.
0
Suppose 6*n = 11*n. Suppose 2*p + p = n. Solve -o + p*o = 3 for o.
-3
Let n be (-3)/12 + 6/(-8). Let p be n/(-3) - (-5)/3. Solve 6 = -2*k + p for k.
-2
Let k(m) = -2*m - 3. Let s = 4 + -8. Let r be k(s). Solve r = -2*z + 3*z for z.
5
Let g be (-1 + 3)/((-12)/(-42)). Let v(n) = -n**2 + 8*n - 4. Let o be v(g). Let w be 2 - (-3)/(o - 0). Solve w*h = 6 - 0 for h.
2
Let g be 3 - 2 - (2 + -2). Solve d + g = -0*d for d.
-1
Let w(l) be the third derivative of l**6/60 + l**5/30 - l**3/6 + 2*l**2. Let c be w(1). Let y = -2 - -6. Solve y*b - c - 13 = 0 for b.
4
Let m = 1 + 3. Suppose 5*q = -c - 3*c - 65, -83 = m*c - q. Let a be 4/10 + 8/c. Solve -3*l = -a*l for l.
0
Let q = 78 + -78. Suppose -9 = -5*x - t + 15, -5*t = -2*x - 12. Solve q*w = w - x for w.
4
Let a(v) = 2*v. Let j be a(-2). Let w be (1 - 0)/(j/(-20)). Solve -3 = -x - w for x.
-2
Suppose 0 = -2*r - 3*b + 7, 4*b = r + 24. Let z be 1/5 - (-19)/5. Let k = r + z. Solve k*h = -5*h for h.
0
Suppose -4*r - m - m = -12, -4*r + 3*m + 22 = 0. Solve 14 - 6 = r*x for x.
2
Let j be 4*(5 + -3 + (-6)/8). Solve -4 = j*z + 1 for z.
-1
Let o(d) be the second derivative of d**4/12 + 11*d**3/6 + d**2/2 - d. Let v be o(-11). Solve -2*l - v = 5 for l.
-3
Let h = 9 - -2. Solve 5*l = h + 4 for l.
3
Suppose -3*n + 6*n = 12. Suppose -5*t + 35 - 5 = 0. Let g be (1 + -1 - -1)*0. Solve g = n*a - t*a for a.
0
Let p(i) = i**2 + 10*i + 4. Let w = 21 - 31. Let s be p(w). Solve -s = h - 0*h for h.
-4
Let o = 11 + -8. Let i = 0 - 0. Let u be i*(2 - (-3)/(-2)). Solve 2*a - a - o = u for a.
3
Suppose 0 = -5*t - 2*w - 15, -2*t + 1 - 8 = w. Let o be 8/4 + (-3 - t). Suppose 0 = -3*r - 1 + 7. Solve o = -r*g - 2*g for g.
0
Suppose -2*p + t + 15 = 0, -5*t - 17 = -3*p + 23. Suppose p*l + 3 = -2*c + c, 9 = -5*l - 3*c. Suppose -5*v = -l*v. Solve 0 = -2*a - v*a + 6 for a.
3
Let v(j) = -j**3 - 3*j. Let u be v(0). Solve -4*t + 12 = -u*t for t.
3
Suppose 0*x = -3*x + 12. Let h be -1 - x/8*-6. Solve -u = h*u + 12 for u.
-4
Let n be (-1 - 1/(-1))*(-4)/(-8). Solve 0 = y - n*y for y.
0
Let u(y) = y. Let i be (-1)/(-4) + 145/(-20). Let p be u(i). Let o = 7 + p. Solve o = -s + 3*s for s.
0
Let s(q) = q**2 + 2*q + 3. Let f be s(-2). Suppose 0 = t + f*t - 4. Solve 0 = x - 2 + t for x.
1
Let a(t) = t - 2. Let k be a(-2). Let y(x) = -x**2 - 5*x. Let w be y(k). Let f be (-78)/(-8) + (-2)/(-8). Solve -3*m + w = f for m.
-2
Let y = -25 - -49. Suppose 0 = 6*z - 3*z - y. Solve 0 = -4*h - z for h.
-2
Let i(x) = x - 1. Let p be i(4). Solve f + p = -2*f for f.
-1
Suppose -3*k - 2 = -2*k. Let d be ((-24)/(-16))/((-2)/(-12)). Let q be d/(-6)*k - -16. Solve -q - 1 = 5*m for m.
-4
Suppose -9 = 3*k - 5*x, k - 2*k - x + 5 = 0. Suppose -k*u - i = -0*i - 11, 3*u + i = 16. Solve u*r - 4 = 11 for r.
3
Let v(j) = -j + 1. Let a be v(-1). Suppose 3*u - d = -a + 5, -u - 3 = d. Solve 2*h + u*h = 0 for h.
0
Let b(z) = -5*z**2 - 4*z + 3. Let x(f) = 4*f**2 + 4*f - 2. Let q(v) = 2*b(v) + 3*x(v). Let p be q(-3). Solve -p = 3*j - 0*j for j.
-2
Suppose -2*x - 5*o + 26 = 0, -2*x + o + 34 = 2*o. Let p be 2/9 + 50/x. Suppose 6 = 3*q - 0. Solve 0 = p*n + q*n + 5 for n.
-1
Let o be 30/8 - 8/(-32). Solve -g = 3*g + o for g.
-1
Let q(p) = -11*p + 16. Let y(i) = -5*i + 8. Let b(z) = 6*q(z) - 13*y(z). Let d be b(-11). Solve -d*a - 11 = 1 for a.
-4
Suppose 2*m - 3 = 69. Let g be (-1)/(3/(m/(-3))). Solve g*s = s for s.
0
Let o = 4 - 0. Suppose -108 = -o*g - 4*b, 0 = -5*g + 3*b + 2*b + 95. Let s = -6 + 14. Solve g - s = -5*a for a.
-3
Suppose 8 = -n + 10. Suppose -w = -4, 3*m - 2*w - 7 = -n*m. Suppose 0*s + 2*s - 10 = 0. Solve 4*v = -s - m for v.
-2
Let d = 31 + -17. Let v be ((-2)/(-7) - 0)*d. Solve 3*n - 10 + v = 0 for n.
2
Suppose 0*a + 2*a + 3*r + 23 = 0, 3*a + 5*r + 37 = 0. Let z be 56/12 + 40/(-24). Let j be 17 + 3/(a + z). Solve -3*f = -2 + j for f.
-4
Let m(u) = -u**3 - 4*u**2 + 3*u - 6. Let l be m(-5). Suppose -l*f = -0*f - 12. Solve f*k + 2 = 5 for k.
1
Let t be 0 + 1/1 + 8. Let w(j) = -2*j**3 - 4*j**2 - 3*j - 1. Let i be w(-2). Let z(x) = x**2 - x - 2. Let r be z(-2). Solve -i = r*u - t*u for u.
1
Let y(n) = -n**3 + 7*n**2 - n + 1. Let j be y(7). Let g(r) = r + 10. Let u be g(j). Suppose -3*s + 5 = -4*s + 3*f, u*s + 2*f = 22. Solve -2*q = 2*q + s for q.
-1
Let m(q) = q**2 - 7*q - 3. Let a be m(8). Let n be 3/9*0 + 1. Let z be n + a + (-1 - -1). Solve z = -2*d - 2 for d.
-4
Let w be -4*(-3)/(-12)*-2. Let d be 2/(24/9 - w). Suppose -d*i = -0*i. Solve i = 4*a + 15 + 1 for a.
-4
Let j(z) = z - 11. Let f be j(10). Let i be f*(5 - 2 - 13). Solve 2*r = 4*r + i for r.
-5
Let g(q) = -q + 2. Let c be g(0). Suppose 14 = 2*b + 3*x, 4*x - 3*x - 2 = c*b. Solve -m - 4 = -b for m.
-3
Let l(q) = 2*q - 3. Let t be l(3). Suppose 61 = 4*v + t*z, -20 = z + 3*z. Suppose -2*x - 9 = -g, 5*x - 2*x = -5*g + v. Solve 3*k = -2*k - g for k.
-1
Suppose 0 = -w - 5*a + 4*a + 5, -5*w + 49 = -a. Let x = 3 - 1. Solve -5*l + w = -x*l for l.
3
Let s(f) = f + 7. Let c = -2 - -7. Let r be s(c). Solve 2*p = 6*p - r for p.
3
Let a(d) = d + 3. Let p be a(-3). Suppose -b + p*b = -5*m + 205, -131 = -3*m - b. Let o be ((-2)/(-6))/(7/m). Solve 2*i - o = 8 for i.
5
Suppose 13 = 3*w - 11. Let h be (-5)/20 + 26/w. Suppose -p + 0*r - 9 = 3*r, -r = 5*p + h. Solve p*c = c for c.
0
Let x(p) = p - 10. Let z be x(10). Solve z*w + 12 = 4*w for w.
3
Let l = -1 - -6. Solve -l*f = -2*f for f.
0
Let j be -1 + -2 - (3 - 10). Suppose 0 = -5*o - 2*t - 2, -4*o + 5*o - 4*t = j. Solve o = 5*r - r for r.
0
Let p(o) = -2*o - 45. Let n be p(-24). Solve -3 = -0*i - n*i for i.
1
Let p = 7 - 1. Suppose 4*q = 6*q - p. Solve 2*g - 20 = -q*g for g.
4
Suppose 0 = m + 2, -5*m + 2 - 9 = 3*w. Solve -w = -5*y - 16 for y.
-3
Suppose 0 = 3*w - 7*w + 20. Solve -w*j = 8 + 7 for j.
-3
Let i be (5 - 4)*(0 + 1). Solve 0 = -g + i - 2 for g.
-1
Suppose 0 = -4*k - 3*t, -t = -4*k + t + 20. Solve k*p + 9 = 6*p for p.
3
Suppose -3*u = -0*u - 12. Suppose u*f - 13 = 3. Solve -f*j + 13 = -7 for j.
5
Suppose -6*n = 4*n - n. Solve -2*q + 0 - 6 = n for q.
-3
Let w be (-30)/(-9) + (-2)/(-3). Suppose w*g + 13 = 33. Let v(m) = m + 11. Let c be v(-5)