n = -a*n - h + 7, h = -4*n + 16 for n.
3
Let g(w) = -2*w - 4. Let p be g(-4). Suppose -12 = -h - c, h + 5*c + 66 = 70. Solve -p*k - 5*i + 5 = -k, -2*k + i = h for k.
-5
Let h(j) = j + 9. Let r be (3 - (10 - 4)) + 8. Let x = -5 + r. Let q be h(x). Solve 0 = 5*i - 2*a - 23, a - q = -2*i + 2*a for i.
5
Suppose 11*k = 12*k + v - 9, 4*k + 2*v = 48. Solve 3*o = 2*q + k, 2*o + 5*q + 15 - 6 = 0 for o.
3
Let m(j) = j**2 + 382*j + 591. Let q be m(0). Solve -16 = 588*s - q*s - 4*x, s - 20 = -5*x for s.
0
Let r = -165 - -145. Let p = -48 - -32. Let z = p - r. Solve z*o + 4 = 4*y, 0*y + y + 4*o = 16 for y.
4
Let f be -13 + (1050/10)/7. Let o(r) = -r**3 - 3*r**2 + 4*r - 2. Let q be o(-4). Let n be (q - -1)*1 - -1. Solve 5*m - 5 = g - f, n = m for g.
-3
Let x = -1199 + 1201. Solve x = s, -4*s + 6 = 4*p - 10 for p.
2
Suppose 4*x - 5*k + 30 = 0, -22*x + 20*x - 18 = -k. Let r be 14 + x + (-1 - -1). Solve -r*f = 5*w + 29 - 9, 0 = -3*f for w.
-4
Let j(q) = -5*q**2 - 2*q + 263. Let t be j(7). Solve l + 5*u = 3*l + 3, t*l + 5*u + 21 = 0 for l.
-4
Let r(o) = o**3 + 17*o**2 + 65*o - 31. Let l be r(-7). Solve -l = -2*t, -4*m + 3*t - 6 = m for m.
0
Let c = 220 - 175. Let y = -41 + c. Solve 7 = 2*s + 5*h, 0 = y*s + h - 3 - 2 for s.
1
Let o = -631 + 634. Solve -96*w + 91*w + 15 = 5*z, 0 = o*z - 4*w - 2 for z.
2
Suppose -j - 1 + 1 = 0. Suppose 4*n + 23*n - 54 = j. Solve -5*w - 4*o = -2*w - 28, -2*w + 16 = n*o for w.
4
Let q = 830 + -816. Solve 23 = 2*t - 5*a, -35*a = 5*t - 33*a - q for t.
4
Let k be 0/2*13/104. Solve -3*w + 2*g + 7 - 16 = 0, w - g + 3 = k for w.
-3
Suppose 7*g = -565 + 691. Solve 0 = -3*y + 3*z - 6, 0 = 3*y - 4*z - 7 + g for y.
3
Let m be ((-1)/2)/(4 - (-534)/(-132)). Suppose -297*t = -285*t - 36. Solve -3*i + 2 = -2*y, t = 2*y + m for i.
-2
Suppose -g + 27 = 5*f, f - g - 23 = -4*f. Solve -10*d + 9*d + 5 = -m, f*d = -4*m + 25 for m.
0
Let d(t) = 159*t - 157. Let n be d(1). Suppose 15 = 6*o - o. Solve o*z + 3 = -3*g, 0 = -8*z + 3*z + n*g - 12 for z.
-2
Suppose -425 = -25*n + 275. Suppose 4*p = -5*f - 25, -25*p - f = -n*p + 5. Solve -3*c + p - 5 = 2*d, -4*c = -3*d + 18 for c.
-3
Let z(f) be the first derivative of f**2/2 - 8*f - 342. Let b be z(20). Solve b = -3*k - 3*l, -l + 8 = -2*k - 5*l for k.
-4
Let a(n) = -n**3 - 30*n**2 + 4*n + 124. Let h be a(-30). Solve -p = u - 3, -p = -u - 3*p + h for u.
2
Suppose 4*f + 4*m + 217 - 281 = 0, -2*f + 26 = -4*m. Solve 0 = -5*x + 7*g - 2*g + 35, 3*g + f = 0 for x.
2
Suppose -26*a + 427 = 208 + 141. Solve 31 = 5*o - a*b, 0 = 4*o + 392*b - 390*b - 16 for o.
5
Let x be (2 + 4/(-3))*(5 + 1). Let v be (0/2)/(2 - x). Suppose -4*m + 5 = -2*m - r, 0 = 3*m + r - 15. Solve -m*i + 6*t + 17 = 3*t, v = 3*i - t - 9 for i.
2
Suppose -5*w - 1066*z = -1064*z + 16, 4*w = z + 8. Solve 5*l + 2*m + 39 - 10 = 0, -3*l - 5*m - 25 = w for l.
-5
Let u = -2 - -4. Let w = -74 + 163. Suppose -w*j - 40 = -97*j. Solve t = j*b - 0*t - 17, -u*b = -t - 5 for b.
4
Let j(h) = -5*h - 22. Let k be j(-5). Let l be (-1 - -1*k)/((-12)/(-102)). Suppose 7 + l = 6*b. Solve 5*m + 2*v = -2 - 3, -4*m = -2*v + b for m.
-1
Let f(b) = -4*b**2 - 11*b + 6. Let t(o) = 6*o**2 + 11*o - 7. Let q(j) = -5*f(j) - 4*t(j). Let n be q(2). Solve -5*c - 2*w = -4*c - 9, 12 = -4*c + n*w for c.
1
Let m(i) = i**2 + 55*i + 617. Let h be m(-40). Solve 0 = 4*q + 3*y - 7, h*q - 3*y = 22*q - 5 for q.
-2
Suppose -9*c + 218 - 191 = 0. Suppose g - 3 - 1 = 0. Solve -h - g = -4*z + 4, c*z = -4*h + 6 for z.
2
Suppose 62*a + 976 = 173*a + 88. Solve 0 = -4*q - 5*f + 2, 0*f = -2*q + f + a for q.
3
Let q = -8934 - -8936. Solve v + 5 = 0, q*v = -5*n + v + 15 for n.
4
Let w(y) = y**3 + 7*y**2 + 6*y + 4. Let h be w(-6). Suppose 3*k + 6 = 3*n, -10*k = n - 9*k - h. Solve n*d = 5*b - 26, 2*b - 20 = 5*d - 2 for d.
-2
Suppose 54*n - 52*n = 6. Suppose n*t = -5 + 11. Suppose 0 = -10*f - 22 + 62. Solve 0 = h, -2*m + f*h + t = -0*m for m.
1
Let h be (-57)/(-2) + 3/6. Suppose -h = g - 35. Solve -5*i - 4*m - 23 = -g*m, -4*i - m - 8 = 0 for i.
-3
Let k = -43592 - -43602. Solve -x + 3 = -2*v, 0 = -5*v + v - 2*x - k for v.
-2
Suppose -104 - 396 = -2*l. Suppose -i + 258 = l. Suppose -6*s = -20 + i. Solve -5*g + 3*b + s*b - 25 = 0, 0 = -g - 2*b - 5 for g.
-5
Let y = -4 + -43. Let l = -45 - y. Solve 5*j + 2*g = j + 2, l*j = g + 11 for j.
3
Suppose 192 = 5*x - g, 90 + 54 = 4*x - 4*g. Suppose 6 = 2*d, -d + x = k + 31. Solve -2*a - 4*h = -4*a + 12, -k*h = 25 for a.
-4
Suppose 2*t = 19 - 13. Suppose -3*d + t*d = 5*d. Suppose 6 = 2*g - 5*s, d*s = -4*s. Solve -g*m = -4*m + c - 2, 4*m + 2*c = 10 for m.
1
Let n = -80 + -80. Let b be 4*8/n*(-1 - 24). Suppose -2*x - 23 = t - 6*t, -t - 17 = b*x. Solve t*i = -3, 4*d - 2*d = 5*i + 15 for d.
5
Let c(m) = m**2 - 3*m - 10. Let x be c(-2). Solve a - 5*f + 4*f - 10 = 0, x = 2*f + 10 for a.
5
Let q(l) = -l**2 - 41*l - 111. Let u = -331 - -293. Let v be q(u). Solve 9 = -r + 2*r - 2*y, -v*r = 2*y - 3 for r.
3
Suppose 0 = -25*k + 8824 - 8724. Solve -3*i + 2*h + 6 = 0, 5*i - 2 = k*i + 5*h for i.
2
Let o = -199 + 197. Let s be (5 - (o + 0)) + -1. Solve 3 = 4*i + h - s, 4*i - 15 = h for i.
3
Let k = 5964 - 5963. Solve -k = -11*u + 10*u, 4*q + 3*u = 19 for q.
4
Suppose 0 = -2*c + v + 2002, -16*c + 13*c + 4*v = -3008. Let z = c - 997. Let d be (5/4)/(2/8). Solve t + d = 3*y, -4*t = -5*t + 2*y - z for t.
1
Suppose -99 = -9*q - 99. Suppose -3*i + 5*t + 85 = q, -4*i - 5*t + 15 = -2*i. Let u be 0 + 2*(2 - 0). Solve -5*k + 2*k = u*s + i, -8 = 4*s for k.
-4
Suppose -1260*g + 3*a - 59 = -1264*g, -46 = -3*g - 4*a. Solve 18*r - 32 = 5*p + g*r, -5*r = -2*p - 23 for p.
-4
Let p(z) = -7*z + 1. Let n be p(-1). Let l(r) = -r**2 - 4*r - 100. Let q be l(0). Let c = -79 - q. Solve -n*y + c = -3*y - 4*h, 2*y = h + 9 for y.
5
Let s = 93 - 82. Suppose x + 2*p = 5 - s, 3*x = -3*p - 3. Let v be (8 - 5) + (2 - 0). Solve -2*m - 2 = x*n, -v*n = -0*m + 3*m for n.
-3
Let b = -627 + 644. Solve -x = -5*v + 10*v + b, -4*x - 20 = 4*v for x.
-2
Suppose 0 = -5*k + 8*k - 9. Suppose -5*o + 26 = -c, -4*c - k*o + 2*o - 62 = 0. Let u = c + 17. Solve -6 = 3*j + 3*p, 23 - u = 3*j - 4*p for j.
2
Let f(l) = -3*l + 2. Suppose 0 = 10*w - 26*w. Let m be f(w). Solve -3*c = 4*j - 24, 2*j = -2*c + 4*c - m for j.
3
Let z(k) = -791*k + 46 - 40 + 52 + 794*k. Let i be z(-18). Solve -5*f + 21 = 4*q, 3*q - 3 = 5*f + i for f.
1
Suppose -4*z - 11 = -4*l - 5*l, -15 = -5*l. Solve -3*w - 3*b - 30 = 0, z*w + 12*b - 10*b = -30 for w.
-5
Let w = 42 + -2. Let z = -40 + w. Let f be (z - (-7)/7)/(-1 - -2). Solve 0 = 3*l + 2*i + f, 15 = -3*l + 2*i - 2 for l.
-3
Let g be (-5)/(45/(-6)) - (783/81 - 10). Solve 2*a - 2 = n, 25*n + a = 20*n + g for n.
0
Suppose 2 = -l, -d - 64 = 5*l - 56. Solve 4*s + 4 = j + d, 3*s + 4 = 2*j for s.
0
Suppose 106*g = 41*g + 40*g + 475. Solve -27 = l - 3*t - g, 2*l + 4*t - 4 = 0 for l.
-2
Let k = 2 - -2. Suppose -9*n = -6*n - 15. Suppose 0 = -n*b + p + 24, 0*p - 3*p = 3*b. Solve -b*i - y + k*y = -5, 0 = 5*i - 5*y - 10 for i.
-1
Let c(a) = 46*a - 211. Let q be c(5). Suppose -76 = -4*h - p, 2*h = -p - 0*p + 36. Solve 4*b = 2*b + 5*u + h, 0 = -5*b - 3*u + q for b.
5
Let w(f) = f**2 + 81*f + 440. Let p be w(-5). Suppose -10 = -4*x + 6. Suppose -2*b + k = -p, x*k + 4 = -4. Solve 1 = o + t, 3*t + b = 3*o + 2 for o.
5
Let d(c) = -3 + c**3 - 18 - 4*c**2 + 386*c - 401*c. Let w be d(7). Solve -5*r + 3*m - w = 0, r = -m - 0*m - 1 for r.
-3
Let l be (-16)/4 - (-11 - -4). Solve 4*i + l*j = -14, -9 = -3*i - 5*j - 14 for i.
-5
Let h = -2635 + 2639. Solve -5*s - 5*a = -5, h*s - 4*a = -7*a + 6 for s.
3
Let b = 9 - 58. Suppose -n - 110 = -2*h - 10, 2*n + 47 = h. Let f = h + b. Solve -2*g - 6 = f*u, -9 = -0*u + 2*u - g for u.
-4
Let l(i) = -20*i + 7. Let m be l(9). Let r = m + 177. Solve 0 = -k + j - r, -4 = -3*k + 4*j - 17 for k.
-3
Let b be (-40)/(1/(-4)*(-8)/(-36)). Let w = 722 - b. Solve w*s + 0*s = -2*p + 2, 0 = 5*s + 3*p - 5 for s.
1
Suppose 192 = 3*u - 108. Let h = 167 - u. Suppose 0 = 5*l - h + 7. Solve 4*f - 2*r + l = 0, -7*f + 2*f + 5*r - 5 = 0 for f.
-5
Let s(y) = y**3 + 19*y**2 + 57*y + 147. Let l be s(-16). Solve r - 2 = -3*x - 21, l*x + 23 = -2*r for r.
-4
Suppose -31 = -7*z + 4*z + 2*n, 5*z = -3*n + 58. Solve c = -y, z*y - 12*y + 10 = 3*c for c.
5
Let o = 2825 - 2832. Let y(v) be the second derivative of -v**5/20 - 7*v**4/12 + 5*v**