pose 3*h = 5*d - 7, 7*h + 2 = 3*d + 3*h. Suppose 4*u - 5 - 11 = -2*s, d*u + 12 = 4*s. Suppose s*a = 2*b, 1 + 6 = 5*a + b. Solve -w + 0 = a for w.
-1
Let c(k) = k**2 - 3*k + 2. Let q be c(4). Let x = -27 - -30. Solve -q + 3 = -x*t for t.
1
Let o(q) = 6*q - 4. Let x be o(5). Let l = -18 + x. Let g be (-141)/(-21) - l/(-28). Solve 0 = 3*h + g + 5 for h.
-4
Suppose -4*j + 44 = -d, -3*j + 4*d = -4*j - 6. Solve 4*v + j = -6 for v.
-4
Let z be (-74)/37 + (1/(-1) - -5). Solve -z*p + 3*p = 3 for p.
3
Let u(z) = z**2 + 5*z + 4. Let l be u(-5). Suppose f + 2 = l. Solve -3*h + 5*h = -f for h.
-1
Let f(z) = 5*z**3 - 2*z**2 + z. Suppose -5*a + 4*w + 0*w + 21 = 0, -a - 19 = 5*w. Let m be f(a). Solve -m*j - 4 - 4 = 0 for j.
-2
Let i(a) = a**3 + 5*a**2 + 2*a - 4. Let g(s) = -s + 3. Let d be g(-9). Let z be (-1 - -5)*d/(-16). Let b be i(z). Solve -7*j + 3*j - b = 0 for j.
-2
Suppose 2*z - 5*c = 3, -5*c + 7 + 17 = z. Let d be (-2 + 3)/(3/z). Solve 9 = d*s - 6 for s.
5
Suppose 2*k - 14 = -2*q, -3*k + k + 2 = -4*q. Solve 7 + 13 = k*m for m.
4
Suppose 0 = -5*b - 2*l - 0*l + 44, -b - 2 = 4*l. Let o be 3/(1 + (0 - 0)). Suppose -4*x + o*q + 0*q + 20 = 0, x - 4*q = 18. Solve 3*m = -x*m + b for m.
2
Let w = -15 + 16. Let r be (6/4)/((-3)/(-4)). Solve r*j = -3 - w for j.
-2
Let n(u) = u - 3. Let j be n(6). Suppose -4*l = -9*l. Solve l = -w + 8 - j for w.
5
Suppose 1 + 0 = r. Let q be (-4)/(-16) - (-50)/(-8). Let p = 11 + q. Solve -6 + r = -p*z for z.
1
Let i = -3 - -3. Let g be -3 + (3 - 5) - -6. Solve a + 4 - g = i for a.
-3
Suppose 2*l - z = -0*z + 1, -4*l + 3*z = -3. Solve l = -2*q - 2*q + 4 for q.
1
Let m(w) = -w**3 - 9*w**2 + 2*w + 20. Let h be m(-9). Solve -h*v = v for v.
0
Let k be (-35)/(-25) - (-2)/(-5). Suppose -b + 1 = -k. Solve -4*n + 2*n = b for n.
-1
Suppose -1 = -2*h + 3. Let y(i) = 7*i - 3. Let f be y(h). Solve 5*o + 14 = -f for o.
-5
Let l be -4*(-2)/((-4)/(-2)). Let d be 4/(-6)*(-10 + l). Solve 0 = -d*o - 8 - 4 for o.
-3
Let v(f) = f**3 - 4*f**2 - 5*f + 2. Let w be v(5). Let r = w - 2. Solve -4*x + 12 - 4 = r for x.
2
Let g(z) = -z**3 + 3*z**2 - 3. Let o be g(2). Solve 2*k = 1 + o for k.
1
Let x be 10/(-15) + (-69)/(-9). Solve -2*m - x + 1 = 0 for m.
-3
Let m(j) = j**3 - 5*j**2 + 4*j + 5. Let i be m(4). Solve i*k + 5 + 10 = 0 for k.
-3
Let z = -2 + -2. Let f be -2 - z/(3 - 2). Solve 0 = 3*u - f*u for u.
0
Let b(i) = -i - 8. Let u(n) = -n - 4. Let x(f) = -3*b(f) + 5*u(f). Let p be x(-4). Suppose -4*m = 2*c - 5 - 5, -c + 5 = m. Solve -2*s - p = -c*s for s.
4
Let u be (-20)/15*(-18)/4. Let g = 8 - u. Solve -6*q + g*q - 12 = 0 for q.
-3
Let k be (5 + -1)*(8 - 4). Let o = -1 + k. Solve -p + o = -6*p for p.
-3
Let y = -74 - -84. Solve 0 = 2*c - 0*c - y for c.
5
Suppose -5*q + 0 = -5. Solve -3*c = -5 - q for c.
2
Let y be -1*16/(-7 - -3). Solve -y = 4*j + 4 for j.
-2
Let z(n) = n**2 - 5*n. Let t be z(6). Let i = -1 + 15. Suppose 0 = 3*f - i - 4. Solve -4*y + f = -t*y for y.
-3
Let r(a) = a - 57 + 16 - 31. Let n be r(0). Let v be 2/3*n/(-3). Solve -5*t - v = -6 for t.
-2
Let w = -82 + 89. Solve -w = -y - 4 for y.
3
Suppose -2*a = a - 6. Let s be (-2 + a)/(-2 + 1). Suppose 5*u - 3*q - 7 - 6 = s, 0 = 5*q + 5. Solve -v - 3 = u for v.
-5
Let y(n) = -n**3 + 5*n - 2. Let w be y(2). Solve 5*v + 25 = -w for v.
-5
Let v be 1 + 11 + (-14 - -10). Solve -2*i + 0*i = -v for i.
4
Let y(d) = d**3 - 6*d**2 + d - 4. Let s be y(6). Solve s*w = -w - 6 for w.
-2
Let m(i) = i**2 - 2*i + 2. Let n be m(0). Solve -4*y = -n*y + 2 for y.
-1
Suppose -3*p - p = -16. Suppose 4*z - p = 4. Suppose j + z*j + 2*t = 4, 3*j - 2*t = -4. Solve j = b + 1 + 3 for b.
-4
Suppose 0 = 8*n - 34*n + 312. Let d be 11/4 - 2/(-8). Solve -n = k + d*k for k.
-3
Let o be 0*(-3)/(-12)*4. Suppose -q + x - 4 = o, 0*x = -4*q + x - 4. Solve -h - 5 + q = 0 for h.
-5
Let m(l) = -l**3 - 6*l**2 - 2*l - 8. Let h be m(-6). Let u be -2*6/h + 6. Solve -s + u*s = -2 for s.
-1
Suppose 4*q + 9 = -4*h + q, -4*h - 6 = 2*q. Let x be 7/9 - (-6)/27. Let w be (0*(-1)/(-3))/x. Solve 2*l + h*l = w for l.
0
Let c(s) = -3*s**2 - 22*s - 3. Let l be c(-7). Solve -p + 3 = l for p.
-1
Suppose -3*w + 4*m + 10 = 0, w + 2*m = -0*m. Solve -3*c + w + 7 = 0 for c.
3
Suppose 4*c + 3*c - 14 = 0. Solve c*k = k + 3 for k.
3
Suppose 0 = 5*c + 5, 0 = -m + 2*c + 2*c + 10. Let w = m + 1. Let s(g) = g - 7. Let u be s(w). Solve -l - 6 + 1 = u for l.
-5
Let q = -88 + 96. Solve 0 = -5*d + 12 + q for d.
4
Suppose -5*h + 41 = 1. Let m be ((-6)/(-4))/((-3)/452). Let u be 2/(-8) - m/h. Solve 5*t = -u + 8 for t.
-4
Let t = -33 + 35. Solve -t*m = m for m.
0
Let m(k) = -k - 5. Suppose -j - 3*j + 2 = 2*s, 15 = 3*j. Let h be m(s). Solve h*o - 4 = 4 for o.
2
Let n(h) = -h**2 - 5*h + 4. Let w be n(-6). Let x be 14/4 + w/4. Solve x*l - 5 = 10 for l.
5
Suppose 6 = 2*w + w. Suppose -z + 0 = -w. Suppose -5*q = -13 - 7. Solve 0*m = -z*m + q for m.
2
Suppose 4*u - 2*u + 4*n - 14 = 0, -n = 2*u - 8. Suppose 0 = u*o - 12 - 36. Let x(k) = -k**3 + 6*k**2 - 4*k - 1. Let p be x(5). Solve 4*y - o = -p for y.
3
Let a be (-33)/(-12) - 2/(-8). Solve 0 = 4*k - a - 5 for k.
2
Suppose -5*h - 10 = -40. Let a be (-3)/(-2) + (-3)/(-6). Solve h + 4 = a*t for t.
5
Suppose -4*p + 27 - 11 = 2*v, -p + 14 = 3*v. Solve v*z + 0 = 4 for z.
1
Suppose 4*k - k + 2*r - 17 = 0, -5*k - 5 = -5*r. Suppose k*f + 9 = 0, 4*d + f + 35 = 8. Let g be -1 + (-4)/d*3. Solve g = 5*s - 4 for s.
1
Let p = 25 - 18. Let y(t) = t**3 + 8*t**2 - 10*t - 7. Let v be y(-9). Solve -g - v + p = 0 for g.
5
Let d(y) = y**2 - 3. Let o = -1 - -4. Let h be d(o). Let r be (-3)/h + 2/4. Solve r*v = -2*v for v.
0
Suppose d - 6 = -2*d. Suppose 65 = d*l + 9. Suppose 0 = 3*r - 4*o - l, -3*r + 0*r + 32 = -5*o. Solve r*v = -v for v.
0
Suppose 2*i + 2*w = -3*i - 22, -i - 1 = -3*w. Let a be (i/(-3))/(6/9). Suppose q - 5*t = 4*q + 5, a*q + 2 = -2*t. Solve -3 = -b - q*b for b.
3
Suppose 2*n + 3*x = -x - 8, 0 = -2*x - 6. Suppose -2*z - 5*q = -16, -3*z + 0*z = 2*q - 13. Solve 0 = 5*i + z + n for i.
-1
Let c = -2 + 11. Let l = 1 + 0. Let r = c + l. Solve 3*y + 2*y + r = 0 for y.
-2
Suppose 4*h = -3*z - 3, 9*z - 7*z - 3*h = 15. Solve y + 5 = z for y.
-2
Let v be 2 - 4 - 3/(-1). Let b be (2/3)/(v/6). Solve -2*h = -b*h - 10 for h.
-5
Let o = 17 - 14. Solve 6*x - o*x + 9 = 0 for x.
-3
Suppose 3*o + 2 = 8. Suppose -4*t + o*t = 0. Let z = 1 + 2. Solve -z*w - w = t for w.
0
Suppose 2 = -w + 5. Let m = -31 - -38. Solve w - m = 2*r for r.
-2
Let v = 22 - 35. Let g = v - -16. Solve 6 = g*t - 6 for t.
4
Suppose -2*f + 0*z = 2*z + 12, -5*f + 10 = -5*z. Let w be (-6*(8 + -3))/f. Solve -4*p = -p - w for p.
5
Let d(c) = 2*c**2 + 2*c + 1. Let p be d(-1). Solve -3*j + 8 = -p for j.
3
Let s = 11 - 5. Let i be 4/s*(-36)/(-8). Suppose 0*y - 2*y + 39 = 5*d, -2*d - i*y = -9. Solve -h - 2*h + d = 0 for h.
3
Suppose -k = -5*y - 47, 2*y - 2*k + 4*k = -14. Let o = y + 11. Let t be o/6 - 14/(-3). Solve -7 = -t*l + 8 for l.
3
Suppose 6*t = -t. Let j = 5 - t. Solve 4*y - j*y = 2 for y.
-2
Let x(m) = 2*m - 18. Let c be x(14). Suppose 9*l - 4*l = c. Solve l*f + 7 = 3 for f.
-2
Let i be 4/1 + (1 - 3). Suppose 4*k = 2*m + 1 + 7, -5*k + 12 = -i*m. Solve 0 = m*b - 5*b for b.
0
Suppose 3 = 5*f + 4*q, 3*q + 18 = 2*f + f. Let r be 4/14 - ((-33)/7 - 0). Solve -f*p + 20 - r = 0 for p.
5
Let j(o) = 4*o**2 - 2*o + 2. Let w be j(2). Solve 0 = -5*f - w + 4 for f.
-2
Let j = -14 + 14. Solve j*s = 4*s - 20 for s.
5
Let w(t) be the first derivative of t**4/4 - 5*t**3/3 + 3*t**2 - 8*t + 2. Let n be w(4). Solve 4*l + n*l = -4 for l.
-1
Suppose o + 18 = -5*f, -3*f = 7 + 5. Suppose -5*u = -j - 13, 0 = -j + 3 - 6. Solve 0 = -o*h + u + 6 for h.
4
Suppose 4*i + 69 = -s, 3*s + 282 = -0*s + 3*i. Let k = -34 - s. Suppose -5*l + k = -45. Solve -y = 3*y - l for y.
5
Suppose 5*k = k. Let s = 2 - 0. Let a = k + s. Solve -a*d = -0*d for d.
0
Let h(d) be the second derivative of -d**4/12 + 2*d**3/3 + d**2 - 7*d. Let m be h(4). Solve v + 0 = m for v.
2
Let p = -4 + 19. Suppose 4*o + 8 + 8 = -b, b + 20 = -5*o. Suppose b = g - 2*g. Solve -7*u + 2*u - p = g for u.
-3
Let j(w) = -w**2 + 5*w - 3. Let v be j(3). Let l = 47 + -38. Solve -l = -v*z - 0 for z.
3
Let k(h) be the second derivative of -h**3/2 - h**2 + 2*h. Let g be k(-2). Let q(l) = l**3 - 4*l**2 + 4*l + 4. Let u be q(g). Solve 3*b = -b + u for b.
5
Let