i(v) = v + 8. Let y be i(-6). Solve z*w = -s + 7, 4*s + 6 = y for w.
4
Let l(z) = z**2 - 7*z + 3. Let k be 2 - -8 - (2 + 1). Let w be l(k). Solve 5*n + w = 2*p, -4 = 2*n - n + 3*p for n.
-1
Let d be (5/(-3))/(2/(-6)). Suppose d + 11 = 2*r. Suppose 2*n - r = -4*t, -2*n + 7 = 5*t - 2. Solve -q = -2*v - 3, -n*v + 5*v - q = -5 for v.
-2
Let t = 3 + 0. Let m = 21 + -11. Let y = m - t. Solve -a = -k - 5, -2*k - 3*k = 3*a - y for k.
-1
Suppose 12 = -z + 16. Solve -f + 0 + z = -3*b, 5*b + 20 = -f for f.
-5
Suppose 3*d = 6*d - 63. Solve 3*j - 3*z - 27 = 0, d = 6*j - j + z for j.
5
Suppose 2*w + w = 3*x - 9, 2*x = 5*w. Solve 4*g + 13 = -3*i, i - 2 = x*g - 0 for i.
-3
Suppose 5 = 5*i - 2*h - 8, -5*i = 2*h - 17. Solve 4*p - 20 = -6*u + 4*u, i*p - 3*u + 3 = 0 for p.
3
Let h be 14/(-4)*(-26)/13. Solve 2*m + 2 = -0*f + 2*f, h = f + 5*m for f.
2
Let z = -62 - -87. Solve 4*d + d + 5*h = z, -5*h = -5*d + 25 for d.
5
Let k(w) = w**3 - w**2 - w. Suppose -12 = -2*h - h. Suppose -h*t - t = 0. Let v be k(t). Solve 4*o = -3*g - 23, g + v*o + 7 = -o for g.
-5
Suppose -2*o + 5*m = -14, -2*o + 4*m + 12 = -0*m. Suppose o*w + 0 = -16. Let a be (-3)/4 + (-46)/w. Solve t + t = -a*f - 29, 3*t = -5*f - 31 for f.
-5
Let v be -1*-1*3/3. Suppose v = 2*q - 3. Solve -q*j + 2 = -3*d - 2, 0 = 2*j - 5*d for j.
5
Let l be (-1)/((-6)/(-8))*21/(-14). Solve a + i + 1 = 0, -l*a = -5*i - 31 + 12 for a.
2
Let y(q) = q**3 + 2*q**2 - 5*q - 4. Let l = -6 + 4. Let h = l - 1. Let f be y(h). Solve -4*a + 12 = -f*u, 2*a + a = -5*u + 9 for u.
0
Let y = 3 + -1. Solve u = 4*v + 2, 5*u = 6*u + 3*v - y for u.
2
Suppose 3*t - 3 = 15. Suppose -v - 10 = -t*v. Solve 2*y + 3*x - 1 = 0, 3*x = v*y - 18 - 1 for y.
5
Let a be 6/(-4)*(-10)/3. Suppose 5*v - 5 = a. Solve -32 = s + 3*s - 5*q, -s - v*q + 5 = 0 for s.
-3
Let p = 2 + -6. Let b(w) = 2*w + 6. Let k(y) = 2*y + 7. Let j(s) = p*b(s) + 3*k(s). Let i be j(-3). Solve 2*v + i*q - 8 = 0, v + 3*v - 4*q + 4 = 0 for v.
1
Suppose 5*h - 8 = 2. Solve -h*b + 27 = -5*t, 5 = -4*t + 4*b - 19 for t.
-5
Let n = 14 - 14. Suppose 0 = -4*k - 8, n*y = 2*y - 4*k - 40. Solve j + 3*j + 5*r = -26, 0 = -5*j + 2*r - y for j.
-4
Let t be (-7 - -6) + (3 - 0). Let k(b) = 2*b**3 + 4*b**2 + 4*b + 2. Let h be k(-2). Let q be (15/h + t)*-6. Solve 32 = 4*v + q*x + 8, 4*x - 10 = 2*v for v.
3
Let y be (0/(-1))/(2/1). Let w = -45 - -48. Solve -d - 5 = 4*m - 6*d, y = -m + w*d - 10 for m.
5
Let n(o) = o + 2*o - 6 - 6*o. Let y be n(-5). Let h = y + -5. Solve 0*c + 2*p - 24 = h*c, 5 = -3*c - 5*p for c.
-5
Suppose -3*u + 4*u = 0. Suppose u = l + 2*l - 27. Solve z + 2*z = 3*i - l, 5 = -3*z + i for z.
-1
Suppose -5*c = 3*z, 0 = 3*z - 4*c + 6 - 33. Suppose o - 58 + z = 0. Suppose 0 = -b - 2*b + x + 36, 5*b = 4*x + o. Solve 7 = j - l, -3*j + 2*j = -4*l - b for j.
5
Let l = -5 - -8. Solve 19 = -3*f + 2*i - l*i, -4*f + i = 16 for f.
-5
Let t = -20 + 27. Suppose 2*c = -3*f + 22, 0 = c - 0*c - 2*f + 3. Solve 5*m - c = 0, -4*n + 3*m + t = -10 for n.
5
Let q = 14 + -13. Let u be (11 + q)*2/6. Solve -u*f = -2*c - 2*c - 20, -2 = -2*f for c.
-4
Let z be (52/(-12) - -4) + 3/9. Solve 5*t + 10 = 3*q, z = 5*q - 0*q - 5*t for q.
-5
Suppose -3*i = -2*l + 4, -i = 3*l + 2*i - 6. Solve 0 = 2*h + 3*h + 4*r + 3, l*r - 6 = 0 for h.
-3
Suppose -2*v = 2*g + 12, 5*g + 0*g - 42 = 3*v. Let k(x) = x**3 + 8*x**2 - 10*x - 6. Let h be k(v). Solve 5 = -4*l - i + 4*i, -h*i = 2*l + 7 for l.
-2
Suppose 0*s = 5*k + 3*s + 35, -35 = k - 5*s. Let x be (-34)/(-10) + k/25. Suppose -x*t = -4*d + 1, 3 = -t + 3*d - d. Solve 0 = -0*h + h - t, -f + h = 9 for f.
-4
Let d(l) = -4*l - 1. Let m be d(-1). Solve 3*f - 5*i - 5 = 0, -m*f = 2*i + 6 - 4 for f.
0
Suppose -h = -0*h. Suppose 3*n = -h*n + 12. Suppose 2*u - 2*w - 8 = 0, 4*u + 2 + 0 = -5*w. Solve -n*r = d + d + 26, -2*r - 4 = -u*d for r.
-5
Let x(i) = i + 6. Let f be x(-3). Solve 2*v = -2*b - 2, -2 = -3*v + f*b - b for v.
0
Suppose 2*z - 4*r + 1 = -1, 2*z - 5*r = -4. Solve 0 = -5*q + 2*v + 23, 21 = 5*q - 2*q - z*v for q.
3
Let h be (-4)/(-2) + 1 - -1. Let a(y) = 3*y - 6. Let s be a(h). Let d = s - 6. Solve -2*i = 3*b + 3*i - 13, d = -3*b - 2*i - 2 for b.
-4
Let v = 24 - 0. Solve -3*x = -2*r - 7, 5*x - x + v = -4*r for x.
-1
Let i(n) = -n**3 - 2*n**2 + 22*n - 7. Let z be i(-6). Solve -2*m = 4, -3*h = 2*m - z*m - 15 for h.
3
Suppose 35 = u - 0*u. Suppose u = n + 4*n. Solve -z - 1 = -3*q, q + 0*z - n = -z for q.
2
Let m be -3 + (-42)/9*-3. Let o(k) = -3*k**3 - 1 + m*k**3 + k**3 + k**2. Let f be o(1). Solve 6 = -2*r - 4*z, -f = 2*r - 4*z + 5*z for r.
-5
Let u = -5 + 6. Suppose 2*i - 3*h = -u, -2*h = -4*h + 6. Solve -2*g + 4*r = 20, i*g + 16 = 3*g + 4*r for g.
-4
Suppose -5*h - i = -29, -2*h + 9 = 7*i - 4*i. Let v be (-1)/((-2)/h)*1. Solve f + 4*f = 5*l - 15, 6 = v*f + 2*l for f.
0
Let d be 14*(5/2)/5. Suppose -3*b + 15 = 3*k, -d = -2*k - b - 0*b. Solve -k*c - 18 = -4*c - 2*r, 4*c + 2*r - 26 = 0 for c.
4
Suppose 4*j = 3*h - 31, -4*j = -3*h - 6*j + 7. Solve 11 + 5 = 2*z + 5*p, -h*p + 7 = -z for z.
3
Suppose i = 4*i. Suppose i = -5*y - 4*d + 5 + 5, -2 = -y + d. Suppose 0 = 3*p + 2*p. Solve 2*f + 2 = y*c - p, -4*c + 22 = 2*f for c.
4
Suppose -25 = -5*z + n, -3*n = 4*z + z - 5. Let x be (-2 + 10/z)*4. Suppose -2*y - x*y = 0. Solve y = d - 3, 5*d - 10 = -2*r + d for r.
-1
Let j be (-276)/30 - (-1)/5. Let s = 13 + j. Let y be 3*(-2)/(-3) + -2. Solve 0*p - s*w + 8 = 2*p, y = 2*p + 3*w - 5 for p.
-2
Let v = -4 - -9. Solve 17 = -3*q + q - 3*w, 17 = -v*q + w for q.
-4
Suppose -3*t - 5*g - 9 = 0, 2*g = -t + 7*g + 17. Let p(k) = k**3 - 2*k**2 + k + 2. Let z be p(2). Solve 3*w = 0, 4*f - t*w = w + z for f.
1
Let b = -1 - -6. Suppose 0 = 2*i + b*d - 19, 5*i + 2*d - 5 = 11. Solve -5*f - a = -14, -2*f - f + a + i = 0 for f.
2
Let a be (-297)/63 - (-4)/(-14). Let k = 1 + -1. Let o = k - a. Solve 16 = 4*x - 0*x - 4*p, o = 5*p for x.
5
Let d = 58 - 58. Solve 4*z - 2*n = -d*n + 24, z = -n for z.
4
Let h(x) = x**2 + 7*x - 42. Let q be h(-11). Solve -b - 3 = -2*n, n - 3 = -q*n for b.
-1
Let f = 2 - 21. Let m = f - -39. Solve -m = -5*p, -3*x + 8 + 8 = p for x.
4
Let c = 10 + -10. Let u(v) = 6 + v - v**2 + 1 - 3. Let r be u(c). Solve r*l = -5*s + 5, -4*s - 11 = -3*l + 16 for s.
-3
Let o be (2/3 + -2)*6. Let m be (-8 - -3)*o/20. Solve -4*c = 4*d - c + 8, -d - m = 4*c for d.
-2
Let d = 7 + -3. Suppose -4 - 4 = -s. Solve -4*r = d*g - s, 5 = -4*g - r + 4 for g.
-1
Suppose 5*y - 5 = -0*y. Let b = -1 + y. Suppose -m = -b*m. Solve n + 3*x - 17 = m, -n + 3 = 3*n - x for n.
2
Let p be (1/(-2))/(2/(-8)) + 2. Solve -3*t + 14 = 3*c - 4, p*c - 16 = 4*t for t.
1
Let t(n) = -n + 3. Let m be t(-6). Suppose 5*u = 5*l + 15, m = 4*u - 5*l + 2. Suppose 3*i + i = 12. Solve 4*s - 5*s + 6 = 4*o, i*s = -2*o + u for o.
1
Let w = -21 - -29. Solve 4*m + 4 = 4*q, 2*m + q - w = -1 for m.
2
Suppose -39 - 49 = -4*d. Let w = -19 + d. Let i be 1*(-2)/2 - -8. Solve -o + i = -0*j - w*j, -o = 4*j for o.
4
Suppose -2*s + 12 = 3*g, 2*s = -3*g + 3*s + 3. Let u be (-40)/4*g/(-4). Solve -t + 15 = 4*f, -u*t = -2*f - 0*f + 35 for t.
-5
Let p be (-3)/(-6) - (-61)/2. Let a = p + -12. Solve 3*l = 6, 2*f - 5*l + a = -f for f.
-3
Let c = 7 + -5. Let d(r) = -r**3 - 8*r**2 + 7*r - 13. Let q be d(-9). Solve -3*k - c*s = -3, 11 = 2*k + 2*k + q*s for k.
-1
Suppose -z - 3*k + 4 = 0, 7*k - 2*k = 5*z - 20. Solve -4*r + 11 = -4*s - 9, -3*s - 16 = -z*r for r.
1
Let s(q) = -2*q + 12. Let z be s(8). Let n = z + 6. Let j be (3 - 1)/(2/4). Solve -2*d = -2*w + n, -10 = j*d + w + 14 for d.
-5
Let o = -6 - -11. Suppose 0 = 2*i + 1 - 17. Let l = 12 - i. Solve -o*w = -2*r + l*r - 16, -w - r = -2 for w.
4
Let m(d) = -d**2 + 3*d + 28. Let y be m(7). Solve v - 3 = -0*v, -5*f + 2*v + 9 = y for f.
3
Let n = 124 - 119. Solve 4*g - 28 + n = -i, 3*g - 12 = i for g.
5
Suppose 82*c = 79*c. Solve 4*q + 2*v = 4, 5*q + v + c - 8 = 0 for q.
2
Suppose 2 = -2*y + 3*y. Solve -y*h - l = 0, 2*l - 16 = 4*h - 0*h for h.
-2
Suppose -u = 2*u - 12. Let p = 8 - u. Solve -p*x - 20 = 0, -x - 8 = -2*b + 7 for b.
5
Let g(d) = d**2 - 4*d. Let f be g(3). Let c = 15 + f. Let o be 6/(-4)*(-32)/c. Solve o*n + 4*j + j = 37, 4*n - j - 7 = 0 for n.
3
Let q be ((-9)/5)/(4/(-20)). Suppose -3*i + 0*i + q = 0. Solve -4*v = -4*m + 20, -v - i*v - 20 = m for v.
-5
Suppose -3*o = -2*v - 71, -4*o - 2*v + 25 + 79 = 0. Solve 5*h - 