-s**2 + 8*s - 2. Let q be v(6). Let l be m(q). Solve l*x - 3 = 2*g + 1, -4*g = -12 for x.
2
Let b(m) = -m**3 + 2*m + 2. Let w be b(0). Suppose 15 = 2*k - 25. Suppose 5*x - k = 5. Solve 2*l = -2*l - w*c + 8, x = 3*l + c for l.
1
Let p be (4 + -3)*(-1)/(-1). Let n be p*(1 + -2) + 4. Suppose l - n*o = 2*o + 34, 0 = 3*o + 3. Solve 0*i = -4*i - 5*t - l, 2*i + 7 = -t for i.
-1
Suppose -9 = -2*x - x. Let w be 3/((-12)/8 + 3). Suppose 0 = -x*j - w*j + 45. Solve 5*i = -z - j, -i - z - 3 = -2 for i.
-2
Let z(o) = 5*o**2 + o + 1. Suppose -2*v + 2*w + 8 = v, -5 = -5*v - 5*w. Let g be z(v). Solve 5*p + g = 2*u, -p = -4*p - 5*u + 11 for p.
-3
Suppose 2*i - 5*i = -9. Suppose 0 = i*u - 85 + 13. Suppose -c + 13 = 4*j + 1, 4*j - u = -4*c. Solve 0 = -3*s - c*o + 21, -4*s - o = 2*o - 21 for s.
3
Let y be (-3 - -3)*2/(-4). Solve v + 3*t = -0*t + 10, y = 5*t - 25 for v.
-5
Let d be 3*5/(-3) - -7. Solve 2*j + d = -2*l, 2*l + 4*j = -l - 2 for l.
-2
Let p(k) = -k**3 + 4*k**2 + 4*k + 7. Let f = -9 + 14. Let l be p(f). Solve 2*r = 3*i - l, -10 = -i + 6*i for r.
-4
Let n(v) = 3*v**3 - v**2 - v + 1. Let j be n(1). Suppose 5*d = 16*d - 33. Solve 0 = 3*q - 3*t + 9, q + j*t - 9 - d = 0 for q.
2
Suppose -3*k + 6 = -3. Solve 0 = -5*g - k*c + 23, -3*g + 2*c - 14 = -6*g for g.
4
Suppose 2*v = k + 10, 2*v - 20 - 2 = -2*k. Let h(d) = d - 1. Let t be h(v). Solve 4*a - t*j + 4 = -2*j, -4*a = -5*j + 4 for a.
-1
Let z = -20 - -24. Suppose 3*q = -3 - 9. Let n(i) = -i - 3. Let m be n(q). Solve -f + 16 = -3*u, 0*u + u + z*f = -m for u.
-5
Let d be 4*(-12)/(-80)*5. Solve q - t + d = 0, 5*q - t = -5 - 2 for q.
-1
Suppose -18 + 0 = -3*z. Solve 2*a = -4*w + 6, -5*a + 3*w - z*w = 6 for a.
-3
Suppose 0 = 5*l + 1 - 11. Let g(t) = -t**2 - 2 - 10*t - 3 + t + 1. Let w be g(-8). Solve -l*k = w*q + 12, 5*q + 16 = 2*k - 8 for k.
2
Suppose k = 5*k + 20. Let h(x) = -x**3 - 6*x**2 - 4*x + 6. Let b be h(k). Solve d - 15 = 5*y + b, 4*d = 4*y for d.
-4
Let h(w) be the first derivative of -w**2 + 10*w + 8. Let p be h(5). Solve r - 4*y - 1 = p, 0 = 4*r - y + 5*y - 24 for r.
5
Let m(t) = -t + 5 - 3*t - t - t**2. Suppose 5 = -k - 0*k. Let b be m(k). Solve -d - 2*c - 5 = 0, -d + b*c = -6*d for d.
5
Suppose 2*g = 3*g - 11. Let f = -6 + g. Solve 16 = 2*c + 4*p, -f*p = -4*c - 4*p + 14 for c.
4
Let o = -29 - -31. Solve -23 = -o*x - 5*g, -2*x + 0*x - 2*g = -8 for x.
-1
Let j(k) = -k**3 - 9*k**2 - 2*k - 13. Let l be j(-9). Let g(z) = 4*z - 3. Let y be g(2). Solve -5*m - l = 3*v, 2*v + 2 = -y*m - 8 for v.
5
Let l = -2 - -3. Let w be (2/l)/(1/2). Suppose 2*g = -5*q + g - 4, -8 = 2*g. Solve q = -5*z - 6*p + 3*p, 3*z + p - w = 0 for z.
3
Let u be 2/10 - (-96)/20. Suppose -15 = -0*n - u*n. Solve q - 8 = m, 2*m - q + 20 = -n*m for m.
-3
Let x(a) = 9*a + 1. Let t be x(1). Let y be 78/30 + 4/t. Solve 2*d + 3*c - 11 = -3*d, -c + 9 = y*d for d.
4
Let r(v) = -v**3 - 11*v**2 - 13*v - 9. Let k be r(-10). Solve -5*a - k = -4*x, 0*x - 5*x = a - 19 for a.
-1
Suppose 5*c - 3 - 2 = 0. Let t be c + (1 - (-6)/(-3)). Let g = 1 + t. Solve -5*i + 2*r + g = -2, 4*i + 3*r + 16 = 0 for i.
-1
Let q(u) be the second derivative of 5*u**3/3 - u**2 + 3*u. Let c be q(2). Solve 2*h + 5*a = -16, 3*a + c = -2*h - 2*h for h.
-3
Suppose -5*h + 13 = -12. Suppose -j = q + 1, -h*j - 41 = -6*q + 2*q. Solve 3*w + 3*m - 12 = 0, -q*m + 12 = -5*w - 4 for w.
0
Let l(x) = x + 47. Let b be l(-31). Solve 3*y + 9*i + b = 4*i, 3*i = -y - 8 for y.
-2
Let k = 11 - 7. Let d = 4 - k. Suppose 0 = -2*w - 4*v - 12, -4*w + 0*v - 3*v + 1 = d. Solve 0*j = j + 5*l + 6, -j - 4*l - w = 0 for j.
4
Suppose 2*g - y - 4 = 10, -2*g = y - 10. Solve g*n = -i + 2*n + 18, i - 6 = -n for i.
2
Let m be (-1)/(-2)*-2 + 9. Suppose -5*z + 3*z + m = 0. Suppose -5*f + 48 + 12 = 0. Solve -z*c + 4*s = -12, -4*c - 4*s + f = s for c.
3
Let l be (4 - 4)/(2/(-1)). Suppose -a = 5*b - l*a - 23, -b + 16 = 4*a. Solve 5*k = -b*h + 4, 3*k + 24 = -2*h + 7*k for h.
-4
Suppose d + 0*d - 15 = 0. Let m = -114 + 117. Solve -3*o + 13 = -f, -m*o - 5*f + 10 = -d for o.
5
Suppose -4*p = -a - 3*a - 16, -5*p + 12 = -a. Let d be (5 + p)/((-3)/(-6)). Let k be (-1)/(2/4)*(-9)/6. Solve -d = -5*y - k*t + 5, y - 3*t = 11 for y.
5
Suppose -v = 2*v + 3*n - 3, 3*n + 33 = 3*v. Suppose 2*l = -0*l + v. Solve -2*a + l*a - 22 = -5*r, a + 2*r - 7 = 0 for a.
-3
Suppose 0 = -s + 4*s - 111. Let i = -20 + s. Solve 0 = -y + 4*p + 11, -i = -3*y + p - 6 for y.
3
Let n(a) = 0*a - a + a - 8 + a. Let j be n(13). Solve -2*f + 4 = x + 3*x, -14 = -j*x + 2*f for x.
2
Let m be -12*(2/(-11) + 15/(-99)). Solve -8 = f + 4*p, m*f = 2*p + 21 + 1 for f.
4
Suppose 2*x + 3*q + q - 30 = 0, 0 = -x + 5*q + 22. Suppose -4*y - x + 93 = 0. Solve -16 = 2*w - 2*h, -3*w + 3*h - y = -w for w.
-5
Let w(l) = -l - 27. Let c be w(-27). Solve 3*p = -2*y + 6, 5*p - 3*y + 5*y - 14 = c for p.
4
Suppose 50 = 13*b - 11*b. Suppose -4*c - b = 5*l, 0*l - 5 = 4*c + l. Solve u = f + 1 - c, -2*u = -4*f - 12 for u.
-4
Let h = -1 - 7. Let x = 12 + h. Let q be x/(-10) - (-17)/5. Solve 0 = -d - q*c - 2, -4*c = d + 3*d + 8 for d.
-2
Suppose -4*s = -5*g + 3*g + 20, 0 = -3*s - g - 20. Let z be 2 + s/(-3) + 0. Solve 3*l - 32 = -4*m, -z*l + 32 - 1 = 3*m for l.
4
Let a(r) = r**2 + 14*r + 8. Let l(c) = c. Let y(v) = a(v) - 5*l(v). Let u be y(-8). Solve -2*p = -q - u*q - 10, 5*p - 18 = -q for p.
4
Suppose -l = 4*l - 30. Let b be l/(-4)*(-8)/3. Let j be ((-2)/(-4))/(1/4). Solve b*g - 8*g = -16, 10 = -j*x + 3*g for x.
1
Let i be (12/15)/((-2)/(-5)). Solve 5*p - 20 = 0, 2 = 4*d - 2*p - i for d.
3
Let x(d) = -d**2 - 9*d - 6. Let v be x(-8). Suppose 0*i = v*i - 12. Solve -2*h = -j - i, 2*h = 2*j - h + 9 for j.
0
Suppose -42 = -j + 5*z, 0*j + 5*z = 4*j - 123. Let d = -14 + j. Solve 2*b + 18 = 3*w, -4*w + 3*b + 12 + d = 0 for w.
4
Let h(d) = -d + 9. Let o be h(7). Suppose 5 = 4*f + 1, 2*f + 4 = 2*k. Let z be 54/4 + k/6. Solve -b + v - o = 0, z = 5*b + 5*v - 4*v for b.
2
Suppose 0 = 5*t - 3*t - 8. Solve 2 - 6 = t*r + 4*a, -5*r + 23 = -2*a for r.
3
Let k be 1*((-8)/2 - -4). Solve -5*x = 0, 4*p - 12 = 3*x - k for p.
3
Suppose g - 8 = -3. Solve -5*o = g*z - 0*z, -o - 3 = 4*z for z.
-1
Suppose -4*q - 3*i = -16, -9 - 3 = -3*q + 2*i. Solve 0 = -q*k + 3*x - 1 + 6, 5*k - 4*x = 6 for k.
2
Let o = 89 + -52. Suppose 3*l - 3*j = 39, -j + o = 5*l + 2. Solve 0 = 2*w - 6, -l*g - 5*w = -3*g - 15 for g.
0
Suppose 8 = -x - x. Let j = -1 - x. Solve 3*r - 6 = -j*z, -3*r + 2 = 2*z - 0 for r.
-2
Let c = 4 + -4. Suppose 5*t - 25 = -c. Solve -2*u - 3*u = k + 5, -5*u - 35 = -t*k for u.
-2
Let f be 2/4 - 55/(-10). Let a be 4/f*6/4. Suppose 2*v - 3 - a = 0. Solve 5*q - 2*r = 18, -3*r - r = v*q - 12 for q.
4
Suppose 5*g - 26 = w, -4*w = -2*w + 3*g - 13. Let l be w + 1 + -1 + 2. Let n be (l - 2)/((-1)/3). Solve 6 = -3*f - n*s, 3*f - 6*f = -s + 10 for f.
-3
Suppose -l - 4*m - 4 = 11, 3 = -5*l - 2*m. Suppose -l = 4*d + 11. Let z be ((-8)/(-6))/(d/(-54)). Solve -3*v - 4*y - z = 0, -4*y + y - 13 = v for v.
-4
Let w = 24 + -12. Solve -2*c + w = 2*v + 2*c, -2*v = -5*c + 6 for v.
2
Let p = -2 - -3. Let g be (p - 0/4)*1. Solve -g = -w - f + 2, w - f - 5 = 0 for w.
4
Let f = 3 + 18. Solve 4*h - f = -0*s + 5*s, -s + 3*h = 13 for s.
-1
Let k = -2 + 5. Suppose -5*b = -0*b - 25. Suppose 2*p - 4*n = -p + 9, 0 = b*p - 2*n - 29. Solve 32 = -4*t + 2*s - p*s, k*t + 5 = s for t.
-3
Let u = 7 + -5. Suppose -4 - u = -3*x. Let s = -7 - -15. Solve i + 13 = -5*d, s*i - 3*i = -x*d + 4 for i.
2
Let o = -5 - -7. Suppose -o*x - 3*x + 20 = 0. Solve 0*b - b - 2 = -q, -x*q - 5*b = 37 for q.
-3
Suppose -7*i + 6 = -5*i. Solve i*q - 3*h - 29 = 7*q, -2*q - h = 13 for q.
-5
Suppose -h + 2*h = -5*m + 4, 3*m + 3*h = 12. Solve 2*g + 2*g + 3*s = 35, 2*g + 2*s - 20 = m for g.
5
Let t(z) = -11*z - 2. Let i(a) = -6*a - 1. Let d(u) = 5*i(u) - 3*t(u). Let q be d(1). Solve -2*g + q*g + 20 = 3*l, -5*g - 20 = 0 for l.
4
Suppose -2*b - 5 = -3*b. Suppose -2*t + 0 = -b*n - 15, 0 = 5*t - 4*n - 29. Solve -33 = 2*o - t*w, 5*o - 3*w - 9 + 44 = 0 for o.
-4
Let j be (0 + -1)*(-4 - 1). Suppose -6 + 26 = j*q. Solve 2*o = 2*w - 4, -2*w = -0*w + q*o + 8 for w.
0
Let g = 20 + -16. Solve 2*u + 28 = g*c - 0, -4*c + 12 = 2*u for c.
5
Let h = 79 + -79. Solve n = -4*n - 3*l + 20, -l + 5 = h for n.
1
Suppose 4*m = 6*m - 38. Suppose 2*c = -4*z - 3 - 19, -z - 10 = 5*c. Let w = 8 + z. Solve t - 