Solve 5*j = 2*h - n, 3*j + 6 = -5*h + 2*h for j.
-2
Suppose -5*y + p = -19, 0 = -5*y + p + 3*p + 31. Solve 2*w + 4*o + 18 = 0, 16 = -4*w + y*o - 6*o for w.
-1
Let l be (5/(-5) + 3)*-2 + 9. Solve g = -d - 8, -d - 2*g + 14 = -l*d for d.
-5
Let d be (-6 - 0)/((-16)/8). Suppose -d*r + 8 = r. Let b be (3/r)/((-27)/(-36)). Solve c = a - 7, b*a - 7 - 3 = c for a.
3
Let j = 62 + -43. Suppose -5*s = -20, -3*i + 4*i + s - 7 = 0. Solve -i*d + 4*d - j = -5*y, -5*y = 2*d - 18 for d.
-1
Suppose 4*a + 22 = 2*a. Let r = a + 43. Let w be ((-5)/10)/((-2)/r). Solve -o + 4*k - 18 = 1, -3*o - k + w = 0 for o.
1
Let g be 8/(-20) - 3/5. Let b = g - -3. Suppose 3*u + b*h = 71, 4*h + 2 - 6 = 0. Solve 3*p = 2*p - 2*m + 4, 4*p = 5*m - u for p.
-2
Let n(h) = h - 2. Let v be n(7). Solve v*i = 2*w + 13, w + 6 = 4*i - 5 for i.
3
Let s(t) be the second derivative of -t**3/3 + t**2 - 3*t. Let v be s(-2). Solve v*x - x = 2*o - 29, -o - 13 = 3*x for o.
2
Suppose -w - 6 = s - 4, 0 = -2*w + 2*s + 12. Solve -w*g = -2*i + 2, -2 + 1 = -3*i + g for i.
0
Let h(k) = 2*k**3 - 3*k**2 + 3*k. Let r be h(2). Suppose 0*q = 5*q. Suppose q = 2*y - 3*y + 2. Solve 2*t + 3*a + 0 = -5, 0 = y*a + r for t.
5
Let y be (-1)/(-3)*(16 + 2). Suppose -2*w - y = w. Let f be 0/1 - 4/w. Solve -4 = -5*a + f*q, -3*q + 6*q = -4*a - 6 for a.
0
Let n(s) = -3*s**2 + 5*s - 8. Let c(v) = -v**2 - 1. Let l(f) = 4*c(f) - n(f). Let o be l(-5). Solve x + o*t = 10, 2*x + 2*x + 5*t - 7 = 0 for x.
-2
Suppose -u = 3*u. Suppose -3*c + 13 + 17 = u. Let g = c - 3. Solve k + 18 = 5*x, -5*x = -g*k + 2*k - 30 for x.
3
Let h = 24 - 17. Suppose 5 = -5*n - 5*s, 0 = -4*n - 2*s - 3*s - h. Let i(u) = u + 9. Let v be i(9). Solve -4*g + 3*g + b + 7 = 0, 4*g - v = n*b for g.
2
Let r be ((-6)/(-4))/((21/(-14))/(-3)). Solve u = q + 3*u + 3, q - 17 = r*u for q.
5
Let h be (-4)/(-1)*(1 - 2)/(-1). Suppose 0 = -2*g - g + 9. Let t be g - (h + (0 - 2)). Solve -s - 5*d + d = -t, 2 = 2*d for s.
-3
Suppose 0 = -4*z + 5*c, 2*z - 4*z - 5*c - 30 = 0. Let o = -3 - z. Suppose 0 = -3*k + p + 9, 4 - 20 = -k - 4*p. Solve -n + o = k*y + 2*n, y - 5 = -3*n for y.
-1
Suppose -d - 3*d = -80. Solve 4*z + 3*p = 5*p - 14, 0 = -5*z + 5*p - d for z.
-3
Suppose -2*l - 8 = -4*l. Let d(c) = 2*c + 9. Let j be d(-6). Let m = j + 5. Solve -a = l*t - 8, -3*a - t + 2 = -m*a for a.
0
Let v be 2/(-4) + 1 + (-6)/(-4). Solve -2*f - 3*a - 2 - 3 = 0, -v*f - 10 = -2*a for f.
-4
Let n(g) = 4*g - 20. Let p be n(5). Solve -2*q = -2*c, p*q + q + 5*c + 24 = 0 for q.
-4
Let b(k) = -k**3 + 2 - 2 + 3*k - 2*k**2. Let a be b(-3). Suppose 2*q + 4 - 10 = a. Solve 6*c - 18 = q*c - 3*j, -j = 5*c - 18 for c.
3
Suppose 21 - 66 = -5*a. Solve 0 = -5*r + 4*z - 16, -r + a = -2*r - 5*z for r.
-4
Let x = 9 + -1. Suppose 21 = 9*q - x*q. Solve -3*u + s + 2*s + q = 0, -3*s - 17 = -2*u for u.
4
Let n = -36 + 36. Solve 10 = 5*q + 5*u, -q + 5*u - u - 8 = n for q.
0
Let i(q) = -q**2 - 6*q + 2. Let l be i(-5). Solve 2*j = 3*b + 1 - l, 4*j + 12 = -4*b for j.
-3
Let b(h) = 4*h**2 - h + 3 - 2 - 4*h**2 + 4*h**2. Let a be b(1). Suppose 0 = g - 0*g. Solve -4*s + 3*x + a = 0, -2*s - 2*x - 12 = -g*x for s.
-2
Suppose -3*i - 7 = -r, 4*r + 3*i = 9 + 19. Solve 3*n + 23 = 4*p, -r = n + p - 2*p for n.
-5
Suppose 1 + 9 = g. Suppose -10 = 4*p + g. Let o be (p/(-4))/(1/4). Solve -3*w + 12 = 2*f + 2*f, -o*f = -2*w - 15 for f.
3
Suppose 7*j - 3*j = 8. Let v = j - 0. Let d be 3*8/6 - 1. Solve 5*g - 4*z = 36, 4*z - v*z + 20 = d*g for g.
4
Let d = 67 - 64. Solve -14 = 2*k - 4*u, 2*u - 25 = 5*k - d*u for k.
-3
Suppose -2*k = 4*o - 4, -6 = -2*k + 3*o - 2. Let i = 0 - 1. Let v = i + 3. Solve f + 0*f = v*w - 5, k*f + w = -10 for f.
-5
Let i be (-24)/18*(-6)/(-4). Let q = i + 5. Solve 0 = 2*s - k + 12, 0 = 3*s - 6*s - q*k for s.
-4
Suppose -w - 3*w + 20 = -4*s, w + 13 = -5*s. Suppose -4 = 2*h + w. Let z be (1 + -4)/h*0. Solve z = -0*m + m - 5*j - 4, 4*j = -2*m - 6 for m.
-1
Let g be 159/33 - (-10)/55. Solve 5*u + 5 = g*i, u + 5*i - 45 + 16 = 0 for u.
4
Let p(l) = -l**2 + 8*l - 4. Let i be p(5). Suppose 5*v + 20 = 0, -g = -5*v - i - 11. Solve 0*k + 8 = -k + n, 2*k - g = -4*n for k.
-5
Suppose -2*c + 3*d + 3 = -2*d, 2*d = 3*c - 21. Solve 3*l - 2*l = -5*v - 18, v = 4*l + c for v.
-3
Let y(x) = -5*x**2 - x + 1. Let h be y(1). Suppose -5*p - 2*t + 25 = 0, 5*t + 0*t + 11 = -2*p. Let k = p + h. Solve -4*v - 4 = -d + k*d, -v - 4 = d for d.
-4
Suppose -4*t + 21 = -s, t + s = 5*s + 9. Solve -t*k + a = 6 - 2, 3*k + 2*a = -5 for k.
-1
Let q = 31 + -15. Let b = q - 16. Solve -13 = -3*p + g, 0*p + 4*p + 5*g + 8 = b for p.
3
Let l = -8 - -8. Solve -3*b + 12 = l, -2*q - 12 = -3*b + 2 for q.
-1
Let l be 4/(-3)*(-18)/8. Solve -3*c - 2*n + 7 = -n, 4*c - 1 = -l*n for c.
4
Let q be -3*4/36*-33. Let c(t) = 14*t. Let s be c(1). Suppose -17 + 2 = -5*o. Solve 3*v + 2*p + s = -v, o*v + q = -2*p for v.
-3
Suppose 2*u - 4*u = 16. Let g(i) = -8 - i**2 - 4 - 10*i + 0*i**2 + 0. Let v be g(u). Solve -v*o + 8 = 3*c + c, -o = 0 for c.
2
Suppose 2*p - 5*p = 0. Suppose 3*d + 0*d - 5*z = 45, 3*z = p. Solve -4*c = -o - 12, -2*c + 3*o + d = -1 for c.
2
Suppose 5*g - 4*j - 10 = 0, g + 8 = 5*g - 3*j. Solve -g*w - 2*w - 22 = 3*k, k = -5*w - 22 for k.
-2
Suppose q = 4*g + 16, -q - g + 4 - 3 = 0. Let n = q - -1. Solve -l = 3*x + 4*l + 15, 5*l + 15 = -n*x for x.
0
Suppose y + 24 = 5*y. Solve t = -5*z + y, t + 2*t = -2*z - 8 for z.
2
Let z(l) = 8*l**3 - 4*l**3 + 2*l - 1 - l**3 - 2*l**2. Let k be z(1). Suppose -5*a + 8 + 12 = 0. Solve -5*t = -15, t = -a*m - 15 - k for m.
-5
Suppose 4*s + 0*s = 8. Let l(b) = 6*b - 2*b + b**3 + 5*b**s + 4 + 0*b. Let h be l(-4). Solve -h*w - 16 = 4*x, -4*x - 2*w - 15 = w for x.
-3
Let l(g) = g**3 + 5*g**2 - 7*g - 4. Let t be l(-6). Solve t*v + 10 = -x + 4*x, 3*x = -4*v + 16 for v.
1
Let g be 1*(-3)/(9/(-6)). Let d(u) = -2*u**g + u - 4*u - u - u**3 - 3. Let h be d(-2). Solve -2*m = -y + 6, -5*y - h*m - 30 = -0*m for y.
-2
Let h = 2 - 2. Solve h = 2*i + l + 1, -l = 5*i - 3 - 2 for i.
2
Let k(t) = 6*t + 20. Let l = -29 - -18. Let h(a) = -3*a - 10. Let q(p) = l*h(p) - 6*k(p). Let y be q(-7). Solve -1 = -x + g, -y - 16 = -3*x - 5*g for x.
4
Let a be (-2)/(-5) + (-148)/20. Let q(g) = -g - 3. Let c(b) = 1. Let o(h) = 6*c(h) - q(h). Let n be o(a). Solve -4*l - 9 = -3*s - 2*s, 0 = n*l - s + 3 for l.
-1
Let b be (6/5)/(6/75). Suppose 0 = -3*i + 4*i + 3*q + 5, -2*q - 10 = -i. Suppose -1 = -i*n + b. Solve l = -n*u - 16, 2*u + 0*l = -5*l - 26 for u.
-3
Let o = -115 - -120. Solve 2*w = -o*n + 6*w - 17, -3*w - 31 = 5*n for n.
-5
Suppose 5*c = -1 + 11. Suppose 1 = 2*b - 3. Solve -b*i - 3*o = -i - 10, -i = -c*o for i.
4
Let z = 14 + -21. Let h(a) = a + 7. Let f(s) = -7. Let k(u) = -3*f(u) - 2*h(u). Let b be k(z). Solve x + 4 - b = 3*p, -x = -p - 7 for p.
-5
Let f(i) = -1 + i + 3 - 1. Let m be f(3). Solve -18 = 5*w - w + 2*h, 2*w + m = 4*h for w.
-4
Suppose -4*f + 16 = -44. Solve -4*x + y + f = 0, -5*x - 1 = -4*y - 6 for x.
5
Let r = 21 + -17. Solve -2*o + 3*x = 4*x - 6, -r = -x for o.
1
Let h(s) = s**3 + s**2 + s + 4. Let f be h(0). Solve d + 2*a = 13, -a - a + 28 = f*d for d.
5
Let n = 19 - 17. Suppose 0 = n*l - 1 - 3. Solve l*a - 40 = -5*k - 13, 0 = 3*k - 2*a - 13 for k.
5
Let l(f) = -f**2 - 20*f - 16. Let o be l(-19). Solve -o*m = 4*d + 15, 0*m + m + 5 = 4*d for m.
-5
Let y = 6 - -5. Let d = 14 - y. Solve -d*l + 2*l + 5*n - 14 = 0, -4*n + 16 = 4*l for l.
1
Suppose -2*j + 612 = -6*j. Let z be (-34)/j - (-86)/18. Solve -c + 3*s - z = 0, 6 + 4 = -2*c - 5*s for c.
-5
Suppose d + 2*r = 1, -r + 2 - 3 = 0. Solve -2*x + d = 5*k - 2, 2*k = -2*x + 2 for x.
0
Let v = 1 - -1. Let k(r) = r**2 - 2*r - 3. Let y be k(3). Let w = y - -14. Solve -3*m = x - w, x + 4*m = 20 - v for x.
2
Let x(k) = -k**2 + 5*k - 2. Let i be x(3). Solve -2*q = -3*q + i, 23 = -o + 5*q for o.
-3
Let n be (1 - (-2 - -2))*5. Suppose 0*r + r - n = 0. Solve -2*b - r*t - 2 = -24, 10 = 2*b + 2*t for b.
1
Suppose -2*x + 2*x = 5*x. Solve 5*a + x*a - i = -13, 0 = 4*a + 5*i + 22 for a.
-3
Suppose 7 = r + 6, 3*f - 5*r - 7 = 0. Solve 2*d + f = 4*p, 5*d = -p + 4*p - 3 for p.
1
Let q(t) = t**3 - 8*t**2. Let a be q(8). Suppose -4*c = -a*c - 16. Solve -4*g + 0*g + 2*b = 6, 4*b = -c*g + 24 for g.
1
Suppose 0 = -3*f - 2*f. Solve 2*m = l - 13, 3*l - 3 = -f*l - 3*m for l.
5
Suppose 5*a + 2 - 17 = 0. Let z(s) = -s**3 + 4*s