= 5*x - 3*c - z for x.
5
Let g(m) = -m**3 - 12*m**2 + 9*m - 21. Let u be g(-13). Suppose 27*q = u*q - 16. Solve q*b = 3*h - 14, 0 = 4*b + 6 + 2 for h.
2
Suppose 22*t - 20*t - 40 = 0. Suppose 0 = 16*b - 6*b - t. Solve -4*y + b*o = -8, 2*y - 4*o + 20 = 3*y for y.
4
Let h = -52 + 7. Let g = h - -48. Suppose -8 = -f - g*f. Solve -s + 2*q = 5 - 4, 2*s = f*q for s.
1
Let s(f) = 7*f**2 + 119*f + 237. Let t be s(-2). Solve 100*j - t = -4*y + 97*j, 5*y = 3*j for y.
3
Suppose -39*h + 5*h + 272 = 0. Suppose h*d = 102 - 6. Solve -5*j = -3*j + 4*t + 6, 2*t = 4*j + d for j.
-3
Let q be (-16905)/(-42) - 1/2. Let m = 408 - q. Solve -2*u = s + 6, 3*s = -0*u - 3*u - m for s.
2
Suppose -462 = 12*s - 510. Solve -20 = 5*d - 5*n, -s*d - 17*n = -22*n + 19 for d.
-1
Let q(t) = -4*t**2 - 46*t + 28. Let s be q(-12). Solve 4*r + s*l = 0, l - 20 = -25 for r.
5
Suppose 0*b + 1455 = -3*b. Let l = -279 - b. Suppose -5*s + 206 = l. Solve i - 1 + 2 = s, 4*i = 2*t - 12 for t.
4
Let v be (-14 - (-1 - 1)) + (65 - 23 - 28). Let y(f) = f**2 + 1. Let c be y(1). Solve c*g + 18 = -2*l, -v*l - 31 = 5*g - 1 for g.
-4
Let x(u) = u**3 - 9*u**2 - 8*u - 23. Let l be x(10). Let r be (-2)/(l*2/12). Solve -5*s + r*w - 3*w = 3, 0 = 3*s - 5*w - 7 for s.
-1
Suppose -10*s + 515 + 1075 = 0. Suppose 155*c = s*c. Solve -k - 3*y - 8 = -c*k, -4*k = 4*y for k.
4
Suppose -2*q + 9092 = 9076. Solve -7*r + 5*w - q = -8*r, -5*w = -r - 2 for r.
3
Let t = 135 + -131. Solve -l + 4 - 11 = -t*c, 0 = -2*l - 5*c + 25 for l.
5
Let j(m) = -11*m + 158. Let w be j(11). Suppose 111 = 3*f - 2*x, -4*f + 2*x + 148 = -x. Let p = f - w. Solve -t - 4*h = p, 0*h + 3 = -3*h for t.
4
Suppose -34*s + 82*s = -21*s + 174*s. Solve s = 2*u + 5*n - 25, -2*u - n = 3*u - 5 for u.
0
Let x(o) = 5*o**3 - 4*o**2 + 4*o. Suppose f = 5*u - 6, 5*u - 6*f - 8 = -3*f. Let i be x(u). Solve 5*v - 8 = j - 33, i*j = -v + 21 for v.
-4
Suppose 509*f - 2645 = 394*f. Solve -24 = -3*b + 7*b - 2*d, 0 = 5*b + d + f for b.
-5
Let v be ((-4)/(-6))/(19 - 336/18). Solve -5*k - 29 = 2*d, v*d - k - 6 = k for d.
-2
Suppose 0*n - 10 = 5*n + 5*d, 5*d = 15. Let v be -1*(-3)/(1/n*-1). Solve -3*c - t - t = -25, t = -2*c + v for c.
5
Suppose 217 + 35 = 126*y. Solve 3*u = 7*o - 2*o, -y*o + 1 = -u for o.
3
Let b = -43 - -47. Let c(y) = 5*y - 3*y - b*y**2 - 8*y**2 - 2 + 16*y**2. Let u be c(2). Solve -2*f + 3*i = -4 - 4, u = -5*f - 2*i for f.
-2
Let f(b) = b**3 - 16*b**2 + 16*b - 11. Suppose 0 = -5*g - g + 90. Let q be f(g). Solve 0*s - 8 = q*s + 5*n, 0 = -n for s.
-2
Let n = -227932 + 227935. Let u = -10 - -24. Let r = 3 + u. Solve 2*i - r = a - 3*i, -2*a + n*i = 6 for a.
3
Let t(h) = 9*h**2 - 2*h - 12. Let w be t(-3). Suppose 30*o = 15*o + w. Solve 0 = -3*n - o*p - 5, -2 + 18 = 4*n + p for n.
5
Let z(l) be the second derivative of l**3 - 4*l**2 - 12*l. Let t be z(2). Suppose t*a - 12 = -3*c + c, -a - 2 = 3*c. Solve -a*i = -5*s, -s - i - 3*i = 0 for s.
0
Let c be -4*((-104)/(-16) + -8 + 0). Solve 5*n + 9 + c = -4*t, 3*n - 2*t - 13 = 0 for n.
1
Let s(w) = w**3 + 8*w**2 - 3*w - 5. Let z be s(-8). Let r be 24/10 - (-5)/75*9. Let g be (-2 + 1)*(-8 - (-12)/2). Solve 2*v = q - g, -3*q + z = r*v + q for v.
1
Suppose -7*k + 12 = -23. Suppose k*u + 7 = 62. Solve 4*i - i + 8 = z, -z = -4*i - u for z.
-1
Suppose -2*y = 3 - 7. Suppose y*w + w + 3*i - 147 = 0, 4*i = 12. Let o = 46 - w. Solve 0 = -4*m - m - 3*r - 3, -3*m - 4*r + 7 = o for m.
-3
Let y be (2 + 2)/2*2. Let k(r) = 2*r**2 + r. Let n be k(-1). Let w be n/1*-8*(-4)/8. Solve y*j = -2*o - 12, -2*o + w*o - j - 13 = 0 for o.
4
Let s(v) = -496*v - 2972. Let z be s(-6). Solve 0 = -l + 6 - 5, 5*u - 4*l = -z for u.
0
Suppose -14*d - 59 = 7*d - 332. Solve -9*o + 4*o + 5*m + 40 = 0, -o = -2*m - d for o.
3
Suppose -3*k - 42 = 3*d, -28*d + 32*d + 58 = -3*k. Let t = 0 + 4. Solve t*j = -m + 6, m - k*m = 2 for j.
2
Let i = -18082 + 18085. Solve 0 = 4*r + z - 5, -i*z - 13 = -2*r for r.
2
Suppose -28 - 32 = -4*r. Suppose -2*n + r = -3*s - 8, -5*n + 95 = 5*s. Solve -2*i = -5*t - n, -5*t + 0 = 5*i + 30 for i.
-2
Suppose 4*x - 13*x + 81 = 0. Suppose x - 21 = -c. Suppose -c*l = -10*l. Solve -6 = -2*i, -5*w - 14 = -l*w + 2*i for w.
-4
Let q be (-656)/(-66) - (-20)/2970*9. Solve 4*h - 17 = 5*b, 5*h + 0 = -5*b + q for b.
-1
Suppose -2455 = 4*y - 3*l, -5*y - 2915 - 177 = 4*l. Let k = 628 + y. Solve 4*u = 4*s + k, 7*s - 2*s = -3*u - 31 for u.
-2
Let u be 54/378*((-154)/(-7) - 1). Solve z = -2*r - 1, 16 + u = 5*z - 2*r for z.
3
Let j = 12 + -173. Let r = j + 270. Suppose 0 = -4*l + 3*f + 111, r = 4*l - 0*f - f. Solve l = 5*m - 3*y + 4, -4*y - 8 = -m for m.
4
Suppose -345 = -87*d + 18*d. Solve 5*b + 5*i - 6*i = -9, 5*b + d*i = 15 for b.
-1
Let c = -2792 + 2795. Solve 27 = -4*w + 5*j, -7*w + 11*w - c = -5*j for w.
-3
Let p(z) = -2*z**3 + 3*z**2 + 13*z - 7. Let k be p(3). Solve -k*q - 5*w - 11 = -46, -3*q = w - 17 for q.
5
Suppose -q = -4*l + 1, 3*l + 3 = -5*q + 21. Solve 3*u + 3*z = q, 29*u - 30*u + 16 = -4*z for u.
4
Let i(y) = -5*y - 17. Let l be i(3). Let b = l - -34. Let q be b - (-4 + (8 - 5)). Solve q*d - 2*t = -2, 29 = d + 5*t + 7 for d.
2
Let x(i) = -3*i**2 - 5*i + 6. Let z be x(-2). Suppose z*o - 22 = 10. Solve 2*f - 10 = -3*v, -v - o - 2 = -2*f for v.
0
Let k(d) = -3*d - 4 - 21 - 1 + 7. Suppose 2*l = l - 8. Let r be k(l). Solve 2*f = -2*f - 2*a - 16, 0 = 4*f - r*a + 2 for f.
-3
Let n(o) = -23*o - 29*o + 49*o + 43. Let f be n(8). Solve 4*s - w + 4 = -5*w, 2*s - f = 5*w for s.
2
Suppose 2*p + d = 7, 4*d - 3 = -2*p + 7. Let x = 587 + -585. Solve 5*l + 0*y - 12 = -x*y, -3*y - p = -3*l for l.
2
Let x be (-1)/7 - 22512/(-147). Let c = -151 + x. Solve 2*n + c + 8 = -5*m, 0 = 5*n for m.
-2
Suppose 5*j + 33 = 3*r + r, 5*r = 5*j + 35. Let a(b) = -b**3 + 10*b**2 + 3*b - 30. Let d be a(10). Solve -20 = 3*q - q - 5*t, d = r*t - 8 for q.
0
Let a = 16 + -14. Let k(g) = -15 + 24*g + 15 + g**2 - 107. Let o be k(-28). Solve -a*i = -0*i - o*x - 2, 3*i + x - 3 = 0 for i.
1
Let y be (-9 + -1)*11/(88/16). Let x = -18 - y. Suppose 5*b = 2*b + 12. Solve h = x*g + g, -g = -b*h for g.
0
Let b(i) = 999*i + 4999. Let a be b(-5). Let c = 4 + -1. Solve -4*s = c*m - 8, -4*m + 2*s = -0*s + a for m.
0
Let y be 10/25 - 17/5. Let h(d) = -d**3 + 7*d - 3. Let k be h(y). Let a be ((-4)/k)/(14/(-63)). Solve 4 = 5*w - p - a, 3*w + p - 14 = 0 for w.
3
Let i = 13732 + -13729. Solve -y - 8*t + 9*t + 2 = 0, 4*y = i*t + 8 for y.
2
Let d(z) = -z**2 + 13*z + 29. Let o be 4/8 - (-29)/2. Let y be d(o). Let w be (y - (-8)/12)/((-4)/48). Solve b + x + 7 = -2*b, 5*x = -w*b - 13 for b.
-2
Suppose 0 = -2*y - 2*s + 2, -29*y + 9 = -20*y + 3*s. Solve -f + y = 2*h, -4*h - f - 7 = -8 for h.
0
Let y(n) = -n**2 + 6*n + 5. Let x be y(6). Suppose -x*z = -7*z + 8. Suppose -3*w - w = 4*k - 48, -z*k + 13 = -w. Solve -3*p - 4 = -t, w = -2*t - 5*p - 18 for t.
-5
Let v(c) = 4*c**2 + 81*c + 300. Let x be v(-4). Solve 3*f - 6 = -3*p, 0 = -p - 39*f + x*f + 6 for p.
4
Let v(w) = -w**2 + 8*w - 9. Let y be v(6). Let c(k) = -3*k - 109. Let g be c(-21). Let l = -41 - g. Solve 0 = -5*r + 2*r - 3*n + y, r + l*n + 15 = 0 for r.
5
Let q(u) = -u**2 + 31*u - 55. Let p be (-2*1/8)/(12/(-96)). Let o be q(p). Solve 3*s = o*n + 24, -n + 5*s - 6*s = 0 for n.
-4
Let c = 3289 - 3278. Let s be 2/(-5) + (-132)/(-30). Solve 9 = q - d, 6*q + c = 5*q - s*d for q.
5
Let b be 46/4*(-7)/((-7)/6). Let m = b + -65. Let f = -4 + 4. Solve 4*l = 3*s + 11 + 3, f = -m*s + 3*l - 14 for s.
-2
Suppose x - 16 = -5*t + 33, -265 = -4*x + 3*t. Let j = 70 - x. Suppose h + 5*c + j = 0, 0 = h - 2*h - c + 2. Solve -5*y + 4 = w + 3, -11 = 5*y + h*w for y.
1
Let p(v) be the first derivative of 3*v**2/2 + 10*v + 16. Let x be p(4). Suppose x = -5*u + 32. Solve -4*a - 18 = -m, 4*m = 3*a + u*a + 28 for m.
2
Let o(s) = 6*s - 14. Let z(i) = 4*i - 22. Let b be z(6). Suppose 4*g - 8 = b*v, v - 5*g + 36 = 5*v. Let m be o(v). Solve 0 = 5*y - m, -3*j + 5*y + 6 = 1 for j.
5
Let y(m) = 31*m + 36. Let u(q) = -6*q - 7. Let x(v) = 11*u(v) + 2*y(v). Let d = -39 + 33. Let r be x(d). Solve 5*f - 4*j = 23, j + 4*j + r = 3*f for f.
3
Let d(x) = -60*x - 2. Let u be d(-3). Suppose -174*f = -u*f. Solve f = 3*r - 8*r + 5, -5 = 2*g + 5*r for g.
-5
Let z = 20 + -20. Suppose 2*i = -z*i + 8. Suppose -i*h + 5 + 11 = 0. Solve r = -o + h, o - 11 = 5*o - 5*r for o.
1
Let s(z) = 20*z - 152