 = -h for h.
-1
Let d(o) = -o**2 + 5*o - 3. Let f be d(3). Suppose -5*q + 10*q - 22 = h, -f*h - 3*q = -24. Solve 5*x - m + 12 = -h*m, -5*x + 5*m - 5 = 0 for x.
-2
Suppose -3*s = -5*s. Suppose -2*m + s*k - 3*k = -15, 0 = -2*m + 2*k. Solve -5*j - z - 4 = 0, -m*z - 2 + 1 = 4*j for j.
-1
Let c(b) = b**3 + b**2 - b + 10. Let w be c(0). Let s be (56/(-10))/((-4)/w). Solve -i + z = -3*i, 5*z - s = 4*i for i.
-1
Let g(u) be the third derivative of u**4/24 + u**3 + 2*u**2. Let j be g(5). Solve -3*w = -4*y - 16, 3*w = 3*y + 4 + j for y.
-1
Let w(b) = -b**2 + 6*b + 4. Let m be w(6). Let g = m - 2. Solve -14 = -d + g*o, 0*d + 5*d = -3*o + 5 for d.
4
Let m be -1 + 9 + (-2 - 1). Solve 14 = -3*l + 2*l + 4*n, n + 7 = -m*l for l.
-2
Let h be (15/9)/((-1)/6). Let d be 15/6*(-12)/h. Solve g + 5 = d*k, g - 3*g = 10 for k.
0
Suppose 0 = v - 6*v - 950. Suppose 5*m = 2*f + 90, 3*f + m = -0*f - 135. Let p be v/f + 2/(-9). Solve p*g = -w - 1, -5*w - 5 = g + 3*g for w.
-1
Let y = 6 + -3. Solve -5*i + 2*v = 15, -4*i + y*v = 1 + 4 for i.
-5
Let h(o) = -o + 12. Let v be h(9). Suppose -8 = -u + 6*i - 3*i, 4 = u - 4*i. Let z be 1/(-3) - u/(-6). Solve z*w - 4*f = -15, -v*w - 3*f - 1 = -7 for w.
-1
Suppose 2*k + 2 = 5*a - 6, -3*a + 2*k + 4 = 0. Let b(l) = -1 + 1 - 10*l + a. Let c be b(-3). Solve -4 + 0 = -4*n + 5*q, -3*n = 5*q + c for n.
-4
Suppose 2*r - k - 10 = -5, -k = 3*r - 10. Solve -4*o - r*y + 18 = 0, 5*o + 2 - 7 = 5*y for o.
3
Suppose 7*u = 2*u + 25. Suppose 69 = u*v - 16. Solve -3*j = -4*x + 4 + v, 4*j - x = -15 for j.
-3
Let n(w) = w**3 - 3*w**2 + 1. Let z be n(2). Let c = -1 - z. Solve 4*q = -f + 4, q + 3*f + c = 14 for q.
0
Let n(k) = 2*k - 10. Let v be n(7). Suppose 0 = 5*m - 4*b - 42 + 5, 3*m - 17 = 5*b. Suppose -m*x = -v*x - 20. Solve -10 = 4*q - 26, -x*j = 5*q - 36 for j.
4
Let v = 31 + -43. Let g = v + 21. Suppose g*x + 16 = 13*x. Solve -2*m = -4*b + 18, -x*m + 3*m = b for b.
3
Let o(g) = 5*g - 35. Let u be o(8). Solve -2*q + u*v + 24 = 0, 0 = 2*v - v + 4 for q.
2
Let l = 34 + -21. Suppose 5*d - 55 = 5*a, l = 3*d + 2*a - 0*a. Solve 3*r + b + 9 = 0, -4*r - 5*b + 2*b - d = 0 for r.
-4
Suppose -30 = -4*f - 2*f. Solve 2 = 3*a - 4*m, -3*a = -f*a - 4*m - 12 for a.
-2
Let w(f) = -f**3 - 4*f**2 + f + 5. Let o(c) = c**3 + 2*c**2 - 4*c - 7. Let a be o(-3). Let g be w(a). Solve -3*u = 5*m - g, 4 = -2*u + m - 4 for u.
-3
Let q(r) = -r**2 + 7*r - 4. Let l be q(6). Let y be 2*(-2)/(l/(-2)). Solve -2*i + 1 = -5*g - y, 12 = 3*i - 3*g for i.
5
Suppose -3*z - 22 = -2*l + 7, 5*l + 5*z - 35 = 0. Solve 5*j + 7*k - 2*k = -l, 0 = -k for j.
-2
Let w = 17 + -23. Let l(u) = 11*u**3 + u**2. Let f be l(-1). Let i = w - f. Solve -h - 2 = 3*y - 0*h, 4*h = i*y + 24 for y.
-2
Let l be (-1)/(-8) - (-27)/(-24). Let r be 26 - 6 - (l + -2). Solve 0 = -3*u - 2*v - r, 8 = u - 5*v - 7 for u.
-5
Let o(n) = n**3 - 9*n**2 + 7*n + 17. Let q be o(8). Solve -7*f = -3*r - 2*f - q, -2*f - 15 = 5*r for r.
-3
Let a be (-48)/2 + 0/4. Let o be 4/a - 43/(-6). Let q be (-3)/(-1 - 5)*4. Solve b + 3*y + y = -o, b - q*y - 11 = 0 for b.
5
Let u = 119 + -115. Solve -3 = b - 4*k, -b + k = u*b + 15 for b.
-3
Suppose 4 - 2 = -2*l. Let g be (-3 - (-2)/2)*l. Solve g = a + c - 3*c, -2*c = -4*a - 4 for a.
-2
Suppose -4*v - 3*l + 32 = 0, -22 = -2*v + 2*l - 5*l. Suppose 11 = 8*h - 21. Solve 3*q - v*q + 8 = -2*m, -5*m - 2 = h*q for q.
2
Suppose 4*x - 16 + 0 = 0. Suppose x*g - c + 4*c = 0, -2*g + 2*c = 0. Solve g = -3*z - 3*v, 0 = v + 1 for z.
1
Suppose -2*x + 3*x - 39 = 0. Let a = x + -16. Solve -a = -f - 4*c, -3*c + 10 = 4*f - 17 for f.
3
Suppose x + 8 = 2*l, -4*l = -4*x + 6*x - 24. Solve x*s = -b - 0*b + 5, b + s - 1 = 0 for b.
-3
Suppose 4*i = -5*r + 14, 0 = -2*r - 2*r + 5*i + 3. Suppose 0 = q + 4*q + 2*m - 14, -5*m - 23 = -r*q. Solve -3*j - 3*k + 25 = -5, k + 15 = q*j for j.
5
Let w(f) = f - 6. Let d be w(16). Let a be 2/6 + (-40)/(-6). Let j = d - a. Solve 3*c - j*n + 11 = -4*n, -c = n + 5 for c.
-3
Let f = -2 - -2. Let h(s) = 2*s**2 + 5*s + 4. Let y be h(-5). Let n be (2 - 3)/((-1)/y). Solve -m = -5, f*m = -w + 5*m - n for w.
-4
Suppose 0*l + 3 = 5*l - 3*r, 0 = l - 3*r - 3. Solve l = -2*o - 3*y + 1 - 14, o + y = -4 for o.
1
Let b = -15 - -11. Let r = 0 - b. Solve -2*z + 20 = r*y - 0*z, -5*y + z = -18 for y.
4
Let d(z) = z**3 - 2*z**2 - 4*z + 4. Let m be d(3). Solve -5*x = 20, -3*l = -4*x - 32 + m for l.
5
Suppose x + 15 = -5*n, x - 4 = n + 5. Solve -o + 4*i = -4, 4*i - 11 = -x*o + 9 for o.
4
Let x(f) = -f**2 + 6*f - 2. Suppose 2*q + 0*q = -3*t + 11, 3*t - 23 = 4*q. Let w be x(t). Solve m + w = -2, 5*c + 2*m = -5 for c.
1
Suppose 4*n = -5*f - 13 + 1, -9 = 3*n. Solve 0 = 2*i + 5*q - 10, f*i + 5*i + 17 = -2*q for i.
-5
Let o = 22 + -7. Let u(s) = -2*s + 11. Let z be u(4). Solve -4*m + b = -o, z*b + 2*b - 9 = -m for m.
4
Let c(q) be the second derivative of -q**4/12 - 4*q**3/3 - 9*q**2/2 + q. Let p be c(-6). Suppose 2*u - u = p. Solve 5*v + 5*l = 0, 10 = u*l + 1 for v.
-3
Let r(h) = -h**2 + 9*h + 41. Let y be r(12). Solve -y*w = 2*n + 1, -3*n - w - 13 + 5 = 0 for n.
-3
Suppose -6*h - 24 = -9*h. Suppose 3*c + c = h. Solve -a + c*v = -3*a - 4, -4*v = 2*a + 6 for a.
-1
Suppose -2*i = -9*c + 4*c + 19, 4*i - 4 = -4*c. Solve 0 = -2*s + k - 1, 2*s - c*k - 14 = k for s.
-3
Let a be 6/1 + 6/(-2). Solve 2*k + 9 = -a*o, -o = 2*k - 0*o + 3 for k.
0
Suppose 22 = j - 9. Let x = j - 19. Let z be (6/(-12))/((-1)/4). Solve r - d - 18 + 9 = 0, z*d = -4*r + x for r.
5
Let o = 136 - 132. Solve 0 = 2*r - r + s - o, -2*r + 5*s = 27 for r.
-1
Let b(s) = 6*s - 67. Let m be b(12). Solve -11 = -m*d - v, -2*v + 3*v + 4 = 0 for d.
3
Let a = 51 + -47. Solve 2*c + 0*w - 3*w + a = 0, 0 = c + 5*w + 15 for c.
-5
Let z be 5/(15/(-12)) + 8. Solve -z*v + 10 = v + 5*h, 2 = 3*v + 5*h for v.
4
Suppose -6 = -3*d - 15. Let v be ((-2)/(-4))/(d/(-18)). Let g(i) = -i**2 + 6*i - 3. Let y be g(5). Solve 3*p - y = k, 4*k = 2*p - 5 - v for k.
-2
Suppose 0 = -5*q + 5*n + 9 + 6, q = 2*n. Solve 8 = b - 5*f, -b - 14 + q = 3*f for b.
-2
Let o be (1 - (1 + 1))/(15/(-60)). Solve 5*n - k - 14 + 0 = 0, 0 = -o*n - 5*k - 12 for n.
2
Let a = 90 - 50. Solve -5*j + 4*y = -y - a, -5*y + 5 = 4*j for j.
5
Let o be 3/(-2)*4/(-6). Suppose 316 = 3*j - l, 4*j - 416 = -0*j - 4*l. Let p be j/33 - 2/11. Solve 4*k - 3*w - o = 0, 3*k + k = w + p for k.
1
Let q be 2/(-20)*-142 + (-4)/(-5). Solve 2*v + 3*l - 2 = -q, -4*l = 2*v + 16 for v.
-2
Suppose -2*k + 18 = -5*c, 3*k + 3*c + 22 = 7*k. Solve -3*r - 13 = -2*r - 2*v, -k*r - v = 16 for r.
-5
Let y(m) = -3*m - 2. Let j(s) = -4*s - 2. Let n(u) = -5*j(u) + 6*y(u). Let z be n(2). Solve b + 3 = 3*q, 3*b - 5*q = -z + 1 for b.
3
Let y = 12 - 18. Let q(h) = -h**2 - 8*h - 9. Let p be q(y). Suppose t = -p + 5. Solve 3 = t*m + 5*o + 17, 4*m + 4 = 2*o for m.
-2
Let n be 2/(-6) + 335/15. Suppose 2*j + 14 = 7*j - 4*h, 0 = 5*j - 2*h - n. Let z = j + -6. Solve -q = 3*b - 8*b - 14, z = b + 3 for q.
-1
Let h = -11 + 19. Let y = 13 - h. Solve -y = -g, -4*g - 17 + 53 = 4*r for r.
4
Suppose -3*j = -5*j + 8. Let w be 1/(-3) - (-65)/15. Let r(z) = -z**2 + 5*z + 4. Let k be r(w). Solve 5*b + 25 = j*n - k*n, 0 = -3*n - 4*b - 19 for n.
-5
Let n = 2 - -8. Suppose 7*m = 6*m + 3. Solve 0*q = -4*x - 4*q - 40, 0 = m*x - q + n for x.
-5
Suppose -3*r - 8 = -17. Solve -r*a = 2*a + 5*l + 5, -31 = -4*a + 3*l for a.
4
Let i(c) = 1 - 1 + 5*c - 4*c**2 - c**3 + 3. Let o be i(-5). Suppose o + 3 = 3*q. Solve -2*p - q*m - 2 = -0*m, -2*p - 3 = m for p.
-2
Suppose -4*y - y = -15. Let c(p) = -p + 7. Let z be c(y). Solve 2*x - 3*u = -9, -4 = z*x - 4*u + 4 for x.
3
Suppose -x + 8 = 3*a, 0 = -x - 2 + 1. Let m(h) = h**2 + 2*h + 1. Let l be m(-5). Solve -3*f + 11 = -3*v - 10, 2*v + l = a*f for f.
2
Let o = -1 + 3. Suppose 0 = -3*f + o*d, 13 = -f + 4*d + d. Suppose q = -4*r - f + 10, 3*q - 2*r = 10. Solve 2*u = 3*t + 3, -2*t = -5*u + q - 2 for u.
0
Let l be 2*(-5)/(-4)*144/90. Solve p - 3*p - l = 0, -4*c = 3*p + 10 for c.
-1
Suppose -4*k = -2*k - 8. Suppose 0*x = 2*m - x - 3, -3*x = -3*m + 6. Solve -5 = -2*u + f, -u - m = -2*f + k for u.
5
Let t = -10 + 17. Let m = t - 4. Let g be (3 - 5 - 1) + m. Solve g = 4*x + 3*f + 2, 5*f - 1 - 17 = 4*x for x.
-2
Let h = -3 - -6. Suppose 8 = 4*m - 8. Solve l = -h, -35 = m*r - 0*l + 5*l for r.
-5
Let l(p) = -p**2 - 4*p + 3. Let u(j) = j**2 + 3*j - 3. Let b(h