- 2*y for y.
-2
Suppose -3*z - 5*l = -z + 142, -4*z + 2*l - 236 = 0. Let n be ((-1)/1 - z) + 3. Let m be n/28 - 2/8. Solve m = -w - w for w.
-1
Let n be 2*((-81)/6)/3. Let j = -5 - n. Solve -b + 3 = -j*b for b.
-1
Let p = 8 - 9. Let g be (p - (2 + 0)) + -2. Let z be g/(-2)*8/10. Solve z*f = f + 4 for f.
4
Let c be (-2)/10 - 854/(-70). Let t(r) = r**3 + 7*r**2 + 6*r + 3. Let h be t(-6). Solve -z = h*z - c for z.
3
Suppose 0 = -5*s + 9 + 1. Suppose 26*z = 31*z - 30. Solve s*d = -d + z for d.
2
Let u be 102/4 - 1/(-2). Suppose -u = 5*n - 4*q, -3*n - q = -0 + 2. Let c = -2 - n. Solve 6 = -c*a + 2*a for a.
3
Suppose -5*s + g + 6 = -1, 4*g - 6 = 3*s. Solve 7*y - s*y = 0 for y.
0
Let l(f) = -2*f - 4. Let x be l(-6). Let k(d) = d + 10. Let o(t) = -t**2 + 2*t + 1. Let i be o(-2). Let n be k(i). Solve 0 = -x*u + n*u - 5 for u.
-1
Let l be 20/(-15)*(-6)/4. Suppose l*v = -2*v. Solve -5*h + 4*h = v for h.
0
Let z = -14 + 24. Solve 2*o - z = -2 for o.
4
Suppose -5*p - 5*o = -50, 2*p - 5*o = 4*p - 20. Solve -p + 1 = 3*g for g.
-3
Let v(x) = -x + 10. Let b be v(10). Let u be (b + -3)/(-6)*8. Solve -6 = -u*i + i for i.
2
Suppose 4*y - 1 - 7 = 0. Solve -1 = -y*a - 3 for a.
-1
Suppose -o = -5*c - 33, -3*o - o = -c - 18. Let q be 36/(-2)*(-1 - -2). Let g = c - q. Solve -2*b = b - g for b.
4
Let o(f) = f**3 - 6*f**2 + f - 4. Let s be o(6). Suppose s*w - 4*w + 3*n = 6, -w - 4*n = -8. Solve w*v - 4*v = -4 for v.
1
Let v(u) = 9*u**3 - 2*u**2 + 2*u - 1. Let h be v(1). Let c = 10 - h. Solve 0 = c*w + w - 15 for w.
5
Let u(f) = f**2 - 21*f - 19. Let o be u(22). Solve 5*z = 2 + o for z.
1
Let w be (-1 + 4 - 1)*9. Solve -3*a - 3*a = -w for a.
3
Let z(r) = -r**3 - 5*r**2 + r + 5. Let q be z(-5). Let c be q/((-2)/((-2)/(-1))). Suppose 2*w - 8 = -c. Solve -w*x + 12 = -x for x.
4
Suppose 4*m + 2 = 6*m + 2*j, -1 = -j. Solve -4*z + 15 + 1 = m for z.
4
Let i = 63 + -61. Solve -c + 15 = i*c for c.
5
Let r(j) be the first derivative of -j**2 - 9*j - 1. Let i be r(-6). Solve 20 = i*w - 8*w for w.
-4
Suppose c = 1 + 4. Solve -c*p = -8 - 17 for p.
5
Let v(n) = n**3 - 1. Let h(k) = 5*k**3 + 15*k**2 + 14*k - 2. Let a(x) = h(x) - 4*v(x). Let o be a(-14). Solve o*z = -2 + 4 for z.
1
Let m(n) = -n**3 + 9*n**2 - 9*n + 11. Let a be m(8). Suppose 0*l + 9 = a*l. Solve -l*u = -6 - 0 for u.
2
Let x(u) = 6*u - 18. Let i be x(4). Solve 2*z - i*z = -12 for z.
3
Suppose 3 = d - 10. Let s = d - 8. Solve -13 = s*t + 7 for t.
-4
Suppose z = -3*z + 4*t - 16, 0 = -4*z - 5*t + 20. Let c = z - -1. Let w(y) = y**3 - y**2 - y + 1. Let n be w(c). Solve -5*k + n*k + 5 = 0 for k.
1
Suppose -2*n - 4*r = -24, 0 = -0*n + n + r - 8. Let c = -11 + 12. Solve -c = -f + n for f.
5
Let m(v) = -5 + 2*v**2 - 9*v**3 + 8*v**3 + 3*v + 8*v**2 - v. Let i be m(10). Solve x = 4*x - i for x.
5
Suppose 3*k + 3*j + 20 = -j, -5*j = 5*k + 25. Let t be k/(-2)*2/4. Solve i = -2 - t for i.
-2
Suppose 1 = -2*l - 5*v + 5, 2 = l + 5*v. Solve -2 = -l*b - 4 for b.
-1
Suppose -4*i + 11 = r, -3*i + 9 = 2*r - 3. Suppose -k = -2*q + r + 3, -q + 3 = -3*k. Suppose 3*y + 2*y = 0. Solve y = 2*g + 5 + q for g.
-4
Let o be (-5 - 2/(-2))*-2. Suppose -4*a - 4*u = -8, -5*a - 2*u = -27 + o. Suppose -3*p - 3*m = -12, 3*p + a*m = 17 + 3. Solve p = 5*l + 20 + 5 for l.
-5
Suppose 8*p = 3*p + 105. Let v(j) = j**2 - 8*j + 4. Let g be v(8). Solve -g*r - 1 = -p for r.
5
Let i = 16 + -12. Let x(f) be the first derivative of 3*f**2/2 + f + 1. Let c be x(5). Solve -i + c = -4*l for l.
-3
Let q(t) = t + 2. Let j(r) = -r**3 - 5*r**2 - 2*r - 3. Let p be j(-5). Let a = -5 + p. Let v be q(a). Solve -3*x = 1 - v for x.
1
Let m(w) = -w**2 + 6*w - 2. Let k(j) = j**2 + 3*j - 5. Let d be k(-5). Let i be m(d). Solve -2 = -i*x + 1 for x.
1
Suppose -60 = -0*n - 5*n. Suppose 0*r + 2*r = -5*i + 24, n = 4*r + i. Solve -3*j = -r*j for j.
0
Let t(k) = k**2 + 5*k + 8. Let l be t(-4). Suppose 5*r - 18 = -4*z, -r = -5*z + 2*r + l. Solve 8 = 2*d - z for d.
5
Let x(h) = -2*h**3 - h - 1. Let i be x(-1). Let j be (-21)/(-15) - (-3)/5. Suppose 6*d = j*d. Solve -i*w + 2 + 6 = d for w.
4
Suppose -4*t + 39 - 5 = -2*u, t + u = 10. Solve -3*f - t = 3 for f.
-4
Let k(x) = -2*x**3 - 10*x**2 + 10*x - 4. Let z be k(-6). Solve 0 = z*g - 9*g for g.
0
Let k = -7 - -24. Solve 3*v - k = -2 for v.
5
Let x(b) = -2*b**2 - 13*b + 7. Let g be x(-7). Solve 3*h = 6 - g for h.
2
Let o = 3 + 5. Suppose -20 = -4*q - o. Solve 0*b = q*b - 9 for b.
3
Suppose -v - 5 = -10. Solve -v*a = -10*a for a.
0
Suppose -p + 8 = p, -5*r + 44 = p. Suppose -3*s - 11 - 1 = 0. Let i be s - -3 - (-1 + -2). Solve -2*a = i + r for a.
-5
Let h be (-2)/(0 + -4)*0. Let a = 10 + -7. Let k = h + a. Solve -k*x + 2*x - 1 = 0 for x.
-1
Let u = 84 - 60. Let k = 17 - u. Let l be -1 - (-2 - (1 - k)). Solve -4*c + 29 = l for c.
5
Let s = 109 + -105. Solve -s = 5*r - 7*r for r.
2
Suppose -5*d + 6 + 9 = -5*h, 0 = -3*h - 5*d + 31. Suppose 0 = -4*g - 4*a + 8, -3*g + g - 5*a + 10 = 0. Solve g = n - 0*n + h for n.
-2
Suppose 3*s - 154 = -5*g, -2*s - 102 = -3*g - 7*s. Solve -5*q + 4 = g for q.
-5
Let q(m) be the third derivative of -m**5/60 + 5*m**4/24 - m**3/3 + 2*m**2. Let k be q(2). Solve -a + k*a = -9 for a.
-3
Let g(b) = 1. Let t(u) = -2*u - 5. Let r(p) = -4*g(p) + t(p). Let x be r(-7). Solve -3 = 4*m + x for m.
-2
Let m(k) = 2*k - 6. Let t be m(3). Solve 3*i - 2 + 11 = t for i.
-3
Let z = -4 + 13. Suppose z*g - 4*g = 5. Solve 5*b + 9 = -g for b.
-2
Suppose v - 2*v = -20. Suppose s = 5*s - 20, -d = 4*s - v. Solve 2*k + 0*k - 2 = d for k.
1
Let t(n) = -n - 1. Let d be t(-5). Suppose 4*g - 17 + 2 = -5*l, 0 = -l + d*g + 3. Let b = 4 - 2. Solve 0 = -l*a + 4 + b for a.
2
Suppose 14 - 2 = v - 3*w, 4 = -2*w. Let q be v - (3 + -1 + -2). Solve -p = -q + 4 for p.
2
Suppose 3 = 3*g - 6*g + 4*b, 0 = 2*g - 2*b + 2. Let d be 6/(-18)*(1 + g). Solve d*v = 2*v for v.
0
Let b = -2 + 3. Let g be (-8)/20 + 6/(-10). Let r be (3/(-9)*0)/g. Solve -z - 3 - b = r for z.
-4
Let g(m) = -m**3 + 4*m**2 - 3*m + 1. Let y be g(2). Solve y*w + 0 = 3 for w.
1
Let d be 8 + -3 + 4 - 1. Suppose -8 = 4*y, p + 2*p - d = -2*y. Suppose p*i + v - 4 = 0, -2*i + v + 0 = 4. Solve w - 1 = -i*w for w.
1
Suppose 0 = 3*u - 2*b - 6, 0*u + 4*b + 8 = 4*u. Let s = u + -2. Solve s = -g - 2*g - 12 for g.
-4
Let b = 10 + -6. Let t be 2/b*(0 + 10). Let n = t - -3. Solve 5*o = o - n for o.
-2
Suppose 4*a + 4*a - 24 = 0. Solve i = -2*i + a for i.
1
Let l be 3 + -1 - (1 + -2). Suppose -2 = a - 3*z, 5*z - 2 = -l*a + 6. Let o be (-24)/(-20) - a/5. Solve -4*q + o = 9 for q.
-2
Let c(a) = a + 10. Suppose k - 2*k = 8. Let p be c(k). Solve -2 - p = -s for s.
4
Suppose 9*h - 25 - 20 = 0. Let o be 1/(-2) + (-15)/(-6). Solve -p - o = -h for p.
3
Let k be 12 + (1 + 2 - 5). Suppose -f - f + 2 = 0, -5*f = -3*z + k. Let u = -5 + 7. Solve u*p = -z + 15 for p.
5
Suppose 0 = 6*m - 84 + 24. Solve 0 = -5*a - 5 - m for a.
-3
Let n(q) = 2*q - 7. Let i be n(6). Suppose -2*l - 3*l - 11 = -3*k, -k = 2*l - 11. Suppose -2*o + 4 = -o. Solve k + i = -o*z for z.
-3
Suppose 4*v - 16 = 3*k, k - v + 22 = -3*v. Let x be 18*(-2)/k*4. Suppose -2*o = o - x. Solve 5*u - u + o = 0 for u.
-1
Let r be -1 + 2 - (-7 + 3). Suppose 4*x - 63 = -r*h + 21, -3*x = 4*h - 68. Solve -v - 4*v - h = 0 for v.
-4
Let a = -88 + 88. Solve -6*s + s = a for s.
0
Let s = 22 + -13. Suppose 0 = 4*v - 4, 5 = 4*p - 3*v - 36. Solve 4*f + s + p = 0 for f.
-5
Let j(p) = -8 + 1 - 7*p + 5*p. Let q be j(-6). Solve -2 = -q*h - 17 for h.
-3
Let q(p) = p**3 + 2*p**2 - 3*p + 2. Let y be q(-3). Let i = 14 - 12. Solve 0 = y*v - 0*v - i for v.
1
Let i(q) = q**2 + 6*q + 11. Let m be i(-6). Suppose 4*t = 3*t + 2. Solve 0 = 3*w + t - m for w.
3
Suppose w + 3*u = -2 - 1, -3*w = -u + 19. Let m = w - -6. Solve -p + m*p + 5 = 0 for p.
5
Let d = 12 + 3. Suppose 0*v + 3*v = 5*k - d, 0 = 2*v + 10. Solve 2*o - 3*o = k for o.
0
Suppose i + 0*i + 3 = -5*t, 0 = 5*i - t - 11. Solve i*n = -n + 6 for n.
2
Let i(c) = -3*c - 14. Let v be i(-13). Solve 3*z - v = -2*z for z.
5
Let r be (-22)/(-10) - (-3)/(-15). Let h(n) = 6*n + 3. Let t be h(-5). Let k be t/(-12) - 2/8. Solve k + r = -m for m.
-4
Let n(y) = -y**2 - 6*y + 4. Let i = -2 + -4. Let p be n(i). Solve q - p = 3*q for q.
-2
Let p be 5 + 2 + (0 - 1). Suppose 0 = -21*z + 20*z. Solve z = -4*y + 22 - p for y.
4
Let g = -1 + 5. Let s be g + -6 +