3*a - u, -z*f = -a + 10 for f.
-4
Let u = -7 + 7. Suppose -5*y + 26 + 4 = u. Let q be (22 + 0 + -2)/1. Solve -3*t - q = 2*s, -3*s + y*s - 2*t + 4 = 0 for s.
-4
Suppose 0 = 5*h + 25, 0 = 4*r + 2*h - 4*h - 50. Let m be 30/(-4)*(-12)/r. Solve -4*t = -0*t + 3*g + m, 5*g = -15 for t.
0
Let q(v) = 3*v + 3. Suppose 2*i = -0*i - 6. Let z be q(i). Let t be z*1/(-3)*1. Solve -s + t*b = -11, -2*s + 6*s = 2*b + 26 for s.
5
Let r = 7 + -5. Suppose h - 9 = -r*c - 2*c, 0 = -5*c + 5. Suppose 3*w = h*j, -6*w + 20 = -2*w. Solve -j*g + 4*p + 0 = 3, 18 = g + 5*p for g.
3
Suppose -2*v - 3*v = -10. Suppose 4*y = -3*c - 23, -2*y = 2*c + v*c + 24. Let k be (6 - 1)/(6 + c). Solve -2*o + 4*z + 16 = 0, 0 = -3*o - z - 16 + k for o.
-2
Suppose 4*g = -g - 5, -f = 4*g + 4. Suppose 4*k + f*t = -2*t, 5*k - 2 = -2*t. Solve 3*a + 4 = -4*z, -5*a - k*z = -4*z - 28 for a.
4
Let f = -3 + 5. Let r be 39/(-6) - (-1)/(-2). Let k be ((-16)/3)/(r/21). Solve 5*d - 6*x - k = -f*x, 4*d - 8 = 2*x for d.
0
Let d be (-6)/(-27) + (-34)/(-9). Let g = -2 + d. Let c(k) = -3*k**3 + k. Let b be c(-1). Solve -g*l = -3*i - 5, 5 + b = -3*i + l for i.
-3
Let m be 18/((2/(-4))/(-1)). Let z(n) = -n. Let f be z(0). Suppose f = -h + 4*h - m. Solve -20 = 4*b - t, 4*b + t + 0*t + h = 0 for b.
-4
Suppose u - 4*u = -6. Solve -4*v = 4*x - 3*x - 14, v + u = -3*x for x.
-2
Let j(a) = a. Let i be j(6). Let y = i - 2. Solve -5*r + 10 + 19 = 2*k, 0 = -y*r + 4*k + 12 for r.
5
Let r(m) = m. Let p be r(4). Solve -2*h - 2 + 0 = 2*s, -p*h + 4*s = -12 for h.
1
Let z(j) = -3*j + j**2 + 6 + 1 + 12*j - 3. Let d be z(-9). Suppose x + d*x - 30 = 0. Solve -5*b + 2 = 3*v - x, -2*b + 3*v = 1 for b.
1
Let r(y) = 6*y**2 - 1. Suppose -3*p + 30 = 2*p. Suppose -5*z + p - 1 = 0. Let v be r(z). Solve 4*s = 8, v*s - s = -5*n + 28 for n.
4
Let c = -36 + 40. Let b be 7*-1*(3 + -2). Let n = 10 + b. Solve n*g + 2 = -c*v - 22, 3*v + 5*g + 29 = 0 for v.
-3
Let p be (-14)/(-42) + 5/3. Solve -2*w - g = p*w, -g = 5*w for w.
0
Let i(z) = z**3 + 4*z**2 + 15. Let w be i(-4). Solve -2*p - 4*r - 10 = 0, 2*p + w - 5 = -r for p.
-5
Let x(w) = 2*w + 27. Let s be x(-11). Solve s*q = -5*k - 45, -4*q + 3*k = k + 6 for q.
-4
Let s(v) = v - 10. Let d be s(12). Let t be (-5 - -9)*(1 - -1). Let j(r) = r + 1. Let b be j(t). Solve -f + 8 = 5*m - 4*m, d*f + b = 3*m for m.
5
Let b = 56 + -54. Solve -v - r - 1 = -3, 5*r - 3 = b*v for v.
1
Let z be 8/(3 - 1) - 0. Solve -c - 2*v + 7 = -3, 4*c - z*v + 20 = 0 for c.
0
Let t = -15 + 9. Let w be (-38)/(3/(t/4)). Solve 3*z + 2*n = -w, 4*n = z - 0*z - 3 for z.
-5
Suppose -4*g + 2*k + 0 = 2, -2*g = 4*k - 4. Let u(w) = -w**2 - 12*w - 14. Let a be u(-10). Let i be 20/6*a/4. Solve 0 = -g*q + 5*q, i*q = -l + 5 for l.
5
Let y be (-14)/(-5)*1*10. Let l be y/16 + (-3)/(-12). Let s = l - -1. Solve -4*o = -s*o + z - 5, -z = -3 for o.
2
Suppose 0 = -0*c - 5*c + 35. Solve 0 = -5*h + 4*b - 25, -2*h + c*h - 5*b + 30 = 0 for h.
-1
Let u be 6 - 4 - (-4)/2. Solve 13 = -u*c - 2*v + 3*v, 4*c - 4*v + 4 = 0 for c.
-4
Let t(c) = c**2 + 2*c - 1. Let h be t(-3). Suppose -4*o + 1 = k, 4*k - k - 3*o - 18 = 0. Suppose -5*a + 56 = -a. Solve -h*f = v - 2*v + 6, k*f = 3*v - a for f.
-4
Let o(z) be the first derivative of 11*z**2/2 + 4*z + 2. Let c be o(4). Suppose -a = -5*a + c. Solve -2*g - 5*w + 33 - a = 0, -w - 3 = 4*g for g.
-2
Suppose -4*t - 34 = 2*u, -2*u = -5*t - 6*u - 41. Let a = t + 14. Solve -a*m = 3*n + 2*n + 25, n - 13 = 5*m for m.
-3
Let h be -1 - 12/8*-2. Let u be (-29)/(-3 + 0 + h). Solve -5*v - 12 = -4*i + u, 2*v = 4*i - 26 for v.
-5
Suppose -8 - 1 = -3*m, -j = -5*m + 10. Suppose -5 + 2 = -o. Let f be (-10)/4*6/(-3). Solve -o*x + j = -f*b, 0*x - 4*b = x - 13 for x.
5
Let s(p) = -3*p**2 - 5*p - 1. Let x(w) = -4*w**2 - 4*w - 2. Let f(o) = 3*s(o) - 2*x(o). Let l be f(-6). Solve -13 = 2*c + 3*i, -5*i - 6 = -c + l for c.
-2
Let j be (1 - (-6)/(-3))*0. Suppose 0*k = -2*k + 2*o + 16, -5*k + 2*o + 28 = j. Solve -k*y + 14 = 2*f - f, -3*f - 14 = -2*y for f.
-2
Let r be (2/(-5))/((-1)/5). Suppose -5*o + 6 + 19 = 0. Suppose -6*u = -u - o. Solve 25 = y + 5*p, p = r*y - u - 5 for y.
5
Suppose 6 = 2*m - s, 5*s + 16 = 5*m + 2*s. Solve -i = 2*i + 9, -m*o - i - 13 = 0 for o.
-5
Suppose 2*x + 3*x - 25 = -2*b, -4*x = -3*b - 20. Solve -x*a - 8 = 2*l, 0 = -4*a - 2*l - l - 5 for a.
-2
Let a be (-22)/(-8) + 2/8. Let r be -2*1 + 6/a. Solve -18 = -r*k + 4*k + x, 0 = x + 2 for k.
-4
Let i = -1 + 3. Let j = 42 + -30. Suppose -j = -i*a - a. Solve -m - c = 6, -a*c - 12 = -0*c for m.
-3
Let z(w) be the first derivative of w**4/4 + 11*w**3/3 + w**2/2 + 13*w - 2. Let c be z(-11). Let r be (-1 + 2)*-1*-7. Solve 3*g - r*g = j, -2*j = c*g for g.
0
Suppose -3*m = -2*t - 2*t - 75, m + t = 25. Suppose -y = -0*y - 3. Suppose 0*b + b = y. Solve 0 = 5*k + p + 30, -2*k + 0*p - b*p - m = 0 for k.
-5
Let g be 4 + (-2)/(1*2). Let o = -4 - -9. Suppose 33 = -2*f + 39. Solve -o = -4*s + 5*s + g*q, -3 = -3*s - f*q for s.
4
Let r = -48 + 51. Solve a + 5 = 0, -r*o = -0*o - 2*a - 10 for o.
0
Let g be (-1)/(-2)*6 + 1. Suppose -5*b - i - g*i = 30, 6 = 2*i. Let a = -5 - b. Solve -3*o - a*q + 19 = 0, -3 + 11 = 2*q for o.
1
Let t be (5/3)/(1/3). Solve 3 - 9 = -d + 3*r, 5*r - 10 = -t*d for d.
3
Let o(l) = 4*l**3 - 3*l**2 + l - 2. Let s be o(2). Solve -5*z - 25 = 0, c - 2*z + 6*z = -s for c.
0
Let d(t) = 3*t - 2. Let s be d(4). Solve 3*a + 3*x + s + 5 = 0, 10 = -2*a + x for a.
-5
Suppose 0 = 4*d - 11 - 17. Suppose 5*r = 2*z - 0 + d, -3 = -r + 2*z. Let q = r + -1. Solve -14 = 3*l - 2*y, -l + 4*y = 8 - q for l.
-4
Let w = -4 + 6. Let y = -3 - -2. Let i be 0 + (3 - 0) + y. Solve -i*p - k + 10 = w*p, -k + 1 = p for p.
3
Let t be ((-15)/(-9))/((-1)/(-3)). Solve -t*q - 3 = 4*g, 2*q + 9 = g - 0*q for g.
3
Let n = 132 + -128. Solve -3*b = -n*b - 5*j + 20, 2*b = 3*j + 1 for b.
5
Let w(z) = -z**2 + 13*z + 4. Let x be 3*(-4)/24*-24. Let r be w(x). Solve -4*d - 19 = -3*g, -5*g + r = 5*d - 4 for d.
-1
Suppose 5*q + 2*b + 16 = 4*q, 1 = -q + b. Let x = -4 - q. Let t be (0 + -4)*-1 - 0. Solve 0 = 5*l - t*n, 12 = 2*l - x*n - 2*n for l.
-4
Let w = 6 - 2. Solve 2*m = w*s - 18, s = -2*m + 7*m for s.
5
Let v be 4 - 3 - (4 - 0). Let m = v - 0. Let u be m + 6 + 8/1. Solve -2*y - x = -u, 3*y = -5*x - 6 + 33 for y.
4
Suppose 2*r + 8 = 2*a, 4*a + 3*r = 30 - 7. Let t be 16*(4 - 14/4). Let h be -6*4/6 + t. Solve a*w - 2 = -h*d - 11, w - 2*d - 1 = 0 for w.
-1
Let u(r) = -2*r - r + 5*r - 4. Let s be ((-6)/4)/(9/(-36)). Let q be u(s). Solve -2*c + q = 3*z, z + z = -2*c + 4 for z.
4
Suppose 0 = 2*m + 6, -5*m - 1 = 5*t + 4. Solve 12 = -5*b + a - 0*a, 0 = t*b + 2*a for b.
-2
Suppose 0 = 3*l + s - 56, -l + s = -2*l + 16. Let q = 4 - 2. Suppose -q*g + 0*g = 0. Solve l = 4*d, -4*u + g + 1 = -3*d for u.
4
Let i(q) be the second derivative of -2*q**3/3 + q**2/2 + q. Let j be i(-3). Let g = j - 8. Solve 0 = g*l - 5*p + 50, -5*p = 4*l - 1 - 4 for l.
-5
Let o(m) = -4*m**3 - 2*m**2 - m + 2. Let i be o(-1). Solve i*b = v + 3*v - 11, -v + b + 3 = 0 for v.
4
Suppose 5*b - 5*s = -10 - 0, -13 = -b - 2*s. Solve 2*p + q - 5 = 0, -5*q - b = -3*p - p for p.
2
Let w = -9 + 20. Let c = -7 + w. Suppose g + 15 = c*g. Solve 0 = 3*p - 4*x - 7, 0*p = g*p - 2*x - 21 for p.
5
Let x(s) = -s**3 + 6*s**2 - 2*s - 2. Let q be x(2). Let d(o) = -2*o + 22. Let u be d(q). Solve 2*y - u = -2*b - 4, 0 = -5*b + 5*y + 45 for b.
4
Let d = 12 + -7. Suppose -3 = -f - 0. Solve 4*a - 2*a = f*p - 16, -2*p = d*a + 2 for a.
-2
Suppose -40 = -3*r - 2*r. Suppose 0 = 3*t - 4*c - r, -t + 2*c - 6*c = -8. Suppose -3*g = -g - t. Solve g*a = -2*d + 12, -2*d - 6 = -16 for a.
1
Let y be (0 - 0)/(14/14). Suppose 2 = -l - 2*j + 5, y = 5*l - j - 15. Solve 2*h - 2 = h - l*p, -2*h = p + 6 for h.
-4
Suppose -16 - 37 = -4*y + 5*z, 3*y + 4*z = 63. Let i = -5 - 2. Let x = i + y. Solve 2*a - m - x = m, -5*m - 19 = -3*a for a.
3
Let u be (1 + 0)*(-2 - -4). Solve -n = t - 2, -2 = -u*t - 4 for n.
3
Suppose 0 = 2*r - 4*r + 30. Solve -5*k + r = -4*z, -4*z - 3*k - 23 = -0*k for z.
-5
Suppose -3*x = -5*x. Let w(s) = -s - 12. Let d be w(-14). Let c = d - x. Solve -2*h + 5*v - 12 = 2, c = -3*h - 2*v for h.
-2
Let b = -4 + 4. Let m(q) = -q**2 + 12. Let v be m(b). Suppose h = -2*n + 1 + 1, 0 = -2*h + 4*n + 12. Solve 5*d - h*d = 2*j - 6, -3*d = -v for j.
5
Let z = 8 - 8. Let a(m) = -3*m - 1 + z - 3 - 2*