 - 5, -p*h + 6 - 4 = -2*c for h.
-4
Let k = -1 - 2. Let y be (36/15)/(k/(-15)). Solve -4*w - 2*s = -y, 3*s + s = 2*w - 16 for w.
4
Suppose -f = -3 - 1. Suppose 4*i + 5*d = -7, -3*i + 0 = -2*d - 12. Suppose f*t = 4, -i*j + 0*t - t + 7 = 0. Solve 2*z - 4 = 2*u, -5*u + j = -2*z - 2 for u.
3
Let k = -50 - -52. Solve -k*w + 4*g + 29 = 1, -3*w + 3*g + 27 = 0 for w.
4
Let x = 14 + -10. Solve -2 = -x*w + u + 3, -5 = 4*w + u for w.
0
Suppose -3*j = -j. Suppose j = -0*u - 3*u. Suppose x + 2 - 5 = u. Solve x*q = 5*k - 13, -2*k - 3*k + 2*q = -12 for k.
2
Let t(v) = 2*v - 3. Let p be t(4). Let z(o) = -o + 7. Let b be z(p). Solve -d = -3*y + 8 - 0, 4*d + b*y = -18 for d.
-5
Let o = -3 + 8. Suppose -o*u + 4*s + 92 + 28 = 0, -4*u - 5*s = -96. Solve h - 3*x + 11 = -x, -h + u = 5*x for h.
-1
Let x = 3 + -1. Solve -33 = 2*v - 5*r, -6 = x*v - 3*r + 17 for v.
-4
Let q = -5 + 16. Suppose q*i = 7*i + 96. Solve r + 6 = 5*v - 22, 3*v - i = 3*r for v.
5
Suppose 3*u = u, -2*h - 4*u - 8 = 0. Let r = 7 + h. Solve -2*z - 11 + r = 2*j, 0 = 5*j + 10 for z.
-2
Suppose x + 3*x - 2 = -t, 3*t + x = 6. Suppose -5*i + 2*i = 3*p - 57, -t*p = -5*i + 88. Solve 4*o = -20, i + 11 = 4*a - 5*o for a.
1
Let p be 48/22 - (-22)/(-121). Solve -6*w = -p*w - 3*q + 16, -3*w - 12 = -4*q for w.
-4
Let y be 4/6 - 13/(-3). Suppose p + 2*r = -0 + 12, -3*r = -12. Solve p*b + 5*k = 11, -b - y*k + 0 - 1 = 0 for b.
4
Let r(l) = l - 2. Let s be r(4). Solve 4*k = 2*x, -s*x + 2*k = -0*x for x.
0
Let m(i) = i**2 + 11*i - 52. Let b be m(-16). Solve -4*d + 4 = 5*c + 39, 5*d + c = -b for d.
-5
Let x = 28 - 26. Solve -3*c = x*g + 7, 0*g - 3*g - 18 = -3*c for g.
-5
Let l(d) = d**2 - 6*d + 9. Let s be l(5). Solve 0 = 5*u + s*y - 8, y + 14 = 2*u - y for u.
4
Let o(g) be the first derivative of -g**4/4 - 2*g**3 + 3*g**2 - 3*g + 3. Let h be o(-7). Solve -h*u + 3*d + 3 = -1, -3*u - 2*d - 14 = 0 for u.
-2
Let l = 13 - 10. Suppose 0 = 3*m + k - 76, 0*m = -l*m - 3*k + 66. Solve 5*h = 3*g + m, 3*h - 3*g - 13 - 8 = 0 for h.
3
Let v(m) = 3*m + 1. Let a = 1 + 0. Let g be v(a). Solve -8 = -3*x + d, -x = 4*d - g + 23 for x.
1
Let y(b) = -b**3 + 9*b**2 - 6*b - 8. Let g be y(8). Let v(f) = -f + 10. Let l be v(g). Solve -3*z + 5*r + 0*r = 11, -r - l = -2*z for z.
3
Suppose 0 = c - 25 + 9. Suppose 2*f - 4 = 5*k, 0*f = 5*k + 4*f - 8. Solve -c = -2*g - 5*i - 7, -g + 2*i = k for g.
2
Let x(h) = -4*h + 1. Let f be x(1). Let d = f + 5. Let v be (d - 0 - 7)/(-1). Solve -2*s + 20 = -5*g - 8, v*s - 32 = 3*g for g.
-4
Let s = -16 - -11. Let k = s + 8. Solve 2*w + 6*c + 5 = 3*c, -k*w - c = -10 for w.
5
Let p = -1 + 11. Solve -i + 3*w = -w - 4, 4*i - 3*w + p = 0 for i.
-4
Suppose -12 = -5*z - 2, -a - 5*z = -15. Let c be 4 + 2/(0 + -2). Suppose 0 = c*b - 9. Solve 5*r + a = 0, -2*v + b = 2*r + r for v.
3
Let o be 12/(-9)*(-12 + 3). Let p be (o/16)/(1/4). Solve p*f - 8*f = -10, 0 = -2*t + f + 6 for t.
4
Suppose 0 = 4*f + 2*n - 24, -3*n + 6 = -f - 2. Solve -y - 4*y + 29 = f*q, -20 = -5*q - 3*y for q.
1
Let g be (10/(-8))/((-2)/8). Let d = -9 - -17. Let f be (-2)/d + (-45)/(-20). Solve o - r + 6 = -f*r, -g*o - 29 = 4*r for o.
-5
Let r(j) = j**2 + 4*j - 3. Suppose -9 = 3*z + 2*a, -z - 24 + 7 = -4*a. Let m be r(z). Solve -5*k - 20 = 4*o, 5*o + 25 = 3*k - m*k for o.
-5
Let g be (2/(-4))/(6/264). Let i = 13 - g. Let f = i + -21. Solve -4*q = -2*u + f, 2*q + 6*u - u = -25 for q.
-5
Suppose 5*i - 3*q - 20 = 0, -4*i = -i - 2*q - 13. Suppose c + i = 3. Let u be (-168)/(-24) - 0/(-1). Solve 3*a = -y + u, y - 3*y + c = 3*a for y.
-5
Let p = 13 + -10. Solve -4*v - 27 = p*z, -4*z + 4*v - 13 = z for z.
-5
Let c = 2 + -11. Let t be 8/36 - 16/c. Solve -h + 0*v - 4*v = 19, 5*h = t*v - 7 for h.
-3
Let t be (-2 - -1)/(1/7). Let q(k) = -k - 8. Let f be q(t). Let d be 0 + (f - 0 - -2). Solve 27 = -3*l + 3*h, -l = 3*h - 12 + d for l.
-4
Suppose -9*t + 15 = -4*t - 2*v, v = 0. Let o = 15 + 11. Suppose -4*r = -o + 6. Solve -r*y = -10, 0*b + 3*b + t*y = 12 for b.
2
Let h be 1632/40 + (-16)/20. Solve 0 = 4*s - 5*i + h, -7*s + 2*s - 5*i = 5 for s.
-5
Suppose 3*b - 60 = 15. Solve 0 = -r - k + 10, r = 5*r + k - b for r.
5
Suppose -2*t + 18 = -0*r - 2*r, t + 5*r = -21. Solve -2*o - 20 = 5*i, 5*i - 8*o - 10 = -t*o for i.
-2
Let c(v) = -v**2 + 7*v - 8. Let j be c(5). Let d = 3 + -1. Solve z + 2*r - 11 = d*z, 4 = -4*z - j*r for z.
-3
Suppose y + 6 = 2*y. Let m be y/15 - 96/(-10). Suppose 3*p - p + 8 = -3*r, 2*p - 2*r - 12 = 0. Solve m = -0*b - 5*b, 10 = -p*d - 3*b for d.
-2
Suppose 19 + 20 = 13*u. Solve -15 - 3 = -4*m + 2*g, 3*m + 4*g + u = 0 for m.
3
Suppose -5*q + 21 = -4. Solve 3*b + 1 = q*v + 4, 3*v + 2 = 2*b for b.
1
Let g be (-1)/(-3) - 23/(-3). Suppose 0 = -2*o - 2*o + g. Let t = 5 + -3. Solve -5*p + 0*p = -5*f + 20, -p + t = o*f for p.
-2
Let l(d) = d**2 - 11*d + 12. Let y be l(10). Suppose -5*k - 54 = -4*p, y*p = 3*k - 10 + 38. Solve -10 = i + 2*o - 2, 2*i + 3*o + p = 0 for i.
2
Let a = 12 - 17. Let c = 0 - a. Let u = c + -5. Solve -6 = -y - u*y + 3*h, -5*y + 16 = -h for y.
3
Let n be (-2)/3 - (-16)/6. Suppose n*s - 5*z = -4, 0*z + z = -3*s + 28. Suppose s = 4*b - 0. Solve -b*l + 4*u + 4 = 0, -2*l - 3*u = -2*u + 6 for l.
-2
Let r = -20 - -37. Solve -4*n + 4*w - 16 = 0, -2 = 5*w - r for n.
-1
Let s(i) = -3*i + 2*i + 3*i + 9. Let g be s(-7). Let w be (-1 + g)/(-1) - 1. Solve 5*h + k = -3*k + 2, w*k = -4*h + 7 for h.
-2
Suppose f - 6 = -f. Let z(b) = b. Let p be z(f). Suppose m - p*m = -8. Solve 0 = -4*o - m*i - 36, 30 = -5*o - 3*i - 7 for o.
-5
Suppose -o + r + 14 = 6*r, 0 = 4*r - 8. Solve s = -1, -2*s = z + s + o for z.
-1
Suppose -2*j - 6 = -22. Let q(l) = -l**3 + 8*l**2 + 4. Let m be q(j). Solve 4*c + m*y - 8 = 0, -5*c - 3 = -3*c - 5*y for c.
1
Let f(k) = -k**2 + 9*k + 13. Let z be f(10). Solve -2*n = -z*h + 6, h = 6*n - 2*n - 8 for h.
4
Let n(w) = -w + 12. Let q be n(10). Suppose 2*f + 10 = 2*u, 2*u + q*f = 1 + 1. Solve s = 4*s - g - 8, -u*g + 12 = 0 for s.
4
Let z(b) = -b**3 - 11*b**2 + b + 11. Let q be z(-11). Solve -n + 3 = -4*y - 1, q = 2*y - 3*n + 2 for y.
-1
Let m(q) = 5*q**3 + q + 1. Let l be m(-1). Let z(t) = -t + 3. Let y be z(l). Solve 2 = -2*x - 5*d, -5*d - y = -d for x.
4
Suppose 4*y - 5*l = 10, 0 = -2*y - 3*l - 8 + 24. Solve 4*m - 1 = 2*v - 5, 0 = -3*m - y*v - 29 for m.
-3
Let m(o) = 7*o**2 + 4*o - 2. Let p be m(1). Solve 4*s - 17 = 3*l - s, 3*l + p = -3*s for l.
-4
Suppose 2*i + 3*n + 0*n - 21 = 0, 12 = i + n. Suppose 3 = -3*s + i. Solve -2*d - z = 2*z - 8, s*z = -3*d + 10 for d.
-2
Let b(n) = 2*n**2 + 20*n + 1. Let f be b(-10). Solve 0 = 4*j - q - 1, 2 = -4*j - 3*q - f for j.
0
Let a be -3 - (-6)/2 - 5. Let x(j) = -j**3 - 6*j**2 - 6*j - 4. Let m be x(a). Solve 4*l + m = 3*v - 26, -2*v + 5*l = -25 for v.
5
Let t be (-4)/(4/2 - 4). Solve 0 = r - l + t - 3, -2*l - 3 = -3*r for r.
1
Let w(y) = 4*y**2 - 3*y + 4. Let s be 2/((-5)/(-3) - 1). Let z be w(s). Solve 0 = 2*a + 4*b - 22, -z = -5*a - b - b for a.
5
Let w(q) = q**2 + 6*q + 7. Let f = 7 + -12. Let o be w(f). Suppose u = 3*u + 4*g - 4, 3*u - o*g = 30. Solve -3*d + 2*r = u, -4*d = 5*r + 5 - 25 for d.
0
Let j(u) = u**2 - 4. Suppose -f - f = -3*v + 13, f + 14 = 4*v. Let a be j(v). Solve 0 = -a*k - 4 + 19, -o - 5*k + 13 = 0 for o.
-2
Suppose 4*v - 7 = 17. Let y be -2 + (0 - -2) + v. Let c be 24/9 + (-4)/y. Solve 0*p - 19 = -2*p + 3*t, 0 = p + t - c for p.
5
Suppose 7 - 3 = g. Suppose 0*n + 162 = 6*n. Suppose 4*k - n = -11. Solve -k*v + 6 = -y, 4*y + y = -g*v + 18 for y.
2
Let q(a) be the second derivative of a**3/6 + a**2 - a. Let k be q(3). Solve -k*w - 3*o = 26, w - o + 2 = -0*o for w.
-4
Suppose -4*g = 5*z - 59, g - 2 - 15 = z. Solve -4*w = -2*u - g, 0*w + 4*u - 8 = -2*w for w.
4
Let b(k) = k + 2. Let g be b(0). Suppose 0 = -g*p - 3*n - 0*n, 0 = -2*p + 3*n + 12. Solve -4*y + p*m + 32 = 0, 4 = 3*y + 5*m + 9 for y.
5
Let j(g) be the first derivative of -g**2/2 + 7*g + 6. Let v be j(7). Solve 8 = 4*b + 3*u - 20, -b + 4*u - 12 = v for b.
4
Let i(d) = -2*d**3 - 4*d**2 - 5*d - 5. Let j be i(-2). Solve -m - 5*z + z = -12, -j*z + 22 = 3*m for m.
4
Suppose 15*u - 12*u = 15. Solve -d + 5 = 3*b + b, u*b = -d + 7 for d.
-3
Let q = 11 - 8. Suppose q*b + 0*b = 0. Solve 0 = 5*v - 3*i + 34, b = v + 3*i - 5 + 1 for v.
-5
Let h be 1 + 6/(-2) + 12. Solve -3*a = 2*b - 25, 4*b - h = 4*a - 2*a for b.
5
Let o = 1 + 1. Su