g. Let w be y(g). Solve -2*h + w*h + 2 = 0 for h.
-1
Let s be (8/12)/(-2)*-12. Suppose -2*v + 2 = -s. Solve 0 = -v*u - 6 for u.
-2
Suppose -u - 10 = 4*u. Let p be (u - (-6)/2) + 2. Solve -p*f = 2*f + 5 for f.
-1
Suppose 0 = -4*l - 0*f - 3*f + 162, 164 = 4*l + 4*f. Let q = -24 + l. Solve 5*s + 0*s - q = 0 for s.
3
Suppose -10 = v + 5. Let x = 7 + v. Let u be 1/2*(-4 - x). Solve 3*z - 3 = u*z for z.
3
Suppose -4 = -4*m, 10 = b + 2*m - 4. Suppose 0 = 4*u - b, 5*x - 4*u + 12 = 2*x. Solve -20 = -x*t + 4*t for t.
-5
Let f(a) = -3*a - 2. Let y(l) = l + 1. Let n(q) = 2*f(q) + 5*y(q). Let h be n(-3). Let u = 2 - 0. Solve -v = -u + h for v.
-2
Suppose 5*h = 4 + 6. Let i = -234 + 234. Solve -h*a + 0 + 4 = i for a.
2
Let m = -1 - 0. Let s = m + -5. Let x be (-2)/(-3) + (-98)/s. Solve 0 = -2*a - x + 7 for a.
-5
Let v be (1 + -1)/(-20 - -18). Solve x + x - 4 = v for x.
2
Suppose -4*d + 26 = 3*l - 6, -3*l + 3*d = -18. Suppose 0 = -c - 1. Let y be 0 + (-1 + 2 - c). Solve 0 = 2*s - y - l for s.
5
Let s = -968 + 968. Suppose 15 = -3*x + 8*x. Solve -d + x = -s*d for d.
3
Suppose -a - 3*z = 3, -4*a + 9 = z - 12. Let r = -8 + -2. Let c be (4/(-5))/(2/r). Solve -c*g + 2 = -a*g for g.
-1
Let n be (2/(-3))/((-2)/33). Suppose 7*c = 5*c - 5*b - n, -2*c + b = -7. Suppose -c*o + 2 = -0*o. Solve -5*l = -o - 4 for l.
1
Suppose -1 = -2*v + 1. Suppose 0 = -2*j - 4*r - 8, -3*j = -r - 1 - v. Solve 0 = -j*q + q for q.
0
Let y(q) = q**2 + 7*q + 2. Let t be y(-7). Let v(j) = -3*j + 2*j - 3*j + j**2 - t*j**2. Let p be v(-3). Solve 2*x - 2 = p*x for x.
-2
Suppose 5*d = -3*m + 3, 2*m - 2 + 0 = 3*d. Solve d*a + 2 = a for a.
2
Suppose -5*p + 2 = 52. Let s = p - -14. Solve 0 = -3*d - s - 2 for d.
-2
Let w(c) = c + 2. Let v = 8 - 8. Let i be w(v). Suppose -d - 1 = i*g - 8, 2 = -2*d + 4*g. Solve d*r - 6*r = 9 for r.
-3
Let o be (-1 - -3)*190/(-20). Let u = 24 + o. Let d be 2/8 - 14/(-8). Solve -u*h + d*h - 12 = 0 for h.
-4
Suppose i - 4*w = -16, -i + 4*i = -w + 4. Suppose 3*n + 12 = -n. Let z be ((-2)/(-6))/(n/(-18)). Solve x - z - 1 = i for x.
3
Suppose 71*u = 72*u - 20. Solve -4*y = y + u for y.
-4
Let b = -13 + 15. Suppose a - b*a = -3. Solve -a*z = 3 - 9 for z.
2
Suppose -4*m + 4 = -2*m. Let l be 2/(-4)*m - -4. Solve -l*v + 0*v = 0 for v.
0
Let p(q) = -q**3 - 4*q**2 + 2. Suppose 2*k = -0*k - 4. Let g be (k/4)/((-2)/(-16)). Let l be p(g). Solve 0*n + l = -2*n for n.
-1
Suppose -4*k - 12 = -2*k. Let i(r) = r**3 + 7*r**2 + 6*r + 2. Let m be i(k). Suppose u = -m*u. Solve 5 = -u*z + z for z.
5
Let v = 92 + -86. Solve g + v = 3*g for g.
3
Suppose 5*t - 2 = 3. Suppose 0 = -2*v - 1 + 3. Solve -q = -t - v for q.
2
Suppose -8 = -2*j + 12. Let o = -10 + 13. Suppose 2*c + j = 4*c - y, 13 = o*c - y. Solve h - c = -0 for h.
3
Suppose 0 = j, -5*v + 2*j + 42 = -33. Solve -v = z + 4*z for z.
-3
Let u = -1 - -6. Suppose 13 = u*g + 33. Let y be (1 - -1) + -2 - g. Solve -y*i - 2 = 6 for i.
-2
Suppose -2*q = -0*q - 4*y + 2, y = 3*q + 3. Let u be 2 - 2 - 2/q. Solve 0*x = u*x for x.
0
Suppose 48 + 6 = 3*c. Let x be (-2)/7 - c/(-14). Solve x = 2*h + 11 for h.
-5
Let h(x) = x**3 - 7*x**2 + 8*x - 4. Let g(j) = -j**3 - j**2 + 5*j + 3. Let v be g(-3). Let l be h(v). Let a = l + -2. Solve 4*m = -22 + a for m.
-4
Let v = -10 + 10. Suppose -3*k = 2 - 5. Solve v = z + k - 3 for z.
2
Suppose 5*v - 6 = 14. Solve 0 = v*h - 3*h for h.
0
Let f(d) = 2 + 3*d**3 - d + 2 - 3. Let n be f(1). Solve 0 = -n*h + 2 + 4 for h.
2
Let u be -1*0/(-1 + 3). Solve u*v = -v for v.
0
Suppose f + 3 = -4*b, 2*b - 3 = f - 0. Solve -2*u - 13 + 5 = b for u.
-4
Let j = 91 - 88. Solve 9 - j = 2*g for g.
3
Let o = -6 + 6. Solve 0 = -o*x - 3*x - 12 for x.
-4
Let x be (2 + 4/(-2))/1. Let z be 1 + x - 92/(-4). Suppose -5*k + 40 = 5*p, 5*p - 3*k = 2*p + z. Solve -3*a + p*a = -25 for a.
-5
Let m(u) = -u + 9. Let q be m(8). Let l be 15/5 + -2 + q. Solve l = -5*d - 8 for d.
-2
Let l(x) = x + 5. Let w be l(-3). Solve -w*d = -0*d - 6 for d.
3
Let j be 0 + -1*1*-1. Let t be 112/(-40) - (-1)/(-5). Let r = 5 + t. Solve -b = -j - r for b.
3
Let d(o) = 9*o - 3*o**2 - 5*o + 4*o**2 + 4. Suppose -2*y + 5*w = 25, 4*y + 16 + 1 = -w. Let m be d(y). Solve n = -2*n - m for n.
-3
Suppose -2*k - 20 = 3*k. Let o be (-4)/(-18) + 14/18. Let d be (-7 + o)*2/k. Solve -d + 0 = -l for l.
3
Let h be (-8)/3*(-3 - (-18)/12). Solve h*t = -t + 5 for t.
1
Let a be (1 - -5)*(-1)/2. Let y be (a + 1)/(12/(-66)). Solve y - 3 = -4*f for f.
-2
Let p = -21 + 23. Solve p*c = 3*c + 3 for c.
-3
Let m(u) be the first derivative of u**2 + 4*u - 4. Let d be m(8). Solve 0 = 5*l - l + d for l.
-5
Suppose n = -5*b + 24, -2*n = -4*n + 8. Suppose -9 = -5*a + b*r + 7, 0 = 3*a + r - 13. Solve -5*w - 1 = a for w.
-1
Let g = 9 + -4. Suppose -g*u + 44 = 4. Suppose -u*s + 16 = -4*s. Solve s*m - 5 = -1 for m.
1
Suppose 3*k + s - 6 = 0, 3*s - 2 = -4*k + 3*k. Solve k*a = -2*a for a.
0
Let o = -4 + 7. Suppose 2*i - 13 = o*q, i = -q + 2*q + 4. Let d = 1 + i. Solve d = -4*v + 5 + 7 for v.
3
Suppose 0 = 3*x - 3*j - 75, -2*j - 125 = -5*x - j. Suppose -x = -0*z - 5*z. Solve z*f - 2*f = 0 for f.
0
Suppose 0 = 3*q - 0*q. Let c(l) = l**3 + l + 5. Let i be c(q). Suppose 2*k - 19 = u, i*k - 20 - 20 = -5*u. Solve -4*a + k = -a for a.
3
Suppose 0 = 3*g - 4 + 1. Let b(w) = -w**3 + 2*w**2 - w. Let p be b(g). Solve p*o = 4*o for o.
0
Suppose -3*k + 5*q = -k + 9, 5*q = 3*k + 1. Let d(p) = p + 6. Let g be d(-6). Suppose 3*x - 12 = -0*x. Solve -x*h = -g*h - k for h.
2
Suppose 0*v - 4*v = 0. Let g(y) = y**2 + 6. Let i be g(v). Solve i*x = x for x.
0
Let k(y) = -2*y**3 - 2*y**2 + 2*y - 1. Let f(s) = s**3 + s**2 - s. Let a(z) = -5*f(z) - 2*k(z). Let g be a(0). Solve 0*l + g*l = -8 for l.
-4
Let v(u) = -9*u - 5. Let w be v(-4). Suppose 3*q + c = -3*c + w, -5*c = 5*q - 45. Suppose q*i - 4 = 6. Solve 0 = -i*m - 3*m for m.
0
Suppose 3*m = -4*o - 12, o - 2 = -2*m - 10. Solve 2*y + 6 = -o*y for y.
-3
Let v(u) = u**2 + 5*u + 2. Let b be v(-6). Suppose -y = y - b. Solve 2*r - y = -0*r for r.
2
Let g = -30 - -32. Solve g*h + h = 12 for h.
4
Let k(a) = a**3 - 6*a**2 + 4*a + 5. Let z = 18 - 30. Let y be -1 - 2 - (z - -4). Let p be k(y). Solve -10 + p = -5*i for i.
2
Let y be 1*(4*-1)/(-4). Let j(g) = -g + 3. Let v be j(3). Solve v = r - y - 0 for r.
1
Let j = -2 + 6. Let u be (-34 + 1)*(-3 - -2). Suppose -3*s = -3*r - u - 0, 1 = -j*s - 5*r. Solve s*f - 20 = f for f.
4
Suppose -2*p + 4*p = 10. Suppose 0 = v + 4*v + p, 4*i + 4*v - 12 = 0. Let w be i/2 - (-5 + 3). Solve w*m + 7 = -9 for m.
-4
Let o be -20*-1*(-1)/(-4). Solve -o*s - 7 = 18 for s.
-5
Let r = 12 + -12. Suppose 4*q - 3 = 5. Suppose -q = -r*z - z. Solve 5 = w - z*w for w.
-5
Let o(s) = s + 18. Let r be o(-13). Solve -3*b = -r*b for b.
0
Let j be 0 + -1 + 14 + -1. Suppose -3*a = -5*a - j. Let h be (-1 + -2)*2/a. Solve 5 = -4*m + h for m.
-1
Let o be 1125/(-20) - (-1)/4. Let c be 2/(-10) + o/20. Let y be c - (-4)/2 - -5. Solve -x = y*x for x.
0
Suppose 5*f - 30 = -5*q, 2*q = -0*q + 8. Suppose f*b - 8 = -0*b. Solve 3*n + b = 16 for n.
4
Let h(j) = j - 5. Let z = 15 + -8. Let k be h(z). Solve 0 = k*g - 5*g - 12 for g.
-4
Let b be 2/(-5) + 6/15. Solve b = d + d for d.
0
Suppose 0 = -y - 2*y + 3*z + 39, 3*z = -3. Let l = y - 8. Solve l*w = 2*w + 10 for w.
5
Let x = 16 - 26. Let a be (12/(-15))/(4/x). Suppose -2*t - 5*r + 4 = 0, 2*t = -0*t - a*r + 4. Solve t = 4*i - 5*i for i.
-2
Let o(h) = -h**3 - 11*h**2 - 4*h + 5. Let q be o(-10). Let v = 80 + q. Solve -v = l - 6*l for l.
5
Let s(i) = -i**2 - 5*i - 1. Let y be s(-2). Solve -4*n = -y - 15 for n.
5
Let m be -1 - (0 - (-1 - -1)). Let c(v) = -3*v**3 - 1. Let x be c(m). Solve -3*j + 25 = x*j for j.
5
Suppose -7*o + 2*m = -3*o - 40, o - 10 = -3*m. Solve h + o = -h for h.
-5
Suppose -v = -4 + 2. Suppose 0*r = v*r - 16. Solve r*x - 3*x - 5 = 0 for x.
1
Let z be (12/(-10))/((-1)/5). Suppose 24 = -0*m + 5*m - v, -m - v + z = 0. Solve -19 = m*x + 1 for x.
-4
Suppose -3*j + 4 = 1. Solve -s = j + 3 for s.
-4
Let v(x) = 2*x**2 + 24*x - 21. Let q be v(-13). Solve 0*r - q = 5*r for r.
-1
Let j(h) = -5*h + 1. Let g be j(1). Let n = 4 + g. Let d = 3 + n. Solve d*q - 5 = 2*q for q.
5
Let b(h) = h**3 - 3*h**2 - 3*h - 5. Let w be b(4). Let j be w*(-2 - 0) - 0. Suppose -j*o + 15 = -p, -o + 10 = p - 2*p. Solve -4*y + o = y for y.
1
Let r(b) = -b**3 + 5*b