2*v + 5*b - 10 = x for v.
0
Let p be -2 - 1/(4/(-56)). Solve 0 = 2*h + 2*r + 4, h + 3*r = -p for h.
3
Let d be 18 + (-4 - -1 - (1 + -6)). Solve 2*c = -2*l + d, -5*c + c - 5*l = -45 for c.
5
Suppose -3*w + 15 = o, -3*o + 4*o + 4*w = 19. Solve -3*c + o - 12 = 4*v, -4*c - 12 = v for c.
-3
Let a = 6 - 7. Let f = a - -3. Solve 0 = -f*m - v - 4, -1 = -2*m + 3*v - 21 for m.
-4
Let l = -60 + 89. Solve 0 = 5*m - 8*m - 12, m = 5*i - l for i.
5
Suppose -z = -0*u + 5*u + 19, -2*z - 4*u = 20. Let m = 1 - z. Solve 4*r - m = -r + 5*a, 4*a - 17 = -3*r for r.
3
Let d be 5 - (-1)/(-3)*3. Suppose 0 = -0*u - 2*u + 20. Let b be d/(-10) - (-34)/u. Solve -b*n + n = -3*o, -o + 13 = -5*n for o.
-2
Let p = -14 + 9. Let f be (-159)/p + 6/30. Let t be (-64)/10*5/(-1). Solve c = -3*k - 4*c - f, 5*k + 3*c = -t for k.
-4
Suppose -3*z = 4*h + 3, -3*z - z - 2*h = -6. Let s = 10 - 11. Let f = s + z. Solve 2*w = -3*o + 22, -f*w = -6*o + 2*o + 6 for o.
4
Let l(u) = u**3 - 6*u**2 - 13*u + 1. Let q be l(8). Solve 5*a - 22 = -3*i - 6, -2*a + 5*i = -q for a.
5
Let v be 3/((-12)/(-14))*2. Let z be 1/(1*1/v). Solve -n - 3 - z = -3*s, 0 = 2*s + 5*n - 35 for s.
5
Let q = -54 + 59. Solve 5 = -j, q*j = -5*u - 7 - 3 for u.
3
Suppose -z - 8 = -3*z. Suppose 26 = 5*a + 3*y, -3 + 1 = a - 3*y. Let o be a*2*2/4. Solve -5*i - z*k + 4 = -8, 12 = i + o*k for i.
0
Suppose 0 = -4*w + 2 + 10, -2*m = 2*w - 6. Solve m = -g + 2*s - 3, -4 = -5*g + 5*s - 24 for g.
-5
Let k = 27 + -25. Solve -8 = -k*v + 2, 0 = -5*w - 2*v + 35 for w.
5
Suppose 55 = c + 4*c. Let y = 35 - c. Suppose -4*i - 4 = -y. Solve 3*b = 3*o - 12, 2*b - i*b + 4*o = 11 for b.
-5
Suppose 5*i = -f - 4, -i - 20 = -2*f + 7*f. Suppose 5*l = -25, -p + 24 = -4*l + 5. Let z = p - f. Solve -4*u + z*x - 6 = -22, -2*x = 4*u - 16 for u.
4
Suppose 2*q = -2*m - 2*q + 26, -2*m + 6 = -q. Suppose 2*i = m*i + 66. Let x be i/(-8) + (-1)/(-4). Solve -x*n = u - 7, -2*n = -u + 3*n - 1 for u.
4
Let z = 22 + -3. Suppose z = 5*q + 2*p, q - 4*p + 17 = 4*q. Solve f - 13 = 4*d, f + d = q*f - 5 for f.
1
Suppose -2*t = t - 36. Suppose -3*v + 0*f = -3*f - t, f + 24 = 5*v. Solve v*p + 22 = 2*b - 5*b, -2*p + b = 11 for p.
-5
Suppose 9*h - 90 = 4*h. Suppose 5*l = 4*l. Suppose -3*d + 7 = -s - 6, -2*d + 12 = s. Solve l = -p - 5*u - 1, 4*p - 4*u = -s*u + h for p.
4
Let c(v) = 2*v + 1. Let p(d) = d + 8. Let i be p(-7). Let y be c(i). Solve 3*u = -2*u + 2*r - 7, -4*u - 24 = y*r for u.
-3
Suppose 0 = w - 2*w + 10. Solve 8*d - 3*d - 3*l = w, 0 = 5*d + 3*l + 20 for d.
-1
Suppose 0 = -2*c - 2*b + 6*b + 28, 3*b + 23 = 2*c. Solve 0 = -2*q + 6*q - c, -k = -2*q for k.
2
Suppose -5*u - 2*m + 4*m + 14 = 0, u = 2*m - 2. Solve -u*v - o - 3 = 0, -2*o + 10 - 2 = v for v.
-2
Let a(j) = j**2 + 5*j + 3. Let p be a(-3). Let b = p + 3. Solve b = -d + 2*q + 3*q - 26, -4*d - 3*q + 11 = 0 for d.
-1
Let d(f) = -f + 2. Let x be d(-2). Suppose 11 + x = 5*l. Suppose -l*t = 2*t. Solve t = z - 3, 0*r = r - z - 1 for r.
4
Let w = -4 + 2. Let j be (2 + w)/(-3 - -4). Let i = 12 + j. Solve -4*k - 5*q + i = 0, -5*k - 2*q + 2 = -2*k for k.
-2
Suppose -5 = -d - 3. Solve -d*k + 20 = -4*z - 0, k = 0 for z.
-5
Let g(o) = o + 2. Suppose 5*y + 3 = -5*v + 38, 2*y = 5*v - 7. Let t be g(v). Solve -t*n + 3*j + 22 = 0, -n + 4*j + 5 = -13 for n.
2
Let a = -2 + 0. Let n = a - -5. Suppose n*r - 8 = r. Solve 3*k + k + 5*s = -13, 0 = -5*k - r*s - 5 for k.
3
Let m = -8 + 11. Let p be (-10)/m*12/(-8). Let h(l) = -l**2 + 6*l - 2. Let u be h(p). Solve 5*f - 17 = u*x, 0 = -x - 4*x - 4*f + 21 for x.
1
Suppose 0 = -12*y + 15*y - 6. Solve y*w - 4*l + 18 + 4 = 0, 3*l = -3*w + 3 for w.
-3
Suppose 3*n - 4*c + 0 - 29 = 0, 3*c = -5*n. Let k = 5 + 3. Suppose -v - 5*z = -0*z - 14, 0 = -5*v - 3*z + 114. Solve -4*j = -i - k, j = n*i + 5*j - v for i.
4
Suppose 3*r = r + 4. Suppose -q - r*n + 20 = 0, 0*n + 5 = n. Let a = -3 + q. Solve 5*t + a = -2*v + 3*v, -2*v - 5*t = 1 for v.
2
Suppose -z = y + z - 13, 0 = z - 5. Solve -2*u = y*x, -5*u + 2*x + 25 = -3*x for u.
3
Let w(p) = 12*p + 14*p - 27*p. Let z be w(-2). Solve 5*a + 13 = -c, -2*a = z*c + 2*c + 16 for a.
-2
Let u be (2/4)/(1/18). Let g be (6/u)/1*3. Let z be (0 + -3 + 3)/2. Solve 5*m + 20 = z, -g*q + 2*m + m + 8 = 0 for q.
-2
Let w(t) = -7*t**2 - 2*t - 10. Let p(i) = -i**2 + i - 1. Let l(f) = 6*p(f) - w(f). Let j be l(-8). Solve 4 = -j*a - u, 0*u + 8 = 2*a - 2*u for a.
0
Let x be (-8)/(-5) + 4/10. Let j = 4 - x. Solve -2*w = j*a - 3*a + 12, 5*a - 4*w - 36 = 0 for a.
4
Let v = 15 - 7. Suppose -65 = -3*t - v. Solve 10 = -2*r - 3*r, 5*i - t = -3*r for i.
5
Let b = 217 + -215. Solve 0 = -n + 2*p - 4 - 6, -b*n + p = 5 for n.
0
Suppose 5*a + 0 = 15. Solve -2 = -2*n, o - a*n = 3*o + 7 for o.
-5
Let p be (-1)/3 + 52/12. Solve 2*s + 3*s = 25, p*m = -3*s + 19 for m.
1
Suppose 2*a - 5 - 5 = 0. Solve -27 = 5*h - k, a*k + 5 = -4*h - 5 for h.
-5
Suppose -2*x + 18 + 0 = 0. Solve y = -2*m + x, 8*y + 7 = 3*y + 3*m for y.
1
Let x = 32 + -28. Solve -3*p = -6*p + v, -x*p + v = -1 for p.
1
Suppose -3*z = z - 20. Suppose -3*l = -7 - z. Suppose -5*u - 8 + 33 = 0. Solve u = -3*w + 4*j, -w + l*w - j = -8 for w.
-3
Suppose 3*s = 9*s - 90. Suppose 0 = -7*q + 12*q - s. Solve -m - q*m + 12 = 4*v, m + 5*v = 7 for m.
2
Let c be 2 - 0 - (1 - 4). Suppose -3*f - 2*j = -8, 0 = -c*f - j - j + 16. Solve 6*r - 5*n = 3*r - 2, f*n + 4 = r for r.
-4
Suppose 3*r + r + 2*x - 2 = 0, 4*r - 32 = 4*x. Solve 0*p + r*p = -5*a + 16, -4*a + 29 = -3*p for a.
5
Let g(s) = s**3 + 14*s**2 - 14*s + 32. Let l be g(-15). Solve -l = -c - c - 3*w, 5*c - 4*w = -15 for c.
1
Let z = 4 - 1. Suppose -z*i = -7*i + 20. Suppose -2 = d + 4*j, -3*j - 13 = -i*d - 0*j. Solve 3*m + 2 + 2 = -5*p, -d*p - m = 1 for p.
1
Let n = -12 + 22. Let w(y) = -y + 15. Let l be w(n). Let p = 29 + -17. Solve -4*a = -p, -l*a = s + s - 13 for s.
-1
Let x(i) = i**3 - 7*i**2 + 7*i. Let z be x(6). Suppose -2*t - 48 = -z*t. Solve 2*q + t = -3*j, -j + 0*j = 3*q + 11 for j.
-2
Let r be ((-9)/36)/(2/(-8)). Solve 5*w = 4*g + 22, r = -4*g - 4*w - 3 for g.
-3
Suppose 0*h + h - 4 = 0. Suppose 0 = -5*b - 3*m + 44, 9*b - 4*b + m - 48 = 0. Solve 5*n = -4*j - b, -3*n + j - h*j = 9 for n.
2
Let o = 19 - -3. Suppose 0 = 2*n - 26 - o. Let a be 135/18*2/3. Solve -z - a*h + n - 4 = 0, z - 4 = -h for z.
0
Suppose -6*v + 2*v = -y + 21, 0 = 4*y + 2*v - 12. Solve x + 4 = -2*u + u, -2*u - 5*x - y = 0 for u.
-5
Let u(x) = x**3 - 5*x**2 + 3*x - 8. Let w be u(5). Solve 5*d - 3*q + w = 0, 3*d = -0*q - q - 7 for d.
-2
Suppose 2*f + 20 = -4*x, -3*x - 5 = 2*f - 2*x. Suppose 2*v + 2*s - 2 = f, -3*v - s + 17 = 2*v. Solve -r - 2 = 2, 4 = -v*c - 5*r for c.
4
Let m = -3 + 5. Let r be 3 - m/2 - -1. Solve -r*g - 2*g - 10 = -5*c, -5*c - 20 = g for c.
-3
Let z be (0/(-2))/(1/1). Suppose j + 3*v - 29 = -4*j, j + 5*v - 19 = z. Solve 2*c - 15 = 6*c + a, -j*a = -4*c for c.
-3
Let p be 5/((4*-1)/(-4)). Solve 5*j + p = 4*i, 2*i - 2*j - 4 = -0 for i.
5
Let m = -69 - -47. Let i be (-46)/(-11) + m/121. Solve 4*n = -i*r - 12, -n + r = -r + 3 for n.
-3
Suppose 0 = -3*z + 48 - 27. Solve -15 = 5*b + z*h - 3*h, 0 = b + h + 3 for b.
-3
Suppose -14 = -4*j + 2*s, 4*j - 6*s + s - 11 = 0. Solve -8 = -a + 7*v - 2*v, j*a + 14 = -3*v for a.
-2
Let w = -5 - -9. Suppose -3*p = p. Solve -4*u + w*c = p, -7 = -4*u + 2*c - 3 for u.
2
Let y be (-6)/15 - (-5)/(75/171). Solve a + 4*w + y = 0, 5 = -3*a - 9*w + 4*w for a.
5
Suppose 8*v = 3*v + 10. Solve 4*z - 8 = 0, -2*d = v*z - 3*z for d.
1
Let b(c) be the first derivative of c**3/3 - c**2 - c + 3. Suppose 0 = 5*t + 7 + 3. Let s be b(t). Solve g + g + 14 = -3*y, 0 = -3*g - y - s for g.
-1
Let u = -25 + 25. Let r be (-9)/((-4)/(32/6)). Let d = -2 - -2. Solve u = 2*l - d*l - 4*w + r, 3*l = -w - 11 for l.
-4
Let l be 12*2/(8 + -2). Solve -l*j - 2*h - 8 = 0, -j - 4 + 2 = -5*h for j.
-2
Let c(j) = -j**3 + 10*j**2 - 9*j + 12. Let y be 74/8 + (-2)/8. Let a be c(y). Suppose b = -2*b + a. Solve b*v - 5*h = -h, 0 = 4*h for v.
0
Let s(g) = g**2 + 4*g - 8. Let l be s(-7). Suppose -4*v + 49 = l. Solve 2*j + 2*d = 0, -2*d + v - 21 = 5*j for j.
-4
Let u(t) = t**3 - t**2 + t + 4. Let s be u(0). Solve -2*d + 3 = -3*v, s*v - 2*v + 2 = -3*d for d.
0
Suppose 5*t = 50 + 60. Suppose -t = -5*j - 2. Suppose -3 = 2*z - 17. Solve -j*d = 2*i + 20, 3*d + 5 + z = 0 for i.
-2
Let s(a) = a**3 - 19*a**2 + 35*a - 15. Let g be s(