 7*z = -2*z - 7 for g.
3
Let u be 18 - (-2 - (-4 + 1)). Let d = u + -13. Solve -4*c = -d, c = -4*v + 4*c + 9 for v.
3
Let c be 4/(-18) + (-76)/(-18). Let t = 8 + -4. Let n(w) = w**2 + 6*w - 11. Let a be n(-8). Solve a*i + 2*y = 18, 6*i = c*i + 2*y - t for i.
2
Let m(x) = -x**3 - 4*x**2 + 4*x - 4. Let o be m(-5). Let k = -2 - o. Let u be 1*(-4 - k)*-3. Solve 2*a - 2*p - 1 = 3*p, -u = 3*a - 3*p for a.
-2
Suppose 24 = 4*w - 28. Solve 2*f = -2*n - 14, 3*f = -f - n - w for f.
-2
Suppose -5*c = -19*c + 224. Solve 3*r + c = -g, 2*g - 3 = 3*r + 1 for g.
-4
Suppose 0 = a - 0 - 1. Let t be a*40 + 0/(-8). Solve -5*u + 3*z = 40, -u - 5*z + t = -4*u for u.
-5
Let x = 2 + -4. Let q(d) = -8*d - 1. Let m be q(x). Let n be (-1)/(-3) + m/9. Solve 2*r + 2 = 0, 0 = n*l - r - 7 - 0 for l.
3
Let u be (-2)/4 + 3/(-2). Let o be ((-2)/(-3))/(u/6). Let c(t) = -4*t - 1. Let x be c(o). Solve y - 13 = 4*b - x*b, b = 4*y - 13 for b.
3
Let j = -3 + 4. Let n(g) = 4*g**2 + g - 1. Let k be n(j). Suppose 0 = 2*a + 2*h - 7*h - 10, -a - 2*h = -5. Solve -k*o - 16 = 0, a*w - 5*o + 10 = 55 for w.
5
Let x = 4 + 1. Let j be 8/(-4)*5/(-2). Let c be 0 + 1 - (-10)/j. Solve 3*r = c*a - 18, x*a - 9 + 0 = -2*r for a.
3
Let w = 5 - 4. Suppose t = -w + 3. Solve -5*v = -t*g - 21, -3*g + 4*g - 12 = -5*v for v.
3
Let b = -3 - -5. Solve 0 = 4*z - 4*m - b - 6, -3*z + m = -2 for z.
0
Suppose 2 - 14 = -3*i. Suppose 3*q - 5*s - 11 = 0, -5 = -4*q - i*s - 1. Solve t = 3*a + 2*a - 2, q*t + 4 = -5*a for a.
0
Let d(k) = -k**2 + 1. Let i be d(1). Suppose -g + 4*g - 15 = i. Solve 5*y + f + 16 = 0, 0 = -g*y + 2*f - 15 + 2 for y.
-3
Let t(o) = o**3 - 5*o**2 + 4*o - 7. Let d be t(5). Suppose -5*i + 2 + d = 0. Solve -4*z = -z - 3*g + 6, i*z + 3*g = -6 for z.
-2
Let l(i) be the second derivative of -i**5/20 + i**4/4 + i**3/3 + i**2 - 4*i. Let j be l(3). Solve -2*y + j = -2*c + 2*y, 0 = -4*y for c.
-4
Suppose 0 = -6*y + 11*y + 10. Let a = 2 - y. Solve 4*q + 2*k - a = 0, -k = 5*q - 4*q + 1 for q.
3
Suppose -s - 2*t - 17 = -4*s, 2*t = -s - 5. Suppose -s*y + 18 = -12. Solve k - 4*z = 8, -4*z = -5*k + z + y for k.
0
Suppose -t = -4*i + 1, 0 = 5*t + 2*i - i + 5. Let p(a) = -6*a - 1. Let x be p(t). Solve -x*j + 16 + 8 = z, -5*j + 28 = -3*z for j.
5
Let i(w) = -4*w + 5*w + 0*w**2 + w**2. Let j be i(1). Solve -3*h - 6*r + r = 11, -2*r - j = 0 for h.
-2
Suppose -o - 16 = -5*o. Solve -6*q + 3*q = 2*w + 13, -o*w = -2*q - 14 for q.
-5
Suppose -92*m - 125 = -97*m. Solve -o - 8 = -4*w + 1, -5*w = -4*o - m for o.
-5
Let c = 5 - 13. Let i be (-12)/c*(-8)/(-6). Solve -i*u = 5*y + u - 25, -3*y = 5*u - 15 for y.
5
Let s(o) = -o**3 + 12*o**2 - o + 14. Let i be s(12). Solve r - 1 = 3*n, 3*n + 11 = i*n + 3*r for n.
1
Let y(v) = 3*v - 15. Let w be y(11). Suppose h + 3*k + 6 = 0, 2*k + w = 2*h + 2*h. Solve -2*j + 2*t = -2*t, 0 = j + h*t for j.
0
Let f be 1 + -3*(-2)/6. Let c be (f/(-4))/(3/(-12)). Solve 0 = -3*k + 3*d + 6, 0*k + 5*d = c*k - 1 for k.
3
Let o = -161 + 169. Solve -5*s + 2*j - 3 = 1, 4*s + 4*j = o for s.
0
Suppose -58 = 3*q - 154. Solve 3*x + q = -5*p, -p + 4*x - 2 = -14 for p.
-4
Let v(y) = y**2 + y - 3. Suppose -2*g + 3 + 3 = 0. Let u be v(g). Solve 2*p + u = -4*b - 5, 4*b = -p - 17 for b.
-5
Let x(h) = -3*h**2 + 4*h**2 - h + 0*h**2. Let f be x(1). Solve -5*s + 5*g + 45 = 0, 5*g + 29 = s - f*g for s.
4
Let i(n) = 2*n - 9. Let p be i(7). Let j = 5 - 0. Suppose 0 + 3 = p*o + 3*y, -5*y - 35 = -j*o. Solve -w + 4 + 10 = 4*r, -o*r - w = -10 for r.
4
Suppose 5*c - 2*i - 31 = 0, -c + 2*i - 6*i - 7 = 0. Solve 3*v + 6 = 0, -1 + 16 = -c*f + 5*v for f.
-5
Suppose 4*u = -u + 15. Let k(i) = i**2 + 12*i + 11. Let l be 0 - ((0 - 2) + 13). Let y be k(l). Solve u*c + 3*n + 3 = -y, 0 = -3*n - 6 for c.
1
Let o(k) = k**2 + 5*k + 3. Let l be o(-5). Solve 4*m = -0*t + l*t - 8, -t + 6 = -3*m for t.
0
Suppose 3*l - l - 68 = 0. Suppose -4*c + j + l = 3*j, -36 = -3*c + 2*j. Solve -c = -2*n + 4*n, -z + n = 0 for z.
-5
Suppose 0 = -7*g + 12*g - 25. Let q = -10 - -16. Suppose 4*s + 4*t = 5*t + 14, 3*t = 3*s - q. Solve s*p = -4*u - 21 + g, -u + 5*p + 8 = 0 for u.
-2
Let k be ((-6)/12 + 0)*(1 - 1). Solve -4*u = 4*w - 9*u + 20, k = -w - 3*u - 5 for w.
-5
Let a be -3 + (1 + 0 - 4). Suppose 5*t + 0*t - 40 = 0. Let z = a + t. Solve 3*c = -4*s + 2, 2*s + 12 = 4*c - z*s for c.
2
Let s = 8 - 13. Let d = 7 + s. Solve 4*n = n - c + 4, -2*n - d*c - 4 = 0 for n.
3
Let g be 6 + (-1 - 1 - (6 - 5)). Solve f - 3 = i + 2, -5*f = -g*i - 21 for i.
-2
Suppose 0*l = -g - 3*l + 8, -5*l = -3*g + 38. Solve 4*v = 3*v + 5*c + 25, -c + g = 3*v for v.
5
Let p = 2 + 18. Suppose -d - 4*d = -p. Solve -3*n = -d*j + 19, 0*j + 5 = 5*j for n.
-5
Let r(t) = 2*t - 29. Let f be r(16). Solve -f = -3*z, 2*g + 0*z = z + 1 for g.
1
Let k(y) = y + 2. Let l be k(1). Solve -3*j = 2*d + 7, -l*d + 2*j + 2*j - 19 = 0 for d.
-5
Let a = -114 + 119. Solve n + 2*z - 1 - 2 = 0, 0 = 3*n + 4*z - a for n.
-1
Suppose -3*h + 3 + 24 = 0. Suppose -25 = -5*d + 2*l + 3*l, d = 5*l + h. Solve 4*z - 1 = d*t + z, t + 5*z = -29 for t.
-4
Let l(q) = -q**3 - 3*q**2 + 6*q - 7. Let b be l(-5). Let y = -11 + b. Solve 0*k + 3*k - 16 = -y*u, 0 = 5*k + 4*u - 28 for k.
4
Let v be (-57)/11 + (-2)/(-11). Let n = v - -8. Solve 2*f - 5 = 5*p, 0 = n*p + 5*f + 31 + 3 for p.
-3
Let k = 93 - 58. Let i be k/5*6/21. Solve -3*u = i*p + 5, -2*p - 24 = -4*u + 3*p for u.
1
Suppose 0 = 4*z + 3*k - 15, -5*z + 4*z + k = -2. Suppose -3*d + 5*w - z = 0, 4*d - 4 = 2*w + 2*w. Solve 4*s - 1 - 11 = d*j, 2 = -s for j.
-5
Let f be ((-2)/3)/(1/(-6)). Let y be 0/(-2) - (-118 - 12). Suppose 115 = 3*h - 5*n, -n + y = 4*h + f*n. Solve 3*a = -4*w - 0*a + 25, 5*w - h = -5*a for w.
4
Let n be -2 + 2*95/10. Solve 0 = -0*o + o + 4, 5*b + 2*o = n for b.
5
Let o = 20 - 9. Let x(w) = -w**2 - 5*w + 6. Let u = -18 + 12. Let p be x(u). Solve 3*k + 2*z - z = o, p = -4*k + 4*z - 12 for k.
2
Let j(n) = -n + 0 - 1 + 2. Let g be j(-3). Solve -3 = b + 3*p - 4, -3*p + 13 = g*b for b.
4
Let f be (6 + -2)/((-4)/6). Let s be ((-6)/(-9))/(f/(-18)). Solve -3*h + 3 = s*y, -3*h + y - 6 = -0 for h.
-1
Suppose 0 = 3*o - 0*f + 3*f - 9, -5*o = 4*f - 20. Let y(u) = -u - 1 + 0 + 5. Let i be y(4). Solve 2*v = 2*b - i*b + o, 2*v = 3*b + 8 for b.
0
Suppose 0 = -3*c + 3*u + 15, -2*u + 12 + 34 = 5*c. Suppose 4*k - 2 = -2*r, -4 = -3*r + 3*k + c. Solve a - 17 = -3*j + 8*j, -r*a - 1 = -2*j for j.
-4
Let a(p) be the first derivative of p**4/4 - 5*p**3/3 - 7*p**2/2 + 6*p - 2. Let h be a(6). Suppose d = -4*d + 10. Solve -3*n + 3 = s, h*n = -d*n + 2 for s.
0
Let z(t) = t - 8. Let w be z(8). Suppose 6 + w = 2*i. Solve 2*y - 15 = 5*s + 7*y, 2*s = i*y + 4 for s.
-1
Suppose i = 3*i - 2*a - 4, -3*i + 5*a = -2. Suppose -i*k = -3*k - 29. Let c be 2/(-3) + (-8)/(-3). Solve k = 2*w + 5*u, -4*w + 7*u - 17 = c*u for w.
2
Suppose 4*q = -1 + 33. Suppose -q = -5*i + 2. Let w = i - 2. Solve g - 3 = 0, -c - c + 5*g - 25 = w for c.
-5
Let c(n) = -n + 11. Let v be c(11). Solve 2*o + 4*r - 10 = v, 4*o + r + 16 = 1 for o.
-5
Suppose 0*d = -2*d + 18. Suppose 5*g = 3*p - d, p - 5*p = -2*g - 12. Solve -p*k = k - 3*f - 4, 0 = -2*f - 8 for k.
-2
Let z(x) = 2*x**2 + 4*x + 4. Let n be z(0). Solve -2*c + 26 = -5*r + 8, -4 = n*c for r.
-4
Let u = -18 - -21. Solve 2*t = 10, 2*t = -o - u*o - 2 for o.
-3
Suppose 3*m - 4*m + 31 = 0. Let j = m + -16. Solve -5*b + 5*x = j, -5*b + x - 17 = -2 for b.
-3
Suppose -4*y + 3 = -3*y. Solve -3*v + 13 = -2*l, -3*l - y*v - 8 = 4 for l.
-5
Let m be 21*((-6)/(-3))/2. Let t = -16 + m. Solve 2*j - j - 4*c - 20 = 0, 0 = t*j - 2*c - 28 for j.
4
Let t be (15/10)/(6/(-8)). Let i be (3 + -2)*-1*t. Solve -i*y + k = -y + 8, -5*y - 37 = -4*k for y.
-5
Let q be 230/26 - 2/(-13). Let n = q + -4. Solve -n*y + 5 = 0, 0*y - 6 = -2*r - 2*y for r.
2
Let v(y) = -3*y + 2 + 3*y**2 + 3*y**2 - 5*y**2. Let r be v(3). Let i(z) = -z**2 + 8*z + 9. Let u be i(8). Solve 4*s = 3*l - 24, u = -r*s + 3*l - 9 for s.
-3
Suppose 3*h = 11*h. Solve -3*d - 4 = -2*q, h = -5*d - 0*q - q - 24 for d.
-4
Suppose -80*c + 77*c + 6 = 0. Solve 0 = -c*h + 2*w + 2*w, 2*w = -4*h for h.
0
Suppose 6*s - 2*s - 16 = 0. Let b(l) = -l**2 + 4*l - 2. Let j be b(3). Suppose 4*p - 3*v = -2 - j, 10 = 2*v. Solve 0 = s*n + 3*h + 15, p*h = -0*h - 3 for n.
-3
Let j = -1 + 0. Let b be -3 - (-9 + 4 + j). Solve -6 + 0 = -b*w, -4 = -l - 4*w for l.
-4
Suppose