*k, -3*k + 2*g + 2 = h for k.
0
Suppose -2*k - 2*l + 7 = -9, 2*k = -3*l + 21. Suppose 0*v - 12 = -k*v. Suppose v = u + 2. Solve u*t + 7*m - 17 = 4*m, -2*m + 11 = t for t.
1
Let t = 709 - 703. Solve -z = -v - t*z - 14, 0 = -4*z - 8 for v.
-4
Suppose -24 = -3*c - 3. Let h be c/14 - (-39)/2. Solve 11 = -5*z + 5*s - 9, -h = -4*z - 5*s for z.
0
Let g = 660 - 654. Solve -f + 3 = -o + 6*o, -2*f + 2*o = -g for f.
3
Let b(y) be the third derivative of y**5/60 - y**4/8 - 17*y**3/6 - 47*y**2. Let q be b(6). Solve 5*o = -4*d + 3, -22 = -5*o + 2*d - q for o.
3
Suppose -5*m - 3*q + 12 = 0, 0 = -2*m + 7*m - 3*q + 12. Solve 2*b = -3*s - 3 - 8, 3*s + b + 7 = m for s.
-1
Suppose 28*x - 91 = 21. Solve 0 = -4*g + x*q + 8, -2*g - 26 = -0*g + 4*q for g.
-3
Suppose -3*t - 6*t = 126. Let i be t/((-7)/((-21)/(-6))). Solve -4 = b + 4*x - i*x, x = b for b.
2
Suppose 0 = -59*d + 64*d. Solve -20 = 3*i - s - 4*s, d = -3*i - 2*s - 13 for i.
-5
Let q = -17 - -24. Let w(g) = -33*g - 24. Let m be w(-4). Let u = -106 + m. Solve -q = 5*s + b, 1 - u = -s - b for s.
-2
Suppose -45*c + 25 = -40*c. Let g be 4/2*c/2. Solve -g*f + 0*x - 6 = -3*x, -x = 2*f + 9 for f.
-3
Let a = 57 - 32. Suppose a = i + 4*i. Solve 4*v - 5*m = -m, -i*v = -m + 4 for v.
-1
Let p(w) = w**3 - 5*w**2 + 6*w - 5. Let n be p(4). Let q be n + (24 - -3)/(-3). Let i be 24/9 - (-4)/q. Solve -3*f - 17 = a + i*f, 0 = -4*a - 3*f for a.
3
Let r = -12 + 39. Suppose -4*j = -c - 21, 4*c = -r + 7. Solve -4*b = b - j*f + 41, -b = 3*f - 7 for b.
-5
Let v be ((-8)/10)/((-18)/45). Let z be (v/(-6))/((-4)/24*1). Solve -4*u - 40 = -u + 5*k, 0 = -z*u + k - 5 for u.
-5
Let s be -3 + 0 + (-49 - 0). Let c = -47 - s. Solve -4*v = 3*a - c*a, -18 = 2*a + 5*v for a.
-4
Let g be 18/8 + (162/72)/3. Solve g*z - 4 = 5*s + 9, -8 = 3*s - 2*z for s.
-2
Suppose -4*y - 44 = -60. Solve 5*u = u - 16, -y*u = -t + 11 for t.
-5
Suppose r = 16*r - 60. Let c(f) = f**2 - 1. Let k be c(-2). Solve 2*m = -r*y + 14, 3*m + k*y - 7 = -2*m for m.
-1
Suppose -4*f + 20 = f. Suppose -4*i + 2*v + 48 = 0, 3*i + v - 22 = -v. Solve -4*m + 5*y = 45, f*m + i = 3*y - 25 for m.
-5
Let x(u) = u**3 - 6*u**2 + 14*u - 43. Let w be x(5). Solve 0 = -2*k + 5*a - w*a - 6, -2*a = -8 for k.
3
Suppose 6 = 5*m - 104. Suppose 2*v - 13 = -5*w + m, 3*w + 10 = 5*v. Solve 11 = -5*x - 2*h + 44, 5*x - 45 = -v*h for x.
5
Let q = -100 - -105. Suppose 0 = q*z + 5*d - 11 - 9, -2*z = -3*d + 2. Solve z*a = 4*s + 4, -a - 18 = 4*s - 2 for a.
-4
Let x(p) = p**3 + 15*p**2 + 2. Let r be x(-15). Suppose v + 4*v + r*v = 0. Let l = 4 + -2. Solve -m - 5*h - 3 - 4 = v, m + l*h = -1 for m.
3
Let v be 4/8 - 1 - 21/(-6). Suppose -w = v*q + 4, -4*w - q = -5*w + 8. Solve 5*z + 25 = -2*i, -36 + 11 = w*z + i for z.
-5
Suppose 2*f + 0 = 4. Suppose 4 = 2*k - f*y, -3*k + 5*y + 6 = y. Solve 3*p - 1 = k*l - 0, p - 1 = l for l.
-2
Suppose -27*g = -24*g - 18. Suppose -20*j = -27*j + 14. Solve 2*f - j*p - g = 2*p, -2*p - 4 = 0 for f.
-1
Let d(r) = 15*r - 42. Let s be d(3). Suppose -1 = -4*x + s. Let f be ((-2)/2)/(3/(-6)). Solve -2*u = -4*l + 10, l + u = -x + f for l.
2
Suppose 3*t = 5*b + 18, 2*t + 8*b - 9*b = 5. Let y(p) = 11*p**3 + 2*p**2 + p - 2. Let v be y(t). Solve -v = 3*l + 5*i, -3 = 2*l - 3*i - 14 for l.
1
Suppose -1 = k, 5*k = 11*x - 8*x - 23. Solve -5*i + 4*j - 35 = 0, -2*i - 5 = -j + x for i.
-3
Let a = 158 - 153. Solve 5*w = 5*l + a, -4*l - 2*w = -0 + 4 for l.
-1
Let t be (-2)/(-10) - ((-126)/(-5))/6. Let j be (-8)/4 - t - 0. Solve -u = 4*k - j - 12, 2*u - 2*k + 12 = 0 for u.
-2
Let q be (-10 - -8)*1*(4 + -6). Solve -4*l + q + 4 = 4*b, 4*b - 5 = -5*l for b.
5
Let b(q) = q**2 - 14*q + 51. Suppose 0 = i + 7 - 13. Let l be b(i). Solve -l*n + c = 12, -8*c = 5*n - 4*c + 37 for n.
-5
Suppose 0 = -10*g + 15*g + 3*n + 28, 5*g - 4*n = -56. Let r = -19 + 6. Let w = g - r. Solve -7 = 4*k + 3*i, 2*k = w*k + 3*i + 6 for k.
-1
Suppose 0*s + 5*y - 45 = -4*s, 4*s - 35 = -3*y. Solve -5*q = 4*c + 1, 4*q - 3*c + s*c + 2 = 0 for q.
-1
Let c = -1112 + 1117. Solve 0 = 5*j + f, c*j + 2*f = 3*f for j.
0
Suppose -71*x - 26 = -168 - 142. Suppose -1 = o, -2*t - 3*t = 5*o - 15. Solve -3*c + 0*s - x*s = -7, -2*c - t*s = -2 for c.
5
Suppose 0 = u + 1, 0 = -a - 3*a - u + 327. Let v = -64 + a. Solve 4*x + 1 = 3*f, -1 = x + 5*f - v for x.
2
Suppose 6*h - 3*h - c - 38 = 0, 5*h + c = 50. Solve 4*d + 5*p + h = -0, -6 = 2*d + 2*p for d.
-4
Suppose 2*n = -5*u - 65, 0 = u + 2*u + 4*n + 25. Let t = u - -22. Solve 0 = -3*c + 5*p - 25, 3*p = -c + 8 + t for c.
0
Let d be (-8)/36 - (-2)/9. Suppose d = -2*g - 2*g - 16. Let r(b) = 2*b**2 + 8*b + 4. Let t be r(g). Solve t*p - 4*h = h + 12, -2*h = -2*p + 4 for p.
-2
Suppose 5*x - 16 = 3*s, -2*x = 3*x - 4*s - 13. Let m be -2 + x + -2 + 4. Solve -5*l = -l - 5*g + 1, -m*l + 7 = 2*g for l.
1
Suppose -11*z + 155 + 76 = 0. Let a = 25 - z. Solve -2*b = -2*t + 4, 0 = -a*t - 3*b + 29 - 0 for t.
5
Let t(p) = p**2 - 9*p - 4. Let o be t(10). Suppose 8*v - o = 34. Let u = -10 - -29. Solve 5 = 2*b - v*y, 5*y - y = -3*b + u for b.
5
Let z(t) = -t + 32. Let b be z(30). Solve 0 = o - c - 1, b*o = -5*c + 4*c - 13 for o.
-4
Let h = -8 + 18. Suppose 0 = p + x + 2*x + h, 3*x = 2*p - 16. Suppose p*w + 1 = 5. Solve 5*r - 9 = 4*y, -w*r - 5*y - 10 = -7*r for r.
1
Let o be 156/20 + ((-288)/(-30))/(-12). Solve 9 = 5*c - o*i + 3*i, 3*c - i = 4 for c.
1
Suppose 0 = -26*j - 4*j. Solve 0*k + g - 25 = -5*k, j = -4*g + 20 for k.
4
Let q = 1406 + -1381. Solve -2*p + 3*f = f + 2, 3*p + 4*f = q for p.
3
Let l(x) = 13*x**3 + 2*x - 1. Let b be l(1). Let p be b/(-49) - ((-74)/14 + 2). Solve d + 2*j + 2*j - 12 = 0, 8 = p*d - 2*j for d.
4
Suppose 5*i = 4*j + 173, 0 = 3*i + 2*j - 100 + 5. Solve 0 = -5*k - 14*t + 16*t + i, 0 = 2*k + t - 6 for k.
5
Let g(r) = r**2 - 3. Let b be g(-2). Let u be b - ((1 - 1) + -2). Suppose -u*x = -x. Solve x = 4*k - 3*n + 4, -3*k + 2*n - 5 = -1 for k.
-4
Let s be -6 + 24/(-20)*-5. Solve s = -v + t - 6, -16 = 2*v - 4*t for v.
-4
Suppose -3*u = -5*x + 20, -3*x + 4*u - 5 = -17. Let w(p) = -p - 5. Let i be 4/(4/(-11)) + 1. Let b be w(i). Solve -b*q = x*s + 20, -q = 3*s - 4*q + 15 for s.
-5
Let x(c) = c**2 - 6*c + 1. Let n be x(4). Let y = -8 - n. Let l be (-2)/(3 + y)*-3. Solve -k = 5*s - 9, -k + 11 = l*s - 6*k for s.
2
Suppose 76 = 2*a - a - w, -2*a - 3*w + 152 = 0. Let k = -51 + a. Solve g + 4*t = k, -5*t + 50 = 5*g - 0*g for g.
5
Let s(u) = -5*u + 57. Let n be s(11). Solve -d + n*r = -3, -2*d = -d - 4*r - 3 for d.
3
Let x(z) = -10*z**2 - 4*z + 3. Let t be x(0). Solve -2*j + 1 = -5*l - 5, -j = 5*l - t for j.
3
Suppose 3*w - 3 - 3 = 0. Suppose -g + 23 = 4*k - 91, -4*k + 5*g = -126. Let x = k - 29. Solve 2*j + 8 = 2*a - 0*a, -a + 3*j + w = x for a.
5
Suppose 0 = 4*p + 22 - 66. Let t = -1 + p. Let z(f) = f**2 - f + 4. Let u be z(0). Solve -q + u*o + 6 = 2*q, 2*o - t = -5*q for q.
2
Let i be 4/(-14) + (-112)/(-49). Suppose -4*b = -i*b - 16. Suppose b - 4 = z. Solve 10 = z*y - l, -3*l = 4*y - y for y.
2
Let s = -4 - -12. Suppose t = 3*m - 4, t + 2*m = -t + s. Solve -b - t*p - 3 = 0, -b - p - 2 = -1 for b.
1
Suppose -x = y - 1, 3*y - 36 + 1 = 5*x. Suppose 0 = 3*v + 2*c - 17, c + 9 + 2 = y*v. Suppose v*l - 7*l + 20 = 0. Solve 27 = 2*u + 4*o + o, -l*u = -o for u.
1
Suppose 3*j - 3*c = -3, -4*j + 4 = -4*c + 8*c. Suppose j = 4*q + x - 5*x - 44, -3*x = 3*q - 3. Solve q = -5*n - 4*r, -n = -3*r - 2*r + 7 for n.
-2
Let y(a) = -a - 6. Let t be y(-11). Let v = 5 - t. Let u be 7 + (-1 - -1)/3. Solve -p = -v*p + 2*b - u, 2*p - 2*b = 2 for p.
3
Let y = -18 + 18. Let f be (1 - y)*(-2 + 2). Solve 4*r = s + 8, -3*r + 6 = -f*r - 5*s for r.
2
Let x(y) = -y**3 - 12*y**2 + 11*y - 22. Let k be x(-13). Solve 3*a + 5 = 5*c, -7 = c - 3*a + k for c.
4
Let v(g) = -3*g**3 - 53*g**2 + 17*g - 15. Let c be v(-18). Solve -2*x - 4*o - 16 = 0, -c*o - 31 = -3*x + 2*o for x.
2
Let m(r) = -r**2 - 27*r - 68. Let u be m(-24). Solve -4*v + 5 = v - u*f, 3*v + 4*f - 3 = 0 for v.
1
Let f be (-9)/18 + 2 + 45/6. Solve 5*g - 15 = s, -3*g + f = -s - g for s.
-5
Let c = -1285 - -1301. Solve -4*x = -4*u + c, -5*u = -3*x - 0*x - 10 for u.
-1
Let q = 4 + 1. Let k be 0/q*3/(-9). Suppose -3*i - 10 = 2*r, 2*r + 8*i - 3*i + 18 = k. Solve -3*s - 4 = -d + r, 2 = -s for d.
-1
Let y = -101 - -96. Let s be ((-66)/(-55))/((-2)/y). Solve -3*k + 13 = 5*m, -s*m + 1 = -k - 4 for m.
