*n = -0*y + y - 17. Let o be 2/n + 3/2. Solve 0 = -a*h + 2*h - o for h.
1
Let r be (-3)/(0 - -3) + 1. Solve r = w - 2 for w.
2
Let b(o) = 2*o**2 - 2*o. Let m be b(2). Solve 0 = -m*j - 2 - 2 for j.
-1
Suppose -2*y + 5*y + 3 = -3*n, -n - 5*y - 17 = 0. Suppose -4*t + n = -57. Suppose t = -2*o - 5*b - 1, 0 = -2*b - 8. Solve 1 = o*g - g for g.
1
Suppose -3*d + 10 = -0*k + 5*k, 0 = -4*d + k - 2. Solve d = -3*v - 5 + 8 for v.
1
Let d(n) = n**2 - n - 4. Let y be d(3). Solve -c + 1 = -y for c.
3
Let z(q) = q**3 - q + 7. Let j be z(0). Let p(t) = -t**2 + 10*t - 6. Let h be p(j). Let f = h - 7. Solve 5*k = -f - 7 for k.
-3
Let f(g) = 3*g**2 + g + 1. Let d be f(-1). Suppose 0 = -d*y + 5*y - 8. Let x = -4 + y. Solve 2*k + 4 + 6 = x for k.
-5
Let d = -6 + 5. Let v be d + 5 + -3 - -3. Solve 0*g - v = -g for g.
4
Let x = -22 + 29. Solve x*q = 3*q + 4 for q.
1
Let d = -8 - -41. Suppose -3*a - m = d, a + 6*m - 3 = m. Let l be (-172)/a - (-4)/6. Solve 3*g + 2*g + l = 0 for g.
-3
Let n = 5 - 5. Suppose -4*p + 2*p = n. Suppose -5*l + l - 30 = -5*r, 4*r + 5*l + 17 = p. Solve -c + r*c = -4 for c.
-4
Let z = -5 - -5. Let y be z/(4/6*3). Solve -r = -1 - y for r.
1
Let h(g) be the second derivative of g**3/2 + 3*g**2/2 + 3*g. Let l be h(5). Solve l = -4*m + 6 for m.
-3
Let p(u) = -2*u**2 - 5*u + 4. Let z be p(-3). Solve 5*d - z - 14 = 0 for d.
3
Let m be (9 - 1) + 2 + -3. Suppose 3*b = -2 - m. Let d be 1 + -2 - b/1. Solve d*y - 10 = -2 for y.
4
Let u be (3 - 5)/(2/(-5)). Suppose -4*j - 2 = 3*f - u*f, -2*f = 4*j - 18. Solve b + 4 = f*b for b.
1
Let n be (-2 + 0)/((-12)/24). Solve 31 = -n*c + 11 for c.
-5
Suppose 3*s = -h + 4*s + 8, 5*h + 4*s - 4 = 0. Solve 3*q - h = 2 for q.
2
Suppose 3*k + 3*k - 18 = 0. Solve 3*s + k = -0 for s.
-1
Let r = -48 + 48. Solve r = -5*m - 29 + 4 for m.
-5
Let x = -17 - -21. Let w(l) = -2*l + 1. Suppose -6*a = -2*a - y + 9, -2*y = 2*a - 8. Let t be w(a). Solve t*s = s - x for s.
-2
Let b = 44 - 37. Let d(a) = -3*a + 2. Let p be d(-2). Solve -3*y = p + b for y.
-5
Let q = 141 + -139. Solve -q = -3*r + 2*r for r.
2
Let w = 1 + 3. Let a(t) = -4*t - 1. Let u = 10 + -11. Let n be a(u). Solve -n*r - w = -r for r.
-2
Suppose 0*f = 3*f - 12. Solve -f*y = y for y.
0
Let t = 0 + 6. Solve -t*r = -2*r for r.
0
Let q(d) be the first derivative of -d**3 + 3 + 1/2*d**4 - 3*d + d**2. Let i be q(2). Solve i*n - 2 + 12 = 0 for n.
-2
Let l = 7 + -6. Let y = 3 + l. Solve -y*u = u + 10 for u.
-2
Suppose -4*g - 2*s - 22 = 0, 2*g + g = -3*s - 18. Let j(p) = p**3 + 6*p**2 + 3*p - 6. Let m be j(g). Solve c = -0*c - m for c.
-4
Let d be 0/2*(-5)/(-10). Let l be -2 - ((-6)/2 - d). Solve l = -2*f - 5 for f.
-3
Let d be ((-28)/(-20))/(2/10). Solve -d - 5 = -4*j for j.
3
Let k be 5/(15/9) - 0/(-3). Solve k*x - 7 = -19 for x.
-4
Suppose -4*g + 6 = -g. Let k be 1/(4*g/24). Solve k*d - 5 = 10 for d.
5
Let v be (-3 - -2)*2 - -7. Solve -r - 4*r = v for r.
-1
Let d(s) = -s**3 + 3*s**2 + 5*s. Let i be d(4). Solve 0*o = -i*o - 12 for o.
-3
Let p be 37/(-2) + 9/18. Let o = p - -18. Solve -n - 3 = -o for n.
-3
Let c = 42 - 42. Solve -q + c*q - 5 = 0 for q.
-5
Let m be (24/(-18))/((-2)/3). Solve -m*g = 2*g - 12 for g.
3
Suppose 0 = -2*s - 2 + 6. Solve -s*y - 2*y = 16 for y.
-4
Let o(m) = m**2 - 1. Let u(x) = -4*x**2 - 4*x - 7. Let q(z) = -5*o(z) - u(z). Let g be q(6). Solve g = -5*l + l for l.
0
Let u(m) = -m - 8. Let v be u(-12). Solve -2*q = -v*q + 6 for q.
3
Let b(j) = 3*j + 1. Let s be b(1). Suppose 5*u + 4*t = -5 + 1, -4*u - 4*t = s. Solve 1 = -m - u*m for m.
-1
Suppose 20 = 5*x + 2*y, 0*x = 4*x - y - 3. Suppose 3*z = 2*b + 2*b - 9, -2*b + z = -5. Solve w + b = x*w for w.
3
Let y(p) = p**3 + 6*p**2 + 6*p + 2. Let u be y(-4). Solve u = -5*n - 10 for n.
-4
Let v(s) = -s**3 + 16*s**2 - 14*s - 13. Let u be v(15). Solve -u*t - 2*t = -4 for t.
1
Let h = 9 + -15. Let p be (0 - 0)/(h + 5). Solve s + p*s = 0 for s.
0
Suppose 0 = 5*r + 5*t - 0*t - 15, r + 3 = -3*t. Suppose 3*c - 5 - 4 = -2*h, r = 2*c - 3*h. Solve -c*s - 2*s = 0 for s.
0
Let m = 54 - 24. Suppose -3*q + 5*w + 5 - m = 0, -2*w = 4*q - 10. Solve q = -3*z + 4*z for z.
0
Let h be 3/((-1)/2*-3). Let a be 4/h*(-4)/(-8). Suppose u + a = 6. Solve 2 = -u*i - 3 for i.
-1
Let l(z) = -z**3 + 3*z**2 + z + 1. Let b be l(3). Suppose b*s = -s. Solve -h + 4*h - 12 = s for h.
4
Let k(r) = -r + 7. Suppose -1 = -5*v + 14. Suppose 2*i - 23 = -3*d, v*i + 9 = 2*d - 2*i. Let j be k(d). Solve j*p = -2*p for p.
0
Let t(r) = -r**3 - 4*r**2 + 3*r - 6. Let f be t(-5). Suppose -f*k - 48 = -7*k. Solve 0 = 5*i + k + 4 for i.
-4
Suppose 0*q - q = -11. Let z = 26 - q. Solve z = -5*n + 35 for n.
4
Let i(k) = -k**3 + 9*k**2 - 8*k + 8. Let x be i(8). Let f = 8 - 5. Solve -w = f*w - x for w.
2
Let g be 0 - (-5)/(20/8). Suppose 0*r - 3*r - 15 = -g*c, -r = c + 5. Solve c = -2*d - 2*d - 16 for d.
-4
Let m = -1 - 1. Let b = 1 - m. Let p be 6/(-2) + 5 - 1. Solve b*k = -p - 5 for k.
-2
Let n = -6 + 28. Suppose -4*f + n + 10 = 0. Let v = 20 - 18. Solve 0*m - f = v*m for m.
-4
Let q = 74 - 71. Solve -9 + q = -3*p for p.
2
Let q(j) = -j - 1. Let k be q(-4). Solve 4*y + 7 = k for y.
-1
Let i(h) = h + 13. Let y be i(-9). Let o = y - 3. Solve 5 = -4*q + o for q.
-1
Suppose 10*q + 1 = 11. Solve q = 4*v - 11 for v.
3
Let c = -35 + 25. Let l be (2 + 6)*c/(-8). Solve 6 = 4*w - l for w.
4
Let k = -5 + 7. Suppose 0 = -2*w - k*w. Solve -2*n + 2 = -w*n for n.
1
Let a = -19 + 19. Solve -4*n = -a*n - 8 for n.
2
Suppose p + 17 = 5*r, 3*r + 5 = 2*p + 6*r. Let c be (p - -2)/(3 - 1). Solve -4*g = -c*g + 20 for g.
-5
Suppose -4*g = g - 3*d - 42, 0 = 5*g - 5*d - 50. Solve 3*w = 15 - g for w.
3
Suppose k - 4 = -1. Suppose 0*h + 4*h + 82 = k*r, -5*h = -3*r + 83. Suppose 4*d - r = 10. Solve d = 2*o + o for o.
3
Let t be ((-3)/3 - -2)*2. Suppose l - h + 3 - t = 0, -5*l + 2*h = 20. Let j = 10 + l. Solve m - j = -m for m.
2
Let f = -3 + 8. Suppose -2*j + f = 1. Suppose j*z - 3*z = -3. Solve 5*m - 2*m = z for m.
1
Let o(j) = -j**2 + 8*j + 11. Let w be o(9). Solve w*y = -y + 15 for y.
5
Suppose 2*h - 14 + 2 = 0. Let i be (h - 1)*(-7)/(-7). Solve -2*s + s - i = 0 for s.
-5
Let p(b) = b**3 - 4*b**2 - b + 5. Let x be p(4). Let n = 0 + 8. Let t(y) = -y + 8. Let k be t(n). Solve k = d + 3 + x for d.
-4
Let i(p) = 5*p - 34. Let r be i(11). Solve 3*q + r - 6 = 0 for q.
-5
Suppose -h - 4 = -5*h. Let f = 9 + -6. Let u = -1 + f. Solve -u*s - h + 3 = 0 for s.
1
Suppose 6*j + 2*a - 68 = 3*j, 5*j - 4*a - 84 = 0. Solve -5*c + 0*c - j = 0 for c.
-4
Let b(q) = q**2 + 9*q - 10. Let k(y) = -2*y - 2. Let n be k(4). Let v be b(n). Solve 0 = -4*r - v*r + 4 for r.
1
Let p be ((-6)/(-15))/((2/(-5))/(-2)). Solve p*d + 3 - 9 = 0 for d.
3
Let w(f) = 27*f**2 - 2*f - 1. Let x be w(-1). Let v be x/6 + (-2)/3. Solve 3*u - 2 - v = 0 for u.
2
Suppose -2*j - 65 = -7*j. Let q = -9 + j. Solve -q*k = -k for k.
0
Let w be (1/2)/(11/66). Solve w*f + 20 - 5 = 0 for f.
-5
Let t be (-44)/(-28) - 12/(-28). Solve t = -v - v for v.
-1
Let q be ((-6)/15)/((-1)/10). Let b(a) = a**3 - 4*a**2 + 5. Let r be b(q). Suppose -5*h + 2*v + 73 = 0, -r*h = v + v - 57. Solve 0 = -4*f + h - 1 for f.
3
Let u = -2 - -1. Let d = u - 1. Let n(q) = -2*q - 2. Let l be n(d). Solve l*p = -0*p - 8 for p.
-4
Let q(a) = -a**2 + 11*a - 13. Let u be q(10). Let x be (u + 2)/((-1)/3). Solve -2 - 13 = x*k for k.
-5
Suppose 33 - 41 = -2*n. Solve -5*i + n = 9 for i.
-1
Suppose 0*w + 3 = -2*z - 3*w, 18 = 2*z - 4*w. Solve -7 - z = 2*k for k.
-5
Let l(j) be the first derivative of -j**3/3 + 5*j**2/2 - 4*j + 1. Let i be l(4). Solve x + 1 = -i for x.
-1
Suppose 5*b - 20 = -h - 4*h, -3*h - 5*b = -12. Let d be h/(-10) + 16/40. Solve d = 7*n - 2*n for n.
0
Suppose 0 = -0*k - k + 23. Let j be (-1)/3 + 84/(-18). Let x = j + 10. Solve x*u + k = 3 for u.
-4
Let j = -71 + 73. Solve j*a = 5*a - 15 for a.
5
Let n be (-3 - -1)/(6 - 8). Suppose -x = -2 - n. Solve -z = x*z for z.
0
Let y(k) = -k**3 - 13*k**2 - 21*k + 13. Let r be y(-11). Solve r*x - x - 2 = 0 for x.
2
Let z(i) = -2*i - 9. Let x be ((-27)/(-6))/((-9)/12). Let j be z(x). Suppose -7*q + j*q = 0. Solve q*a = a for a.
0
Suppose -6*b + 4*b = 4, 2*b + 29 = 5*u. Suppose -1 + 4 = x. Let d be x + (-7)/(21/6). Solve -d = -u*z - 21 for z.
-4
Let z(f) = -f**3 - 8*f**2 + f + 11. Let p be z(-8). Let h = 11 - 7. Solve 0 = h*c + 7 - p