 + k for h.
-5
Let v(p) = p**2 + 6*p + 5. Let w be (-8 + 11)*4/(-3). Let y be v(w). Let s = y + 4. Solve -i - s = -2*i for i.
1
Let h(c) be the first derivative of c**4/4 - 13*c**3/3 - 7*c**2 + 2*c - 4. Let j be h(14). Let m be 54/15 - (-6)/15. Solve -j*s - 2 = m for s.
-3
Suppose -4*t + 8 = -2*t. Suppose -2*d = -t*d + 6. Solve d*s = s - 6 for s.
-3
Suppose 5*r = 2*r + 5*r. Let y = -114 - -116. Solve r*d = -d - y for d.
-2
Suppose 151*f = 141*f + 110. Solve -5*b = -f*b + 24 for b.
4
Suppose 4*d + 19 - 31 = 0. Suppose -4*s - 4*h = -16, s - d*h = -6*h + 12. Solve -u = -s + 1 for u.
-1
Suppose -5*q + 6*q = 0. Suppose -h + 5*x - 5 = 0, x + 0 - 1 = q. Solve -3*f + 3 - 6 = h for f.
-1
Suppose 62*q = 58*q + 16. Solve 7*p = q*p - 12 for p.
-4
Suppose -4 = -7*a + 10. Solve -a = 5*r - 22 for r.
4
Let x(j) = -11 + 8 + 4*j + 7 + 0*j. Let y be x(-1). Solve 15 = -3*w - y for w.
-5
Suppose 54*r = 59*r - 5. Let q be ((-2)/(-4))/((-1)/(-4)). Solve 3 + r = -q*c for c.
-2
Let x(q) = -16*q**3 + 2*q**2 + 2*q + 1. Let w be x(-1). Let b(c) = -c + 22. Let t be b(w). Solve -2*d = -t*d - 3 for d.
-1
Suppose -276 = 5*b - 2*b. Let j = -80 - b. Solve j = 3*t - 0*t for t.
4
Let q be (5 - (-5)/((-5)/1)) + 64. Solve -q = -11*r - 6*r for r.
4
Suppose -2*v - 5*j = -27, 0*j - 20 = -5*v - 3*j. Let l be (6/(-2)*v)/(3/(-8)). Solve 0 = l*w - 9*w + 2 for w.
2
Let c(t) = t**3 + 5*t**2 - 8*t - 3. Let j = -7 - -1. Let i be c(j). Solve 15 = 4*u - i*u for u.
-3
Suppose n = 2*n + 1. Let m be (-3 - -4)/n*-9. Let z = m - 7. Solve -s = z*s + 6 for s.
-2
Let z be (-6 - -3)/(3/(-9)). Let m be z/(44/16 - 2). Solve 0*l = 3*l - m for l.
4
Suppose 4*l - 16 = -4*c, 4*l - 10 = -c + 3*c. Suppose c = 2*g - z - 2, -3*z = -9. Let v be -1 + (2 + 4)/g. Solve -p = -0 + v for p.
-1
Let k(a) = -17*a - 2. Let l be k(2). Let z = l - -62. Suppose 4*h + 17 = 2*r + h, -5*r + 2*h = -z. Solve 0 = -r*p + 9 + 11 for p.
5
Let a(u) = 5*u - 5*u + 2 + 0*u + 4*u**3 - u. Let p be a(1). Solve p*v = v for v.
0
Let v = 53 + -23. Let x be (v/(-50))/((-2)/10). Solve 2*m = -x*m - 10 for m.
-2
Let l(w) = -w**2 + 10*w - 5. Let q be l(9). Let x be ((-16)/20)/(2/(-5)). Suppose -4*m = p - 2 - 11, 0 = -m + 4*p - 18. Solve -q - x = m*o for o.
-3
Let s = -1379 + 1387. Let o be (1 - -2)*(-5)/(-3). Solve p = o*p - s for p.
2
Suppose -w + 5*v = -23, -3*v + 4*v + 7 = w. Solve 0 = -7*s + w*s - 12 for s.
-3
Let b be (60/(-33) - -2) + 265/55. Solve -b = p - 3 for p.
-2
Suppose -2*s + s - 79 = -d, 5*d - 411 = -3*s. Solve -3*q - 66 + d = 0 for q.
5
Let a(k) = 4*k + 30. Let p be a(-4). Solve 12 = 11*w - p*w for w.
-4
Let t = 361 - 511. Let k be 1/(5*(-5)/t). Solve r = -2*r - k for r.
-2
Suppose 3*r - 114 = 4*c, -5*r + c = 53 - 260. Let n = r + -35. Solve -3 = -g - n for g.
-4
Let z(k) = 2*k**2 + 16*k - 23. Let w be z(-12). Let d = w + -73. Solve d = 5*l - 5 - 5 for l.
2
Suppose 3*c = 4 + 11. Suppose -3*d - 2 = 4*l + c, 11 = 3*l - d. Solve -l*a + 0*a + 10 = 0 for a.
5
Let u be -3 + 5 + (-3)/(-3). Let t = -4 - u. Let h(c) = -3*c - 17. Let p be h(t). Solve -12 + p = 4*s for s.
-2
Suppose -v + 4 = 2*f, 5*f - 3*v - 21 = -0*v. Suppose c = f*c - 12. Solve h = c*h + 15 for h.
-3
Let c be 3 + -1 + 1 + (-12 - -13). Suppose 3*r - 4*b = -14, -c*r = -r - b - 1. Solve 0*t - r*t - 10 = 0 for t.
-5
Let s be (-3)/(2 - 17/7). Suppose -s*m - 36 = -10*m. Suppose 32 - m = 5*z. Solve 3*f + 13 = z for f.
-3
Let f = -4 - 2. Let o(x) = x**3 + 7*x**2 + 7*x + 8. Let s be o(f). Let q = -3 + 18. Solve -s*i + q = i for i.
5
Let a = -32 + 33. Let l be (-2)/(-4)*a*(-84)/(-14). Solve -4 = -l*z + 2*z for z.
4
Let w be ((-5)/(-10))/(3/(-12)). Let d(m) = -m**2 - m + 14. Let t be d(0). Let c = w + t. Solve 5*s - 8 = c for s.
4
Let v(m) = 2*m - 2. Let z be 0 - (4*5)/(-4). Suppose 7 = 4*r - z. Let y be v(r). Solve 5 = -x + y for x.
-1
Suppose 17*t - 112 = 3*t. Solve 2 = 9*i - t*i for i.
2
Let i(n) = -2*n**2 - 22. Let d be i(-7). Let g = 142 + d. Solve 4*v = -g + 6 for v.
-4
Suppose -64*u + 47 + 401 = 0. Solve u + 1 = 4*m for m.
2
Suppose 26 = 4*v - 5*p, 19 - 11 = -4*p. Solve -3*n + v = -11 for n.
5
Let u = 449 + -442. Solve -u*f - 4*f = f for f.
0
Suppose -3*d + 2*f + 6 = -4, -5 = -d + f. Suppose -o + 2*t = o - 2, d = -5*o - 4*t + 32. Solve 0 = -o*r - 6 - 14 for r.
-5
Let h be 14 + -1 + (-4 - -14). Solve -19 = 4*l - h for l.
1
Let b be (-1)/(-2)*(11 + -1). Let x = -13 - -16. Let y be -3*x/(-9) + -1. Solve y = 2*h + 1 - b for h.
2
Let w(y) = 2*y + 11. Let m be w(-8). Let j be (3/m + 1)*5. Let o be (-12)/42 + j/7. Solve o = 3*b - b for b.
0
Let m = 583 - 583. Solve 0 = 7*a - m*a - 28 for a.
4
Let q be ((-11)/(-4))/(3/12). Solve q*r + 8 = 19 for r.
1
Let x = -630 - -646. Solve -5*o + x = 6 for o.
2
Let g(z) = 5*z**2 + 2*z + 1. Let h be g(-1). Suppose c = -4*q - 0*q + 287, 2*q - 131 = -3*c. Let l = -49 + q. Solve 4*b + h = l for b.
5
Let z(a) = a**3 - 2*a**2 - a - 1. Let v be z(0). Let y = 2 - -1. Let k be (v + -4)/5 + y. Solve -k*l = -7 - 1 for l.
4
Suppose -o - 14 = -3*q, -5*q + 53*o - 55*o = -5. Suppose 3*u - 2*u - 3*m = -1, 3*u - 23 = -4*m. Solve 2*c + u = -q*c for c.
-1
Let k = -987 + 987. Solve 7*p + k*p - 7 = 0 for p.
1
Suppose 9*y = 5*y + 8. Suppose -3*h - 2*q + 1 = 0, -1 = 2*h - y*q - 15. Suppose 0 = h*g - 11 + 2. Solve -1 = -g*s - 4 for s.
-1
Let p(t) = -t**3 + 2*t**2 + 4*t + 2. Let n be p(3). Suppose -2*s = -3*s - 225. Let o be ((-24)/10)/(18/s). Solve 5*m - n = -o for m.
-5
Let t = 371 + -342. Solve 34*c - 15 = t*c for c.
3
Let c = -5 + 11. Suppose -9*m + c*m = 0. Suppose 0*j + 12 = 4*j. Solve m*z = j*z + 15 for z.
-5
Suppose j = 2*j - 5. Let o(q) = -10*q**2 + 14*q + 31. Let n(x) = 7*x**2 - 9*x - 21. Let l(w) = j*o(w) + 7*n(w). Let t be l(8). Solve -2*h + t*h = 0 for h.
0
Suppose -4*d + 10 = -p - 3, -4*d + 4*p = -28. Solve d*i + 12 = -i for i.
-4
Let y(p) = 2*p**2 + 99*p + 151. Let g be y(-48). Solve g*u + 5*u = -36 for u.
-3
Let b = -31 - -43. Suppose -2*l - l + 4*u = -4, 4*l + u - 18 = 0. Suppose 0*z + l*i = 3*z + 7, -i = -4. Solve 3 - b = -z*f for f.
3
Let t(d) = d**2 - 5*d + 5. Let c be t(2). Let r be (3 + -1)*c/(-2). Solve -2*j - r + 3 = 0 for j.
1
Suppose 8*n = 6*n. Suppose n = -3*w - 9, 4*m - 18 = -0*m + 2*w. Solve 1 + 2 = -m*k for k.
-1
Let x(y) = -y**2 - 17*y - 17. Let w be x(-15). Let t = w + -7. Solve t*q = 3*q + 15 for q.
5
Let f(a) be the second derivative of a**3/3 + a. Let o be f(1). Let p be (1 - (-2)/(-6))/((-2)/(-9)). Solve -p*q = o*q + 5 for q.
-1
Let a = -427 - -429. Solve 0 = u - a*u - 5 for u.
-5
Let r be (-4)/14 - 332/14. Let m(j) = -20*j + 4. Let v be m(1). Let n be (1 - -1)/(v/r). Solve n*q = -q for q.
0
Suppose -8*h - 162 = h. Let i(a) = a + 28. Let r(d) = d + 29. Let y(j) = -4*i(j) + 5*r(j). Let q be y(h). Solve -4*n - q = -n for n.
-5
Let u(v) = v**2 + 6*v + 2. Let q be u(-6). Suppose -6*f + q = -5*f. Solve 1 = -d + f for d.
1
Let i(b) = 2*b - 11. Let r(o) = 2*o - 11. Let d(n) = -3*i(n) + 4*r(n). Let z be d(7). Suppose -4*y - u + z = 4*u, -2*y = 4*u + 6. Solve 2*h = y*h - 5 for h.
1
Suppose -30*v + 35*v - 30 = 0. Solve -j + v*j = -5 for j.
-1
Let g be 5 - ((-4 + 0)*-1 + -4). Solve 45 = -g*l + 25 for l.
-4
Let y(t) = -t**2 - 9*t - 15. Let r be y(-10). Let w be 27/(-18)*100/3. Let k = r - w. Solve -6*h = -h - k for h.
5
Suppose 0*l = -8*l + 96. Suppose -4*z = -4*m, 2*z - 3 = 5*m - l. Solve -9 + m = 3*b for b.
-2
Let n(w) = -w**3 + 13*w**2 - 10*w - 21. Suppose -5*s - 15 = -75. Let h be n(s). Solve 0 = 4*k - 3*k - h for k.
3
Let t be ((-4)/(-6))/(12/36). Suppose t = 2*i, -5*i + 3 + 4 = 2*n. Solve -4*a + 11 = -n for a.
3
Let p(g) be the first derivative of -g**4/4 + g**3/3 + g**2/2 + 4*g - 6. Let o be p(2). Solve o*t = 7*t for t.
0
Let a = 1 - -2. Let o be 1/(a - 2) + 2/1. Solve o = -b + 8 for b.
5
Suppose 5*q + 13 = -5*t + 6*t, -2*t - 3*q = 0. Suppose -t = 3*v - 4*v. Solve v*p = p + 2 for p.
1
Let k(m) = 5*m**2 - 5*m - 7. Let g(s) = s**2 - s - 1. Let j(x) = 6*g(x) - k(x). Let r = -11 + 8. Let c be j(r). Solve -4 + c = 3*l for l.
3
Suppose 267 - 277 = -2*o + l, -5*o - l = -18. Solve 16*m + 36 = o*m for m.
-3
Let d be (-770)/(-98) + 2/14. Let k = d - 5. Solve k*t = 6*t - 15 for t.
5
Let o = 3888 - 3888. Suppose -4*h - 5*v = 4, v = -0*v - 4. Suppose -4 + 12 = 3*p - g, 3*p + g - h = 0. Solve i + o + p = 0 for i.
-2
Let c be -20 + 1 + 3 - -2. Let o = c 