 0 = -2*d + h - k for d.
3
Let y = -48 - -52. Solve y*i + 7 + 5 = 0 for i.
-3
Let w be (-4)/(-5)*(-1 + 6). Suppose -3*n = -b + 8, -16 = -w*b - n - 3*n. Solve 1 = -4*c + b for c.
1
Suppose 0 = -0*v + 4*v + 4. Let j be (8/10)/(v/(-5)). Solve j*h + 16 - 4 = 0 for h.
-3
Let n = -46 - -49. Let b = 5 - 1. Solve -5*k + b*k = -n for k.
3
Suppose 4*v = 7*v - 12, -i + 12 = 3*v. Suppose 3*g - 18 = 3*s, 3*g + i*g - 2 = -s. Solve -g = c - 6 for c.
4
Let a = 0 - -1. Suppose -j + 11 = -a. Let t be 44/j + 4/(-6). Solve 6*s = t*s - 3 for s.
-1
Let j = 6 + -4. Let i = j + -2. Let p = 16 + -14. Solve i = 5*n - 3*n - p for n.
1
Suppose 0 = -5*r + 5. Let k be r/(-3) - 1/(-3). Let a be (5 - 1) + (-2 - k). Solve -a*t = -1 - 7 for t.
4
Suppose 31 + 11 = 3*g. Let h be (0 - -1) + (6 - 2). Let d = h + g. Solve d = -4*t + 3 for t.
-4
Let t(g) = g**2 + 3*g + 2. Let p be t(-4). Let b(q) = -3*q**2 + q**3 - p*q - 7 + 16 - 3*q**2. Let f be b(7). Solve -f = 2*n - 6*n for n.
4
Let w = -8 + 15. Let a = w + -2. Solve 5 = 2*l - a for l.
5
Let c be -4 + 3/((-12)/(-16)). Solve 0*j + 2*j = c for j.
0
Suppose 2*h + 10 = g + 5*h, -5*h = 4*g - 19. Let c be (0 + 1)*(g + 2). Solve 2*a - c = 3*a for a.
-3
Suppose -55 = 2*r + 3*r. Let n(s) = -6*s**3 - s**2 + s - 1. Let k be n(1). Let f = k - r. Solve 6 + 2 = f*z for z.
2
Let t = -15 - -22. Let u = t + -5. Solve -x = 1 + u for x.
-3
Let l = -48 + 56. Solve -4*x = -l*x + 12 for x.
3
Let b be (13/(-65))/((-1)/15). Solve 5*p - 8 = -b for p.
1
Let x(o) = -o**2 + 2*o + 1. Let c be x(2). Suppose h + 0*h = -c. Let b be 1/h - 1/(-1). Solve b*i = -i - 3 for i.
-3
Let x = -2 - -10. Let z be (21 + -1)*x/20. Solve -2*c - 2 + z = 0 for c.
3
Suppose 4*d = 3*d + 5. Solve 0 = -4*o - 3 - d for o.
-2
Let u(z) = z**3 + 12*z**2 - 12*z + 16. Let f be u(-13). Solve -6*b = -3*b + f for b.
-1
Let f(g) = -g + 5. Let j be f(5). Solve j = s + 4*s + 10 for s.
-2
Let y = 3 - -4. Suppose 1 = -4*l - y. Let g = l + 4. Solve 0 = -v + 1 + g for v.
3
Let w be 1/((-10)/(-4))*-5. Let i be w/8 - (-58)/8. Let z = -5 + i. Solve 7 = -5*m + z for m.
-1
Let y = 15 - 11. Suppose -y*x = -5*c - 6*x + 6, 2*c - x + 3 = 0. Suppose 4*b - 11 - 5 = c. Solve 2 = -3*k - b for k.
-2
Suppose -2*q - 2*q + 10 = 2*k, -5*k = -2*q - 13. Solve -2*g = -k*g for g.
0
Suppose 0 = -2*o - 0*o + 8. Solve -9 = -o*q + 11 for q.
5
Let z be 8/28 - 246/(-21). Suppose 0*g = 4*g - z. Suppose -g*i - 2*m = -2*i, -1 = -3*i - 5*m. Solve 3 + i = -5*d for d.
-1
Suppose p + 4*p = 10. Suppose -4*n + 16 = 0, -p*c - c + 49 = n. Solve 6*d - d + c = 0 for d.
-3
Let n(p) = 2*p**2 - 5*p - 4. Suppose 0 = 3*c - 4*i, -4*c - 2*i = -19 - 3. Let q be n(c). Solve -q + 28 = 4*w for w.
5
Suppose -5*k + 41 = -54. Let m(l) = -l + 28. Let g be m(21). Solve 3*q - k = -g for q.
4
Let t be 3 - 0/(-1)*-1. Solve -t = 2*z - 1 for z.
-1
Suppose 7*i = -12 + 33. Solve i*y + 15 = -0 for y.
-5
Suppose -4*j = j - 30. Suppose 3*f + t = 1, 0*f - 2*f - t = 0. Let b(a) = 2*a**3 + a**2 - a. Let i be b(f). Solve -j*v + 20 = -i*v for v.
5
Let w = 5 - 3. Suppose -3*p + 4*g + 4 = 0, -2*p + 3*g = -5 + w. Solve p = 4*i + 20 - 4 for i.
-4
Suppose 2*p + 2*v = 6*v + 2, 35 = -4*p - 5*v. Let b = p - -5. Solve 15 = 5*r - b*r for r.
3
Let y(w) = -w - 5. Let h be y(-7). Suppose -2*k = 4*d + 4, -3*d + 10 = 5*k - 1. Suppose -11 = -k*m - h*n + 3*n, 5*m - 12 = 3*n. Solve 3 = -m*b - 6 for b.
-3
Let g = -9 - -14. Suppose -2*s = -4*m - 11 - 9, -m - 14 = -5*s. Suppose -3*p + b + 2 + 20 = 0, -34 = -5*p - b. Solve s - p = -g*w for w.
1
Suppose 6*d + 12 = 7*d. Let f be (7 - 8)/((-2)/d). Solve r + f = -r for r.
-3
Let h = -19 + 16. Let m(w) = w**3 - 4*w**2 - 4*w - 4. Let k be m(5). Let j be (0 + k)*(-15)/h. Solve j*t = 7*t for t.
0
Suppose -m + 1 + 5 = 0. Solve -m + 1 = -p for p.
5
Let q = 7 + -7. Let l be (q/(-1))/((-3)/3). Solve 5*p + 0 - 25 = l for p.
5
Suppose -15 = -5*l - c + 1, -3*c = l + 8. Suppose -3 + 2 = -3*d + 2*z, -4*d = -4*z + l. Solve d*k = 5*k + 8 for k.
-4
Let m(v) be the second derivative of v**5/20 - v**4/4 + v**3/2 + v. Suppose 2*f - 5 = -k, 0 = -k + 6*f - f - 2. Let d be m(k). Solve 3 = 3*c - d for c.
4
Let w(k) = -k**2 - 8*k - 8. Let s be w(-3). Solve -v + 5 = s for v.
-2
Suppose 0 = -3*r - 47 + 143. Suppose l - r = -l. Solve -5*t + l = -t for t.
4
Let f(l) = 1 - l**3 - 11*l**3 + 7*l**3 + 4*l**3 + 2*l**2. Let p be f(2). Solve -v = -0*v - p for v.
1
Suppose 3*g = -0*g + 21. Suppose -g + 1 = -3*y. Solve -y*x = 2*x for x.
0
Let q be (-4 + 3)/((-2)/10). Suppose -2*b + q = 3. Solve -p - b - 4 = 0 for p.
-5
Suppose -5*a = -4*j - j + 45, 0 = 2*a + 8. Solve 0 = j*s - s for s.
0
Let z be (-34)/(-10) + 6/(-15). Let d(i) = -i**2 - i + 1. Let j(k) = -4*k**2 - 3*k + 11. Let q(x) = -3*d(x) + j(x). Let y be q(0). Solve -p = -z*p - y for p.
-4
Let p = 23 + -19. Let q(h) = -h**3 + 5*h**2 - 3*h - 4. Let x be q(p). Solve x = 2*s - 1 - 1 for s.
1
Suppose 4*t = -33 - 27. Let v be 6/4 - t/(-10). Solve -6*m + 2*m - 12 = v for m.
-3
Let g = 0 + 9. Suppose 2*u - g = -u. Solve 0*f = u*f - 9 for f.
3
Let h(s) = -7*s - 5. Let t(n) = -n - 1. Let a(x) = h(x) - 6*t(x). Let q be a(-3). Solve -q*c + 4 = -0 for c.
1
Let f = 7 - 10. Let a = f + 5. Solve z + a = -0*z for z.
-2
Let k = 32 + -28. Let w(o) = o + 3. Let z be w(6). Suppose -z = -2*i + 5*s, -35 = -4*i + 4*s + 1. Solve -k*b + i = -b for b.
4
Suppose -10*n - 6 = -13*n. Suppose -n*c + 6 = -2*u + 4*u, 5*c = -u + 3. Suppose -3*m + 7 = -2. Solve m*v + c = -12 for v.
-4
Let k(b) be the first derivative of 3 - b - 1/2*b**2. Let l be k(-1). Solve l = -3*j - 0*j + 12 for j.
4
Let t(h) = 11*h**2 + 3*h - 2. Let r be t(2). Let z be (6/4)/(9/r). Suppose 0 = -3*f - 2*f + 30. Solve 0 = -f*c + 2*c + z for c.
2
Let f be (1/(-3))/(5/(-45)). Suppose -2*t = 5*r + 3*t - 5, 13 = f*r - 2*t. Suppose 0 = r*i + 2*i - 20. Solve i*x - 13 = -5 for x.
2
Suppose -4*l = 3*o - 29, 4 = 2*l + 5*o - 21. Solve -2*z = -3*z + l for z.
5
Suppose 54 = 3*h + 6. Let b = -23 - -27. Solve 0*n = -b*n + h for n.
4
Suppose 5 + 25 = 3*q. Solve 3*i = i + q for i.
5
Let g(v) = 4*v + 3*v - 2*v**2 - 7*v**2 + 11 + v**3. Let d be g(8). Solve 2 = -h - d for h.
-5
Let b = -1 - -4. Suppose b*k + f + 4*f + 14 = 0, -3*f - 12 = 0. Solve r = -r - k for r.
-1
Suppose i - 15 = k, -k - 3*i - 9 = -2*i. Let h = k + 18. Suppose 0 = o - 2*o + 14. Solve -o - h = 5*f for f.
-4
Let m(c) = c**3 - 7*c**2 + 2*c - 4. Let u = -10 - -17. Let l be m(u). Solve s + l = -s for s.
-5
Let b = 2 - 2. Let y = 37 + -21. Solve b*x + 4*x = y for x.
4
Let a(p) = p**2 - 10*p - 11. Let z(u) = -u - 1. Let f(g) = a(g) - 4*z(g). Let s be f(8). Solve 1 - s = 4*y for y.
-2
Let p be (-4)/(-22) - (119/(-11) - -8). Solve -p*b = -4*b + 5 for b.
5
Let a(j) = j**2 + 7*j - 6. Let i be a(-8). Solve 0 = s + i - 1 for s.
-1
Let i(w) = w**2 - 5*w - 2. Let k be i(6). Let j(v) = -10*v + 1. Let t be j(-1). Solve -k*c + 3 = t for c.
-2
Suppose 3*v + 0 = 9. Solve -2*z = -v*z for z.
0
Let a = -8 + 13. Let i(g) = 2*g**3 - 19*g**2 - 12*g + 20. Let k be i(10). Solve k*r - a*r = -10 for r.
2
Let s be -3 + 6 + 0/(-3). Suppose 2*m - 90 = -s*m. Solve -4*i + m = -2 for i.
5
Let r = -2 - 3. Let f = r + 9. Solve 29 = -f*m + 9 for m.
-5
Suppose 2*x + 5*g = 8 + 5, -x - 5*g = -14. Let m(n) = n**2 + 2*n + 1. Let k be m(x). Suppose r = -k*r. Solve r = -3*l + l - 4 for l.
-2
Let z(x) = x**3 - 2*x**2 + 2. Let d be z(2). Let k(g) be the third derivative of g**4/12 - 26*g**2. Let s be k(d). Solve c = s*c - 15 for c.
5
Suppose -14 = -5*j + 11. Solve 3*x - j*x = 10 for x.
-5
Suppose -94*f + 98*f - 12 = 0. Suppose 5*l = 3*l. Suppose 4*c + m - 4 = l, -f*m + 0 = 4*c + 4. Solve c*k - 4*k - 8 = 0 for k.
-4
Let v be ((-2)/(-7))/((-2)/(-14)). Suppose -v*x + 27 = x. Solve -3*c + 0*c - x = 0 for c.
-3
Let p(l) = 6*l**3 + 11*l**2 + l - 3. Let y(j) = j**3 + j**2 - 1. Let o(g) = -p(g) + 5*y(g). Let i be o(-6). Let a be (3 - i)/((-2)/6). Solve -6*f = -a*f for f.
0
Suppose -j - 3 = -p, -3*p - 2 + 3 = -j. Let d be (-1)/j - 22/(-8). Let t(k) = k**3 - 2*k**2 - 3*k. Let i be t(d). Solve -z + 3 + 2 = i for z.
5
Let z(s) be the second derivative of s**5/20 - s**4/12 - 2*s**3/3 + s**2 + 2*s. Let o be z(3). Solve -o = 5*l + 12 for l.
-4
Let p = 0 + 0. Solve -4*d + p*d = -8 for d.
2
Suppose 62*t - 66*t = -80. Solve m - 6*m - t = 0 for m.
-4
Let b(i) = -i**2 - 3*i + 2. Let w be b(2). Let n