 3*h - g for h.
2
Let j = 7 - 5. Let m(n) be the third derivative of n**4/12 + n**3/3 - n**2. Let v be m(j). Solve 3*h - h = 2*g + v, -20 = 4*g for h.
-2
Suppose 5*k = -4*i + 35, k - 11 = -k - i. Solve z + m + 0*m + 3 = 0, -m = -k*z + 11 for z.
2
Suppose 3*f + 2*f = 10. Let u(n) be the first derivative of -n**3/3 + n**2 - n + 1. Let w be u(1). Solve -2 = -x - 3*g - w, 0 = -f*x + 3*g - 5 for x.
-1
Let v(l) = l + 7. Let n be v(-7). Let x(g) = -8*g + 2. Let k be x(2). Let r be k/(-6) - 3/9. Solve -i - r*o = 3*o + 18, 3*o + 12 = n for i.
2
Suppose -q - 5*p + 20 = 0, -5*p = -2*q - 5 - 0. Solve l - 16 - 5 = 5*s, -3*l = q*s + 37 for l.
-4
Let m be ((-42)/35)/(3/(-15)). Solve 3*n - b - m - 13 = 0, 3*n + b = 11 for n.
5
Let n(a) = 2*a**3 - 3*a**2 + a - 1. Let u = -7 - -9. Let z be n(u). Solve -8 = -4*i + 4*j, 2*i + j = -6 - z for i.
-3
Suppose -4*n = 5*q - 7*n + 39, 5*n = -4*q - 9. Let i be 3/18 + (-5)/q. Solve 3*y - i - 2 = m, -4*m - 12 = -4*y for y.
0
Let u(f) = -f**3 + 2*f + 3. Let j be u(0). Solve 2*z - 10 = 3*s, -4*s - 10 = -j*z + 2*z for z.
2
Let n = 6 - 6. Let r(b) = b**2 + 4. Let v be r(n). Solve -2*l = 3*c - v, -2*l - 2*l + 2 = 3*c for l.
-1
Let b(m) = -m**3 + m**2 - 3. Let x be b(0). Let d(z) = z + 1. Let q be d(x). Let l be 15*((4 - 1) + q). Solve 0*u + y = 5*u + l, 3*u - y + 9 = 0 for u.
-3
Suppose -17 - 1 = -3*x. Solve 2*k + x = 3*t, t + 2 = 3*k - k for k.
3
Suppose -a - i = -6*i + 16, 4*i - 32 = -4*a. Let z = 11 - 8. Suppose 0 = z*f - 13 - 11. Solve 2*j - f - 16 = -4*c, -3*c + a = -2*j for c.
4
Suppose 0 = 3*v + 2*v - 20. Suppose 2*g + 40 = v*g. Solve 4*o = 0, 3*o - o = -5*q + g for q.
4
Suppose -2*n + 10 = 3*n. Suppose 4*k - 107 - 141 = 0. Suppose -20 = -x - n*o, 4*x - k = -o - o. Solve 2*r - 5*p - x = 0, -3*p - 16 = p for r.
-3
Let p(b) = -b**2 + 8*b. Let l be p(5). Let x(n) = 3*n + 7. Let a be x(3). Let w be 5*3/(l/a). Solve -2*q - f + w = -7*q, -4*f = 4*q + 8 for q.
-3
Let i(p) = 13. Let z(w) = w + 14. Let t(a) = -4*i(a) + 3*z(a). Let b be t(8). Solve 3*l - q - q = 2, -b = l + 3*q for l.
-2
Let f be (-48)/(-27) - 10/(-45). Solve -u - 2*u + 2*d = 14, f*d + 2 = -5*u for u.
-2
Let j(g) = -g**2 + 11*g + 3. Let y be j(11). Suppose -5*u = 2*o - 5 - 21, 0 = 5*o - 3*u - y. Solve -3*q - o*k = 15, k = -2*q + 4*q + 4 for q.
-3
Let z = 21 - 31. Let v = z - -14. Solve -3*r + d = -3*d, 4*r = v*d for r.
0
Let v(c) = c. Let d be 16 + -14 - (-1)/1. Let u be v(d). Solve -4*n - g - 6 = 0, 2*n - u*n - g = 3 for n.
-1
Let x = 11 + 1. Let i = 5 - x. Let l be 52/14 + (-2)/i. Solve l*t + 7 = m, -4*m - 7 = 3*t + 22 for m.
-5
Let g be 5*(1 + 0 + -2). Let p = -5 - g. Solve p = 3*a + 2*h + 17, -5*h - 4 = 3*a + 16 for a.
-5
Let m(v) = -v**3 - 8*v**2 - 9*v - 5. Let j be m(-7). Solve -4*z + 3*g = 15, 4*g - 11 = 5*z + j for z.
0
Suppose 0 = -4*t - k + 6*k - 32, 2*t + 5*k - 14 = 0. Let u be ((-1)/(-2))/(4/(-112)). Let z be (2/t)/(u/63). Solve -2*m = -2*l - 4, -3 = -4*m + z*l + 3 for m.
0
Let h = -2 + 3. Solve 2*c + r = -6, 5*r + h + 8 = -3*c for c.
-3
Let d = 5 + 0. Solve -2*u = -d*l + 4 + 16, -2*l + 8 = u for u.
0
Let u = -20 - -25. Solve -5*d + 20 = -5*t, u*t - 23 = -5*d - 3 for t.
0
Let p be (3/2)/((-21)/(-98)). Let r be (-4)/(-2)*(-6 + p). Solve -4*s + 10 = r*i, 2*i - 4 = 4*s - 2*s for i.
3
Suppose -21 = -5*h - 6. Suppose 35 = -4*d + 103. Solve v = 4*k - 0*k + 22, h*k + d = v for v.
2
Let k(r) = -r**2 + 6*r + 6. Let i be k(7). Let l be (i + (-2)/(-4))*-8. Suppose -6 = -l*a + 4*m + m, 4*m - 24 = -4*a. Solve 0 = g - d + 6 - 2, g - a = -d for g.
0
Let c(t) = t**3 + 6*t**2 + 3*t. Suppose -8 = 2*y, -4*h - 8*y + 4*y - 24 = 0. Let s be c(h). Solve -3*p + s = -3*b + 4*b, 5*p + b - 14 = 0 for p.
2
Let j(t) = -2*t - 10. Let b be j(-8). Let u(d) = -d**2 + 5*d + 6. Let m be u(b). Suppose 3*x - 24 = -m*x. Solve -f + v - 5 = -0*v, x = 2*f + 4*v for f.
-2
Suppose a + p - 7 = 0, -p - 11 = -2*a - 6. Solve -4*x + 4 = -a*r - 12, 3*x = -2*r + 17 for x.
5
Let u be 0 + 10 + 0 + -1. Solve -j = -2*x - u, x = 2*j - 3*j + 3 for j.
5
Suppose -i + 0*i = -4*x + 18, -4*i + 3*x = 7. Suppose 0 = i*w + w - 33. Suppose 0 = -5*u + 36 - w. Solve 4*f = -3*o + 28, -u*o + 36 = 5*f - f for o.
4
Suppose -2*m + 6*m - 16 = 0. Solve 3*d = -m*o + o - 9, 0 = -4*o - 2*d - 6 for o.
0
Let i(t) = -t**3 + 4*t**2 - 3*t + 4. Let v be i(3). Solve -a - 23 = 5*n, v*a = a + 5*n + 31 for a.
2
Suppose i = -4*d + 17, 2*d - 9 = i - 2*i. Solve -5*w + 0 = 2*r - 11, 0 = d*w + 4*r - 4 for w.
3
Suppose -6*f = -3*f, -4*h = -4*f - 16. Suppose q + l + 0*l - 7 = 0, -3*l = -h*q + 14. Solve -4*d = -3*j - 6*d + 4, 3*j + 31 = q*d for j.
-2
Let w be -1 - (0/(-1) + 1). Let z be (-6)/8*w*2. Let s(n) = -n + 5. Let h be s(1). Solve 0 = 2*i - z*k + 12, -h - 3 = 3*i + k for i.
-3
Let l(x) = x + 16. Let c be l(-11). Solve 2*y = -5*p + 26, 5*y - 2*p - c = 2 for y.
3
Let v(s) = -10*s - 2*s**2 - s**2 + 2*s + s**3 - 3*s**2 + 9. Let r be v(7). Solve 0 = -k + r*y - 3, -2*k - 4*y + 11 = k for k.
1
Let f = -1 - -5. Suppose 0 = -3*c + 5*w + 25, 4*w + f = 8. Let t be (6/c)/(1/5). Solve 7 = -4*n + o, -n - 6 = t*n - 2*o for n.
-2
Let z(l) = l**2 + 6*l + 7. Let r be z(-5). Suppose o + r = 4, -5*o = y - 13. Solve 0 = -b + 5, -3*q - y*b = -q - 21 for q.
3
Suppose -17*j + 14*j = -6. Solve j*u = -2*u + 12, 0 = -4*t - 2*u + 18 for t.
3
Suppose 5*v = 3*v. Suppose 6 = -2*y + k + 29, v = -3*y + k + 33. Solve -4*d + d - 11 = 5*n, 4*n = -3*d - y for n.
-1
Let f(c) = 5 + 11 - 2*c - 6 + c. Let m be f(5). Solve 16 = -4*i + 4*z, -5*i - z + 5 = -m for i.
1
Let q be (3 + -5 + 2)/(-2). Solve -2*y + 4*i + 8 = q, -i - 3*i = 0 for y.
4
Suppose 5*j = 2*b - 3, -6*b + j = -2*b - 15. Let p be 5/(((-6)/(-10))/3). Let z(t) = 6*t + 2. Let i be z(3). Solve b*u = -3*h + i, 0*h + 5*u = h + p for h.
0
Let c(q) = q + 1. Let v(r) = 5*r - 9. Let k(z) = 4*c(z) - v(z). Let y be k(8). Solve -f + 13 = -g + 3*f, y*f = 2*g + 20 for g.
-5
Let t(d) = d**3 + 4*d**2 - 6*d - 3. Let u be t(-5). Let a = -322 + 326. Solve -5*o + a = -3*l + u*l, 2*l + 8 = 4*o for l.
-4
Let s = -3 + 1. Let k = s - -5. Solve 0*j = j + 3*w - 14, k = w for j.
5
Let y(r) = 2*r**2 + 13*r + 11. Let i be y(-6). Solve i*l + 14 = -3*o, -2*o = -0*o + 2*l + 8 for o.
-3
Suppose -1 + 4 = w. Suppose -h = -3*n + 8, w*n = -0*n + 5*h + 16. Let y = n + 0. Solve 3*s = s + 2*k - 8, -y*s - 3*k - 13 = 0 for s.
-5
Suppose 12 = -7*r + 33. Suppose -o - 4*o + 15 = 0. Solve -6 = r*s + 3*u, -o*s - 2*u = -7*u + 30 for s.
-5
Let i(r) = r - 9. Let u be i(5). Let n be u/(1/(9/(-6))). Let p be ((-1)/(-2))/(1/n). Solve p*m + 12 = 0, -3*l + 13 = -2*m - 7 for l.
4
Suppose -3*t = -0*t + 72. Let u be (t/(-14))/(3/21). Let y be ((-15)/u)/(3/(-12)). Solve 0*l - 2*l - 5 = -3*h, y*h = -l + 17 for h.
3
Suppose 4 = c + c. Suppose r + c = 10. Suppose -2*v - r = 4*b, -5*v + 0*v + 2*b = -16. Solve -4*o = 5*l + 4, 3*o + 4 = v*o - 2*l for o.
4
Let l = -12 - -17. Let d = -9 - -6. Let f be d/(-12)*2*4. Solve -2*v - l*i = -3, 5*v + f*i + 4 = 22 for v.
4
Let k be -2 + -1 + 6 - 1. Solve 5*t + 3*w + 13 = 0, -w + 3 = -3*t + k*w for t.
-2
Let v = 2 - -8. Let y = v + -10. Solve -4*h - 20 = y, h + 13 = x - 2*h for x.
-2
Suppose -2*z - r + 5 = -3, 0 = 3*z - r - 12. Solve 6 = -5*k + s, -4*k - 1 - z = -s for k.
-1
Let c be (2/4)/((15/12)/5). Solve 0 = -0*v + 2*v + 5*p - 25, 0 = c*v + 3*p - 15 for v.
0
Suppose 5*r - 30 = -3*l, -3*r = -4*r + 3. Let o be 5/2*(l - 3). Solve 0 = 3*a + v + v + 11, o*a + 27 = v for a.
-5
Suppose -10*i + 8*i + 8 = 0. Let j be (0 - 3/(-3))*5. Suppose -l - l - 2 = j*u, 3*u - l - 1 = 0. Solve 2*r - i*n - 14 = u, -r + n - 7 = 3*r for r.
-3
Let z(a) = a + 6. Let m be z(5). Suppose 3*p = 5*k + m, -5*p = -5*k - 8 - 7. Solve -3 + 1 = -p*g + x, 0 = -4*g - 2*x + 20 for g.
3
Suppose 8 + 0 = z. Suppose 5*p = 3*j + z, -5*j - 5*p - 40 = -0*p. Let c = j + 14. Solve -2*t - 7 = -f + t, -c = 4*t for f.
1
Let a = -46 + 92. Let z(t) = 6*t**2 + 4*t + 2. Let w be z(-2). Suppose 3*b + 4*x - a = -x, 0 = -4*b + 2*x + w. Solve -3*p = -15, -3*p + b = 2*f - 10 for f.
1
Suppose -i - i - 19 = 5*j, -9 = 3*j. Let n be (i/(-3))/(2/(-1134)). Let q be (-2)/(-3)*n/(-12). Solve -3*v = -v - 4*d + 6, 5*v - 4*d = -q for v.
-5
Let k(a) = a**2 - 6*a + 2. Let u be k(6). Suppose -x - 7 = -4, 2*y = -u*x. Let q = 78 + -73. Solve -q*z + 30 = 3*o, 4*z - 2*o - o = -y for z.
3
Suppose -5*b = -2*b. Let