*u = m - 16, m = -2*u + 18. Solve -4*t - 2*l - 2*l + m = 0, -3*t = -5*l + 9 for t.
2
Let j = 9 - 6. Suppose 2 = -j*p + 35. Let b = p + -7. Solve 6*l = -b*t + 2*l - 4, 9 = 3*t - l for t.
2
Let z = 123 - 123. Solve 5*f - y + 15 = 4*y, -3*f + 4*y - 7 = z for f.
-5
Let u be (2/(-1))/((-8)/12). Suppose -2*t + 4*v + u = 5*v, v + 6 = t. Suppose -t*i - 6 = -15. Solve 5*z + 23 = -2*y, 11 = -8*y + 3*y + i*z for y.
-4
Suppose -r - 43 = -u, -u + 36 = 5*r + 11. Suppose -73 = 4*i - 85. Solve -12 = 2*a - 5*p, i*p + 8 = -5*a + u for a.
4
Let m(z) = 9*z**2 - 2*z - 1. Let t be m(-1). Let g be (t - 10) + 42/2. Solve -3*k - 2*i = -3, 2*k + g = 6*k - 3*i for k.
3
Suppose 4*v + 29 = 5*h - 12, -4*h = -3*v - 32. Solve o - 21 = s + h*o, s + 1 = o for s.
-5
Let u be 1/(-3) + (-14)/(-6). Suppose 3*g - 5 = -u*w, -3*w + w + 2 = 2*g. Solve -4*o = -l + 22, -l + 11 = -g*o - 3*l for o.
-5
Let o = 42 - 42. Solve o = 3*u - 2*r + 3, -4*u - 2*r + 1 = -3*r for u.
1
Let d = -7 - -12. Suppose 0*s = 2*s - 14. Solve -q + 21 = 2*q - d*l, -2*q = -l - s for q.
2
Let c be (3 - 4)*1 - 2. Let b = c + 3. Suppose -10 = -5*u - b. Solve 5*v = -2*z + 5*z - 14, 2*v - u*z = -8 for v.
-1
Let w = 166 + -166. Solve w = 4*y - 4*x + 8, -2*y + 5 = x for y.
1
Suppose 10 = 5*p + 2*f, -f + 0*f - 5 = 0. Solve -5*d = 4*w + w - 35, -p*w + 3*d = -7 for w.
4
Let r = -11 + 11. Suppose -p + x - 2 = -20, -4*p - 5*x + 108 = r. Solve 0 = -5*z - y - p, -4*z - 2*y - 22 = y for z.
-4
Let l be 4/16 - 15/(-4). Let d be 2/(-6) + 26/6. Solve d*o - 7 = x + 8, -l*x = -2*o + 4 for x.
1
Let m be 2 - 3 - 3 - -8. Solve 2*j = -2*q - 10, -q = -m*j + 3*q - 20 for j.
-5
Let b(o) = o**2 - 13*o + 3. Let p be b(13). Solve -5*d + 19 + 5 = -4*x, 0 = -5*x - p*d + 7 for x.
-1
Suppose -2*q = -q - 2. Let c = 5 - 1. Solve q*p + s = -11, -c*s + 8 = -4*p + 4 for p.
-4
Let x(g) = g**3 + 2*g**2 - 2*g + 2. Let s be x(-3). Let i be (5 + -1)*s/(-2). Solve -i*z + 10 = -2*k, 2*k - 2*z + 5 = -z for k.
0
Let u(z) = -z - 11. Let b be u(-11). Suppose 4*s = b, -4*q + 2*s = -7 - 17. Suppose q*d = 3*d + 12. Solve 0 = -d*m + 2*o + 6, 25 = 3*o + 2*o for m.
4
Suppose -3*a - 16 = n - a, -2*a - 6 = 0. Let h be 6/(-15)*(n + 0). Solve 0*b = -b - 5*v - 11, -5*b + 3 = -h*v for b.
-1
Suppose -21*w = -14*w - 14. Solve -3*d + 10 = w*i, -9 = -3*d - 5*i + 7 for d.
2
Suppose -2*m + 0*m = 2*r + 26, -3*m - 51 = 4*r. Let i be -10 - (3 + 6/(-1)). Let f = i - r. Solve -4*d - f*h = 9, 4*d + 2 = 5*h - 3*h for d.
-1
Let x = 11 + -9. Suppose 0 = x*d - 5*n + 11, d + 3*d + 3*n = 17. Solve -q + d = 4, 0 = 3*l + q - 7 for l.
3
Let y(x) be the first derivative of x**3/3 + x**2 - 4*x + 1. Let p be y(-4). Solve -v + 1 = 0, -v + p = 3*k - 3 for k.
2
Suppose 2*y + 15 = 4*c - 1, 2*y + 3*c + 2 = 0. Let x(v) = v**2 + 3*v - 2. Let h be x(y). Suppose -w - 3 = -h*w. Solve 0 = 4*d - 3*z + 6 + 6, 0 = w*z for d.
-3
Let c(z) = z**3 + 17*z**2 - 17*z + 29. Let y be c(-18). Solve 3*n + 3*r - 9 = 0, -4*n + 2*r + y + 1 = 0 for n.
3
Suppose 2*u = 3*r - 12 - 0, -r + 8 = -2*u. Solve 5*x = r*x - 4*v - 14, -x + 2*v = -12 for x.
2
Let q(u) = -u + 8. Let t be q(5). Let z be 2 + (0 - t) + 1. Solve -p = 4*b - z*p, 3 = b + p for b.
-1
Let g(l) = l + 1. Let t be g(-1). Suppose t = 5*x - 27 + 2. Let a(r) = r**2 - 13*r - 58. Let z be a(17). Solve -2*s - 2*s + q = -8, 0 = x*s - q - z for s.
2
Let t(b) = -b + 26. Let z be t(11). Suppose 3*m + 63 = -0*m. Let h be (-4)/(-14) + 6/m. Solve -3*l + 3*d + z = h, 3*l = 2*l + 3*d + 7 for l.
4
Let y be 2 - 1 - (-4)/1. Let c = y + -3. Let o be (-6)/(-10) + (-48)/(-20). Solve o*x + a = c, x + 2*a = -2*a - 14 for x.
2
Let f(c) = c + 3*c - 3 + 3*c - 8*c. Let m = 9 + -15. Let u be f(m). Solve 5*j = -4*x, 0 = -u*j - x + 7 - 0 for j.
4
Suppose -4*w = -5*k - 104, -k + 4*w - 84 = 3*k. Let s = k - -45. Suppose -n + 5 = -2. Solve l + n = 7*g - 4*g, 5*g = 5*l + s for l.
-4
Let p(c) = -c**3 + 4*c**2 - 4*c + 1. Let x be p(3). Let o = x + 7. Solve 15 + 11 = 2*m - 5*u, o = 3*m + u for m.
3
Let r = 4 + 1. Suppose 2*j + 2*m = -2*j + 18, 4*m = -12. Solve -23 = -j*x + 2*x + r*t, 0 = -3*x - 2*t for x.
2
Let k(z) = 2*z. Let a be k(2). Let q be a/(4/2) - -10. Suppose -5*n + 2*n = u - 25, -4*n = 2*u - 32. Solve -2*t = -2*h - n + 21, 3*h - t - q = 0 for h.
3
Suppose -3*w + 3 = -2*w. Solve 4*x + 2 = 3*j - 1, j - w*x = 6 for j.
-3
Let k be 2 + 0 + 2 + -2. Let q be (-2)/(k/(-10)*2). Suppose v = 3, v = -u - 0*v + q. Solve u*h + 2*m = 14, 2*m = 7*m - 25 for h.
2
Let o = -9 - -9. Suppose 3*x + o*x - 15 = 0. Solve q - 2 = -2*q + 2*a, -x*a = -q - 21 for q.
4
Suppose 3*s = -12, -3*y - 16 = -8*y + 4*s. Suppose -5*j = -y*j - 10. Solve -2*t + 1 = o, -4*o + 4 = j*t + t for t.
0
Suppose 0 = -2*r + 7*r. Suppose 5*y - 1 = 19. Suppose 6*p - p = 10. Solve p*l + 2*q + q = -9, -y*l - 3*q - 9 = r for l.
0
Suppose -2*f + 5 = 5*r, -2*f + r = f + 1. Let y be -1 - (-2 - -5) - (-16)/2. Solve -4*n - 6 = -i, 5*n - y*i + 7 + 6 = f for n.
-1
Let p = 1 - -3. Suppose 0 = r - 2*r + 3. Solve 0 = 3*k - r*g - 3, -p*k + g - 2*g + 19 = 0 for k.
4
Let j = 54 - 49. Solve 25 = -j*i + y, 8 = -3*i - 5*y - 7 for i.
-5
Let z(f) = f**3 - 7*f**2 + 6*f - 5. Let b be z(6). Let k = 5 + b. Suppose 6*a - a = k. Solve 3*l + 15 = -4*x, -4*x = -4*l - a*l - 20 for l.
-5
Suppose 2*v - 3*v = -2. Solve 3*h + 0*y = -v*y - 2, -40 = 5*h - 4*y for h.
-4
Let g = -5 + 8. Let i = g + 1. Let z = -7 - -11. Solve r - 5 = -5*j + j, z*r = -i*j - 4 for r.
-3
Suppose -6*u + u - 4*w = -41, -3*u - 3*w + 27 = 0. Solve -3*n - 5*m - 1 = -6*n, -u*n = 5*m + 25 for n.
-3
Let n(f) = -f - 1. Let b be n(-4). Solve -b*w + 20 = 4*q, w - 5*q - 2 + 27 = 0 for w.
0
Suppose c + 9 = 4*c - 3*q, -4*q - 4 = 0. Solve 3*w + 5*f + 2 = 4*w, 2*w + 4 = c*f for w.
-3
Suppose 0*t + 5 = t. Suppose 0 = -t*w - 0*w + 10. Solve w*m + y + 6 = -m, -17 = 5*m + 4*y for m.
-1
Let y be 6/(-5)*30/(-9). Solve 5*h = -q + 1, y*h - 6 = -5*q - 1 for q.
1
Let n(u) = -u**2 + 12*u + 69. Let j be n(16). Solve -4*l = 2*v + 14, 0*l + 5*l - 5 = j*v for l.
-2
Let f(z) = 2*z**2 + 6*z + 4. Let b(p) = -3*p**2 - 7*p - 4. Let h(x) = -3*b(x) - 4*f(x). Let c be h(4). Solve 0 = -v - c*y + 4*y + 13, 2*y - 4 = 4*v for v.
-3
Suppose u + 15 = 3*b, u + 5*b - 37 = 4*u. Let d be u*(-6)/(-9)*-2. Let y = -9 + d. Solve -5*c + 3*q - 22 = 0, 5*c + y*q + 26 = 2*q for c.
-5
Let p be ((-3)/2)/((-3)/4). Let a = p - -23. Suppose -a = -3*w + 26. Solve -w = 4*g - 5*j, -4*g = 3*j - 4*j + 13 for g.
-3
Let q = 5 + -2. Suppose -2*g + 5*i + 53 = 0, 6*i + 113 = 4*g + 3*i. Suppose -q*w = -46 - g. Solve -5*a + 5 = -4*f, 0*a - w = 5*a + 2*f for a.
-3
Suppose -5*i = -5, i - 2*i + 31 = 3*w. Solve -3*g + g + w = 2*z, -4*z = -g + 5 for z.
0
Suppose 2*z - x - 7 = 0, 0*z + 5*x = 5*z - 15. Solve 0*y - z*y + 21 = h, 4*h - 14 = -2*y for h.
1
Let q be (-7)/(-35) - 38/(-10). Solve -5*n = -2*u + 13, -4*n - 16 = -0*n + q*u for n.
-3
Suppose 4*b + 2*q - 13 = 3*b, -38 = -2*b + 2*q. Solve -p - 1 = 3*x - 0*p, -3*x - 5*p - b = 0 for x.
1
Let w be ((-18)/(-2) - 3) + -1. Solve p - 5*a = -4, -2*a - 7 = 3*p + w for p.
-4
Suppose -4*c + 5*j + 102 = 0, c + j = 3*j + 27. Let z = c - 19. Solve -2*a - 3 = -3*d, d + 2*d - 21 = -z*a for d.
3
Suppose 2 = -2*l - 2, 0 = -5*j - 5*l. Let c be 5 - (j - (-3 + 3)). Solve z - 3 = 0, z - 6*z + c = 3*p for p.
-4
Suppose -3*i + i = t - 2, 5*i - 16 = 3*t. Solve i*b - 11 = 3*b - 4*f, f + 1 = b for b.
5
Let a = 13 - 6. Suppose b + 2*w = 1 + 11, -4*b + 3*w - a = 0. Solve -3*m - b*m = 5*c + 20, m = -5*c - 8 for c.
-1
Let y(w) = -w + 2. Let g be y(2). Suppose 0 = 4*k + 3*p - 17, -2*k + 7 + 12 = 5*p. Suppose -10 = -3*t + k. Solve f = t*r - 3*f + 16, g = 5*r + 3*f + 20 for r.
-4
Let a be (-2)/4*-4 - 2. Let b(y) = y**2 + y + 8. Let g be b(a). Solve -s - t - g = 0, 3*t = -4*s + 2*t - 23 for s.
-5
Let b(r) = -r + 1. Let j(f) = f**3 + 2*f**2 + 3*f + 2. Let a be j(-2). Let u be b(a). Solve 0*q = 3*q + 2*k - 15, 0 = u*k for q.
5
Let r(h) = 1. Let s(b) = -b**2 - 3*b - 7. Let z(c) = -5*r(c) - s(c). Let n be z(-6). Solve 0 = 2*w - 4*w - 8, 0 = -4*q - 4*w - n for q.
-1
Let i(t) = t - 2. Let f be i(2). Suppose o + o = f. Suppose -2*m + 3*m - 2 = 0. Solve 5*k + m*d = -o*d - 13, k - 1 = -4*d for k.
-3
Let o = -25 + 45. Let q = -15 + o. Solve -q*f + 19 = 2*p, 2*f - 5*p - 35 = -2*f for f.
5
Let v = 105 + -64. Let a = 28 - v. Let u = a - -21. Solve u = -4*i - 3*l, -l + 3 =