 - 4. Solve 2*h - j = -5 for h.
-2
Let i(q) = 3*q**2 + 4*q + 2. Let h be i(-2). Solve h*z = 4*z + 10 for z.
5
Let z(p) = -6*p**3 - p**2 - p - 1. Let d be z(-1). Suppose -d*y + 25 = 0, -3*b - 4*y = -53 + 15. Solve -b*n + 2*n - 8 = 0 for n.
-2
Suppose -4*r = -78 - 78. Suppose -r + 11 = -4*f. Let k be (-2)/f - 37/(-7). Solve 0 = 5*g - k - 20 for g.
5
Suppose 3*y + r = -0*r + 10, -3*y = -r - 20. Solve -5*b + y = -0*b for b.
1
Suppose k - 6 = 1. Suppose -3*d + k = -29. Suppose 4*h = h + d. Solve 0 = -2*m + m + h for m.
4
Suppose -2*i + 19 - 17 = 0. Solve 2*k + i = 3 for k.
1
Let d(f) = 8*f - 48. Let g be d(7). Solve 6*b = 2*b - g for b.
-2
Let n(h) = 5*h**2 + 3*h + 2. Let y be n(-1). Solve y*j = -0*j - 4 for j.
-1
Let h be (2*-1)/(4/6). Let w be (-2)/(-6) - 59/h. Solve 3*m - 8 = -w for m.
-4
Let w(o) = -3*o**3 + 3*o**2 - 2*o + 8. Let n(t) = -5*t**3 + 5*t**2 - 3*t + 12. Let m(b) = -5*n(b) + 8*w(b). Let y be m(0). Solve -c = y*c + 15 for c.
-3
Let b(x) = x**3 + 7*x**2 + 6*x + 5. Let a be b(-6). Suppose 0 = -4*r + a*t + 17, -2*t + 7*t + 2 = -r. Solve r*u + 3 = -9 for u.
-4
Let b(i) = i - 5. Let j be b(5). Let u = j + 3. Solve -u*q + 0 = -6 for q.
2
Let w(t) = 2*t**2 + t**2 - t**3 + 3 - 2*t + t**2. Let c be w(3). Suppose -q + 0 + 2 = 0. Solve q*n - c*n + 4 = 0 for n.
1
Let y be 34/(-9) - (-16)/(-72). Let b(x) = x**2 + 4*x + 5. Let i be b(y). Solve n - i = -1 for n.
4
Suppose -9 = -2*t + 1. Suppose -2*d - 3*d + t*p = 5, 0 = 2*d + 3*p - 23. Solve -d*a - 1 = 15 for a.
-4
Let t be -2 - (0/2 + -4). Let p(v) = v**3 - 2*v**2 + 2*v - 2. Let u be p(t). Solve 1 = -u*q + 3 for q.
1
Let w(s) = -s**3 - s**2 - s + s**2. Let u be w(-2). Solve -u = 2*c + 3*c for c.
-2
Let z(k) = k + 5. Let f be z(-3). Suppose -5*t = -3*b + 2*b, -3*b = 4*t. Solve f*a = -t - 4 for a.
-2
Suppose 4*u - 27 = -7. Solve c = u*c for c.
0
Let j be 2/(-13) - ((-30)/26 - -1). Solve 6 = -j*r - 3*r for r.
-2
Let b(l) = -l**3 - 15*l**2 - 28*l - 18. Let m be b(-13). Solve 0 = -4*y - 0*y + m for y.
2
Suppose -2*y + 5 = -y. Solve -17*v - y = -16*v for v.
-5
Let q be (-1 - 0) + 2 - (-3 - 0). Solve 0*x = q*x for x.
0
Suppose -4*a + 1 = -19. Solve -a*u + 10*u = -15 for u.
-3
Let g(n) = 3*n - 39. Let f(y) = -y + 13. Let j(o) = -17*f(o) - 6*g(o). Let b be j(9). Solve 0 = -b*i + 9 + 3 for i.
3
Let k = 5 - 20. Let r = -11 - k. Solve 1 = 5*m - r for m.
1
Suppose -4*b - 4*m - 4 = 0, 4*b = 2*m + 2*m - 20. Let q = b - -5. Let z be (-68)/(-8) + q/4. Solve 2*k + 1 = -z for k.
-5
Suppose -5*r = -4*j - 17, -j - r - 3 = -2*r. Solve 6*b = j*b + 8 for b.
2
Let m(c) = -5*c**2 + 4*c**2 - 8 + 4*c + 2*c**2. Let g be m(-6). Solve -x = g*x - 5 for x.
1
Let b(m) = 2*m**2 - 4*m - 1. Let x be b(4). Suppose 0 = 5*r - x. Solve -4*q = r + 1 for q.
-1
Let t = 17 - 12. Let v be t/1 - (2 + -3). Solve v = 3*m - m for m.
3
Suppose 5*u = 2*u + 12. Suppose -k = u*k - 15. Suppose -4*p - 8 = -k*p + 4*b, 6 = 3*p + 2*b. Solve 0 = -0*o + p*o + 16 for o.
-4
Let y be (-8)/(-2) + 4/(-4). Let x(b) = b**3 - 4*b**2 + 3*b + 3. Let k be x(y). Solve -6 = k*s - 0 for s.
-2
Let a be 7/((-14)/6) - -3. Solve 0*s - 2*s = a for s.
0
Let y(z) = z**3 + 3. Let u be y(0). Suppose 9*c + u*k - 8 = 4*c, -2*c = 2*k. Let a(b) = b**2. Let m be a(0). Solve -t = -c - m for t.
4
Suppose -12 = 4*q - 2*x, 2*x = -0*x - 4. Let f = 1 - q. Let s(j) = 12*j**3 + 2*j**2 + j - 3. Let z be s(1). Solve -h + f*h - z = 0 for h.
3
Suppose 5*x + 13 = 73. Let t be (8/(-3))/((-8)/x). Solve t*r - 2 = 6 for r.
2
Suppose 2*x = 6*x - 12. Solve x*g - 6 = g for g.
3
Suppose 4*w = 3*w + 3. Solve x - w = -2*x for x.
1
Suppose 2*j - 3*v - 5 = -0*j, 5*j + 3*v - 65 = 0. Suppose -p + 5 = -2*w, 8*w - j = 3*w - 2*p. Solve c + 6 - 1 = w for c.
-5
Let b(o) be the third derivative of o**5/12 + o**4/24 + o**3/3 - 4*o**2. Let n be b(-1). Solve 0 = -0*x + 3*x - n for x.
2
Let j(m) = -m**2 - 5*m - 2. Let k be j(-4). Suppose -2*n = 7*n - 18. Let d = k - n. Solve 3*g + 6 + 3 = d for g.
-3
Let t(f) = f**3 - 3*f**2 - 4*f + 1. Let k be t(4). Solve 3*y = 10 - k for y.
3
Suppose 0 = 4*c - 2*o - 38, -2*o = 3*c - 4*c + 14. Let a = -110 + 159. Let d = a + -37. Solve -d - c = -5*l for l.
4
Let t(h) = h + 2. Let g be t(3). Suppose 2*m + 8 + 7 = g*y, 2*m - 35 = -5*y. Solve -y*u + 0*u = 15 for u.
-3
Let w(l) = l - 11. Let b(u) = 2*u - 23. Let z(h) = -3*b(h) + 7*w(h). Let a be z(8). Let s be 1*(-5)/(a - 1). Solve 13 - s = -4*f for f.
-2
Suppose z = -5*x + 31 - 4, -9 = 3*z - 3*x. Solve -13 = -3*t + z for t.
5
Let l = 24 + -22. Solve -l*q = -3*q for q.
0
Let x(k) be the second derivative of -k**5/20 - k**4/12 + k. Let u be x(0). Suppose -4*r + 18 - 6 = u. Solve -h - r*h = -8 for h.
2
Let q = -19 + 22. Solve 0 = -0*c - q*c for c.
0
Suppose 0 = -i - 5*i. Suppose 0 = a - i*a - 3. Solve 5 = a*f - 1 for f.
2
Let r(d) = -d**3 + 14*d**2 + 15*d + 4. Let h be r(15). Solve -3*x + 5 = -h for x.
3
Let z = -65 - -67. Solve -z*k - 25 = -7*k for k.
5
Suppose 5*t + 35 = -0*t. Let w(k) = -k**2 - 11*k - 4. Let j be w(t). Solve 5*p - 1 = j for p.
5
Suppose 2*l = 4*l - 26. Let v = -3 + l. Let c be (14/5)/(2/v). Solve 6 = -4*i - c for i.
-5
Let t be (0 + 3)*(-13)/(-3). Let b be (24/(-9))/(-4)*9. Let u = 8 - b. Solve 5*p - t = u for p.
3
Suppose 0 = a - 3*h - 14, 2*a - 4*h + 2 - 34 = 0. Solve -2*t - 3*t + a = 0 for t.
4
Let i be (-40)/(-7) - 18/(-63). Let p = -3 + i. Suppose -2*j = -p*j + 11. Solve 4*n + 1 = -j for n.
-3
Let v be (4/((-18)/(-9)))/(1 - 0). Let t be (-1 + 2 + 0)*2. Solve 4*l - v = t*l for l.
1
Let p(y) = 2*y**2. Let z be p(3). Let q = z - 14. Solve -g = g + q for g.
-2
Suppose 2*h - h + 4*m - 18 = 0, 5*h - 2 = 2*m. Suppose 0 = -0*o + h*o, -r + o = 0. Suppose -s + r = -2. Solve -4*v - 2 = s for v.
-1
Let z be 6/2*8/12. Suppose -m = -z*v + 6, -m + 0*v - 3*v = -19. Suppose y - 3 = -3*s, -y + 5*s + 19 = -0. Solve m - y = q for q.
-5
Suppose -4*a - 4 + 32 = 0. Let z = 14 - a. Suppose 10 = 3*p + 4*r, r + 0 = 4*p - 7. Solve -1 = -p*f + z for f.
4
Let b(j) be the first derivative of j**2/2 + 4*j + 15. Let v(a) = -a**3 - 4*a**2 - 4. Let q be v(-4). Let g be b(q). Solve g*k + 4*k = 4 for k.
1
Let j be -1*(-3 + 0 - -3). Suppose 5*v = -j*v. Solve v*x = -2*x for x.
0
Let w(t) = -2*t**2 - 5*t - 1. Let j(r) = 5*r**2 + 15*r + 4. Let a(k) = -3*j(k) - 8*w(k). Let v be a(6). Solve -l = v*l for l.
0
Suppose -h = 2*h + 3. Let r(j) = -2*j. Let u be r(h). Suppose 5*x = 5 - 0. Solve u*a = 3*a - x for a.
1
Let a(t) = t - 8. Let k be a(10). Suppose -3*v + 5 = -k*v. Let q be (8 - v) + (-1 - 1). Solve -7 = 2*w - q for w.
-3
Suppose -41 = -5*m + 69. Solve -3*a - m = -7 for a.
-5
Let r(f) = -f + 3. Let t be r(2). Solve -3 - t = -4*j for j.
1
Let s be 7 - (7 + (-1 - 3)). Solve 2*n + 0*n - s = 0 for n.
2
Let c be 3 - (0 - (3 + -3)). Solve -c*o = -2*o - 1 for o.
1
Let j = -2 - -5. Suppose 11 = j*c + 2*b, 0 = -3*c - b + 3*b + 31. Solve -5*x - c = -2 for x.
-1
Let b(p) = -2*p**2 - 47*p + 18. Let v be b(-24). Let n(y) = y**3 + 5*y**2 - y + 3. Let i be n(-5). Let t = i + v. Solve 0 = -c - 7 + t for c.
-5
Let i(k) = k. Suppose -2*n - 17 = 5*m, -n = -0*n + 3*m + 11. Let a be i(n). Solve -a*r + 25 = r for r.
5
Let d = 16 - 16. Solve d = -m + 4 - 5 for m.
-1
Let k(d) = -2*d - 9. Let c be k(-7). Let j be 285/25 + (-6)/(-10). Let t be (-4)/(-6) + 64/j. Solve -u + t*u = -c for u.
-1
Let q(n) = 2*n**2 - n - 2. Let o be q(2). Suppose o*s + k - 27 = -7, 5*s - 5*k = 0. Let r be 0*((-14)/s + 3). Solve r = -6*f + f for f.
0
Let y be (0 + 3)/((-3)/(-3)). Suppose 5 = -2*o + 4*b - y, -o = -b + 1. Solve -a + o*a - 3 = 0 for a.
3
Let j = -6 + 6. Suppose v + 0*v = j. Solve -20 = 5*r - v for r.
-4
Let f(k) = -k**3 - 12*k**2 + 12*k - 8. Let u be f(-13). Solve 0 = u*v - 5 for v.
1
Suppose -5*k = 4*c - 6, 4*c - 5*k - 11 = 15. Solve 0 = -b + 3*b + c for b.
-2
Let w = -11 + 11. Solve w*l = -l - 4 for l.
-4
Let f = -20 + 22. Solve 12 = f*l + 2*l for l.
3
Let f be 99/15 + (-6)/(-15). Let s be 16/20*-1*5. Let c = f + s. Solve -2*t + 2 = -c*t for t.
-2
Let j(l) = -l**3 - 5*l**2 - 2*l - 5. Let b be j(-5). Solve k - 8 = b*k for k.
-2
Let m(p) = 3*p - 104. Let a be m(35). Solve 4*v - 13 = -a for v.
3
Let o = -3 + -1. Let s be 0 + (0 + -1 - o). Suppose 0 = -v - s*v. Solve v = p - 5 - 0 for p.
5
Let u be -1*(2 + 0) - 1. Let z be ((-2)/u)/((-2)/(-15)). Solve 3 + 2 = -z*p for p.
-1
Suppose u + 3 = 