 3*h - 1 - m = i for h.
3
Suppose 4*d - 3*y = y, 5*d - y - 16 = 0. Suppose b + d = -4*c, b = 5*b + 4*c + 4. Solve b*w + 3*w = 6 for w.
2
Let i(y) = 7*y - 4. Let c be i(2). Solve -4*j + 2 = -c for j.
3
Let p be (5 + -21)*6/(-8). Let r be 2/(-6) + 52/p. Solve -r*l = -2*l for l.
0
Suppose 8 = 4*n - 8. Solve -v - 10 = n*v for v.
-2
Suppose -6*f = -f. Solve 2*i - 4 = -f for i.
2
Let z(r) = r**2 - r - 2. Let f be z(-2). Let a be 2 + (f - 1) - 3. Solve -4*y + a + 6 = 0 for y.
2
Suppose -5*j + 96 - 1 = 0. Let l be j*1 + (-2)/(-2). Suppose -5*s + 1 = -10*s + w, 4 = s + 4*w. Solve s*d - l = -5*d for d.
4
Let o(q) = q**2 + 1. Let s be o(-2). Let k = 79 + -71. Solve -s*n = -n + k for n.
-2
Suppose 3*m + 200 = 8*m. Suppose -2*j = -4*n + m, 3*n - 4*j - 10 = 10. Solve -3*l - l = -n for l.
3
Suppose 5*v - 76 = -196. Let u be (v/(-18))/(4/30). Solve -u = 4*s - 2 for s.
-2
Let k be 4/(-20) + 22/10. Solve 4*z = k*z - 4 for z.
-2
Suppose 2*h - 152 = p - 0*p, 5*h - 381 = 3*p. Suppose -u - 2*j = -j - 21, 0 = 4*u + j - h. Let g = u - 13. Solve g*q = q + 16 for q.
4
Let g = 0 - -1. Suppose 9*i = 2*a + 4*i - 45, -i = g. Suppose 2*u = 2, 0 = 2*v + 5*u - 3 - 2. Solve v*b + 5*b = -a for b.
-4
Suppose -53 = -4*n - 5. Solve n = -5*o + 2*o for o.
-4
Suppose 0 = g + 2*t + 14, -g + 4*t + 4 = 3*g. Let c be (-3)/(-12) + (-31)/g. Solve -w + c = w for w.
4
Let z(n) = -7*n**2 + 4*n - 5. Let s be z(2). Let y = -23 - s. Solve -r + 0*r - y = 0 for r.
-2
Let r(i) be the second derivative of -i**4/12 + 2*i**3/3 + 5*i**2/2 + i. Let d be r(4). Suppose 3*b = -x - 2*x, 5*x - 4 = -b. Solve 2*w + x = d for w.
2
Let d be (-5)/30*0 - 12/(-2). Solve 3*n + d = -0 for n.
-2
Let t = -9 - -13. Let g = t + -4. Solve -5*v = -g*v + 25 for v.
-5
Suppose 0 = 4*j - 2*x - 96, 5*x - 6*x - 22 = -j. Let l be (-18)/(-5) - j/(-65). Solve s = l - 2 for s.
2
Let k be (-3)/(3/6*-1 + 0). Suppose 3*r + 13 = 3*u - 11, u = -3*r + 24. Solve -3*g - u = -k*g for g.
4
Let p be (9*-1 + 0)/((-57)/38). Solve p = -3*i + i for i.
-3
Let j = 3 - -3. Solve l + l = j for l.
3
Let a(v) = -v**2 - 7*v - 7. Let l be a(-5). Let w(q) = 7*q + 2. Let m be w(-1). Let s = m - -7. Solve l = -p + s*p for p.
3
Let w(b) = 4*b**3 - b**2. Let h be w(1). Let a be (-1 + h)*(-8)/(-4). Solve 3*t - a*t = 2 for t.
-2
Let l(p) = -2*p - 7. Let w be l(-5). Let k = w + 3. Solve -3*z = -k*z + 3 for z.
1
Let s(h) = -2*h - 24. Let w be s(-14). Solve 2*g - w = -2 for g.
1
Let k be -2 - 0 - (-4)/1. Let h be (210/12)/(1/2). Let v = h - 23. Solve -i + v = k*i for i.
4
Let d = -20 - -22. Suppose d*s + 6 = 3*s. Solve -w - 2*w = s for w.
-2
Suppose 67 = 12*f - 29. Solve 0 = 3*d - f*d + 25 for d.
5
Suppose t + 5*y + 20 = 2*t, 5*y = 2*t - 20. Let g be 130/(-26)*(-8)/10. Solve v + v + g = t for v.
-2
Suppose 5 + 1 = u. Suppose 3*b = b + u. Suppose -2*r = b*a + 9 + 4, 3*r = 2*a + 13. Solve -3*g + r - 7 = 0 for g.
-2
Let y(v) = 2*v**3 - 3*v**2 - 3*v + 1. Let l be y(3). Let p(h) = 3*h**2 + 13*h - 5. Let g be p(-5). Suppose -g*x + l = -16. Solve -x*w - 25 = -2*w for w.
-5
Suppose v + 3*l + 2 = l, -4*v - 8 = -2*l. Let t(g) = -g. Let f be t(v). Solve 0 = -a - f - 3 for a.
-5
Let t = -1 - -2. Let c be t/3 + (-4)/12. Solve n + 3*n + 16 = c for n.
-4
Let j(b) be the first derivative of b**3/3 - 3*b**2/2 + 2*b + 2. Let k be j(2). Solve k = -5*f + 15 + 10 for f.
5
Suppose -4*t = 9 - 13. Solve 4*x = 5*x + t for x.
-1
Suppose -2*o + 8 = 2*o. Solve 4*y + 6 - o = 0 for y.
-1
Let n(x) = 8*x**2 - 2*x + 1. Let q be n(1). Let p = -4 + q. Suppose 0*w = w - 3. Solve w*a - 12 = -p for a.
3
Let g(j) = j**3 + 15*j**2 + 27*j + 18. Let v be g(-13). Solve -2*h = 3*h + v for h.
-1
Let y(j) = -3*j**3 - 4*j**2 - 4. Let l be y(-2). Solve -28 = -l*m - 8 for m.
5
Let j = -3 - 1. Let u = 17 + j. Let w(b) = -b**3 - 7*b**2 + b + 9. Let z be w(-7). Solve 5*i - u = z for i.
3
Let j(g) = 2*g - 7. Let o(m) = -m**2 + 12*m - 14. Let y be o(10). Let n be j(y). Let p(l) = -l**3 + 6*l**2 - l + 6. Let t be p(6). Solve -z + t = -n for z.
5
Let a(j) = -j**3 - 6*j**2 - 3*j + 1. Let o be a(-6). Let f = o + -13. Let n be f/4*16/6. Solve -n*s - 3 = 1 for s.
-1
Suppose 3*r + 3*f = -0*r + 6, 2*r - 1 = -5*f. Suppose -7*g = -r*g. Solve g = -3*b + 2 - 17 for b.
-5
Let t = -167 + 172. Solve -t = u - 4 for u.
-1
Let n(s) = s + 3. Let p be n(-6). Let b be (-29 + 2)/p - 3. Solve -r - 20 = -b*r for r.
4
Let y(f) = -f**2 + 4*f - 1. Let q be y(3). Let z be (q + -1 + -2)/1. Let c = z - -6. Solve -4*u - c = 15 for u.
-5
Suppose 4 = 3*k - 2. Suppose 3*m = h - 7, 2 = -k*m - 4. Let o = h + 4. Solve x = 2*x + o for x.
-2
Suppose -3*w - 1 = -5*q, 0 = q - 5*q - 4. Let h = 4 + w. Let y be 0/(3/(3/h)). Solve y = 4*k + k - 20 for k.
4
Let u = -12 - -26. Let o(c) = c**2 - 15*c + 15. Let n be o(u). Solve -n = -w - 0 for w.
1
Suppose -4*b = -2*b - m + 1, 3*b - 2*m = -2. Solve b*c = c for c.
0
Suppose 2*t = -t + 3. Let l = -7 + 12. Suppose 2*a = i + l, a - i = -4*i + 6. Solve 0 = -s - a - t for s.
-4
Let x be 14 - (-9 + 5)/2. Let a(j) = 22*j**2 + 2*j - 1. Let n be a(1). Let i = n - x. Solve 1 - i = 2*s for s.
-3
Let z be (-19)/2 + 3/(-6). Suppose j - 3 = 16. Let y = z + j. Solve -3 - y = 4*k for k.
-3
Let d = -28 - -31. Suppose 3 + 0 = k. Solve -6 = -k*g - d for g.
1
Let o be (-2)/3 - 14/(-3). Let s = -6 - -20. Solve s - 2 = o*w for w.
3
Let s(a) = 2*a. Let c be s(9). Suppose c + 7 = 5*w. Solve 0 = -w*v + 6 + 4 for v.
2
Let v be 2 + (1 - (6 + -3)). Solve v*x = x for x.
0
Suppose -5*d + 87 = -73. Suppose -p = -5*p + d. Let s = -5 + p. Solve 3 + 6 = -s*g for g.
-3
Suppose -5*o + 5*b - 20 = 0, 3*o = -4*b - b + 20. Solve -2*y - 5 + 13 = o for y.
4
Suppose 4*v + 3*h = -0*v + 26, v = h + 3. Solve -3*y = -v - 4 for y.
3
Let n(h) be the first derivative of -h**3/3 - 2*h**2 + 3*h - 2. Let d be n(-4). Suppose -r + t = -d - 0, -5*t = -10. Solve -4*m - r + 1 = 0 for m.
-1
Let v be (-1 - -7) + 2 + -2. Suppose 2 = -2*o + v. Solve -2*h - o*h = -20 for h.
5
Let c(a) = a**2 - a - 9. Let h be c(-3). Solve h*r = r for r.
0
Suppose 5*n - 11 - 9 = 0. Solve -n*r + 2 = -2 for r.
1
Let u = 0 + 9. Let z be (-59)/(-3) - 6/u. Suppose -2*k = 3*m - 5, 5*m - 2*k - 16 = z. Solve 3*h - m = 7 for h.
4
Let l be 2 - (2 - 1) - 1. Suppose n - o - 4*o + 4 = 0, 5*o + 5 = 0. Let i = 12 + n. Solve l*k + i*k = -6 for k.
-2
Let g be (-192)/18 - (-1)/(-3). Let w = g - -16. Solve -4*d = w - 17 for d.
3
Suppose -4*s - 24 = -4*l - 4, -4*l - 2*s + 8 = 0. Suppose 5*i - 35 = -3*t, 2*i + t = 17 - l. Let c = -10 - -14. Solve -1 - i = -c*m for m.
2
Let c be 1/(2 + 2 + -3). Let i(n) = 3*n**2 + 2*n - 1. Let s be i(c). Solve -r - s = -2*r for r.
4
Suppose -24 = -4*m + 28. Let k = m - 4. Suppose 15 = 4*b - y, 5*b = 6*b + 4*y + k. Solve -b*q + 5*q = -6 for q.
-3
Let w = -6 + 1. Suppose -2*x - 3*x + 28 = -3*k, 0 = 2*x - 4*k. Let l = x + w. Solve -5 = 2*y + l for y.
-4
Let q(y) = y**3 - 4*y**2 + 4*y. Let s be q(1). Solve -s = -3*a - 4 for a.
-1
Suppose -1 = -4*q + 11. Solve -q*i = -2 + 5 for i.
-1
Let z(s) = -s**3 - 3*s**2 + 5. Let d be z(-4). Let r = -16 + 36. Suppose -3*i = i - r. Solve i - d = 4*t for t.
-4
Let z be 4*(-3)/(-8)*4. Suppose -21 = -5*a - z. Solve 2*s = s + a for s.
3
Suppose 0*c = -5*c. Solve 6*n - 3*n - 3 = c for n.
1
Suppose -25*p = -12*p - 10*p. Solve p = -a + 2 - 0 for a.
2
Suppose 5*x + 4*b - 30 = -b, -2*b = -x - 3. Solve -g - x = 2*g for g.
-1
Let u be ((-3)/6)/((-2)/(-56)). Let q = u + 16. Solve 5*v - q*v + 12 = 0 for v.
-4
Let m(w) = 2*w - 5. Let s be m(5). Suppose -s*p + 1 = -9. Solve p*z + 2 = 12 for z.
5
Suppose 2*f = -3*u - 17, 0 = -4*f + 3*u - 1 + 12. Let r = -2 - f. Let m be ((-6)/r)/3 + -2. Solve -i + 2*i + 1 = m for i.
-1
Let i(j) be the second derivative of -j**3/6 + 5*j**2/2 - 2*j. Let t be i(8). Let f be (27/6)/t*-10. Solve -2*m - m = -f for m.
5
Let t be (5*-4)/(2/(-2)). Solve 7*j - t = 2*j for j.
4
Let i be 1/(0 + 0 + -1). Let z = 3 + i. Let k be (3/2 - z)*-6. Solve 20 = -2*p - k*p for p.
-4
Suppose -c = 2*c - 5*r - 34, 3*c + 11 = -4*r. Suppose 2*y = q - 6, q - 2*q + 9 = -c*y. Solve q = -4*i + 4 - 0 for i.
1
Let m be (-88)/22 - 4*-1. Solve h = -m*h - 5 for h.
-5
Suppose 0 = 4*m - 2*l - 288 - 1364, 0 = 5*l - 20. Let f be 2/(-9) + m/45. Suppose s - f = -2*s. Solve 6*x = s*x - 9 for x.
-3
Let b = -14 + 2. Let o be b/15*(-50)/4. Solve 0 = 2*y + o - 2 for y.
-4
Let 