h + 17, l = -4*l - h + 2 for l.
1
Let o(a) = 0 - 48*a**2 + 0*a**2 + 48*a + a**3 - 22. Let b be o(47). Solve 0 = -5*r + b, 0*r - 5 = 4*u - r for u.
0
Let n(v) = v**2 - 5*v + 2. Let s = 141 + -141. Let l be n(s). Solve 2*j - b + 5 = 0, 5*b - 25 = 3*j - l*j for j.
0
Let k be ((39 - 0) + -4)/(8 - 3). Solve -3*p = 2*h - k + 16, h = -2*p - 6 for h.
0
Let f be -6*(15/9)/(-5). Let h = -191 + 194. Suppose h*b - 10 = 2*p, -9*p - 4*b = -5*p - 20. Solve -f*s = 2*s - 3*a - p, 0 = -2*s + 3*a - 7 for s.
4
Let g be 9/(-6)*32/(-12). Suppose 2*t = 5*s - 23, -2*s - 13 = -s + g*t. Suppose s*c = 2*c + 3. Solve 22 = 4*m - 4*p + 54, c*m + 2*p = -4 for m.
-4
Let a = 7187 + -7182. Solve 0 = 2*m + t, -a*m + 45 = 2*t + 46 for m.
-1
Let d be (-88)/(-32) + (-1)/(-4). Suppose -2*q - 3*z = -3 - 3, 9 = d*q + 3*z. Solve 8*g = 4*g + q*i - 5, 0 = 4*i + 20 for g.
-5
Suppose -2*k - 7 = -7 - 4. Solve -t - 1 = -r - k*t, -4*r + 3*t + 25 = 0 for r.
4
Let y be -5 + 8 + 0/(-1). Suppose 12 = 152*k - 148*k. Solve -3 = -u, -y*i + k*u - 29 = 2*i for i.
-4
Let f(t) = -t**3 - 13*t**2 + 12*t - 28. Suppose 33 + 51 = -6*n. Let s be f(n). Solve -2*z + s + 5 = -5*k, 2*z = -4*k - 22 for k.
-3
Suppose 3*h + 3 = 0, -2*r - h + 1 = -8. Suppose -33 + 23 = -r*p. Suppose -p*k = 5*f - 8, -3 = 4*k - k. Solve n = -f*b + b + 6, 5*n = 3*b + 6 for n.
3
Let n(c) = -c**3 - 4*c**2 + 14*c. Let m be n(-6). Let j(o) = o**2 - 7*o - 6. Let s be j(9). Let z = s + m. Solve z = 2*i + 6, 0 = -3*h - 2*i + i - 15 for h.
-4
Suppose 4*w - 67 = -i, -4*w = -3*w + 3*i - 14. Let r be 2/4*102/w. Suppose 0 = r*f - 6. Solve 2*h - 2*a - 12 = 0, -f*a + a - 14 = -5*h for h.
2
Let w(o) = o**3 + 4*o**2 - 2*o - 1. Let g be w(-2). Let v(y) = y**2 - 15*y + 47. Let z be v(g). Solve 4*a - 6*b + 32 = -2*b, z*b - 34 = 5*a for a.
-5
Let u(z) = z**3 - 16*z**2 + 40*z - 9. Let b be u(13). Suppose b*c + 140 = 5*j, 43 = -j + 2*c + 77. Solve 3*y - 2*v - 15 = -0*v, 3*v + j = 5*y for y.
3
Let o = -264 + 270. Let f be o*(12/(-18))/(-2). Solve -6 = f*r + j + 2*j, -4*r - 4*j = 12 for r.
-3
Let q be 38 + -31 + (-8 - -1). Solve 3*p = -i - 6, q = -3*i - p + 6*p - 4 for i.
-3
Suppose -187*t - 760 = -179*t. Let g = t - -110. Solve -5*o - 22 = 2*p, 0*p - g = 3*o + 3*p for o.
-4
Suppose -2*x + 146 - 135 = -s, -3*x + 34 = -5*s. Solve -x*t = -3*j + 24, 0 = 21*t - 24*t + j - 16 for t.
-4
Let o = 2261 + -2259. Solve -11 - 8 = 2*m - 5*h, o*m = 2*h - 10 for m.
-2
Let p = -160 + 40. Let h = -118 - p. Let f be (-1 - h)*(-1)/(-6)*0. Solve -5*r - 3*a - 34 = f, 9*a - 4*a + 15 = 0 for r.
-5
Suppose k - 30 = 4*k. Let m be (-12)/k*(-75)/(-45). Solve 8 = -m*q, -5*q - 17 = -d + 2 for d.
-1
Let o = 1 - 1. Suppose -5*t + 30 = 2*x - 65, -20 = -4*x. Suppose o = -11*s + t*s - 18. Solve d - 3 = s*y, -3*d - y - 15 = -8*d for d.
3
Let i(j) be the first derivative of j**4/4 + 26*j**3/3 - 59*j**2/2 - 72*j - 91. Let f be i(-28). Solve f = 3*a - 5*s - 0*s, -a + 2*s = -4 for a.
4
Suppose 4*t = -4*z - 36, 110*z - 109*z = 3*t + 11. Let l be (-2 + -19)*(-5)/(-15)*z. Solve -2*d + 4 = 0, -5*j - d - 3*d + l = 0 for j.
4
Let m = 8205 - 8196. Solve -8*b = 3*a - 40, m*b = 5*a + 7*b + 10 for a.
0
Let r = 40 - -37. Suppose -163 = -v + 4*v - 2*a, -5*a = v + r. Let m = 63 + v. Solve h = 2*z - 8, h - 22 = m*h - z for h.
-4
Let l = -20 - 0. Let t(g) = g**2 + 20*g. Let k be t(l). Let m be ((k + -1)/2)/((-4)/56). Solve 0 = 2*x + 2*z + 4 - 18, 4*x - m = 3*z for x.
4
Suppose 0 = -4*p - 0*f + 4*f + 20, 3*f = -3*p + 27. Suppose 3*j = -6*c + 7*c + 5, 3*c + p = 5*j. Solve -2*o + a + 6 = 0, -j*a - 4 = -o - 1 for o.
3
Let x be 15/(4 + -3)*2. Let q be 12/x*20/8. Suppose -q + 20 = 2*m + 5*v, -38 = -5*m - 3*v. Solve -2*d + 29 = 2*w - m*d, -5*w = -3*d - 25 for w.
2
Let q = 24306 - 24304. Solve 2*c - 3 = o, o = -o + q*c for o.
3
Let q(v) = 10*v + 11. Let l be q(0). Suppose 18*r - 83 + l = 0. Let p be (r/(-14))/((-11)/77). Solve b + 0*b - 13 = 5*h, p*h - 5*b + 19 = 0 for h.
-2
Let u(d) = 2*d - 19. Let q be u(7). Let f(n) = -n**3 - 6*n**2 - 4. Let l be f(q). Let c = l + 32. Solve -c*o = -s - s, -4*s + 2 = -5*o for o.
2
Let v be ((-24)/816)/(1/(-4))*17. Solve x = -5*i - 18, -5*i = -2*x - v*i + 3 for x.
-3
Suppose 72 = 14*j - 7*j + 11*j. Solve 0 = 4*o, -4*f + 3*f + 4 = j*o for f.
4
Let y be -42 + 23595/561 + 67/17. Solve y*n - 2*i = -10, -n + 6*i + 20 = i for n.
-5
Let w be (1 - 9/(-3))*12/24. Suppose -12*k - w = -14*k. Solve 0 = -o - 4, 3*o = 2*j + k - 5 for j.
-4
Let f be 4/((-144)/(-117)) - 6/(-8). Solve 3*j - n = 6, 18*j - 14*j = f*n for j.
3
Suppose -17*h = -66*h - 39*h + 176. Let k be ((-4)/(-3))/((-6)/(-63)). Solve 0 = -2*a + h*u - 8, -2*u - k = 5*a - u for a.
-3
Let r be -21 + -2 + 0 + -5. Let d be -3*(1 - r/(-12)). Solve d*p + 10 = -3*m, 0*p = 3*p - 5*m - 7 for p.
-1
Let c(l) = l**3 + 6*l**2 - 9*l - 1. Let y be c(-7). Suppose -y*t + 17*t - 16 = 0. Solve 2*o + 0*o - f = 3, 0 = -5*o + t*f for o.
4
Suppose 0 = -4*c - 24, -10*d = -5*d - 2*c - 22. Solve -d*a - i + 15 = 0, -222*a + 219*a - 2*i + 25 = 0 for a.
5
Let p = 14 - 9. Let u(y) = y**3 - 13*y**2 + 2*y - 4. Let t be u(13). Let r be 0/(4/t + (-280)/(-154)). Solve 9 = -p*d - 3*a, r*d + 2*d = -3*a for d.
-3
Let q = -16305 + 16305. Solve -5*d + q*k - 17 = -3*k, -21 = 5*d + k for d.
-4
Suppose 3*k = 2*c + 22, -4*k + 4*c + 20 = -16. Suppose k - 2 = w, 5*w - 15 = -j. Solve -j*b + 0*b - 15 = 0, 3*b = -3*o - 21 for o.
-4
Suppose 48*g + 136*g - 37*g - 1617 = 0. Solve 0 = -3*k + 4*w + g, 15 = 107*w - 110*w for k.
-3
Suppose 6*f + 11 = 29. Suppose 59*p - 49*p - 62 + 2 = 0. Solve 3*j + p + 2 = 2*h, 0 = f*j + h + 5 for j.
-2
Suppose 2*c = -10, 0 = -4*f + 2*c + 3*c - 255. Let b = -64 - f. Solve 4*p + 4*q = 0, -p - q - b = -3*p for p.
2
Let c(s) = 30*s + 184. Let u be c(-6). Suppose 0 = -u*o + 3*o + 3. Solve 3*x + n = -2*x + o, 14 = 4*x - 5*n for x.
1
Let i(j) = j**3 + 3*j**2 - 6*j - 14. Let w(h) = 2*h**2 - 21. Let g be w(-3). Let a be i(g). Solve -5*u = 3*o + a, -u - 4*u - o = 8 for u.
-2
Suppose -5*n = 0, -n - 39 = -3*v - 2*n. Suppose 4*r - v = -5*u, -12*r - 9 = -9*r. Solve -5*x = m - 0*m + 13, x + 17 = -u*m for x.
-2
Suppose 4*s - 8*s = 2*q - 1326, -5*s = -5*q - 1650. Let t = -316 + s. Solve k - 5 = 2*m, -3*k - t = 4*m - 0*k for m.
-3
Let u(b) = -b**3 - 14*b**2 - 28*b - 29. Let r be u(-12). Suppose r*t - 42 = 15. Solve -4*h + 3*n - 1 = h, -t*n + 3 = -3*h for h.
1
Let h be 15/(-30) + 5/(20/166) + -5. Let v = 4 + -3. Let z be 1/v + (4 - 0). Solve s - 3*m = -z, 4*m + 8 = -4*s + h for s.
4
Let c(o) = 5*o**2 + 90*o - 18. Let a be c(-18). Let p(d) = d**3 + 18*d**2 - d - 13. Let z be p(a). Solve 2*r = z*y - 17, 0 = -3*y - r - 4*r + 4 for y.
3
Let c be (-34)/(-14) - 162/378. Solve a + 2 = 3*o - o, -5*o - c*a = 13 for o.
-1
Let k = 109 + -104. Suppose k*r - 5 = g, 5 = -2*r + r - g. Solve r = -q + 4*a - 12, 2*q - 5*a = q - 14 for q.
-4
Let z(n) = -79 - 3*n**2 - 5*n - 84 + 240 - 77. Let j be z(0). Solve 4*c + j*c - 16 = -2*w, w + c - 4 = 0 for w.
0
Suppose 3*i - 11*n = -10*n + 119, i = -3*n + 33. Suppose -160 = -i*g + 29*g. Solve -4*d - 16 = -2*y - 0*d, 4*d + g = -3*y for y.
0
Suppose -3*a - 2*b - 300 = -439, -4*b = 5*a - 229. Solve 5*g + a = l + 48, 4*g + 8 = -l for l.
-4
Let d(v) = v**3 + v**2 + 4. Let i be d(0). Suppose 6*x - 52 = 2*x + i*w, -2*x + 3*w + 25 = 0. Solve -x = -4*t - 5*k, 2*t - k - 3*k = -6 for t.
1
Suppose q - 12 = -13 + 6. Solve 2*c + 12 = -q*m, 10*m - 6*m - 2*c = -24 for m.
-4
Suppose -2*y - 5*d = -48, 4*y - d + 2*d - 60 = 0. Suppose 3*v = -4*i + 144, 3*i - 60 - 65 = 2*v. Let a = 43 - i. Solve -2*l + x + x - y = 0, -a*x = -12 for l.
-4
Let m(j) be the second derivative of -j**4/12 + j**3 + 13*j**2 - 2*j - 32. Let d be m(8). Solve d = 2*x, 2*x - 14 = -3*u + 5 for u.
3
Let x(d) = -126*d + 638. Let u be x(5). Solve -u*s - 2*z - 10 = -12*s, 4 = 2*s - 2*z for s.
3
Let k = -3714 + 3726. Solve -5*x + z = -7, -17*x + k*x - 5*z = 5 for x.
1
Let l(t) = t - 6. Suppose c + 12 = 4*c. Let n be l(c). Let v be (-5)/n + 2 + (-4)/8. Solve -3*r + v*s = s - 21, 2*r - 19 = 3*s for r.
2
Suppose -16*d - 29*d + 15*d = 0. Solve -5*z + 3*z + 14 = 3*h, d = -5*z + 3*h + 14 for z.
4
Let n = 2308 + -2303. Solve -5*q - 7*u + n*u - 15 = 0, -2*u = q + 11 for q.
-1
Let f(g) = -258*g - 2823. Let i be f(-11). Solve -2*s = 11*m - i*m - 16, -5*m = -4*s + 26 for m.
-2
Let v be 102/(-153)*(1 - 114 - 1). S