 14*h for h.
4
Suppose 20 - 5 = 3*x. Suppose 17 = -5*u - 23. Let a = u + 8. Solve a = 2*h + 3*h + x for h.
-1
Let y(f) be the third derivative of f**4/6 - 3*f**3/2 - 2*f**2. Let v(t) = -5*t + 10. Let u(d) = -3*v(d) - 4*y(d). Let h be u(4). Solve -3*s = -h*s for s.
0
Let k be (27 - -2) + 6 + -5. Suppose -i + k = i. Let c(m) = -m**3 - 8*m**2 + m + 10. Let v be c(-8). Solve -v*l - i = l for l.
-5
Let d(q) = -q**2 - 7*q - 6. Let x be d(-5). Let n be (-20)/(-5) - (1 - 2). Suppose n*y - 17 = 8. Solve -x*s - y = s for s.
-1
Let z = 104 + -104. Solve v + 1 + 3 = z for v.
-4
Let g = -10 - -14. Let f be -15 - 1*(g - 2). Let j = -15 - f. Solve j*i + 6 = 2 for i.
-2
Suppose f + 5*u - 14 = 0, -u - 3*u = f - 12. Suppose 5*s - 70 = 5*l, -3*l + 48 = -s + f*s. Solve 0 = -0*z + 3*z - s for z.
5
Suppose -7*f = -10*f - 39. Let i = f - -13. Suppose p + 6 = 4*o - p, 3*p + 6 = 5*o. Solve i = -2*d - o*d - 25 for d.
-5
Suppose 13 = -2*a + c, -a + 6*c = 3*c - 1. Let q = a + 5. Let l be -1 + q/12*-4. Solve l + 20 = 5*f for f.
4
Suppose -r + 6*r - 15 = 0. Suppose 2*m + m = 15. Suppose -18*q - 9*q = -42*q. Solve q = m*v - 17 - r for v.
4
Suppose 19*v = 36*v - 153. Solve 4*s - 7*s = v for s.
-3
Let s(o) = -o**3 - 44*o**2 + 53*o + 376. Let i be s(-45). Solve -3*v = -i*v + 26 for v.
2
Let u(y) = y**2 + 17*y - 10. Let b(t) = -t**2 - 16*t + 11. Let s(v) = 6*b(v) + 5*u(v). Let a be s(-12). Solve -a = -2*g + 6 for g.
5
Let y(d) be the second derivative of -d**4/12 + 5*d**3/6 + 5*d**2/2 - 3*d. Let r be y(5). Suppose r*n - 30 = 3*n. Solve 4*z = z + n for z.
5
Suppose 32*f = 4388 + 700. Solve -f + 165 = 2*o for o.
3
Let d = -209 - -224. Solve d = 2*f - 7*f for f.
-3
Suppose -b = -3*b + 16. Suppose -5*u - 2*c + 21 = 0, -b = -3*u + 3*c + 13. Solve -4*z = -u*z + 1 for z.
1
Let y(c) = c + 31. Let d(h) = -h**3 - 9*h**2 + 11*h - 11. Let g be d(-10). Let v be y(g). Solve -2*i = -7*i + v for i.
2
Let s(o) = o**3 + 7*o**2 + o + 10. Let i be s(-7). Suppose -24 = -i*b + 12. Let d = b - 8. Solve d*u + 1 + 7 = 0 for u.
-2
Let j = -1806 - -1813. Solve -10*t + j*t = -15 for t.
5
Suppose -4*z + 2*a - 1 = -7, 2*a + 2 = 2*z. Let w be (-4 + 4)/(-3 + z). Solve -q + 4 = -w*q for q.
4
Let v = 2 + -3. Let x = -12 - -16. Let o = v + x. Solve o*u + 4 = u for u.
-2
Suppose -3 - 1 = 4*j, -5*z + 23 = -3*j. Suppose -5 + 15 = 2*x. Let q = 464 - 464. Solve q = t - x*t - z for t.
-1
Suppose 0 = -d + 2*m - 5 + 19, 4*d = 3*m + 36. Let c(k) = -k**3 + 8*k**2 - 8*k - 8. Let r be c(d). Solve 3*w = -w + r for w.
4
Suppose -5*f - 5*k = -3*f - 15, -4*k - 11 = -3*f. Let p = 1 + 0. Suppose -g - 2*s - 8 = 0, s + p + 3 = -f*g. Solve 3*b + g*b + 12 = 0 for b.
-4
Let q = 18 - 41. Let y = q + 26. Solve -b - y*b = 12 for b.
-3
Let l = 14 - -6. Suppose -4*v + 56 + l = 0. Let b(u) = 8*u**2 - 55*u - 56. Let z be b(-1). Solve 4*w - v = -z for w.
3
Let q be 2/(15/((-945)/(-14))). Solve 0*t = -3*t + q for t.
3
Let c(l) = -9*l**2 - l + 7. Let w(g) = -5*g**2 + 4. Let q(t) = -3*c(t) + 5*w(t). Let s be q(-3). Solve o - 5*o = s for o.
-2
Suppose 6 = -5*w - 4, 3*w - 189 = -5*c. Let x be (6/18)/((-1)/c). Let n = x - -16. Solve n = m + 2*m for m.
1
Suppose -27 = -h + 5*p, 5*h - 3*p - 15 - 10 = 0. Let c(j) = 4*j + 6 - 7 - h*j + 5. Let g be c(0). Solve 16 + 4 = -g*r for r.
-5
Let x(o) = 2*o**3 - 24*o**2 + 23*o + 26. Let l be x(11). Solve -40*m + l*m + 3 = 0 for m.
1
Let j(a) = -a**2 + 65*a - 25. Let k(f) = 33*f - 12. Let u(v) = -2*j(v) + 5*k(v). Let q be u(-18). Solve 2*s - 4*s + q = 0 for s.
4
Let j = -18 - -29. Let z = 18 - j. Let m = z + -3. Solve l + m = 1 for l.
-3
Let f be (48/84)/((-2)/(-7)). Let n(q) = q**3 - 6*q**2 + 6*q - 3. Let g be n(5). Suppose -2*h + 16 = g*j, 4*h - 16 + 2 = -j. Solve f*y = j + 4 for y.
5
Suppose -280 = -12*q - 16. Solve -q = 10*o + 8 for o.
-3
Suppose 0*g - p = -g + 4, 0 = -g - 2*p - 11. Let t be (g - 0)/((12/(-4))/9). Suppose u - 25 + 5 = 0. Solve -8*r - u = -t*r for r.
-4
Suppose z - 24 = 5*r + 3, -3*r = 3*z - 27. Let n(o) = -o**2 - 10*o - 24. Let u be n(-6). Solve z = -4*s - u*s for s.
-3
Let m = 1728 - 1726. Let r = 8 - 5. Solve -m = -q + r*q for q.
-1
Suppose -2*c - 4 = 0, u + 4*c - 3 + 25 = 0. Let b = -19 - u. Let x be b/(-7) + (-26)/(-91). Solve x = -g + 3 for g.
2
Let j(q) = -5*q + 19. Let x(z) = -9*z + 38. Let g(h) = 5*j(h) - 3*x(h). Let r be g(5). Let w be 20/(-90) - 11/r. Solve -y - w - 2 = 0 for y.
-3
Let o(s) be the second derivative of s**4/6 - s**3/6 + 12*s. Let r be o(2). Solve -r*z + z + 5 = 0 for z.
1
Suppose 4*q + 3*i + 231 = 0, -2*i - 152 = 3*q - 4*i. Let d be (-30)/(-9)*q/(-12). Suppose -12 = -0*z + 3*z + 3*o, 5*z - 2*o - d = 0. Solve -k = 3 - z for k.
-2
Suppose 2 = 5*k - 3*k. Suppose 2*q = -k + 11. Solve 5*h + 0 = q for h.
1
Suppose 15 = -3*u + 8*u. Suppose w + w + u*o + 12 = 0, -2*o = 3*w + 8. Solve 5*q - 1 - 14 = w for q.
3
Let t = 414 - 408. Solve 7 = -13*o + t*o for o.
-1
Let h = -16 + 29. Let q be (-1)/(-3)*(h - 1). Let f be 0 - (-4)/4 - -4. Solve a - f = -q*a for a.
1
Let c be ((-3)/(-8))/(98/16 - 6). Solve -5*b - c = -4*b for b.
-3
Let q be (-1)/1 + (-11 - -15). Suppose 0 = -2*b + 2*k, -9 + q = -2*k. Suppose b*h - 8 = -h. Solve -h*x = 3*x for x.
0
Suppose 4*a - 28 = -5*m, -m = -0*m + 2*a - 2. Solve -7*r - m*r - 60 = 0 for r.
-4
Suppose 0 = -29*j + 101*j - 792. Solve -j - 4 = -5*g for g.
3
Suppose i + 4*v = 19, 4*i - 5*v - 23 = 32. Solve -i*n + 10*n - 10 = 0 for n.
-2
Let o be (-46)/(-161) + (-26)/(-7). Suppose 2*w + 21 = o*w - m, 5*w + 4*m - 59 = 0. Solve 4*v - 9 = w for v.
5
Let m(z) = 20*z**2 + 202*z + 404. Let f be m(-2). Solve -c - f = 19*c for c.
-4
Let z = 1426 + -1412. Solve 44 = 6*l + z for l.
5
Let g(o) = -7*o**3 + 3*o**2 - o. Let b be g(2). Let k = b + 86. Suppose -n - k = -3*r, 5*n + 22 + 13 = 4*r. Solve -4*h - h + r = 0 for h.
3
Let n(a) = -a**2 + 11*a - 5. Let g be n(8). Let k = g + -19. Suppose k = -2*r - 3*j - 1, -2*j + 3 = -3*j. Solve -q + r*q + 15 = 0 for q.
-5
Let d(g) = -g + 12. Let w be d(-5). Let t = w - 20. Let y be (0/(-2))/(t + 2). Solve y*l = -l - 4 for l.
-4
Let f(c) be the third derivative of c**5/20 + c**4/6 - c**3/3 - 4*c**2. Let y be f(1). Solve 0*o + 10 = -y*o for o.
-2
Let h(c) = -3*c - 14. Let y(q) = -5*q - 21. Let w(l) = 8*h(l) - 5*y(l). Let f be w(9). Solve j - f = -0*j for j.
2
Suppose -2*v + 7*v - 10 = 0. Suppose v*k - y + 1 = 5*k, 0 = 3*k + 3*y - 3. Solve 5*g + 8 + 17 = k for g.
-5
Suppose 6*q = 39 + 51. Solve -q*l = 46 + 14 for l.
-4
Suppose 0 = -2*o - 2*f + 14, 7*f - 6*f = -4*o + 22. Solve o*s - 1 + 1 = 0 for s.
0
Let d(u) = -5*u - u + 8*u - 4 + 33. Let i be d(-14). Let q(r) = r**2 + 6*r + 5. Let t be q(-6). Solve -v - i = -t for v.
4
Suppose -4*t = -3*d + t + 28, 4*t = -3*d + 10. Suppose 0 = -d*g + 4*g + 2. Solve -a = -2 + g for a.
1
Let g be 1 + -4 - (-5 + -10 - -4). Let u be (-2)/g*(-60)/5 + 0. Solve -9 = 6*l - u*l for l.
-3
Let c(x) = -2*x**2 - 29*x - 17. Let g be c(-12). Suppose -g*w = -46*w + 9. Solve 0 = 4*k - 5*k + w for k.
3
Let a = 282 - 282. Suppose -4*f = -4*n - 24, 5*n + 22 = 5*f + 2*n. Solve a = -j - 0*j + f for j.
2
Let n be (-2)/(-11 + (-916)/(-84)). Solve 19 + n = -10*x for x.
-4
Suppose 0 = 3*a - 12*d + 9*d - 42, 0 = 4*a - 3*d - 53. Solve 13*k + 10 = a*k for k.
-5
Let p be 15/(-10)*(-56)/6. Let b = p - 11. Suppose x = b*x. Solve x = -2*w - 3*w for w.
0
Suppose 12*q = 51 - 15. Solve -j - q*j = 0 for j.
0
Let n be (6 + -9)*(-2 + 1). Let t = n + -2. Let z(c) = 11*c - 9. Let d be z(1). Solve 7 = d*a + t for a.
3
Suppose 2*q - 72 = -q. Let r = 24 - q. Solve 6 = 2*v - r*v for v.
3
Suppose 1 = -5*j + 5*w - 4, -3*j - 8 = -4*w. Suppose -4*u = 8, 3*g + j - 15 = u. Suppose 5*n = -3*x + 28, 4*n = -x - 0*n. Solve g*s + s = -x for s.
-4
Suppose 4*z = 3 + 5. Let o = 238 - 234. Suppose 3*g = 3*p + z*p - 15, -o*p + 3*g + 15 = 0. Solve 0*m + m - 1 = p for m.
1
Let u = 287 + -272. Solve r + u = -4*r for r.
-3
Let p = -572 + 572. Solve p = -12*y + 15 + 9 for y.
2
Let s = -17 + -17. Let j = s - -37. Solve 2*w = -j*w - 5 for w.
-1
Suppose -3 = f - 2*k, 4*f + 4*k - 28 - 8 = 0. Suppose 6*w - 7 - f = 0. Solve -w*d = -2 - 2 for d.
2
Let k = 59 - 65. Let u be 1 + k - -5 - -3. Solve 3*j = 2*j - u for j.
-3
Let y = 1087 - 1084. Let x(a) = a**2 + 2*a + 3. Let i be x(-2). Solve 0 = -i*z - y for z.
-1
Let d = 1 - -8. Let u = -11 + d. Let r = u - -10. Sol