 -140. Solve 0 = -c*l + 4*l - 8 for l.
2
Suppose 0 = 2*h - 3*h. Let z = -19 + 27. Suppose -3*m + z*q + 10 = 3*q, -q = -2*m + 2. Solve h = b - m*b for b.
0
Suppose 0 = g - 2*g + 1. Let w(a) = 2*a. Let t be w(g). Solve 7*b - t*b = -10 for b.
-2
Suppose c - 4*h - 8 = 0, -h - 7 = -c + 2*h. Solve 1 = c*g - 3 for g.
1
Suppose 3*u + 4*m = m + 9, -18 = -2*u + m. Let v(w) = -w + 9. Let f be v(u). Solve -f*i + 25 = 3*i for i.
5
Let g(y) = y**3 + 8*y**2 + 6*y - 1. Let l be g(-7). Solve -f + l*f = -15 for f.
-3
Let w be 1764/140 + 3/(-5). Solve w + 3 = 3*m for m.
5
Suppose n + n = -0*n. Solve -20 = 5*l - n for l.
-4
Suppose 3*n + 3*r - 6 = 0, 3*r = -5*n - 0*r + 6. Solve -i + 3 + 2 = n for i.
5
Let z(t) = t**2 + t. Let h be z(4). Suppose q = 6*q - h. Solve -9 - 7 = -q*g for g.
4
Let d(w) = -3*w**3 + 2*w + 1. Let o be d(-1). Suppose 5*j = 10 + 15. Let h(u) = u**2 - 2*u - 6. Let i be h(j). Solve -o*t = t + i for t.
-3
Suppose -4*i + 3 + 9 = 0. Suppose 0*q - 20 = -5*q. Let s = q - i. Solve 0 = 6*b - 5*b - s for b.
1
Let x(g) = -5*g - 13. Let r be x(6). Let l = r - -68. Solve -3*h - l = 2*h for h.
-5
Let m(n) = 2*n**3 - n - 1. Let q be m(-1). Let c be q/(-2) - (3 - 4). Suppose 2*t - 3*t + 6 = 0. Solve -c*a - a - t = 0 for a.
-2
Let i be (-1)/2 - (-9)/2. Let r be 1/2 - 10/i. Let f be 4/r - 12/(-2). Solve -4*h - f = 12 for h.
-4
Suppose -5*f + 4*f + l + 5 = 0, -5*f + 23 = -3*l. Let m(o) = -o + 7. Let t be m(5). Solve t*a - f = 3*a for a.
-4
Suppose -21*f + 16*f = -25. Solve f*j = j for j.
0
Suppose o - 6 = 5*p, 4*p + o + 12 = -0. Let y be 54/(-4)*p/3. Suppose -3*r + 4*s - y*s = 5, -s = 4. Solve -2*m - 3 + r = 0 for m.
1
Let x(s) = -s**2 - 7*s - 7. Let l be x(-4). Solve l*q + 11 = -9 for q.
-4
Let j be 30/5 - (1 + 1). Solve j*i = -i for i.
0
Let j be (-9)/2*(-12)/(-9). Let m be (-4)/j*(-3 + 0). Let u = m - -4. Solve -u*p + 0*p - 4 = 0 for p.
-2
Let j(f) = -f + 1. Let g = 14 - 16. Let x be j(g). Solve x*n = -0*n - 3 for n.
-1
Suppose 33 = -7*g + 12. Let d = 7 - g. Solve -26 + d = -4*p for p.
4
Let m(k) = k**3 + 3*k**2 - 2*k - 3. Let d be m(-3). Suppose -5*w + 40 = -5*h, -2*w + d*h - 8 = 7*h. Suppose 7 + 29 = w*o. Solve 3*c - 6*c + o = 0 for c.
3
Let r = -1 + 1. Suppose -2*p + 4*w = 3*p - 33, -5*p - 4*w + 17 = r. Solve 8 = -p*t + t for t.
-2
Let q be ((-3)/(-6))/((-2)/(-12)). Solve q = m + 2*m for m.
1
Let r(h) = h**3 - 16*h**2 - 19*h + 36. Let y be r(17). Solve c - y = -0*c for c.
2
Let s(q) = 10*q + 1. Let x be s(1). Solve -3*r - 2 = -x for r.
3
Let h(n) = -n - 4. Let q be h(-3). Let i(p) = 3*p**2 - 2*p - 1. Let x be i(q). Suppose -x*w - w = 0. Solve w = 3*k + k + 4 for k.
-1
Let d be (-40)/(-12)*(8 - 2). Suppose 16 - 41 = k + 5*h, 2*k + d = -4*h. Solve -c + 2 - 1 = k for c.
1
Suppose -3*g + 2 = -2*g. Suppose 4*x = 4*n - 80, g*x = 5*n - x - 92. Suppose c - 4*z + 2 = -10, -n = -4*z. Solve w + c = -w for w.
-2
Let a = -6 + 5. Let j be 1 - a - (-3 + 2). Solve u + j*u - 8 = 0 for u.
2
Let m(i) = -3*i - 6. Let f be m(-4). Suppose -5*k + 3*k + f = u, 0 = -2*u - k. Let s be (20/15)/(u/(-15)). Solve x - s = -x for x.
5
Let i(x) = x - 3. Let p be i(3). Solve p*v = 2*v for v.
0
Let a = -51 + 59. Let h be (-4)/22 - 378/(-22). Solve h = -5*n - a for n.
-5
Let m(y) = -3*y**2 - y. Let z(x) = -x**2 - 6*x + 8. Let j be z(-7). Let t be m(j). Let g be (t/2)/((-12)/18). Solve 2 - g = -s for s.
1
Suppose -4*h + 8 - 1 = -3*d, 3*d - 5*h = -11. Solve d*o - 2 = o for o.
1
Suppose -27 = -3*w - 0*w. Solve 0 = c - 4*c + w for c.
3
Suppose 3*v - 25 = -5*s, -4*v + 24 = 5*s - 3*s. Solve 0 = -v*d + 6 - 31 for d.
-5
Let o be 1*((-6)/(-2) + -4). Let s be (-1 + 1)*o/(-2). Solve -3*a + s*a - 6 = 0 for a.
-2
Let l(i) = -2*i - 34. Let r be l(-17). Solve y + y = r for y.
0
Let n(v) = -v**2 + 4*v + 2. Let f be n(3). Let w = -24 + 24. Solve -5*r + w*r = f for r.
-1
Let m be (-6 + 7)/((-2)/(-6)). Solve -2*r - 5 = -m*r for r.
5
Suppose 3*y + 2*u - 25 = 8*y, -5*y + 5*u - 25 = 0. Let d = -5 - y. Let f(r) = r**3 + 3*r**2 - r - 2. Let q be f(-3). Solve d*x = x - q for x.
1
Suppose 88*m - 82*m = 0. Solve m = 5*n - 0 - 5 for n.
1
Let a(m) = m - 12. Let l be a(16). Solve -2*d + l = -2 for d.
3
Let n(d) = d + 10. Let p be n(-8). Solve 3*y + 2 = p*y for y.
-2
Suppose 5*k + 8 = 3*k. Let u = -1 - k. Suppose -18 + u = -5*p. Solve 0*r = p*r + 6 for r.
-2
Let z(s) = 8*s - 69. Let i be z(11). Solve -i - 6 = 5*v for v.
-5
Suppose 4*w = -0*w + 84. Let s be 203/w + (-2)/(-6). Suppose -5*l + 3*l + s = 0. Solve -l = -u - 3 for u.
2
Let j(w) = w - 1. Let m be j(2). Solve -m + 4 = -n for n.
-3
Suppose -i + 2*i = 5*c + 19, -4*i - 34 = 2*c. Let m = i - -10. Solve -m*y + 18 - 2 = 0 for y.
4
Let j(v) = -v**2 + 21*v - 77. Let p be j(16). Let h = 1 - 1. Solve -m - p*m + 20 = h for m.
5
Let q(t) = 2*t - 9. Let v be q(6). Let s be -5*(v/3 - 2). Suppose -l = -3*y - 4*l + 6, -l = -s*y + 16. Solve y*j + 2 = j for j.
-1
Suppose 4*o = -22 + 82. Solve -7*m + o = -2*m for m.
3
Let m(z) be the first derivative of 5*z**2/2 + z - 7. Let x be m(1). Solve 0 = -2*a - a + x for a.
2
Let h(q) = -q - 4. Let u be h(-6). Suppose 0 = 2*r - 3*p - 4, -6 = -3*r + p - u*p. Solve -g = -r*g - 2 for g.
-2
Let p(v) = v + 5. Let x be p(-5). Let t = 12 - 7. Solve t*a - 15 = -x*a for a.
3
Let d(m) = m**2 + 6*m - 10. Let t be d(-7). Let q = 3 + t. Solve 3*x - 12 = -q*x for x.
4
Let b(u) = -3 - 2*u + 5*u**2 - 2 - 4*u**2 + 1. Let y be b(4). Solve 12 + 4 = -y*p for p.
-4
Let l = 3 + -1. Suppose -4*b - 3 = -5*b. Suppose x = -b*q - 12, -2*x - 4 = 2*x + q. Solve 2*a + l + 0 = x for a.
-1
Let y(d) = -28*d - 1. Let b be y(-1). Suppose n = 4*o - b, -5*n + 1 - 16 = 0. Solve -2*m - o = -0 for m.
-3
Suppose 5*z - 4*k + 5*k = 15, 4*k - 3 = -z. Suppose 4*o - z*x + 12 = 0, 4*o + 0*x - 8 = -2*x. Solve o*w = -3*w + 6 for w.
2
Let x be 0/((-3)/1) - -4. Let i be (x/10)/((-1)/(-20)). Solve 3*q + q - i = 0 for q.
2
Suppose -3*l + 11 = c, 0 = -2*c + 7 - 3. Solve 10 = -2*s - l*s for s.
-2
Let b be -1*(2 + -1) + -19 + 32. Solve 0 = u + 3*u + b for u.
-3
Let l be -1 - (-3 - -3 - 18). Suppose -h - 22 = -5*y, 0 = -0*y + y + 4*h - l. Suppose 0 = 3*n + 3, y*u - 41 = -n + 2*n. Solve -c + u = -3*c for c.
-4
Let k = 15 - 5. Let z be (12/15)/(4/k). Solve 5*h + z = -3 for h.
-1
Let c = -21 + 12. Let h be (-15)/c - 2/(-6). Suppose -2*b - h*j = -12, -5*j - 4 = -5*b + 26. Solve -5*p - b = -3*p for p.
-3
Let s(m) = 0*m**3 - 2*m**2 + 3 - m**3 - 1. Let k be s(-2). Suppose -5 = 5*a - 25. Solve a = -l + k for l.
-2
Let m = -8 - -13. Let x(s) be the third derivative of s**4/24 - s**3/3 + 2*s**2. Let l be x(m). Solve 2*a = -a + l for a.
1
Let h = -12 + 16. Suppose h*f = -4*l + 20, 0 = -2*l - 2*l + 3*f + 55. Solve -l = -2*a + 4*a for a.
-5
Suppose 2*n - n - 10 = 0. Let b = n + -7. Solve -b*c + 4 + 2 = 0 for c.
2
Let x(j) = -j + 7. Let i be x(5). Suppose 2*u - 7*u - 2 = -t, t - 3*u - i = 0. Let l(s) = s**3 - 2*s**2. Let n be l(t). Solve 0*m - m - 3 = n for m.
-3
Let p be 8/(-20) + (-34)/(-10). Solve 0 = -p*d - 1 + 13 for d.
4
Suppose 3 = 3*c - 2*c. Let p = c - -17. Suppose 4*i - 4 - 18 = -5*s, 5*s = -2*i + 16. Solve b = -i*b + p for b.
5
Suppose -7*v + 5*v = -4*v. Solve -4*p - 8 - 4 = v for p.
-3
Suppose -5*l + 3*d + 52 = 14, -d = -l + 6. Solve l*i + 8 = 6*i for i.
-2
Let u = 6 + 0. Let b = -5 + 3. Let h = b + 6. Solve -h*v + 6 = -u for v.
3
Suppose 4*w - 6*w - 5*z = 25, -w + 25 = -5*z. Solve w = -4*j - 12 for j.
-3
Let s(i) = i**3 + 5*i**2 + 5*i. Let t be s(-4). Let v be -10*2/(t + 0). Solve -v*a + 0*a = 0 for a.
0
Let i be 2*-2 - -2 - -10. Let c = 14 + -10. Suppose c*p - 5*m - 32 = 3*p, 4*p = 5*m + 83. Solve 3*q - p = -i for q.
3
Let l be (5*-1)/((-4)/16). Let h = 36 - l. Suppose -2*u - r + 15 = 0, u + 3*r = -0*r + 20. Solve -x + u*x = -h for x.
-4
Let a be (-1)/(-2) + (-1)/2. Let c(b) = b**3 + 3*b**2 - b. Let l be c(-3). Solve a = -l*s - 6 - 6 for s.
-4
Let y be 0/((-5 - -4)*2). Let k(v) = -v**2 - 8*v - 8. Let x be k(-6). Suppose -8 = 2*q - 5*o, -q - 3*o + 3 + 4 = 0. Solve y = z - x - q for z.
5
Let u be 0/2 + 0 + 15. Let t = u + -14. Solve k + t = 6 for k.
5
Suppose -3*s - 5 = 2*z - 4*s, -5 = s. Let q be (-15)/z - -2*1. Let v = q + 0. Solve 0 = -0*c + 5*c - v for c.
1
Let o be (2/6)/((-2)/(-24)). Suppose g = -o*w + 30, 0*w + 3*g = -w + 2. Let v(h) = -h + 12. Let m be v(w). Solve i + m = -3*i for i.
-