 -3*h + 3 for h.
5
Suppose -4*l + l - 2*w + 18 = 0, 4*w + 52 = 5*l. Let a = l + -5. Suppose -3*d + b = -5, 0 = -d - a*b - 7 + 22. Solve -d*p + p = -6, -p - 9 = 3*y for y.
-4
Let y = -28 - -36. Solve 0 = -0*u + 3*u + 2*v + y, 0 = -5*u - 2*v - 12 for u.
-2
Let k be ((-3)/(-2))/(3 + (-10)/4). Solve 7*q = 3*q, -k*o + 3*q + 3 = 0 for o.
1
Let a = 14 - 14. Let p be 0*(a - (-3)/(-6)). Solve c - 4*x - 24 = -p, 0 = c + 2*x + 6 for c.
4
Let r(a) = -a**2 - 14*a - 21. Let m be r(-2). Solve t = w + m, 0 = 3*w - 4*t + 9 + 5 for w.
2
Let z be (64/2)/(-4)*1. Let g be (1*-1)/(4/z). Solve 3*n + n = -h + 14, -4*n = -5*h - g for n.
3
Suppose 0 = 20*p - 24*p. Solve p = -4*q - 3*l - 12, 5*q + 0*q + 15 = 2*l for q.
-3
Suppose -b = -6*b - 25. Let f be (-4)/b*30/4. Let a = -2 + f. Solve 13 = 2*g - 5*g + 5*x, g - a*x = -9 for g.
-1
Suppose m - 5 = -0*m. Suppose 0 = -c + 5 - 2. Suppose 0 = -m*i + 15, -3*y + y = -c*i + 1. Solve -4*l + y*k + 36 = 0, -4*l + 3*l = -3*k - 19 for l.
4
Let j = 10 - 7. Suppose 5*w = 2*h + 20, 55 = 2*w + j*w + 5*h. Solve 5 = 5*x, 20 = w*b - 2*b + 4*x for b.
4
Let k = 6 - 4. Let w = k - 1. Let i be 2 - (1 - 3)*w. Solve -4*o - o + 21 = f, i*f = o for o.
4
Let y(q) be the third derivative of -q**6/120 - q**5/20 - q**4/12 - 4*q**3/3 + 10*q**2. Let j be y(-4). Solve 4*k + j = 4*b, 0*b - k - 6 = b for b.
-1
Let o = 4 + -3. Suppose 0 = 2*l - 13 - o. Solve 4*h + 20 = -3*d + d, 3*h - 4*d = l for h.
-3
Suppose 0 = 3*b - 2*f, 6*b + 3*f = 2*b. Suppose b = -m - 2. Let i be 38/8 - m/8. Solve 5*q + 7 = s - 10, 5 = -i*q - 5*s for q.
-3
Let a = 170 - 165. Solve s - 2*g + 0 + 6 = 0, 0 = -3*s - a*g + 37 for s.
4
Let f(g) = -g**3 - 7*g**2 - 9*g - 13. Let h be f(-6). Solve -4*x + 2*k + 2 = -18, h = x - 5*k for x.
5
Suppose 7*t - 2*t - 25 = 0. Let p = 9 - t. Solve -5*r - 2*j = 9, -p*j = r + 15 - 6 for r.
-1
Let u(n) = -n**3 + 8*n**2 - n + 3. Let v be 18 + -7 - (2 - -1). Let b be u(v). Let h be b/(-1) - 2/1. Solve -w = 2*t - h*t - 2, 4*w + 5*t = -19 for w.
-1
Suppose 56 = -2*t + 4*t. Let o be (-124)/(-7) - (-8)/t. Suppose -2*k = -4*y + 18, 0 = -6*y + 3*y + 4*k + 26. Solve -2*b + o = 2*b - 2*i, -y*b + 5*i = -5 for b.
5
Suppose -29*d + 34*d = 25. Solve c = -d*x + 22, 3*x + 2 = 4*x - c for x.
4
Suppose 4*j - 8 + 0 = 0. Suppose p - 16 = -0*p. Let t be (-4)/10 + (-22)/(-5). Solve -o - t*a = -p, 0 = 4*o + o - j*a + 30 for o.
-4
Suppose 51*g = 47*g + 12. Solve -4*r - 40 = -4*k, 0 = -g*r - k + 5 - 15 for r.
-5
Suppose -2*v = -7 + 1. Solve -2*j + 0*d - 3*d = 8, 10 = -4*j - v*d for j.
-1
Suppose 0 = -z + 3*q + 6, z - q - 20 = -4. Solve -3*l + 4*o = 23, -4*l - 4*o - o = -z for l.
-1
Let c(k) = k + 14. Suppose -y - 16 = i - 6*y, 0 = -4*i - 2*y - 42. Let t be c(i). Solve 2*d = 4*h + 6, 14 + 1 = -t*h + 5*d for h.
0
Suppose 3 - 39 = 2*f. Let k be (-188)/36 - 4/f. Let s be (k/(-10))/((-2)/(-12)). Solve -3*r + s*l - 6 = 0, 3*r + 6*l - 18 = 3*l for r.
2
Let d = -37 + 41. Solve -j - 10 - 3 = -3*k, -1 = 5*k + d*j for k.
3
Let b(i) = -3*i**3 - i**2 - 2*i - 1. Let k be b(-1). Let n(z) = -z**3 - 6*z**2 + 3. Let h be n(-6). Let t = 7 - h. Solve 0 = -k*x + 15, m - 2*x + 3 = -t for m.
3
Let h = 11 - 11. Suppose h = 4*i - 5 - 3. Solve 4*z = -t + i, -t + z = 1 - 3 for t.
2
Let d = -20 - -24. Solve -d*m - 2*b + 0 = -22, 4*b = 2*m + 4 for m.
4
Let l(b) = -7*b + 3 + b - b. Let j be l(-4). Solve j = 6*f - f + 3*p, 0 = -2*f + 2*p + 6 for f.
5
Suppose 3*d - 126 = -3*d. Solve 4*g - d = b, 2*g - 4*b - 5 = 9 for g.
5
Suppose 4*f + 7*i = 2*i + 25, -25 = -2*f - 5*i. Solve -3*r - b + 16 = 0, 0 = -f*r + 5*r + 4*b - 36 for r.
4
Suppose 5*w - 3*w - 30 = 0. Let l = 17 - w. Solve 28 = -2*u - 5*a, -l*a + a = -u for u.
-4
Let b = 70 - 68. Solve q + z = -4, 0*z = z + b for q.
-2
Suppose -3 + 1 = -x. Solve x*j = 2*o + 4, -j - 3 - 1 = -4*o for o.
2
Let v = 1 - 0. Let p(z) = z**2 - z. Let f be p(v). Let i = -2 - -5. Solve f = -i*l + 2*t - 4, 0*l - 5*l - 15 = -5*t for l.
2
Let z = -10 + 13. Solve -4 = 5*f - 14, -2*q - z*f - 2 = 0 for q.
-4
Let i(v) = -v**3 - 3*v**2 - v + 2. Let z be i(-2). Suppose z = -5*u + 42 + 43. Suppose -u = -d - 5. Solve f + 4 = 3*o, d = -5*o - f - 2*f for o.
0
Let w(k) = k**2 + 3*k - 1. Let p(y) = y + 2. Let d be p(-6). Let f be w(d). Solve -4*j - 8 = 3*c, -4*j + 3*j - 17 = -f*c for j.
-5
Let s be 4 + (1*-1 - 0). Suppose 0 = 5*f + 2*u + 15, 0 = 3*f - 6*f - 4*u - 9. Let o be (-39)/(-5) + f/(-15). Solve -2*n + 4*b = 2, s*n - 4*b + o = -n for n.
-3
Let h = 6 - 5. Let u be h + (-1 - (-6 - -3)). Let o(j) = j**3 - 8*j**2 + j - 5. Let c be o(8). Solve u*g - c*v + 5 = -1, -4*v + 32 = 4*g for g.
3
Let o = 16 + -11. Suppose 3*n - 11 = 2*f + 5, -o*f - 29 = -2*n. Solve 2*c = -n*q - 2 - 4, 2*q - c - 3 = 0 for q.
0
Let l = 0 + 3. Let t = l + -1. Solve 0*z - z - t*q = -11, -5*z + 34 = 3*q for z.
5
Let p = 10 - 8. Let b be 0/(p/((-2)/(-1))). Solve j - 2 = 3*f + 5, -j + 4 = b for f.
-1
Suppose -4*d + 5*g + 10 = 3*g, d - 3*g = -5. Solve -24 = -k + d*n, -4*k + 4*n = -k - 32 for k.
4
Suppose -75 = -4*s + r, 4*s + 0*r - 85 = -r. Suppose 3*x = s + 7. Solve -7 - x = -3*y - k, -y - 5*k = -10 for y.
5
Suppose 20 = 4*l + 4*q, 0 = 4*l + 5*q - 13 - 11. Suppose 6 = p + l. Solve -y + 16 = -5*y, 20 = 2*a - p*y for a.
0
Let u be (16/4 - 14)/(-1). Solve -2*f + u + 2 = -4*o, 5*f + o + 14 = 0 for f.
-2
Let k be 52/16 - 2/8. Let y(v) = v - 2. Let i be y(3). Let h be (i - k) + (1 - -1). Solve 15 = l - 4*m, h*l - 4*m - 6 = 2*l for l.
3
Suppose -2*o + 4*o - 16 = 0. Let i = 15 - o. Let p = i - 5. Solve -2*a + 2 = -p*c + 10, 2*a + 8 = 4*c for a.
-4
Let v = 13 + -14. Let i = -1 - v. Solve i = -2*q - 5*p - 39 + 4, -5*p = 25 for q.
-5
Suppose 0 = 5*h + 5*k - 30, -h + 10 = -2*h - 5*k. Suppose 0 = v + 4*v - h. Solve -4*c - 2 = 3*f - 0, -v*f = 4*c for f.
-2
Let c(u) = -7*u + 5. Let t be c(0). Let n be (-1)/(-4) - (-7)/4. Solve -2 = n*a - 0, -3 = -t*p + 3*a for p.
0
Suppose -c = c - 10. Let o(i) = -2*i**2 + 18*i + 49. Let w be o(11). Solve -4*d = q + 24, -d = -w*q + 4*d + c for q.
-4
Let p be 2/(-5 - (-66)/12). Solve 2*s = s, 5*f - 25 = -p*s for f.
5
Let m be (3/(-2))/((-18)/24). Let p be (-6)/4*28/(-6). Suppose -p + 19 = 3*t. Solve 4*o - 3*o - n + m = 0, o + n + t = 0 for o.
-3
Let r(h) = h**2 - 3. Let s be r(2). Solve 2*p = 2, -s = 3*y + p - 5 for y.
1
Let v = -7 + 7. Let z = 3 + v. Suppose -2*t + r + 14 = z, 5*r + 7 = 2*t. Solve -t*i - k = -2*i - 10, 2 = -4*i + 5*k for i.
2
Suppose 4*z + 19 = -k + 45, -10 = k - 5*z. Let o be (-26)/(-5) - 2/k. Solve 5*j - 7*f = -3*f - 24, 5*j = o*f - 25 for j.
-4
Let u be 0*1*(-2)/(-2). Let a(k) = -k**3. Let o be a(u). Suppose -6*f + 4*f + t + 17 = o, -4*f + 19 = 3*t. Solve 4*z + 0*y = -y - 17, -z = -2*y - f for z.
-3
Let p(a) = 8*a - 6. Let k be p(4). Let o = -21 + k. Solve -4*x + 4*r = -o*x - 15, 3 = -r for x.
-3
Let i = -4 - -1. Let p = 0 - i. Suppose f = -3*f - 5*l + 35, 0 = -3*l + 9. Solve 6*o + 16 = p*o - 5*a, f*o + 4 = 3*a for o.
-2
Let y = 2 + 2. Let k(b) = -y*b - 2 - 2*b**2 + b**2 - 3*b. Let z be k(-6). Solve 3*m + 2*x + z = 0, -2*m - 4 = 2*x - x for m.
-4
Let o = -20 + 50. Suppose -o = -c - c. Let i = 30 - 15. Solve i = 5*p + 3*l, 0 = 4*p + p + l - c for p.
3
Let r be ((-2)/6)/(11/(-231)). Suppose 8 = r*p - 3*p. Solve -3*h - 4 = k, h = k - 2 - p for h.
-2
Let o be 0 - (-1 + (-2)/1). Let w be (-6)/(-8) - (-27)/(-4). Let u = w + 11. Solve 1 = p + 3*y, 3*p = u*y - o*y + 14 for p.
4
Suppose -4*j + 4*i - 6 + 14 = 0, -5*i - 10 = 2*j. Let m = -20 + 40. Solve j = 4*n - m, -2*n + 8 = -r - n for r.
-3
Let q(n) = 5*n - 1. Let t be q(1). Suppose 54 = 4*i + 2*z, -4*i + t*z = -37 - 35. Let p be ((-1)/(-3))/(1/i). Solve -6 = -5*a - 4*l, l + p = 2*a - 0 for a.
2
Let s(j) = 2*j + 20. Let g be s(-9). Suppose -1 = 2*l - 2*t + 3, -5*l - g = -t. Solve 2*w - x - 14 = l, 3*w + 22 - 53 = 4*x for w.
5
Let x = 15 + -13. Let d(s) = -s**3 - 9*s**2 + 11*s + 15. Let f be d(-10). Solve t = 3*y - 9 - x, y + f*t = -23 for y.
2
Let s(f) = f + 1. Let p(x) = -3*x - 3. Suppose 2*r = 1 - 5. Let g(b) = r*p(b) - 7*s(b). Let z be g(-6). Solve 4*c - 11 = z*c - 5*t, c - 1 = t for c.
4
Let m be -1 - -1 - (-1 + 1). Suppose 10 + 6 = -4*u, 0 = -4*h + 4*u + 36. Suppose -5*j = -25, m = v - h*j + 10 + 12. Solve -w = -v*d - 13, -3*w - 10 = 2*w for d.
-5
Let z(d) = -d**3 + d**2 + d - 1. Let j be z(0). Let m be ((-8)/(-10))/(j/(-5)). Suppose -1