= o - 2*h for o.
0
Let m = -19 - -12. Let k = m + 12. Solve 0 = -5*w - 25, -5*w - k = u + 4*u for u.
4
Suppose 4*x - g - 12 = 2*g, -5*x - 4*g - 16 = 0. Solve 3*q + x*q + 5 = -4*i, i = 4*q + 13 for i.
1
Suppose 4*f + 5*t = 41, -5*f = 5*t - 6 - 39. Solve 0*i - 2*i + 8 = -l, 0 = -5*l + f*i - 10 for l.
2
Let m be 4 + 0 + 2 + -3. Suppose 1 + m = 2*g. Let q be (2/(-4))/(2/(-32)). Solve -g*z = -q*p + 3*p + 5, -5*p = -z for z.
-5
Suppose 2*z + 0*z - 4 = 0. Let d be (-50)/(-18) + z/9. Suppose -3*q + 29 = -5*v, -d*q - 2*q - 4*v - 1 = 0. Solve -2*i = q*h - 25, -4*i + 25 = h - 0*h for h.
5
Let r(t) = 74*t - 8. Let p be r(4). Suppose 0*o + 2 = -o. Let d be p/28 - o/(-7). Solve -y = -4*v - d - 3, y + 19 = -4*v for v.
-4
Let d be 6/(2*(-9)/12). Let u(f) = -f - 3. Let l be u(d). Solve -5*c = -r + 6 + l, -r = -3*c - 3 for c.
-2
Let d = -9 - -30. Solve -3*n - 4*a + 7*a = -3, -d = 4*n + a for n.
-4
Let o = 16 + -22. Let k be (o/3 - -1) + 6. Solve 2*u = 7*u - w + 15, u - k*w = -3 for u.
-3
Let c = 40 - 36. Solve c*f - 3*m = -4*m - 20, -f = -5*m - 16 for f.
-4
Let t(w) = -w**3 + 3*w + 1. Let u be t(-2). Solve 5*g = 4*n + 18, 5*n - u*n - 2 = -3*g for g.
2
Let z = 9 - 7. Let d be (-3 - (z + 0))/(-1). Suppose 5*m = 6*m - d. Solve 5*o - 20 = 0, m*k + 0*o - 16 = o for k.
4
Suppose 2 - 10 = -2*y. Let z(f) = -f**3 - 4*f**2 + f + 3. Let m be z(-3). Let d = m - -14. Solve -8 = i - d*j + 2, 0 = -4*i + y*j - 24 for i.
-5
Let k(s) be the first derivative of s**2/2 + 6*s - 1. Let q be k(-7). Let j be (-4)/((q/6)/1). Solve h - p - 8 = 2*p, 0 = -h - 5*p - j for h.
-4
Suppose -o + 5*p = 2*o - 11, 5*p - 31 = -3*o. Let w = -2 + o. Solve -3*n + 4*z + 10 = 0, w*z = -5 - 15 for n.
-2
Let t be 3/9*(14 + -2). Solve -3*x - 5*k = -x - 18, k = t for x.
-1
Suppose 0 = -3*k + 4*k - 3. Suppose k*n + 4 = 16. Solve 4*l - 5 = -2*p + 9*l, 4 = n*l for p.
5
Suppose p = 9 + 1. Let i(w) = -w**3 + 9*w**2 + 9*w + 12. Let x be i(p). Solve -n - 6 = -2*l + 1, l - n - x = 0 for l.
5
Suppose 0 = 3*o - o - 4*p - 30, -2*p + 13 = 3*o. Let u(b) = b**2 + 4*b + 3. Let g be u(-3). Solve -2*s - 4*x = 14, -o = -g*s + 4*s + x for s.
-1
Suppose 4*h + 14 = -3*v, -4*v = h + 2 + 8. Let j be (0 - v)/(4/10). Let g = 8 - j. Solve -k - p + g = -2*k, 3*p + 1 = k for k.
-5
Let u be (11 - 10)*10/2. Suppose f = m - 2, 5*f + 4*m - 29 = 2*f. Solve 2*w + 5*t + 5 = 0, f*w - 2*w - u*t = -10 for w.
-5
Let w = 8 + -3. Let q = 22 + -17. Solve w*x - 3*j = 4, q*j + 1 = 2*x - 12 for x.
-1
Suppose 0 = 2*r - 0*r - 4. Solve -r*i = 2*v - 0*i, -3*i = -5*v - 16 for v.
-2
Suppose 0 = -x + 3*x. Let o be 4/4 + (x - -2). Suppose -6*y + 15 = -3*y. Solve -d + y = -3*j, o*d + 17 = -5*j - 10 for j.
-3
Suppose -5*p + 2*k + 19 = 0, 4*p - 4*k + 2 - 10 = 0. Let x = 9 + 5. Solve 2*q = 4*w - x, -p*w + 1 = -q - 12 for q.
-3
Suppose 7 - 2 = 5*a. Suppose k + a - 3 = 0. Solve -2*j - 4*c = c - 29, 0 = 3*j + k*c - 16 for j.
2
Suppose 0 = -3*k - 11 + 2. Let m be (-6)/(k*(-3)/(-6)). Let h be (-6)/(-4)*m/3. Solve -5*r = -o + 6, -4*r + h*r - o - 1 = 0 for r.
-1
Suppose -3*y + 3*s = -12, -5*y - s = 3*s - 2. Let z(b) = -8 - y*b + 3 + b. Let h be z(-7). Solve -4*u + c = -c - 4, -h*u + 14 = 5*c for u.
2
Let t(s) = -s + 1. Let i be t(3). Let f be 11/5 + i/10. Solve w - 3*b + 12 = 0, 36 - 5 = f*w + 5*b for w.
3
Let b(s) = -s**2 - 2*s - 2. Let n be b(-2). Let t = -3 - n. Let y be 0 + t - (6 + -10). Solve y*u = o - 6, 0 = -4*u - o - 2*o - 21 for u.
-3
Let f = -20 - -35. Let r = f - 12. Solve 3*b - v = -1, 4*b + r*v - 5*v = 0 for b.
-1
Suppose 3*t - 1 = -2*m + 10, -3*t + 4*m - 13 = 0. Let x = t - 0. Let c be (-20)/16*(-4)/x. Solve w - c*a - 1 = -3*a, w - 4*a - 1 = 0 for w.
1
Let f(c) = 2*c + 16. Let j be f(-7). Suppose 5*y - 27 + 2 = 0. Solve -d - y*o = 2, -j*o - o = -2*d - 4 for d.
-2
Let f be (7 - 7)*(-1)/(-1). Suppose f*q = q - 11. Solve 4*u - 5*i + 6 = 0, 2*u - 4*i + q = 5*u for u.
1
Let d be 5/2 - (-3)/6. Suppose 0 = -d*g + g. Let u(m) = m**2. Let w be u(g). Solve 9 = -3*i, -5*c + 4*i + 2 = -w*i for c.
-2
Suppose a + 3 = -4*o + 9, a - 4 = -3*o. Solve o*d = -3*w - 2, -d - 5 = -w + 1 for d.
-4
Suppose -5*p - 11 = -31. Suppose -p*m + 12 = 36. Let w = m + 8. Solve -3*y - d + 3 = 0, -4 = w*y - y + 2*d for y.
2
Let c = -6 - -11. Let t = 44 + -30. Let n(v) = -v + 6. Let p be n(3). Solve 0 = -2*m + p*w + w + t, -c*w = -m + 22 for m.
-3
Let g be 0 + -1 + (-6)/6. Let s be 1*(g + -1 - -5). Solve 3*m + s*n - 13 = 3*n, 0 = -m - 3*n + 11 for m.
5
Suppose 7*l = 4*l + 15. Solve -u - 3*u = 2*j - 4, 3*j = -l*u + 7 for j.
4
Let v = 2 + 22. Suppose 11*y - 65 = 6*y. Solve 4*q = 4*f + v, -3*f = q + q + y for q.
1
Suppose 3*g + 5 = 5*r, -10 = -5*r + 4*g - 2*g. Solve -v = -r*c + 12, -2*c - v + 3 = -c for c.
3
Suppose -z - 4*v - v + 16 = 0, 0 = 2*v - 8. Let i(b) = b**2 - 7. Let h be i(-4). Let a = z + h. Solve -4*t = 3*m + 27, 22 = -0*m - a*m + t for m.
-5
Let j(p) = -p + 2. Let z be j(12). Let t = z - -15. Solve 28 = 2*y + t*i, -2*y - 2*i - 12 = -7*i for y.
4
Suppose -3 = -9*c + 42. Solve c*k - 4*z + 20 = -z, 2*k - 18 = -4*z for k.
-1
Suppose 2*o = 2*n - 4*n, -3*n + 35 = -4*o. Let s(u) = -u + 4. Let q be s(n). Let j = 5 + q. Solve r - 3*z - j = -3*r, 0 = -3*z - 12 for r.
-2
Suppose -2*g = 3*g - 15. Let v(i) = i**3 - 4*i**2 + 5*i - 4. Let z be v(g). Solve k = -0*k + 3*d + 4, 2*d = z*k - 8 for k.
4
Let z be (4 - 2)*(-5)/(-2). Suppose -2*y - 13 = -z*s, 2*y = 5*s + y - 9. Solve 0 = -4*k + 3*v - 15, k = 5*v - 7 - s for k.
-3
Let r(v) = v**3 + 5*v**2 - 5. Let c be r(-5). Let m = c + 9. Suppose 15 = 4*w - 29. Solve 3*l - 3*s + 6 = 0, -5 = -5*l + m*s - w for l.
2
Let h(z) be the third derivative of -z**6/120 + 2*z**5/15 + z**4/12 - 11*z**3/6 - 4*z**2. Let g be h(8). Solve 5 = -g*a - c + 24, -7 = -a + 3*c for a.
4
Suppose t - 2 = j, -3*j + 3*t + t - 11 = 0. Solve 4*r + 0*g + j = g, 2*g = -4*r + 6 for r.
0
Suppose 0*o + 5*o = 15. Suppose 0*s - s - o*x = 1, 2*s = -5*x - 1. Solve -m = s*m - 3, k - 3*m - 2 = 0 for k.
5
Let p(m) = m**2 + m - 1. Let o be p(2). Solve 2*g + 10 = -4*w - 8, -o*w - 24 = 3*g for w.
-3
Suppose 4 = 3*a - 4*a, -z + 5*a = -22. Suppose -5*c + 2 = 2*f, -6*f + 3 = -3*f - 2*c. Suppose 0*h = -3*h + 54. Solve f = -5*g - d, 5*d = z + h for g.
-1
Suppose 3*c = -3*n + 3, -3 + 5 = 3*c + 4*n. Suppose 2*q = -8 + 2. Let x = c - q. Solve 5*k - 2*s - 4 = -16, x*k + 32 = -3*s for k.
-4
Suppose 4 = 6*l - 8. Solve 3*x - a + 13 = 0, -l*a = -6*a + 16 for x.
-3
Let x(j) = 29 - 12 - 12 + 10*j - 8. Let f be x(1). Solve -2*d + f*d = 4*r, 3*r - 5*d = 0 for r.
0
Let g be -3*(1 - 2)*3. Suppose 8 = -3*b + 17. Let m = 3 - 2. Solve j = -2*o - 7, -j - g = b*o - m for j.
-5
Let p(z) = 2*z - 3. Let o be p(5). Let f = 9 - o. Suppose -4*n + f + 2 = 0. Solve -1 = -q, -2*g = -g + 4*q + n for g.
-5
Let f be 38/10 + 2/10. Let d be (-2)/(-5) - 404/10. Let k = d - -58. Solve -4*w - 3*x = -14 - k, 0 = -f*w + 5*x for w.
5
Let y(j) = j**2 + 11*j. Let k be y(-11). Suppose k = 3*g - 6*g + 12. Suppose -5 = 3*p - g*p. Solve -h + 0*h = -l, 5*h + p*l = -30 for h.
-3
Let k(l) = -l**3 - 8*l**2 - 7*l + 4. Let p be k(-7). Suppose 2*v = -2*d + 4, 0 = v - p*v - 5*d + 4. Solve 0*j - 2*f = -v*j - 5, 5*j + f = -17 for j.
-3
Let b = 11 + -8. Solve -3*l - 2*a - 14 = 0, 0 = -4*l - a + b*a for l.
-2
Let y(w) = 7*w**3 + w**2 - 7*w + 14. Let d(s) = -4*s**3 + 4*s - 7. Let a(j) = -5*d(j) - 3*y(j). Let u be a(-4). Solve v - 4*v - 16 = -u*l, 2*l = 10 for v.
3
Suppose -2*m = 3*m - 25. Solve 2*f - m*n + 3*n - 18 = 0, -3*f + 3 = 3*n for f.
5
Let p be (-5 + 6)/((-2)/(-6)). Suppose 0 = -0*c - 4*c + 52. Suppose l = 3*v - c, -3*v + v + l + 10 = 0. Solve -2*f + p*s = 14, -3*f = s + v*s - 13 for f.
-1
Let t = -16 + 21. Let k = t - -1. Solve -4*q - 2*h = -12, -k*h + 9 = q - 4*h for q.
1
Let m(b) = -3*b + 11. Let l be m(7). Let j(y) = y + 21. Let p be j(l). Solve -p = -2*k + 5*q, 5*k - 15 + 5 = -5*q for k.
3
Let x(d) = 0*d + 3*d - 2*d - 4. Let g be x(7). Let i(s) = 14*s**3 + 2*s**2 - 2*s + 1. Let k be i(1). Solve g*t + 2*t - 5*c = 15, -4*c + k = 5*t for t.
3
Let x(d) = -d**3 + 9*d**2 - 5*d - 7. Let v be x(8). Suppose -y - v = -4*c, 3*y + 3*c - 12 = 4*y. Solve -4*j + y*z = 9, 5*j = 4*z + z - 10 for j.
-3
Suppose 0 = -7*b + 5*b + 26. Let y = 4 - 1. Suppose 4*j - 34 = -j + y*g, b = 2*j - g. Solve -a - j = 0, 11 = -z + 3*z - 3*a for z.
-2
Let b(z) = z**3 - 5*z**2 -