-u + h*l + f = 1 for u.
-2
Let n(q) = 13*q**2 - 482*q + 43. Let r be n(37). Solve -4*z = 5*d + 7, 11*z + 3*d + 12 = r*z for z.
-3
Let z(l) = l**2 + 114*l + 10. Let t be z(0). Solve 2*x - 2 = 5*n + 24, -t = 2*x + 4*n for x.
3
Let l be (-23)/(-2) + (-11)/22 + (-28)/4. Solve 15 = 4*y - 0*b - 3*b, -l*y - 10 = 2*b for y.
0
Let q(l) = l**2 - 15*l + 9. Let x be q(8). Let w = x - -59. Suppose -2*i + 631 - 631 = 0. Solve -5*n = b + b + w, 2*n - 4*b = i for n.
-2
Let d(n) = 123*n**3 - 2*n**2 + 1 - n + 3*n**2 - 121*n**3 - 3. Let i be d(2). Suppose 0*u = -3*u + 18. Solve -3*l + 5*q = -18, -4*l + i = 2*q - u*q for l.
1
Let i = 5886 + -5884. Solve -12*k = -10*k + 6, i*k - 14 = -5*w for w.
4
Suppose 350 = 51*p - 53*p. Let t = p + 179. Solve 0 = k + t*f + 23, -2*k - 3*f - 21 = -0*f for k.
-3
Suppose 39*x = 31*x + 2424. Let z = 315 - x. Solve -4*m = -q + z + 8, -12 = -2*m - 5*q for m.
-4
Let b(p) = 3*p + 19. Let w(l) = 2*l + 18. Let z(f) = -4*b(f) + 5*w(f). Let j be z(-5). Suppose -6*s = -6 - j. Solve s = -4*q - 3*t, 3*q = 5*q + 4*t for q.
-2
Suppose -v + 3*d + 6 = -2*v, -d + 6 = -v. Let p(c) = 3*c**2 + 7*c - 10. Let a be p(v). Suppose 0 = -51*h + a*h - 55. Solve -3 = b, 5*b + h = 5*w - w for w.
-1
Let n(r) = 3*r**2 - 14*r - 5. Let i be n(11). Suppose 4*b - i = 10*b. Let p = -29 - b. Solve -2*u - 3*u + p*l = 0, 5*l + 21 = -2*u for u.
-3
Let z(r) = -3420*r + 17118. Let b be z(5). Solve 10*x - 13*x = -3*i - b, -5*x + 20 = -3*i for i.
-5
Suppose 4451 = -7*f - 1247. Let i = -812 - f. Solve 0 = 3*r + i*r, 10 = -5*t - 3*r for t.
-2
Let a = 646 - 114. Let w = 536 - a. Solve -h + 1 = -2*n - 4, -2*n = -w*h + 14 for n.
-1
Let n(m) = 3*m**2 - 277*m + 1556. Let k be n(6). Let l(o) = -o**3 + 8*o**2 - 6*o - 3. Let c be l(7). Solve 2 = k*a - 4*a - c*j, -8 = a - 5*j for a.
-3
Suppose 7 = -8*q + 31. Let h be 4/((-28)/(-7))*q. Solve 5*m + 8 = -2*y - 6, -12 = h*y + 3*m for y.
-2
Suppose 13*x - 252 = 17*x. Let h = x + 63. Solve -3*f = 5*g - 18, 3*g + h - 11 = -2*f for g.
3
Let m(k) = k**3 - 12*k**2 - 75*k + 952. Let p be m(10). Solve 6*q - 5*a - 19 = 0, -p*q + 3*a + a = -18 for q.
-1
Let z(y) = y**3 - 38*y**2 + 103*y + 75. Let d be z(35). Solve -11 = -d*w - 2*p + 8, 5*p + 30 = 3*w for w.
5
Let q(f) = -58 + 5*f + f**3 - 11*f**2 - 38*f - 9 - 23*f**2. Let x be q(35). Solve n + 8 = -x*l, l - 5*n + 2*n = 4 for l.
-2
Let d(s) = s**3 - 2*s**2 - 79*s + 8. Let c be d(-8). Solve -4*k - 12 = c, 0 = -b + 11*k - 7*k + 7 for b.
-5
Let x be 40/22 - (-6)/33. Let q(u) = 8 + 1295*u - u**2 - 1295*u. Let t be q(2). Solve x*y - 2*f - 4 = 0, -5*f + 12 = t*y - 23 for y.
5
Suppose -141*i + 893 = 188. Solve 0 = q + i, -j - 2*q = -6*j + 15 for j.
1
Let l = -14165 - -14168. Solve -4*d - 9 = 6*s - s, l*d + 5*s = -13 for d.
4
Let k(f) = f**3 + f**2 - 2*f + 18. Let j be k(0). Let o be (-6)/j*(-13 - -4). Solve 0 = -5*l, -7*l + 2*l - 15 = -o*s for s.
5
Suppose -27 = -9*v + 27. Let f be (-6)/5*-15*v/36. Solve 2 = 4*j - 0*j - 2*n, -f*n + 6 = -3*j for j.
3
Let o(x) = x**2 + 4. Let i be o(0). Let m be 4 + (-19)/19 + 0. Solve q = -5, -m*s + q + i*q + 13 = 0 for s.
-4
Suppose 19*l - 30 = 9*l. Suppose -j = -5*r + 8, -r - 50 = 3*j + 6. Let o be (2/3)/((-4)/j). Solve -l*n + o*i = -21, n - 5*i = -3*n + 30 for n.
5
Let x(r) = -230*r - 2530. Let u be x(-11). Solve 2*g - 12 = 4*y - 10, u = 4*g + 3*y + 7 for g.
-1
Suppose 2*m - 50*y - 22 = -45*y, 38 = 5*m - 4*y. Solve -m = -h + d - 13, -4*d + 22 = -h for h.
-2
Let m = -25357 - -25360. Solve m*n - c = -12, 13*n + 8 = 11*n - 4*c for n.
-4
Let v be 8 + 3/9*(-21 + 3). Solve 21 = -2*z + g + 4*g, 0 = z - v*g + 8 for z.
2
Let v be (2 + 9/(-3))*-14. Suppose 5*x - v = -4*h + 24, -x - 4*h = -14. Let s = x + -5. Solve -o - 7 = -n - s, 4*o + 5*n = 3 for o.
-3
Let m be (117/(-6))/((-6)/28). Let h = -73 + m. Solve -3 - 3 = -d - g, -h = -5*d - 2*g for d.
2
Suppose -6*i + 20 = 50. Let k be 2 + i + 35/5. Let t be (2/4)/(1/k) - -3. Solve -3*x + 5*z = 25, 6*z = -t*x + 4*z - 21 for x.
-5
Let b = 195 - 190. Suppose -3*j = b*d - 1, 2*d + 4 = j - 0*j. Solve -j*t + 16 = -4*o, -5*o - 20 = t - 7 for o.
-3
Let y(b) = b**2 + 14*b + 26. Let p be y(-11). Let v be p + 6 + 6 - (1 + -1). Solve 6*l + 3*c = 3*l + 12, -l - 2 = -v*c for l.
3
Let o(k) = 7*k**2 + 13*k - 2. Let w be o(8). Suppose -4*h - w = -562. Solve -6 = -s + 3*s - h*d, 0 = -d + 2 for s.
0
Let v be 6/(-14) - 222/21. Let t = v - -23. Suppose -2 = 5*h - t, 5*h = 4*u + 2. Solve 10 = -k + 4*n - 10, u*k = -4*n + 20 for k.
0
Let w(g) = -7*g + 23. Let i be w(5). Let r be (28/12)/((-1)/i). Let t be 21/4 + (-7)/r. Solve 45 = -t*b + 4*m, -2*b + 6*b - 4*m = -40 for b.
-5
Let w be (-72)/(-6) + (-80)/(48/6). Solve 0 = k - 3*p - 11, 3*k - 43 = w*p - 31 for k.
2
Suppose 0 = 2*m - 14*m. Let g be (-20)/90*(-9 + m). Solve 0 = -2*k - 5*h + 12, -k = g*h + h - 7 for k.
1
Suppose -2310 = 24*w - 46*w. Suppose -w = -31*j - 4*j. Solve 2*y - 9 = -3*u, j*y = -u - y - 7 for u.
5
Let m = 1595 - 1590. Solve m*j = 2*h - 8, -h = -31*j + 36*j + 11 for j.
-2
Let n be 10/(-40) - 42/(-8). Suppose -4*g + 2*w + n + 13 = 0, 4*g = 4*w + 28. Solve 0 = r - x - 1, -g*r = 4*x - x - 7 for r.
2
Let f = -105632 - -105635. Let a = -1 + 3. Suppose -d = -1 - 1. Solve 3*l + 17 = 5*k, -f*l + a*k = -d*k + 13 for l.
1
Let o(d) = d**3 + 15*d**2 + 15*d + 17. Let s be o(-14). Suppose -l = s*g, 3*g - 12 = l - 6*l. Solve -2*a - 1 = -l*i, -3*a + 6 + 0 = 3*i for i.
1
Suppose 0 = -4*m + 2*b - 2 - 0, -4*b + 4 = -3*m. Suppose -h - 4 = 0, 5*h = 2*c - m*c - 20. Solve k - 6 = -c*k - 2*t, -5*t = k - 12 for k.
2
Let w(f) = 5*f**2 - 146*f + 447. Let d be w(3). Solve -2*a - d = 4*r - 58, -r - 4 = 3*a for r.
2
Let f(r) be the first derivative of r**4/4 + 8*r**3/3 + r**2/2 - 63*r - 20. Let a be f(-6). Solve a*o = h - 5, 2*h - 6 - 1 = 3*o for o.
-1
Suppose 0 = -3*u + 5*u + 3*y + 4, -u + 3 = -y. Let j(i) = 2*i**2 + 1082*i + 2158. Let n be j(-2). Solve -5*k = 4*g - n - u, k + 1 = 0 for g.
2
Suppose 34*k - 38*k + 58 = 2*t, -5*t = 11*k - 150. Solve 3*a - t = -5*s, s - 111 = 5*a - 124 for s.
2
Let t be (6/(-4))/((-4)/(-48)). Let d = t - -20. Solve -5*g + 3*g = -3*k + 14, -d*g - 5*k = -18 for g.
-1
Let a(p) = -p**2 + 9*p - 11. Suppose 2*o - 5*y = 79, -22 = 5*y + 3. Suppose 22 + o = 7*s. Let z be a(s). Solve -c + 1 = 4*i - 16, -z*c + i = -12 for c.
5
Suppose 7*m = 5 + 44. Let x(w) = -8*w - 10*w**3 + 3*w**3 + 6*w**3 + m*w**2. Let f be x(3). Solve 4*i = -12, 0 = -3*q - 2*i - f - 3 for q.
-3
Let m(y) = y**2 + 10*y - 9. Suppose 3*u = l + 11, 0 = 3*l + u - 0*u + 33. Let f be m(l). Solve -f*b + 6 = 4*p, b + 3 = -b - p for b.
-3
Suppose -54*h = -33*h - 84. Solve -3 = -o - 3*s, 9*s = h*o + 8*s + 1 for o.
0
Let q = -2173 - -2177. Solve a - 3*p = 7, q*p = 3*p - 3 for a.
-2
Let b(l) = -46*l - 92. Let j be b(-2). Suppose 0 = 2*o - 2*i + 2, -3*o + j*i - 4*i = -18. Solve o*c + 5*f + 5 = 0, -7*f - 4 = 3*c - 3*f for c.
0
Suppose v - c - 83 - 59 = 0, 2*v = -5*c + 298. Suppose -23*o = -15*o - v. Suppose 0 = -8*t + 12*t - 16. Solve -3*m - t*k = -0*m + 14, -2*k = -4*m + o for m.
2
Suppose 5*h + 4*i = 348, 6*i = 4*h + 3*i - 235. Solve l - 3*c + 11 = 0, 65*c - 4 = h*c for l.
1
Let o(v) = 3 - 6*v + 115*v**2 + v**3 - 114*v**2 - 8. Let i be o(-2). Solve 2*z = 2*s + 3 - 9, -5*z + i*s = 19 for z.
-5
Suppose 3*n + 2*s - 4 = 4*n, -6 = -5*n - 3*s. Suppose n = -20*g + 20 + 240. Solve 3*q - g = y, 5*y + 6 = -3*q - 5 for q.
3
Suppose -3*b - 501 = r, r + 2*r - 681 = 4*b. Let s = b - -176. Solve 5*n - 13 = -2*j - 3, -s = -4*n + j for n.
2
Let o(w) = -71*w - 920. Let f be o(-13). Solve 5*p = 2*h - 28, 12 = 5*h + 5*p - f*p for h.
4
Let s be (-17 + 20)*(-2 - -9). Solve -2*f - h = 5, 5*f + s - 22 = 2*h for f.
-1
Suppose 5*j - 3*c - 49 = 0, -4*j = -2*c + 40 - 82. Solve 22*h - 21*h = -3*s - 20, 2*s + j = -h for s.
-6
Let d = -776 - -765. Let v be (d/(-22))/(((-22)/(-20))/11). Solve 4*h + 6 = v*j + 2*h, 5*h = -15 for j.
0
Let t be ((-3)/4)/(20/((-6400)/60)). Solve h + 2*h = t*q + 2, -5*q = -5*h + 5 for q.
1
Let x = -16 - -20. Let y be (-4)/(-14)*-1 - 1446/(-5061). Solve -x*q - 5*v + 23 = y, -4*q + 4*v - 6 = -q for q.
2
Let u be (-30)/(-2)*(-4)/(-1 + -3). Suppose o - 5*o = -h - 19, 2*o + 5*h = u. Solve -5*s + 2*t - 20 = 0, 3*s + o*t = -0*s - 12 for s.
-4
Let q(p) = -4*p - 102. Let u be q(-26). Suppose h - 7 = 1. Solve 4*d = 4*k + h, 0*d - 5*d = -k + u for d.
-1