 h = 106 + -70. Suppose h = -r + 5*r. Solve -4*i = -7 - r for i.
4
Let v(g) be the first derivative of -g**4/24 + g**3/6 + g**2/2 - 2. Let f(l) be the second derivative of v(l). Let t be f(0). Solve 0 = -b + t + 2 for b.
3
Let i be (-1 - 3/(-6))*4. Let w be 0*(-1 + (-1)/i). Solve w = 4*q - 5*q - 4 for q.
-4
Let m(i) = -3*i**3 + 1. Let h be m(-1). Suppose -5*j + 11 = 31, -d - 4*j - h = 0. Suppose -2*c + 4*s + 2 = d, 3*s - 15 = -c. Solve 5*b - c*b - 4 = 0 for b.
2
Let a(g) = -g**3 + 4*g**2 + g - 3. Let v be a(3). Solve 11 + v = 4*s for s.
5
Let p = -3 + 5. Let q = 4 - 4. Solve q = -o - o + p for o.
1
Let u be 12/72 + (-101)/(-6). Let d = u - 13. Solve t + d = 2*t for t.
4
Suppose 0 = -5*t + 10*t. Suppose -z + m = -t*z - 4, -m = -4*z + 7. Solve 0 - z = g for g.
-1
Let k(m) = 6*m - 2. Let v be k(1). Solve v*f + 8 = -12 for f.
-5
Suppose 3*y + 7 = w, 8 = 2*w - 3*y - 6. Let b(v) = -v**3 + 7*v**2 + 2*v - 4. Let s be b(w). Let o = s + 0. Solve o = 2*l - 0 for l.
5
Suppose 0 = 3*i + n + 3*n - 13, -3*i - 5*n + 14 = 0. Solve -2*l - i = -l for l.
-3
Let k be ((-5)/(-10))/((-2)/(-12)). Solve k*a = -13 + 1 for a.
-4
Suppose 2*t - 5 = l, -5*l + 0*l + 20 = -t. Suppose 0 = -3*p - t - 10. Let g = -3 - p. Solve g*f = 4 + 2 for f.
3
Let p be ((-15)/(-9))/(1/9). Let x = 12 + -4. Solve -x*k = -3*k - p for k.
3
Suppose -5*s + 37 = 5*w + 12, w = -5*s + 13. Solve 8*x - w*x = 25 for x.
5
Let l = 4 + -6. Suppose 3 = -2*b + 3*b. Let h = l + b. Solve 3*s + h = -5 for s.
-2
Let b be (-40)/(-18) + 10/(-45). Let j be (1/b)/((-1)/(-2)). Solve -p = j - 5 for p.
4
Suppose -4*d + 2 = 2*a, 5*a + 21 - 8 = -d. Solve 3*j = d*j + 1 for j.
1
Let b be 1/(15/(-6)) - (-17)/5. Solve 5*u - b = -13 for u.
-2
Let r be (-18)/(-45) + (-246)/(-10). Solve -2*w - r = -7*w for w.
5
Suppose 95*h = 90*h + 80. Let s = 1 + -8. Let g = s + 11. Solve 0*u = -g*u - h for u.
-4
Suppose 3*v - 2 + 58 = 5*p, -2*p + 5*v = -30. Solve 7*b + 6 = p*b for b.
2
Let d(f) = f**2 - 5*f - 1. Let s be d(5). Let n be s + 2 + -2 + 2. Suppose g - 7 = 5*t + n, 4*g - 11 = -t. Solve 0 = -g*w - 3 for w.
-1
Suppose -2*m = m. Suppose m*z = -4*z. Solve -f - f = z for f.
0
Let h = 30 - 25. Solve 4*d = -d + h for d.
1
Let v = -2 + 2. Solve -1 = -o - v*o for o.
1
Suppose 2*g = 5*q - 2, 0 = 2*q - g - 4*g + 16. Solve 2*i - 4 = -q*i for i.
1
Suppose -s + 1 = -5*b - 11, 10 = 2*s - 3*b. Solve h = 3 + s for h.
5
Suppose -33*o = -31*o - 22. Solve -o = -4*j + 1 for j.
3
Let n(o) = -o**2 + 6*o. Let z be n(5). Let g be 519/27 + (-4)/18. Suppose -g*s = -17*s - 60. Solve -5*r + z - s = 0 for r.
-5
Suppose -8 = -3*t + 2*g, 3*g + 9 = 5*t - 2*t. Suppose 2*c - 14 = -k, -3*k + 10 = t*c - k. Solve 0 = 2*s - 5*s - c for s.
-3
Let o(g) = 8*g + 5. Let z(c) = 4*c + 3. Let f(y) = 4*o(y) - 7*z(y). Let a be f(3). Suppose 5*t - a = 9. Solve -2*w + 4*w = t for w.
2
Suppose -13 = -5*q + 12, -q + 10 = k. Suppose 0 = s + 3 - 2, k*s = -2*n + 9. Solve -n*g - 15 = -2*g for g.
-3
Suppose 0 = -3*y - 2*q + 3*q + 5, -3*q = 2*y - 7. Solve -x - y = x for x.
-1
Suppose 9*k + 60 = 14*k. Solve z = 5*z + k for z.
-3
Let a(v) = -3*v**3 + 2*v**2 + 2*v + 1. Let u be a(-1). Solve u*t = 3*t for t.
0
Let b(m) = 3*m. Let v be b(1). Let j be (-3 + v/3)*1. Let h be j - (0 - (-1 + 3)). Solve h*a - 5*a = 20 for a.
-4
Let b(y) = -y + 4. Let r be b(7). Let j be r/(-6)*0/(-2). Solve w + 5 = -j*w for w.
-5
Suppose 4*l = -5*i + 3*l + 16, -3*i - 2*l + 4 = 0. Suppose 0 = -4*j - 10 + 46. Solve -i*b - j = 3 for b.
-3
Suppose 4*u + s + s - 48 = 0, 3*u = 5*s + 36. Let b be (-3)/(-6)*(-1 + 1). Solve b*k = 3*k + u for k.
-4
Let g be (13/78)/(2/12). Solve g - 5 = -2*d for d.
2
Let r(o) = 8*o - 21. Let n be r(3). Solve n*k - 11 = 4 for k.
5
Suppose -a + 2*v - 14 = -46, 102 = 3*a - 3*v. Suppose n - a = -3*n. Solve -4*l = -n*l for l.
0
Suppose 5*n - 5 + 0 = 0. Solve 2*g - 3 - n = 0 for g.
2
Let s be (4 - 0)*1/2. Solve -i - s*i - 6 = 0 for i.
-2
Let g(i) = i**2 - i - 2. Let p be g(2). Suppose -2*x - 3*o = 19, 3*o + 7 = -x - 10. Let h be (-14)/x*(1 + p). Solve -4*f + 9 = -h*f for f.
-3
Let z be 1 - 1 - (-11 - (-42)/6). Solve -z*d - 10 - 10 = 0 for d.
-5
Let i = -4 + 6. Suppose -4*g = -2*l - 86, 3*g + i*l = 7*l + 75. Suppose -o - g = -5*o. Solve -b = -1 + o for b.
-4
Let g = 6 - 4. Let c be g/7 - 66/(-14). Suppose 0 = -c*o + o - 4, o - 47 = -3*q. Solve 0 = -0*s + 4*s - q for s.
4
Let p(w) = w**3 + 4*w**2 - 6*w + 1. Let x be 1 + -4*6/4. Let z be p(x). Solve -2*b + z*b = -12 for b.
-3
Suppose -2*k = -0*k - 8. Suppose 0 = -z - 12 + 15. Suppose 0 = -y - z + 11. Solve 0*j - k*j + y = 0 for j.
2
Suppose 0*n - 12 = -2*n. Let u(y) be the first derivative of y**3/3 - y**2 - 4*y + 3. Let m be u(4). Solve 8 = n*f - m*f for f.
4
Suppose l - 9 = -5*g + 5, -3*l = 4*g - 20. Suppose -f + 8 = 3*f. Solve -f*r + l = 2*r for r.
1
Let h be (1/2)/(4/48). Let u(r) = 3*r - 14. Let y be u(h). Solve 3*g = g - y for g.
-2
Let z(a) be the third derivative of -a**6/120 - a**5/12 + a**4/6 - 7*a**3/6 - 2*a**2. Let b be z(-6). Solve -b*g + 9 = -1 for g.
2
Let a = 3 + -5. Let d(f) = -4*f - 2. Let x be d(a). Let s be (x/8)/(2/8). Solve s*h + 16 = -h for h.
-4
Let t(k) = -3*k**3 - 7*k**2 - 6*k + 4. Let s(n) = -16*n**3 - 35*n**2 - 30*n + 21. Let v(g) = -2*s(g) + 11*t(g). Let z be v(-6). Solve -2*a = 12 - z for a.
-5
Suppose b - 3 - 1 = 0. Solve b*d - 9*d = 15 for d.
-3
Let i be (-1 - -1) + 8/4. Solve 6 = i*f + f for f.
2
Let x(s) = s**2 - 3 - 4*s + 1 + 0. Let k be x(5). Solve -k*j - 11 = 1 for j.
-4
Suppose -4*v = 2*w - 3*w - 7, 2*v = -w + 5. Suppose 0*m = -v*m. Let p be 2 + -1 + 1 - -2. Solve 2*i + p = -m*i for i.
-2
Let j = 29 + -10. Let k = j + 1. Solve 0 = o + 4*o - k for o.
4
Suppose -g + 5*x - 3 + 18 = 0, -3*g + 58 = -2*x. Suppose -3*m + g = 2*m. Solve 2*i - i - m = 0 for i.
4
Suppose -2*k = -4*l - 26, 3*l = 5*k + 7*l - 23. Solve 2*g = k*g for g.
0
Let j = 18 + -28. Suppose 12 = -5*q - 3. Let z = q - j. Solve -2*g = 1 + z for g.
-4
Let c be 8/3*(-3)/(-2). Suppose 0 = 5*o - 2*v - 2, c*o + 4*v - 3*v + 1 = 0. Suppose p - 6*p = o. Solve p = 3*z + 5 + 4 for z.
-3
Let o be (-1)/((-2)/(-4)*-1). Let g = 4 - o. Let i = -2 + g. Solve -2*q + i*q = 6 for q.
-3
Let q(d) = d**2 - 9*d + 8. Let p be q(8). Solve 3*f - 8 - 1 = p for f.
3
Let z(l) = l**3 + 8*l**2 - 11*l - 13. Let n be z(-9). Suppose -21 = -n*k - 6. Solve -2*j + k*j = 0 for j.
0
Let g = 43 + -28. Suppose -5*s + 5 = 2*w, -s - 3 = -w + 3. Suppose w*t - 5*q - 15 = 0, q = t + 4*t - g. Solve 0 = -m + 7 - t for m.
4
Let a(j) = -j + 1. Let c(q) = q**2 + 11*q - 14. Let x(l) = -6*a(l) - c(l). Let r be x(-6). Solve -4 = r*p - 6*p for p.
1
Let n = -26 + 31. Solve 6*s = 5*s - n for s.
-5
Let b(z) = -z**2 - 6*z + 7. Let w be b(-6). Let u = 12 - w. Suppose -m - u = -5*o, 3*o = -m + 7*o - 3. Solve -f + 0 = -m for f.
5
Let g(k) = 2*k - 4. Let l be g(5). Solve 5*w - l = 4 for w.
2
Suppose -5*s + 10 = -0. Suppose 7*y = s*y + 15. Solve 0 = a - y*a + 8 for a.
4
Let a be 2*1 - (4 - 4). Suppose -2*s + 8 = 7*o - 4*o, -2 = s + 3*o. Solve a*g + s = -3*g for g.
-2
Let q be 1/(-2) + 5/2. Solve -q*h + h = 0 for h.
0
Let y(h) = -2*h + 6. Let m be y(5). Let d = -3 - m. Solve -1 = -2*b + d for b.
1
Suppose 0 = -0*o + 4*o - 12. Solve -3*s + 12 = -o for s.
5
Let z(x) = -4*x - 6. Let n be z(-2). Solve -w - n*w = -3 for w.
1
Let l be (-1 + 0)*(-2 + 5). Let b be (3 + (l - -1))*2. Solve q + b*q + 9 = 0 for q.
-3
Let r(n) = -31*n**3 + 2*n + 1. Let d be r(-1). Suppose 2*i = -0*z - 3*z - 18, 3*i = -5*z - d. Let f = 11 + z. Solve -f*q - 10 = -0*q for q.
-2
Suppose 5*d + 2*f = 116, 0*d - 44 = -2*d - 2*f. Let g = -14 + d. Solve -2*c + g = -0*c for c.
5
Suppose -2*r - 12 = -5*r. Suppose -4*u - 5*z = -u - 23, -r*z = -u + 2. Solve u*d = 3*d - 15 for d.
-5
Let i = -35 + 35. Solve -k = -i*k - 2 for k.
2
Let p(y) = 7*y - 1. Let n be p(3). Solve 2*c = -3*c + n for c.
4
Let g = -54 + 82. Suppose 3*h = h + g. Let r be 4/h - (-33)/7. Solve r = v + 3 for v.
2
Suppose -2*j = -5*z - 0*z + 10, 3*z - 6 = -j. Solve -n - z*n = 3 for n.
-1
Let a be 2/(-3) - (-16)/6. Suppose 3*i = a*i + 5. Let h(c) = -c**3 + 6*c**2 + c - 4. Let r be h(6). Solve o + i = r*o for o.
5
Let a(f) = f**3 - 12*f**2 - 28*f + 7. Let o be a(14). Solve 4*s - 3 = -o for s.
-1
Let j(o) = -2*o + 8. Let f be j(4). Let q = f + 4. Solve -2 = 3*m + q for m.
-2
Suppose -3*x = -x -