o**2. Let p(q) = -5*s(q) - 2*x(q). Let l be p(1). Solve -k - 3 - l = 0 for k.
-4
Let c be (-3 - (-57)/15)*5. Let u = 5 + -1. Let l = c - u. Solve 4*t + 0*t = l for t.
0
Let m(f) = -7*f**2 + 16*f - 25. Let w(b) = -10*b**2 + 24*b - 37. Let l(o) = 7*m(o) - 5*w(o). Let z be l(7). Solve -5*h + z - 8 = 0 for h.
-1
Let h = 4 - 2. Let d(t) = 10*t**2. Let f be d(1). Solve -4*y - f = h for y.
-3
Let a be (-3)/6 - (-204)/8. Solve -2*g = 3*g + a for g.
-5
Let m be 11 + 1 - (8 - 6). Let q be 5/1 + (-1 - 0). Suppose 4*d - q = 20. Solve -m = r - d*r for r.
2
Let j = -40 + 40. Solve 2*m - 6*m - 4 = j for m.
-1
Let b be -1*3*(-2 + 1). Let c = -13 - -17. Solve 0 = -k + c*k - b for k.
1
Suppose 6*a = 11 + 7. Suppose 2*u + a*u - 25 = 0. Solve -2*m + u = -1 for m.
3
Suppose -2*q + 51 = 3*z, 4*z - 36 = 2*q + 18. Suppose d - z = -4*d. Solve -4*i + d*i = 3 for i.
-3
Suppose 0 = 3*y - 5*s - 9, y - 5*s - 12 = -3*y. Let n(c) = -c**2 - 5*c - 2. Let m be n(-5). Let v be ((-3 - 9)/m)/2. Solve -y*f + v = -6*f for f.
-1
Let v be ((-2)/20 + (-3)/(-6))*10. Solve 18 = v*p + 2 for p.
4
Suppose 5*g - 37 = -2*l, 5*g + 7 = l - 19. Solve 4*i - 1 + l = 0 for i.
-5
Let v = 98 + -95. Solve 0 = -f - v for f.
-3
Let k = -16 - -24. Solve k + 1 = 3*i for i.
3
Let x(u) = 5*u**3 - u + 1. Let a be x(1). Let i be -3*(1 + 8/(-3)). Suppose -3*g + 10 = -i. Solve a*t - g = 15 for t.
4
Let o(j) = j**3 - 19*j**2 + 5. Let b be o(19). Solve 0*n - b*n = 10 for n.
-2
Let k(y) = y**3 - 10*y**2 + 9*y + 3. Let s be 3*2*15/10. Let h be k(s). Let z(w) = w**3 - 3*w**2 + 4. Let o be z(h). Solve r - 9 = o*r for r.
-3
Suppose g = -g. Solve 3*b + 0*b = g for b.
0
Suppose 0 = 3*a - u - 7, 2*a + u + 15 = 7*a. Let d(i) = -i + 1. Let c be d(-2). Solve -a = -j - c*j for j.
1
Let g(t) = 2*t - 4. Let o be g(4). Let v be (1/2 - 1)*-10. Suppose o*f - 61 = -v. Solve -6 = -5*k + f for k.
4
Suppose 0 + 4 = 2*h. Solve -h = 2*g - 0*g for g.
-1
Let w be 2/((-2)/(-7)) - 3. Suppose l - 4*k - w = 0, -6*l + 2*l = -3*k - 68. Solve -7*z + 3*z - l = 0 for z.
-5
Let h = 52 + -48. Solve -3 - 13 = h*a for a.
-4
Let n be (3 + -1)*-5*(-14)/35. Solve -x = x + n for x.
-2
Let b(n) = n**2 + 7*n + 8. Let t be b(-1). Solve -t = -3*h + 4 for h.
2
Let y(j) = -j**3 - 5*j**2 - 6*j - 5. Let g be y(-4). Solve 0*o - 15 = -g*o for o.
5
Suppose 0 = 6*x - 4*x. Solve x = -j - j - 4 for j.
-2
Suppose -s + 2*s = 0. Let q = -101 + 107. Solve s = n - q*n - 20 for n.
-4
Let i(d) = -11*d + 5. Let n(p) = 5*p - 2. Let t be 1/(-3) + 11/(-3). Let j(a) = t*i(a) - 9*n(a). Let h be j(-2). Solve h = -s - 1 for s.
-1
Suppose 16 = 3*f - 11. Suppose 24 = 5*x + f. Solve x*y - 7 = 5 for y.
4
Let g = 96 + -94. Solve -g*d - 15 = 3*d for d.
-3
Suppose -5*c + 19 = -26. Suppose -4*h - h - 35 = 0. Let v = h + c. Solve -v*d = 3*d for d.
0
Let j = -8 - -14. Suppose -d = -j*d. Solve d = a + a for a.
0
Let l(t) = 17*t**2 - 3*t - 2. Let a(g) = -25*g**2 + 4*g + 3. Let x(k) = -5*a(k) - 7*l(k). Let d be x(2). Solve b + d = -4*b for b.
-5
Let r be -1 - -2*1 - -3. Let f be -2 + r + (-1 - 2). Let l = 4 + f. Solve l*z + 20 = 5 for z.
-5
Let l(g) = -g**3 + 5*g**2 - g + 7. Let v be l(5). Let m be 12 + -2 - (v - 0). Suppose -3 = d - m. Solve -4*w + d = 21 for w.
-4
Let w = 2 - 5. Let p(d) = -4*d**2. Let u(c) = -9*c**2 + c + 1. Let l(y) = -7*p(y) + 3*u(y). Let t be l(w). Solve 0 = -m + t for m.
3
Let t(w) = w + 26. Let v be t(-24). Solve -3*x = v*x + 10 for x.
-2
Let n(g) = -2*g - 1. Let w be n(-3). Let y be (3/4)/(w/120). Suppose 5*d + 4*v = 40, -2*d + y - 2 = 4*v. Solve -d*l + 3*l = -5 for l.
1
Suppose s + 28 = -3*s. Let n(d) = d**3 + 8*d**2 + 7*d. Let x be n(s). Solve x = 5*f - 4*f for f.
0
Let k be 7/21 - (-17)/3. Solve -i - k = -1 for i.
-5
Suppose -5*f = -60 - 15. Let k = f + -12. Solve -k*x = x - 20 for x.
5
Let q(u) = 2*u**2 - 2*u - 1. Let h be q(2). Suppose 3*m = -h*a + 1 + 5, 5*m - 19 = 4*a. Solve 0*c + m*c = 15 for c.
5
Let d(y) = y**2 + 2*y - 1. Let n be (-4)/(-8) + 9/(-2). Let a be d(n). Let b = -1 + 5. Solve 1 = b*r - a for r.
2
Suppose 3*g = -i + 19, -g - 3*i - 2*i = 17. Suppose g = -8*d + 9*d. Solve 0 = -f - f - d for f.
-4
Suppose 2*r - 6*r + 3*a + 3 = 0, -4*r - a - 1 = 0. Let s be 0 - (r - 0)/2. Solve s = -2*b + 5*b for b.
0
Suppose 6*t = 85 + 35. Solve -5*c = -10*c - t for c.
-4
Suppose 0 = -4*v - 2*r + 20, -r = 4*v + 2*r - 24. Let f = -7 - -11. Suppose f*p - 10 - 6 = 0. Solve -2*g + v*g = -p for g.
-4
Let i = -5 - -3. Let y be -6*i/4*1. Solve -4*s = -y*s - 5 for s.
5
Let n be (0 - 1/(-1)*-1)*-5. Solve 20*l = 25*l + n for l.
-1
Let w(u) = -u**2 + 12*u - 9. Let p be w(11). Let d(j) = j**3 - 2*j. Let t be d(p). Solve c = t*c for c.
0
Suppose -1 + 4 = s. Let r(z) = -2 + s + 0*z - 2*z. Let k be r(-2). Solve -3 = k*j + 7 for j.
-2
Let j be 0/((-1)/(-2)*-4). Solve j = -x - 2 - 0 for x.
-2
Let n(v) = v**3 + 8*v**2 + 6*v - 3. Let y be n(-7). Solve 0 = -y*b + 5*b - 3 for b.
3
Let o(l) = l**3 - 10*l**2 - 11*l + 4. Let r be o(11). Solve 2*j = r + 4 for j.
4
Suppose 4*r = 3*s + 5, -2*s = -4*s + 2*r. Suppose -s*z + 4*l = -58, -3*l + 8*l + 60 = 5*z. Solve -6*g + g = -z for g.
2
Let r(g) = g + 6. Let f be r(0). Suppose 0*o - 2*o = -f. Solve -2*m = o*m - 5 for m.
1
Suppose 15 = 17*x - 14*x. Solve x - 2 = 3*d for d.
1
Suppose -5*l + 0*l + 20 = 0. Solve m + l = 2*m for m.
4
Let m = -4 - -4. Suppose m = -x + 4 + 1. Suppose x*r + j = 5*j, r = 5*j. Solve 0*b + b + 4 = r for b.
-4
Let s(x) = x**2 + x - 1. Let a(y) = -3*y**2 + 6*y + 7*y**2 + 6*y - 7 - 5*y. Let v(h) = -a(h) + 5*s(h). Let u be v(4). Solve u = o + 4*o for o.
2
Suppose -3*v = -2*v + 3. Let s = 4 + v. Solve 0 = 3*n - 2*n - s for n.
1
Suppose -p + 4*p = -g + 15, 3*g - 15 = -4*p. Suppose s + p = -0*s. Let d = s + 11. Solve -2 = -d*a + 8 for a.
2
Let h be 8/28 - 670/(-7). Suppose a - h = -2*a. Let y = -22 + a. Solve -2*p = 3*p + y for p.
-2
Let x be (-3)/2*48/(-18). Suppose 12*q - x = 10*q. Solve 5*t - q = 8 for t.
2
Let a(t) be the second derivative of t**4/12 + 7*t**3/6 + 7*t. Let u be a(-7). Solve 3*j + u*j - 3 = 0 for j.
1
Let h be (-15)/3*12/(-15). Suppose -4*z - h*i = 8, -2*z + 3*i + 2*i + 10 = 0. Solve z*s = -3*s for s.
0
Suppose n - 32 = 4*b - n, -2*b - 8 = 3*n. Let g(d) = -d**2 - 8*d - 5. Let k be g(b). Solve 2*c + k*c = -8 for c.
-2
Let s be 5/((-15)/(-9)) - -7. Let d = s + -8. Solve -x + d*x = -4 for x.
-4
Suppose -5*j + 0 = -15. Solve -l = j*l + 8 for l.
-2
Suppose -2*q + 5*u = 19, q - 4*u + 2*u + 7 = 0. Solve q + 1 = -4*s for s.
-1
Let s be (8 - 12) + -4 + 0. Let l(t) = -2*t**2 - 15*t + 18. Let o be l(s). Let a(b) = 4*b**3 - b**2 + 1. Let h be a(1). Solve -2*j + o = -h*j for j.
-5
Let j be 17/4 - (-9)/12. Let s(w) = 25*w**2 - w - 1. Suppose 10 = -2*k + o - 3*o, k - 4*o = 15. Let r be s(k). Solve j*b + 0*b = r for b.
5
Suppose 2*d - 6*d = 64. Let t = d - -29. Solve 3*q = -t + 1 for q.
-4
Let h be -8 + (3 - 1/1). Let c(p) = -3*p. Let q be c(h). Suppose q = 5*u - n - n, 5*u + 3*n = 23. Solve 2*d + u = -2*d for d.
-1
Let o be (3 - (-7)/(-2))*2. Let p be o/(-2) + (-105)/(-30). Solve 4 + 12 = -p*h for h.
-4
Let p be (-46)/(-14) + 2/(-7). Let x = -9 - -11. Let u be x - -1 - -3*3. Solve -u = -p*m - 3 for m.
3
Suppose 4 + 5 = 3*y. Solve -y*a = -0 - 3 for a.
1
Let o be 2*1*3/(-3). Let n = 4 + o. Let m(t) = 12*t + 2. Let l be m(n). Solve 0 = -5*z - 1 + l for z.
5
Let t(u) = -u**3 + 4. Let r = 10 + -7. Suppose 0 = -j, -8*j = -5*h - r*j. Let p be t(h). Solve 5*c + p + 6 = 0 for c.
-2
Suppose 6 = r + 2, 5*r = 3*i - 16. Solve -b - i = 3*b for b.
-3
Let v = 0 - -2. Let t(g) = 2 + 2*g + v + 0*g. Let a be t(4). Solve 3*c = -c + a for c.
3
Suppose 4*s - 1 - 7 = 0. Let g(n) = -n**2 - 2*n + 6. Let t be g(-7). Let u be t/(-4) + s/(-8). Solve -3*i = -u*i + 16 for i.
4
Let k = 14 + -13. Solve 2*m - k = 3 for m.
2
Suppose 0 = -5*v + 3*k - 10, -k + 3*k = 5*v + 15. Let c = v - -5. Solve 4*a + 1 + 19 = c for a.
-5
Suppose 2*l = -2*l. Solve l = -k - 0*k - 4 for k.
-4
Suppose 9 = 3*g + g - 5*q, -5*q = 2*g + 33. Let k be 5 + g*(-1)/2. Solve -k*v + 2*v + 20 = 0 for v.
4
Let g be ((-4)/6)/(2/(-6)). Suppose 5*c - 92 + 27 = 0. Solve -g*i = -c + 5 for i.
4
Let l be 11/5 + 2/(-10). Solve l*w + 2 = 6 for w.
2
Suppose -d = -4*v + 6, 0 = -d + 3*d + 4. Solve -5*g - 4 = v for g.
-1
Let h(q) = -q + 7. Let d be h(3). Let k = d - 2. Let i be 6 + 0 + -4 + -2. Solve i 