0. Solve 0 = -2*s + u + 9 for s.
5
Let m = -32 - -23. Let b = m + 10. Suppose b = 5*h - 14. Solve -h*g = -6*g for g.
0
Suppose -2*b - x = -0*x - 2, 5*x - 10 = 4*b. Let v = -4 - -8. Suppose 0*j + 12 = v*j. Solve b*a = -j*a - 12 for a.
-4
Let c be ((-15)/(-4) - 4)*-12. Solve 4*v - c = v for v.
1
Suppose -5*g + 24 = -1. Suppose g*r - 14 = -4. Solve -4 = r*x - 0 for x.
-2
Let t = 7 - 2. Let z(r) = r**3 - 7*r**2 - 6*r - 12. Let h be z(8). Solve -t*y + 4*y = h for y.
-4
Let w(z) = -z**2 + 7*z. Let t be w(6). Suppose -5*q = 3*f - 26, -3*q + f = -4*q + t. Let m be (0 + q)*(1 - 0). Solve -m*l + 6 = -l for l.
2
Suppose -c - 4 = 4. Suppose 2*s + 2*s + 24 = 0. Let y = s - c. Solve -4*m - y = 2 for m.
-1
Let r = -15 - -23. Let w = 1 + 2. Suppose -w*k + 10 + 2 = 0. Solve 0 = r*p - k*p - 12 for p.
3
Let w(d) = -8*d**2 + 6*d - 7. Let u(r) = -r + 1. Let x(k) = 6*u(k) + w(k). Let s be x(1). Let y = s - -19. Solve -2*l - y = 3*l for l.
-2
Suppose -11*u = -56 - 76. Solve 3*i - u = -0*i for i.
4
Let r = -11 - -11. Suppose 11*q - 10*q = r. Solve 7*m - 2*m = q for m.
0
Let g(f) = f + 25. Let i be g(-13). Solve -i = 4*w + 8 for w.
-5
Let j = -21 + 26. Solve -j = 2*b + 3 for b.
-4
Suppose -4*p + 3*p + 2 = 0. Suppose 5*a - w - 2*w = -3, 3*a + 5*w - 5 = 0. Solve 0 = p*b - a*b + 10 for b.
-5
Suppose 178 = 5*v + d - 4*d, -40 = -v + 5*d. Suppose 153 = 5*t - 3*a - v, -2*t + 3*a + 77 = 0. Solve 12 = 5*i + t for i.
-5
Let r = 9 - -4. Suppose f + 44 = -5*x, 3*x + f = 2*f - 28. Let c(p) = p + 12. Let d be c(x). Solve -d*g = 1 - r for g.
4
Let w(i) = i - 6. Let f(o) = -2*o + 11. Let d(c) = 4*f(c) + 7*w(c). Let v be d(2). Solve m + 5 - 2 = v for m.
-3
Suppose -5*s + 16 - 1 = -3*o, -5*s - o = -15. Suppose 5*v - s*v = 5*r - 10, 3*v + 2*r - 23 = 0. Solve -v*c - 19 = -4 for c.
-3
Let s(i) = i - 7. Let v be s(9). Solve -v*j + 6 = -0*j for j.
3
Suppose 85 = 4*m - 3*l, 5*m - 3*l - 145 = -7*l. Suppose -m + 9 = -4*w. Suppose 21 = 2*n + 3. Solve -10 = -n*a + w*a for a.
2
Let a(k) = k**2 - 9*k + 15. Let h be a(10). Suppose -u = -6*u + h. Solve u = b - 0*b for b.
5
Let a(p) = -p**3 + 8*p**2 + 2. Let j = 24 + -16. Let u be a(j). Let s be (u/2)/((-2)/(-4)). Solve -2*v - 16 = s*v for v.
-4
Let p = -14 + 17. Suppose -s + 3*c + 1 = -2*s, 0 = 2*s - 2*c + 10. Let o(v) = v**2 + 4*v + 2. Let x be o(s). Solve -p*y + 10 = -x for y.
4
Let x(c) = 3*c**2. Let d = -1 + 0. Let q be x(d). Suppose q*i = i + 10. Solve -i*r = -0*r + 15 for r.
-3
Let h be -2*(2 - (-51)/(-6)). Let g = h + -9. Suppose -g*s + 8 = -0*s. Solve m = -0*m - s for m.
-2
Let q(p) = -3 + 2 + p - 6. Let k be q(5). Let d = k - -2. Solve d*m - 2*m = 8 for m.
-4
Let r be 4/18 - 86/(-18). Solve -r*j - 10 = -0*j for j.
-2
Let h = 5 - 2. Let v = 11 - 15. Let n(l) = l**2. Let k be n(v). Solve -k + 1 = -h*t for t.
5
Suppose -4*o = 4*j - 84, -j + 0*j = 3*o - 21. Suppose -k = -0*c + 4*c - 23, -c + 5 = 0. Suppose 0*u + k*u - j = 0. Solve 0 = 2*f - u - 3 for f.
5
Let k(f) = f**2 - f. Let l(p) = -p**3 - 13*p**2. Let t be l(-13). Let y be k(t). Solve y = -a - 2*a for a.
0
Let f(s) = -3*s - 9. Let g be f(-4). Solve 0 = 2*q + g*q - 5 for q.
1
Let p = 38 - 38. Solve v + 1 + 0 = p for v.
-1
Let y = -9 + 15. Let r = 8 - y. Solve -r*s = -4 - 0 for s.
2
Let t = 4 + 8. Solve -4*u = -0*u + t for u.
-3
Suppose 3*d = -4*i + d + 22, 0 = 3*i - 4*d. Let l be (-1)/(-3) + 5/(-15). Solve l*g = -i*g for g.
0
Let d(s) = -s. Let i = -5 - -5. Let a be i*((-3)/2 - -1). Let u be d(a). Solve b + 4*b = u for b.
0
Let v be 3/(-6)*0/(-3 - 0). Solve 3*t + 0*t + 6 = v for t.
-2
Suppose -4*y + 12 + 16 = 0. Suppose -5*h + y = -4*b + 2, -b - 4*h + 4 = 0. Solve b = s - 1 - 4 for s.
5
Suppose -2*q - 3*q + 20 = 0. Suppose -7 = -q*u + 5, 1 = 2*i - u. Solve 8 = -2*v - i*v for v.
-2
Let x be (0 - -2)*56/16. Solve -2*o = -x*o + 15 for o.
3
Let p = -8 - -2. Let z(d) = 5*d**2 + 5*d - 2 - 1 - 4*d**2 + 1. Let h be z(p). Solve -4*c - h + 0 = 0 for c.
-1
Let h be (-32)/(-4) - 8*(-2)/(-4). Solve -12 = -h*m - 0 for m.
3
Let f(u) = -u**3 + 9*u**2 - 7*u - 5. Let v be f(8). Suppose -4*m - v*l + 5 + 35 = 0, -3*m + 5*l = -30. Solve 2*d - 7*d = m for d.
-2
Let n = 39 - 39. Solve n = -3*y - 0*y for y.
0
Suppose -3*u + 18 = 3*l, -3*u + 2*l - 6*l + 21 = 0. Let i = 6 - 4. Let w be ((-4)/5)/(i/(-35)). Solve u*b + w = -1 for b.
-5
Let m = -19 + 17. Let d be (-3 + 2 - m) + 6. Solve 3*s = d*s - 4 for s.
1
Let s be -4*-2*1/2. Solve 0 = s*u - 4 for u.
1
Let u be (-2 + (-1 - -2))*-3. Suppose 0*h = u*h - 9. Let i be 4 - 1 - 0/2. Solve -3*l = h + i for l.
-2
Suppose 44 = 5*t - 56. Suppose 7*d - 3*d = t. Solve 5*o - 10 = d for o.
3
Suppose -3*w - 2*h + 15 + 1 = 0, 3*h = -4*w + 23. Solve 0 = -3*y + w*y - 2 for y.
-2
Let z(g) be the second derivative of 0 + 1/6*g**3 + 2*g + 1/3*g**4 - 1/2*g**2 - 1/20*g**5. Let u be z(2). Solve -4*c + u*c + 25 = 0 for c.
-5
Suppose -4*u + 4*b + 12 = -2*u, -2*u - 2*b + 6 = 0. Solve -z = -u*z for z.
0
Suppose -60 = -0*r + 2*r. Let i = r + 50. Solve -2*v + i = 2*v for v.
5
Suppose -4*l - 20 = -9*l. Solve a = 3*a - l for a.
2
Let a = -46 + 46. Solve a = y - 0*y for y.
0
Let c be (8/(-10) + 2)*5. Solve d + c - 2 = 0 for d.
-4
Let y(h) = -h**3 - 5*h**2 - 2*h. Let o be y(-5). Let f = o + -7. Solve -3 = -f*p - 0*p for p.
1
Suppose -3*m - c = 0, -5*m = c + 3*c. Solve m = -h + 6 - 1 for h.
5
Let b be (-3 - -4)/3*63. Let t = 25 - b. Solve -4 = -3*m + t*m for m.
-4
Suppose -72 = 5*b + 4*k - 193, k + 51 = 2*b. Suppose v = 6*v - b. Suppose 4*u - 21 = -v. Solve -3*i - u = -i for i.
-2
Let r be ((-6)/(-4))/(5/(-10)). Let d = r - -22. Solve 1 = 4*l - d for l.
5
Suppose 5*g + 4*z = 92, g - 4*z = 29 - 1. Solve -4*d + 4 = g for d.
-4
Suppose 0 = 10*p + 9*p - 76. Solve c + p*c - 20 = 0 for c.
4
Let a be (-24)/(-10) - (-2)/(-5). Let k(d) = 2*d + 17. Let w be k(-6). Solve a*l - w = l for l.
5
Let d = 43 - 40. Solve -8 = n - d*n for n.
4
Suppose -v + 6 = c, 0*c - 4*c = 3*v - 22. Suppose 0*m - 15 = -5*m. Suppose 3*d = c*j - 11, -2*d = d + m. Solve 4*i = j*i - 10 for i.
-5
Suppose -11 = 2*s - 27. Solve -s = -f - 3*f for f.
2
Suppose -2*q = 3*y - 14, 22 - 10 = -2*y + 4*q. Suppose -5*s - y + 12 = 0. Solve -7 - 1 = -s*i for i.
4
Let u(n) = -n**3 + 3*n**2 - 2*n + 2. Let i be u(2). Suppose 0*v - 30 = -2*v. Solve -o = i*o - v for o.
5
Suppose 4*z - 3 - 5 = 0. Let y be 0 - 2/(-2) - z. Let s be 2*((-1)/y + 1). Solve s*g = 2*g for g.
0
Let c(z) = 5*z**3 + 2*z**2 - 2*z - 5. Let b(r) = 6*r**3 + 3*r**2 - 2*r - 6. Let w(p) = 4*b(p) - 5*c(p). Let h be w(-1). Solve -l - h = 1 for l.
-3
Suppose 3*t = 8 - 2. Suppose 0 = 4*z + z. Let d be -1 + 3 - (21 - 21). Solve z = -d*n - 4 + t for n.
-1
Let l(w) = w + 18. Let s be l(-9). Solve 6 = -3*p - s for p.
-5
Let n(i) = -i**3 + 4*i**2 - i + 2. Let p be n(4). Let l be p/(-4) - 26/(-4). Solve -2*y + l*y - 5 = 0 for y.
1
Let l = 96 + -94. Solve -l*p = -10 - 0 for p.
5
Suppose -4*c = -6*t + t + 16, -3*t + 10 = -2*c. Solve 0 = r - 0*r + c for r.
-1
Let z = -4 + 7. Suppose -2*c + 18 = -a + z, c + 10 = -3*a. Solve 0 = -c*t + t - 8 for t.
-2
Let h be (1 + -4 + 3)*(-1)/3. Solve h = -3*g - 2*g for g.
0
Suppose 10 = 5*p - 0*p. Solve 2*i = 12 - p for i.
5
Let z(j) = j. Let m be z(5). Suppose i - 6*i = -2*k - 14, 0 = -5*k + m*i - 5. Suppose -5*s - 6 + 1 = -k*l, -2*l - 5*s = 5. Solve w + w - 10 = l for w.
5
Suppose 2*j = 4*h + 112, -j + 4*h + 32 = 8*h. Suppose -j + 0 = -4*w. Solve -c = -5*c - w for c.
-3
Let h(m) = -m**3 - 7*m**2 - 2*m - 10. Let v be h(-7). Suppose -3*j - 4 = -16. Suppose -4*d - j = -z, -v*d + 5*z - 20 = -0*z. Solve d = 4*c + 8 + 12 for c.
-5
Let l be (-36)/(-8) + 3/(-6). Solve -l*r - 20 = -0 for r.
-5
Let k(q) = 3*q + 10. Let z be k(-3). Solve h = -z + 5 for h.
4
Suppose -2*i = 3*u - 9, -i - 3*i = 2*u - 14. Solve -i = l + 2*l for l.
-1
Suppose -2*b + 4*a = -15 - 15, 2*b + a = 5. Solve -32 = -b*o - 7 for o.
5
Let h = -17 + 20. Solve 1 = -n - h for n.
-4
Let j(d) = -d**2 + d. Let x be j(1). Solve 0*t - t + 5 = x for t.
5
Let j(k) = -k**3 + 5*k**2 + 2*k - 4. Let b be j(5). Suppose b*s - 3*s = 36. Solve 0 = -0*z + 3*z - s for z.
4
Let w be (1 + -4)/(24/(-32)). Suppose 2 = -4*r + 2*b, -3*r = -0*r - 3*b - 3. Let m = -2 - r. Solve m*n - 4*n - w = 0 for n.
-1
Let g = -4 - -6. Let u(a) be the first derivative of -a**4/4 - 2*a**3/3 + a**2/2 - 4*a - 1. Let q be u(-3). Solve q*y = -g*y + 8 f