lve -4*p - l + 12 = 0, 2*p - f*l + 22 = 5*p for p.
2
Let u be 0 + -6 - 400/(-25). Solve o + 2*x + 5 = -4*o, u = -2*x for o.
1
Suppose -5*d - 85 - 15 = -3*g, -2*g - 2*d = -40. Let t = 27 - g. Let w = 25 + -15. Solve 0 = -t*a - 3*i - 14, 2*a - i + w = -3*i for a.
-1
Suppose 0*y + 3*y = 6. Suppose 0 = -5*c + k - 2*k + 15, 2*k + 3 = c. Suppose c*r = y*r. Solve -4*m = 4*f - 8, r*f = -f + m for f.
1
Let m(w) = -34*w - 224. Let s be m(-7). Solve 4*r + 0 = -5*k - 21, 2*k - 4*r - s = 0 for k.
-1
Suppose -516 + 88 = 4*n. Let x = n - -111. Solve x*p + 5*y + 30 = 0, 6 - 4 = -y for p.
-5
Let t(x) = -x**2 - 13*x + 7. Let b be t(-11). Let u = 6 + b. Let k be 2 + 2*-1*-2. Solve -h + k*h = -5*d - u, -h - 9 = 2*d for h.
-5
Suppose -2*i - 3*i - 5*n + 30 = 0, -4*n - 12 = -2*i. Let z be (-21)/i*12/(-21). Let f = 0 + z. Solve f*h = s + 5, 6*h - h = -5*s + 20 for h.
3
Let z = -7910 + 7914. Let l(k) be the first derivative of k**3/3 - 3*k**2 + 2*k - 1. Let b be l(6). Solve 5*f = z*f - g + 3, -b*g = -2 for f.
2
Let z(i) = -2*i**2 + 74. Let b be z(6). Solve -b*m + 5*w = -10 - 2, 0 = 3*m - 3*w for m.
-4
Suppose -13 = -c + 15. Suppose u - 9 = -4*o, -5*u = 2*o + o - c. Solve -2*r + 3*x = o, -x + 6 = -2*r - 3*x for r.
-2
Let b be (18/99)/((-15)/(-330)). Let o(u) = -8*u + 4. Let m be o(-3). Let v be ((-18)/(-15))/((-3)/(-60)). Solve -i - 3*t = 2*i - v, m = 3*i + b*t for i.
4
Suppose 4*z + 4*y = 10 + 30, -z - 3*y + 8 = 0. Let k = -2 - -7. Solve -2*j - 13 - k = 4*d, -5*j + 4*d = -z for j.
-1
Let k(b) = -2*b**3 - 3*b**2 - 9*b - 17. Let i be k(-2). Solve -9*d = i*x - 5*d, -4*x = -d for x.
0
Suppose 2*j - 14 = -4*v - 16, 2*j = 4*v - 18. Solve -3*p + 3 = -3*c, -3*c + v = -5*p - 1 for p.
-3
Let x(w) = -w - 2. Let a be x(-8). Suppose -4 = -2*j + a. Let q = j - 5. Solve -2*k + 7*k + 20 = q, o = k for o.
-4
Suppose 0 = -2*y + 17*y - 255. Solve -5*d + 10 = -4*h, -5*h - 12 = 2*d + y for d.
-2
Suppose 2*t = 35 + 133. Let o = 89 - t. Solve o*h + 14 = -3*m, -5*m - 8 = -m + 4*h for m.
2
Let h = 167 - 165. Solve -h*d - d + 4 = 2*l, 0 = -2*d - l + 3 for d.
2
Let s(c) be the third derivative of 5*c**4/12 - 5*c**3/6 - 9*c**2. Let m be s(1). Solve 2*d - m*p + 5 = 3, 0 = -4*d + 4*p + 8 for d.
4
Let k be 27/(-2)*(-4)/2. Suppose -2*j = j - k. Let m = j - 4. Solve m*g - 5*n = 20, -2*n - n = 0 for g.
4
Let g(x) = -4*x - 14. Let u = 74 - 78. Let h be g(u). Solve -h*y - 17 = -5*r, 4*y - 23 = -2*r + 3 for r.
5
Let x(v) = -v**3 + 17*v**2 + 19*v - 16. Let c = 22 - 4. Let a be x(c). Solve 2*o + 5*m = -a - 2, 4 = -2*o - 2*m for o.
-2
Suppose -13*f + 7*f = 84. Let b be 72/84*f/(-8)*2. Solve 9 = -b*v, 0*j + 7 = -2*j - 5*v for j.
4
Suppose 0 = -3*n - 87 + 27. Let q be 1/((-24)/n - 1). Solve -q*c = 5*t - 10, 7*t - 3*c - 6 = 4*t for t.
2
Let g = -6 + 18. Let m be (6/4)/(g/16). Suppose b = -5, m*d = -2*d - 2*b + 6. Solve -1 = 2*i - 5, d = -4*k - 4*i for k.
-3
Let b = -273 - -277. Solve -3*x + b*d + 6 = 0, -2*x + 2 = -3*d - 2 for x.
2
Let y(k) = -122*k - 353. Let r be y(-3). Let o be 14/4*4/7. Solve b + r = 4*z, 0 = 2*b + b + o*z - 3 for b.
-1
Let w(p) = -14*p - 3 + 7*p + 5*p + 6. Let i be w(-1). Solve -i*a + 10 = -y, -2*a + 0 = -3*y - 17 for y.
-5
Suppose -3*m = -0*m - 2*m. Solve 2*q + 2*j + 16 = m, -5*j + 2*j = 5*q + 30 for q.
-3
Let p(o) = -o**3 - 6*o**2 + 16*o. Let j = 35 + -43. Let r be p(j). Solve 5*c - 9 = 3*i - 4, r = -3*c - 5*i + 3 for c.
1
Let q(c) = -c**3 - 5*c**2 + c + 5. Let f be q(-5). Suppose 5*d + 25 = f, -5*d - 2 = 2*u + 3. Solve 16 = 2*i + 2*i - 4*p, p + u = 4*i for i.
2
Let w be 10 + 1 + -2 + 2. Suppose 13*a - 15*a = -12. Suppose 12 = 2*x + 4*z, 0 = -2*x + z - 2*z + a. Solve -x*s - 3*s + 17 = -4*i, 3*i - w = -s for i.
2
Suppose 0 = -p - 2*w, -2*p = 3*p + 5*w - 5. Solve -2*y - 6*u = -3*u, -p*u + 5 = 3*y for y.
3
Let f = -360 - -384. Solve -r - v = 4*r - f, 6 = r - v for r.
5
Let t be (-1)/((-15)/144) - 18/30. Let h be (-4 + 12)*1/2. Suppose 0 = -y - h*y. Solve 4*r - 8 = 3*a, -2*a - t = r - y*r for r.
-1
Suppose 0 = 2*p - u - 25 + 6, 15 = -3*u. Suppose p*g + 9 - 37 = 0. Solve z = -3*f + 5*z - 12, -12 = -g*z for f.
0
Suppose 5 = -v + 8. Suppose -2*w + 2*r + 6 = 0, w - v*r + 3 = 8. Solve w*u + 0*u = -3*f + 9, -3*f - 3*u = -6 for f.
5
Let b(y) = 2*y. Let j be b(6). Let d = j + -12. Suppose d = -2*p + 4*p - 6. Solve -h = -p*a + h, a - 5 = -h for a.
2
Let z(x) = x - 7. Let y(r) = 3*r - 15. Let u(a) = -2*y(a) + 5*z(a). Let o be u(20). Let s = o + 36. Solve -4*m + s + 9 = 4*n, 4*m = -n + 11 for m.
2
Let s = 110 - 108. Suppose 0*w + 3*t = w - 11, 4*w + 2*t - 16 = 0. Solve -2*x + 5*z = 12, s*x + 28 = 4*x + w*z for x.
4
Let q = 216 + -210. Solve 3*r = 2*s + q, -s + 9 + 2 = 2*r for s.
3
Let h = 37 + -27. Suppose h*m = -m + 6*m. Solve 4*y = -3*z + 19, -5*z + 1 = -m*y - y for z.
1
Suppose -5*t = 4*o + 14, -t = -2*t + 2. Let r(k) = -k - 8. Let x be r(-6). Let u be o/(0 + x) + 1. Solve -5*l - 19 = u*a - a, -a - 2*l = 8 for a.
2
Let k = -7 - 7. Let a = 14 - -2. Let f = a + k. Solve 3*d + f*d - 10 = -5*h, 5*d + 3*h = 14 for d.
4
Let g(u) = u**2 - u - 70. Let a be g(-8). Solve 0 = -4*b - p - 3*p - 28, -a*b + p = 2 for b.
-3
Let i = -34 - -39. Suppose 0 = -l + i - 1. Solve 0 = l*v - 0*a - a - 13, -3*v = -3*a - 3 for v.
4
Suppose 200*k + 32 = 204*k. Suppose 4*v + k*y - 24 = 4*y, -3*v - 14 = -5*y. Solve 4*b - 3*a + 6*a = -15, -v*a - 10 = 0 for b.
0
Let d be 53 + -19 - (1 - -5). Solve -4*x - 2*g = -0*g - 8, -3*g - d = -4*x for x.
4
Let h be 24/(-20)*(-60)/36. Solve -h*l - 2*l - 4*f + 32 = 0, 2*l + 5 = 5*f for l.
5
Suppose 5*g - 2*g - 24 = 0. Let i = -3 + 7. Solve 0 = -2*c + g, 0 = -q - 5*c + 25 - i for q.
1
Let g be (1*4)/(2*(-26)/(-39)). Solve i + 5*f = 10, g*i = 2*f - 8 + 4 for i.
0
Let c = 364 - 358. Solve c*h - 5*i + 8 = 3*h, -2*h = -5*i + 12 for h.
4
Suppose -x - 2 = s, 4*s + 15 + 1 = 0. Solve 2*d + 28 = 4*n + 12, 0 = x*d + 8 for n.
2
Suppose -5*v = -162 - 38. Let l = -18 + v. Solve -2*f + l = 4*r, -5*r + 34 = 3*f + 4 for r.
3
Suppose -4*m + 2*y + 18 = 0, 0 = 4*m + 3*y + 2*y + 3. Let j be 6 - ((-16)/(-28))/(9/63). Solve 5*f = -5*b - 1 - 24, -m*b - 15 = -j*f for f.
0
Let t(l) = 3*l + 1 - 4 - 4 - 4. Let o be t(5). Let a(i) = i**3 - 3*i**2 - 2*i - 2. Let y be a(o). Solve -5*u - 3*h = -3, y*u - 1 = 3*u - h for u.
0
Let q = 13 + -8. Suppose 0 = 2*l - q - 1. Let j(g) = g**3 - 4*g**2 + 5*g - 4. Let x be j(l). Solve b - 5 = -2*d, -4*b + 9 = x*d + b for d.
2
Let l = -931 - -942. Solve -2*y = -3*y + 5*g - 26, l = 4*y + 3*g for y.
-1
Let p be -10 + 143/((-132)/(-12)). Solve 3*z = -2*z + 3*g - p, -3*g = -4*z for z.
-3
Suppose -j + 6 = -q, -3*j = -5*j + 4*q + 14. Suppose -24 = 4*r + 4. Let t(p) = 2*p + 18. Let v be t(r). Solve -3*w + 29 = -v*o, 3*o = 4*o + j for w.
3
Suppose 0 = -8*x - 565 + 637. Solve -u = 5*q - 0 + 24, u = -2*q - x for q.
-5
Let k = -1290 - -1291. Solve -4*d + k = -3*g + 12, 3*d - 2*g + 9 = 0 for d.
-5
Let a = 55 + -48. Suppose -h - 2 + a = 0. Solve -3*k + 5 = -0*l - h*l, -1 = k + l for k.
0
Suppose -3*c = -4*m + 7*m - 39, 54 = 4*c + 5*m. Solve -f - 2*j + c = -2, -4*f + 16 = -j for f.
5
Let u be 0*-2*(-5)/(-30)*-3. Solve -2*b - 5*q + u*q + 11 = 0, -19 = 2*b - 5*q for b.
-2
Suppose 3*j - c - 7 = 2*j, -4*j + 3*c = -26. Solve -j*a + 19 = -4*u - 18, 5*u = a - 20 for a.
5
Let k be (-25)/100 - ((-25)/4 - -1). Solve 4*b + 27 - 3 = 4*a, a + 12 = -k*b for a.
3
Suppose -2*i - 1 + 9 = 0. Let t = -47 - -37. Let a be 5 + -1 + (t - -11). Solve 21 = i*g - a*g + 5*u, 0 = 4*g + 5*u - 41 for g.
4
Suppose 0 = 4*b - 6 - 50. Suppose 0 = 2*c - 5*i - 5, b = 4*c - i - 5. Solve c*g = -5*r + 4*r + 20, 3*g - 20 = r for g.
5
Let a be (-1)/(-2) + (-295)/(-118). Solve a*c + 21 = -3*k + 6, k = 3*c + 11 for c.
-4
Let i(c) = c**3 + 1. Let b(f) = 2*f**3 + 11*f**2 + 11*f + 18. Let m(z) = b(z) - 3*i(z). Let t be m(12). Solve -3*l + 3 = t*u, l = -3*u + 6*u - 7 for u.
2
Let k be (-108)/((-12)/(-2))*(-6)/27. Solve 3*o - o = -3*d + 12, -d + 2*o - k = 0 for d.
2
Let b = 7 + 1. Let r be (12/10)/(b/20). Solve 3*x + 4 = 5*a - 3*a, -r*x = a + 7 for a.
-1
Let z = -334 + 336. Solve -3*w = w - 4*i - 8, 9 = 3*w - z*i for w.
5
Let d be (-1 + -2)/(0 - -1). Let n be d/9 + (-17)/3. Let q be (-21)/n + 1/(-2). Solve 11 = -3*l - 4*a, 8*a + 29 = q*l + 4*a for l.
3
Suppose 4*c + 2*z = 20, 5*c + 0*z - 36 = 3*z. Suppose -2*h - 5 = -19. Suppose -h*m = -c*m - 2. 