lve -z = o + 1 for o.
-2
Let i(v) = -2*v - 1. Let y be i(4). Let q(w) = -w**3 - 10*w**2 - 10*w - 8. Let g be q(y). Solve g = -4*t + 9 for t.
2
Let z be (3 + -6)*(-4)/4. Solve 0 = -3*c - z - 0 for c.
-1
Suppose -3*p + 11 = 2. Solve 2*z - 1 = p for z.
2
Suppose p = 4 + 2. Let s = 6 - p. Suppose l + 3*l = s. Solve t = -l*t - 3 for t.
-3
Let j(b) = b**2 + b. Let x(r) = 2*r**2 + 2*r + 7*r + 0*r. Let o(l) = -3*j(l) + x(l). Let t be o(6). Solve 0 = -2*h - t*h - 4 for h.
-2
Suppose 5*w - 6 = 14, 2*i - 26 = -5*w. Suppose v = h - i*v + 12, -5*h = -3*v + 43. Let j(o) = -o**2 - 9*o - 6. Let c be j(h). Solve 7*b = c*b + 20 for b.
4
Let u = -3 - 1. Let t be (-2)/8 - 21/u. Suppose -t*j = -3*o - 16, -5*o = -6*j + 3*j. Solve j*h + 7 = -8 for h.
-3
Suppose 4 + 5 = -3*v + 3*u, -2*v = 3*u + 31. Let h(s) = s**2 + 7*s + 10. Let q be h(v). Solve -4*j = -q + 6 for j.
3
Let j be ((1 - 3)*2 - -4) + 3. Solve 2 = 5*u - j for u.
1
Let c(r) be the second derivative of r**5/20 + 5*r**4/12 + r**3/2 - 2*r**2 - 3*r. Let a be c(-4). Let w = a + 3. Solve w*z + 3 = 18 for z.
5
Suppose -4*z + 20 = 3*y, 2*z + 5*y - 24 = -0*z. Solve 2*o - 4 = z for o.
3
Suppose 3*g + 0*g = 6. Let b be (-4)/g*4/(-2). Let t be ((-115)/20)/(1/(-4)). Solve b*c = -3 + t for c.
5
Let f be (-4)/(-26) + ((-28)/13 - -2). Solve f = 4*m - 3 + 7 for m.
-1
Let r = -14 + 24. Let o = r - 4. Suppose 0 = -3*z - 3 + o. Solve 0 = m - 2 - z for m.
3
Suppose 0 = 4*f + 3*z + 23, -69 = 4*f - 4*z - 25. Let h(c) = -c**2 - 9*c - 3. Let v be h(f). Suppose -39 = -v*i - 14. Solve i*l - 1 = 4*l for l.
1
Suppose 3*o + 39 = 3*g, o - 25 = -3*g - 2. Solve -4*r = -r + g for r.
-3
Let a(w) = -4*w**3 - 2*w**2 - 2*w - 1. Suppose 0 + 3 = -3*s. Let f be a(s). Solve x - f = 4*x for x.
-1
Let d(l) = -l**3 - 2*l**2 + 3*l. Let b be d(-3). Solve b = -j - 2*j + 3 for j.
1
Let p(q) = -q**2 - 7*q - 4. Suppose -3*w - 2*n + 18 = n, -w + n = 0. Suppose w*v + 2*v = -25. Let y be p(v). Solve 7*l = 4*l + y for l.
2
Let p be 2/11 - 5*10/275. Let z(t) = -t - 3. Let h be z(-5). Suppose -g + h = -p*g. Solve s = g*s + 4 for s.
-4
Let k be (-36)/(-10)*(-70)/(-42). Solve 0 = -3*c + 6 + k for c.
4
Let c be 4/8 + 3/(-6). Solve 4*f + 0*f + 4 = c for f.
-1
Let l(f) = -f**2 - 6*f - 7. Let k be l(-5). Let v be -3 + (2 - (1 + k)). Solve n + 4*n - 25 = v for n.
5
Suppose 4*p = -2*i + 142, -3*i + 1 + 2 = 0. Suppose -s + p = -2*f, 3*s = -f + 45 + 25. Solve x + s = -4*x for x.
-5
Let p(k) = 2*k + 6. Let t be p(-6). Let r be t*(-3)/6*2. Solve 3*n = r*n + 12 for n.
-4
Suppose 3*c = y + 1, -y + 3 = -2*c + 2. Suppose 0 = 2*h, 2*m - 1 = 4*h + 1. Suppose 3*u + g = -3*g + m, 0 = 5*u + 3*g - 9. Solve 0 = c*f + u*f for f.
0
Let u = 6 - 4. Suppose 0 = d + 3*d - 16. Suppose 2*q - z = -1 + 12, -d*z + 6 = u*q. Solve 4*b - q = -b for b.
1
Let r(n) = -5*n**3 + n**2 + 7*n - 7. Let j(a) = 4*a**3 - 2*a**2 - 7*a + 6. Let i(l) = -4*j(l) - 3*r(l). Let x be i(6). Solve -5 = 2*c - x*c for c.
5
Let m(o) = -3*o. Let t be m(3). Let r be 87/(-15) - (-2)/(-10). Let w be (-138)/t + 2/r. Solve q - 6*q + w = 0 for q.
3
Suppose -f - 2 = 4*l - 0, -f - 2 = 2*l. Suppose 7*g - 16 = -g. Suppose 2*p - 6*p + 4*o - 4 = l, -g*p + 2 = -o. Solve -p*d + 8*d - 5 = 0 for d.
1
Let r = -5 - -10. Solve 0*c - 15 = -r*c for c.
3
Let z be (-1)/(-2)*4 + 4. Suppose 0*p = -2*p + z. Let q(f) = f**2 - f - 5. Let n be q(4). Solve -n + p = -4*o for o.
1
Suppose q - 2 = -q. Let c(m) = -2*m - 9. Let x be c(-7). Solve 9 = x*l - q for l.
2
Suppose -3*g + 4*f = 0, 5 = -5*g - 4*f + 37. Suppose 4*m + 5*p = 3*m - 4, 4*m = 3*p + 30. Let v be (4/m)/((-4)/(-18)). Solve 13 - g = v*z for z.
3
Suppose 5*y = -4*x + 16, -y = x - 3*y - 4. Suppose j = -j + x*p - 26, -4*j - 2*p = 92. Let w be 1/((-3)/j) - 2. Solve w*t - 2*t = -9 for t.
-3
Let h(i) = -i - 8. Let k be h(-11). Solve 0*o = -k*o for o.
0
Let i be 0 + -2 - (0 + 2). Let k = i + 4. Suppose 2*j - 4*b + k*b - 30 = 0, 0 = -j - b + 9. Solve -26 = 5*r - j for r.
-3
Let f be (4 - -1) + 0 + 1. Let a be (0/2 - -3) + -1. Let k be 16/24 + 20/6. Solve a - f = k*l for l.
-1
Suppose 4*u - 28 = -6*x + 3*x, -2*u = 3*x - 20. Suppose 4*b + u*i = -32, -b - b = -i + 7. Let r be 1 + 1 - (2 + b). Solve 6*n + 1 = r*n for n.
-1
Suppose 0 = 2*w - 16. Solve t + w = 3 for t.
-5
Let c be -7 + 1 - (-3 - 0). Let o be c/(18/(-4) - -3). Solve 0 + 10 = o*v for v.
5
Let b be (-10)/(-14) + 4/14. Suppose -3*f - d = -7, 4*f - 3*f + b = -2*d. Let n be (3 - f)/(-1 - -2). Solve 3*g + 8 - 2 = n for g.
-2
Let j(r) = -r + 7. Let b be j(6). Solve -5*p = b - 6 for p.
1
Let y(c) be the first derivative of c**3/3 + c**2 - 7*c + 2. Let b be y(-5). Solve -5*p = -33 + b for p.
5
Let l = -28 + 32. Solve 0 = -3*f + 1 - l for f.
-1
Let r be (1 - 70/(-6))*3. Let s = r + -13. Solve 0*b = 5*b - s for b.
5
Suppose 0 = z - 2*v - 4, 10 = 3*z + 2*v - 7*v. Suppose 0*x - 2*p - 1 = x, -p - 14 = -4*x. Solve -x*u + 1 + 2 = z for u.
1
Let z = -1 - -2. Let j be 44/6 + z/(-3). Let g be (0 - 2)*(3 + -5). Solve -g*w = -j*w + 15 for w.
5
Suppose -2*c + 3*c + 1 = 0. Let l be (-3)/(-6)*-4 + c. Let r = l + 6. Solve 1 = -r*v + 10 for v.
3
Let u be (-1 - -2)/((-5)/(-25)). Solve -u = 4*s - 13 for s.
2
Let v be (9/(-18))/(2/(-8)). Solve v = 4*i - 5*i for i.
-2
Let a = 3 + -1. Suppose a*d - 8 = -2*d. Solve 0 = -d*t + t + 4 for t.
4
Let o(p) be the third derivative of p**5/60 + p**4/4 + 3*p**3/2 - 5*p**2. Let t be 1 + 8*(2 + -3). Let y be o(t). Solve -7*r = -3*r - y for r.
4
Let z(d) = -d**3 - d**2 - 2*d. Let j be z(-3). Let l be j/9 + 2/6. Solve -l*i + 2*i - 5 = 0 for i.
-5
Let p(j) = j - 6. Let m be p(8). Let v be 6/(-3) + 2 - m. Let z = v - -2. Solve z*q = 5*q - 25 for q.
5
Let p(n) = -2*n - 3. Let h be p(-4). Let v = 7 - 5. Let x be (-1)/v - 25/(-10). Solve -x*o = -h*o for o.
0
Let s(t) = 2*t - 6. Let r be s(4). Suppose 3*k = 3*h + 9, -r*h - 3*h = -2*k + 9. Let a be (-6)/8*(-9 + 5). Solve -k*f + 10 = a*f for f.
2
Let i be 5/10*(-12)/(-1). Let k(j) = -3*j**3 + 7 + i*j**3 + 0*j**3 - 7*j**2 - j - 2*j**3. Let f be k(7). Solve f = -0*x - 5*x - 25 for x.
-5
Let q = -94 + 119. Solve 4*r = 9*r - q for r.
5
Let z(y) = -y**2 + 8*y - 8. Let w be z(6). Suppose 5*x - w*x = 0. Solve x = 2*j - 7*j + 25 for j.
5
Suppose 3*o = -3*o. Solve o*j = -j for j.
0
Let s(l) = -l + 14. Let i be s(6). Let b be (9/6)/(6/i). Suppose -5*x = -b*x - 18. Solve 2*a + x = 5*a for a.
2
Let d(r) = r + 4. Let g be d(0). Suppose g + 1 = z. Let a = 55 + -44. Solve a = 3*f + z for f.
2
Let v(b) = b**3 + 7*b**2 - 7*b + 10. Let q be v(-8). Suppose -8 = -5*g + q. Solve 3*z - g*z - 4 = 0 for z.
4
Suppose 0 = -v + 3*v - 2*h + 8, v - 5*h + 20 = 0. Solve 5*g - 3*g + 10 = v for g.
-5
Suppose -3*i = -5*i + 50. Solve -4*w - w = i for w.
-5
Let f = 7 + -11. Let c be (-2)/(-5) - 36/(-10). Let m = c + f. Solve m*r + 9 = 3*r for r.
3
Suppose 2*w + 11 = 15. Solve 2 = -w*d + 10 for d.
4
Suppose 3*i = 2*i + 8. Suppose 3*s = -5*a + 27, 0 = -0*a + 2*a - 4*s + 10. Solve a*n + n = i for n.
2
Let v(h) = h**2 - 5*h + 3. Let y be v(5). Suppose 2*c = -y*c. Solve c = 4*i - 2*i for i.
0
Let m = -23 - -16. Let d be m + 3 - (-4 + -2). Solve d*u + 9 = 3 for u.
-3
Suppose a + 12 = 4*i, -2*i + 6 = 3*a + 2*a. Let y = 22 - -3. Let d be 3/(-12) - (-66)/8. Solve -d*w = -i*w - y for w.
5
Let y(x) = -x. Let d be y(-1). Let s(f) = f**2 + 3*f - 4. Let l be s(-5). Let b = l + -4. Solve -b*n + 5 = d for n.
2
Let t(a) = 4*a - 2. Let u be t(5). Suppose -3*c = 3*l - u, 3*l - l = -3*c + 15. Let n = -8 - -9. Solve c*b = n + 8 for b.
3
Suppose 5*k + 0*k = 0. Suppose -g + 1 = -8. Solve -5*h + g + 6 = k for h.
3
Let l(d) = -d**2 - d + 5. Let f be l(0). Suppose -5*m - 2*s + 8 = s, 0 = -m + 5*s + 24. Suppose m*r + 7 = -1, 0 = -f*q - 5*r - 10. Solve q = 2*y + 1 + 3 for y.
-2
Let r = 161 + -156. Solve -k = -0*k + r for k.
-5
Suppose 0 = -q - 5, -3*y = -4*q - q - 22. Let n(i) = 10*i**2 + i + 1. Let c be n(y). Solve 5*r + 10 + c = 0 for r.
-4
Suppose -12*z - 15 = -17*z. Solve z = 4*t - 5 for t.
2
Suppose -i - 2*c = 0, 3*c = -i - c - 2. Let q = -80 + 114. Let j = -20 + q. Solve i*l - 6 = -j for l.
-4
Suppose -2*r - 5 + 15 = 0. Suppose 32 = o - r*o. Let x = o + 8. Solve x*v = v for v.
0
Let i be 1 + -1 + (-1 - -3). Let a be (-1 - i) + 6 + -1. Solve -2*z + a = 4 for z.
-1
Let s be (-26)/(-6) + 2/3. Suppose 5*l - 4 = -h, h + 0*h = s*l + 4. Solve 2*y + 2*y 