). Let d = 21 + v. Solve 0*u + d = -u - 4*b, b + 4 = 0 for u.
2
Let n be (-1)/3*20*-3. Suppose 3*p - p = n. Solve -5*u - 15 = 0, -3*m - m + 2*u = -p for m.
1
Let a(b) = b - 3*b**2 + 8*b + b**3 - 1 - 7*b**2. Let n be a(9). Let o = 11 - n. Solve 0 = -3*r + 5*c + 2, 0 = r + 3*c + c - o for r.
4
Let u be (-6)/(-18) - 14/(-3). Solve y = u*j - 18, -4*j = 3*y - j for y.
-3
Let r be (21/63)/(2/54). Solve 3*m - t + 3 = -r, 0 = t for m.
-4
Suppose -3*r - b = 2, -2*r + 10 = r - 5*b. Suppose r*z - 4 = -2*z. Solve 2*d + z = 2*y, -2*d - 2*y = -5*y for d.
-3
Let r(h) = -3*h**2 - 18*h + 4. Let n be r(-6). Solve j - c - 6 = -j, -n*j + 12 = 2*c for j.
3
Let x(v) = v - 13. Let k be x(14). Let d = k - -1. Solve -d*g = t - 1, -13 = 4*g + 3*t + 2*t for g.
3
Let n(a) be the first derivative of -2*a**2 + 1. Let y be n(-1). Solve w + y*r + 12 = 0, 4*w = w + 3*r + 24 for w.
4
Let b = -5 + 7. Let y(h) = -4 - h + 5*h + b*h - h**2. Let t be y(4). Solve -5*u = t*o + 41, o - 3 = 3*o - u for o.
-4
Let w = -2 - -4. Solve 4*p + a - 22 = 0, -4*p = -w*a - 3*a - 10 for p.
5
Let r(a) = 2*a**2 + 5*a - 5. Let j be r(-5). Let x = 4 + 1. Solve -2*y + 5*o = 3*y - j, 28 = x*y + 3*o for y.
5
Suppose -15 = -3*f - 6. Solve 2*d + v - 6 = -f*v, 4*v = 5*d + 27 for d.
-3
Let d = 24 + -8. Let v = d - 8. Suppose 2*t - 2 = v. Solve -2*c + 16 = -5*h, 2*c = t + 1 for h.
-2
Let y(m) = 11*m. Let k be y(-1). Let f = -8 - k. Solve -f*v = -g - 15, 2*g = -g for v.
5
Suppose 2 + 6 = 2*h. Solve 0*m + 14 = -3*m + c, -35 = 5*m - h*c for m.
-3
Let l(r) be the third derivative of r**4/12 - 7*r**3/6 + 3*r**2. Let d be l(6). Solve -b + q = -d - 0, -7 = -3*b - q for b.
3
Let v(h) = 2*h**2 - 2*h - 1. Let b be v(2). Suppose f + 23 = 3*c, b = -4*c - 5*f + 59. Let q = c - 4. Solve -q*t - z = 25, 5*t - 2*t + z = -15 for t.
-5
Let a = 40 - 35. Solve -a*o = -s - 10, o - s + 2 = -0*s for o.
3
Let y be (-1)/2 + (-45)/(-6). Suppose -y = 5*z + 3. Let p(u) = -u**3 - 3*u**2 - 2*u. Let g be p(z). Solve 0 = 4*w - g*w - 5*a + 24, 5*a - 16 = -4*w for w.
-1
Let p = 2 - 2. Let o be 2*74/(-4)*-1. Let b = o - 26. Solve -2*l + f = p, 0 = -l - 3*f - 2*f - b for l.
-1
Let p = -23 + 42. Let s be -8*1/(-4)*-2. Let j be 10/s*-2 + -2. Solve 4*y = -j*c + p, 3*c + 2*c - 4*y + 11 = 0 for c.
1
Suppose -3*x + 5*o + 13 = -3, 2 = x - 5*o. Let b be 69/21 - 2/x. Suppose 3*z + 2*g - 9 = 0, 0 = -b*g - g. Solve z*r + 2*a = 21, r = 3*r + 3*a - 19 for r.
5
Let g(o) = 20*o - 4. Let m be g(3). Suppose 3*t + 5*h = m, 30 = -0*t + 2*t - 4*h. Solve -c = -5*s + 25, -4*s - 2*c + 3 = -t for s.
5
Let v = 26 - 24. Solve 0 = -2*r + g - 4*g - 4, 2 = -r + v*g for r.
-2
Let m be 0/(5 + -7 + 1). Solve m*y + 4*y = -8, 4*y + 28 = 5*z for z.
4
Let w(p) = p - 5. Let f be w(8). Solve 4*z - 10 = -i - 0*z, -5*i + f*z = 19 for i.
-2
Let s be (-58)/(-4) - 1/(-2). Suppose -5*j = 7 - 22. Let h be 5 - (-4 + j + 2). Solve -2*z - 5 - h = q, 4*z + s = q for q.
-1
Let v(q) = -q - 2. Let c be v(-4). Let h be (-18 - -24)*1/2. Let x(g) = 4*g - 9. Let w be x(6). Solve c*a + 0*d = h*d - 13, w = -4*a - 5*d for a.
-5
Let s = -68 + 68. Solve s = -4*m, -2 + 3 = -t - m for t.
-1
Let c(j) = -j**3 + 4*j**2 - 2*j - 1. Let v be c(3). Solve x + 1 = v*w, x = 2*w - w - 2 for x.
-3
Let w = 6 - 1. Solve -w*v = -2*a - 25, -3*v + 5*a = v - 37 for v.
3
Let x be -24 - (-2 - 0/2). Let b = 14 + x. Let s = 19 + b. Solve -5*k = -2*v + s, -6*k = -2*k + 12 for v.
-2
Let n be 0/(-3) - -2 - 3. Let l(r) = 8*r + 10. Let a(b) = -b - 1. Let s(y) = 10*a(y) + l(y). Let f be s(n). Solve 4*h + k = -1 - 0, 27 = f*h - 5*k for h.
1
Suppose 3*o - 3*t - 2*t - 16 = 0, 6 = -2*o - 5*t. Solve -5*b = 15, -2*h + o*b = 3*b - 7 for h.
5
Let c(m) = 4*m - 11. Let f be c(4). Solve 5*y + o - 28 = 0, -4 = f*y - 3*o - 20 for y.
5
Let f(o) = 3*o**2 + 4*o + 2. Let g be f(-2). Solve g = -3*d, 5*d + 7 + 8 = z for z.
5
Let z(i) = 4*i**2 - i + 1. Let k be z(1). Suppose 4*n - s - s = 30, s + 25 = k*n. Suppose 3*y - 12 = -0*y. Solve -4*l + 21 = -n*l + 5*j, -y*j + 11 = 5*l for l.
-1
Suppose 2*h - 2 = 0, 5*q - h = 4*q + 22. Let s be 8/12 - 4/(-3). Suppose -s*p = -6*p + 24. Solve 0 = 2*a + p, -2*o + 2*a + q = -3*a for o.
4
Let f(g) = g**3 - 5*g**2 - 4*g - 10. Let j be f(6). Solve -2*o + 3*q = 4, 5*o + j*q + 2*q - 13 = 0 for o.
1
Suppose 0 = -4*v + 7 + 13. Solve -5*x - 12 = 5*c + 8, 0 = v*c + 2*x + 11 for c.
-1
Let g be ((-35)/10 + -2)*-2. Solve 2*z = 5*q + g, -q - 4*z = -3*q + 2 for q.
-3
Suppose -3*u - 32 = -4*u. Let x be (-2)/(-9) - u/(-18). Solve 0 = -2*z - x*z + 20, 2*z - 13 = -3*h for h.
1
Suppose -b + 38 = -4*b - n, -3*n - 6 = 0. Let m = b - -12. Solve -2 = 5*u - 0*f + 4*f, m = 5*u + f + 8 for u.
-2
Let b be 2/(-7) + 2/7. Let o be 1 + 4*1/2. Suppose 4*j - o*j - 3 = b. Solve -2*q + 26 = -4*u, j*q = -4*u - 6 - 5 for u.
-5
Suppose -42 = -9*q + 3. Solve -q*z = 5*j + 40, -3*j - 4*z = -0*z + 27 for j.
-5
Suppose -a + 9 - 4 = 0. Solve -2*f + g + 2*g = 22, -a*f = -g + 29 for f.
-5
Let v be 4/(-8) + 2 - (-3)/6. Solve 10 = -5*o - 5*k, v*o - 5 = 5*k - 2 for o.
-1
Let m(j) = j**2 + j + 2. Let d be m(-2). Suppose 7 = -d*k - 5, -3*k = r + 4. Suppose 5*g - 20 = -r. Solve 3*b + 10 = p, -g*b = p + 6 - 4 for b.
-2
Let u = -18 + 33. Suppose -10 = 5*t - 2*m, -4*t + 2*m + u = 5*m. Solve t = 2*p + 2*d + 4, 3*p - 3*d + 7 = -5*d for p.
-3
Let o be 3 - 4 - (-5)/((-10)/(-32)). Solve o = 5*t - 3*d, 4*t + d + 3*d = -20 for t.
0
Suppose 85 - 21 = 4*n. Let z(b) = -b - 8. Let d be z(-10). Solve -2*f - d*q - n = f, 5*f + q + 22 = 0 for f.
-4
Let m(k) = k**2 - k - 4. Let w be -3*12/(-9) - 1. Let s be m(w). Solve -12 = 2*l - 2*r, l - 2*l = r + s for l.
-4
Suppose -4*s + 0 + 12 = 0, 2*s = -2*m + 10. Solve -h - 3*l + 13 = 0, -m*h - 2*h - l = -19 for h.
4
Let t be 1 + (2 - 12/4). Solve -p = -2*u - 6, -5*u - 18 = -t*p - p for p.
-2
Let u(r) = r - 4. Let k be u(6). Suppose 0 = k*l - l + 4*h - 5, -3*h = -3*l + 15. Solve b = -3*i - 15, 0 = -l*b + 5*i - 1 + 6 for b.
-3
Suppose j + 18 = -5*y, -4*y - 48 = -5*j + j. Let s = j - 7. Solve 3*f - a = 15, s = -4*f + 4*a + 11 + 9 for f.
5
Let k(v) = -v**3 - v**2 + v + 2. Let t be k(0). Solve t*n + u = -0*u - 7, 11 = -3*n - u for n.
-4
Let h = 7 + 0. Suppose 2*p = 4*f - 2, -2*f + h = -5*p + 18. Solve -4*j = -p*i - 8, -2*i + 4*i + 12 = -4*j for i.
-4
Let i(u) = -16*u**2 + 3*u + 3. Let b be i(-2). Let t = 112 + b. Solve -2*s - 3*s + t = 4*c, -c = -5 for s.
5
Suppose 0*t = 5*t + 120. Let v be (16/t)/(4/(-6)). Let w = v - -3. Solve 0 = -w*k + 2*j + 22, j + 4*j + 15 = 0 for k.
4
Let x(n) = n**2 - n + 2. Let f be x(1). Suppose -5*l + f*l + 5*c + 24 = 0, -5*l + 30 = -5*c. Solve -33 = 4*z + 5*k, -2*k - 7 = l for z.
-2
Suppose 2*q = 3*q - 14. Let k = q - 10. Solve -x = n + 2*n - 1, -k*x - n = 18 for x.
-5
Let y be (5 - 3) + 1 + 1. Let l = 5 - 1. Suppose l = y*t - 3*t. Solve -2*r + 3*a = 23, -t*a + 21 = r + a for r.
-4
Let d(i) = -i**3 + 11*i**2 + 12*i + 4. Let v be d(12). Suppose v*l - 77 = -17. Let o be 17/3 - (-5)/l. Solve -3*a = -0*a - t + 8, 5*a + 2*t = -o for a.
-2
Let s = 21 - 14. Let q = 12 - s. Let v be ((-2)/(-5))/(q/50). Solve r = -5*h + 7 + 7, 3*h + 10 = v*r for h.
2
Suppose -f + 2 = -3. Suppose 0 = -2*g + 6*p - 5*p + 3, -5*p - 1 = -3*g. Solve 0 = 4*n - 5*l + 8 + g, -f*l = 10 for n.
-5
Let x = -15 + 8. Let d = 40 - 47. Let a = x - d. Solve a = -3*w - 2*i + i + 5, -4*i = -3*w - 20 for w.
0
Suppose 0 = -c - 1, -3*g + 5*c = -0*g - 11. Let o be (-6)/(-9)*3/g. Solve 0 = a - p - 3, -2*p = 2*a + 5 + o for a.
0
Let o(x) = -x**2 - 6*x + 3. Let y be o(-7). Let u = -1 - y. Solve 23 = 3*b - 5*j, 5*j = -2*b - u*b - 15 for b.
1
Suppose 2*l - 4*r + 8 = -2*l, -3*r = -6. Solve -4*t = 4*o + 8, l*t + 2*t = o - 4 for t.
-2
Let h(r) = r - 1. Let a(i) = 4*i + 3. Let p(y) = -a(y) + 6*h(y). Let m be p(6). Suppose -5*z + 11 = 1. Solve -m*l + 4 = -4*x, 4*l - 1 = -x - z for x.
-1
Let q = 458 + -452. Suppose -z - 3*l + 4 = -1, -10 = -2*z - 2*l. Solve -m + 0*m - q = 3*x, z*m - 24 = 3*x for x.
-3
Suppose -10*i = -11 + 11. Solve -2*t = -4*r - i*r + 8, r = 1 for t.
-2
Let y = -10 - -5. Let v be (-3 - (2 + y))/2. Solve -2*j - 5*p - 7 = v, 0*p - 2 = -3*j + 5*p for j.
-1
Suppose 5 = 3*i - 7. Suppose i*y = 4*b - 16, -2*b - 16 = b + 4*y. Solve -4*g + 4*x - 12 + 4 = b, -3 = -3*x for g.
-1
Let v be (12/6)/(4/(-6)). Let s be (0 + v)/((-6)/8). Solve 2*g - s*f - 2 = -0, -14 = 2*g + 