 -x + 5 = 2*x - z, 0 = -3*x + b*z + 15. Solve -y + 4*y + 6 = x for y.
-2
Let r(f) = 2*f**2 - 5. Let j be r(2). Solve 0 = j*l + 6 - 3 for l.
-1
Suppose -p - 3*o + 19 + 2 = 0, -2*p = 2*o - 38. Solve -p = m + 8*m for m.
-2
Let v = 650 + -634. Solve -21*u = -29*u - v for u.
-2
Suppose -2*l - 5*q + 30 = 0, 42 = 5*l - 6*q + 2*q. Suppose -8 = -4*r + 8. Solve -r*y + l = -2 for y.
3
Suppose 96 = 2*w + r, 2*r + 168 = 5*w - 63. Let k = -47 + w. Solve k = t + 3 - 5 for t.
2
Let n = 48 - 27. Solve 0 = n*v - 22*v + 3 for v.
3
Let i(j) = j + 6. Suppose 0 = -16*s + 15*s - 5. Let r be i(s). Solve 4 = -3*n + r for n.
-1
Suppose -w = 2*t - 5, -4*t + 5 = w - 0*w. Solve 3 = 2*n - w*n for n.
-1
Suppose 3*a = 10 - 76. Let f = a + 23. Solve -7 = -3*v - f for v.
2
Suppose 20 = -4*l + 48. Solve l*y = 2*y - 15 for y.
-3
Let k(p) = 4*p**2 - p**2 + p + p**2. Let r(c) = c**2 + 3*c - 3. Let j be r(-4). Let l be k(j). Solve t - 16 = l*t for t.
-4
Let x = -239 + 264. Solve -6*s - x + 1 = 0 for s.
-4
Suppose 15 = 3*s + 63. Let g = -16 - s. Solve 2*w = -g + 10 for w.
5
Suppose 0 = -5*q - 20 + 35. Solve -5*y = -q + 8 for y.
-1
Suppose 77*u - 83*u = -30. Let r be (-1 - -1)*2/4. Solve r = -i + u*i - 16 for i.
4
Let h = -32 - -36. Let j(l) = -l**3 + 5*l**2 - 3*l. Let b be j(h). Solve 2*o + 2 = b for o.
1
Let i = -691 - -749. Solve -3*j + i - 64 = 0 for j.
-2
Let i(j) be the third derivative of j**6/60 + j**5/20 + j**4/8 + j**3/3 + 22*j**2. Let t be i(-1). Solve t = -2*o + 2 for o.
1
Let a = -143 + 151. Solve 12*s + 20 = a*s for s.
-5
Suppose 0 = -3*p - p - 12. Let n = 6 + p. Suppose -n*j + 16 = -j + v, -3*v = 12. Solve -5*l + 3*l - j = 0 for l.
-5
Let c(v) = -v**3 - v**2 + 4*v. Let l be c(-3). Suppose 2*s + 39 = l*s - 3*y, 4*s = y + 29. Let b = 6 - s. Solve 4*d = -b*d for d.
0
Suppose 0*g - 16 = -4*g. Suppose -b = -g*b + 135. Let p be 1/5 - 9/b. Solve 3*z + p = -12 for z.
-4
Let g = 369 - 344. Solve -x + g = -6*x for x.
-5
Let z(t) = -t**3 + 6*t**2 + 5*t - 17. Let b(w) = -2*w + 6. Let q be b(0). Let d be z(q). Solve 4*x - 3 = d for x.
4
Suppose 4*n = -5*v + 9, -3*n = -0*v - v - 2. Let i(j) = 0 + j + 5*j - n. Let o be i(1). Solve 0*t = -o*t + 5 for t.
1
Let o = -4 - -10. Suppose -5*g = -9 - o. Let u be (5 + -2 - g)/(-1). Solve u*m = 3*m for m.
0
Let g(n) = -7*n**2 - 12*n - 3. Let f(t) = -8*t**2 - 13*t - 3. Let d(k) = -6*f(k) + 7*g(k). Let i be d(-5). Let l be 4 + -4 + 2 + i. Solve 0 = 2*m + l for m.
-2
Let i(m) = m**2 - 17*m + 32. Let o be i(15). Solve 4*l + 14 = -o for l.
-4
Suppose -5*k - 2461 = -2491. Solve k*f + 13 = -11 for f.
-4
Let y(t) = -2*t + 12. Let x be y(7). Let h = x - -6. Solve h = 2*f - 0 for f.
2
Let q be 0/(-3)*(-2)/(-4). Suppose q = 7*k - 4*k. Let l be k/(-7 + (4 - 0)). Solve -o = -l*o - 2 for o.
2
Suppose 4*d - 12 = -4*u, 5*d = 3*d - u + 3. Solve d = 3*x - 0*x + 6 for x.
-2
Let m(f) = -2*f - 11. Let r(j) = -3*j - 12. Let l(p) = 6*m(p) - 5*r(p). Let i be l(4). Suppose -2*x + i - 4 = 0. Solve 3*w + 10 = x for w.
-3
Suppose 17 = y + 13. Suppose -2*q = -y*z + 12, 4*z - 9 - 3 = 4*q. Solve -u + 5 - 6 = q for u.
-1
Suppose -9*v + 6 = -21. Suppose -5*q = -v*r - 32, 3*r + 40 = 5*q - 2*r. Solve -2*h - q = 4 for h.
-4
Let b(v) = 5*v - 3. Let g be b(1). Solve -4*l + 2 = -g*l for l.
1
Suppose 3*a - 1 + 25 = 2*y, -a + 17 = y. Let s be ((-2)/(-4))/((-2)/24). Let c = s - -12. Solve h = c*h + y for h.
-3
Let s(w) = 0*w - w + 1 - 10. Suppose -5*x - 3 = -b - x, -5*x + 21 = -4*b. Let l be s(b). Solve m + l*m = -5 for m.
-5
Let o be 8 - -2*(1 + 0). Suppose c + n + o = -3*n, -n = 4*c + 10. Let q = c + 4. Solve 0*g = q*g - 4 for g.
2
Let g(j) = -j**3 - 5*j**2 - 5*j - 4. Suppose v = -5 + 1. Let p be g(v). Solve -4*m - 3 + 23 = p for m.
5
Let f(c) be the first derivative of 3*c**2/2 + 14*c - 10. Let g be f(-4). Solve -q = -g*q for q.
0
Let c(p) = -3*p**2 - 37*p - 5. Let b be c(-12). Solve 9*t - b*t = 8 for t.
4
Let n be (-28)/98*(6 - -1) + 17. Solve 5 = -5*f + n for f.
2
Let h = 77 - 72. Solve -7 = -h*m + 13 for m.
4
Let p(t) = 2*t - 16. Let u be p(10). Suppose 2*k = 2*m - m + 25, -29 = -u*k - 5*m. Solve -k = -5*f + 4 for f.
3
Let n = -25 - -29. Solve n*r = r - 15 for r.
-5
Let l be 0/((-10)/(-2)) + 0. Suppose l = -h + 4*w + 8, 4*w = -4*h + 3*w + 15. Solve h - 2 = j for j.
2
Let h = 1 - -2. Let v be (0 - 1)*(7/(-1) - 4). Suppose -v*x + 40 = -3*x. Solve x*y = -13 + h for y.
-2
Let q be (-9)/((4/(12/(-1)))/1). Suppose q = x + 8*x. Solve -5*s = -x*s + 6 for s.
-3
Let x(m) = 10*m + 10*m - m**3 + 2*m**2 - 17*m + 2. Let g be x(3). Solve -4*s = -g*s for s.
0
Let h be 5 + (1 - (-3)/(-1)). Suppose h*p + 4 + 5 = 4*r, -2*r = 3*p + 9. Solve r*g - 5 = -5*g for g.
1
Suppose 0 = -h - 3*h - 4. Let z be h/(-6)*2*18. Solve 0 = -z*x + 2*x + 12 for x.
3
Let h(p) = p**3 + 12*p**2 - 5*p - 35. Let n be h(-12). Solve -4*t - t - n = 0 for t.
-5
Suppose 0 = 3*h + 2*f + f - 33, 5*h - 55 = f. Suppose -15*a + h*a + 12 = 0. Solve 0 = a*n - 14 - 1 for n.
5
Let n be (-8 + 8)*2/4. Let j be n/(4/(-8)*-2). Suppose j = -4*b + 3*y + 32, -4*y - 16 = -b + 5. Solve 2*o + 12 = b*o for o.
4
Let m = 602 + -598. Let q = 4 + -3. Solve 0 = r - q + m for r.
-3
Let x(u) be the first derivative of u**3/3 + 2*u**2 - 9*u - 25. Let i be x(-6). Solve -18 = i*k - 6 for k.
-4
Let m(q) = -2*q**2 + 18*q - 22. Let x be m(7). Solve 0 = x*b - 6 - 18 for b.
4
Suppose -4*w + 27 = 3*v, 88*w - 5*v + 28 = 89*w. Solve w*r - 10*r - 35 = 0 for r.
-5
Let d = -44 + 48. Solve d*f = -f + 15 for f.
3
Let u be 2/17 + (-660)/(-748). Solve -8*b + u = 17 for b.
-2
Let u(t) = -t**3 + 4*t**2 - 3*t. Let y be u(2). Let s be 0/((-20)/70*7). Solve 0 = j - s + y for j.
-2
Let i = 307 + -305. Solve -5*t - i*t - 14 = 0 for t.
-2
Suppose -12*x = -400 + 136. Solve -3*i + 13 = x for i.
-3
Let x be ((-10)/15)/(1/(-15)). Suppose 0*o - 5*o = -x. Suppose 4*y - 12 = 8. Solve i + y = o*i for i.
5
Suppose -1195*y + 165 = -1180*y. Solve y*f - 14*f = -9 for f.
3
Let k(d) = -d - 2. Let l(f) = 2*f - 7. Let a be l(10). Let i = a + -20. Let y be k(i). Solve 1 = y*r + 11 for r.
-2
Suppose 4*n - 8 = 8. Let u(a) = -a**3 - 5*a**2 - a - 3. Let w be u(-5). Suppose -2*i = 5*p - 3*i - w, p = -5*i - 10. Solve p = -3*t - 1 + n for t.
1
Suppose 0 = o + 3*l - 23, -3*l + 16 = l. Solve -3*c + o = -4 for c.
5
Suppose -8 + 59 = 3*z. Let j = z - 14. Solve -j*y - 16 = -4 for y.
-4
Suppose -3*s = 5*w - 0*w + 42, 3*w = 0. Let p be (-23)/(-7) + 4/s. Suppose -12 = p*r - 5*l, 2*r + 2*r - 5*l = -11. Solve -2*f - 5 = r for f.
-3
Suppose -22 = -3*t - z, 4*t + 2*z = -z + 31. Let b = 1 + t. Let i = 10 - b. Solve 3*m = i*m for m.
0
Suppose 5*x = -4*j + 13, 4*j - 10 = -4*x - 2. Solve x*m - 17 = 8 for m.
5
Let q(c) = c**3 - 8*c**2 - 2*c + 3. Let g be q(8). Let o = -7 - g. Solve 3*p - 6 = o for p.
4
Let k(d) = -3*d - 22. Let h be k(-8). Suppose 3*u + 4*r = 6*u + 2, -3*r = 3*u - 12. Let q be (-2)/u*1 - -3. Solve -c - q = h for c.
-4
Let z = -2964 - -2999. Solve 0 = 8*m - z*m + 27 for m.
1
Let k(u) = -u**2 + 2*u - 11. Let o be k(4). Let z = o + 20. Solve 11 + z = -3*x for x.
-4
Let n(g) = -2*g - 40. Let u(y) = 1. Let h(t) = 2*n(t) + 44*u(t). Let p be h(-9). Solve -3*x + 8 - 2 = p for x.
2
Let k be -17 + 6 - -3 - -19. Solve -4*t + 3 = k for t.
-2
Let l(r) = -2*r - 2. Let f be l(-2). Let a(k) = -6*k - 10. Let y be a(-2). Solve f*h + y = h for h.
-2
Suppose m + 2*a - 13 = -0*m, -a + 31 = 4*m. Let x = m - 13. Let t be 85/25 + x/(-10). Solve 4 = t*p - 8 for p.
3
Let m(b) = -b**3 - 7*b**2 - 5*b - 10. Let c be m(-7). Suppose -5*d = 2*f + 7, -4*f + f + 4*d + 47 = 0. Suppose -19 = -2*u - f. Solve u - c = 4*n for n.
-5
Suppose -l = -0*l + 5*a + 8, -4*l + 3*a = -60. Suppose p - l = -4*w, 3*w + 5*p - 30 = -2*w. Solve -w = -2*x + x for x.
2
Let u(t) = -8*t - 2. Let f be u(-3). Suppose 0 = -4*g - 3*j + 23, -2*j - f = -5*g + j. Suppose g*k - 9 = 2*k. Solve -2*l - k*l = 0 for l.
0
Suppose 70 = 12*j - 11*j. Let s = -67 + j. Solve 0 = -4*d + 7 - s for d.
1
Let r be (6/(-9))/(6/(-153)). Solve 12*x - r*x + 15 = 0 for x.
3
Suppose -2*x - 29 = -3*b, 0*b + 8 = 4*b + 5*x. Let k = -7 + b. Suppose 4*n + 4 = k, -2*c + 7*c - 5*n = 25. Solve 0 = -c*i - i for i.
0
Suppose 204 = -5*x - x. Let a = 38 + x. Solve a*f - f + 15 = 0 for f.
-5
Let t = -19 + 39. Let j = 49 - 67. Let a = j + t. Solve 4*f - a = 2 for f.
1
Let v = -72 + 97. Solve -4*b = b -