-56712 = -367*h - 280*h + 17046. Solve -h = 139*y - 158*y for y.
6
Let b be (468/(-16) - 6)/(12/(-112)). Let t = b + -321. Solve 34 = -t*v + 2 for v.
-4
Let c = -9 + 21. Let r be ((-6)/c)/((-2)/4). Let i = 2 + r. Solve i = -3*b + 4*b for b.
3
Let g = -21789 - -21866. Solve 0 = -16*t - 189 + g for t.
-7
Let y be (7 + 1)*(-1)/10*-25. Solve -26 - 54 = y*d for d.
-4
Let u(n) = -2*n**2 - 112*n - 107. Let r be u(-55). Suppose -q = 3*q - 132. Suppose -q = -3*c + r*g, -10 = -2*c - 4*g - 0*g. Solve 0 = -3*h - c for h.
-3
Suppose 2*k + 32 - 36 = 0. Let u be (42/28)/(k/44). Suppose -3*p - u = -14*p. Solve 0 = -p*i - 2 - 4 for i.
-2
Suppose -4*v = -4*y - 20, -4*v = -3*v - 4*y - 20. Let k be (-2 - v - 1) + (-177)/(-3). Solve 0 = -59*w + k*w - 6 for w.
-2
Let x(u) = u**2 - 17*u + 39. Let i be x(2). Let a be (-6)/(-2)*((-57)/i + 7). Solve a*d + 6*d + 16 = 0 for d.
-2
Suppose 0*w = 2*w. Let v(l) be the third derivative of -l**6/120 - 3*l**5/20 - l**4/3 + l**3/2 + 4*l**2. Let p be v(-8). Solve w = 4*y - p + 7 for y.
-1
Let k be 87*((-21)/(-7) - 7/3). Let z = -54 + k. Solve -3*h + 8 = -z for h.
4
Let h = -7168 + 7197. Solve 2*u + h = 19 for u.
-5
Let l(o) = 51*o + 3639. Let i be l(-66). Solve -173 = -25*t - i for t.
-4
Let x = 423 + -315. Solve 0 = 97*m - x*m - 99 for m.
-9
Suppose 6*q = 12 + 30. Suppose -q*k = 2*k - 45. Suppose z - 21 = 5*b, -2*z + 4*b + 5 = -13. Solve k = -t + z for t.
-4
Suppose -3*d = 336 + 477. Let h = d + 296. Solve 12*a = 7*a + h for a.
5
Let l(r) = -r**2 - 2*r. Suppose -4*s = -0*c + 5*c + 15, 4*s - c = 3. Suppose 0 = -u + 4*b + 1 - 3, -2*b = s. Let o be l(u). Solve o = -v - 0 - 1 for v.
-1
Let x be (-9)/36 - ((-154)/8 - -1). Let a = 24 - x. Suppose 9 = 5*q - a. Solve 0*o = q*o for o.
0
Suppose -3*n + 2*k + 13 = 0, -2*k + 7*k - 2 = -4*n. Suppose -t + 4*t + 14 = c, n*c = 4*t + 22. Solve -v = c*v for v.
0
Let h(d) = 3*d**3 - d**2 + 2. Let k be h(1). Let z = -46 + 57. Suppose z*g + 35 = 16*g. Solve k*b = -g - 5 for b.
-3
Let y be (1 - 7/(-3))/(416/624). Solve -25*f + 60 = y*f for f.
2
Let h be (-3)/(-6) - 269/(-2). Let p = 136 - h. Solve -4*y + p = 9 for y.
-2
Suppose -2*c = 4*g - 70, 4*g - 3*c + 123 - 178 = 0. Solve -13*o - 3 + g = 0 for o.
1
Let p be 5*(-2 + 15/5). Suppose 0 = -p*w + 14*w + 18. Let n be w/(-3)*(-2 + (-25)/(-5)). Solve 0 = 4*d - n*d + 10 for d.
-5
Let f be (-110)/(-4)*32/(-5). Let q = 181 + f. Solve 0 = -w + q*w - 16 for w.
4
Let r be (-2 - -4)*(-19 - -24). Solve -r*x + 5 + 5 = 0 for x.
1
Let h(m) = -m**2 + 3*m + 48. Suppose 2*d - o + 4 + 3 = 0, 0 = -3*d + 2*o - 8. Let x be h(d). Let v be (-4 + 0)/(6/x). Solve -3*j = -v*j - 5 for j.
-5
Let p(w) = -w**2 + w + 67. Let a be p(-6). Let j be (-306)/(-16) - 3/24. Let s = 23 - j. Solve s*g + 5 - a = 0 for g.
5
Let h(s) = -3*s + 12. Let f be h(2). Suppose -y - f*y = 0. Suppose 5*a - 38 - 42 = y. Solve -3*d + a - 1 = 0 for d.
5
Let w(p) = p**3 + 18*p**2 - 40*p + 5. Let o be w(-20). Suppose 15 = 2*l - 6*i + 5*i, -o*l + 5*i = -45. Solve 9 = t + l for t.
3
Let r(u) = u**2 + 9*u + 2. Let q be r(-9). Let w(g) = -g**3 - 14*g**2 - 1. Let s be w(-14). Let h be -2 - (s - q) - 1. Solve 3*j - 3 = -h*j for j.
1
Suppose -2*x = -3*f - 18, -2*x + 12*f + 42 = 5*f. Solve -25*d - 11 - 39 = x for d.
-2
Let i(v) = 2*v**2 + 10*v + 2. Let t be i(-5). Let l be -15*(-1 - (0 + 0)). Suppose -o + 3 = 5*z - 2, -5*z + l = 3*o. Solve 0 = -t*d - z - 8 for d.
-4
Let y be -4 + (5 - -2) + 4. Suppose y*t = 4*t + 6. Suppose -4*g + 9*g = -4*d + 24, 5*d + 2*g = 30. Solve d = t*b + 2 for b.
2
Let b(a) = 43*a - 790. Let v be b(24). Solve v*k = 238*k - 8 for k.
-2
Suppose 5*x + 11 = 9*u - 10*u, -2*u - 2*x + 18 = 0. Solve u*h = -6*h + 40 for h.
2
Suppose -3*p - 4 = 5*a - 29, -4*p = 5*a - 25. Suppose a*d = 2*d + 24. Suppose -11 + d = -l. Solve l*m - m = -4 for m.
-2
Let w(h) = h**2 + 9*h + 14. Let o be w(-8). Suppose -o*q + 5 = -q. Let y be (q + 2)*(-14)/(-21). Solve -y*v - 4 = -6*v for v.
1
Let c(x) = 2*x - 247. Let z be c(133). Solve 0 = -z*p + 14*p + 5 for p.
1
Let s = 8906 + -8766. Solve -9*a + s = 19*a for a.
5
Let h(g) = 8*g**2 + 15*g - 9. Let j be h(2). Solve -j*u - 6 = -56*u for u.
2
Let c(w) = w**2 - 28*w - 43. Let z be c(24). Let r = -136 - z. Solve -t = -r + 1 for t.
2
Let j(u) = -4. Let a(b) = -b - 3. Let n(v) = -2*a(v) + 3*j(v). Let s be (-12)/10*5 + 11. Let p be n(s). Solve -p*q - q - 20 = 0 for q.
-4
Let x(o) = o**2 - 4*o - 2. Let r be x(4). Let m(a) = -4*a - 6. Let w be m(r). Suppose -3*b + 2*i = w, 2*b - 4*b - 4 = -2*i. Solve -5*c + 3*c = -b for c.
1
Let z = -109 + 114. Let o(h) = -h - 10. Let w be o(-16). Solve z*t = w - 21 for t.
-3
Let g(u) = -5*u - 5. Let n be g(-2). Suppose -n*a = -53 + 23. Suppose -z + 6 = -t + 6*t, 0 = -4*t - 5*z - 12. Solve -t*d = d + a for d.
-2
Let y(f) = 7*f**3 - 2*f**2. Let h be y(1). Let a(g) = g**2 - 5*g + 3. Let o be a(h). Suppose -7*s + 2*s + o*p = -1, 12 = 4*p. Solve -4 + 0 = s*w for w.
-2
Suppose -2*h = 2*l - 1110, -1490 + 378 = -2*h - l. Let p = h + -554. Solve 2*m - p = -11 for m.
-4
Suppose 5*o - 552 = -4*i, 2*o + 5*i = 216 - 19. Solve 16 - o = -25*k for k.
4
Suppose -5*h + 2 - 1 = -3*w, -5*h - 2 = -4*w. Let j be (20/w)/(86/129). Solve 25*q - j = 23*q for q.
5
Let k be ((-96)/15)/(6/15). Let p(x) = -2 + 9 + 12 - x + 2*x. Let c be p(k). Solve -2*w + c = w for w.
1
Let x(j) = -10*j**3 + 50*j**2 + 38*j - 85. Let z(n) = -7*n**3 + 34*n**2 + 25*n - 57. Let l(w) = -5*x(w) + 7*z(w). Let p be l(13). Solve 5*h - 7*h - 8 = p for h.
-4
Suppose -1163*s - 2850 = -1168*s. Solve s*h - 577*h = -7 for h.
1
Let p = -812 - -816. Let h be 16/(-6)*(-63)/14. Solve -p*s = -s - h for s.
4
Suppose 5*k = -k + 30. Let z(b) = 3*b - 11. Let l be z(k). Solve -2*n + 18 = l*n for n.
3
Let c = -239 + 399. Suppose 0 = 9*v - v - c. Solve i - v = -3*i for i.
5
Let u(k) = 6*k - 96. Let x be u(16). Suppose x = -2*q - l + 10, 0 = l - 0*l - 2. Solve 0 = q*d + 3 - 11 for d.
2
Let j be (-1)/((-8)/12 - 3/(-3)). Let c(z) = -3 + 2*z - 3 + 12. Let i be c(j). Solve i = 2*s - 0*s for s.
0
Suppose 10*g = 119 + 171. Solve -g*f + 12 = -23*f for f.
2
Let j = 46 - 25. Suppose -9*m + 13*m + 72 = -2*f, -4*m = -2*f + 88. Solve -1 = -f*l - j for l.
-5
Suppose 3*d - 1 = 29. Suppose 3*k + 4 = 2*r, r + 8*k - 1 = d*k. Solve -g + 0*g - r = 0 for g.
-5
Let w be 2/(-6) - (-2)/6. Let z be 3 - (20/(-9) - 2/(-9)). Suppose 2*t + z = q, -5*t - 10 = -2*t - 2*q. Solve t*r - r = w for r.
0
Suppose -399 = 4*w - 1147. Let k = w + -299. Let p = -109 - k. Solve 0*j = j - p for j.
3
Suppose -w = 4*y - 41, 3 + 1 = y. Solve -23*v + w = -18*v for v.
5
Suppose -3*r + 339 = 5*p, p = -2*p + 6*r + 258. Solve 154*h - 178*h + p = 0 for h.
3
Let y(c) = 7*c**2 + 39*c**3 + 0*c - 10 - 38*c**3 + 0*c + 3*c. Let n be y(-6). Let v = -5 + n. Solve 0 = v*l - 5*l + 10 for l.
5
Suppose 5*a - 27 = 133. Let l(n) = -a - n**3 - n**2 + 0*n**2 + 39 + 6*n. Let t be l(-3). Solve t*v = 2*v + 20 for v.
4
Let j be (4/(-16)*0)/(-1). Suppose j = 5*r - 27 - 13. Solve q = -r + 6 for q.
-2
Suppose -25*v + 52*v - 19*v + 472 = 0. Suppose -p - 25 = 32. Let i = p - v. Solve 0 = -i*r - 3 + 11 for r.
4
Suppose 0 = -4*m + 3*w - 745, 3*w + 0*w = -4*m - 775. Let x be 80/(-12)*19/(m/12). Solve -x = 3*n - n for n.
-4
Suppose 3*x - 96 = 264. Suppose -1000*s + x = -994*s. Solve 0 = -12*q + s*q for q.
0
Let i(g) = 13*g**2 + 2*g + 42. Let l(z) = 37*z**2 + 8*z + 124. Let w(a) = 17*i(a) - 6*l(a). Let n = -29 + 18. Let b be w(n). Solve -3 = -b*m + 2*m for m.
3
Let y be 34/3 + 1*(-12)/9. Solve -6*a = -y + 4 for a.
1
Suppose -223 = 4*y + 3*o, -o + 46 = 5*y + 311. Suppose -157 = 2*f - 45. Let d = y - f. Solve -d*l + 10 = -10 for l.
5
Let l = -8740 + 8740. Solve -42*z - 205 - 89 = l for z.
-7
Suppose -132 = -5*c - 13*r + 10*r, 2*c = 3*r + 36. Solve -76*g + 79*g = -c for g.
-8
Let q(s) = 276 - 5*s + 147 - 566. Let g be q(-29). Solve -g*a + 1 = 9 for a.
-4
Suppose -249*y + 250*y = 3*l - 483, -3*y = 2*l - 322. Solve 0 = 10*q + 141 - l for q.
2
Let k = 67 - 46. Let u = k + -13. Suppose 4*g + 8 + u = 0, -5*g = 2*q + 18. Solve 2*x + 3 - q = 0 for x.
-1
Suppose 0 = -t + 3*t - 4*u - 6, -5*t + 4*u + 15 = 0. Suppose -t*b + 18 = 2*g, -3*g + 21 = b + 1. Solve q = -g*q + 21 for q.
3
Let w(z) = 2*z + 38. Let n(x) = x + 18. Let j(l) = 9*n(l) - 4*w(l). Let q = -7 + 12. Let d be j(q). Solve 5 + d = 5*o for o.
4
Let 