*n = 2*h - 3*n + 33, -3 = 2*h - n for h.
-4
Let f = -3 - -5. Solve 3*t = -4*u + 1 + 7, 5*u - 33 = f*t for t.
-4
Suppose -3*j + h = -7, 6*j - 5 = 3*j - h. Solve 1 = s - j, -5*i = -4*s - 3 for i.
3
Let s = -48 - -74. Solve 3*z - 4*z - 6 = n, n + 5*z = -s for n.
-1
Let y = 79 - 75. Suppose -a + 4*u = -7 + 2, 0 = 5*a + 4*u - 25. Solve -y*d - 2*h = -0*d + 26, 0 = -a*d + h - 15 for d.
-4
Let m = -3 - -6. Suppose -3*t - 10 = i, 4 - 18 = -i + m*t. Solve -8 = 3*w - i*u, -4*w + 4*u - 12 = -0*u for w.
-2
Suppose 2*d - 2 = -b - 2*b, 16 = -3*d + 5*b. Let f = d - -2. Solve -11 = -f*p + 2*p - 5*t, 2 = -5*p + 4*t for p.
2
Suppose -b + 7 = 2. Solve -23 = -2*x - 5*f, 5*x + b*f - 29 = 2*f for x.
4
Let c(u) = 3*u**2 + 1. Let x be c(2). Suppose -4*p - 5*s - 15 = 0, -3*s + 4 - x = 0. Solve -5*b + 4 = o - p*b, 3*o + 3*b = 12 for o.
4
Let m(q) = -q + 26. Let z be m(0). Let d = z + -3. Solve -d = 5*b + o + o, 11 = -b - 2*o for b.
-3
Suppose -k - 2*x = -6*x + 18, -k + 17 = 3*x. Solve 5*q = 0, 5*q = k*m + 2*q - 2 for m.
1
Let u be (-33)/(-2)*4/3. Let k = u - 14. Solve k*l - 3*l - a - 16 = 0, 12 = 5*l + 3*a for l.
3
Suppose 0 = -4*p + 17 + 7. Let q be (-64)/6 + (-2)/p. Let l = q - -11. Solve o + 4*m - 7 - 13 = l, 0 = 3*m - 15 for o.
0
Let o be -1 - (-1 - -2) - -14. Let c be (-5)/30 - (-74)/o. Solve 5*t = -4*a - 13, -a + 1 = 3*t - c*t for t.
-1
Let y be 10/(3/((-9)/(-6))). Solve -3*h = -s - 3, -5*s + y*h + 0 + 5 = 0 for s.
3
Let p = -25 - -28. Solve 2*u - 11 = -o - 2*u, 0 = -5*o + p*u - 14 for o.
-1
Suppose 4*d + 3*u - 12 = 0, 3*d - 3*u + 12 = d. Let x be -1*-9*(d + 1). Solve b + 2*b = 2*z + x, 4*z = 3*b - 15 for b.
1
Let b(w) = w**2 + 6*w + 11. Let v be b(-4). Solve -14 = -5*i - s, i + v = -4*s + 2 for i.
3
Let f(d) = -4*d - 16. Let u be f(-5). Solve -8 = -2*b + 3*k, -u*b - 3*k - 18 = -b for b.
-2
Suppose a + 16 = 5*a. Solve 1 = a*u - 11, 2*q = -5*u + 21 for q.
3
Suppose 0 = o - 3*o - 2*w + 6, 0 = -5*o - 3*w + 9. Let d be -3 + (2 - (-3 + o)). Suppose 7*j = d*j + 25. Solve -2*v + 3*q - 6 = v, 0 = -4*v + 5*q - j for v.
-5
Let d be 0 + 9 - (-3 - (-7 + 1)). Solve -r = n - d, -8*n + 5*n + 12 = r for n.
3
Suppose -r + 19 = -2*u, -2*r = 2*u + 2*u - 6. Suppose -4*d = -69 - r. Let a = 1 - -1. Solve t + 0*v + d = -4*v, a*t = -2*v - 10 for t.
0
Let g = -17 + 29. Let b = g - 4. Solve -2*r - 2*i - 2 = -b, -i + 7 = 5*r for r.
1
Let r(s) be the first derivative of -s**3/3 + 3*s**2 - 3*s - 4. Let w be r(4). Solve 24 = -4*c - w*n, -7*n - 15 = -c - 3*n for c.
-1
Let t be 58/18 + (-6)/27. Suppose t*k = -k + 12. Suppose p - k = -0*p. Solve -p*c - 3 = -w - 0, 0 = -c + w - 1 for c.
-1
Suppose 0 = -0*y + y - 3. Solve 0 = 3*t - 4*f + 13, t = -y*t + 4*f - 12 for t.
1
Let h(b) = 4*b**2 - 7*b. Let g be h(3). Solve 0*n - 3*y = 2*n - 7, 5*n = -y - g for n.
-4
Suppose 5*o + 5*b - 15 = 0, -17 = -5*o - 5*b + b. Suppose -14 = 4*w - 4*v - 66, 4 = -v. Solve 5*p + 23 = y - 5*y, w = 3*y - o*p for y.
-2
Let v be 1*188/4 - 2. Solve -5*t = 5*n + v, -t - 2*t - 11 = -n for t.
-5
Let g = -20 - -40. Solve 5*h = 3*b + 4*h - 2, 0 = 4*h + g for b.
-1
Let q(j) = -j**3 + 4*j**2 + 5*j + 1. Let m be q(5). Solve h + m = -4*d - 3, -d - 1 = 0 for h.
0
Let s be ((-20)/(-6))/((-7)/(-21)). Solve -5*n + 5*k + 25 = 0, 0*n - 2*n = 3*k + s for n.
1
Let l(g) = 4*g - 11. Let v be l(4). Solve -17 = -5*y + 3*k, 5*y + v*k = y + 21 for y.
4
Let i(x) = x - 1. Let s be i(5). Let m be 321/21 - s/14. Suppose 4*o - m - 5 = 0. Solve 2 - 1 = 2*t - o*d, -3*t + 4 = -5*d for t.
3
Let a = -10 - -10. Solve -i + a*k = -2*k + 9, -2*i - 2*k = -6 for i.
-1
Let t = 71 - 68. Solve -t*s = -4*u + 35, -2*u + 20 = -4*s - 10 for u.
5
Let g(p) = p**2 + 5*p - 7. Let c be g(-6). Let i(m) = 6*m + 1. Let w be i(c). Let a be (-2 + 2)/3 - w. Solve -r = 2*y, 0*r + a*r = -4*y for r.
0
Let f(o) = -12*o - 6. Let w be f(-5). Let r = w - 30. Suppose 4*j = -4 + r. Solve 2*q + 2*k = -3*k - 2, -5*k - 5 = j*q for q.
-1
Suppose 7*i = 8 + 6. Solve -3*s = -4*j + 20, -i*s - 4 = -4*j - 3*s for j.
2
Suppose 5*d + 113 = -2*i, -2*i = -5*d - i - 116. Let c = d - -9. Let j be 4/12 - c/3. Solve -5*h + 10 = 3*m + 2*m, 0 = -j*m - h + 2 for m.
0
Let f be ((-1 - -1)/(-3) - -1) + 2. Solve -k - k = y + 1, -f*k - y = 2 for k.
-1
Let g = 3 + -1. Let s be 9 + -4 + 2 + g. Let b = s + -2. Solve -b = o - 3*r + 13, -o = -5*r + 30 for o.
-5
Let z(x) = -x**2 + 2*x + 3. Let r be z(6). Let l be (-90)/r + 2/(-7). Suppose -l*b + 63 - 11 = 0. Solve -2*h - b = -3*o, -5*o + 2*h + 17 - 2 = 0 for o.
1
Let q be 3 + 4/(-4)*-1. Solve 2*u + 5*b - 6 = 0, u - q = -2*b - 1 for u.
3
Suppose -d - 40 = -3*r, -26 = 2*r - 4*r + d. Let m = -8 + r. Solve 0 = 4*w + 3*p + 6 + 6, 4*p = 2*w + m for w.
-3
Suppose 4*m + 9 = -2*x + 5*x, 4*m + x = 3. Solve k = -5*j + 27, m = 2*k + 5*j - 17 - 12 for k.
2
Let d be -2*(2 - 3) - -2. Suppose -8*m + d*m = 0. Solve 0 = q + 1, -3*v - 3*q + 2*q - 10 = m for v.
-3
Let r be 12*(3/(-6))/(-1). Suppose -r + 1 = -y. Suppose 2*g + 8 = 4*g. Solve -y*d - g = x - 3*d, -2*d = 0 for x.
-4
Suppose -12 = 6*o - 2*o. Let k(m) be the first derivative of -m**3/3 - 3*m**2/2 + 4*m - 1. Let g be k(o). Solve a - 5*w + 17 = -a, -g*a = 3*w - 31 for a.
4
Suppose -5*p + 3*a - 54 = 0, 0*p - 27 = 4*p + 3*a. Let n be 4/18 - 34/p. Suppose 0 = -2*u + n. Solve -2*f - 14 = -5*w, 4 = -u*w - f + 5*f for w.
4
Let l(k) be the third derivative of -k**4/24 + 5*k**3/3 - 2*k**2. Let w be l(8). Solve w*s = -4*j + 7*s + 33, -s - 3 = j for j.
2
Suppose -2*x = -4*x + 10. Suppose -4*z = x*v - 16, 5*v - 4*z + 18 = 2. Solve p - 16 = -3*p, v = -q + p - 1 for q.
3
Let x be (51/(-34))/(3/(-4)). Solve x*n - 2*o - 5 = 3, -3*n - 2*o + 2 = 0 for n.
2
Suppose -j - 4*j = -10. Suppose -2*c + 2*p = 0, -2*c - j*p + 7*p - 6 = 0. Solve -4*m = c*l + l, -l - 4*m = 8 for l.
4
Suppose -t - 13 + 4 = 0. Let w = t - -11. Solve -5*j + c + 20 = 0, -3*j + 4*c + 5 = w*c for j.
5
Let m(g) = g**2 - 8*g - 18. Let n be m(10). Solve 4*a + 5*p = n + 1, -5*a - 21 = -2*p for a.
-3
Let u be 6*((-16)/12)/(-2). Solve -u*p = -2*t + 28, 2*p - 3 + 29 = 4*t for t.
4
Let b be -11 - 1/(1 + -2). Let o = -6 - b. Solve 2*v - 3*v = 4*t + 4, -4*v = o*t + 4 for t.
-1
Suppose 6 = a + 6. Solve 4*z + 3*x = -0*x + 11, a = 2*z + 2*x - 6 for z.
2
Suppose f = 5*f - 12. Let s(c) = c**2 - 2*c + 2. Let w be s(f). Solve -2*p + 5*a = 3*p + 15, 0 = -w*a + 15 for p.
0
Suppose z - 4 + 10 = 0. Let w = 9 + z. Suppose 0 = -2*x - 5*s + 11 + 14, -51 = -3*x - w*s. Solve 4*g + g + r - 14 = 0, -2*g = 4*r - x for g.
2
Let t(s) = s - 11. Let x be t(9). Let p be x/(-5) + 16/10. Solve p*q - v = -5, -2*q + v = 6*v + 35 for q.
-5
Let o be 1/(3*4/24). Suppose -o*r = -5*r + 9. Solve 5*c - 24 = -r*f + f, c - 8 = -2*f for f.
2
Let x(o) = -o - 8 + 2 + 1. Let n be x(-9). Solve -r - 5*y = 3*r - 9, -5*r = -n*y - 1 for r.
1
Let u be (-2)/4 + 21/(-6). Let s(q) = -q**3 - 3*q**2 - q - 5. Let c be s(u). Suppose 4*l + l - c = 0. Solve l*g - 23 = -4*j, 0*j - 4*j = 4*g - 28 for g.
5
Let k(u) = 3*u**2 - 1. Let m be 2 - (-1 - -5) - -3. Let r be k(m). Solve r*z - 3*q = -3*z - 5, -4*q = 20 for z.
-4
Let y(m) = m - 6. Let z be y(8). Let v be 3*(z + (-8)/6). Suppose v*i = 4 + 8. Solve -i*n + 2*n - 20 = 5*k, 5*k + 5 = -n for n.
-5
Suppose 14 = 7*j - 0*j. Solve 2*k + 4*m + 16 = 0, -k + 0*k - j = -m for k.
-4
Suppose -2*k + 4 = -0*k. Let t be -3 - 12*k/(-3). Suppose 0 = 5*j - 25, 0 = -4*r + 4*j - 7 - 5. Solve r*i - 5*x = t*i + 13, -x = -5*i + 25 for i.
4
Let a(m) = m - 1. Let o be a(5). Let c(h) = -h**3 + 5*h**2 - 3*h - 1. Let v be c(o). Solve v = 3*n - 3*y, 3*n = 5*y + 2 - 7 for n.
5
Let m = 6 + -20. Let q be 1*(-7)/(m/12). Let z be q/3 + -1 + 1. Solve p - z*c = 3, -1 = -p - 4*c + 2 for p.
3
Let u = 15 + -9. Suppose l - u*l = -40. Solve y - l = -5*s, -y - 4*s = -2*s - 2 for y.
-2
Let x be 12/9*3/2. Suppose -4*d = -3*d, -x*d = 2*j. Suppose 2*p - 3 = 7. Solve -p*z + 4 = 2*l, j = -z + 4*l - 2 - 6 for z.
0
Let g(t) = -t - 4. Let y be g(-4). Solve y = 5*c + 2*s + s + 10, -c - 4 = s for c.
1
Let x be (-5)/(-15)*(33 + 0). Suppose 4*n - 33 = -2*b - x, 8 = 2*n - 2*b. Solve -m + 2*o + n = 0, m + 0*o + 4*o = -1 for m.
3
Let f = -4 - -11. Suppose -z - f = -3*v - 1, -v = 2*z - 2. Solve 0 = -5*a + 2*r + 31, -v*a + 4*r = 5*r - 7 for a.
5
Let c = -15 - -20. Suppose 9 = c*q - 1. Solve -q*m - 3*w - 4 = -2*w, -2*w = 3*m + 5 for m.
-3
Suppose -g - 3*g