l(c) = -c**3 + 2*c - 1. Suppose -1 = 3*o + x, 0*o - 3*x + 7 = 4*o. Let y be l(o). Solve -3*f - y = 3 for f.
-2
Suppose 4*y - 2*g = y + 19, 0 = 4*y + 2*g - 16. Let n(c) = c**2 - 2*c - 2. Let i be n(y). Let k(j) = -j**2 - 2*j + 1. Let b be k(-2). Solve i = -3*d + b for d.
-4
Let w be (5 - 3) + 1 + -3. Suppose 2*l + 0*l = w. Suppose 0*x - x = l. Solve x = -5*t + 3*t + 8 for t.
4
Suppose q - 6 = -2*x, -3*q + 1 = -x - 10. Solve q = r - 5*r for r.
-1
Let v be 2 + 0/2 + 10. Suppose -6*h = -5*h - 4*h. Solve 4*t - v = -h*t for t.
3
Let f = -7 - -15. Let s(j) = -j**3 + 9*j**2 - 7*j + 2. Let h be s(f). Solve 0 = -5*a + 15 + h for a.
5
Let o(w) = w**2 + 4*w + 1. Suppose 5*v - 7 = 2*f, -f + 4*v - 5 = -0*v. Let i be (5 + 0)/(1/f). Let m be o(i). Solve 0 = t - m*t + 20 for t.
4
Suppose -a + 5*j + 45 = 4*a, -3*j + 5 = 5*a. Suppose p = -3*n - 0*p - 69, n = a*p - 10. Let f = -13 - n. Solve -2*z - z - f = 0 for z.
-3
Let f(p) = p**3 + 4*p**2 - 3. Let l be f(-5). Let s = -9 - l. Suppose 3*t - 16 = z, -9 = -3*t - z + 5. Solve 1 = -t*u - s for u.
-4
Suppose -4*n - 28 = -2*a, 3*a - 2*n + 2 = 6*a. Suppose 0 = -l + 3*l + a*q + 12, 3*l = 2*q + 22. Solve 0 = -l*k - 3 + 7 for k.
1
Let s = 1 - -4. Let y = -1 - -2. Let o be (0/2)/(2 - y). Solve -c + s*c - 20 = o for c.
5
Let g(h) = 4*h - 2. Let z be g(1). Solve -2*i + 20 = z*i for i.
5
Suppose -2*o + 0 = -2. Suppose f - 8 = -4*h, -o = -3*h - 0*h - 2*f. Let j be h - (2 + -1)*0. Solve -4*r + 5*r = j for r.
3
Suppose -5*n = 3*y - 0*n + 10, n = -5*y - 2. Solve y = r - 2 + 4 for r.
-2
Let z be 0 + ((-6)/3)/(-2). Let y(h) = 10*h**2 - 2*h + 1. Let f be y(z). Solve s = -2*s + f for s.
3
Suppose -3*n - 17 = -4*a, 0*n + n = 1. Let i(m) = m**2 - 7*m + 6. Let u be i(a). Let q = -2 - u. Solve q*l + 1 = l for l.
-1
Let l(j) = -j**2 - 2*j - 3. Let v = 1 + -3. Let h be l(v). Let a be -2 - (-1 - h - 8). Solve -5*u = -u - a for u.
1
Let o = 12 - 7. Suppose 5*n + o*j + 0 = 30, -n - 10 = -3*j. Let k be 6/15 - (-65)/25. Solve n*q + 25 = -k*q for q.
-5
Let k(t) = -t**2 + 7*t + 1. Let l = 7 - 0. Let j be k(l). Let p be (j - 5)*(-6)/8. Solve -p*d - 3 = -0*d for d.
-1
Let a = 22 - -32. Let k be 12/a - (-50)/18. Solve -k*x = x for x.
0
Let u(w) be the first derivative of -1/2*w**2 - w - 2. Let p be u(-1). Solve p*t + 20 = 4*t for t.
5
Let j = 70 + -68. Let d = -1 - 1. Let k be d/(-6) - (-34)/6. Solve -j*m - k = -0*m for m.
-3
Let b be ((-7)/(-5) - 1)*-5. Let x be ((-14)/10)/((-7)/35). Let u = x + b. Solve -22 = -u*m - 7 for m.
3
Suppose -2*p - 4 = i + 7, 4*i = -2*p - 20. Let o = 12 - i. Solve -5*t + o = -5 for t.
4
Let w be (-31)/(-6) + 11/(-66). Solve -4*f = -w*f + 5 for f.
5
Let s(q) = q**2 - 10*q + 5. Let k(d) = d**2 - 9*d + 4. Let c(v) = 7*k(v) - 6*s(v). Let a be c(5). Solve a*b = 4*b - 12 for b.
-3
Let y = -22 - -31. Suppose 6*b = y*b - 12. Solve -x + b = x for x.
2
Suppose 2*u + 8 = 0, -3*c - 2*u + u = -11. Let n = -1 + 3. Suppose -4*a = 2*q, n*a = -3*a - 5*q. Solve 0 = -a*t + c*t for t.
0
Let m(l) = -4*l**2 - 12*l - 10. Let g(z) = 5*z**2 + 12*z + 9. Let v(a) = 3*g(a) + 4*m(a). Let p be v(-10). Solve -p = -s - 3 for s.
4
Suppose -11*z + 51 = 7. Solve -z*c + 0*c - 4 = 0 for c.
-1
Suppose -2*t + 3*t = 5. Suppose 45 = -4*h + 53. Solve -y + t = -h*y for y.
-5
Suppose 5*u - 4 - 1 = 0. Solve 3*g + 4 = u for g.
-1
Suppose 5*w - 15 + 5 = 5*h, -20 = -5*w + 3*h. Suppose -w = -2*d - 1. Solve -d*f - 8 = -f for f.
-4
Suppose -4*u + 2 = f + 14, 4*u = -4*f - 24. Let v be (-1 + -1)*(-6)/f. Let a be (-2)/v*(-36)/(-8). Solve a*j = -j for j.
0
Let i be 1*((5 - 4) + -1). Solve 6*y - y + 5 = i for y.
-1
Let i(b) = -b**3 + 5*b**2 - 3*b + 5. Let m be i(4). Let l(v) = -8*v + 1. Suppose 3*q = -5*j - q - 11, 5*j = q - 16. Let f be l(j). Solve -4*c = -m*c - f for c.
-5
Let g = -11 + 13. Solve m + g*m = -12 for m.
-4
Let c(x) = 16*x**3 - 29*x**2 - 50*x + 24. Let y(v) = 3*v**3 - 6*v**2 - 10*v + 5. Let g(k) = 2*c(k) - 11*y(k). Let o be g(9). Solve o*h + 4 = 4*h for h.
2
Let a(y) = y - 2. Let u be a(6). Solve c = 3*c + u for c.
-2
Let i = 3 + 1. Let j(b) = 1 + 3*b**3 - 2*b**3 - 7*b**2 + 5*b + b**2. Let m be j(5). Solve 0 = p - m - i for p.
5
Let m = 1 - 2. Let l(c) = -5*c**3 - c**2 - c. Let u be l(m). Suppose -u*x + 3*n = -72, -5*x + 36 = -5*n - 44. Solve -2*i = i - x for i.
4
Let t(r) = r**2 - 4. Let m be t(3). Suppose 3*i - 5*u = -2*i + 5, m = 5*u. Solve -12 = i*s + s for s.
-4
Suppose 79 = c + 77. Let a(l) = -l**2 - 12*l**3 + 0*l + 3*l - 4*l. Let p be a(-1). Solve -c*f - p = 2*f for f.
-3
Let k be (-3)/(-1 + -8) + (-44)/(-12). Solve 0*b + k = -2*b for b.
-2
Let f(t) = t - 4. Suppose -3*r - 2*r + 150 = 0. Suppose 2*g = -3*g + r. Let d be f(g). Solve 5*b - d = 3 for b.
1
Let p(w) = 2*w - 5. Suppose 0 = -2*n + 5*q - 10, 5*n + 0*q = 4*q + 9. Let d be p(n). Solve -d*u + 10*u - 15 = 0 for u.
3
Suppose 3*i - 10 = 2*c, 2*i - 3*c = 3*i + 4. Solve 1 = i*h + 3 for h.
-1
Let y(m) = m**2 - 8*m + 4. Let i be 8/36 - 122/(-18). Let f be y(i). Let p = f - -5. Solve -3*r = -p*r for r.
0
Let h(m) = -m**3 + 5*m**2 - 3*m - 2. Let c be h(4). Let q be 0 + 1/1*c. Solve -y - q*y = 0 for y.
0
Let g be (-2)/(-4) - 2/4. Let b = 2 + g. Solve 0 = -t + 6 - b for t.
4
Let q = 2 + 1. Solve -5*y - 6 = -q*y for y.
-3
Suppose 2*f = -16 + 26. Solve 0 = -p - 4*p - f for p.
-1
Suppose 10 - 45 = 5*k. Let m be 58/6 + 2/6. Let i = k + m. Solve -5*n = -2 - i for n.
1
Suppose u + 2 = 9. Suppose -u*t + 5 + 9 = 0. Solve -t + 12 = 5*p for p.
2
Let i(t) = -8*t + 1. Let f be i(1). Let k(w) = -w**3 - 6*w**2 + 8*w + 9. Let h be k(f). Let l be ((-3)/2)/((-1)/2). Solve -l = -5*b + h*b for b.
1
Suppose l + 4*y = 2*y + 25, -2*l = -3*y - 50. Solve -l = -4*g - g for g.
5
Suppose -5 = -4*a + j, a - 4*j + 7*j + 15 = 0. Solve a = 2*w + 1 - 11 for w.
5
Let i(n) = n + 12. Let s be i(-8). Suppose -s*d = -o - 57 - 35, 5*o = 4*d - 76. Let z = d + -11. Solve -5*v + 7 = -z for v.
4
Let x = -30 + 31. Solve 0 = 2*y - x + 5 for y.
-2
Let u = 125 - 123. Solve 5*c + 3 = u*c for c.
-1
Let t = -159 + 189. Solve t = -5*k + 10 for k.
-4
Let l(r) = -r - 9. Let q be l(0). Let m = 7 - q. Solve 4*n - m = -0 for n.
4
Let j = 33 + -31. Solve 3*n = -j*n + 10 for n.
2
Let l be (0/(-16) + 0 + 0)/2. Suppose 27 = 5*u + 2. Solve l = -u*x + 10 for x.
2
Let j(i) = i**3 - 7*i**2 + 6*i + 5. Let y be j(6). Let w = 3 - y. Let t = w - -10. Solve 0*m - t = -4*m for m.
2
Let z be 9 + 3*(-3)/(-9). Solve z = -a - a for a.
-5
Suppose 0 = -3*j + 7*j - 20. Suppose 3*n = -5*h + 22, 0 = -n + j*n - 5*h + 29. Let f be ((-8)/10)/(n/5). Solve y = -f*y for y.
0
Let h = 11 + -5. Suppose 2*b - s - 2*s = -9, -b + s - 2 = 0. Solve -h*t = -b*t for t.
0
Let b(f) = 2*f**2 - 2*f - 1. Let u be b(-1). Let v = 3 - u. Let w be 3/((-3)/(-15) - v). Solve 2*k = -k - w for k.
-5
Suppose 2*p - 2*l = 1 - 5, p = -l + 4. Solve -2*q - p = 1 for q.
-1
Suppose -16 = -2*k - c, -c = -10*k + 5*k + 26. Solve -3 = 3*u + k for u.
-3
Suppose -x + 2*r + 11 = -8, 2*r + 4 = 0. Let y = -12 + x. Solve -y - 3 = -2*i for i.
3
Let h = -79 - -95. Solve 0 = 3*f - 7*f + h for f.
4
Suppose -s - 3*t = -4, 0 = -t - 0 + 1. Let k be (s + (-1)/2)*0. Let j = 2 + 1. Solve 4*x + 1 + j = k for x.
-1
Suppose -v = -6 - 9. Suppose 0 = 4*j - 7*j + v. Solve 0 = -4*d + 5*d + j for d.
-5
Suppose -5*k = -0*k + 25. Let l(c) = 2*c + 12. Let i be l(k). Solve 4 - 2 = -i*d for d.
-1
Let l be (1 + -1)/(-2 - 0). Suppose 4*r = 2*u + 12, u = -2*r + 16 - 2. Let i = -16 - -17. Solve 3*b + r + i = l for b.
-2
Let m(j) = j**2 + 7*j + 3. Let r be m(-8). Let y = -6 + r. Solve -y*x + 1 = -4*x for x.
1
Suppose -5*t + 20 = -3*t. Solve 2*d = t - 4 for d.
3
Suppose 34 = 3*a - a - 5*q, 4*q + 16 = 0. Let i(l) = -l**3 + 7*l**2 - l + 8. Let m be i(a). Solve -m = 4*v - 13 for v.
3
Suppose 2*c = -2*c. Solve c = -4*a - 6 + 10 for a.
1
Suppose -m + 3*m = 4. Suppose -j - j = -m. Solve j = -5*k - 14 for k.
-3
Let t = 14 + 9. Suppose t = 2*c - 17. Solve c = 4*q - 0*q for q.
5
Let x(q) = -q**3 + 2*q**2 + q. Let p be x(-1). Let c(w) = -2*w**3 - 10*w**2 + 13*w + 15. Let f be c(-6). Solve -p*i = i - f for i.
3
Let p = -2 + 3. Suppose 0*n = -3*n + 30. Suppose 0 = 3*m - 2 - n. Solve -p - 7 = m*r for r.
-2
Let y = -4 - -5. Let v be (-2 - -2) + y - -7. Solve 3*u - u = -v for u.
-4
Let w(x) = -2*x + 17. Let o be w(8). Solve -2*j + o = 5 for j.
-2
Let j(t) = t**2 + 11*t