be o(-6). Solve -x = 5*i + w for i.
-2
Let y = 20 + 4. Let x be (16/y)/(1/18). Solve -s = -5*s - x for s.
-3
Let d(u) = 5*u. Suppose 3*i + 5 - 2 = 0. Let j be d(i). Let f be 2/(-5) - 2/j. Solve f = k - 5*k - 8 for k.
-2
Let c = 3 + 2. Suppose -c*d - 20 = -5. Let r be (-1 + d + 3)*0. Solve p + 4*p + 10 = r for p.
-2
Let o(c) be the second derivative of c**3/3 - c**2 - c. Suppose 4*b + 10 = 6*b. Let u be o(b). Solve 2*m = 4*m + u for m.
-4
Let p = -10 - -23. Let c = p + -10. Let b be c + -2*2/(-4). Solve -b*o = o for o.
0
Suppose 0 = 2*i + 3*g + 42, 2*g = 3*i - 3*g + 25. Let x be 4/3 - 10/i. Suppose 2*t - 4*t - x*k + 6 = 0, k - 11 = -2*t. Solve -t = -n - n for n.
4
Suppose u - 2*i + 30 = 0, 2*u + 30 = -6*i + 4*i. Let v be ((-96)/u)/((-6)/(-20)). Suppose f + 6 = 3*d - 0*d, 0 = -3*f + d + 6. Solve 0 = f*x + v - 4 for x.
-4
Suppose -2*c = -4*o + 30, 0*c = 5*o - 4*c - 42. Let h be ((-4)/o)/(2/6). Let b be -2 - 14*(h + 1). Solve 0 = x + 2*x - b for x.
4
Suppose -4*y - y = 4*l - 41, -4*y + 16 = -l. Suppose h = -4*s + 1 + 1, 5*h - 2*s - 10 = 0. Suppose 0 = 5*f + h - 12. Solve f*a = 2 + l for a.
3
Let q be 33/77 + (-118)/14. Let u be (-6)/(-18) - q/3. Solve -u = 4*l + 1 for l.
-1
Suppose -3*w = -3*t - 6, -24 = 2*w - 7*w - 2*t. Solve g = w*g + 3 for g.
-1
Let o(v) = v**3 - 2*v**2 - 3*v + 5. Let w be o(3). Solve -26 + 1 = w*x for x.
-5
Suppose 2*v = 4*v - 3*q, -22 = -4*v - 5*q. Let h(d) be the third derivative of -d**4/24 - d**3/3 - d**2. Let f be h(-4). Solve -f*n = -9 + v for n.
3
Let q = -28 + 44. Solve 1 - q = -3*r for r.
5
Let c(o) = -2*o**3 + 2*o**2 + 2*o + 1. Let b be c(-1). Suppose b = 3*h - 2*h. Solve -3 = -h*z + 6 for z.
3
Suppose 2 = 3*r - 4. Let s(h) be the second derivative of -h**5/20 + h**4/4 - h**3/2 + h**2 - 2*h. Let t be s(r). Solve 5*m + 15 + 5 = t for m.
-4
Suppose 4*s - 25 = a, 3*s - 5 = 3*a + 25. Let p be (-130)/(-4)*38/95. Let d = p - s. Solve d*o - 3*o = 0 for o.
0
Let t = 18 - 1. Let l = t - -8. Suppose -1 + l = 4*m. Solve m - 18 = -4*z for z.
3
Suppose 0 = 4*o + p - 3*p - 20, p - 2 = -2*o. Suppose -2*x + o*x = 1. Solve y = -0*y + x for y.
1
Suppose q + 47 = -j - 4*j, -33 = 3*j - q. Let b = j + 18. Suppose -i + b = i. Solve -i*v - 2 = -5*v for v.
2
Suppose -14*y + 9*y = -20. Solve -3*r - y = -r for r.
-2
Let x be 2*(1 + -5)/(-2). Suppose 2*g + 0*g = x. Let l be (3/3)/(2/4). Solve -g*w = -l - 4 for w.
3
Let f(o) = -2*o - 2. Let h = -12 + 9. Let u be f(h). Let i = 0 + 6. Solve u*r = -14 - i for r.
-5
Suppose -23 = -4*g + 25. Suppose -2*u - 2 = 6, g = p - 3*u. Solve x - 3*x = p for x.
0
Let v be 4 - (20/4 + -1). Solve v*s + 4*s = -8 for s.
-2
Let y be (0 - -2)/(6/6). Solve y*i = -3*i - 10 for i.
-2
Suppose 2*k = 2, -k = -0*q - 4*q + 11. Solve -10 = -p + q*p for p.
-5
Let z be ((-10)/(-25))/(1/15). Let x be z*(-3)/6 + 7. Solve 2 = 3*c - x*c for c.
-2
Suppose 2*k = -k - 9. Let t be 2/6 + (-23)/k. Solve -3*v - v + t = 0 for v.
2
Let v(i) = -i - 2. Let x be v(3). Let u = x - -17. Suppose 3*o - u = 9. Solve 5*p - o = 8 for p.
3
Let d = 1 + 4. Let s(h) = -h**3 - 3*h**2 + 5*h + 5. Let c be s(-4). Let k be (c - 2)/((-1)/d). Solve 0 = -r + k*r for r.
0
Let p(b) be the second derivative of -b**4/12 - 5*b**3/6 + 8*b**2 + b. Let l be p(-7). Let i(f) = 2*f**2 + f + 1. Let k be i(-1). Solve 2 = -l*y - k for y.
-2
Suppose 9 = r + 8. Solve 4*t = 13 - r for t.
3
Let x(s) = s**3 + 3*s**2 - 5*s - 3. Let j(d) = d**3 + 4*d**2 - 6*d - 4. Let m(a) = 4*j(a) - 5*x(a). Let l be m(1). Solve l*k = 5*k - 5 for k.
1
Let f(a) = a**3 + 2*a**2 + 6*a - 7. Let p(w) = 2*w**3 + w**2 + 6*w - 8. Let m(t) = -3*f(t) + 2*p(t). Let u be m(5). Solve u*r + 10 = -5*r for r.
-2
Let k = 26 - 24. Solve a + k = -a for a.
-1
Let n(t) = t**2 + 3*t - 6. Let d be n(-6). Suppose 4*k = 5*h - d, 4*k + 6 = 2*h - 6. Solve h*l = -l for l.
0
Let j = -3 + 3. Let h be (0 + j)*7/14. Solve h*c = 3*c + 12 for c.
-4
Let x be (-25)/2 + 9/18. Let o be 3*(4/x + 1). Solve -o*t + 7*t - 15 = 0 for t.
3
Let n be (-2)/(-7 - -3)*0. Solve n + 15 = 5*t for t.
3
Suppose -5*m = -m - 12. Suppose -k - 6 = -d, d - 2*d - m*k = 14. Solve -d = -2*a + 3 for a.
2
Let d be ((-2)/(-6))/((-14)/(-12) - 1). Solve -b = d*b for b.
0
Suppose 0*w + 8 = 4*w + 2*s, -10 = -5*w - s. Solve 2*l + 12 = w for l.
-5
Let u(l) = 2*l - 5. Let p(a) = a - 1. Let f be p(5). Let t be u(f). Suppose t*k - 3*y = -6, 3*k = -3*y + 16 + 2. Solve -k*j + 12 = j for j.
4
Let v be (0 - -2)*15/6. Solve -4*s - 15 = v for s.
-5
Let f = 1 + 0. Let c = 4 + f. Solve c*y - 1 = 4 for y.
1
Suppose i = 5*i + 4. Let t = i + 6. Let m(c) = c**2 - 2*c. Let y be m(t). Solve 0 = u - 6*u - y for u.
-3
Let q(d) = d + 6. Let k be q(-6). Suppose -5*g = 5*c - 90, -4*c + 5*g + 43 + 47 = k. Suppose 0 = 4*b - 11 + 3. Solve b*u - 7*u = -c for u.
4
Suppose -5*h - 4*g + 59 = -0*h, -h + 3*g + 27 = 0. Suppose 4*j = j + h. Let l(c) = 4*c**3 - 4*c**2 + 2*c. Let s be l(2). Solve j*x = x - s for x.
-5
Suppose -h + 5*h + 6 = -2*n, -9 = -5*n - 4*h. Solve -n*a = -12 - 8 for a.
4
Let o be (-1 + (-6)/(-9))*(-1 + -2). Solve -9 = -2*q - o for q.
4
Let w(q) = -2 + 4 - 2*q + 0 + q**3 - q**2 + 1. Let d be w(2). Solve -6 = n - d for n.
-3
Suppose -d = -4*f - 3 - 17, 3*d + 25 = -5*f. Solve d = -0*v + 3*v + 12 for v.
-4
Let c be -6 - 2 - (-30)/10. Suppose -2*u + 3*u = -n, -n = -u - 4. Let m be u*1/(-2) - c. Solve 3 = 3*i - m for i.
3
Let j(n) = -n - 1 + 0*n**2 + n**2 + n**3 - 2*n**2 + 2*n. Let f be j(1). Solve x + 2 = -f for x.
-2
Suppose m = 5*u, 2*m = 3*m - 3*u. Solve m = 2*x - 0 - 4 for x.
2
Suppose -2*m + 0*m = -30. Let v(d) = 4*d**2 - 9*d + 7. Let q(g) = -11*g**2 + 27*g - 20. Let o(t) = 3*q(t) + 8*v(t). Let u be o(8). Solve -u*x = -x + m for x.
-5
Let a be 8 + -2 + 2*-1. Solve a = 2*g + 2*g for g.
1
Suppose -2*x = -0*x - 14. Let u(z) = z**3 - 8*z**2 + 8*z - 6. Let y be u(x). Let k = y + 0. Solve 2*g + 3 = -k for g.
-2
Let m(a) = -a - 24. Let x be m(-24). Solve x = 4*g - 0*g + 12 for g.
-3
Suppose 0 = -5*j + 3 + 12. Suppose 5*i - 40 = -10. Solve -i = -j*z + z for z.
3
Let r = 9 - 20. Let z = r + 16. Solve 0 = z*k - 0*k - 25 for k.
5
Let s = 31 + -27. Let p = 6 + -6. Solve p = -s*l + l + 3 for l.
1
Let o(d) = -d**2 - 31*d + 34. Let v be o(-32). Solve 7 = -3*x - v for x.
-3
Suppose 0 = 5*v - 31 - 4. Solve 16 = 3*b - v*b for b.
-4
Suppose -4*p - 8 = -6*p. Suppose 0 = 3*c + c - p. Solve v + 3 = c for v.
-2
Suppose 5*g + k = -0*g - 9, -3*g + k = -1. Let w be -5 - g - 16/(-4). Let l be -4*(0 + 3/(-4)). Solve l*p - p = w for p.
0
Suppose 5*s + 3*i = 11, 3*s - 4*i - i = 27. Let d(b) = 2*b**2 - 2*b + 3. Let c be d(2). Solve -s*v = -c*v - 15 for v.
-5
Let w(d) = -d**3 + 4*d**2 - 3*d + 2. Let p be -3 + (-1)/((-3)/18). Let y be w(p). Solve -5*h + y*h = -6 for h.
2
Let z(u) = -4*u**3 - 3*u**2 + 4*u + 5. Let v be z(-2). Solve 3*w - v + 5 = 0 for w.
4
Let v(x) = -2*x + 8. Let p be v(4). Solve p = -f - f for f.
0
Suppose j = -0*j. Let u be 1 - (j - -2) - -15. Suppose g - 19 = -4*k, 4*k + 2*g = -0*g + u. Solve k*n + 2 = 4*n for n.
-1
Suppose -q = -t - 7, -4*q + t + 3 = 2*t. Solve -2*y + q = 6 for y.
-2
Suppose -20 = -6*k - 2. Solve k*p - 10 - 2 = 0 for p.
4
Suppose -4*c = 2*t - 7 - 19, -4*c + 41 = 3*t. Solve 5 = -5*p - t for p.
-4
Let f = -5 + 3. Let d = f - -6. Solve -3*r + 8 = -d for r.
4
Let c = 14 - 10. Suppose 5*u - 8*u + c*k = -22, 3*u = -4*k - 10. Solve -10 + u = -2*l for l.
4
Let v be -2 + (-1 - (-6 - 2)). Suppose 0 = 2*c + c + 9, 4*a + 38 = -2*c. Let o be a/(-6)*(1 - -2). Solve 1 + o = v*n for n.
1
Let k = -5 - 4. Let c = k + 10. Solve -c = 2*x - x for x.
-1
Suppose -4*i - 9 = w, -2*i + 5*w = -7*i. Let x be -1*(i + 3/1). Solve x = -5*u - 17 + 7 for u.
-2
Let c(b) = -4*b**2 + 37*b + 33. Let w(v) = v**2 - 12*v - 11. Let r(y) = -2*c(y) - 7*w(y). Suppose -7 + 34 = -3*t. Let a be r(t). Solve -p = p - a for p.
1
Let a(w) = w - 6. Let t be a(10). Solve -4 = -0*i - t*i for i.
1
Suppose -24 = -7*p + 3*p. Solve 10 + p = -4*m for m.
-4
Let p be (2/(-4))/(1/(-2)). Let a be ((-6)/(-10))/(p/5). Suppose 6*j - 4*j - 24 = 0. Solve 0 = -6*v + a*v - j for v.
-4
Let s be (6/4)/(18/24). Solve s = 2*x - 8 for x.
5
Let n = 2 - 1. Solve z = -n - 1 for z.
-2
Suppose 4*u + 3*z = 3, -2*u + z = 4*z - 3. Let h = -6 + 10. Solve h = -w - u*w for w.
-4
Let o = -4 + 25. Let z = -18 + o. Solve 3*i = z + 3 for i.
2
Let x(u) = 5*u**2