 Let w be s(1). Solve f = 5*f - w for f.
3
Let y be (-4)/((-16)/(-12)) - 14. Let p = 20 + y. Solve -n + 5 - p = 0 for n.
2
Suppose -4*b - 28 = -3*g, 2*g + 5 - 23 = 3*b. Let a be 2 + -4 - g/(-6). Solve -f - 5 + 3 = a for f.
-2
Let c = -13 + 18. Suppose -4*f - 34 = 2*u - 52, -4*u = -3*f + 41. Solve -13 = -c*l + f for l.
4
Let a = 6 + -3. Suppose -4*j = -j - a. Let k be (1 + -2)/(j - 2). Solve -2*x - 3 = -k for x.
-1
Suppose -5 = -3*b + 10. Let y(n) = 5 - 2*n - 6 + 4*n + 3*n**2. Let x be y(1). Solve 4*h - b*h - x = 0 for h.
-4
Let d = -43 - -61. Suppose -116 = -4*p - 5*t, 4*p = -t - 0*t + 100. Suppose 3*c + 5*s - p = 0, -4*c = c - 5*s. Solve c*r - d = -3 for r.
5
Let c be (-5)/(-10) + (-1)/2. Solve c = 3*g - g + 10 for g.
-5
Let k(h) = -h**3 - 5*h**2 + h + 7. Let r be k(-5). Let q be r/7 + 12/7. Solve 3*v - q = -8 for v.
-2
Let i = -4 + 6. Let t be (-2)/4*(i + -2). Suppose 0 = -t*w + 5*w. Solve -10 + w = 5*x for x.
-2
Let x be (75/20 - 2) + 2/8. Solve 5 - 7 = x*s for s.
-1
Let i(h) be the first derivative of -h**4/4 - 2*h**3 - 5*h**2/2 + 2*h + 2. Let u be i(-5). Suppose -4*c + 16 = -u*s, -s + 5*c = 13 + 10. Solve 4*w = s*w for w.
0
Suppose -b + 2 = 2*l, 2*b + 11 = l - 0*b. Solve 0 = -4*x - 9 - l for x.
-3
Let q be 1 + 0 + 3 - 1. Let o = 1 + 1. Suppose 21 = o*w + 3. Solve 2*x = w - q for x.
3
Suppose -2*i + 18 - 10 = 0. Solve 3*a = i + 11 for a.
5
Suppose 3*q = -0*q - 3, 0 = -3*k + q + 10. Solve k*v - 8*v - 25 = 0 for v.
-5
Let x(s) = s**2 - 2. Let u be x(5). Let g(l) = -l**3 + 9*l**2 - l + 12. Let n be g(9). Suppose u - 5 = 3*j - k, 0 = -n*j - k + 12. Solve 0*d + j*d = -20 for d.
-4
Let n(h) = h**2 - 9*h + 14. Let x be n(7). Solve x = -0*m + 5*m + 5 for m.
-1
Suppose i - o = 4*o + 21, o + 27 = 4*i. Suppose -y + 3*y + 3*d = -i, 3*d = 5*y + 15. Let j be ((-1)/y)/((-1)/(-3)). Solve 5*u - 4 = j for u.
1
Let f(t) = -t**2 + 5*t - 2. Suppose -5*j = -0*j - 15. Let c be f(j). Solve 0 = 2*p + c - 2 for p.
-1
Let p(y) = y + 7. Let o be p(-8). Let q(x) = x. Let b(d) = -d**3 + 8*d**2 - 7*d - 7. Let r(u) = o*b(u) - q(u). Let c be r(7). Solve 2*a + c*a = 0 for a.
0
Suppose -4*b = 5 - 17. Solve b*v - 17 = -2 for v.
5
Let w = -12 + 16. Solve -w*c + 11 = -5 for c.
4
Let c(j) = j + 8. Let s be c(-4). Solve s = -4*k + 6*k for k.
2
Let l(j) = -2*j - 2. Let k be l(-2). Let d(a) = a**3 + 9*a**2 + 8*a + 3. Let v be d(-8). Solve v = k*u + u for u.
1
Let l = 86 - 81. Solve 0 = -l*p + 11 + 9 for p.
4
Let z = -37 - -37. Solve 0*h + 2*h + 8 = z for h.
-4
Suppose -12*q = -8*q - 20. Solve -q = r - 0*r for r.
-5
Let d(k) be the second derivative of 2*k**3/3 - k**2/2 - k. Let v be d(1). Solve 5*z = v + 12 for z.
3
Let c = 0 - -1. Solve 3 + c = -4*i for i.
-1
Let y(w) = -w**2 - 6*w + 5. Let p be y(-5). Let b = -6 + p. Solve 3*x - 5*x + b = 0 for x.
2
Let v(k) = -k - 3. Let n be v(-3). Solve n = 2*z - 6 for z.
3
Let k(o) = -o + 1. Let d(q) = -4*q**2 - 2*q + 3. Let p(a) = -d(a) + 3*k(a). Let w be (2 + -1)/1 - 2. Let l be p(w). Solve -1 = l*h - 21 for h.
4
Suppose 2*z + 3*t - 12 = 0, 3*z - t = 8*z - 30. Solve 2*d - 4*d = z for d.
-3
Let d(y) = 3*y - 9. Let q be d(4). Solve x + 2 - q = 0 for x.
1
Suppose y = 2*y - 6. Let r = y + -6. Let l = -8 + 14. Solve r = -4*j + 10 + l for j.
4
Let a be (0/(2 + -1))/(-2). Solve a = 5*l - 0 - 15 for l.
3
Let i = -35 - -53. Let k = i - 14. Solve -5 + 1 = -k*y for y.
1
Let m be (36/5)/((-1)/(-5)). Let w = m - 24. Let a be (-1)/3 + (-21)/(-9). Solve -w = -o - a*o for o.
4
Let h(o) = -2*o**2 + 2*o - 4. Let z(t) = t**2 - t + 1. Let y(g) = h(g) + 3*z(g). Let j be y(2). Let f = 2 - j. Solve -f = x - 4 for x.
3
Let n = -50 - -54. Solve -5*s + n = -21 for s.
5
Suppose 14*k = -2*k + 64. Let b = 11 + -5. Solve -k*x + b = -x for x.
2
Let y(p) = p**3 - 10*p**2 + 10*p. Let a be y(9). Let f = 12 - a. Suppose -16 = -u - 3*u. Solve f*v + v - u = 0 for v.
1
Let m = -7 - -14. Let r(u) = -u**3 - 5*u**2 + 2*u + 4. Let g be r(-5). Let c be (-1 - 1)/(g/9). Solve 2 + m = -c*i for i.
-3
Let a(y) = y**2 - 7*y + 3. Let j be a(7). Suppose 0 = -m + 1. Let b = m + 3. Solve j*o - b = o for o.
2
Let m(c) = -30*c**2 - c + 1. Let i be m(1). Let s be (-84)/i - (-1)/5. Solve n - 4*n - s = 0 for n.
-1
Suppose 0 = 4*d + 3*d. Solve -2*l + d*l = 6 for l.
-3
Let x = 1 + -5. Let b = -1 - x. Suppose 0 = -5*v + b*v. Solve 0 = -u - 4 - v for u.
-4
Let n = 4 - 0. Solve 0 = -0*j - j - n for j.
-4
Let g be (-21)/(-6)*(-8)/(-14). Suppose 5*x + 6*k - 91 = 2*k, -5*x - g*k = -83. Solve 0*s + 5*s - x = 0 for s.
3
Let q(o) = -o**2 + 12*o - 7. Let n be q(8). Solve 2*s + 3*s + n = 0 for s.
-5
Let f(k) = -1 - 3*k + 1 - k**2. Let q be f(-3). Suppose 0 = b + 2, b + 18 = -6*o + 10*o. Solve t - o = -q*t for t.
4
Suppose 7*v = -0*v + 2*v. Solve v = 5*i - 4*i - 1 for i.
1
Suppose -4*a + 8 = 4*j - 16, 0 = -5*j + a + 30. Let y(k) = -1 + j*k + 4*k + 0. Let m be y(1). Solve m + 0 = -3*q for q.
-3
Suppose 1 = -3*n + 5*p, 5*p = 3*n + n - 7. Suppose n*t = 3*t. Solve 0 = -t*x - x + 4 for x.
4
Suppose -5*v = -5 - 20. Suppose -l - 9 = -d, -d - v*l = -2*d + 17. Suppose d = 3*t - 5. Solve -t*w - 2 = 2 for w.
-1
Let w = 1 + -5. Let g = -3 - w. Suppose 0 = 5*o + g - 41. Solve -5*j - o = 12 for j.
-4
Suppose -2*h = 4*b, 4*h + 0*b = -4*b. Suppose h = 5*z - 7*z + 8. Solve -7 = z*x + 1 for x.
-2
Let r(n) = -n**2 - 8*n - 5. Let c be r(-5). Let y be (4 + -3)/(2/c). Suppose 0*x - y*x = 0. Solve 2*h - 3*h - 3 = x for h.
-3
Let m = -3 - 2. Let d be ((-1)/(-2))/(m/(-40)). Solve 0 = d*b + 4 for b.
-1
Let q = 105 + -100. Solve 7 = q*u + 2 for u.
1
Let n(k) = k + 6. Let c be n(-7). Let y = c + 1. Suppose x + x = y. Solve -2*g + 4*g = x for g.
0
Suppose 4*d = 10 + 22. Let n = d - 6. Solve -n*i - 15 = i for i.
-5
Suppose -4*g = -8*g + 12. Let z = 7 - g. Solve 0 = -z*u - 28 + 8 for u.
-5
Let v be (0 - 2/3)*(-252)/24. Solve 13 - v = 2*s for s.
3
Let t = 26 + -24. Let p = 0 + 0. Solve p = -z - t*z - 9 for z.
-3
Let i(q) = 2*q. Let w(n) = -n. Let p(s) = 4*i(s) + 9*w(s). Suppose -4*a - a = 0. Let j be p(a). Solve j*t + 4*t = -8 for t.
-2
Suppose -h - 3*s + 3 = -1, -3*s + 6 = 0. Let x be -2 + -1 + 7 + h. Solve -15 = x*v + v for v.
-5
Let a(o) = o + 12. Let l be a(-7). Suppose -l*b + 9 = -2*b. Solve 1 = b*x - 2 for x.
1
Let c = 20 + -11. Let r = c - 9. Solve 0*v + v = r for v.
0
Let m = 8 + -4. Suppose 2*c + 8 = 4*f + 24, 0 = -4*f - m. Solve 0*r + c = -3*r for r.
-2
Let y = -10 + 17. Suppose y*u - 2*u = 20. Solve u*l = -0*l for l.
0
Let x = 3 + -4. Let k be x/(-3) + 40/6. Solve 3*l = k*l - 16 for l.
4
Let l(d) = d**2 - 3*d - 6. Let h be l(5). Suppose x = -x + h. Let q be x*(0 - (-3)/6). Solve 0 = r + q + 3 for r.
-4
Let o = -7 + 4. Suppose -2*l - 11 = 3*q + 2, 2*l + 10 = -2*q. Let i = o - q. Solve i*b = 2*b for b.
0
Suppose 2*s - 3 = -2*r - s, -4*r = -2*s - 30. Solve -u + r = -3*u for u.
-3
Let g = -28 - -40. Let m(a) = -a + 16. Let d be m(g). Solve d + 0 = -r for r.
-4
Suppose 0 = -b - 5*g + 21, -3*b - b + 2*g = 4. Solve 2*v = b + 1 for v.
1
Let v(a) = a**3 - 5*a**2 + 6*a - 4. Let j be v(4). Suppose -j*r + 8 + 19 = -3*q, -r = -q - 8. Solve 2*b = b + r for b.
3
Let x be (-2)/(-8) + (-30)/(-8). Let h be (-3 + 3)*2/(-4). Let b(n) = -n**2 - 5*n + 8. Let p be b(-6). Solve h = x*d - 2 - p for d.
1
Suppose -90 = -7*x + x. Solve 4*q + 1 = -x for q.
-4
Suppose 5*g - 5*s + 0*s = -15, 4*g + 4*s - 12 = 0. Solve u + 6 - 1 = g for u.
-5
Let x be (2 + -2 + 4)*(-6)/(-4). Solve -6*a - x = -9*a for a.
2
Let g(v) = 5*v - 10*v**2 - 7*v**2 + 16*v**2 - 2. Let s be g(4). Suppose 2*l = -0*l. Solve -j - s = -l for j.
-2
Suppose -20 = -2*h + 8. Suppose 5*q - 5*o = 4 - 14, -h = q - 5*o. Let b = -617 - -621. Solve -3*i = -b*i + q for i.
1
Suppose -7*g - 2 = -16. Let w(v) = v**3 - 6*v**2 - 7*v. Let z be w(7). Solve -2 + z = g*n for n.
-1
Let i = 44 + -29. Solve 4*z + z = -i for z.
-3
Let d be -2*(-1)/(-1) - (-91)/13. Solve 0*v - d*v = 0 for v.
0
Let z be (6/8)/((-12)/(-32)). Let x be (-6)/z*(4 + -5). Solve -2*p = -3*p - x for p.
-3
Let y be 1 + 35 + -2 + 1. Let h = 10 + y. Suppose h = 5*v - 0*v. Solve -3 = 3*w + v for w.
-4
Let t be 6*(-45)/(-6) - 0. Let f be (0 - -1)/(5/t). Suppose 8 = 2*q + i - f, 30 = 3*q - 3*i. Solve -3*w - 3 = q for w.
-4
Let y = 30 + -24. Suppose -14 = -y*o - 2. Solve 0 = o*h - h - 4 for h.
4
Let n be (((-6)/(-2))/6 - 3)*-2. Solve 2*a - a + n =