= 2*j - 6. Let x be 2/j*6*1. Solve 0 = 3*n + 5*h - 4, -2*n + h - x = -d for n.
3
Suppose t = -h + 7, -4*t - 18 = -7*t - 4*h. Solve -k = -4*l - 7, l + t = 3*l + 4*k for l.
-1
Suppose 5*d + 8 = 38. Let x = d + 0. Solve m + x = 2*t, -t + 5 = -0 for m.
4
Suppose -o - 8 = 3*o, 2*o = w - 9. Solve -4*m + 2 = -4*y + 6, -w*m = 3*y + 37 for y.
-4
Let l = 23 + -23. Solve 5*k + 2*b + 7 + 2 = l, -3 = -k - 2*b for k.
-3
Suppose 2*s + b = -3*b, 3*s + 15 = -3*b. Let l be (1 + -3)*s/5. Solve 5*w + 4*j - 25 + 9 = 0, -l*w = 3*j - 13 for w.
4
Suppose 5*z = -5*h - 25, -3*h + 5 = -3*z - 10. Let u(q) = 2*q**2 - 2*q - 4. Let r be u(3). Solve 0 = 3*j - k - r, -4*k - 3 + 19 = h for j.
4
Suppose -t + 0 = -3. Suppose 0 = -t*r - 9, 0*s + 3*r = 4*s - 81. Suppose 0 = 2*q + 2*a - s, 3*a - 15 = q - 2*a. Solve 2*b = -q*d + 22, -2*b + 1 = -b for d.
4
Let i = 0 + 15. Solve 2*t - 18 = 4*r, 7*r + i = 2*r for t.
3
Let t be 5*(0 + 4/5). Let f = -1 + t. Suppose -2*c = -5*c + 12. Solve f*g = -3*u - 12, c*g + 7 = -2*u + g for u.
-5
Suppose n + 4*n = -5*p + 40, 0 = 4*p - 2*n - 14. Suppose 2*o - 6 = s, 2*o - 6 = -p*s - 0. Solve 3*b = 9, -3*a - 27 = -s*a - 4*b for a.
-5
Suppose -k = -0*k - 9. Let c = k + -5. Let m = 15 - -15. Solve -m + 10 = c*g, 2*b + 6 = -2*g for b.
2
Let v be 4/(-14) - (-9)/7 - 1. Solve v = 2*l + 4*u - 24, -20 = -3*l - 2*u for l.
4
Let c = 2 - -2. Suppose 0 = 2*q + c*y, -3*y = -y + 4. Solve 4*p + 4*k = 0, -3*k + 3 = -q*p - 4 for p.
-1
Let v(o) = -o**2 + 22*o - 16. Let u be v(21). Solve 0*x + u*t + 8 = x, 2*t = -5*x - 14 for x.
-2
Suppose -6*i + x + 17 = -3*i, 3*i = -4*x + 7. Solve 0 = -2*b - q + 3, 0 = -i*b + 2*b + 4*q - 12 for b.
0
Suppose 0*y = 4*y - 16. Let u be (-4*y/(-2))/2. Solve 0 = -3*d - 2*h - 1, -u = 5*d - 3*h + 4*h for d.
-1
Let k(h) = -16*h**3 - h**2 - h - 1. Let z be k(-1). Let m be z/(-6)*8/(-10). Suppose 4*w - 14 = 2. Solve -w*a - 6 = -m*l, -4*a + l - 16 = -5 for a.
-4
Let v be -18*(-1)/3*1. Suppose 0 = 2*a - 10, v = -3*k + 4*a - 5. Solve -2*b + f - 2*f = 1, 2*b - 5 = -k*f for b.
-2
Let h = 9 - -13. Let n = -12 + h. Let t be (4/(-5))/((-2)/15). Solve -3*w = 2*l - t*w + n, -4*w = 4*l for l.
-2
Let f(a) = a + 8. Let h be f(-8). Suppose h = -3*y + 2 + 4. Suppose 0 = -y*b - 0*b + 16. Solve 17 = r - 4*n, r + 3*n + 10 + b = 0 for r.
-3
Let q = 2 + 2. Solve -3*n - 5*x - 27 = 0, -3*n = -q*n + 5*x + 11 for n.
-4
Suppose -14*o + 59 + 11 = 0. Suppose -80 = -i - 3*i. Solve o*a - 5 = -3*v, 3*v - 5 = -i for a.
4
Let y be 4/(1 + 1) + -3. Let j be (4 - -5) + 0 + y. Let r be 6*(-3 - (-11)/3). Solve -3*w = -x - j - 4, 9 = r*w + x for w.
3
Suppose -4*m + 165 = -5*z, 5*m - 2*m = 2*z + 115. Suppose -5*o - m = -5*x, 5*o + 14 = -2*x - 0*x. Solve -p = -u - 0 + 2, x*u = p for p.
-3
Let i = 9 - 5. Let r(v) = -v**2 - v + 12. Let j be r(0). Solve i*u - d - j = -2, 5*u - 5 = 5*d for u.
3
Suppose -4*a = 5*v + 25, -a - 3 = -2*v - 0*v. Let f be 7 - a/((-5)/(-2)). Solve -22 = 3*i + 5*r, -i - 4*r = 3 + f for i.
-4
Let f = 19 + -17. Solve -f*b - 4 = k, k - 3*b - 4 = -8 for k.
-4
Suppose p + 5*o = -12, 0 = 4*p - o - 19 + 4. Solve 0 = -p*n + 2*m + 4, 2*n + 2*m + 1 = 17 for n.
4
Let f(a) = 2*a**3 + a**2 - a + 2. Let l = -1 + -1. Let s be f(l). Let k be (4/(-5))/(s/60). Solve 2*u - 23 = -3*b - 0*b, -2*b + 4*u - k = 0 for b.
5
Suppose 0 = 7*v - 3*v - 60. Let x be 3 + (-1 - -1) + 0. Solve -z + 27 = 5*i + 2, -3*i + x*z + v = 0 for i.
5
Let t be ((-30)/(-35))/(6/28). Solve 0 = r + m - 5 - 0, 4*r + 4 = t*m for r.
2
Let h be -2*((-10)/4 + 0). Solve -9 = h*z - 0*z + p, 4*z + 7 = -p for z.
-2
Suppose -8 = -4*p + 4. Suppose 2*h - w - 16 = 0, w - 10 = -3*h + 19. Solve p*j - j + 4*f = 0, 4*j = f + h for j.
2
Let p = -57 + 59. Solve -2*w = -y - 3 - 6, -10 = -p*w for y.
1
Let v be ((4 - 4)/(-4))/2. Solve 2*f + 4*d - 18 = v, -3*f + 7 = -0*f - 4*d for f.
5
Suppose -5*t + 4 = n - 6, 5*n - 21 = 4*t. Solve o + 2*q = t, -5*o + 7*q + 31 = 4*q for o.
5
Let j = 8 - 2. Suppose 9*i - j*i = 0. Solve 2*f - 3*f - h = i, 5*h + 12 = -f for f.
3
Let i(a) = -2*a - 8. Let t be i(-6). Solve q = 6*s - 11*s - 15, s + 3 = -t*q for s.
-3
Suppose -t - 2*t = -21. Let v be 0/3 - (4 - t). Solve -3*l = -3*q - 0*l + 30, -4*l - 5 = v*q for q.
5
Let j = -2 + 7. Solve 2*s - 4*v - 6 = 0, 8*s - 3*s - j*v - 5 = 0 for s.
-1
Let o = 0 - 1. Let v = -1 - -2. Let w = o + v. Solve w = -3*k + 4*h - 22 - 6, 5*h = 20 for k.
-4
Let g(n) = 9*n**3 + n - 1. Let r be g(1). Let k = r - 6. Solve -3*a - 14 = -d, 5*a + 25 = k*d - 1 for a.
-4
Let x = -8 + 21. Suppose -1 = f + 5*w - 9, -5*f + x = -2*w. Let p = -4 - -6. Solve -f*o = 2*z - 2 - 5, -p*o = -10 for z.
-4
Suppose -4*i + 4 = -8. Solve -i*b - 2 = y, 0 = -6*b + 3*b - 3 for y.
1
Let k be 1*(-3)/(-6)*10. Suppose 4 = -3*l + 5*i, k*l - 2*i + 4 = 10. Solve -2*s = 2*y - 12, -5*y + l*y + 3*s = 0 for y.
3
Let h = 45 + -43. Solve -2*s + 3 = -3*q, h*q - s + 5*s = -2 for q.
-1
Let t(a) = -a**3 - 15*a**2 + 17*a + 19. Let v be t(-16). Solve -v*f - 2*w + 5 = 0, -f - 20 = -0*w + 5*w for f.
5
Let w be -2 - (2 + -3) - 0. Suppose 8*a = 3*a + 20. Let k be (1 - w)*10/a. Solve 2*d + 2*d - 8 = -5*m, -4*m + 1 = k*d for m.
4
Let o(l) = l**2 - 6*l - 5. Let q be o(7). Solve -3*z + 40 = 4*j + z, q*z - 35 = -5*j for j.
5
Let r be 56/21 - (-1)/3. Let a = 0 + 2. Suppose a = -t - 4*g, 3*t - 4*g - 10 + 0 = 0. Solve 20 = -5*j - t*h - 3*h, r*h = -5*j - 12 for j.
0
Let z(x) = -x**2 - 6*x. Let o be z(-5). Solve y - n + 1 = 4, -o*y + 2*n + 18 = 0 for y.
4
Let c = 52 + -42. Solve 0 = -5*s + 2*l + l - 2, 0 = s + 2*l - c for s.
2
Let c be ((-15)/(-9) + (-3)/(-9))*1. Solve 5*n - 5*t = -0*n + 20, c*n = t + 5 for n.
1
Suppose 3*p = -0*p + 9. Solve p = 5*s - 7, 0 = 5*f - 5*s + 35 for f.
-5
Let k(a) = -a**2 + 5*a - 3. Let x be k(2). Let q = 75 - 70. Solve -4 = 4*f + 2*l, -q*f + x*l = l - 4 for f.
0
Suppose 4*u = -3*w + 7, -w - 10 = -u + w. Solve u*c + 3*h - 14 = 0, -2*h = -c + h + 11 for c.
5
Let b = 24 - 15. Solve -3 = v + 4*s, s + 3 = -4*v - b for v.
-3
Suppose -17 = 5*q + 33. Let j(g) be the second derivative of -g**4/12 - 2*g**3 - 15*g**2/2 + g. Let k be j(q). Solve 0*t + k = 3*y + 4*t, y = -4*t + 7 for y.
-1
Suppose -2*b + 23 = 5*i, 2*b + i + 2 = 13. Solve b*y = -2*n - 20, -y = 5*n - 0 + 14 for y.
-4
Suppose -4*z + 0*z + 12 = 0. Solve 3*v = -2*g - 9, -1 = 4*v - 2*v + z*g for v.
-5
Let r(g) = -g**2 + g + 2. Let d(s) = s - 1. Let j(h) = 6*d(h) - r(h). Let f be j(-7). Solve -3*n - f = -3*z, 3*n + 7 = 2*z - 0*z for n.
-3
Suppose -s + 2*s - 12 = 0. Let t be 26/8 - 3/s. Suppose 8 = t*b - b. Solve b*q + 3*w = -0*w + 1, 3*q - 9 = -5*w for q.
-2
Let q(p) = p**3 + p**2 - 2*p. Let y be q(2). Let a = -6 + y. Suppose c = 7 - a. Solve 11 = -3*k - s, -3*s = -k - 4*s - c for k.
-3
Let v = -19 - -10. Let o(q) be the first derivative of q**2/2 + 11*q - 2. Let z be o(v). Solve -45 = 5*y - 5*n, -z*y + 5*y - 4*n = -31 for y.
-5
Let k be (-4)/(-10)*120/6. Solve 5*d = -4*y - 5, -2*y - 5*d + k = 3 for y.
-5
Let z(n) = n**2 + 11*n + 12. Let p = -25 + 15. Let a be z(p). Solve 0 = a*s, -4*t + 2*s = t + 15 for t.
-3
Let y be 2*4/8 + 3. Suppose 0 = y*h + 6 - 14. Solve -h*n = -5*g - 3, -3*g = n - g + 3 for n.
-1
Let f be (4 + -8)/((-4)/2). Suppose f*g + 0*o = 2*o, 3*g + 5*o - 24 = 0. Solve -5 = w + 3*w - a, -g*a + 4 = -w for w.
-1
Suppose 80 = 14*s + 2*s. Let n(k) = -k**2 - k + 5. Let b be n(0). Solve -r + 15 = 4*q - b, 5*r - s*q = -25 for r.
0
Let r(d) = 3*d - 27. Let q be r(10). Solve 16 = -4*z, 0 = 3*p + 2*z + q + 2 for p.
1
Let l = 32 - 30. Solve 17 = 5*j - h, -3*j + l*h - h + 9 = 0 for j.
4
Suppose -2*b + 3*i + 3 = 3*b, -b - 2*i - 2 = 0. Suppose b*d = -d. Solve d = -v + 2*k + 9, -5*v = -4*k - 27 for v.
3
Let g(l) = l**2 + 9*l - 8. Let c be g(-10). Let s be (-2)/c + 3 - -6. Solve 4*q - s = 2*j - 6*j, 3*q - 2*j = 16 for q.
4
Let t = -2 - -5. Let w = 2 - -4. Suppose 0*c + t*c - w = 0. Solve 2*x = 4*v + 14, -c*v = 2*x - 3*v - 8 for x.
3
Let m be (-2 - -3)*-1 - -3. Solve m*p = -c - 0*c - 5, c = 3 for p.
-4
Let z(h) = h**3 - 3*h**2 + 2*h + 2. Let i be z(0). Let j be ((-22)/(-4) + -1)*4. Solve u + 2*g - 3*g = i, u = -3*g - j for u.
-3
Let q(v) = 3*v**2 + 3*v + 3. Let n be q(-1). Solve 0 = n*a - 3*c, 2*c - 1 = a - 0 for a.
1
Let q = 150 - 135. Solve -10 = 4*z - 2*p, -z + 3*p = z + q for z.
0
Let y(f) = f + 6. Let d be y(5). Solve z - 5*o = -17, o + 4*o - d = -2*z for z.