Solve 5*a - 7 - h = 0 for a.
2
Suppose -4*k + 1 + 27 = 0. Solve -5 = 3*v + k for v.
-4
Let t be (7 + -1 - 1) + 0. Suppose -t*c + 106 - 16 = 0. Suppose 3*m = -5*b + 2*b + c, -5*m = 4*b - 28. Solve -2 = -b*n + 3*n for n.
-2
Suppose 0 = t + 4*f + 6, 0 = 3*t + 3*f - 12 + 3. Let r(g) = 2 - 2*g**2 + g + g**2 - 9 + 7*g. Let y be r(t). Solve -y*b = 20 - 0 for b.
-4
Let n be -3*(-1 - (-2)/(-3)). Suppose n*f - 69 = 6. Solve -g = -4*g + f for g.
5
Suppose -2*s = 2*s - 16. Let t(h) = -2*h - 1. Let v be t(-7). Let c = v - 11. Solve -c*p = -6*p + s for p.
1
Let b(s) = -s**3 + 10*s**2 - 9*s + 2. Let l be b(9). Suppose 5*u + l*d = 62, -3*d + 5*d = 2. Solve 2*q = 6*q - u for q.
3
Let i be 1/2 - (-54)/12. Solve -4 = -i*k - 24 for k.
-4
Suppose 14 = 5*s + 4*g, -3*s - 11 = -7*s - 3*g. Solve s = -v - 0 for v.
-2
Suppose 2 = 3*h + 14. Let w = h - -6. Solve -25 = -7*b + w*b for b.
5
Suppose r + 10 = 6*r. Solve -8 + r = 3*j for j.
-2
Suppose 0 = -5*q - 10, 2*a = 3*a + 4*q + 8. Solve -f + a*f + 4 = 0 for f.
4
Let w = 78 + -78. Solve 3*a - 2*a + 2 = w for a.
-2
Let j be (0 - 9)*1/(-3). Suppose -3*n + 11 = -4*r, -3*n = -5*n + r + 4. Solve -n = -g + j for g.
4
Let y(c) = -c**2 - 6*c + 1. Suppose x + 4*i = 3, -2*x + 5*i = 8 + 12. Let v be y(x). Solve t = v*t - 10 for t.
2
Suppose 0 = x - 1 - 0. Let b be (-2*4)/(x*-1). Let g be ((-9)/12)/((-1)/b). Solve 0 = 2*m - 2 + g for m.
-2
Suppose 18 = 5*h + 4*r + 6, 5*h - 4*r - 28 = 0. Let d be (-2)/(2/1) + 3. Suppose a - 2 = -5*v, d*a + 4 = -4*v + h*a. Solve v*j = j for j.
0
Let w(d) = -d**3 - 7*d**2 - 7*d - 5. Let y be w(-6). Suppose 0 = u - 3*i - 1, -3*u = -6*u + 5*i - 1. Let b be 0 + (-4)/u - 2. Solve 4*j + 11 + y = b for j.
-3
Let o be ((-6)/(-5))/(14/35). Suppose m + 2*m - 4*w - 8 = 0, 0 = 3*m + 4*w + 8. Let b(u) = 2*u**2 + u - 1. Let d be b(1). Solve m = o*c + d*c - 25 for c.
5
Suppose -7 = -a - 2. Solve a*o + 1 = -14 for o.
-3
Suppose 0 - 4 = 2*p. Let f be ((-5)/2)/(p/(-4)). Let s = 2 - f. Solve -s*k + 2*k - 15 = 0 for k.
-3
Let w(n) = -n**3 - 6*n**2 - 4*n + 5. Let z be w(-4). Let q = z - -14. Solve 0 = q*j - 9 - 6 for j.
5
Let w = -21 + 21. Let y be 5/1*(-2)/(-2). Solve -h - y = -w*h for h.
-5
Let r be 119/6 + 1/6. Solve d - 6*d = r for d.
-4
Let t be (-11)/(-22) + 62/4. Solve n + t = 5*n for n.
4
Suppose -20 + 2 = -2*g. Let z = -8 + g. Let b = 4 - z. Solve 0 - b = t for t.
-3
Let h(q) = q**2 - 5*q + 2. Suppose -2*r - 2 = 0, 2*p = 5*r + 1 + 14. Let j be h(p). Solve j*c + 3 = c for c.
-3
Let c = 20 + -10. Let x = -6 - -7. Let d be 22/4 - x/2. Solve -d*u + 35 - c = 0 for u.
5
Let y = 17 + -10. Let b(a) = a**2 - 6*a - 7. Let j be b(y). Let z be ((-9)/(-6))/((-2)/(-4)). Solve j*f + z*f = 15 for f.
5
Suppose -8 = -y - y. Let s(n) = -n**3 + 4*n**2 + 5. Let t be s(y). Solve -3 = -4*j + t for j.
2
Let s(k) = 2*k**2 + 15*k + 23. Let n be s(-6). Solve n*h - 3*h = -2 for h.
-1
Let j(b) = b**2 + 10*b + 5. Let w be j(-10). Solve -w + 13 = -2*o for o.
-4
Let o = -21 + 34. Solve -12 - o = 5*n for n.
-5
Let z be (8/(-5) - -2)*5. Suppose 0*r - 2*w - 2 = z*r, r + 5*w = -21. Let n = 7 - 4. Solve -m = -r*m - n for m.
-1
Let o be (-1456)/(-72) - (-2)/(-9). Solve -o = -4*m - 0*m for m.
5
Suppose 4*h - 4*l = h + 63, 0 = -2*h + l + 42. Let u = 36 - h. Suppose 3*f + 3*g = -2*g + u, -f + 4*g - 12 = 0. Solve -r + f*r = -2 for r.
2
Let r = 12 - 14. Let p be 3/1 + 6/r. Solve p = -z - 3 - 0 for z.
-3
Let v(o) = -o**2 - 7*o - 5. Let c be v(-5). Suppose 2*q = -2*k + 28, 3*q + 3*k = -k + 46. Suppose -2 + q = 4*n. Solve c*u + n = -3 for u.
-1
Let v(y) = 14*y - 1. Let a be v(2). Let k = a + -11. Suppose -4*w + n = -16, -4*w - 2*n - n + k = 0. Solve f + 0*f = -w for f.
-4
Let z(o) = o**3 - 2*o**2. Let x be z(2). Suppose -7 = -t - 2*j, 4*j - 23 = -5*t - x*t. Solve -4*n = -5 - t for n.
2
Suppose 0 = -0*y + 2*y - 14. Let b be ((-6)/y)/(2/(-14)). Solve 4 + b = 5*z for z.
2
Let p(b) = b**3 + 11*b**2 + 9*b - 10. Let v be p(-10). Solve v = r - 0 + 5 for r.
-5
Suppose t - 7 = c, 5*t - 3*c = -0*t + 31. Solve t*o + 0*o - 25 = 0 for o.
5
Suppose -3*h + 3 = -0*y + 3*y, h = 4*y - 4. Let r(z) = z - 3. Let t be r(h). Let d be 16/12*t/(-2). Solve d = -j + 3 for j.
1
Let b be (2 - (-2 + 1)) + -1. Suppose 0 = -5*u + 6*u - 4. Let l = 4 + -2. Solve -u = -l*w + b for w.
3
Suppose 2*p = 5 + 21. Let g be 115/13 - (-2)/p. Solve -4*m = -g - 3 for m.
3
Let k = -39 - -43. Solve -3 = -r + k*r for r.
-1
Suppose -3*p + 14 = -2*p - 4*c, 5*p + 5*c = -5. Suppose 0 = 4*u - 2*b, 0 = 2*u + 3*u - 2*b + p. Let q = 5 + u. Solve q*f = -f for f.
0
Let h = -9 - -21. Suppose 2*j + h = 4*v - 0*v, 4*j = -3*v + 31. Solve 0 = -v*y - 33 + 8 for y.
-5
Let g = 11 + -11. Suppose g = 7*x - 3*x - 4. Solve 0 = 2*w + x - 7 for w.
3
Suppose 26 = 2*z - 4*n, 0*n + 22 = 4*z - 2*n. Solve z*c = -2*c - 10 for c.
-2
Suppose -4*k = -3*k. Let u(i) be the second derivative of i**3/6 + 6*i**2 + i. Let r be u(k). Solve 2*s - r = 6*s for s.
-3
Let i(j) = -j**2 + 2*j - 4. Let l(v) = -v**2 + v - 4. Let m(f) = 6*i(f) - 7*l(f). Let p be m(-4). Solve n = -p - 4 for n.
-4
Let w be (2 + 4 + -6)/1. Solve 3 = -w*a + a for a.
3
Suppose 2*z - 2 = -0*z. Let y be 1 - (z - (-2 - -7)). Suppose -g + y = -0. Solve 2*j = j + g for j.
5
Let j = -96 + 101. Solve -j*v - 2 = 23 for v.
-5
Let i = -4 - -7. Let y be (-2)/(-7) + (-112)/49. Let t be (2 + -1)/(y/(-8)). Solve i = -t*s - 5 for s.
-2
Let c(a) = a + 8. Let l(m) = -m + 1. Let x be l(8). Let u be c(x). Solve -5*z - u = -6 for z.
1
Let a be (1 - 4) + 1 + 2. Suppose 0 - 5 = -f + q, a = 4*f + 3*q - 6. Solve -f*d + 4 = -d for d.
2
Let h be ((-18)/24 - -3)/((-1)/(-4)). Solve h = -2*q - q for q.
-3
Let s(z) = -z**3 + 5*z**2 + 5*z + 8. Let f be s(6). Solve f*x - 6*x = -8 for x.
2
Let a(r) be the third derivative of 19*r**5/60 - r**4/24 - r**3/6 - 6*r**2. Let v be a(-1). Solve 4 = 3*t + v for t.
-5
Let d(v) = v**3 + 6*v**2 + v - 1. Suppose 2*o - 1 = -11. Let h be d(o). Solve -5*u + h = -6 for u.
5
Let w be (-9 - 0)/(-36) + 22/8. Solve -w*c = -9 + 3 for c.
2
Let r = 31 + -26. Solve 4*s = r + 7 for s.
3
Suppose 1 = -2*m + 5. Suppose -m*t + 19 = -5. Solve -4*d + 4 = -t for d.
4
Suppose t = 2*t - 148. Suppose 0 = -4*p + 4*k + t, 2*p = -0*p - 2*k + 94. Suppose 5*r - p + 17 = 0. Solve r*a = a + 16 for a.
4
Let c = 1 - -2. Solve 4 = c*r - r for r.
2
Suppose 2*d = 11 + 3. Let g(o) = o**2 - 6*o - 2. Let i be g(d). Let w = 0 - -3. Solve 0 = i*q - w*q for q.
0
Let x(f) = -f**3 - 7*f**2 + 16*f - 13. Let c be x(-9). Solve 0 = c*d - 4*d for d.
0
Suppose 5 = 2*v - 3*n, -3*v + 7 + 0 = -5*n. Let h(m) = -m**2 - 8*m - 3. Let o be h(-7). Solve -o*f + 16 = -v for f.
5
Let l = -5 - -9. Let d be ((-2)/(-1))/2 + 2. Solve -d*i = i + l for i.
-1
Suppose -24 = 4*i + d, 3*i + 18 = -d + 6*d. Let j be (35/(-10))/(3/i). Solve 1 = -3*r + j for r.
2
Let z = -35 - -47. Solve -5*g - z = -2*g for g.
-4
Suppose 0 = 4*w + w. Solve w*u - 2*u - 8 = 0 for u.
-4
Suppose 12*t = 5*t + 147. Solve 4*q - t = -5 for q.
4
Let w be -1 + 0 - (-25 + 4). Let n = w + -15. Solve -4*p = -n*p for p.
0
Let f = -5 - 1. Let x(h) = -h. Let a be x(f). Solve 2*c - a = -c for c.
2
Suppose -t + 14 - 4 = c, -5*c - 30 = -5*t. Suppose 3*g = -5*n + t*g + 185, 2*g = -2. Suppose -p = 3*p - n. Solve 3*k = -3 + p for k.
2
Suppose 0 = 4*o - 2*a, 8*a = -3*o + 3*a + 13. Solve 0 = m - o + 6 for m.
-5
Suppose 4*p - 77 + 17 = 0. Let w = p + -3. Suppose -8 - w = -5*m. Solve 8 = -4*y - m for y.
-3
Let m(r) = 2*r**2 - 2*r + 1. Let f(c) = -c - 5. Let z be f(-7). Let h be m(z). Suppose 2*q = 5*y - 16 - 3, -h*q = -y - 10. Solve -y*t = -12 + 37 for t.
-5
Let q = -6 + 4. Let o be 1/q - 15/(-10). Suppose 2*g = 9 - o. Solve g*y - 3 = 1 for y.
1
Let a be (-3)/(1*2/(-12)). Suppose -4*o - 92 = -4*i, -i - i - o + 31 = 0. Suppose 4*t = -2*d + i, t - a = -d - 4*t. Solve 2*z = d*z for z.
0
Let s(p) = p**3 - 2*p**2 - 2*p. Let r be s(3). Suppose 0 = -3*j - x + 38, 0*j + r*x = 4*j - 68. Let k = j - 10. Solve k*y - 3 + 19 = 0 for y.
-4
Let w be (1/(-5))/((-1)/35). Let v be 0 + 4 + w + 2. Solve v + 2 = -5*i for i.
-3
Let r(j) = -j**2 + 6*j - 6. Let k be r(4). Let v(p) = 0*p**2 - 4*p - 3*p**2 + k*p**2 - 1 + 4. Let c be v(-4). Solve -c*x + 20 = -8*x for x.
-4
Suppose -5*i + i = 5*t + 5, -4*i + 40 = -4*t. Let g(a) = a**2 - 4*a - 3. Let p be g(i). Suppose -5*u - p*q = -u, -3*u + q = 0. Solve o = -u*