+ 3. Solve -4*a = 4*i + 7 + 13, s*a + 2*i = -25 for a.
-5
Suppose 4*h - 27 = -2*l - 1, 5*h - 2*l - 28 = 0. Solve -4*x - h = -y, 2*x + 2*y + 2 = 3*x for x.
-2
Let a(y) be the first derivative of -y**4/4 - y**3/3 + 2*y**2 - y + 3. Let z be a(-3). Solve z*v = -5*j - 20, 2*j - 2*v - 2*v + 2 = 0 for j.
-3
Suppose -2*i + 7 = -1. Solve -2*l = -7*l - 20, 0 = -4*k + 5*l + i for k.
-4
Let n = 18 + -13. Suppose 7*w + 9 - 23 = 0. Solve -5*t = 3*r + 18, -3*r - n*t = w*r + 20 for r.
-1
Let m = 27 - 18. Let q = 3 + -1. Suppose h = -q*o + 12, h - 7 = 2*o - 3*o. Solve -4*d + h*l - 18 = 0, 3*l - m + 2 = -4*d for d.
-2
Let g be (-40)/(-30)*3/2. Suppose -g*m = -3*m + 8. Solve -4*r + 3*u = r + m, -r + u - 2 = 0 for r.
-1
Let v(r) = -15*r. Let u be v(-2). Solve 4 = 2*k + 3*o + 19, 5*o + u = -5*k for k.
-3
Let i(b) = -b**3 + b + 2. Let k be i(2). Let q = 7 + k. Suppose 5 = o - 3*n - q, 2*o - 3*n = 13. Solve 3*a - 3*s = 15, -o*a = -2*a - 2*s - 10 for a.
0
Let g(v) = -14*v + 4. Let x be ((-6)/(-4))/(3/(-8)). Let w be g(x). Suppose w + 52 = 4*c. Solve 13 = 3*r + 5*u - 17, c = 5*r + u for r.
5
Let u be ((-11)/3)/(9/27). Let r = -8 - u. Let w be (4/5)/(1/5). Solve w*q = -5*k + 4 + 12, 3*k = -r*q + 9 for k.
4
Let p be 0 - (-1 - (2 + -3)). Let h be p/(0 - (-2)/(-1)). Let v(d) = -2*d + 2. Let u be v(0). Solve h = -3*l + c - 6*c - 7, 3*l = -u*c - 10 for l.
-4
Let c(o) = -15*o + 2. Let x be c(-1). Let g = x - 15. Solve -w + s - 18 = -g*s, -5*s = -25 for w.
-3
Let j be ((-2)/(-3))/(3/9). Solve 5*c - 10 = -0*s + s, -2*s = -c + j for s.
0
Let k = 4 + -3. Suppose 0 = -5*a + 5 - 50. Let o be (-2)/3 + (-24)/a. Solve -o*g = 3*n - k, -3*g - 2 = -g for n.
1
Let t(y) = -y**2 + 30*y - 26. Let c be t(29). Solve -c*r - 11 = s, 5*r = -s + 4 - 23 for s.
1
Let q = -10 - -12. Solve -q*k + 25 = -5*l, -3*l - 15 = -3*k + 4*k for l.
-5
Let d(p) = 2*p - 8. Let y be d(10). Let o = 14 - y. Solve -4*s = -r + 19, 0 = -s - o*r - 3*r - 10 for s.
-5
Let x be (4 - -59)/(9/6). Let y be (-6)/(-33) - x/(-11). Solve 10*f = y*i + 6*f + 12, -4*i - 12 = -5*f for i.
-3
Suppose 13 = 2*m + 5. Solve 5*t = -2*c - 3 + 17, -12 = -2*c - m*t for c.
2
Let d = -3 + 5. Suppose 4*s = 3*a + d*s - 12, 45 = 5*a + 5*s. Suppose 4*h + 1 = 3*n, -n = -5*n + 3*h + a. Solve n*t = -u - 4 - 8, 0 = -5*u - 15 for t.
-3
Suppose -1 - 1 = -2*i. Solve 0 = -3*v + 4*h + 13, i = -h - 3 for v.
-1
Let x(s) = -s**3 + 10*s**2 + 11*s + 8. Let c be x(11). Solve -o = 4*o - 5*n - 15, 0 = -2*o - 5*n - c for o.
1
Let i be (-2)/4*(-26 - -26). Let v(g) = -2*g**3 + g + 1. Let u be v(-1). Solve -5*p - 2*o + 29 = i, u*p + 4*o = -0 + 18 for p.
5
Suppose 5*q - 7 = 4*q. Suppose 3 = -o + q. Solve -o*a + 14 = -6, a + 4 = -3*j for j.
-3
Let q(m) = -m + 9. Let g be q(6). Solve -4 = -2*o - 3*f + 5, 0 = -f + g for o.
0
Suppose -3*v - 3 = l + 3*l, 2*v + 5*l + 9 = 0. Suppose -p + 0*p = -v. Solve 0 = -4*c + 8, 2*d + 10 - 4 = p*c for d.
0
Suppose 7*p = 4*p + 39. Solve 4*o + 8 = -q, -p = -0*o + 3*o - q for o.
-3
Let l = 7 - 5. Suppose 4*f + l*g = -0*g + 4, 0 = 5*f + g - 11. Solve f*z = j + 4*z + 8, 4*j = -5*z - 35 for j.
-5
Suppose -o - 2*m - 5 = 0, 10 = o - 4*m + m. Solve -5*h + 3*w + o = 0, 2*h - 6*w - 6 = -2*w for h.
-1
Let j be ((-16)/12)/(10/(-15)). Let w be -1 - 5/((-5)/(-2)). Let v be 28/3 - (-1)/w. Solve 5*t + v = 2*y, -3*y + t + j*t = 0 for y.
-3
Let a be (-8)/(-6)*12/8. Let z = a - -2. Solve 2*m = 5*v + 14, 0*v + z*v = 4*m - 16 for v.
-2
Suppose 5*t - 3 - 7 = 0. Suppose -v = t*v. Solve m + 1 = -3*f + 2, 5*f - 3*m - 11 = v for f.
1
Suppose -4*d - 5*l + 33 = 0, 3*d + 0*l - l - 1 = 0. Suppose 3*v + 5 = -2*v. Let b = 3 + v. Solve 5*x - 27 = -d*w, x = 5*w + b*x - 10 for w.
1
Let l(x) = x - 3. Let q be l(0). Let i(a) = a**2 + a - 3. Let v be i(q). Solve 4*z = 2*f, v*z = -f + 6*f + 14 for z.
-2
Let h(r) = -5*r - 1. Let z be h(-1). Let q be 0 + z - (1 - 1). Solve i + 4*i = 5*k, 5*i + q = 3*k for i.
-2
Let y be (16/(-12))/((-20)/15). Let f = 2 - 0. Solve 2*u + s = 1, 4*u + 3*s - f = -y for u.
1
Let f(z) = 2*z**2 + 26*z + 10. Let o be f(-13). Solve 3*u = -3*m + 6, -1 + o = 5*u + 4*m for u.
1
Let m be (-120)/(-32) - (-6)/(-8). Suppose 5*z - 3*z = 0. Suppose -2*o = -3*l - 9, 2*l - 1 + 7 = z. Solve -t = 3*t - 5*i + 1, o = -i - m for t.
-4
Suppose -m = 2*t - 9, 13 = 4*t + 5*m - 20. Solve 0 = -4*o, y = -t*o - 0*o + 5 for y.
5
Let s(c) = -c**3 + 9*c**2 - 8*c - 1. Let b be s(8). Let o be 8 + b*(-1 + 2). Solve -4*n + 9 = -2*i + o*i, 4*i + n = 5 for i.
1
Suppose -v - 4 = -9. Solve 5*d + 5*f + 5 = 0, -f + 8 = -v*d + 3 for d.
-1
Let r(g) = g**2 + 2*g - 5. Let s be r(-4). Solve 10 = -s*k + 2*w - 3, 5*k = 3*w - 21 for k.
-3
Suppose 9*u - 11*u + 4 = 0. Solve u*c - 3*j = 3, 5*j = -3*c - 8 - 16 for c.
-3
Let p be 6/6 - (-60)/2. Let q = p - 8. Solve 5*m + 0*m = -i - q, 2*i + 3*m + 18 = 0 for i.
-3
Let n = 21 + -11. Suppose n = 5*v - 60. Solve -r + 4*c + v = 0, 0 = r + 2*c + 3 + 1 for r.
2
Suppose 3*o - 28 = -4*f, 0 = -2*f - 3*o + o + 16. Suppose 16 = 4*a + f. Solve 2*n = -5*v - 2 - 20, a*v = 4*n - 8 for v.
-4
Let f(c) = -3*c - 1. Let p be f(1). Let l be 5/(-5) - (p - 2). Suppose -2*n - 2 = 4*q - 4, -5*n - 25 = -l*q. Solve -v + 3*g = q - 9, 0 = 3*v - 2*g + 7 for v.
-5
Suppose -4 = m - 8. Suppose -13 = -3*w - m. Solve 2*r - v + 13 = 4*r, -w*r + 30 = 5*v for r.
5
Let v = -11 - -16. Let k(l) = -l + 10. Let f be k(v). Solve 5*i - 20 = 0, 4*i - 9 - 17 = f*a for a.
-2
Suppose 2*d - d + 4 = b, b - 5*d = 4. Suppose -3*r + 20 = -a + 2*r, 5 = 5*a - b*r. Solve g + 4 = 2*g + a*k, -4 = -g - 3*k for g.
4
Let b(c) = 6 - 6*c + 2*c + 3*c. Let k be b(4). Solve 3*f - k*t = -t + 4, -3*t + 10 = 2*f for f.
2
Suppose 0 = s - 2*q - 20, -2*s + 55 = s - q. Let v = -16 + s. Solve 4*m = -j - 3, v*m + 4*j + 12 = -0*m for m.
0
Suppose y + 2*y = 18. Let o = 4 - y. Let a(h) = -h**3 - 2*h**2 - 2*h. Let u be a(o). Solve -2*s = 6, u*n - 18 = s - 3 for n.
3
Let l(d) = -d + 7 + 2 + 0. Let a be l(6). Suppose 0 = -a*k + 8 + 4. Solve k*b = -3*t + 10 + 9, -4*b + 29 = 5*t for b.
1
Let n(v) be the first derivative of -v**4/4 + 10*v**3/3 + 11*v**2/2 + 2*v - 1. Let h be n(11). Solve -3*k + h = q - 3, 5*k + 5*q - 5 = 0 for k.
2
Let v(n) = -7*n - 2. Let o be v(-2). Solve -b - 27 = 4*s - o, 2*b + 3*s = -15 for b.
-3
Let x(u) = -5*u**2 + 8*u + 5. Let f(a) = 6*a**2 - 8*a - 5. Let c(z) = -4*f(z) - 5*x(z). Let m be c(9). Solve -3*k - 4*d = -12, 2*d = -m*k - 8 + 24 for k.
4
Let v be (-1 - -6)*6/5 - 2. Solve v*c - 5*d - 4 = -3, -3*d - 7 = -4*c for c.
4
Let d be 3/(-15) + (-122)/(-10). Solve -4*n = -3*i - 4 - 7, d = 4*i for n.
5
Let p be ((-12)/5)/(2/(-5)). Suppose 0 = 2*h - 6, -z + 2*h = p*h - 17. Solve -z*b + 12 = -3, -3*y - 4*b + 27 = 0 for y.
5
Let g = 7 - 4. Let s = 2 + -2. Solve 0 = -4*m + g*y - 16, 2*m + s*y + 14 = 3*y for m.
-1
Suppose 0 = -5*g - 0*g + 25. Solve -a = 3*a + 2*z + 2, -4*a = -g*z - 33 for a.
2
Let x be 0*(-1 + (-4)/(-6)). Suppose 2*y + y = 12. Suppose -3*o - 4*q + 4 = x, -q + 2 = y. Solve -a - 6 = l, l = o*a + 6*l + 25 for a.
-5
Let k(q) = 4*q - 15. Let h(m) = -7*m + 29. Let o(y) = -3*h(y) - 5*k(y). Let p be o(10). Let x = p - -8. Solve 3*b - z + x = 0, -3*b - 2*z = -6*b - 3 for b.
-3
Let o(c) = -2*c**2 - 9*c - 7. Let r be o(-3). Solve -7*j - 11 = i - 3*j, -5*i + 11 = -r*j for i.
1
Suppose 10 + 3 = -2*x - z, 0 = -3*z - 9. Let k(o) = o**2 + 2*o + 4. Let j be k(x). Solve 0 = 2*h - n + 9, h + 2*h + 4*n + j = 0 for h.
-5
Suppose -4 - 5 = -3*w. Let y = 1 + -1. Solve w*m = 2*o - 19, y = 3*m + o + 3 + 10 for m.
-5
Suppose f = -4*f + 125. Suppose -5*n = 5*a - 5, -3*n + 8*n - 5*a - f = 0. Solve 4*g = -12, 6*c + 24 = n*c - 4*g for c.
-4
Let c = 13 - 21. Let q be 20/8*c/(-5). Solve -q*b = -5*a + 30, 0 = -4*b + a + 14 - 36 for b.
-5
Let z = -95 - -116. Solve -30 = -w + 5*d, -z = -5*w + d + 9 for w.
5
Suppose 8 = -16*f + 20*f. Solve -v + 13 = -4*h, 6 = -4*h - f for v.
5
Let w(m) = m + 2. Let p be w(0). Suppose -p*c - 4*k - 9 = -k, -3*c + 15 = -5*k. Solve -3*l + f - 3 + 2 = 0, 2*f + 4 = c for l.
-1
Let k = 35 + -32. Suppose 5*c - 5*h = 10, -4*h = 5*c + h - 10. Solve k*l - 2*b - 2 = 0, -c*l + 5 = 5*b - 9 for l.
2
Let f = 4 + -3. Suppose -w = f + 3. Let g(d) = d**3 + 3*d**2 - 5*d. Let u be g(w). Solve 4*o + 13 = -4*c + 5, -u*o - 5 = c for o.
-1
Suppose -7*r + 20 = 6. Solve -2*s + r*m - 4 + 16 = 0, 6 = -3*s - 3*m for s.
2
Suppose 2*b +