olve z = h - 3 for h.
3
Let y = 43 - 30. Let z be (-32)/(-6) - (-3)/(-9). Suppose -2*x + z*x = 6. Solve -5*b + y = -x for b.
3
Suppose 9 = 3*h - 0*h. Solve -h = -3*d - 15 for d.
-4
Suppose 8*p - 72 = 11*p. Let w be 320/p*(-6)/4. Solve -4*o = o + w for o.
-4
Suppose q + 49 - 57 = 0. Solve -q = b - 3 for b.
-5
Let x(v) = v**3 - v**2 - v + 4. Let u be x(0). Solve 0 = u*d - 9*d - 5 for d.
-1
Let a(i) = i**2 + 9*i + 9. Let b be a(-8). Solve -7 - b = 4*o for o.
-2
Suppose 5*s = 16 - 6. Solve s*r = -r for r.
0
Suppose 4*q = -4, -3*w + q - 103 + 32 = 0. Let x be (-20)/w + 3/18. Solve -2*k + x = 9 for k.
-4
Let m(r) = 2*r**2 + 2*r - 1. Let f be m(1). Solve 0 = c - 4*c - f for c.
-1
Let x(f) = 2*f**2 + 4*f**2 + f**3 - 5 - f**2 + 2*f. Let o be x(-4). Suppose -3 = -o*d + 3. Solve h = 2*h - d for h.
2
Suppose -u + 21 = 9*t - 4*t, 1 = -3*t - 4*u. Solve t*n + 11 - 1 = 0 for n.
-2
Let r(d) = -2*d + 16. Let c be r(5). Solve -5*b = -c - 4 for b.
2
Let r(l) = l + 9. Let j be r(-3). Solve -6 = -3*n + j*n for n.
-2
Let n(y) = -y**2 + 9*y - 6. Let v be n(8). Suppose -v*q + 20 = 3*q. Solve 4 - 12 = -q*p for p.
2
Suppose 47*p - 1 = 46*p. Solve -p = -4*u + 3 for u.
1
Suppose -23 + 7 = -2*q. Solve -l = l + q for l.
-4
Let g be 7/(-5) + 1 - 10/(-25). Solve g*x - 3 = x for x.
-3
Let x be -7*(-4 + -1 + 96/21). Let z = -2 + 2. Solve 0 = -z*u + u - x for u.
3
Let v(f) = f + 8. Let w be v(-5). Suppose 9 - 3 = w*c. Let m = c + 0. Solve 0 = 3*p + m*p - 10 for p.
2
Let v be 28/(-35) - (-38)/10. Suppose 0 = k + 4*k - 10. Solve -v*p = k*p - 10 for p.
2
Suppose -9*m + 11 + 16 = 0. Solve 0 = -4*k + k + m for k.
1
Let u = 13 - 8. Solve x - u*x = -4 for x.
1
Let c = -17 - -19. Solve 0 = x - c*x + 3 for x.
3
Let q = -14 + 19. Let h = -2 + q. Solve 8 = -h*k - k for k.
-2
Let u be (-6)/2 - 39/(-3). Let o(i) = -i - 3. Let p be o(-3). Suppose l + p*b = 4*b - 6, -2*l + 5*b - 6 = 0. Solve u = -4*d + l*d for d.
-5
Let x(h) be the third derivative of -7*h**4/8 - h**3/6 + h**2. Let i be x(1). Let l be i/(2/(-4 + 2)). Solve 5*o = 3 + l for o.
5
Let x(i) = 4*i**2 + 8 - i + 0*i**2 - i**3 - 7*i**2. Let m(h) = 1. Let b(r) = -6*m(r) + x(r). Let l be b(-2). Solve 3*o + 14 + 1 = l for o.
-5
Let o = 7 - -13. Let k(x) = -5*x**3 + x**2 - x - 1. Suppose -5 = 5*s, 5*s + 7 + 2 = -4*g. Let v be k(g). Solve -d + v*d = o for d.
4
Suppose c - 2 + 0 = 0. Let r(t) = -t**2 + 6*t + 192. Let f be r(-11). Solve -c*l = -f*l for l.
0
Let n be 76/(-18) - 4/(-18). Let p = -1 - n. Solve p*r = -2*r - 20 for r.
-4
Let g be -2 - (-6*1 + 2). Suppose -z + 2*w = -1, 3*z + 5*w - 14 = -0*w. Solve g*b - z = 7 for b.
5
Suppose 3*f - 10 = -4*o, -3*f + 23 = -3*o - 1. Suppose -m + 4*m = f. Let j = m - 0. Solve -j*h - 3 = 7 for h.
-5
Let v = 10 - -2. Solve 8 = 5*p - v for p.
4
Let z = -2 - -6. Suppose o = -3*l - 8 + 19, 2*l = -4*o + z. Solve -l*r = -r for r.
0
Let s(j) = j**3 + 5*j**2 - 2. Let u be s(-4). Suppose -2*t = q - u, 0 = 5*t - 33 + 13. Solve 0 = k + 2*k + q for k.
-2
Let a be (3 - 0) + 0/(-2). Let d be (a/3 - 2) + 3. Solve -t + d*t = 3 for t.
3
Let o(c) = c - 9. Suppose 3*l - 25 - 20 = 0. Let x be o(l). Solve -5*d = -x*d + 5 for d.
5
Let a(z) = z + 7. Let x be a(-7). Solve -j + x = -3 for j.
3
Suppose 2 = 2*w, 6*k - w = 2*k + 23. Solve -k*m = -2*m - 20 for m.
5
Suppose -4 = -4*i + 16. Solve 0 + i = b for b.
5
Suppose -6 = -c - 2. Suppose -12 = -2*x + c*s - s, -2*x = -s - 4. Let y be 1 - 1*(0 + -1). Solve -y*n - n = x for n.
0
Suppose 2 = -2*b - 22. Let y = b - -12. Solve -c + 2 - 6 = y for c.
-4
Suppose -5*m - 4*w - 94 = 0, 0 = -3*m + 4*w + w - 49. Let v = m - -21. Solve 0*g = v*g for g.
0
Let y = -10 + 13. Solve -3 = 3*p + y for p.
-2
Let w be 7 - 3*2/3. Let u be w - 0/(-1 + -2). Solve -u*d + 0*d = 0 for d.
0
Let p = -2 - -6. Suppose v - p = 3*v. Let r be v/(-1)*(-6)/(-4). Solve 0*l = -r*l + 9 for l.
3
Suppose -2*h + 12 = 4*g, -3*h - 8 = -8*h + g. Solve h*l = -3*l for l.
0
Let p = -31 + 36. Solve -2 - 8 = -p*a for a.
2
Let q be 1/(-2) - 5/(-2). Solve -i + q = -1 for i.
3
Suppose 10*f - 9*f + 1 = t, f + 3*t = 15. Solve 0 = -f*k + 6*k - 9 for k.
3
Let l = 11 + -11. Let z(v) = -v + 3. Let u be z(l). Solve 2*h = -u*h - 5 for h.
-1
Let j be (4/(-5))/2 + (-1886)/(-115). Solve -j = n - 5*n for n.
4
Let m = 20 - 22. Let y = m + 3. Solve 2*c = -9 - y for c.
-5
Suppose -4*n - 8 = 0, -5*r + n = -4*n - 80. Let h = r - 4. Solve -g + h = -3*g for g.
-5
Let k(n) = 16*n**2 + 2*n - 3. Let z be k(1). Solve g - z = -4*g for g.
3
Suppose 0 = -5*f + 3*p, 0 = 3*f - p + 6*p. Solve h - 2 - 1 = f for h.
3
Let h(m) = 2*m - 3. Let z be h(8). Solve 12 + z = 5*r for r.
5
Let s(a) = -a**2. Let p be s(-1). Let t be (p + 2)/(1/115). Let g be 3/(-5) + t/25. Solve 4 = -0*f - g*f for f.
-1
Let h(w) = 2*w**2 - 4*w. Let o be h(3). Suppose -4*r + o*r - 10 = 0, -x - r + 4 = 0. Let i be ((-4)/(-4))/(x - -2). Solve -2*u = -u + i for u.
-1
Let v(p) = p + 6. Let x be v(-6). Let u = -6 - -8. Suppose 0*d - 2*d = 3*g - 15, 0 = u*d - 5*g + 25. Solve -y + x*y + 4 = d for y.
4
Suppose 2*k + 2*i - 5*i = 20, -5*k + 32 = -3*i. Suppose 3*l = k*j - 2, l - 2*j - 6 = -4*j. Solve -5 = -l*t + 5 for t.
5
Let g = -53 - -58. Let p be -1*(1 - -5)/2. Let u be 4/(-6) - 2/p. Solve u + g = o for o.
5
Let f be 2/2 + 329/7. Suppose 27 + f = 5*d. Solve -2*s = 3*s + d for s.
-3
Let b(a) = 4*a + 30. Let j be b(-6). Solve i = j*i - 25 for i.
5
Let o(x) = -5*x + 18. Let j be o(3). Solve 7*n - 4*n = j for n.
1
Let w(k) = -k**3 - 2*k**2 + 4*k - 1. Let g be w(-3). Let q be -1*(2 + -1)*7. Let j = g - q. Solve -j = f - 2 for f.
-1
Let s(o) = o**2 - 6*o - 4. Let d be s(7). Solve 5*r - 2*r - d = 0 for r.
1
Let u be (3*10/6)/((-1)/(-5)). Solve 0 = 3*f - 8*f + u for f.
5
Suppose 8 = -5*i - 12. Let a = 8 + i. Solve -a*b + 0*b = -12 for b.
3
Let b(a) = -8*a + 36. Let v be b(4). Solve 3*w - 2 = v for w.
2
Let o = 11 - 0. Suppose 5 = r - 2. Let i = o - r. Solve -2*s = -0*s - i for s.
2
Let o be (-2)/9 + 29/9. Let n(u) = -4*u - u**o - 2*u**2 + 6*u**2 - 1 + 2*u. Let b be n(3). Solve -b*m - 3*m = 25 for m.
-5
Let n(f) = -f - 8. Let y be n(-4). Let l = 2 + -7. Let w = y - l. Solve 0 = -m + 2 + w for m.
3
Suppose -26 = 4*w + 6. Let m = -1 - w. Suppose 1 = -3*i + m. Solve 0 = f + 1 + i for f.
-3
Suppose -2*d + r + 6 = 0, -2*d + r = 2*d - 12. Suppose -2*a = -d*o - 16, -2*a - 3 = 4*o - 5. Let g be -4 + 6 - 2/o. Solve c - 16 = -g*c for c.
4
Let g be 4/16 + 110/8. Let n = 27 - g. Let h = n - 9. Solve 16 = -4*w + h for w.
-3
Let s = 0 - -4. Solve -s*v - 13 = -5 for v.
-2
Suppose 0 = -2*t + 2*q + 30, -3*q + 10 = -5*t + 85. Let s(z) = z**2 + 6*z - 2. Let w be s(-4). Let f = 14 + w. Solve 0 = -f*i - i - t for i.
-3
Let a(w) = w. Let c be a(-2). Suppose 2*o - 21 = -o. Let f be o/2 - 1/c. Solve f*s + s = 10 for s.
2
Suppose 12 = -4*x, -z + 6*z - 15 = 5*x. Solve -2*m - 10 = -z*m for m.
-5
Let q be (4 - 1)/(3 + -2). Solve 1 = -q*s + 4*s for s.
1
Suppose 3*t - 23 = -3*c - t, 3*t = 6. Solve c*j + 9 = -11 for j.
-4
Let s be ((-24)/(-10))/((-15)/100). Let w = s - -16. Solve -3*a + 0*a + 12 = w for a.
4
Let y be 30/15 - 2/(-1). Suppose 0 = 2*s + x - y, -3*s + x - 1 + 17 = 0. Solve -3 = s*p + 5 for p.
-2
Suppose -6*c + c = -20. Solve c = 2*u - 4*u for u.
-2
Suppose 5*i - 4*p = -20, -2*p + 3*p - 5 = 5*i. Let q be 30/2 + i/3. Let d(v) = -v**2 - 3*v + 3. Let g be d(-3). Solve 0 = g*s - 0*s + q for s.
-5
Let c(j) = -5*j + 6. Let k be c(2). Let q = 4 + -7. Let b be (-7)/k + q/(-12). Solve -b*y + 6*y = 20 for y.
5
Let f be (-22)/11 - (1 + -5). Solve -2*j = -0*j + f for j.
-1
Let q(l) = l + 3. Let x be q(-3). Let a = 173 + -146. Solve 4*k - a + 7 = x for k.
5
Let v be -2*2/2 + 7. Solve -4*n = -v*n - 4 for n.
-4
Let b(p) = p**3 - 5*p**2 + 2*p + 5. Let r be b(4). Let n = r - -4. Suppose -4*m + 7 = -n. Solve m*w - 4*w = 0 for w.
0
Let q = -30 + 52. Suppose 5*z + 10 = -3*i, -2 = i + 3*z + 8. Suppose -i*d - 7 + q = 0. Solve -3 + 9 = -d*v for v.
-2
Let a(l) be the first derivative of -l**3/3 + 15*l**2/2 + 7. Let j be a(15). Solve j*m - 10 = 2*m for m.
-5
Let o(t) = t + 15. Suppose m + m = -28. Let i be o(m). Solve -7 - i = -2*f for f.
4
Suppose 3*z = -9, -4*h - z + 123 = 2*z. Let j = h - 30. Solve -q = j*q for q.
0
Let o(u) = u**2 - 2*u + 3. Suppose 7 = 3*m + 1. Let d be o(m). Suppose -3*g - g + 20 = 0, -5*g - 8 = -d*t. Solve -1 = -4*s + t 