h, -k = -2*h + 15 - 2 for k.
-5
Let g be (4/5)/((-7)/35). Let f be 10/(-14) - g/(-14). Let y = 4 - f. Solve 0 = 2*w - 6, -2*m - 2*w = y - 1 for m.
-5
Let p = -9 + 12. Solve 2*j = -p*m - 2 - 8, 0 = 3*j - 5*m - 23 for j.
1
Let i = -3 + 8. Suppose 3 = s + 4*p - 0, -2*s + i*p - 33 = 0. Let d = s - -37. Solve -3*w = -3*c - 0*w, -4*c = 3*w + d for c.
-4
Suppose 2*n - 14 = -0*n. Solve -8 = 2*l + 2*h, -4*l + 5*h - n = -0*l for l.
-3
Suppose r - 3 + 18 = 4*c, 0 = 3*c + r - 6. Suppose 3*p + 1 = 4*q - 23, 4*q = -c*p. Solve 0 = -q*k - 3*s - 2 + 8, s = 3*k - 6 for k.
2
Let f be (3/(-6))/(1/(-10)) - 2. Let k = 17 + -11. Let w(d) = d**3 - 7*d**2 + 8*d - 9. Let r be w(k). Solve -z - 2*o = -7, -21 = -8*z + f*z - r*o for z.
3
Let q be (2 - 0) + 2 + -3. Let j = q + 4. Solve -u = u - 3*n + j, -2*n + 3 = -u for u.
-1
Let p be (-2)/(-9) + (-129)/(-27). Suppose 2*i = 6, -p*i = 2*o - 12 - 9. Suppose -o*z + 2*z = -5. Solve -j = 4*j - z*b - 10, 3*b + 30 = -5*j for j.
-3
Let t(a) = a**2 - a + 2. Let j be t(2). Solve -2*z - 10 = -6*z + n, j = -2*n for z.
2
Suppose 2*g = 4*d - 32, -32 = -4*d - 2*g - 2*g. Suppose -h + d = 6. Solve 5*r - 2*i = -16, -h*r - 3*i = -3 - 2 for r.
-2
Let k = -83 + 83. Solve 0 = 2*h - k*h + 6, 0 = 2*j + 5*h + 21 for j.
-3
Suppose -2*r = -8 + 28. Let p be ((-12)/r - 2)*-5. Solve -b = 2*m + 1, 4 = -p*m - 5*b - 7 for m.
1
Let l = -13 + 8. Let g be (-3)/15 + (-21)/l. Let o(s) = s**2 - 1. Let j be o(-2). Solve 0 = -3*x + x - j*z + 17, g*x - z = -1 for x.
1
Suppose 20 = 4*r - 2*r. Let p be ((-24)/15)/((-2)/r). Suppose 4*h - 2*h - 14 = -t, 2*h - 22 = -3*t. Solve 0 = 2*a - 4*k - p, -4*k + 5 = h*a - 1 for a.
2
Let c be (-5)/25 - (-21)/5. Solve y = 2*d + c - 6, 0 = 5*y + 20 for d.
-1
Let v = -2 + 1. Let r = -1 + v. Let z = r + 22. Solve -5*p - 5 = -h, p + z + 7 = -5*h for h.
-5
Let j be 0 - (1 - -2)/(-1). Suppose -g - j*a + 6 = -0*a, g - 7 = -4*a. Solve -g*n + 5*n = 2, 4*f + n + 7 = 0 for f.
-2
Suppose -3*q = -n - 3, 5*q - 1 + 10 = -3*n. Let z(i) = -i**2 - 6*i + 3. Suppose -10 = a - 4. Let r be z(a). Solve 2*s = -r*h + 2, 4*h + q*h + 28 = 5*s for s.
4
Let v(j) = -2*j**2 + 6*j + 2. Let a be v(3). Solve 0 = -4*x - b + 3, x - 13 = a*x + 3*b for x.
2
Let x(u) = 3*u - 10. Let r be x(4). Solve 2*s - 5*s - 2*c - 16 = 0, -r*s = 3*c + 19 for s.
-2
Let s = 34 - 32. Solve 0 = -5*f + 25, -4*f = 2*m - s*f for m.
-5
Let n be (10/(-15))/(1 - (-14)/(-12)). Solve 2*j + 4*r + 6 = 0, n*j + 9 = -r - 10 for j.
-5
Let o(k) = -3*k - 1. Let i be o(-2). Suppose d - 2*t = -5, 4*d - 14 = 5*d - i*t. Solve 2*g + 4 + d = -w, 5*w + 25 = -g for g.
0
Let s be 4 + 2 + -2*13. Let b = s + 23. Solve 5*i = -b*o + 2, -5*i = 3*o + 2*o for i.
1
Suppose 0 = 2*k - 3*b - 5 - 19, 2*b + 14 = k. Suppose -2*i = 2*i. Suppose 4*y + 0*y - 8 = i, 5*y = 5*z + 10. Solve 3*v = -t + 6, z = -v - t + k*t - 14 for v.
1
Let s = 31 + -25. Solve t - s = k, -k + 6 = 5*t - 0*k for t.
2
Let w(m) = -m**2 + 7*m - 5. Let x be w(6). Let r(p) = p**2 - 11*p - 9. Let v be r(12). Solve -4*f = -4*a + 12, v*f = a - 2*a - x for f.
-1
Let h be 2/(3/2 + -1). Suppose h*c = 3*b + 1, 7 = 2*b + 2*b + 3*c. Suppose 5*l + 5*k = 15, 6*l - 2*l - 7 = k. Solve -4*n + 5 = -3*z, l*n = -2*z + 5 + b for z.
1
Let c = 8 - 0. Let l = 10 + c. Let r be (-3 + l)*1/3. Solve -4*i = w + w - 4, 12 = r*i - w for i.
2
Suppose -5*j + 4 = -11. Let s = 6 - j. Solve 5*t + d - 7 = -21, s*d + 12 = 0 for t.
-2
Let k = 7 - 2. Suppose -3*z + 24 = k*n, -z + 5*z = 3*n + 3. Suppose n = -3*o + 6. Solve 2*w - p = o + 2, -5*p = -3*w + 1 for w.
2
Let u(h) = h**2 - 4*h + 3. Let c(f) = -f**2 + 5*f - 2. Let s be (2 + 1 + -5)*-1. Let d be c(s). Let a be u(d). Solve a*r = -r - y - 16, -4 = y for r.
-3
Let f be -8*-2*(-1)/(-4). Suppose -f*m + 4 = -4. Solve z - 5 = -4*z - 4*y, m*z - 2*y - 2 = 0 for z.
1
Let r = 29 - 26. Solve r*k + 4 = -f - 0, -4*f = k + 5 for k.
-1
Let n be (-58)/(-8) - 2/8. Let p be n - 2/2 - 1. Let q = -49 - -51. Solve -p*s - 5 = -q*h, -3*h = -3*s - s - 11 for s.
1
Suppose -16 - 4 = -5*j. Solve -2*f + 0 = -8, -2*b + j*f = 12 for b.
2
Suppose -5*n + 1 = 4*u, 4*u + 0*n - 19 = n. Solve -u*t + t + 2*m = 20, 0 = 2*m - 8 for t.
-4
Let v(h) = 2*h. Let w be v(6). Let r = w + -9. Solve x + 2*y - 12 = 0, 8*x - r*x - 15 = -y for x.
2
Let i = -5 - -3. Let a be -5*(i - 16/(-10)). Suppose k + a = 5. Solve 4*p + w - 13 = -4*w, -4*p + k*w = 27 for p.
-3
Let v be (4/14)/(5/70). Solve -20 = 5*w - b, -5*b = -v*w + w - 34 for w.
-3
Let x(i) = -i - 2. Let c be x(-7). Let s = -3 + c. Solve m - s*b + 1 = 0, -b = 4*m + b - 26 for m.
5
Let u = 0 + 0. Solve 0*c + 4*c - 5*b + 12 = u, 5*c + 15 = 2*b for c.
-3
Suppose -2*a + 65 = 3*c, 5*a + 9*c = 4*c + 150. Solve -t + 8 - a = 5*m, t - 10 = 4*m for t.
-2
Suppose -7 = 4*q + 1. Let s be (-130)/(-35) + q/(-7). Solve 2*a + 3*r = s*r - 6, -4*r = -3*a - 9 for a.
-3
Let o = 14 + -8. Suppose 3*s + 0*s - o = 0. Solve -5*p + 5 = -l, 40 = s*p + 5*l + 11 for p.
2
Suppose u - 4*d + 18 - 3 = 0, 0 = 3*u + 3*d. Let m be 0/(2 + u - 0). Solve 0 = 2*g + 4*r - 3*r - 12, m = r - 2 for g.
5
Let p = 27 - 24. Let m be 4/14 - (-234)/14. Solve -3*z + v = 17, p*v - m = -2*z - 2*v for z.
-4
Let p = 8 + -4. Solve -4 = p*b, 3*b = a + 2*b - 6 for a.
5
Suppose 3 = 3*d - 9. Suppose -4*r = -16 + d. Solve -4*u + 7 = -2*l - 11, 23 = 4*u + r*l for u.
5
Let y be (-3)/(-3)*(1 + 0). Let c(d) = 4*d - 1. Let a be c(y). Solve -2*p - a*h + 5 = -3, -12 = 2*p - 2*h for p.
-2
Let h = 19 + -17. Solve 3*a + 5*g = -5, 3*a - 28 = -a + h*g for a.
5
Let u(a) = -a**3 - 6*a**2 - 2*a - 9. Let d be u(-6). Solve b + 4*b = 5*l + 50, 3*b = -d*l for b.
5
Let b be (-4)/7*(-8 - -1). Solve -2*h + 5*h = 15, -3*w = b*h - 29 for w.
3
Suppose -4*h = 5*c - 6, 10 = 4*h + c - 4. Let t(u) = u - 10. Let m be t(6). Let z be (-6)/m*2/3. Solve 0 = 4*l + 4*f - h, 4*l + z = 4*f - 3 for l.
0
Let g = 16 + -11. Suppose 0 = -4*l + 4*h + 84, -3*l + 59 = -2*h - g. Solve -4*u = r + l, -3*r - 1 = -2*u - 5 for u.
-5
Let p(d) = -5*d - 8. Let m be p(-2). Solve 0 = x + 4*k + 12, -m*k - 24 = 6*x - x for x.
-4
Suppose 61*l - 56*l - 10 = 0. Solve 2*j = -l*j - 12, -1 = -4*t + 3*j for t.
-2
Let l(o) = -3*o**2 - 2*o - 1. Let b be l(-2). Let t = b + 12. Solve -3*p + 3 = -3*i, -8 = -5*p + 3*i + t for p.
4
Suppose 5*u - 56 = -4*s - 1, u = -3*s + 44. Let y = -11 + s. Solve 0 = 4*c - y, 0*g + 4*g + 9 = 5*c for g.
-1
Let s(v) = v - 8. Let k be s(8). Suppose k = 2*g - 4, -w + g = -g. Solve -f = -2, w*a - 2*a - 16 = -5*f for a.
3
Suppose 2*r + 6 = 5*r. Solve 5*i + 10 = 5*q, -5*q + r + 5 = -2*i for q.
1
Suppose 2*y + 2*r - 14 = 0, 0 = -3*r - r + 20. Solve -7 = -z - 2*x, -4*z - y*x + 7*x - 11 = 0 for z.
1
Let g be (-27)/(-18) - (-1 - 6/4). Let w be ((-3)/2 - -2)*10. Solve 4*o = -w*v - 21, 5*o + 4 = -g*v - 11 for o.
1
Let m(l) = l**2 - 3*l - 7. Let t be m(5). Let w = 4 - 2. Solve t*n = -q + 2, 5*n - w*q - 3*q - 10 = 0 for n.
1
Let i(w) = -2*w**2 - 23*w - 15. Let s be i(-10). Solve 0 = f - 2*q - 3*q - s, 4 = -q for f.
-5
Suppose s - 12 + 4 = -z, -s - 7 = -4*z. Suppose -3*m - 9 = -3*d, -4*m + m = -5*d + 7. Let n be 5*(0 + d)/(-1). Solve -r = -j + n, z*r = 2*j - r - 20 for j.
0
Let v(n) be the first derivative of n**2/2 + 2*n + 2. Let a be v(2). Solve 0 = a*w - 3*u - 4, -2*w - 12 = 2*u - 0 for w.
-2
Let q(o) = -2*o - 1. Let n be q(-5). Let i = -28 - -41. Solve 6*u = -3*c + 2*u - n, -3*u = -4*c + i for c.
1
Let b be 24/(-20)*10/(-4). Solve 0 = 3*q - 6, -23 = -3*n - b*q - 2 for n.
5
Suppose 3*r - 4 = 2. Solve 8 = -r*o + 2*f, f + 16 = 2*o - 5*o for o.
-5
Suppose c - 24 = -2*c. Let k(q) = 3*q - 5. Let w(x) = -8*x + 15. Let v(n) = 11*k(n) + 4*w(n). Let r be v(-5). Solve -5*u + 2*u = -6, -4*h - 4*u - c = r for h.
-4
Suppose -3 - 7 = -5*r. Solve 6*z - 2*z = q - r, 6 = 3*q - 2*z for q.
2
Suppose 2*u - 8 = -4. Solve -3*x + 11 - 2 = -u*d, 2*d = 2*x - 8 for d.
-3
Let x(c) = 6*c**3 - 2*c**2 + c. Let l be x(1). Let o = 9 - 5. Suppose o*j - 8*j - 24 = -4*z, 0 = -4*j - 16. Solve -z*w = 4*q - 8, 3*q - 3*w - 4 = l*q for q.
4
Let x = 18 - 14. Let s(d) be the second derivative of d**3/6 + d. Let w be s(x). Solve 3*z + 3 = w*b, -b + 6*b - 3 = 3*z for b.
0
Let u be 5/(20/12) + 1. Solve 0 = -0*n - 5*n - u*z + 25, -z + 25 = 5*n for n.
5
Suppose z - 20 = -4*z. Suppose -3 = -3*w - 2*c, 5*w - 2*w = 5*c + 24. Solve 5*x - 28 = 3*d, d + w + 18 = z*x for d.
-1
Let t(x) = -8*