t c = -21 - -27. Let o = c - 2. Solve j + 2 = o for j.
2
Let y(o) = -8*o + 40. Let d be y(5). Solve d = -0*b - 4*b + 20 for b.
5
Let w = 2 + -2. Suppose -2*g + 4 + 6 = w. Solve -g*z + 14 = -6 for z.
4
Let c = 11 - 7. Let j = -2 + 4. Solve -3*s + j*s = c for s.
-4
Suppose 0 = 5*z - 229 - 121. Suppose l - 6*l = -z. Suppose -3*p - p + 2*r = -12, -r + l = 3*p. Solve p*v = -11 - 5 for v.
-4
Let p(o) = -3*o + 4. Let x(g) = -7*g + 8. Let q(b) = -9*p(b) + 4*x(b). Let f be q(-4). Solve f*s - 2*s - 2 = 0 for s.
-1
Suppose 0 = -3*j + 4*z - 3*z + 19, -17 = -j - 5*z. Let s be (-1 + 0)*0/j. Solve o + s = -3 for o.
-3
Let t(d) = -3*d - 57. Let x be t(-19). Solve x = -6*m + m for m.
0
Suppose -11*r = -8*r - 15. Let c = r + -2. Solve g = -c*g for g.
0
Let a(z) = -z**2 + 1. Let r(w) = 3*w**2 - w. Let y(j) = 2*a(j) + r(j). Let s(m) = m + 1. Let k be s(-1). Let b be y(k). Solve l = -b*l for l.
0
Let f = 19 + -2. Solve -3*v = -f + 2 for v.
5
Let r be 2 - (49 + -1)/(-4). Solve -2*g = -r + 6 for g.
4
Suppose 4*v + n - 15 = 4*n, -4*v + 21 = -n. Suppose -2*g - v = -a, a + 0*a + g - 6 = 0. Solve t = a*t for t.
0
Suppose l - 5 = -0*l. Solve -l*q - 1 + 16 = 0 for q.
3
Suppose 0 = -2*d - 4 + 54. Suppose 0 = -2*k - 7 - 9. Let p = -6 - k. Solve -d = 3*f + p*f for f.
-5
Let d = 20 + -20. Suppose -n + 3*n - 8 = d. Solve n = -b + 7 for b.
3
Let y be ((-9)/6)/(4/(48/(-9))). Solve 3*r + y*r - 20 = 0 for r.
4
Let s = -35 + 45. Solve -4*k = k + s for k.
-2
Let y(b) = b**3 - 2*b**2 + 3*b - 1. Let u be y(2). Suppose -5*d + 0 - u = 0. Let c be (-3 + 2)*(1 + d). Solve -4*r = -c*r for r.
0
Let c(u) = -u - 10. Let w be c(-18). Solve 5*i - 3*i = -w for i.
-4
Let x = 7 - 4. Let q = x + 4. Suppose -3*n - 3 = -2*d + 4, -3*n + d - 2 = 0. Solve 2*m + n = q for m.
3
Suppose -4*m + 5*m + 29 = 5*q, -3*m + 3*q = 27. Let a be (m/(-3))/(2/6). Suppose o + 2 - a = 0. Solve 0*v + 2 = o*v for v.
1
Let y = -10 - -18. Let g = y + -5. Let b be (g/9)/(2/42). Solve -5*m - b = -2 for m.
-1
Let g(d) = 3*d**2 - 16*d + 7. Let c be g(5). Solve -c = -0*a + 2*a for a.
-1
Let s be (-7)/(-2) + (-3)/6. Suppose -s*k + 36 = 5*j - k, 12 = j + 2*k. Solve j*o = 4*o + 4 for o.
2
Let d = 23 + -17. Suppose 3*r + a = 2*a + d, -2*r + 4 = -3*a. Solve 0 = r*m + m for m.
0
Let n = -2 + 3. Suppose -5*z = 5*v - 25, 0 = 2*z - 2*v + v - n. Let i = 2 - z. Solve -2 = -p - i for p.
2
Let j = 8 - 2. Let h(k) = -k + 10. Let v be h(j). Suppose s - v = -s. Solve -m = -s*m + 1 for m.
1
Let m(w) = w**3 - 4*w**2 - 4*w - 2. Let p be m(5). Let l be (p/(-9))/((-1)/9). Solve -3*o + l = -9 for o.
4
Let i(l) = 2*l + 19. Let u be i(-8). Solve 0 = -u*k - 2*k + 15 for k.
3
Suppose -21*h + 17*h = -4. Solve 2 = -t - h for t.
-3
Let d be 0*(-1)/1 - -3. Suppose 0 = t - d - 2. Solve 0*j - 15 = t*j for j.
-3
Suppose 4 = r - 0. Suppose -n - r*n = -25. Solve -n*u = -u for u.
0
Let r = -3 - -6. Let t be 1/(-2*r/(-6)). Suppose -3*q = -q - 4. Solve 9 + t = q*u for u.
5
Let q(z) = 12*z**2 - 3*z + 3. Let h be q(2). Suppose -4*a = 5*b - h, -b - 2*a + 5 = -2*b. Solve 9*m + b = 4*m for m.
-1
Suppose 5*x + 19 = 79. Solve -r = 3*r + x for r.
-3
Suppose -2*u = 6, q + 5*u - 7 - 14 = 0. Suppose l = -l + q. Let x = l - 12. Solve 3*f - x = -3 for f.
1
Suppose 0 = -t + 4*t - 6. Let x be 10/55 - t/11. Let n = 14 - 10. Solve x*w - n = -w for w.
4
Let c(b) = -10*b**3 - 2*b**2 + 1. Let k be c(1). Let a = -2 - k. Suppose 2*d - 5 = y, -5*d + 2*y = -y - 11. Solve -d*n + a*n + 10 = 0 for n.
-2
Suppose h - 6 = -y, 2*y - 6 = 4*h - 0*y. Solve h = 2*q - 3 for q.
2
Let a be 2/(3*(-6)/(-27)). Suppose -4*x = 2*q - 8 - 2, a*x = 3*q + 3. Solve -k = -0*k - x for k.
2
Let x(c) = -c + 1. Let t be x(1). Suppose -4*g + 11 + 9 = t. Solve 3 = -2*z + g*z for z.
1
Let o(r) be the first derivative of -1 - 1/4*r**4 + 3*r**3 + r - 4*r**2. Let k be o(8). Solve j + k = -1 for j.
-2
Let o be (39/(-26))/((-2)/4). Let r be 4/(-6) + 32/3. Solve -r = o*k - k for k.
-5
Let c be (-4)/(-12) - 14/(-3). Let m(t) = -t**2 + 4*t - 1. Let b be m(c). Let w be (-1)/3 - 20/b. Solve -w*a + 4 = 1 for a.
1
Let x(b) = -b**2 + 8*b + 2. Let s be x(8). Solve 12 = 2*a + s*a for a.
3
Let a = -3 + 4. Solve a - 13 = 3*q for q.
-4
Suppose -f - 4*w = -6*f + 12, 2*f = 4*w. Suppose 2*v - 12 = f*r, -3*v + 4*r = -0*v - 16. Solve v*j = 27 - 11 for j.
4
Suppose 5*c = 2*i + 17, 5*i = 5*c - 11 - 9. Solve -c*w + 5*w = -8 for w.
-4
Let h = -2 + 4. Suppose v - h*d = -3*v - 6, -29 = -4*v - 5*d. Suppose 2*m - w - 6 = -v, -4*w - 10 = 2*m. Solve -3*k + 2 = -m for k.
1
Suppose 0 = h - 6. Suppose 4*f = h*f. Suppose f = 4*c - 0*c - 60. Solve 0 = -4*a + a - c for a.
-5
Let p be 44/12 - (-2)/(-3). Solve p*h + h = 12 for h.
3
Let c(s) = 5*s. Let n be c(0). Solve -3*i + 4*i + 4 = n for i.
-4
Let c = -44 + 46. Solve c = 3*j - 7 for j.
3
Suppose 5*x = -5*n + 20, 5 = 5*x + 4*n - 2*n. Let o be (1*6/(-2))/x. Solve -4*q - o = -q for q.
-1
Suppose 8 = 2*o - 3*n - 1, -2*n - 6 = 4*o. Let h = 2 - o. Solve -12 = h*w + w for w.
-4
Suppose -157 - 83 = -3*v. Suppose -3*k = -209 + v. Suppose w + k = 3*s + 6*w, -5*w + 13 = -2*s. Solve -o + 4*o - s = 0 for o.
2
Let a = 5 + -2. Solve -n - a = -2 for n.
-1
Suppose 0*y - 7 = 3*n + 4*y, 2*n = -3*y - 6. Solve -a + n*a = -6 for a.
-3
Let k(l) = l. Let z be -10*1 + (-1 - -1). Let o = 13 + z. Let f be k(o). Solve f = -p - 2*p for p.
-1
Let n(x) = -x**3 + 6*x**2 - 5*x - 4. Let j be n(4). Let a(r) = r - 1. Let v be a(4). Solve y = -v*y - j for y.
-2
Suppose 37 = 5*y + 2*w + 4, -3*y - 5*w + 35 = 0. Solve y*v + 6 = 1 for v.
-1
Suppose -2*m + 79 = 5*h, 3*m + 12 - 33 = -h. Solve -3*a + 0*a = -h for a.
5
Let m = -3 + 14. Let u = -7 + m. Let b = -5 - -10. Solve 0 = -u*f + b*f - 1 for f.
1
Suppose -24 = -4*a + 2*r, 4*r - 6*r = a - 1. Solve a*b - 4*b + 4 = 0 for b.
-4
Let a be (-1)/(-2)*(-6 - -46). Suppose -23 = -2*z + 3*q, -a = 5*q - q. Let l = z + -4. Solve l = -x + 6*x for x.
0
Let a(n) be the third derivative of -n**5/60 + 2*n**4/3 - n**3 + 7*n**2. Let q be a(15). Solve q - 1 = 4*r for r.
2
Suppose 2 + 94 = 6*k. Solve -k*x = -19*x - 3 for x.
-1
Suppose 12*s - 17*s = 75. Let b = s - -27. Solve -j - b = 2*j for j.
-4
Suppose b = 3*b. Let c = 17 - 9. Suppose b*f = -4*f + c. Solve 2*h - 4*h + f = 0 for h.
1
Suppose -4*o + o = -18. Suppose -r + 3*r = 6. Suppose r*n - 9 = -0. Solve -n*y - 6 = -o*y for y.
2
Suppose 2 = -0*g + g. Solve -7*l = -g*l + 5 for l.
-1
Let l(b) = 4*b + 1. Let h be l(1). Let k(n) = 4*n**2 - 3*n + 3. Let m be k(-3). Let j = m + -33. Solve 5*g - j = h for g.
4
Let u(i) = -i**3 + 19*i**2 - 20*i + 41. Let y be u(18). Let x be 1 + (-12*1)/2. Let c = 6 - x. Solve -c = -y*a + 14 for a.
5
Suppose -2*c - c + 93 = 0. Suppose 4*w + 7 - c = 0. Solve -2*b + 4 - w = 0 for b.
-1
Let o = 59 - 56. Solve -3*r = 6 + o for r.
-3
Let c = -6 + 3. Let q = 4 + c. Let f = q + 1. Solve -f*m - 2*m + 8 = 0 for m.
2
Let v(a) be the first derivative of 1 + 2*a + 1/2*a**2. Let l be v(0). Solve q = l*q for q.
0
Let n be ((-4)/8)/(6/(-60)). Let o(w) = -w**3 - 4*w**2 + w + 4. Let m be o(-4). Suppose 3*j + 5*v - 22 = 3*v, -5*j + 2*v = -10. Solve m = 4*q - n*q + j for q.
4
Suppose -d + y = -1, -2*d - 5*y = -d - 13. Solve -d*t - 10 = 2*t for t.
-2
Let x be (-3)/(-2)*12/(-18)*-2. Solve -x = 3*i + 4 for i.
-2
Suppose 2*k + 2*g + 4 = -2*g, -2*k + 32 = -5*g. Let i(y) = -16*y - 1. Let h be i(-1). Solve h = -z + k*z for z.
3
Suppose -p = -3*i - 15, -15 = -5*p - i + 28. Solve 3*r + 0*r + p = 0 for r.
-3
Let g be 2/(-4) - 14/(-4). Suppose -5*l = -4*w + 2*w - 55, 0 = 3*l + 2*w - 17. Let r = l - 7. Solve g*c - 1 = r*c for c.
1
Suppose 5*f + 3*h - 2*h + 27 = 0, 5*h = -10. Let z = f + 10. Solve 4*r = -z + 25 for r.
5
Suppose 38 = 3*x - 13. Suppose -3*o + x + 7 = 0. Solve -3*l = -l + o for l.
-4
Let s(m) = -m**2 - 5*m + 1. Let w be s(-4). Suppose -37 = 2*k + 35. Let i = k + 57. Solve -i = w*v - 6 for v.
-3
Suppose -r + 6 = -2*h - 2, 14 = r - 5*h. Suppose -r*x + 4*f = -35 - 61, 5*x = 4*f + 117. Let g be 2/(-4) - x/(-6). Solve 6 = -0*v - g*v for v.
-2
Let t(u) = 2*u**2 + 26*u - 8. Let l be t(-14). Solve 3*h - l = 7*h for h.
-5
Suppose 2*s = -v - 9 - 0, 5 = -5*s. Let o = 17 + v. Let h be (-12)/o*(-5)/1. Solve 0 = h*m - 2*m + 16 for m.
-4
Let r = -4 - -12. Suppose q + 0 = 2*y - r, 3*q = -3*y + 21. Solve -q*d - 5 = 5 for d.
-5
Let r(d) = 2*d**2 - d - 4*d**2 - 3 + 4*d. L