. Suppose 2*b - b = v. Let k be -1 - (2 + -8) - b. Solve -2*h + 3*h = 4*a + k, 5*h = -2*a + 25 for h.
5
Let l be 4/(-10) - (-51)/15. Suppose -l*w = -w. Suppose w = -g - 5*z - 7, 2*z = -2*g - 3*z - 4. Solve -3 = 2*h + j + 4, -g*j = 2*h + 5 for h.
-4
Suppose -6*d + 26 = -d - l, -5*l = d. Suppose 0 = -2*n - 4, -3*o + n + 5 - 12 = 0. Let g = o + 5. Solve -s + 2*z - d + 13 = 0, g*s = 5*z + 19 for s.
2
Let a(n) = n**2 + 2*n - 3. Let g be (-6)/4 - (-21)/6. Let c be a(g). Solve 4*o = 3*q + 26, 0*o + 3*q - 19 = -c*o for o.
5
Let t be -4*(123/(-12) - -5). Solve -5*h + t = 4*s, -5 = -2*h - 5*s - 0*s for h.
5
Let n be (5*7/140)/(2/40). Solve -1 = 5*y + q, 5*y + n*q - 22 = -7 for y.
-1
Suppose -5*g - 3*p + 16 = -5*p, -2*g - 5*p = -18. Let x be (g/(-7))/((-4)/14). Solve -x*n - 3*z + 15 = 3*n, 0 = -4*z for n.
3
Let g(h) = h**3 + 6*h**2 + 53. Let b be g(-7). Solve b*o = 2*w - 3*w - 17, 0 = -5*w + 2*o + 25 for w.
3
Let u be (-84)/(-36) + (-2)/(-3). Solve o = -5*i + 3*o + 9, -i - u = -2*o for i.
3
Suppose -13 - 13 = j. Let z = j - -62. Let h be 1 + 7/(14/z). Solve -3*w - q = -h, q - 8 = -4 for w.
5
Suppose t + 27 = -2*v, v - 2*t - 22 = 3*v. Let q = -13 - v. Solve -2*b - 2*n + q = -n, 0 = 5*b - 4*n + 12 for b.
0
Let b(a) = 2*a - 33. Let x be b(18). Solve -s + 2 = 0, 0 = -x*c - s - 3 + 2 for c.
-1
Suppose -2*u + 13 = 3*l, 3*l + l = 4*u - 16. Let x be l + -1 + 3 + 1. Solve 0 = o - c - 4, 2 = o + o + x*c for o.
3
Suppose -4*p = p - 4*u - 30, 4*u = -2*p + 12. Solve -p = -2*b - 4*z, -2*z + 22 + 6 = -4*b for b.
-5
Let o = 8 - 5. Suppose o*c + 0*c - 90 = 0. Solve 4*x = 2*d + 22 + 4, 5*x - c = 2*d for x.
4
Suppose 3*x - 14 = 64. Solve -2*i = b - 2*b + 3, 0 = -i - 5*b + x for i.
1
Let m = 7 - 5. Let f(s) = 6*s**2 - 2*s - 2. Let r be f(m). Solve -15 = 5*u, 2*o - 3*u - r = -3 for o.
3
Suppose 0 = -4*o + 4*r, 0 = -r + 8 - 3. Suppose 4*b - 15 = -o*n, 3*b = -5*n - 2*b + 10. Solve 0 = 3*t - 4*m - 31, -4*m = -n*m - 12 for t.
5
Let b be 6/4 - 114/(-4). Solve -5 = -5*z - 4*h, -3*z = z - 2*h - b for z.
5
Let o(z) = 7*z**2 + 4*z + 2. Let i be o(-1). Let b(g) = g**2 - g - 3. Let f be b(3). Suppose 0 = -f*p + 51 + 48. Solve 2*u = -i*h + 18, 4*u - 5*h + p = 9 for u.
-1
Let u be 4/(-8)*2*-163. Suppose -5*r = -u - 22. Solve 5*o = 3*d - r, -d = -4*o - o - 29 for o.
-5
Let z(h) = 2*h - 6. Let g be z(7). Let x = g - 4. Solve -n + 16 = -x*r, 0 = 4*r - 5*n + 16 for r.
-4
Suppose 0 = -5*n + 3*n + 12. Solve -2*b - 4*x + 8 = -n*b, -4 = -3*b + x for b.
3
Let o = 13 + -18. Let i(d) = -2*d - 6. Let h be i(o). Let g = 0 + 3. Solve -g*p - 4*f = -h - 15, -5*p + 2*f = 3 for p.
1
Let m = -2 - -6. Suppose -2*g = 5*q - 1, 6 = g - 4*q + q. Suppose m*r = -0*k - k, -k - 1 = g*r. Solve -4*j = -2*h + r - 3, -5*h - 5*j - 35 = 0 for h.
-5
Suppose 3*a + 2*a - 135 = 0. Solve -a = -3*h + 4*u, -10 = h + u + 4*u for h.
5
Suppose 2*y = y + 7. Let z(p) = -3*p**3 - p**2 + 1. Let t be z(-1). Solve r - 3 = 4*r, -t*q + y = -4*r for q.
1
Let l = -7 + 11. Solve 0*x + 2 = -5*u + l*x, -3*x = -2*u - 5 for u.
2
Let d(s) = s**3 - 8*s**2 - 9*s + 2. Let y be d(9). Solve -2*a - 3*a = 5*t, -y*a + t = 9 for a.
-3
Let z be 10 - (-6)/9*6. Solve 3*h = -3*p - 5 - 1, 3*p - 5*h = -z for p.
-3
Suppose -3*a - 4*x = -30, -4*a + 3*x = -14 - 1. Suppose -o - 1 = -a. Solve 5 = -2*c - 4*k - o, -5*c + 4*k = -45 for c.
5
Suppose 1 = -s + 2. Solve 3*d + 0*n = 5*n + 20, 0 = n + s for d.
5
Suppose 12 = 3*z, 2*h - 6*h = 2*z - 92. Suppose h = -d + 4*d. Solve -5*m = -5*b - 2 + d, b + 5 = -2*m for m.
-2
Let l(q) = -1 - 3 + 5*q - 2 - 4*q. Let o be l(8). Solve -o*x + 5*d + 6 = 34, 2*d = 8 for x.
-4
Let r = 10 + -8. Solve -5*w = 0, 0 + r = -j + 3*w for j.
-2
Suppose 2*m + 11 = -d, 5*m = 3*d + 4*m + 47. Let u = d - -20. Solve 0 = -u*y - 3*q - 13, 0*q + q - 14 = 2*y for y.
-5
Let t be 46/69*(1 + 2). Solve -5*s - 10 = 0, -3 = -t*p - 5*s - 23 for p.
-5
Let f(h) = h**2 - h + 3. Let j be f(0). Suppose l + 4*x = -11, 0 = -x - 3. Suppose -4*v = -9 + l. Solve -2*d + v = -j*a, -a = 3*d - 4*a for d.
-2
Let g be ((-405)/6)/(-9) + (-1)/2. Solve -6*w + 2*w - v + g = 0, 0 = -w - 3*v - 1 for w.
2
Let l(v) = -v - 2. Let d be l(-2). Suppose i = 3*m - 8*m + 25, -4*i - 20 = d. Solve -f + c + 5 = -m*f, 0 = -3*f + c - 3 for f.
-1
Suppose 0 = -5*n - 14 - 16. Let d = n + 7. Suppose -19 - d = -4*c. Solve -8 = -4*h + 4*l, -3*h = -h + l + c for h.
-1
Let a = -18 - -18. Solve a = -3*z - 2*t - 3 + 2, -4*t = -z - 19 for z.
-3
Let l be (16/(-44))/((-2)/11). Solve 0 = 3*a - 4*w - 14, w - 2*w = l for a.
2
Let z be (4 - 1)/9*(-42)/(-2). Solve 0 = 2*x - 5*s - 26 - z, -x = -4*s - 24 for x.
4
Let c(h) = -h**3 + 4*h**2 + 2*h - 3. Let o be c(3). Let w be 4/o + (-15)/(-9). Solve w = i + 3*y, 0*i + y - 2 = i for i.
-1
Let q(a) = a**3 - 2*a**2 - 6*a + 4. Let n be q(4). Let b = n + -7. Let l = -1 + 1. Solve -5*p + 6 = -4*o + 19, l = b*o + p + 20 for o.
-3
Suppose -2*z = -3*j - 54 - 30, -172 = -4*z + 5*j. Let q be (2/(-4))/(3/z). Let k = -5 - q. Solve 2*w = -k*w + 15, 4*t = -2*w + 26 for t.
5
Let m(s) = s**3 - 6*s**2 + 7*s - 4. Let p be m(4). Let n = -6 - p. Solve a + 0*w + n*w + 6 = 0, -w = -a + 6 for a.
2
Let l(k) = 3*k**3 + k**2 + 2*k - 3. Let g be l(1). Solve -c + 4 = 2*d, 0*d - c + g = d for d.
1
Let h be -23 + (7 + 1)/2. Let q = 24 + h. Suppose -60 = -a - 2*a. Solve 0 = -q*n - a, n + 4 = -5*x + 15 for x.
3
Let p be (1 - 4/10)*5. Suppose -18 = -4*z - 2. Solve 13 = -z*h - 5*l, -13 = 3*h + 2*h + p*l for h.
-2
Let q be 1 - (3 + -3 + 13). Let t be (-1)/(3*4/q). Let g(u) = u + 1. Let y be g(1). Solve 0 = -b + x + 4 - t, -y*x + 22 = 5*b for b.
4
Let t = 9 - 5. Let m = 12 + -8. Solve -m*x = 5*p - 20 - 6, t*p - 16 = -2*x for x.
4
Let x(g) = g + 5. Let w be x(-5). Let i = w - -5. Solve j + 2*z = 7, 2*j + 2*j - i*z = -24 for j.
-1
Let a = 53 - 35. Suppose 5*k + 2*b = k + a, 4*k + 4*b - 24 = 0. Solve 0 = -k*r - 2*w + 21 - 8, 0 = -5*r + w + 13 for r.
3
Suppose -7*w = -2*w. Suppose -2*t - 3 + 33 = w. Solve c + 3*l + t = 3, -3 = l for c.
-3
Suppose 3*c - 12 = 0, -4*j + 3*c - 8 = c. Let o = -47 + 86. Let m = -20 + o. Solve 0 = -3*s + 4*w - m, 4 = -j*w + 4*w for s.
-5
Let d = 5 - 3. Let p = d - 0. Suppose -4 = p*y, 18 = 4*q + 3*y - 2*y. Solve 2*h + q*g = 3 + 5, 0 = -5*h + 3*g + 20 for h.
4
Suppose 13*n - 15*n = -24. Solve -n = 3*p, 0*z - 2*p - 14 = 3*z for z.
-2
Let t(l) = -l**2 - 6*l - 7. Let c be t(-6). Suppose -3*w + 58 = 6*i - i, -4 = -4*w. Let x = i + c. Solve -2*r + 1 = 5*o - 3, 1 = -x*o - 3*r for o.
2
Suppose 0 = 6*p - 76 + 22. Solve -5*n - 11 = p, -4*n = 5*q - 4 for q.
4
Suppose -3*t + 4*t + 5*y - 10 = 0, 4*t + y = 2. Let p(s) = -s**3 + 8. Let r be p(t). Let n be r/20 + 2/(-5). Solve -4*l = -k - n*k - 18, -4 = -2*k for l.
5
Suppose 3*x - 30 = -5*m, 1 + 0 = 2*m - x. Suppose 2*k + 1 - m = 4*t, -5*t + 2*k = 0. Let c = 14 - -4. Solve -2*h = -h - 3*j - 8, -4*h = t*j - c for h.
5
Suppose -t + 10 = t, 0 = 2*m + t - 37. Let l = -11 + m. Solve -j + 3 = -0*j, 4*j + 3 = l*w for w.
3
Let s(m) = 10*m + 2. Let x be s(1). Let b be 3/x + 45/12. Let a = 0 - 0. Solve -b*u - 5*t = -11, a*u + 2*u - 4*t = 12 for u.
4
Let t = 2 - 1. Let d be (8/2)/(t + 0). Suppose -f = d*f - 10. Solve -3*j + 6 = 5*s, -f*j = 3*s - 0*s - 3 for s.
3
Let l = -314 + 556. Suppose -5*c = -l + 62. Suppose -6*o = -2*o - 4*a - c, 0 = -o + 4*a + 24. Solve -o*b = 5*y + 3, 4*b = -y - y - 6 for b.
-2
Suppose -3*z + 2 + 7 = 0. Let f(y) = -3*y - 1. Let m be f(4). Let c = -7 - m. Solve 3*s + c*t - t = 0, 5*s = -z*t for s.
0
Let b be -8*1*14/(-28). Suppose -2*i + 2 = -3*t, -5*i + 5*t = t + 2. Let g = b + i. Solve -3*k = 4*u - 20, g*k = -5*u - 2*k + 25 for u.
5
Suppose 2 = -3*r - c, -3*r - c = -2*r. Let q = r + 10. Solve 0 = -3*x - 2*z + q, 4*x - 4*z = 3 - 11 for x.
1
Let f(w) be the first derivative of -w**3/3 + 4*w**2 - 7*w - 3. Let m be f(6). Solve -3*t + 2*h + 15 = -3*h, m*t + h - 25 = 0 for t.
5
Let i be 14/3 + 2/6. Suppose -2*t = -4*w + 8*w - 24, -4*w = -t + 36. Solve y + 2*g - t = -3*y, -25 = -i*y + 4*g for y.
5
Suppose 3*y - 48 = -0*y. Suppose -y = 3*a + 23. Let d = a + 18. Solve -j + 18 = -4*g, -2*j + d*j - 18 = 3*g for j.
2
Let z be (10 - (4 - 3)) + -2. Solve 4 = -4*n - 3*j, 2*n + j - 3 = -z for n.
-4
Let x(c) = c**2 + 5*c + 7. Let a be x(-6). Let d = 8 + -3. Suppose -5*y + 2*m = -26, -2*y + 3*y = -d*m - 11. Solve 16 = -5*n - 3*q, y*q - a = 2*n + 