+ 2 for h.
-1
Let o = 107 + -157. Let h = o - -37. Let f = h - -13. Solve -3 = -2*n + q, f = -3*n + 2*q - 1 + 5 for n.
2
Let w(r) = -2*r - 36. Let z(p) = -p - 35. Let h(y) = -2*w(y) + 3*z(y). Let t be h(33). Solve -j - j - 6 = 4*f, -j + 4*f - 3 = t for j.
-3
Let p(g) = -3*g - 24. Suppose -2*y + 13 = -3*x - 1, 0 = -y + 5*x. Suppose -22 = j - y. Let d be p(j). Solve 0 = 3*s - 6*s - d, 20 = 2*w - 5*s for w.
0
Let w be (0 + -17)*(1 + -2). Let i(z) = z**3 + 2*z**2 - 4*z - 1. Let v be i(-3). Suppose 0 = v*u - 6*u + 3*u. Solve -p + 4*o - w = u, 4*p = o - 2*o for p.
-1
Suppose -134*p + 56 + 436 = -52*p. Solve 5*x - 5*d = -10, -x + 4*d - p + 4 = 0 for x.
-2
Let o be (2 + (-240)/105 - 202/28)*-2. Solve 5*x - 4*y + 14 = -8, -3*x = -3*y + o for x.
-2
Let q = -5 + 28. Suppose 84 = -q*w + 25*w. Suppose -19*x = -5*x - w. Solve 0 = -x*y + 3*s - 7 - 14, 4*s - 22 = y for y.
-2
Let i = 1157 - 1154. Solve 3*s - 2 = 2*w, -5*s + i*w + 2 = w for s.
0
Let o(f) = f**3 + 2*f**2 - 106*f - 66. Let a be o(-11). Solve -n = -3*n - 2*i - 6, 0 = -3*n - 2*i - a for n.
-5
Let q = 2028 + -2024. Let s(f) = 5*f**2 - 2*f + 1. Let y be s(1). Let p be (-4)/((-3)/(6/y)). Solve 0 = -3*x + 5*w + 1, q*x - 4*w - p = x for x.
2
Let j = -3891 - -3893. Solve -2*h + 18 = j*w, h - w + 9 - 8 = 0 for h.
4
Suppose b + 0*r - 5*r + 11 = 0, -r = 2*b - 11. Solve 2*d - 2 = 0, b*d = -3*t + 14 - 10 for t.
0
Let d(u) = 26*u - 1376. Let p be d(53). Solve 3*a = 2*m + 19, -p*a = -m - 13 + 2 for a.
3
Suppose 5*m = 5*k - 35, 4*k - 32 = -23*m + 26*m. Suppose 5*h + k*h = 32. Let y = 13 + -6. Solve 2*r + 26 = y*r + 4*i, h*r = i for r.
2
Suppose -r + 224 = 969. Let d = -742 - r. Solve x + 2*g = -1, -10 = 2*x - d*g - g for x.
-3
Let f = 46 + -109. Let d = f - -88. Let o = d + -22. Solve c + 2*x + 9 = 0, o*x - 6*x - 18 = -3*c for c.
1
Suppose -139*g = -238*g + 3564. Solve -w - g*x - 12 = -32*x, 24 = -5*w - 2*x for w.
-4
Let z(l) = l**2 - 19*l - 39. Let v(w) = w**3 - 9*w**2 + 24*w + 5. Let a be v(4). Let m be z(a). Solve 1 - m = 2*p - 3*f, f - 5 = 5*p for p.
-1
Let w(d) = -85*d - 3812. Let q be w(-45). Solve -q = -4*c + 5*n, 24*c - 25*c + 3 = -n for c.
2
Let m be (-2)/(-13) - (40 + (-17952)/429). Solve j = -4*r - m, 71 = -3*j - r + 76 for j.
2
Suppose 231*h - 233*h = 4*r, h - 5 = 3*r. Solve h*i + 4*x = -4, 2*i = -3*x + 20 - 21 for i.
4
Let u(i) = -2*i + 12. Let m be u(7). Let r be (1 + m)*(-4 - -2). Solve r*d = 5*k - d + 19, 4*k + 5*d + 30 = 0 for k.
-5
Let p(x) = 62*x**2 - 55*x**2 - x + 3 + 2*x. Let n be p(-1). Let v be (-7)/(-2) + 3/(-6). Solve 0 = 5*c - v*z - 35, c + z - n = 2*z for c.
4
Let a(z) = 2*z**3 - 19*z**2 + 5*z + 40. Let l be a(9). Solve 0 = l*f + b + 13, -2*f = -0*f - 3*b - 11 for f.
-2
Let m(w) = 270*w + 4054. Let t be m(-15). Solve -4*i + 30*l = 25*l - 19, 0 = -t*i + 4*l + 16 for i.
1
Suppose -184*r + 3*r = 191*r + 79*r. Let p = 1 + 2. Solve p*f = f + 4*i + 20, r = -5*i - 25 for f.
0
Let h(v) = v**2 + 7*v + 15. Suppose -11*d + 25 = -16*d. Let n be h(d). Let x be 0/(-2)*(-2)/(-2). Solve -23 = -r - n*o - 3, -r - o = x for r.
-5
Suppose 0 = 8*r - 10*r - 13*r + 375. Solve -3*b - y - 39 = -54, -4*y + r = 5*b for b.
5
Let i(z) = -7*z**2 - 583*z + 423. Let q be i(-84). Solve -4*f = 3*t + 12, -q*t - 4*f = -4*t + 12 for t.
0
Suppose 0 = 5*m - 5*l - 10, 5*m + 2*l - 6 = 5*l. Suppose m*u = u + 2. Let s be 0 - (-3 - (3 + u)). Solve 0 = p - 5*w - 29, -7*p - s*w = -2*p for p.
4
Suppose l + 5*d + 9 = 0, -34 = 3*l + d - 7. Let b be 5/((-4)/8 - l/6). Solve 2*q + b = 3*t, t - 10 - 9 = 5*q for t.
-1
Let f = -367 - -369. Suppose p = f*z + 20, 6*z - 3*z + 60 = 3*p. Solve 6*i - 25 = i + w, 2*w = 4*i - p for i.
5
Suppose -54*v + 31*v - 88 = -31*v. Solve -8*g + 5*d - 15 = -v*g, 5*g + 3*d - 9 = 0 for g.
0
Suppose -2*d + 4*d = 4*j + 18, -3*j = -4*d + 21. Let x be (d/2)/((-4)/(-8)). Let f(z) = -z + 12. Let m be f(10). Solve -x*t - r = 8, -t + m*t = -r for t.
-4
Let j(q) = 2*q**2 + 69*q + 102. Let l be j(-33). Solve i + 0*p + 17 = -l*p, -4*p + 4 = -4*i for i.
-5
Suppose 0 = -12*w + 7*w + 4*h - 2, -1 = -5*w + 3*h. Solve -5*n - 3*x = -2*x + 12, -3*x = -4*n - w for n.
-2
Let c(r) be the first derivative of 43*r**2/2 + 147*r - 23. Let d be c(-3). Solve 0*n + 2*j - d = 2*n, 0 = -4*j + 16 for n.
-5
Let b be 10 + -2 - (-103 + -25). Suppose 0 = -26*a - 6 + b. Solve -5*l = 5*r - 15, a*r - 2*l + 10 = 4 for r.
0
Let l(z) = z**3 - 15*z**2 - 17*z + 14. Let v be l(16). Let o be 2 - (-4 - 0)*v/8. Solve -x + o = 2*n, 2*n - 4*x + 4 = -0*n for n.
0
Let z(q) = 5*q + 5. Let j be 1*(-8)/10 + (-40)/(-50). Let b be z(j). Let o be ((-4)/(-10))/((-3)/(-45)). Solve -b*n + 3*i = 18, -o = 3*n - 3*i + 6*i for n.
-3
Let s be -17 + 20 - (-4 + 0). Let p = -112 - -115. Solve p*n - 7*n - s = -5*j, -2*n - 6 = 0 for j.
-1
Let j(h) be the third derivative of h**5/60 + 25*h**4/24 + 71*h**3/6 + 44*h**2. Let n be j(-22). Solve 0 = 3*q - 9, 2*l - 13 - 4 = -n*q for l.
1
Let m = 3230 + -3194. Solve -5*r + 24 = z, -r = -5*r - 5*z + m for r.
4
Suppose 40 = 5*a + 3*z, 95 = 5*a - 33*z + 47*z. Solve 2*y - a*l - 6 = -l, -3*y - 2*l = -1 for y.
1
Suppose 5 = -2*c + f + 2*f, 0 = 3*c + 4*f - 35. Suppose -c*j = -5*j - 8*j. Solve 11 = -5*m - j*v - 4*v, 5*m - v = -16 for m.
-3
Suppose 0 = 3*v + 3*o - 7*o - 44, -v = 4*o - 20. Suppose -3*c + 22 = 4. Suppose -2*q + v = c*q. Solve -2*w - 5*k = 1 + 7, -q*k = 0 for w.
-4
Suppose -2*v = 5*l - 18, v + 11 = 4*l - 6. Solve -l*a - 20 = -33*k + 29*k, 4*k - a - 17 = 0 for k.
4
Suppose -6*w - 200 = 4*w. Let p be (-19)/(-3) - w/30. Solve -j = 2*t + p, 0 = 2*t + 2*j - 0*j + 6 for t.
-4
Let a(b) = -10*b**2 - 37*b - 14. Let w(y) = 8*y**2 + 36*y + 15. Let i(n) = 5*a(n) + 6*w(n). Let m be i(16). Solve v = m*k - v + 10, -2*v - 4 = 3*k for k.
-2
Let b be (-12)/(-8)*(-8)/(-6). Let w = -677 - -680. Solve b*d = -c + 5, 0*c - 29 = w*c - 5*d for c.
-3
Let h = -8 + -8. Let v be (-2 + -2)/h*8. Let j be 4 + (-6)/(-2 + 28/8). Solve -v*a - 5 = -5*o + 3, j = a + o + 4 for a.
-4
Suppose 4*d = -5*s + 33, 7*d = 3*d + 4*s - 12. Let n be (d - 2)/1 + (9 - 4). Solve 3*z = 4*f - 5, -2*f + n*f - 4*z = -5 for f.
5
Let v(u) be the third derivative of 0*u - 7/24*u**4 - 18*u**2 - 1/60*u**5 + 10/3*u**3 + 0. Let p be v(-8). Solve 3*j = 3*l + 21, 0*l = 3*l + p for j.
3
Suppose -98*q + 18 = -101*q. Let p(i) = -i + 5*i - 3*i + 0*i + 11. Let y be p(q). Solve -3*b = -y*h + 22, -2*b - 4 = -b for h.
2
Let w(d) = -70*d**2 - 2519*d + 41. Let t be w(-36). Solve j = n, 28*j + 35 = 26*j - t*n for j.
-5
Let u(q) = 3*q**2 + 76*q - 63. Let r(x) = -x**2 - 36*x + 31. Let a(t) = 9*r(t) + 4*u(t). Let f be a(5). Solve 6 = f*s - 2*v - 2*v, 3*s + v + 19 = 0 for s.
-5
Let k(z) be the second derivative of 2*z**3/3 + 13*z**2/2 - 49*z. Let p be k(-1). Solve -2*f + 0*i - p = -3*i, 4*f = -4*i + 12 for f.
0
Suppose 0 = 4*d + 20, 0 = 4*h + d + 1 - 56. Suppose -7 = -5*v - 3*a + h, 0 = -6*a + 24. Solve 2*n + 7 = q, v*n - 3*q + 10 = -5*q for n.
-4
Let x(i) be the third derivative of -i**6/120 + i**5/20 + i**4/24 + 5*i**3/3 - 84*i**2. Let k be x(0). Solve 0 = 5*z - 2*n - 4, 0*n + 5*n = -k for z.
0
Suppose -10*x - 19 = -i - 14*x, 0 = -2*i + x + 2. Solve 3*h - 14 = -2*r, 4*r + i*h = 7*h - 12 for r.
1
Let l(y) = -y**3 + 5*y**2 - 3*y - 4. Let z be l(2). Suppose z*x + 4 - 6 = 0. Solve 4*i = -10 - 2, -x = -u + i for u.
-2
Suppose 3*o = 4*l + 205 - 17, 8 = 2*o. Suppose -139 = 4*n + 25. Let k = n - l. Solve 4*b = -3*z + 11, -k*b = z - 2*b - 2 for z.
-3
Suppose 4*b - 8 = -4*c, -c + 5*c + 20 = 3*b. Let f be (3 - (-8)/(-2))*(-6 - c). Solve 3*d + 3*n = 0, 2*d + f*n = 7*d - 18 for d.
2
Let i be (-5)/(-15)*-3 - -3. Let n(c) = -6*c - 24. Let w be n(-7). Suppose -4*r = i*r - w. Solve -5*s - 10 = r*v, s + 4 = -s + v for s.
-2
Let z(g) = g**3 - 128*g - 276. Let u be z(-10). Solve 0 = 3*o + u*q - 19, -q = -3*o + 12 + 2 for o.
5
Suppose -2*g + 138 = 2*m - m, -2*g = 6. Let s = m - 109. Solve 0 = 3*a + 4*z - 0*z + s, 0 = a + 5*z + 30 for a.
-5
Let o be (-2)/49 - (-6000)/2940. Solve x + 3 = -o*l, 2*x - 22*l - 8 = -19*l for x.
1
Let h = -18059 - -18064. Solve 21 = -2*x - h*d + 13, 5*x + 2*d = -20 for x.
-4
Let y be (-99)/(-81) + 4/(-18). Let b be ((-16)/(-24))/(y/6). Solve 20 = 2*g - g + b*i, -2*g + i = 5 for g.
0
Let p(l) be the first derivative of 34 - 1/2*l**2 + 1/4*l**4 - 7*l**3 + 23*l. Let i be p(21). Solve 5*o + 10 = i*g, -3*g