-h = -2*g + 4. Suppose q - 9 = -g. Solve -2*y - y + q = 0 for y.
2
Let l be -2 - ((7 - 16) + -69). Solve 4*q = l - 88 for q.
-3
Suppose p - 2*s - 13 = 2*p, -5*s + 6 = -3*p. Let y(d) = d**3 + 8*d**2 + 6*d - 4. Let a be y(p). Solve 2*m - 25 = -a*m for m.
5
Let r = -113 + 117. Suppose 4*s - 21 - 31 = -r*b, 3*b - 36 = -2*s. Solve -b = -i + 3*i for i.
-5
Suppose 56*r = 50*r + 18. Suppose -6 = 3*b, l - 6 = b + b. Solve 1 = -l*o + r for o.
1
Suppose 4 = 3*p - 2*p. Suppose -p*x + 5*x = 0. Solve x = 3*s - 6 - 9 for s.
5
Suppose -7 - 3 = -5*a. Let l = 36 + -25. Suppose -d = -a*i - l, 16 = -2*i - 2*i. Solve -p + 2 = d for p.
-1
Let h(s) = -2*s + 14. Let m be h(5). Suppose n = 2*a - 6, -2*a + 0*n + m*n + 6 = 0. Suppose 6*p = 2*p. Solve a*f = -9 - p for f.
-3
Let y(c) = -c - 1. Let g be y(-4). Suppose d = g*d - 4. Let b(u) = u**3 + 12*u**2 + 14*u + 35. Let z be b(-11). Solve z*x = d - 12 for x.
-5
Suppose 0 = 3*g - 2*m - 47, 0*m = 2*g + m - 29. Let o = g + 11. Let x = o - 25. Solve x - 6 = -w for w.
5
Let a be 15/4 - -1 - (39/4 + -10). Suppose 3*r = l - 4*l - 6, 5*l - 22 = 3*r. Solve -a*n = -l*n - 6 for n.
2
Let m = 2899 + -2899. Solve -3 = -c - m for c.
3
Let d = -228 + 228. Let n = 2 - 2. Solve n = -d*k - 2*k - 8 for k.
-4
Let n = 133 - 130. Solve n*s = 8*s - 25 for s.
5
Let n(a) = -a - 5. Let k be n(-7). Solve w - 1 = k for w.
3
Suppose -2*d - d = 30. Let u(r) be the third derivative of -r**4/24 - 5*r**3/3 - 58*r**2. Let h be u(d). Solve h*a + 4*a - 12 = 0 for a.
3
Let j(m) = m + 1. Suppose 0*r = 3*r + 3*y, 5*y + 10 = 0. Suppose -2*h + u + 6 = 0, 3*h - 4*u = r*h + 10. Let s be j(h). Solve 4*v - 1 = s*v for v.
1
Let u(r) = 2*r - 2. Let b be u(7). Solve 6*p = 3*p + b for p.
4
Let c(t) = -t**3 + 25*t**2 - 85*t + 21. Let s be c(21). Solve -12*p + 0 = -s for p.
0
Let h = -417 - -418. Solve -6*d + 17 + h = 0 for d.
3
Suppose -23*z + 157 = -50. Solve -3*u - z + 0 = 0 for u.
-3
Suppose 20*y + 453 = 133. Let t(b) = -b**3 + b**2 - 4. Let v be t(0). Let j = v - y. Solve 6*c = 3*c - j for c.
-4
Let y = 39 - 39. Suppose y = j - 4*j + 12. Solve 0 = j*g + 8 - 0 for g.
-2
Let a = 5 - -2. Suppose x = 4*x - 2*c + 20, 5*c = -2*x - a. Let k = 8 + x. Solve k*w = -2*w for w.
0
Let j = -721 - -792. Solve -76*q + j*q = 20 for q.
-4
Suppose 0 = 21*x - 17*x - 3*f - 7, -5*f = 4*x - 31. Solve -4*v - x*v = 16 for v.
-2
Suppose -3*b - n + 0*n = -16, -b + 4*n = -1. Solve -2*j = b*j for j.
0
Let p be (4/(-1) - -1)/(3/(-15)). Suppose 8 + 22 = p*v. Solve -2*x = v*x + 16 for x.
-4
Suppose 3*w - b - 11 = 0, w + 12 = 2*w - 2*b. Solve 5*y = w - 22 for y.
-4
Let c = 0 - 0. Let i be 15 + 4 + -4 + 3. Let x = i + 7. Solve c*u = -5*u - x for u.
-5
Let h = -3 - -3. Suppose 0*r - 4*r + 4*p = 8, 14 = 3*r + p. Suppose 16 = 5*t + y, -r*y + 3 = -h*y. Solve -t*q + 8 = q for q.
2
Let x(s) = 7*s**2 + 2*s - 1. Let u be x(1). Suppose -14 = u*o - 10*o. Suppose l + b + o = 2*l, 4*l = 5*b + 30. Solve -4*d - 17 = -l for d.
-3
Let u be 6/(-2) + (13 - (-1 + -2)). Suppose 3*t + u - 22 = 0. Solve t = -h + 4*h for h.
1
Let w be ((260/(-15))/(-4))/((-1)/(-3)). Let l = w + -7. Solve l*j - 3*j = 15 for j.
5
Let x be (-5)/((-25)/30) + 4. Suppose -5*g - x = -7*g. Solve 0 = g*l - 7 - 3 for l.
2
Let g = 14 - 13. Suppose i + 7*d - 2*d - 9 = 0, d - g = 0. Solve 2*p - i = 6*p for p.
-1
Let c be (-2)/(-2 - 0) + 127. Suppose 4*s - 2*f = c, 0 = 5*s + f - 62 - 84. Solve -5*m + 5 = s for m.
-5
Suppose -2*d = -2*a + 32, -3*d - 4*a + 2*a - 73 = 0. Let n = -13 - d. Let i(g) = -3*g**2 - 15*g + 112. Let m be i(-9). Solve -8 = -m*c + n for c.
4
Let n = -5 + 7. Let b = 16 - 15. Let y be 3*b*(-6 - -7). Solve -n*d = -d - y for d.
3
Let v be 600/140 + (-4)/14. Suppose 0 = -0*w + 5*w - 3*n - 18, 0 = 3*w + v*n - 34. Solve -t = -w*t for t.
0
Suppose 63 = 12*k - 3*k. Solve 35 = k*t - 0*t for t.
5
Suppose 0 = 137*z - 105*z. Solve -3*l = -z*l + 6 for l.
-2
Let o = 135 + -291. Let f = o + 170. Solve -3*b - f = -17 for b.
1
Let r(d) = d**3 - 15*d**2 - 41*d + 143. Let o be r(17). Solve -20 = -11*q + o for q.
4
Suppose 0 = -5*x + 3*i - 35, 2*x + 2*i + 2*i - 12 = 0. Let b be x/2*1 + 2. Solve b*t = 3*t for t.
0
Let g be (0 - -1)*(-610)/(-10). Solve 0 = -g*z + 67*z - 30 for z.
5
Let t(p) = 2*p**3 - 2*p**2 - 16*p + 44. Let y be t(5). Solve 6 = -y*m + 166*m for m.
3
Let l = 7 - 2. Suppose l*u - 5*w = -25, -4*w + 4 + 16 = 0. Solve -y - 1 = -u for y.
-1
Suppose -x - 3*p = -12, 28*p - 33*p = -4*x + 31. Solve 2*u = 19 - x for u.
5
Let o(u) = u**2 + 17*u + 86. Let n be o(-8). Solve 6*r - n = 4 for r.
3
Let b(l) = 2. Let w(d) = d - 4. Let u(x) = 2*b(x) - 2*w(x). Let t be u(5). Solve -18 = -5*p + t for p.
4
Let a be (0/(0 + -1))/(-2). Suppose 5*o = -4 + 9, 2*k = 5*o + 3. Solve -2*p + a - k = 0 for p.
-2
Let n be (-3)/(4*(-12)/(-160)). Let t(i) = i**2 + 9*i - 8. Let x be t(n). Solve -10 = x*p - 0*p for p.
-5
Suppose 0 = -5*y + 8 + 2. Let d be 11/(33/12) - (193 + -2). Let h = 188 + d. Solve y*n + 11 - h = 0 for n.
-5
Suppose -4*w + 0*w = -w. Solve w = -5*v + 15 + 5 for v.
4
Suppose -3*m - 4*a + 8 = 0, -5*m + 2*m = 5*a - 10. Suppose -14*h + 6*h + 32 = m. Solve -3*d + 8 = -h for d.
4
Let r be (-4 + 35/10)/((-3)/54). Solve 0 = -4*x + x + r for x.
3
Let u(v) = -v**3 - v**2 + 3*v + 2. Let g(z) = z**2 + 5*z + 4. Let b be g(-3). Let o be u(b). Solve m + 2*m + 6 = o for m.
-2
Suppose 0*u - 5 = b + u, 5*u = 0. Let v(k) = k**3 - 12*k**2 + 11*k + 10. Let q be v(11). Let t be b/q + (-17)/(-2). Solve t = -p + 5*p for p.
2
Let a(t) = -2*t**2 - 3*t + 12. Let k(r) = -2*r**3 + 2*r**2 - 3. Let d be k(0). Let c be a(d). Solve -z = -0 - c for z.
3
Let v(q) = q**3 - 10*q**2 - 16*q - 23. Let r(m) = m**2 + 1. Let t(z) = -3*r(z) - v(z). Let d be t(9). Solve -6 = 2*l + d for l.
-4
Suppose -7*v + v = 9*v. Solve v = 5*o - o for o.
0
Let d be (12/5)/(-3) - (-16)/20. Suppose d*b = -b. Solve b = -5*t + 4 - 14 for t.
-2
Suppose h + 3*v + 13 = 0, -h - 18 = 6*v - 2*v. Solve 2*p - 2*p = -h*p for p.
0
Suppose -3*u = 4*m - 22, 0 - 1 = -m - 3*u. Suppose -o + m - 2 = 0. Solve 3*l = 2*l + o for l.
5
Let t = 51 + -44. Let y be (1/(-3))/(t/(-84)). Solve -n - 9 + y = 0 for n.
-5
Let o(v) = v**3 - 3*v**2 + v + 2. Let y be o(3). Suppose -y*b + 20 + 0 = 0. Suppose 29*q + 16 = 32 + 42. Solve -b - q = 2*i for i.
-3
Let n = -34 + 72. Suppose -35 = y - n. Solve -f - y = -2*f for f.
3
Suppose 5*t + 2*o - 3*o = 81, t = o + 17. Suppose -1 = -6*y + 29. Suppose -y*l - 11 = -21. Solve l*j - t = 6*j for j.
-4
Suppose 0 = 11*c - 13*c - 2. Let k be 0/(-2 - (-1)/c). Let j be (-4)/6*(-6)/2. Solve 3*s - j*s = k for s.
0
Suppose -3*a - m = -12, 5*a = -4*m + 5 + 8. Let h = -2 + 5. Let p be (-7 - -16)*3*(-6)/(-27). Solve -a*x + p = -h*x for x.
3
Let k be (4/(7 + -3))/(-1). Let s be (k + 10)*2/6. Solve 8*v - 5 = s*v for v.
1
Let q(y) = -6*y - 8. Let p be q(-4). Suppose -p = -x - 3*x. Solve 2 = -x*f - 10 for f.
-3
Let a be 14/(-2) - (2 - (-63)/(-3)). Solve 0 = -a*t + 6*t - 6 for t.
-1
Let s = -20 - 10. Let h = 32 + s. Solve 0 = h*d - d + 5 for d.
-5
Let o be ((-35)/7 + 6)*(-1 - 22). Let b = 29 + o. Solve d + 5 = b*d for d.
1
Let q be 27 + 5 + 3 + -4. Solve 5*k = -11 + q for k.
4
Let b(t) be the first derivative of t**2/2 + t + 4. Let z be b(4). Solve 3*a - z = 1 for a.
2
Let q = -15006 + 15009. Let l = -10 + 20. Solve l = -q*j - 5 for j.
-5
Suppose -5*a - u + 2 = -2*a, -5*u = a - 10. Suppose a = 4*k - 5*k - 22. Let z = 37 + k. Solve 4*f + z = -f for f.
-3
Suppose 8*k - 60 = 2*k. Solve n - k = -4*n for n.
2
Suppose 0 = -r - 3*w + 5, -4*r = -5*w - 3. Solve -r*v = 2*v for v.
0
Let v = -863 + 868. Solve -v*k = -6*k + 1 for k.
1
Suppose -5*y = -j - 8 - 35, -35 = -3*y - 4*j. Solve -14*w = 47 + y for w.
-4
Suppose i + 2 + 9 = -m, -5*m - 23 = -3*i. Let q(r) = -r**3 - 7*r**2 - 2*r - 9. Let n be q(m). Suppose g = 20 - n. Solve -5*c - g = 5 for c.
-4
Let i be 0 - 4 - (13 - 45). Solve i = m + 25 for m.
3
Let a be (-15)/(-10) + 117/6. Let y be (1 - 0)/((-3)/(-54)). Let c = a - y. Solve -c*q + 25 = 2*q for q.
5
Let v(y) = y**2 - 18*y + 12. Let j be v(18). Let g be j/(-15) + (-93)/15. Let i = 10 + g. Solve 3 + 0 = i*w for w.
1
Let l(b) be the second derivative of b**4/12 - 5*b**3/2 - 7*b**2/2 + 4*b. Let c be l(16). Solve 4*o + c = 1 for o.
-2
Let a(t) be the third derivative of t**5/60 - 7*t**4/24 - 2*t**3/3 - 29*t**2. Let q be a(8). Sol