-7 + 3 - -4)/(-2). Solve u = 2*h + 6 for h.
-3
Let w(m) = -m**2 - 16*m + 23. Let x be w(-17). Solve -2*o + 12 = -x*o for o.
-3
Suppose 5*i + 0 - 8 = 2*x, -8 = 5*i + 2*x. Suppose i*s + c = s - 2, -3*s + 14 = c. Solve -4*o = -2*o + s for o.
-2
Suppose 0 = -2*g - 3*g + 5*h - 60, 0 = 3*g - 2*h + 31. Let x = g - -8. Let u be (3 - (0 - 0))/x. Solve -s - u + 7 = 0 for s.
4
Let m(s) = s + 10. Let z be m(-7). Let b(v) = -4 + 0 - 7*v**3 + v + 3 + v**2 + 14*v**z. Let p be b(1). Solve 5*o - 7 = p for o.
3
Let b(l) = -2*l - 2. Let j be b(-3). Suppose -j*w = w - 15. Solve -w*t = t - 4 for t.
1
Let f = 1 + -1. Let i(c) = c**3 - 1 + c**2 - 3 - 5*c**2 + 0 - c. Let t be i(5). Solve -4*x + t = -f*x for x.
4
Suppose 3*f = -2*j + 1 + 9, 2*j - 5*f = 10. Solve j*z = 2*z for z.
0
Suppose -a = -2*s - 3*a + 2, 5*a - 13 = -s. Let r be 0/(-2 - -3 - s). Solve -2*d + d = r for d.
0
Suppose 4 = -5*g + 5*x - 1, 0 = 2*g + 3*x - 23. Suppose -i + g = -0. Let l be 5/3 - (-1)/3. Solve -l*d - 6 = i for d.
-5
Let y(r) = -r**3 + 8*r**2 + 8*r + 13. Let x be y(9). Suppose -2*b + x = -0*b. Solve -3*g + b = -2*g for g.
2
Suppose j + 1 = -0*j. Let r = j + 3. Suppose -r*u = -1 - 3. Solve 3*x = -u*x for x.
0
Let m be (4 - 2)*9/(-6). Let o be 4*(-2)/(m - -1). Solve 0*t = o*t + 12 for t.
-3
Suppose 3*m = -2*f + f + 1, -2*m = -f - 4. Suppose -3*g + 2 = q + m, -6 = 4*g + 5*q. Solve -i + g + 3 = 0 for i.
4
Let g be (-2)/(-6)*(3 - 0). Solve -g - 5 = -3*m for m.
2
Let f(y) = 5*y + 8. Let n(i) = -6*i - 9. Let h(k) = 7*f(k) + 6*n(k). Let t be h(-2). Solve z - t*z = 12 for z.
-4
Let d(r) = -r**3 - 4*r**2 - r - 4. Let k be d(-4). Suppose 0*w - 2 = -w. Let l = w + k. Solve l*t + 6 = 4*t for t.
3
Let a be (1 + -1)/(1 - -1). Let s = 74 + -72. Solve -s*d + 5*d = a for d.
0
Let o(q) = q**3 + 5*q**2 + 3. Let a be o(-5). Suppose 0*f - f = 3*b - 17, -15 = -a*b. Solve -i - f = -4 for i.
2
Suppose 5*d - 21 = 4. Suppose 0 = -5*z - 11 - 14, 0 = -d*p - z + 35. Solve 0 = -4*b + 8*b - p for b.
2
Let o = -41 - -69. Suppose -2*z = 1 - 7. Let i(s) = 4*s + 1. Let b be i(1). Solve z = -b*m + o for m.
5
Let p = 0 - -2. Let f(r) = 0*r**p - 3 - r + r**2 + 2 + 2. Let u be f(2). Solve 3 + u = -2*l for l.
-3
Suppose 4 = 4*c + 2*k, -k + 1 = 3*c + k. Solve -2*n = c - 9 for n.
3
Let i be 16/7 - 4/14. Let w be ((-27)/(-18))/(1/i). Let p(a) = -a**2 + 4*a + 3. Let t be p(4). Solve 0 = t*o + 9 + w for o.
-4
Suppose 14 + 7 = u. Let n = -15 + u. Suppose 2*c - 14 = z - n*z, -4*z + 28 = 3*c. Solve -4*f = -f - c for f.
4
Let v(d) = -d - 12. Let a be v(-12). Solve c + 3*c = a for c.
0
Let g be (0 + 2)/(2/(-10)). Let u = g + 18. Solve -2*d = u + 2 for d.
-5
Let q(s) = 3*s - 15. Let t be q(6). Solve -11 = t*d + 1 for d.
-4
Let a be (-1 + 2)*-1*5. Let q(j) = -2*j - 7. Let i be q(a). Suppose 2*h + k = -4*k - 15, 0 = k + i. Solve h = 2*n + 8 + 2 for n.
-5
Suppose -m - 4 = 3*m - 2*o, -5*o = m - 10. Solve 0*f - f = m for f.
0
Suppose 4*l + 0 = -4*k - 8, 2*k + 3*l = -9. Let z be k/(-12) - (-17)/4. Suppose 0 = -z*a - 5*y + 27, 2*y = -5*a + 3*y + 41. Solve q = -q - a for q.
-4
Let u(o) = o + 6*o**2 - 3 - o**3 - 2 - 1. Let v be u(6). Solve 4*g + 20 = -v*g for g.
-5
Let o(b) = -b**3 + 5*b**2 + 2*b - 5. Let n be o(5). Solve -3*v = -n*v - 10 for v.
-5
Let u(z) = z**2 + 6*z + 5. Let q be u(-6). Let l = q + -3. Let b be (2 + -3 - -1)*1. Solve b = -d + l for d.
2
Suppose -y - 3*f = 2*y - 9, 10 = 2*y + f. Let a = 10 - y. Solve -m - a = -6 for m.
3
Let w = 2 + -7. Let m be w + 5 - 1*-2. Solve 2*u - 2 = m for u.
2
Let v(m) = m**3 - 16*m**2 + 5*m - 50. Let c be v(16). Solve 5*u + 5 - c = 0 for u.
5
Let z(r) = r**2 + 4*r - 2. Let g be z(-5). Let w be 0/g + (-6)/(-1). Solve 0 = -i + w*i for i.
0
Suppose -2*z + 21 = 3*k, -2*z - 3*z = -15. Solve -5 = -5*p + k for p.
2
Let m(g) = -g + 17. Let a(h) = -h + 16. Suppose 0 = 5*j - 4*j + 4. Let s(v) = j*m(v) + 5*a(v). Let u be s(9). Solve -3*f + 2*f - u = 0 for f.
-3
Suppose 5*y = -4*k + 33, 0 = 2*k + 3*k + 4*y - 30. Suppose 2*t - 22 = -5*d, k*d - 22 = d + 4*t. Suppose 6 + 2 = 4*h. Solve z = -h*z - d for z.
-2
Let a = -6 - -12. Let z = a + -6. Let o = 2 + z. Solve o*c = 4 + 2 for c.
3
Let r(w) = w**2 - 4*w - 2. Let z be r(5). Suppose -t = z*t. Solve -16 = -t*k - 4*k for k.
4
Suppose -t - 5*w - 5 = 0, 3*t - 5*t - 4*w = 10. Let x = -2 - t. Let u be (1 + -1)/x - -5. Solve -u*b = -4*b - 2 for b.
2
Let l be 1/((-2 - -1)/(-5)). Let j = -28 - -30. Solve -j*u + 15 = l for u.
5
Let l be (-14)/3*9/(-6). Suppose 3*d = 5*a - 35, -2*a + 4 + 9 = -d. Solve a - l = z for z.
-3
Let w be 1 - -10 - 2/2. Suppose 2*b - 20 = w. Solve 4*u + b = u for u.
-5
Let f = -30 - -46. Let c be 99/(-22)*f/(-6). Suppose 5*t - c = -3*k, 5*k = -2 + 22. Solve -3*v - 3 - 9 = t for v.
-4
Suppose h - 3*h + 12 = 0. Let q(l) = l**3 + 13*l**2 + 9. Let p be q(-13). Solve 0 = h*m - 3*m - p for m.
3
Let x(h) = h + 5. Let f be x(4). Suppose 0*s + s - f = 0. Solve -s = -2*w - w for w.
3
Let j(i) = i**2 + 2*i - 3. Let y be j(-3). Suppose y = -r + 2*r. Suppose -4*v + r*a = -2*a - 4, -v - a - 2 = 0. Solve v*m - 3*m = -3 for m.
1
Suppose -3 = -2*s + 13. Solve -s = l + l for l.
-4
Let y = -2 - -5. Let z = 4 - y. Let p be 1/(-1*z/(-2)). Solve 0*v + 6 = -p*v for v.
-3
Suppose -2*d = -7*d + 60. Solve d = -0*c - 3*c for c.
-4
Let k(y) = y**3 - 3*y + 2. Let j be k(2). Let v(c) = c**3 - 4. Let d be v(2). Suppose o + 1 = 6. Solve j*m - o*m + d = 0 for m.
4
Let c(q) = 2*q + 23. Let m be c(-10). Solve -m*u - 2*u + 15 = 0 for u.
3
Let n(l) = 3*l**2 - 2*l + 1. Let t be n(1). Suppose t*s - 32 + 7 = -5*q, -5*s = 3*q - 15. Solve s*j - j - 3 = 0 for j.
-3
Let b = 47 - 43. Solve -3*t + b*t = 0 for t.
0
Let m(p) = -p - 7. Suppose -43 = 5*h - 4*r - 0, 38 = -4*h + 5*r. Let j be m(h). Solve j = -u - 0 - 3 for u.
-3
Suppose -3 = 2*a + v, -11 = 3*a - 5*v - 0. Let u(m) = -10*m - 3. Let y be u(a). Solve -8 = 5*g + y for g.
-5
Suppose 5 = r - 3*z, 2*r - 4*z + 4 = 14. Let h be 3*2*(-2)/(-4). Suppose -h*f = r*n - 3, f = -5*n - f + 2. Solve -5*w = -n*w for w.
0
Suppose 0*j = -5*j + 25. Suppose j*x - x - 8 = 0. Suppose 8 = -0*d + x*d. Solve -q + 5*q - d = 0 for q.
1
Let t(f) = f**3 + 9*f**2 - 10*f + 11. Suppose 3*b - 2*m = -0*b - 24, 3*b + 27 = m. Let q be t(b). Suppose -3*c + 1 + q = 0. Solve c*l = -l - 25 for l.
-5
Let q be (-22)/33*3*1. Let o = 5 + q. Suppose 2*k + 5*v = 26, -2*k + v = -3 - 11. Solve -p + o = k for p.
-5
Let y be 0 + 0/(1/1). Suppose -3*q = 4*b, -4*b + 2*q + 8 = 3*q. Let d = y + b. Solve 0 = d*i + i - 8 for i.
2
Suppose 12*z - 234 = 9*z. Let n be (-2)/13 + 324/z. Solve n*w - 5*w = -3 for w.
3
Let q = 20 + -14. Solve 0 + q = -2*o for o.
-3
Suppose -3*q - 2 = -5*y + 1, 4*q + 3*y - 25 = 0. Solve 8 - 24 = -q*j for j.
4
Suppose 3*n = -4*j + 36, -4*j - j + 7 = -n. Solve -m - m + n = 0 for m.
4
Let x = -32 + 24. Let b = 13 + -5. Let i = x + b. Solve i = d - 0 - 3 for d.
3
Let o be (-3 - -1) + (-4)/(-2). Let r(f) = -2*f + 9. Let h be r(9). Let t be (-47)/h - 2/9. Solve t*c + 9 + 6 = o for c.
-3
Let v be ((-10)/(-4))/(3/12). Let b = v - 7. Let d(q) = -2*q - 5. Let i be d(-4). Solve -b*a = -3 - i for a.
2
Let m(j) = 7*j - 1. Let l be m(-1). Let s = -6 - l. Solve s*g - 1 = 7 for g.
4
Let a(b) = -b**3 + 17*b**2 - 11*b - 16. Let u(d) = 2*d**3 - 34*d**2 + 21*d + 31. Let w(m) = -9*a(m) - 4*u(m). Let q be w(16). Solve 2*x - q*x = -6 for x.
3
Let k(c) = -3*c + 2. Let t be k(2). Let s be (2 + -4)/(2/t). Suppose -4*j = 2*f - 12, -3*f - 9 = -3*j - 0*j. Solve 3*y + s - 19 = f for y.
5
Suppose 2*l - 12 = -4. Solve 3*b - 8 = l for b.
4
Suppose b = -4*b - 55. Let z = b - -13. Solve -z*i - 6 = i for i.
-2
Let k(z) be the third derivative of z**4/24 - 2*z**2. Let l be k(3). Solve -l*v + 0 = 15 for v.
-5
Let p(t) = 2*t**3 - 2*t**2 + t + 2. Let d be p(2). Solve y = 4*y + d for y.
-4
Let l(w) = w**3 - 9*w**2 + 9*w - 8. Let b be l(8). Let t be (b + 1)/((-2)/(-16)). Solve 0 = 3*j - j - t for j.
4
Let h(g) = -g**2 + 3*g. Let y be h(3). Solve -2 = r - y*r for r.
-2
Suppose -4*m - 9 = -45. Let j = 13 - m. Solve -j = -q - 0*q for q.
4
Let w(p) = -6*p**3 + 2*p + 1. Let y be (-2 + 2)*1 - 1. Let u be w(y). Suppose -1 = 4*k - u. Solve n + 6 = k for n.
-5
Suppose -4*m + g + 22 = 0, -4*g + 14 = 3*m - 2*m. Solve 12 = -m*p + 3*p for p.
-4
Let z(b) be the second derivative of b**4/12 - 2*b. Let q be z(2). Solve -q*w = w