*q, b = v*b + 5*q - 8 for b.
4
Let n(j) = j**2 + 3*j - 6. Let q be n(-6). Suppose -3*s + q = s. Suppose -2*g - m + 9 = -4, s*m + 1 = -g. Solve -c = -4*z + 1, -4*c = -z - 3*z - g for c.
3
Let t = 16 + -16. Solve q - 4*q - 5*a + 6 = t, -q - 5*a + 12 = 0 for q.
-3
Suppose 0 = -6*x + 43 + 17. Solve 10 = 5*t - x, -2*r + 6 = 4*t for r.
-5
Suppose 3*h - 20 = -4*x + 20, 12 = 4*x - 4*h. Let i = 4 + -7. Let s = i + x. Solve 3*l - 4 = -s*b, l = -3*b + 4 - 6 for b.
-2
Let b(w) = -13*w. Let f be b(1). Let t = f + 13. Solve -m + q - 5 = t, -m - q + 7 = -4*m for m.
-1
Let w = -6 - -9. Suppose 5*i = -2*l - 3, -w*i + 7 + 16 = -5*l. Solve 2*z = -2*k, -4*z - i = k - 10 for k.
-3
Let v(u) = 6*u + 12. Let k be v(-7). Let d = -22 - k. Solve -4*i = n - d, -3 = -i + 4*n - 1 for i.
2
Let a = -45 + 49. Solve -l + a*l = -2*u - 18, 0 = 5*l - 4*u + 8 for l.
-4
Suppose 2*i + 1 - 11 = 0. Solve -w - 3*w = -i*d + 1, -5*w - 5 = -5*d for w.
-4
Suppose 5*a = a + 36. Suppose -z + 5*r + a = 0, 2*z + 3*r = 3 + 2. Solve z = 2*g, -4 = 2*h - 6*h - 4*g for h.
-1
Let m(i) be the first derivative of -i**3/3 - 5*i**2/2 + 10*i - 5. Let k be m(-6). Solve 5*c - x = 25, k*x - 2*x = 4*c - 20 for c.
5
Let l = -19 - -23. Solve -l*t + 2*b - 8 = 4*b, -4*t + b - 14 = 0 for t.
-3
Suppose 4*u = -u + 30. Let b be (-2)/(92/(-28) + 3). Suppose b*d + 3*i - 15 = 4*d, 15 = 5*d - 5*i. Solve 4*s = -3*w + 5, -d*s + 5 = 5*w - u for s.
-1
Let v = -6 + 9. Suppose 4*l - v*l - 2 = 0. Solve -3*t = l*s + 8, 5*s + 2*t = -2*t - 13 for s.
-1
Let i(y) = y + 2. Let x be i(2). Suppose -4*w = b - 55, 3*w - 45 = 2*b - 4*b. Solve 0 = 2*o - z - w, 28 = -3*o + 5*o - x*z for o.
4
Suppose -2*a + 3*a = 5. Let w = 36 - 34. Solve -5*y - 2*i = 1, -i - w = a*y - 4*y for y.
1
Let h be (10/6)/(4/36). Let t be (-4)/(-1 - (-24)/28). Solve 2*k - 6*k + 2*o - t = 0, -k - 5*o + h = 0 for k.
-5
Let t = 29 + -11. Suppose -3*s + t = -3*p, -3*s - p + 3 = 1. Solve -3*a - 11 = -s, 0 = -2*v - 5*a - 25 for v.
-5
Let n be 3/((-11)/(-11)*(-6)/(-10)). Solve 4 = v - 2*d + 1, -3*v = n*d - 20 for v.
5
Let p(a) = -a**2 + 7*a - 7. Let z be p(5). Let u = 19 + 12. Solve -q = -v + 3*v + 14, -4*q = z*v + u for v.
-5
Let g(p) = 2*p**2 + 4*p + 2. Let b be g(-4). Suppose -a = 5*a - b. Solve -3*f + a - 6 = 0, 0 = n - 4*f - 7 for n.
3
Let z(s) = s**3 - s**2 - s + 3. Let w be z(3). Let n = 8 + w. Solve -5*l - 4*t = -10, -5*t + n - 1 = 0 for l.
-2
Let i be 2/(-4)*17*-2. Let a be (1*6)/(1 - 0). Let k = a + -6. Solve -2*j = -3*l - 17 - 0, 4*l + 3*j + i = k for l.
-5
Let x = 25 - 23. Solve 14 = 3*v + x*c, 3*c = -v - 0*c + 14 for v.
2
Let f = -9 + 23. Solve 3*d - f = 2*x + 3*x, 0 = 5*d + 4*x - 11 for d.
3
Let n be 9 + -7 - (-1 + 1). Let s = -13 - -18. Suppose -1 = -s*d + 9. Solve 0 = -n*q - 5*h + 28, 4*q - 5 = d*h + 3 for q.
4
Let g be (-2)/8 - 9/(-4). Let p be g/3*57/2. Let c = p + -13. Solve -3*w + x = 4*x + c, -2*x = -3*w + 14 for w.
2
Let h = -10 - -11. Solve -3*s + 3*u = -15, 0 = -3*s - 4*u - h - 5 for s.
2
Let r(n) = -n**3 + 6*n**2 - 6*n + 7. Let f be r(5). Suppose 0 = -0*y + 5*y - 145. Solve f*h + 2*h + 14 = 3*l, -2*l = 5*h + y for l.
-2
Let f be (4 + -10)*(-2)/4. Solve -n + 13 = 5*h + n, -f*h - 4*n + 5 = 0 for h.
3
Let l(x) be the third derivative of -1/3*x**4 + 0*x + x**2 + 0 - 1/60*x**5 - 1/3*x**3. Let w be l(-6). Solve n - 4 = 3*n - v, -w = 5*n - 3*v for n.
-2
Let z be 5 + 0 + -14 + 11. Solve -u + 15 = 4*t, 0 + 15 = 3*u + z*t for u.
3
Let u(m) = -m**3 + 8*m**2 + 2. Let a be u(8). Let y(v) = v**2 - 2*v + 3. Let j be y(a). Solve 2*q - 2 = n + 8, -j*n = q + 2 for n.
-2
Let u be 20/(-25)*(-110)/4. Let g be 456/88 - 4/u. Solve -4*j + 4*y + 16 = 0, -g*j + y = -3*y - 16 for j.
0
Let s = -39 - -41. Solve -m + s*h = 3, 3*m - h = -m - 19 for m.
-5
Let s(a) = 3*a - 13. Let i be s(5). Solve 28 = -5*b + i*v - 0*v, -8 = -2*v for b.
-4
Let o be (13 - 8)*(2 + -1). Let d be (9/6 + -1)*8. Solve -11 = o*a - w, a - d*w = 8 + 5 for a.
-3
Let t be 2/4 + 7/2. Suppose 0 = 5*y - l + 77, t = -0*y - y + 4*l. Let x be 2/(-8) - 212/y. Solve 0 = 2*m + m + 3*a + 21, -x = -m + 3*a for m.
-2
Let d(t) = t**2 + t + 2. Let j be d(-2). Let i be (-3)/6 - (-2)/j. Let f be 2 + 0 + i + 3. Solve -2*u - 8 = -s, -f*s = -u + 2 - 24 for u.
-2
Let x = -8 - -14. Let i = -3 + x. Suppose i*a - 103 = -5*m, 8*m - 4*m - a - 79 = 0. Solve -2*p + 4*p - m = -4*q, 5*p = 5*q - 25 for q.
5
Let l = 3 - 4. Let h be 5/((0 - l)*1). Solve -18 = h*j - 2*f, 3*j + 25 = -2*j - 5*f for j.
-4
Let o = 2 - 0. Suppose 13 = 3*w - o. Solve -2*i + 2*y = -7*i - 35, 0 = -5*i + w*y for i.
-5
Suppose -4*t = -2*t - 4*a + 4, 4*a = -3*t + 14. Let l(z) = -2*z**2 + z - 2. Let s be l(t). Let f = s + 13. Solve -5*j + 2*m = -f, -2*m - 3 = -4*j - 1 for j.
3
Let u(w) = w**3 + 3*w**2 + 2*w. Let c be u(-3). Let g be (-45)/(-12) + c/8. Solve p = -g*q - 7, 5*q + 13 = -p - 2*p for p.
-1
Suppose 0 = -9*g + 10*g - 17. Solve m + g = 4*a, 2*m = 2*a - a - 6 for m.
-1
Let v be -5*(-2 - -6)/(-4). Solve x = -0*x - 2*k - 1, 5*x - k = -v for x.
-1
Let k(q) = q**2 + 7*q + 2. Suppose h + 4*h - 8 = 4*n, 3*n = 5*h - 1. Let j be k(n). Let f be (j + -2 + 0)/(-2). Solve -5*x - z = -f*z, 0 = -4*x - z for x.
0
Suppose -3*r = 87 - 21. Let s = r + 33. Solve 4*q - s - 11 = -2*d, -3*d + 9 = 0 for q.
4
Suppose 15 = 3*f - 0. Solve w - 12 = -3*l + f*w, 3*l + 15 = -5*w for l.
0
Let s(v) = -v**2 + 3*v + 2. Let y be s(2). Suppose -8*u + 65 = -31. Solve 3 = -3*r + a + 6, -4*r = y*a + u for r.
0
Let q be (-6)/((-1 + -1)*1). Let l be (72 + -2)/(1 - -1). Solve q*y + 1 = 2*y + b, -3*y - 5*b = l for y.
-5
Let v be ((-1)/2)/(4/56). Let y(n) = -n**3 - 8*n**2 - 6*n + 7. Let b be y(v). Solve 4 = -2*f - 2*s - 14, -f - 3*s - 19 = b for f.
-4
Suppose 70 = 8*t - 3*t - 4*z, 15 = 4*t + 5*z. Solve 0 = -2*n - 10, 5*n - 7*n + t = 4*f for f.
5
Let z = 15 - 9. Suppose 19 = 5*o + 4. Solve -o*f + 0*f = -2*m + z, -m = -f - 1 for f.
-4
Let n = 19 - 17. Solve 4*u = -2*s - n, -2 = -0*s + s + u for s.
-3
Suppose q + 3*m - 31 = -0*m, -4*q = 5*m - 89. Solve 0 = 5*y - 2*i - i - 12, -5*y - i + q = 0 for y.
3
Let b be (-4 - 1) + 2/1. Let j be (-1 - b) + (1 - -5). Let q = -5 + j. Solve 3 = -q*y + 5*t - 10, -y + 3*t = 11 for y.
4
Suppose -4*p + 5*p + 2 = 0. Let z be (1 - (p + 1)) + 3. Solve -4*k - 4*j - 14 = 6, 5*j - z = k for k.
-5
Let f(d) = d**2 - 6*d - 3. Let y be f(5). Let h = -7 - y. Solve 0 = -8*p + 3*p + 2*r + h, 5*p - 3*r - 4 = 0 for p.
-1
Suppose 0 = 11*s - 2*s - 90. Solve -25 = 5*j - 0*c + 2*c, -s = -5*j + 5*c for j.
-3
Let b be (0/4)/(1*-1). Let d = -11 + 15. Suppose b = d*l - l - 15. Solve 4*r = -l*a, a - 3*a + 3*r = 0 for a.
0
Suppose -5 - 15 = -4*d. Let s = -3 - -3. Suppose s = 2*f - f - 4. Solve -f*m + 26 = 3*g, -6 = d*g + 3*m - 31 for g.
2
Suppose -c + 7 = -5*f - 15, -5*c - 10 = 5*f. Suppose -3*o + 10 = c*o. Solve 1 = -s + v - 1, o*s - v = -5 for s.
-3
Let y(t) = 16*t**2 - 4 + 4*t - 20*t**2 - 3*t**3 + 4*t**3. Let u be y(4). Solve -3*r = -o - r + 9, -4*r - u = 4*o for o.
1
Let z(c) = 8*c**2 + 3*c**2 + 2 + 11*c - 3 + c**3 + 14. Let l be z(-10). Let r(p) = -10*p. Let j be r(-1). Solve -4*t + t - j = -q, t + l = 0 for q.
1
Let j(l) = l**3 - 10*l**2 + 9*l + 3. Let z be j(9). Solve -6*v = 5*q - v, 0 = -z*q + v + 12 for q.
3
Let j = -5 - -11. Suppose -5*v + 27 = -3*t, -2*t = -v + 5 + j. Solve 4*q = -4*s - 20, -v*s - 1 = -q - 3*q for s.
-3
Let r be 45/(-9)*-1*5. Solve 0*p - 3*p - 2*y - r = 0, 3*y + 25 = -2*p for p.
-5
Suppose -13 = 4*x + 5*o, 6 = -5*x - 5*o - 9. Suppose 18 = -z - 2*z. Let g be (-16)/z + x/3. Solve g*t = -4*u + 2 - 0, -4*u - 7 = -t for t.
3
Let c be (3/3)/(1/3). Solve -c*r + 0*r + 10 = 4*d, 2*d - 10 = -4*r for r.
2
Suppose 0 = 8*q + 7 - 23. Solve -n + 26 = 5*t - 0*n, 4*t + q*n - 22 = 0 for t.
5
Suppose -5*b - j + 20 = 0, 6*j - 4*j + 25 = 3*b. Let c = 7 - 1. Solve w - 2 = n + c, b*n = -15 for w.
5
Suppose -2*f + 5*f - 5*m - 2 = 0, -3*f + 3*m + 6 = 0. Solve 4*x = -2*r + 5*x + 1, -f*x + 14 = -2*r for r.
3
Suppose 5 - 14 = -3*w. Suppose 0 = -2*g - g + 5*x + 51, w = x. Solve k + k = 5*s - 25, -s - g = 5*k for k.
-5
Let h = 114 - 110. Solve 2*i + h*b = -3*i, -3*b = 2*i - 7 for i.
-4
Let p = -2 - 6. Let i = p + 11. Solve -i*r + 5*v = 7, -7*v - 16 = 3*r - 3*v for r.
-4
Let r = 11 - 0. Solve h + 22 = -4*k, -h = 2*h + k + r for h.
-2
Let s(v) = v**2 - 11*v + 20. Let f be s(9). Solve -f*m - m = -4*