 7*a - 18. Let i be h(-3). Let d be 0 + i + -7 + (6 - 3). Solve 0 = 4*f - 3*p - d, 4*f + 2*p - 6 = 2*f for f.
5
Suppose 0 = -10*m - 4*m + 1568. Suppose -3*d = 112 - m. Let j be d - (-2 + -1) - -1. Solve -j*q = z + 4, 0 = -2*z + 4*z + 2*q + 2 for z.
0
Let c = -3309 - -3313. Solve 4*n = c*l - 28, 4*l - 17 = 2*n + l for n.
-4
Suppose -3*y + 21 - 18 = 0. Let w be ((y - 0) + -1)/((-87)/(-87)). Solve -n - 6 = t - 3*n, t + 3*n - 4 = w for t.
-2
Let v(f) = f + 6. Let i be v(10). Let j = -126 + 134. Suppose -4*t + j = t + 2*y, 0 = -4*y - 4. Solve 4*u = 2*l + 8, -4*l - t*u - i = 3*u for l.
-4
Suppose -t = 2*s - 13, 0 = -3*t + 452*s - 455*s + 24. Solve -w - t*g = -14, 4*w + 69*g - 21 = 64*g for w.
-1
Let j be (1/(-3))/(3/(-1287)). Let q = j - 133. Solve 2*h + 8 = 4*z - q, -4*z - 12 = 4*h for z.
2
Let m be (-24)/32 + -3*18/(-8). Solve -l - 4*u + 23 = 0, -m*l = -4*l + 2*u - 16 for l.
3
Suppose 21 = 4*m + b, 0 = 3*m + 3*b - 2 - 25. Suppose -156*q + 230*q = 148. Solve m*g - q = 3*h + 9, -h = -3*g + 7 for h.
-1
Suppose -1078 = -142*z + 62*z + 1002. Solve -2 = -2*j + 24*b - z*b, -b = 3*j + 1 for j.
-1
Let v(c) = -c**2 - 15*c - 68. Let q(p) = p**2 + 14*p + 67. Let y(i) = -2*q(i) - 3*v(i). Let a be y(-7). Solve -3*d + 3*f = 3, d + 4 = -a*f - 2*f for d.
-2
Let z(b) = -b**3 + 40*b**2 - 138*b - 214. Let d be z(36). Solve -5*m - 28 = d*o, 2*o = o - 5*m - 24 for o.
-4
Suppose 22*h + 16 - 181 = 7*h. Solve k = 5*z - 6, 4*z - 9 = 16*k - h*k for z.
1
Suppose -1162 = -43*q + 1934. Let f be (5/30*-3)/((-4)/q). Solve -3*d - f = 2*l + l, d = 1 for l.
-4
Let n(m) = 1. Let x(s) = 3*s. Let q(z) = -4*n(z) + x(z). Let r be q(3). Suppose 9*t = r*t + 96. Solve 3*b = -3*g - t, 0 = 3*b + 12 for g.
-4
Let p(c) be the first derivative of -c**3/3 + 21*c**2 - 38*c - 103. Let v be p(41). Solve -v*u + 3 = -3*o, 5*o - u - 1 = 2*u for o.
2
Let i(o) = 67*o + 1812. Let t be i(-27). Solve 0 = -k - 52*h + 57*h - 16, t*k + 4*h = 9 for k.
-1
Let u = -9259 - -9263. Solve -3 = -k + p - 5, -u*k + 5*p - 7 = 0 for k.
-3
Let h = -4 + 6. Let q(v) be the first derivative of -2*v**2 + 32*v + 13. Let l be q(8). Solve l = -s + h*b + 6, -2*s - b - 5 = -3*s for s.
4
Suppose -y = -4*y - 36. Let q = 12 - y. Let w be (q/(-60))/((-2)/110). Solve 2*x = 4*o + 20, -3*o + 8*x - w = 3*x for o.
-4
Let g be 12 + -10 + 1 + -4 - -5. Let m be 4 + -4 - -1*g. Suppose m*x + v = 0, v = -4*x + 3*x. Solve -4*h = -h + 5*s - 5, x = 4*s - 16 for h.
-5
Let p(d) = 5*d + 45. Let b be p(-8). Suppose -o = k - b*k + 20, -4*k + 3*o = -12. Solve -7*q + k = 3*t - 3*q, -4 = -2*t - q for t.
2
Suppose 5*f = -6*o + 2*o, 5*f + 45 = 5*o. Let x be 1 - (12/4 - 5). Suppose -w = b - 6, -x + 18 = 5*w. Solve -5*u = -o*d - 6*u - b, 0 = -5*d - 3*u - 9 for d.
0
Let f = 149 + -145. Suppose -f*m + 75 - 63 = 0. Solve 2*g + 10 = 0, g = -3*x - m*g - 32 for x.
-4
Suppose -5*c - 2*u + 22 + 10 = 0, 3*c + 3*u = 30. Solve c*r = -2*w + 28, -4*r = w - 3*w - 12 for r.
5
Suppose 13 - 24 = -8*x + 21. Solve -31 = 2*p + 3*p + x*f, -8 = -4*p + 5*f for p.
-3
Suppose -4*p + 13 = 1. Suppose 492*x + 230 = 538*x. Solve -5*b + 0*o = -o - 17, -27 = -p*b - x*o for b.
4
Let q be 1/((-4)/33*27/(-36)). Solve -t = -3*l - q, -10*t + 6*t + 22 = -l for l.
-2
Let r(z) = z**2 - 2*z - 1. Let m be r(6). Suppose -17*o - 84 = -m*o. Solve -c - o = -4*q + c, 5*q - 5*c = 20 for q.
3
Let b = 808 - 805. Let c be 5 + (0/3)/(-3). Let w(n) = 3*n - 7. Let z be w(c). Solve 5*d - 5*m = 20, -b*d + z = -3*m + m for d.
0
Suppose 0 = 2*u + 5*u + 14. Let r be 5 - u/6*-6. Let p be 8*((-21)/(-6) - r). Solve -5*j + 9 = -4*m, 3*j - 10 + p = 3*m for m.
-1
Let m be (-170)/3*(208/20 - 2). Let g be 6/8 - m/112. Suppose 0 = 5*x + 11 - 21. Solve q + 3*w = -6, -x*w + g = 5*q - 4 for q.
3
Let s = -9 - -21. Let r = s - 4. Suppose 4*y - 13 = -144*g + 147*g, -2*g + y + 3 = 0. Solve 5*j + 20 = -5*z, -g*z + 7 = -2*j - r for j.
-5
Let g be 6/10 - 3392/(-80). Suppose g*t - 24 = 40*t. Suppose 10 = 7*h + 3. Solve t = 4*q - i, q - 4*i + h = 18 for q.
1
Suppose 3*z - 30 = 4*x, -4*z + 27 = z + x. Let j = 67 + -65. Suppose j*c = -2*q, -c + 3*q + 7 = -5. Solve m - 5*u = 22, m + 16 = -c*u + z for m.
2
Let c = 18095 - 18077. Solve 10 = 4*o + c, -3*g + 3*o = 0 for g.
-2
Let k = -684 - -675. Let z be 8*k/((-72)/5). Suppose 0*m - 32 = -2*m. Solve -z*d - 27 = -3*y, 12 = -4*d + 4*y - m for d.
-3
Let z = -51 - -60. Suppose -4*m = 2*v - 14, -41 = -4*m + 4*v - z. Let d be m + (4 + -13)/(-3). Solve 3*o + 18 = -2*w + d*o, 3*w = -5*o + 23 for w.
1
Let r(y) = y**3 - 3. Let c be -1 + 4 + -5 + 4. Let d be r(c). Let w be (-7 + d)/((-8)/52). Solve -o + 9 + 10 = -4*a, -2*a - w = 3*o for o.
-1
Suppose -3*p - 41 = -4*u - 7, u = 4*p + 15. Solve -2*n - 12 = 5*b + 19, b - u = 4*n for n.
-3
Let c(y) = -y + 23. Suppose 17 = 5*j - 83. Let t be c(j). Suppose -f - 3 + t = 0. Solve 4*v - 2*m + 5*m - 5 = f, 2*m = -v for v.
2
Let f(n) = 4*n**3 - 5*n**2 + 3*n + 5. Let r(j) = -j**3 + j**2 - j - 1. Let l(g) = f(g) + 3*r(g). Let b be l(2). Solve y + 5*z - b = 5*y, z = y for y.
2
Suppose -11 = r - 53*a + 49*a, -4*r + 8 = -3*a. Solve -5*k + y = -6 - 19, 37 = 3*k - r*y for k.
4
Suppose -3*v + 11 = 32*c - 33*c, -2*v - c = -14. Solve -k = -v*k - 12, -13 = -4*n - k for n.
4
Let k be 4214/182 + -23 + (-74)/(-26). Suppose 9 = 2*h - 15. Solve 3*o + 4*r = -0*o - 11, 0 = o + k*r + h for o.
3
Let j = 573 - 566. Let h(a) = -a**2 + 7*a + 5. Let l be h(j). Solve -l*p + m = 10, p = -5*m - 0*m - 2 for p.
-2
Let u(h) = 16*h**2 + 7*h - 9. Let q be u(1). Solve 1 = 4*x - 3*v, q*v - 13*v = x - 1 for x.
-2
Let h(g) = 4*g**2 + 94*g - 45. Let s be h(-24). Let u = -5 - -9. Solve 0 = -u*c - 4*q - q - 11, 3*c + 9 = -s*q for c.
-4
Suppose 7*h - 8*h + 150 = 0. Let g = h + -106. Suppose g + 24 = 4*s. Solve 0 = w + 4*l + s, -2*w = -2*l - 7 + 1 for w.
-1
Let o(f) = f**2 - 18*f + 20. Let b be o(16). Let t = b - 5. Let i = 21 + t. Solve 0 = 2*u + u + i*m + 25, -7 = 5*u - 2*m for u.
-3
Suppose 14*d = 6*d - 48. Let u be d/(3/(-30)*4). Solve -z - 22 = 3*w + w, u = -5*w + 5*z for w.
-5
Let p be 8 + (0 - 6) + -2. Suppose p = 5*u - 2*z - z - 26, 2*u - 14 = 3*z. Solve 36 = 4*y + 4*f, 2*f + f = u*y - 8 for y.
5
Let r be 0/(-4*2/(-4)). Let i = 219 + -201. Suppose -15 + 69 = i*b. Solve -b*g + 2*o - 16 = r, -g + 2*g + 10 = 3*o for g.
-4
Let d(l) = 22*l + 312. Let x be d(-13). Suppose 0 = -x*w - 53 + 469. Solve 4*k - 20 = 4*p, -3*p + 3*k - w = p for p.
-1
Let j(x) = -x**3 + 4*x**2 - x + 35. Let b be j(5). Solve -3*o - 7 + 3 = 5*d, 12 = b*o - d for o.
2
Let h(w) = 13*w**2 + 12*w - 9. Let j be h(-2). Solve -5*b - 4 = -4*l - 3, -j = -l - 5*b for l.
4
Suppose 22*q = 18*q + 472. Suppose q = -x + 133. Solve x = r + 5*f, -2*r = -7*f + 2*f for r.
5
Suppose 2*g + 12 + 13 = 3*i, -5*i + 4*g + 45 = 0. Let z be 720/315 + (-6)/21. Solve -i*s = 2*f - 4*s - 6, 4*s = -z*f + 6 for f.
3
Let u be 14/1 + ((-1859)/13)/13. Solve -o = l - 1, 4 = u*l - 0*l + 2*o for l.
2
Let h(c) = -58*c + 2678. Let o be h(46). Solve 2*g + 5*v = 10, -8*g - 5*v = -7*g - o for g.
0
Let g be 2 - 6 - (-7 - -1). Let i = -11 + -1. Let s be 3/g*(-16)/i + 10. Solve -3*m - 4 = -2*o - 0*m, -4*o = -m + s for o.
-4
Suppose -10 + 62 = 23*z - 40. Solve 0 = 4*g + 2*b, 0 = g - z*b + 3*b + 6 for g.
-2
Let r = 555 + 377. Let t be 46/299 + r/26. Solve v + 3*i = 2*i - 1, 4*v - 4*i = t for v.
4
Suppose 3*s - 138 = -4*a, 23 + 21 = a - 4*s. Let c = a - 33. Solve -2*m - 4*z = 4, -5*m + c*z + 11 = -5 for m.
2
Let u = 4718 + -4715. Solve -2 = -2*h + c, 0 = -3*h + 3*c + u for h.
1
Let j(c) = c**3 + 18*c**2 + 18*c + 17. Suppose -x = 23 - 6. Let n be j(x). Solve -5*y + y = -2*g - 4, -2*g - 3*y + 3 = n for g.
0
Let v be ((-4)/(-6))/(10/45). Suppose 16*s + 4*p - 12 = 13*s, -3*s + p + 27 = 0. Solve v*n - s = -j, 1 - 13 = 2*j - n for j.
-4
Let b(t) = -150*t - 6442. Let x be b(-43). Solve x = 2*s + 5*u + 4, 2*s - u = 4 for s.
2
Let m(f) = f**2 + 22*f + 85. Let j be m(-5). Solve -45*t + 46*t + 3 = 4*g, j = -2*t - 3*g + 16 for t.
5
Let i(h) = 2*h**3 + 16*h**2 + 19. Suppose -3*l = -4*v + 20, 5*l = 3*v - 24 - 13. Let d be i(l). Solve -4*n + 2*w - d = w, 0 = 5*n - 3*w + 22 for n.
-5
Suppose -3*b + 22 = t, -4*b = -t - t - 26. Suppose 0 = -2*u - 3*u - 20. Let n be -2 + 3 + (-4)/u. Solve -n*k + 4*m - 8 = 3*m, 3*k + m + b = 0 for k.
-3
Let p = -2 - 1. Suppose -4*s = w - 5, 2*s - 6*s + w = -11. L