lve -v = -u + h, 4*v = -0*u + 2*u - 24 for v.
-4
Let b be (-6 + 7)/(1/5). Solve -2*v - 3*y + 0*y + 3 = 0, -5*y - b = 0 for v.
3
Let i(n) = -n - 10. Let o be i(-13). Solve -3*y = 3*d - o, -4*d = y + 7 - 17 for d.
3
Let b be 1/4 + (-63)/(-36). Solve 6*x = x + 5, -11 = -3*t - b*x for t.
3
Let a = 22 + -17. Suppose 0 = -a*b - 0*b + 20. Solve -5*j = 0, -b*h + 0*j = -5*j for h.
0
Let z(v) = v**2 + 5*v - 4. Let m be z(-6). Suppose -4 = -2*r + m. Solve 5*t + 3*w + 5 = 5*w, -r*t + 1 = -2*w for t.
-3
Suppose 7*z - 3*z - 8 = 0. Solve -3*s = z*s - 2*h + 2, s - 10 = 3*h for s.
-2
Let o(t) = t**2 + 3. Let w be o(0). Solve -4*h - 2*z = 5 + 13, -2*h - w = -5*z for h.
-4
Suppose c - 485 = 5*n, -475 = 5*n + c - 0*c. Let j be n/(-45) - (-8)/(-60). Solve -5*r = -j*x - 30, -3*r + 1 = -x - 4*r for x.
-5
Let c = 3 - 3. Suppose t + 6 = 4*n - 3*n, c = 3*n - 5*t - 26. Solve 0 = 4*u + n*l + 2, 0*l - 3*l = 5*u + 4 for u.
1
Let i(b) = b**2 + 4*b + 12. Let y be i(-4). Solve 2*z + 3*r - y = 0, 2*r - 2 = 6 for z.
0
Suppose 0 = h - 2*z - 32, 171 = 5*h - 4*z + 5*z. Suppose -h = -5*p - 0*j + j, -5*p - j = -36. Solve -4*a = -9*a + 20, -b + a - p = 0 for b.
-3
Let u(g) = g**3 - 6*g**2 - 8*g + 24. Let l be u(7). Let h(p) = -p**2 + 5. Let i be h(0). Solve 3*t + 4*r - 2 = t, 4*t - i*r - l = 0 for t.
3
Let m(w) = 2*w**2 - 5*w + 5. Let c be m(2). Solve -3*n - 4*f - 9 = 0, -c*n + 2*f + 9 = -6*n for n.
-3
Suppose -4 = -4*y + 8. Solve -2*c = -3*o + y*c - 18, -3*o = 5*c - 12 for o.
-1
Suppose 4*x + 8 = -16. Let m = x - -10. Let k = 8 - 2. Solve m*t + 7 = 5*d, -t - 4*d = -4*t - k for t.
2
Suppose 0 = 4*y - i - 0*i + 32, y = -i - 3. Let m = 10 + y. Solve -m*c = -3*h + 3, -3*c + 6*c + 1 = 2*h for c.
1
Let b(u) = -11*u - 1 + 12*u - 4. Let y be b(7). Solve 3*j - 4*r - 5 = -0, -4*j + y*r = 0 for j.
-1
Suppose 14*d - 19*d + 10 = 0. Solve 2*h = -0*v - d*v + 8, 0 = 3*v - 15 for h.
-1
Let z = -8 - -19. Let q = -51 - -51. Solve -6 = -k + n, 0 = -q*k - 2*k + n + z for k.
5
Let i(u) = u**3 - 2*u**2 + u + 2. Let m be i(2). Suppose -b = -3*f + 5*f + 3, -f - 4*b = 12. Solve f = -m*z + 3*v + 26, z + v = 6*z - 27 for z.
5
Suppose 0 = 5*u - 3*u + 276. Let p be u/30 - (-6)/10. Let y(x) = -x**3 - 3*x**2 + 3*x - 2. Let l be y(p). Solve 0 = -5*s + 3*s - 4*h - l, 7 = 5*s - 2*h for s.
1
Suppose 3*w - 3*h - 24 = 0, -4*w - h + 3*h + 36 = 0. Suppose -5*u = -i + w, -2*i - u + 7 = 2*u. Solve 0*c + 5*q = 5*c - 15, -i*c - 5*q = 5 for c.
1
Suppose -15 = -7*d + 2*d. Suppose o - d*o = -14. Let c = o + -3. Solve -h + 8 = 2*z, -3*h + 8 = -c for z.
2
Suppose 2*m + 5*h - 19 = 0, 4*h - h - 9 = 0. Let o(s) = 2*s**2 + 4*s + 2. Let y be o(-2). Solve 5*i + 33 = 4*n, 0*n - y*n = -m*i - 14 for i.
-5
Let u = -10 - -10. Suppose u = -y - y. Solve 2*j + q - 7 = y, -23 = -2*j - 2*j - 5*q for j.
2
Suppose 2*i - 2 = 3*j + 12, -j = -2*i + 6. Solve -4*f - i = 4*r - 21, 2*f - r + 5 = 0 for f.
0
Let l = 102 - 57. Solve -5*c = -4*h - l, -5*c + 2*h + h + 40 = 0 for c.
5
Let a be 7 - 9/3 - 1. Suppose -a*w - 1 + 7 = 0. Solve -y + 4*s - 18 = 0, w*s = 5*y + 3*s + 6 for y.
-2
Let d = -23 + 30. Solve 5*a = -3 - d, 4*p + a = -6 for p.
-1
Let x = -16 - -50. Solve -z = -5, -3*l = -z + 6*z - x for l.
3
Suppose -3*s - 3*u - 8 + 26 = 0, -4*s + 18 = 2*u. Solve 3*v = 5*j + 27, -s*v - j + 2*j = -15 for v.
4
Suppose n = -q + 20, -2*q + q - 5*n + 8 = 0. Suppose 2*d = 5*o - 4, -4*d - 4*o = -q + 3. Solve 4*x + d*k = 11, 2*x + 2*x - 17 = -k for x.
5
Let z be (0 - -31) + (-3 - -3). Solve 4*r = -2*o + o - 8, -5*r - z = -4*o for r.
-3
Let n = -6 - -6. Solve 5*w + 4*r + 35 = n, 5*w + 25 = -r - r for w.
-3
Let d(o) = o**3 - 10*o**2 + 2*o - 5. Let v be d(10). Let s be v*(32/(-12) + 3). Solve -y - 2*f = -0*f + 5, -5*y = s*f for y.
5
Let l(w) = w + 4. Let r be l(-6). Let x = 4 + r. Solve n + 1 + x = -i, -n = 2*i + 7 for i.
-4
Let o(d) = 0*d + 4*d**2 - 5*d**2 + 8*d - 4. Let b be o(6). Suppose -2 + b = 3*m. Solve 0 = 4*i - 5*i + 4*x + 17, -i + x + m = 0 for i.
-3
Let u = -35 - -35. Solve u = -2*j - 0*j + 2*b + 6, 15 = -5*j - b for j.
-2
Let m be (129/5)/3 + 70/175. Solve 5*j - 2*k - 1 = m, 2*k = -10 for j.
0
Let x = 1 + 2. Suppose 5*y - 25 = x*m, -4*y + 5*m + 30 + 3 = 0. Suppose 18 + 2 = y*g. Solve 4*j = 20, 3*j + g = 4*f + j for f.
5
Let n(s) = s**2 + s - 4. Let w be n(-5). Solve -v + 13 - 5 = 5*b, 4*b - w = 4*v for b.
2
Suppose -4*f = k - 9*f + 6, 4*f + 26 = 3*k. Solve u = 4*w - u + k, 3*w = -3*u - 6 for w.
-3
Suppose s = -c, -15 = -3*c + 4*s - 1. Solve x + 3*i = -0*x + 1, i - 2 = -c*x for x.
1
Suppose -3*w - 2*w = -15. Suppose -2*k + 16 = 4*q, 2*q + 5*k - 6 = 2. Solve 0 = 4*f + f + 5*b, w*f + 5*b + q = 0 for f.
2
Let y(r) = -r**3 + 7*r**2 - 2*r - 7. Let t be y(7). Let j = -13 - t. Solve 4*h = 3*i + 1 + j, 4*i - 5*h + 11 = 0 for i.
1
Suppose -6 = -5*i + 9. Let d be (-1 - 14/(-4))*2. Suppose 0 = 3*h - 9 - 6. Solve 0 = -5*j - y - 19, -h*y - i = -d*j + 2 for j.
-3
Suppose 5*k - 7 - 8 = 0. Let r(g) = 2*g**2 + 3*g + 1. Let y be r(-2). Solve o + k = -4*f, 4*f + f - y*o - 9 = 0 for f.
0
Suppose -4 = -2*x - 0*x. Solve m + 9*r + 2 = 4*r, 5*m + x*r = -10 for m.
-2
Let n(m) = 4*m - 1. Let l(s) = -9*s + 3. Let p(w) = 6*l(w) + 13*n(w). Let i be p(2). Solve 3*g = 5*b - 21 - i, b + 3*g = -10 for b.
2
Let z be 98/(-7)*(-12)/7. Suppose 0 = b + 4*b. Solve -3*o + 3 = 2*f - 1, f - 5*o + z = b for f.
-4
Let d(u) = u**3 - 8*u**2 - 10*u + 13. Let o be d(9). Suppose 4*t + 6*y - 3*y = 14, -3*t = o*y - 7. Solve -4*x = -5*a + 3*a - 8, 0 = 2*x + t*a + 20 for x.
0
Suppose 2*m - 2*l = 48, 4*l - 3*l + 43 = 2*m. Solve -7 = n - 0*u - 2*u, -4*n - u = m for n.
-5
Suppose -8*h + h = 0. Solve 5*s + 5*y + 40 = h, -2*s = -y - 2 + 3 for s.
-3
Suppose -7*l + 4*l + 15 = 0. Solve -l*g + 9*k = 4*k - 30, 2*k = 5*g - 21 for g.
3
Let p(f) be the first derivative of 1 + f - f**2 + 5/3*f**3. Let a be p(1). Solve 2 = -a*r + 3*o, r = 6*r + 5*o - 15 for r.
1
Let b be (10*(-4)/24)/(2/(-6)). Solve -4*w = 5*o - 17, 3*w + b*o = 4*w + 27 for w.
-2
Let w(n) be the third derivative of -n**5/60 - 5*n**4/24 - n**2. Let a be w(-4). Solve -u = t + 2*u - 8, a*t + 20 = u for t.
-4
Let c = -1 + 3. Suppose -y + c = 4*o, y - 5*o = -2*y + 6. Let m(v) = -4*v - 1. Let i be m(-1). Solve 7 = -q - i*b, 5*q - 4 = -0*b - y*b for q.
2
Let b be ((0 + -1)*0)/(-2). Suppose 0 = -2*j - b*j. Solve 4*z + 5*o + 19 = -j, 5*z + o + 8 = 0 for z.
-1
Let m be (-2 + -8)/(-2)*18/45. Solve 5*l + 4*f + 2 = 0, m*f - 3*f + 10 = -4*l for l.
-2
Suppose 4*r = -4*k + 59 + 25, -2*k + 2 = 0. Let l be 4/10 + 16/10. Solve -w - 4*w + r = -l*g, 0 = 2*w + 3*g - 8 for w.
4
Let s be (-4 - -2)*(-1)/(-1). Let c be (1 + s)/(8/(-24)). Solve -z - 3*z - 4*q = -24, 0 = c*q - 15 for z.
1
Suppose 7 = 2*f + 3*b, f = 3*b - 1 + 18. Suppose -t = -5*j + 8, -t = 3*t - f. Let w be 1/j + 1/(-2). Solve 5*m = 3*y - 5*y + 3, 5*y - 3*m + 8 = w for y.
-1
Suppose -6*k = -k - 15. Let y = -5 + 7. Let p be (-6)/8*8*-5. Solve p = -y*d + 4*b, -k*d = -d + 2*b for d.
-5
Let y(f) = -f**2 - 8*f - 12. Let c be y(-6). Solve c = 3*w + 2*w - 2*t - 20, 0 = t + 5 for w.
2
Let x(y) = 4*y**2 - y + 2. Let l be x(1). Suppose 0 = -u + 5*u - 16. Solve -4*q + 5*i - 5 = -6*q, -u*i = -l*q - 37 for q.
-5
Let q(y) be the second derivative of -1/3*y**4 - 4*y - y**3 + 7/2*y**2 + 1/20*y**5 + 0. Let c be q(5). Solve 5*v - 12 + 39 = c*g, 2*v + 14 = 4*g for g.
1
Suppose -b = -0*b - 5. Suppose 16 = g + b*w, 5*g + w - 3*w = 26. Solve 0 = -0*c + 2*c - 2*k, -4*c = 2*k + g for c.
-1
Let u(f) = -f**2 + 6*f - 3. Let b be -2 + 0 + 2 - 0. Suppose -10 = -5*i - b. Let a be u(i). Solve 3*t - a*t - 4*w = 26, 0 = 5*t + 2*w + 25 for t.
-3
Suppose 2*q + 53 + 24 = 5*a, 2*q = a - 17. Suppose -a = 5*n + 15. Let k be (2 - n/(-3)) + 2. Solve -3*o = -3*g - 0*g - 12, -5*o + 27 = k*g for g.
1
Suppose 0 = -3*x + 12*l - 7*l + 8, -2*x + 20 = 4*l. Solve 0*f + 2*n + 15 = -3*f, -3*f - x = -n for f.
-3
Let z be (0 - 4)*3/6. Let d = 7 + z. Solve 5*r + 3*v - 21 + 1 = 0, -d*v + 22 = -3*r for r.
1
Let g(d) = 2*d - 4. Let q be g(4). Solve t = 3*z + 5, z = q*t - 4*z - 13 for t.
2
Let j(a) = -a**3 + 4. Let x be j(0). Suppose 0 = -4*s + x + 8, s - 4 = -z. Let g be 2/z + -1 + 1. Solve -o + 3 = u + g, 12 = 3*u for o.
-3
Let c = 0 - 0. Suppose c*y = y - 8. Solve 6 = 2*f, 0 = 4*s + 3*f + f - y for s.
-1
Let n(m) = 6*m + 10. Let x be n(2). Let h(t) = 2*t**2 - 2*t + 3. Let 