be u(-9). Solve -2*z + 6 = 0, -w*l + 14 = -z + 5 for l.
3
Suppose -5*t + 4 = 3*j, -j - 4*t = -0*j + 1. Solve -2 = -3*i + j*z - 4*z, 4*i - 3*z = 20 for i.
2
Let f be 2 + (0 - 1 - -4). Suppose 4*d - 5*u = -f + 1, 0 = -d - 5*u + 24. Solve s - d*w = w + 9, 3*w - 17 = -5*s for s.
4
Suppose q = -6*n + 3*n + 57, 3*n + 5*q - 45 = 0. Suppose 4*o - 2*z = 30, -4*o + 5 = z - 10. Solve -25 = -o*u + 4*a + n, 5*u + 4*a - 5 = 0 for u.
5
Let j(p) = -p**2 + 4*p + 10. Let k be j(5). Let d = 0 - -21. Solve -d = -2*r + 3*a, -k*r + a + 30 = -2*a for r.
3
Let d(b) = 4*b**2 + 5*b - 4. Let q be d(1). Solve -4*f - 2*p = -22, -4*p - 29 = -q*f - 7*p for f.
4
Let s be (-6)/(48/(-44))*2. Let t be -4*(-1 - 1)/4. Solve t*g - s = 5*p + 9, 2*g - p - 12 = 0 for g.
5
Let c = 3 - -2. Solve -c = 5*n - 3*l, 0*n - 2 = 2*n - l for n.
-1
Let q = 70 + -67. Solve 0 = -3*n - 4*p - q, -3*p = -4*n + 1 + 20 for n.
3
Suppose -4*o + 9 = -o. Suppose -o*v + 0*v = -15. Let m = v - -7. Solve -5*f + 4*i - 35 = 0, 0 = -0*f - f - 3*i + m for f.
-3
Let m = -4 - -4. Let h be (-1 + 1)*(-1 - m). Solve -3*y + 5*c - 7 = 4*c, h = 3*y + 4*c + 17 for y.
-3
Let g be 3*(-42)/(-9) - -2. Suppose -3*o + 2*o = -g. Suppose -5*t + 22 = 3*r, -r - 2*t = -6*r + o. Solve 8 = -2*x, x + 9 = -r*y + 1 for y.
-1
Suppose -2*f = 1 - 5. Solve 5*k = -4*d + f, -2*k - 2*d = -3*k - 8 for k.
-2
Let y(w) = w**3 - 2*w**2 - 2*w + 2. Let p be y(3). Solve 0 = 5*v - 5, p*h + 2*v - 19 + 2 = 0 for h.
3
Let n(l) = -l**2 - 8*l + 13. Let q be n(-10). Let y = -4 - q. Let i = -1 + 1. Solve 5*a - 8 = -3*h - i*h, 2*a = -y*h + 5 for a.
1
Let o be ((-6)/(-4) + -2)*-20. Suppose 6*y = -o + 40. Solve y*p + 15 = -5*s, 0 = -0*s + 3*s for p.
-3
Let u = 9 - 4. Suppose -19 - 25 = -11*o. Solve o*y + 2*d + 6 = 0, u*y - d - 1 = 2 for y.
0
Suppose 3*w - 40 = -10. Suppose h = 4*o + 2, 2*o - 3*h = 3*o - 6. Solve -3*q - 4*r + 35 = -o*r, -q + 3*r - w = 0 for q.
5
Suppose -w = 5*m + 15, -8*w - 3*m - 9 = -4*w. Solve 0 = x - 1, w*x + x + 1 = -t for t.
-2
Suppose 8 = -6*l + 38. Solve t - u + 7 = u, -3*t = -l*u + 20 for t.
-5
Let d = -19 + 19. Solve m + z - 5*z - 5 = d, -3*z = -m + 4 for m.
1
Let b be (-6)/2 - (2 - 7). Suppose -t = b - 5. Suppose 34 - 1 = 3*i. Solve 3*g = -v + 3, t*g - g + 5*v = -i for g.
2
Let h be (-2)/(-1) - (-1 + -2). Suppose -h*x + 5 + 25 = 0. Solve 4*p + 14 = 2*m, -5*m - 4*p + x = -1 for m.
3
Let j(k) = -k**3 + k + 1. Let t(v) = v**3 - 5*v**2 - 3*v - 4. Let o(i) = 2*j(i) + t(i). Let f be o(-5). Solve 2*r - 6 = c - 3*c, -r = -f*c + 5 for r.
1
Let z = -44 - -67. Solve -5*l - z = -2*d, -d + 4*l + 17 = -2 for d.
-1
Let x(a) = -a**3 - a**2 + 3. Let z be (-1)/(1/3) - -3. Let f be x(z). Solve -t + f*h = -1 + 5, 4*t - 3*h = 11 for t.
5
Suppose -4*w = 0, 0 = -3*k - 2*k - 2*w. Solve k = o - 2*z + 7, z = o + 2*z + 4 for o.
-5
Suppose -2*a + 9 = a. Solve a*s - 4*q = -35, -2*s = -4*q + 10 + 20 for s.
-5
Suppose -3*y - 3*o + 27 = 3, -5*o + 25 = 0. Solve y*j - 5 = -4*w + 3, 5*w + 25 = 5*j for j.
4
Let l(g) = -g**2 + 6*g - 5. Let p be l(4). Suppose -p*f + 8 = -1. Solve -c = 2*d + f*c - 6, c - 6 = 4*d for d.
-1
Suppose u + 0*q - 4 = 4*q, -u = -3*q. Let b = -6 - u. Let m(i) = i**3 + 4*i**2 - 2*i - 2. Let h be m(-4). Solve -5*f - t = -h, -b*f = -2*f + 2*t for f.
2
Let y be (-9)/6 - (-55)/10. Suppose 12 = y*j + s, s = -4*j - 2*s + 12. Solve -2*k - 2 = j*l - 3*k, 2*l = 4*k - 8 for l.
0
Let x(m) = -m + 10. Let l be x(5). Let i be 4/10*(4 + 1). Solve 3*s - 16 = l*o - 3, -18 = i*s + 2*o for s.
-4
Let o be ((-6)/21)/(4/(-56)). Solve o*w - 21 = -5*m, 0 = -5*w + 2*m + 3*m + 15 for w.
4
Let z be -27 - (-3)/(-9)*3. Let r = z - -20. Let a = 13 + r. Solve 3*q - 9 = -a*f, 0 = -f - f - 4*q + 12 for f.
0
Suppose 0 = 3*m - 5*h, 4*m - 5*h = 1 + 4. Solve 0 = x + m, 3*j - 4 = -4*x - 30 for j.
-2
Let m(s) = s**2 - 4*s - 7. Let a(y) = -y + 13. Let o be a(8). Let i be m(o). Let n be ((-3)/i - 2)*-4. Solve 0 = n*v - 0*v - 5*f - 1, -2*v + 4 = -2*f for v.
3
Let d = -31 + 36. Solve 5*i = -3*u + 4, -12 + d = -u + 4*i for u.
3
Let w(s) = -s**3 - 18*s**2 - 18*s - 17. Let r be w(-17). Solve -3*p - 6 = -3*k, -k - p - 2 = -r*k for k.
0
Suppose 10 = 2*u, -c + 3*u = -0*c + 7. Suppose -4*f - z = -c*f, 3*f - 2*z = 0. Suppose f*v = -3*v + 9. Solve 0 = 4*b + w - 4, -7 = -5*b + v*w + 15 for b.
2
Suppose 6 - 16 = -5*y. Let m = y + 1. Solve -4*q - q = -5*i - 35, -13 = q + m*i for q.
2
Suppose f = -s + 1, -4*f + 4*s - 17 = -5. Let b be (-2)/((-6)/(-15))*f. Solve b*u + 3*l - 25 = 0, 2*u - 3*l + 3 + 8 = 0 for u.
2
Suppose 2*w - 4 = 6*w. Let a(l) = -6*l + 1. Let f be a(w). Solve -3*m - 4 = 5*i + f, 5 = -2*m - i for m.
-2
Let w(s) = -s**3 - 18*s**2 + 18*s - 5. Let x be w(-19). Solve -5*l = 2*t - 12 - 4, l - x = -4*t for t.
3
Let p = -16 - -21. Solve j + p*n + 21 = 0, -j + 0*n + n + 9 = 0 for j.
4
Let j = 55 + -55. Solve -3*y - 11 = d, 4*d + 2 + 6 = j for y.
-3
Suppose f - 2*f = 0. Suppose 0*y - 9 = w - 2*y, f = w + 3*y - 16. Let r be 5 - (-2 + w)*-2. Solve -4*z - r*o - 1 + 3 = 0, 3*z + 3*o - 3 = 0 for z.
-1
Suppose -3*f = -4*p + 76, 4*p + 26 = -3*f - 18. Let g = f + 20. Solve -v + g*v + 15 = -2*s, -s - 4*v = -15 for s.
-5
Suppose -l = l - 10. Let n = 20 - 7. Let h be n/1 - (6 - l). Solve -4 = -4*t + 4*p, t = -3*t - 4*p + h for t.
2
Suppose 0*r - r + 4 = 0. Let t = r - 2. Solve -5*d + p = 4*p + 8, -t*d + 2*p = 16 for d.
-4
Suppose -2 = -2*k, 3*u - 3*k = 2*k - 8. Let c be (0 - 6)*u - 3. Solve -3*f - 9 = -f + 3*h, 11 = -c*f - 2*h for f.
-3
Let y(k) = -k**2 - 4*k. Let x(o) = o**3 - 5*o**2 - 7*o + 3. Suppose -c + 0*c = -6. Let h be x(c). Let p be y(h). Solve n + p*s + 6 = -2*n, -5*s + 8 = -n for n.
-3
Let w = -13 - -6. Let j be 2/w - 92/(-28). Solve -3*y + 5*l = -y + 15, j*y = -3*l - 12 for y.
-5
Let i be 3*(136/12 - -2). Solve 3*w + 5*a - i = 0, -3*w + 5*a - 3 = 7 for w.
5
Let f = -123 - -129. Solve 3*g + 10*k + 15 = 5*k, 4*g + 2*k = -f for g.
0
Suppose -s = 4 - 8. Solve 3*i = 3, s*r - i - i = 6 for r.
2
Let r = 41 - 37. Solve b - n + 1 = 0, -b + r*n - 14 = -2*b for b.
2
Let a be 48/(-30)*5/(-2). Suppose 3*t + 4*y - 5 = 6, -4*t = -2*y. Let p be 0*(2/4 - t). Solve 4*b - 5*x - a = p, -2*b - 2*b + 2*x = 8 for b.
-4
Let r be 4/(-12) - (-64)/12. Solve 5*b = c, b - r*b = 3*c for b.
0
Suppose 16 = 2*o + 6*j - 3*j, 3*o - 17 = -j. Solve o*p + 3 = -s, -3*s + 5*s + 5*p = -1 for s.
2
Let u(x) = x**3 - 4*x**2 + 2*x - 5. Let f be u(4). Let a be 14 + f - (0 + -3). Solve -4*r = -0*r + 3*y + a, 0 = 4*r + 2*y + 16 for r.
-2
Let y = 30 - 20. Suppose 0 = 5*w - 3*w - y. Solve -3*h - 2*k - 1 + 7 = 0, 2*h - 4 = w*k for h.
2
Let q(r) = -3*r**2 + 29*r - 11. Let i be q(9). Solve 0 = 3*p - 3*x, -3*p + 19 = x + i for p.
3
Let w be 22/4 + (-2)/4. Suppose 4*z - 2*b = 2*b - 16, -w*z - 4*b + 16 = 0. Solve -4*j = 3*o + 1, -o + z*o + 5*j = -25 for o.
5
Suppose 0 = 2*l + 4 - 0. Let o = 3 + -2. Let a be 1*0*o/l. Solve a = -3*r + 3*h + 9, -2*h = 3*r - 3*h - 11 for r.
4
Suppose 5*n = 2*v + 1, -5*v + 26 = -4*n + n. Suppose 0 = -5*x - 3*i - v, -2*x + 3*x + 4*i + 15 = 0. Solve -11 = 3*h + m, 0*m - m = h + x for h.
-5
Suppose 6 = 4*a + 14. Let g(o) = o**2 - 2. Let h be g(a). Let u be 18/h*(-5)/(-3). Solve 5*m = 5*c - u, 0*c - 18 = -2*m - 4*c for m.
1
Let z be 6 - (-2)/6*-3. Solve 5*r - z*a + 20 = -10, -2*r + a - 8 = 0 for r.
-2
Let c(k) = -k**2 + 5*k + 4. Let s be c(5). Let j be (4/6)/(s/18). Suppose 2*o - z = j, -5 = -2*z + 1. Solve -5*t = 3*a - 27, 0 = -o*t - t + 12 for a.
4
Let p(a) = -2*a - 9. Let y = -11 - -4. Let k be p(y). Solve 3*t + 3*m + 19 = 4, -k*m - 11 = -2*t for t.
-2
Suppose -t - 4*t - 15 = -3*d, 4*d + t = -3. Suppose 0 = -3*f - f - 28. Let l = -7 - f. Solve -z + 4*s - 5 = d, l = -5*z - 4*s + s - 25 for z.
-5
Suppose -3*m - 9 = -2*m + 4*w, m - 2*w - 21 = 0. Suppose 1 = 5*j - 14. Let d be 1*(j - -1) + 1. Solve o - 8 = 5*o, -a - d*o - m = 0 for a.
-1
Let v be -2 + 1 + (-8 - -2). Let r(s) = s**3 - 12. Let z be r(0). Let n = v - z. Solve -2*d + 3*x + 5 = 0, -n*x - 40 = 3*d - 0*d for d.
-5
Let f(t) = 2*t**3 + 2*t**2 - 2*t + 1. Let d be f(1). Solve -d*g + 1 = -3*v - 2, 3*g - 13 = -2*v for v.
2
Let h(o) = 7*o**2 + 2*o + 1. Let d be h(-1). Solve m = -m + d, 6 = 5*a - 3*m for a.
3
Suppose -h - 2 = -4*x - 3, 2*x + 3 = 3*h. Solve -5*d = -2*d + 4*m + 16, x = -3*m - 3 for d.
-4
Let g be ((-6)/(-5))/(24/(-80)). Let t be 5*-3*g/15. Solve 14 = 4*m + 2*