*o. Solve 5*u - 3*s + 1 = -3, o = 4*u - 2*s + 2 for u.
1
Let t = 2 - 0. Suppose -3*a - 2*x + 5 = 0, 4*a - 16 = -t*x - 3*x. Let w be 5 + 2/(-1) + a. Solve 3*b - 8 - 10 = 4*k, -w*k = -5*b + 16 for k.
-3
Let n be (-4)/(-18) - (-6)/(-27). Let t be 3 - -2*(n + 1). Suppose 0 = -t*g + 20. Solve -x + 20 = g*k, x + 3*k = -5 + 21 for x.
4
Let v = -2 + 5. Suppose 3*r - 7 = -v*x - 1, 2*r = x - 17. Suppose -x*c = -2*c - 10. Solve c*f + 0*f + 14 = 3*m, -2*f - 2*m = -6 for f.
-1
Let h(m) = m - 7. Let o(i) = -8. Let p(y) = -2*h(y) + 3*o(y). Let u = 1 - 8. Let l be p(u). Solve 0 = -l*a - 4*q - 8, 3*q + 2*q = -4*a - 11 for a.
1
Let m(i) = -i**2 + 7*i - 3. Let q be m(6). Solve -2*u + 4 = 2*x, -2*x - u + q = -2 for x.
3
Let u = 5 - 5. Suppose 2*b + 0*b - 4 = u. Solve 4*d + 23 = b*l + 1, -4*d - 4*l = -8 for d.
-3
Suppose 74*c = 69*c. Solve -5*l + 0*l - 5*r - 30 = c, -5*l - r - 26 = 0 for l.
-5
Let a = -32 - -122. Let c be a/12*2/3. Solve c*b - 6 = 4*r, 10 = -4*b + 9*b - 5*r for b.
-2
Suppose 0 = -x + 7 - 3. Let s(r) = -r**2 - 5*r + 4. Let j be s(-5). Suppose -5 = -3*t - 3*b + j, 5*b = -2*t. Solve t*u - 5*y = x + 6, -14 = -5*u + 3*y for u.
4
Suppose h - 2*j = -0*j + 2, -26 = 3*h + 2*j. Let r = -3 - h. Solve o + 14 = -r*k, 3*o - 4*k - 27 = 6*o for o.
-5
Suppose -b + 64 = 3*b + 2*o, -2*o - 80 = -4*b. Let z = 24 - -10. Solve -3*l = 4*a + 5 - z, l - b = -3*a for l.
3
Let l(s) = -s + 6. Let q be l(-9). Let u = q - 7. Solve 2*t = -2*f - 2*f + u, 0 = 4*f - 4*t - 20 for f.
3
Suppose 0*u = 5*u - 4*u. Solve 5*n - o + u*o = -5, -3*o = -5*n - 5 for n.
-1
Suppose 4*i = -20, 0*h - 29 = -4*h + 5*i. Solve 2*t = 0, t + h = -u - 3 for u.
-4
Suppose -5 = -2*h + 3. Solve 4*z - j = -6*j + 3, h*j = 12 for z.
-3
Let x = 11 + -8. Suppose u - x*u = -4. Solve 4*l = 5*h - 2 + 23, -17 = 3*h + u*l for h.
-5
Let y = 100 + -99. Solve -4*q - 16 = 2*k, 2*q + 3*k + y + 3 = 0 for q.
-5
Let l = -1 + 5. Let f = -3 + 3. Let s = l - f. Solve -4*c - s*h = -20, -h = -2*c - 5*h + 20 for c.
0
Let p be (1/(-3))/((-1)/15). Suppose p*v - 5 = 0, v + 2 = -y + 2*y. Solve -n = -2*g + y, -2*g - 3*n = 2 - 9 for g.
2
Let k = 2 + -3. Let q(a) be the first derivative of 5*a**3/3 + a**2 + a - 6. Let c be q(k). Solve -c*m = 3*d - 1, -5*m - 25 = -3*d - 6 for d.
3
Let u = 0 + 3. Solve -u*r + l = r + 3, -5*r + 15 = 5*l for r.
0
Let z(b) = b**3 - 7*b**2 + 6*b. Let t be z(6). Solve r - x - 4*x + 14 = t, 10 = -2*r + x for r.
-4
Let s(u) = u + 7. Suppose 5*r - 30 = -0. Let c be s(r). Solve 6*z - c = 3*b + 2*z, 4*z = 16 for b.
1
Suppose -4*o = 4*k - 20, 3*o + 2 = k + 5. Let h be (-1)/k + (-14)/(-6). Suppose -1 - 14 = -3*u. Solve -4*y = -u*r - 37, 0*y - h*y - 5*r = 19 for y.
3
Let c be (-22)/33*18/4. Let o = -3 - 5. Let x = c - o. Solve -1 = -n + t, 0*t + t + 21 = x*n for n.
5
Let v(h) = -5*h. Let d be v(2). Let l be ((-8)/d)/((-4)/(-10)). Solve -p + 4*u - l + 0 = 0, -u - 8 = 4*p for p.
-2
Let z be 2*(2/(-4) - -1). Suppose -x - 5 = l, 3*x + 19 = -5*l - 0*l. Let k = -2 - x. Solve k + 7 = 4*o, -5*f + z = -2*o for f.
1
Let j be (17 - (2 + -1))/1. Let b = j + -4. Solve -i + b = -0*i - 4*r, 0 = -5*i + 3*r - 8 for i.
-4
Suppose 4*d - 15 = d + 3*t, -4*t = 2*d + 2. Suppose 5*l + 7 = -x, d*l + 2*l = 3*x - 19. Solve 4*y = -x*k - 7, 4*y - 2*k - 2 = -4 for y.
-1
Let b(y) = -2*y + 1. Let w be b(7). Let s = -10 - w. Solve 30 = 2*m + 5*t, s*m + 6*t - 27 = 3*t for m.
5
Suppose -4*c + 3*c = -4*u - 8, -c + 9 = -5*u. Let o = -15 + 23. Solve 2 = 2*t, 2*r + o*t - c*t + 6 = 0 for r.
-5
Let l(r) = -r + 9. Let g be l(6). Let c = g + 0. Solve t = -2*d + 4*t - 13, -5*d + c*t = 19 for d.
-2
Suppose u = -0*u + 4. Suppose 0 = u*p - 12 + 4. Solve -d + 2*d + 5*r = -16, 2*r = -p*d - 8 for d.
-1
Let c(j) = -j - 4. Let h be c(-4). Suppose h*i + 20 = -5*i. Let o(v) = v**2 + 2*v - 5. Let n be o(i). Solve n*u - 4*b - 5 = 0, -u + 0*b - b + 4 = 0 for u.
3
Let x = 1 + -5. Let p be (6/x)/(9/(-12)). Solve 4*t + 20 = 2*a, p*a = -2*a + 2*t + 16 for a.
2
Let u(j) = 2*j - 3. Let w be u(4). Let b(s) = 4*s**2 + s + 1. Let r be b(-2). Suppose r = 5*f - 2*f. Solve 0*o - 30 = 5*m - w*o, -5*o - 10 = f*m for m.
-4
Let m = -46 - -48. Solve 0 = k - 2*a - m, 5*k + 0*a = -3*a - 16 for k.
-2
Let o = 17 - 13. Suppose -2*i = o*z - 12, 3*i - 11 = -3*z + 1. Solve 0 = -5*y + 2*y - 4*n, 0 = -z*y - 5*n for y.
0
Let y = 5 + -5. Suppose y = -2*s - 1 + 25. Let j be (s/(-16))/(2/(-8)). Solve 5*i + j*b - 9 = 0, 5*i + b + b = 11 for i.
3
Let d(j) = j - 10. Let q(b) = -5*b + 41. Let i(n) = -9*d(n) - 2*q(n). Let x be i(-6). Solve 6 = 2*t - 4*z, -x*t - 15 = -t + 4*z for t.
-3
Let d(p) = p + 7. Suppose 4*h = 5*h. Let l be d(h). Solve 5*t - 2*j = l, -7 = -j - 3 for t.
3
Suppose 44*u - 43*u - 9 = 0. Solve -n + 3*n = 3*k + u, 4*k - 4*n + 8 = 0 for k.
-5
Let x be (-90)/(-27)*(-2 + (-21)/(-6)). Solve -4*u - 3*z + 2 = 2*z, -9 = -x*u - 3*z for u.
3
Let t(d) be the first derivative of d**3 + d**2 - d - 8. Let j be t(-2). Solve -2*a = -3*u - j, -3*a - 5 = 3*u - 7*a for u.
-3
Let i = 0 - -3. Suppose 2*r - i = 3. Suppose 5*b = 13 - r. Solve 7 = w - 2*l, -b*w + 2*l + 4 = -0*l for w.
-3
Let u = 9 + -5. Suppose -u*i = 7 + 9. Let f be (1 + i + 0)*-1. Solve -f*j - 13 = 5*m, 7*j = 5*m + 3*j + 6 for m.
-2
Let m be -2*((-12)/(-8) + -3). Solve m*x + 12 = -l, -4*x - 14 = -3*l - 3*x for l.
3
Let z(l) = -l**2 + 13*l - 37. Let p be z(5). Let h(f) = f**3 + 2*f**2 - 4*f - 3. Let x be h(-3). Solve p*s + 9 = x, -5*t - s = s + 31 for t.
-5
Suppose -5*x = 0, 4*m - 3*m = -5*x + 4. Solve -m*d = 2*i + 2*i - 4, 4*i + 5*d - 5 = 0 for i.
0
Let z = -7 + 11. Suppose -z = -m - m. Solve m*x + 2*x - g = -15, -x = -5*g - 1 for x.
-4
Let h = 20 - 7. Let t = 32 + -29. Solve 3*g - h = -4*x, 0*x + 10 = x + t*g for x.
1
Let x(i) = i**3 - 4*i**2 - 3*i - 6. Let u be x(5). Solve -5*r = -3*a + 23, u*r = -5*a + 4 - 15 for a.
1
Suppose -2 = -4*w - 10, -13 = -3*p - 4*w. Solve 0 = -4*u - c + 11, 0 = -2*u + c - 0*c + p for u.
3
Let i = 4 + -2. Let r = -14 + 16. Solve 5*k - r*k - 16 = -i*f, 5*f = k + 23 for k.
2
Let a(s) = -s - 10. Let y = -4 + -6. Let t be a(y). Solve -5*g + 4*i = -20, 0 = -5*g - i - 5 - t for g.
0
Let y = -88 + 134. Solve y - 16 = -3*p - 3*a, 10 = 3*p - 5*a for p.
-5
Let z = -2 + -9. Let g = -2 - z. Suppose -3*l = -3*w - g, 3*l + 5*w = 2*l + 3. Solve 3*q = -l*d, q - d + 8 = 2*d for q.
-2
Let t(l) = -4*l - 33. Let a be t(-9). Solve k = a*u + 2*u - 9, k - u = -5 for k.
-4
Let u(p) = p**2 + 7*p - 17. Let k be u(-9). Let v = 6 - k. Solve 2*y = -t - 0*y - 3, 4*y - 9 = -v*t for t.
5
Let o be (-15)/35 + (-106)/14. Let g = o - -8. Solve 2*f + 5*m - 18 = -g*m, 0 = -f + 2*m - 9 for f.
-1
Suppose -65 = -4*n - n. Let k = n - 13. Solve 0*a + a + 3*v = k, 0 = 5*a + 3*v + 12 for a.
-3
Suppose 0*i + 2*i = 12. Let c(f) = -f**2 - 6*f - 7. Let n be c(-5). Let v be n*(-1 + 2) + i. Solve r + 3*b + v = 0, -2*r + 2*b + 2*b + 12 = 0 for r.
2
Suppose 0 = 2*p - 0*p + 8. Let n = 4 + p. Suppose 5*a + 0*a = n. Solve 2*l - z = 0, a = -3*l - 6*z + z for l.
0
Let d(r) = r + 1. Let b(a) = -2*a - 13. Let w(i) = -b(i) - 4*d(i). Let u be w(-8). Solve -5*o - u = 0, -2*h + o - 1 = 4 for h.
-5
Suppose 3*b - 3 = -2*z - 9, -b + 5 = 3*z. Solve z*q = -2*x + 12, x + 2*q + q - 9 = 0 for x.
3
Let x(p) = p**3 + 10*p**2 + 9*p + 1. Let z be x(-9). Solve 0 = -5*k + 5*y - 30, -3*k - 5*y + 7 = z for k.
-3
Let p = -11 - -7. Let r be ((-15)/p)/((-1)/(-4)). Let x be (r + 0)/3 + 2. Solve -x*n + 6*n + 2*o = -10, 3 = 3*n + 3*o for n.
4
Suppose -40 + 4 = -4*l + 2*c, 3*l = 4*c + 27. Suppose -2*a + l = a. Let r be (-3 - -4)/1 + a. Solve 4*t + 4*f + r = 0, -f + 16 = -4*t + 2 for t.
-3
Let r(l) = l**2 + 5*l - 4. Let u be r(-6). Suppose 0 = n + 4*o - 0 + 18, -2*n + u*o + 14 = 0. Solve 5*c = -2*b - 33, -n*c = -6*c - 4*b - 36 for c.
-5
Let s = 0 - -2. Suppose -30 = -4*c + 2*j, -s*c - 2*j + 6 = -6*j. Suppose -3*i - k = 4*k - c, 3*k = 3*i - 33. Solve 4*g + 2*x = i, -3*g + 4*x = -3 - 3 for g.
2
Let s(o) = -9*o**2 + 2 + 1 + 3*o - 1. Let f be s(-2). Let y = f + 57. Solve 3*u = -4*t - 18, 0*t = 4*u + 3*t + y for u.
-2
Suppose -g + 77 = 5*a, -2 = -4*g - 14. Suppose -3*j = -j - a. Let u(r) = 2*r + 1. Let f be u(2). Solve -f*i + j = -7, 3*h + 3 = 4*i for h.
3
Suppose 9*z = 14*z - 15. Solve -14 = c + 4*c - z*v, c = 2*v for c.
-4
Let y be ((-2)/(-6))/((-1)/(-12)). Let g(l) = 5*l - 1 - y*l + 0. Let a be g(5). So