 -3*h + 3*q = -0*h - 21, -3*q = -5*h + 27. Let w be -2 - (h + -7) - -24. Solve 0 = 5*p + 1 - w for p.
5
Suppose -5*k - 5*w + 55 = 0, -5*k - 2*w = -18 - 49. Solve k = -o - 2*o for o.
-5
Let c be (24/(-10))/((-6)/20). Solve o - c = 3*o for o.
-4
Let m(v) = -2*v - 8. Let d be m(-10). Let w = -2 + d. Solve 0 = -q + 3*q + w for q.
-5
Let l = -2 - -5. Suppose -l*h = h. Solve 8 = -h*w + 2*w for w.
4
Let m be -3*((-4)/12)/1. Suppose -m = -5*v + 4*v. Solve -2*s + 5 = -v for s.
3
Let i(s) = -s**2 + 14*s - 24. Let v be i(12). Solve v = -2*n + 3 + 3 for n.
3
Let b = 2 + 0. Let t(x) = -x + 4. Let q be t(b). Suppose -17 + q = -5*z. Solve s - 10 = z*s for s.
-5
Let j(s) = s**2 + 3*s + 2. Suppose -2*b + 3*b + 4 = 0. Let q be 5/(5/b) - 0. Let c be j(q). Solve 4*t = t + c for t.
2
Suppose 40 = -8*l + 3*l. Let s = -7 - 4. Let a = l - s. Solve 7*v - a*v + 12 = 0 for v.
-3
Suppose -7*t + 77 = 4*t. Solve -2*m + 3 = -t for m.
5
Let y be (-1 + 1)*1/2. Let m = 15 - 13. Suppose 0 = i, -2*i + 5 + 1 = m*v. Solve k = -y - v for k.
-3
Let y(a) = a**3 + 2*a**2 + 3*a + 1. Let v be y(-2). Let c = v + 12. Suppose -5*h = q - 18, -3*h - c = -5*q - 1. Solve q*d - 3 = 4*d for d.
-3
Let g = 186 + -175. Solve -4*z = g - 27 for z.
4
Let n be -1*3 - (-90)/(-2). Suppose 11 = -v + 3*t - 31, -2*v + t = 59. Let j = v - n. Solve 1 - j = -5*k for k.
4
Suppose 0 = k - 1, 2*z + 3*k - 17 = -6. Solve -z = -g + 1 for g.
5
Suppose -35 + 3 = -2*z. Let i = z + -11. Let d = 9 - i. Solve -c = -d*c - 15 for c.
-5
Let m be 7/(-2)*(2/(-2) + -1). Solve 3*b + m = -5 for b.
-4
Let d(l) = l**3 - 7*l**2 - 10*l + 10. Let s be d(8). Let a be (-454)/(-18) + s/27. Solve 6*r - r - a = 0 for r.
5
Let u(w) = w. Suppose 0 = 3*j - 3*k + 22 + 5, -3*k + 11 = j. Let l be u(j). Let d = -2 - l. Solve 11 = -d*x + 3 for x.
-4
Suppose -3 = -u + 1. Let c be (-2)/(-2) + -8 + 17. Suppose -4*o = -2*f - c, -8 = -2*o - 0*o + 2*f. Solve -u*v - 17 = -o for v.
-4
Let g be 0/(1 + 2/1). Solve g = 4*m - 2 + 10 for m.
-2
Let w = -17 + 23. Solve -6*r = -12 - w for r.
3
Let c = 2 + -4. Suppose 2*b = -0 - 4. Let f be (2/b - 1)*c. Solve -f - 2 = -2*w for w.
3
Suppose 3*w + 3 = 12. Solve -2*m + w - 9 = 0 for m.
-3
Let h = -15 + 3. Suppose 2*c - 73 = -4*j + 5*c, 3*c = -4*j + 103. Let r = h + j. Solve o = -o - r for o.
-5
Let o = 1 + 2. Suppose 4*d - 4*c - 7 - 5 = 0, -d = -o*c - 3. Solve -6 = 5*u - d*u for u.
-3
Let w be (2 - 5)*(-3)/3. Solve -w*d + 10 - 16 = 0 for d.
-2
Let r be (1 + (-3)/2)*-2. Let d be 4 - -1 - 0 - r. Solve 8 = -d*c - 0 for c.
-2
Let l(b) be the second derivative of b**4/12 + 5*b**3/6 - 2*b. Let k(c) = 2*c + 9. Let o be k(-7). Let r be l(o). Solve r = -n - 6 + 1 for n.
-5
Suppose 2*a - 1 = 1. Solve 0 = -2*y + y + a for y.
1
Suppose 0*o + 6 = 2*o. Solve 0 = 4*v - 11 + o for v.
2
Let u = -46 - -52. Solve -u*x = -2*x for x.
0
Let y(q) = 3*q - 1. Let u be y(3). Suppose -t = u - 1. Let p(d) = -d - 1. Let c be p(t). Solve f = c*f for f.
0
Suppose -4 = -2*k, 4*h - 30 = 2*k - 5*k. Solve 5*n = 3*n + h for n.
3
Let v = 20 - 4. Suppose 3*i - v = -i. Solve 2*r + i = 4*r for r.
2
Let t = 27 + -13. Let d = -11 + t. Solve d*r + 2 = r for r.
-1
Suppose -4*o + 12 = -5*v, -5*o + 4*v = 7*v - 15. Let c be 2 + (4 - o - -1). Solve c*k = 12 + 4 for k.
4
Let b = 26 + -14. Solve -c - 2*c + b = 0 for c.
4
Suppose 2*f + 6 = h, 4*h = -5*f + 6 + 5. Solve 0 = n + 8 - h for n.
-4
Let j(n) = -n**2 + 5*n + 5. Let w(x) = x**2 - 4*x - 4. Let g(r) = 6*j(r) + 7*w(r). Let t be g(-2). Solve t*f + 2 = 10 for f.
4
Let c(p) = -p + 6. Let v = 10 + -4. Let k be c(v). Suppose -5*z + k*z = 0. Solve -3*r + 8*r + 25 = z for r.
-5
Let p = -23 - -15. Let y(v) = v**3 + v**2 - v. Let a(k) = -6*k**3 - 13*k**2 + 8*k - 1. Let m(j) = -a(j) - 5*y(j). Let b be m(p). Solve b = -8*q + 3*q for q.
-5
Let l be 1/(-4) + (-26)/(-8). Solve 1 = -4*b - l for b.
-1
Suppose 5*l = 4*v + 49 + 3, 0 = -l - 4*v - 4. Solve 3*x = x - l for x.
-4
Suppose -75 = -3*i - 15. Solve -4*z = -0*z - i for z.
5
Let o(p) = 2*p + 7. Let s be o(-5). Let i(b) = 2*b**2 + 2*b - 4. Let j be i(s). Solve 3*v = v + j for v.
4
Let y(s) = s**3 - 3*s**2 + 2*s - 3. Let k be y(3). Solve 0 = -5*w + k*w - 2 for w.
-1
Let a(j) = -j**2 - 11*j - 3. Let i be a(-10). Solve -i = -4*c + 5 for c.
3
Let t(g) = g**3 + 5*g**2 - 8*g - 5. Let p be t(-6). Solve 4*d - 5 - p = 0 for d.
3
Suppose k = -2*k + 12. Suppose -w + k - 1 = 0. Let t(v) = -v**3 + v + 2. Let j be t(0). Solve -w*s - 2 = -j*s for s.
-2
Let u be -2 + (-3)/((-3)/14). Let m be (u/(-8))/((-3)/(-4)). Let j be ((-1)/2)/(m/24). Solve -j = 3*x - 6*x for x.
2
Let d(w) = w - 2. Let h be d(8). Suppose h*z + 3*c - 13 = z, -4*c - 26 = -2*z. Solve -3*a - z = -2 for a.
-1
Suppose v + 5 - 8 = 0. Suppose v*u - 2*t = 3 + 1, -3*u - 4*t = -10. Solve 3 = -u*n - n for n.
-1
Let d be 451/22 - (-2)/(-4). Solve d = -5*g - 5 for g.
-5
Suppose -2*w = -15*w + 26. Solve -k + w*k = 0 for k.
0
Let a(b) = -b**2 + 4*b + 4. Let w be a(4). Let p = 171 - 170. Solve w*y = 3*y + p for y.
1
Let b(j) = j**3 - 8*j**2 + 11*j - 7. Let h be b(7). Let n(s) = -s + 10. Let z be n(7). Let k = 2 - -4. Solve h = -z*r + k for r.
-5
Suppose -5*k + 2*j + 6 = 0, 3*k + 4*j - 14 = -0. Suppose 2*y - k*v = -8, 21 = -3*y + v + 3. Let r = 7 + y. Solve 0 = 2*l - r + 6 for l.
-3
Let r = 10 - 6. Suppose -c = r*c. Solve -3*j - 8 - 4 = c for j.
-4
Let m(f) = f**3 + 4*f**2 - 5*f - 11. Let j be m(-4). Solve -4*t = -11 - j for t.
5
Let t(h) = -h + 12. Let d be t(9). Let x = 0 + d. Suppose -13 = y - x*k, -31 = -3*y - 3*k - 2*k. Solve -3*p - y = 7 for p.
-3
Let t(a) = -a**2 + 7*a - 10. Let m be t(7). Let p be (4/5)/(m/(-25)). Solve -p*z + 3*z - 2 = 0 for z.
2
Suppose -23 = 2*k - 5*n - 7, -k + 2*n = 6. Solve y - 5 = k*y for y.
-5
Suppose -2*r + 18 - 4 = 4*h, 4*r - 16 = -4*h. Solve 0 = -2*g + 3 + r for g.
2
Suppose 5*f = 2*f - 24. Let p = 2 - f. Solve -2*i + p = -4*i for i.
-5
Suppose 3*t - 89 = -5*r, -3*t + 2*r + 13 + 111 = 0. Let g = t + -22. Suppose 3*z + 4*o - g = -z, -4*z + 5*o = -52. Solve 3*x + z = x for x.
-4
Let h be (3 - 4)/(2/(-8)). Solve -h*s + s = -12 for s.
4
Suppose d - 24 = -4*f - 5, 0 = -5*f - d + 23. Suppose 5*z - 11 = -3*c + 6*c, 4 = -f*c + 4*z. Solve -p + 1 = c for p.
-2
Suppose 4*t + 28 = 4*b, 4*b = 2*t + 15 + 7. Suppose 0 = -o - 3, -5*i = -2*o + 3*o + 3. Suppose i*c = -b*c + 8. Solve f - c*f + 5 = 0 for f.
5
Let v = -22 + 26. Solve i + i = v for i.
2
Suppose 0 = h - 4*h. Let z(p) = -p**2 - 9*p + 4 - 3 - 4. Let f be z(-8). Solve 15 + h = f*d for d.
3
Suppose -4*a = -0*a. Let t = 10 + a. Let y = t - 6. Solve -23 + 3 = y*x for x.
-5
Let f = 54 - 54. Suppose y + 2*r - 8 = 0, 0 = 5*y + 2*r + 26 - 90. Let n be 38/y - (-4)/14. Solve 2*v - n*v + 4 = f for v.
4
Let v be 8/36 - 86/(-18). Let p be (-7)/(-2) - 1/(-2). Suppose -p*f + 2*x + 26 = 0, v*f = -x - 0*x + 22. Solve f*c = c for c.
0
Let i(a) = -a**3 + 3*a**2 - 4*a + 6. Let r be i(2). Solve r*o = 1 - 3 for o.
-1
Suppose -5*s + 4*s + 5*p - 3 = 0, -2*p = -5*s + 54. Suppose 5*o + u + 0 = s, -u = o. Let l(h) = h + 11. Let a be l(-8). Solve 6*i = o*i - a for i.
-1
Let m(x) be the third derivative of -x**4/24 + 7*x**3/3 + 6*x**2. Let c be m(12). Solve 7 = -3*h - c for h.
-3
Suppose -p = 467 + 43. Let m be (-2)/7 - p/70. Solve 3*x - 2 - m = 0 for x.
3
Suppose 5*q + 6 = -4, -5*k - 2*q + 1 = 0. Let r = 3 + k. Solve 0*x - 16 = -r*x for x.
4
Suppose -2*s + s + 9 = 0. Suppose -3*o + 0*o + s = -u, o - 3 = 0. Solve -r - r - 8 = u for r.
-4
Let t(c) = c**3 + c**2 - c - 1. Let f be t(-1). Let i be 1/(-4) + 26/8. Suppose f = -j + 2*j - i. Solve -o + j + 2 = 0 for o.
5
Let p(c) = -c**2 + c - 1. Let n be p(1). Let z = n - -10. Solve -z + 1 = -2*y for y.
4
Let h be (1/(-2) + 1)*-10. Let i = 6 + h. Solve -6 = -5*s - i for s.
1
Suppose 0 = -7*h + 2*h. Solve h = 3*z + 6 + 6 for z.
-4
Let l = -3 + 3. Let z be -2 + l - -3*3. Solve 5 = p + z for p.
-2
Suppose 0 = j + 5*n + 13, -3 = -3*j + 2*n - 3*n. Suppose -3*a + a + 15 = 5*d, 5*a = -4*d + 12. Suppose -3*t + 8 + 1 = a. Solve t*q - j*q = -1 for q.
-1
Let u = -127 - -132. Solve u*f - f = 0 for f.
0
Suppose c - 23 = -w - 3*w, w + 2*c - 11 = 0. Suppose w*t = 132 + 38. Suppose -2*n - 4*h + 22 = 0, 3*n - t = -2*n - 3*h. Solve 0 = -n*d + 2*d + 6 for d.
2
Let k(i) = -i**3 - 19*i**2 - 18*i + 5. Let j be k(-18). Solve 0 = -j*v + 22 - 2 for v.
4
Suppose -2*j 