 = 2*h + k for h.
-4
Suppose -6*z = 2*z - 288. Let x be (-3)/(-18)*-2 - (-12)/z. Solve x = 2*g + 2, -2*q - g + 8 = -5*q for q.
-3
Let j be 1/(-3) - 26/(-6). Let g = -425 + 443. Let v be 2 + (-28)/(-21)*g. Solve 18 = j*q - f + 4, -v = -4*q - 5*f for q.
4
Let y(q) = -q**3 + 17*q**2 + 21*q + 52. Let v be y(18). Let d = v + -98. Solve -3*p + 2*s + 1 = -10, 4*p - d = s for p.
1
Let v be ((3 - 3)/(-4))/(-15 + 12). Let c be -6*-1*(-2 + 3). Solve -3*n + v*n - c = 0, -j = -n + 3 for j.
-5
Let y = -185 + 265. Let k = 186 - 264. Let f = y + k. Solve 5*o = -4*s - f, -4 = -2*o - 4*s - 0*s for o.
-2
Suppose -2*j + 0*j = -t + 43, 73 = -2*j - 5*t. Let u be 48/26 - (j/39)/4. Solve -u*h + 19 = -5*m + 3, 3*m = -4*h + 6 for h.
3
Suppose -2*x + 3*x - 3*m - 50 = 0, 5 = m. Suppose -2*l + l + x = 0. Suppose -60*f + l*f = 15. Solve q - f*j - 12 = 6*q, 2*j - 11 = 3*q for q.
-3
Let q be (((-15)/(-10))/(3 + 0))/((-8)/(-32)). Solve 5*t - 3*y = -23 + 17, -6 = q*t - 3*y for t.
0
Let o be 360/81 - -8*2/(-36). Suppose o*k = 5*k - 3. Solve -4*s = -n - 16, 3*s - 11 = -k*n + 1 for s.
4
Let o = -14194 + 14197. Solve -5*f + 2*l + 21 = 0, 2*l - o = 2*f - 9 for f.
5
Let x(h) = -2*h + 96 - 34 + 17*h - 46. Let u be x(-1). Solve 0 = 4*a - w - 4 - u, a - 4*w = -10 for a.
2
Suppose 29*h - 35*h = 2 - 26. Solve 5*l + 2*y + 28 = 0, -h*l - 3*y = 4 + 24 for l.
-4
Let s be 1/((-1)/10)*130/(-325). Solve s*j = 9 + 3, m - 2*j + 1 = 0 for m.
5
Suppose 4*l - 8187 = -8163. Solve -18 = h - 3*x, -l*x + 17 = -4*h - 5*x for h.
-3
Suppose 5 = -5*v - 5, 5*v = 2*y - 26. Let g be 21/(-6)*y/(-7). Solve 5*r - 20 = g*u, 0*r = 3*u - 2*r + 8 for u.
0
Suppose -y - 4 = 3*y. Let d be (-67)/(-13) - (150/(-39) + 4). Let s be -3 + (y - d*-2). Solve 0 = -z + b, -2*z - 5*b + s = -4*z for z.
2
Suppose 0 = -14*g - 14*g - 1008. Let n be ((-20)/g)/((-1)/(-9)). Solve -p - 3*h = 4*p - n, h - 5 = 0 for p.
-2
Let s = 55 + -28. Let q = 31 - s. Suppose -v = -5*a - 9, 4*v + 18*a - 11 = 13*a. Solve -x - v*j = -1, q*x = -2*j + 6*j - 16 for x.
-3
Let k be (2 - (-1 - -2)) + 4. Let y be (-12)/(-8) + (-3115)/(-178). Solve 4*z - 3*z + 3*c - 3 = 0, -3*z + k*c - y = 0 for z.
-3
Let c(b) = -b - 9. Let y be c(-2). Let v = 11 + y. Solve -2*x = v*p - 16, x - 1 = -3*p + 10 for p.
3
Let p(o) = 4*o - 18. Let g be (-2)/4 - 2*(-39)/12. Let q be p(g). Let j = -8 - -14. Solve 4*v = 5*t + j, -8*t = -v - 3*t - q for v.
4
Suppose -12*d = 3 + 33. Let b be 20/(-8)*(-24)/(d/(-1)). Solve -5*n + 2*q = 6*q + b, 16 = -4*n + q for n.
-4
Let n = -31 - -33. Suppose 10 = -2*g + n*h, 7 = 4*g - h + 12. Solve g = 2*c - 2*a + 8, 5*c + 2*a = -a - 28 for c.
-5
Suppose 4*q - 67 = y, q - 6*y = -10*y + 21. Suppose 16 + 3 = 5*x + h, 3*x + 2*h - q = 0. Solve 4*m + 2*a = -20, 2*m = -2*a - 15 + x for m.
-4
Let r be 16/(-40)*((-12 - 4) + 6). Solve 14 = -4*u + 5*k, k + 4 = 2*u + r*k for u.
-1
Let r = 256 + -455. Let w = r - -199. Solve 5*t - 2*a - 3*a + 5 = w, 0 = 2*t + 3*a + 22 for t.
-5
Suppose 6 = 2*l, 4*v - 782 = -5*l + 933. Let o = v - 418. Solve 5*j + 4*y = 4*j - o, y + 2 = 0 for j.
1
Let z be 6 + 1 + -2 + 6 + 44 + -51. Solve -5*i - t = -26, -z*t + 3 - 14 = -3*i for i.
5
Let h = 390 - 554. Let a be (-13)/(-3) - h/(-123). Solve -2*t - a*w = -4*t - 16, -5*t = 3*w + 19 for t.
-5
Suppose 20 = 842*i - 838*i, -31 = -3*q + i. Solve 0 = -3*x + 5*j - 25, q*x = 15*x + 2*j - 10 for x.
0
Suppose 11*m - 5*u - 17 = 13*m, -10 = -5*m - 2*u. Suppose 0 = 8*a - 4*a + 5*x - 31, -a + m*x = 8. Solve -6 = t + 4*k + 2, 0 = 4*k + a for t.
-4
Let d be (1 - -98)/(30/20). Suppose d*s - 62*s = 0. Suppose -5*y + 5 = s, -3*y + 15 = -0*i + 3*i. Solve 0 = i*g + 5*v - 13, -4 = 5*v - 29 for g.
-3
Suppose 10*p = -p - 33. Let j(i) = -i**3 - 4*i**2 - i + 7. Let h be j(p). Solve -4*r - 8 = -m - 3, -h = -m for r.
-1
Let t(k) = k**2 + 8*k - 8. Let m be t(-9). Let x(n) = 4*n**2 - 216*n + 3. Let f be x(54). Solve -m = j + f*c - 4, -j = -4*c + 11 for j.
-3
Let u(g) = 3*g**2 - 128*g + 77. Let q be u(42). Let m be q - (1 + -11 - 2). Solve -5*h + 2*s + s = -9, -6 = -m*h + 2*s for h.
0
Suppose -46*r + 116 = -120 + 98. Solve 3*c - r + 0 = -t, 0 = -t + 3*c - 3 for t.
0
Let k be 105/455 - (-147)/39. Solve -2*t = -y - y - 10, 0 = -4*y - 4*t - k for y.
-3
Suppose u = 2*u + 8. Let c be (-6 - 3)/(6/u). Let f(t) = -t**2 + 69*t - 320. Let n be f(5). Solve -2*y = 3*p + c, -14 = 4*p + 2*y - n*y for p.
-2
Let x(v) = v + 13. Let n(l) be the first derivative of -l - 26. Let a(p) = -6*n(p) - x(p). Let k be a(-7). Solve 4*i + 4*m = -4, -3*i + m + k = -9 for i.
2
Let r(m) = -m**2 - 8*m + 2. Suppose 31 = -4*u - 3*d, 4*d + 0 + 4 = 0. Let n be r(u). Solve 2*y + 4*s - 12 = 0, 3*y + 5*s = 2*y + n for y.
4
Let w(g) = -g**3 - 12*g**2 + 13*g + 61. Let a be w(-14). Let l = 280 - a. Solve 0 = -2*f - d - 0 - l, -9 = f + 5*d for f.
-4
Let x = 1867 + -1862. Solve x*z + 16 = -4*l, -l - 4 = -0*z - 2*z for z.
0
Let p(o) = -15*o - 1137. Let i be p(-76). Solve -5*f + 10 = t, 2*f = -i*t - 3*f + 10 for t.
0
Let a(c) = 32*c**2 - 231*c + 52. Let x be a(7). Solve -x*w - 4*d + 27 = -7*d, 5*w = -2*d + 17 for w.
5
Let p = -8624 - -8629. Solve 11*h - 8*h + d = 17, 0 = p*h + 2*d - 28 for h.
6
Let r = 3553 - 3550. Solve -z + 4*z - 9 = -r*l, 0 = 2*z - 5*l - 13 for z.
4
Let f(o) = 16*o - 129. Let u be f(10). Suppose r + 4*z = 4*r - u, 2*r = 2*z + 18. Solve -5*l = -5*d, -2*l + 27 = 2*l + r*d for l.
3
Let i = -184 - -199. Suppose i*p = -4*p + 95. Solve -3 = -t + 2*d - 0, 10 = 2*t - p*d for t.
-5
Let d be 168/(-14)*(-2)/3. Let c be (12/(-8))/((-4)/d). Let s = 159 + -154. Solve -s*l + 2*k + 45 = -2*k, -c*l = 2*k - 5 for l.
5
Suppose 6*b - 9*b = -3*p - 78, 4*p - 36 = -b. Let g(q) = 5*q - 140. Let y be g(b). Solve y*s - 16 = 4*h - 2*s, -12 = 3*h - 3*s for h.
-4
Let u = -673 + 678. Suppose 0 = -u*l - 2*x - 7 + 78, -2*x - 59 = -5*l. Solve -4*p + 49 = -5*q + l, -3*p = -q - 16 for q.
-4
Let h(t) = -56*t + 1578. Let d be h(28). Solve c + d = a + 4*c, -4*a - 5*c + 5 = 0 for a.
-5
Let j = -2961 + 2961. Solve j = h - 2, -7*h + 6*h - 4 = -2*c for c.
3
Let r be 84/(-7)*(-24)/36. Let c(f) = -40*f + 325. Let d be c(r). Suppose -12 = -5*p + p. Solve g = 2*g - 2*j + p, d*g = j + 21 for g.
5
Let r be 20*(9/(-4) + 3). Suppose 41 + r = 4*i + 4*c, -2*c = 3*i - 39. Let d be (-1 + 2)*(i + -11). Solve -2 = -d*o + 2*o - 2*w, 2*w - 5 = 3*o for o.
-3
Suppose -5*j = 2*d - 208, -4*d - 201 + 71 = -3*j. Solve 2*a = 3*f + 4, -5*a = -38*f + j*f + 13 for f.
-2
Suppose -6*h - 108 - 18 = 0. Let y = -17 - h. Solve 4 = -w + 5*v, -3*w + 4*v + 4 = -y*w for w.
-4
Let v(y) = 121*y - 359. Let s be v(3). Solve 2*k + 8 = -s*z, -4*z + 16 = -8*z for k.
4
Let z = 363 + -363. Solve 5*p - 2*y + z = 6, -3*p = 3*y + 30 for p.
-2
Suppose 941 = 76*r - 1947. Solve -l - 5*o = 4, 14*l - r = 9*l + 4*o for l.
6
Let i be (-18)/(-4 + 1) - -1. Suppose 5*q - i - 13 = 0. Let h = -6719 - -6724. Solve 0 = h*v - 2*b + 10, -b = q*b - 25 for v.
0
Let r = -30 + 34. Let q be (r + 0 - 2) + 3. Let m be ((-7)/(196/(-16)))/(2/7). Solve m*y = 5*l, l - 17 = -2*y - q for l.
2
Suppose -3*c + 8*b - 8 = 12*b, -2*b = 6*c - 14. Solve 0*y - 14 = -c*z - 2*y, 4*z = y - 1 for z.
1
Let h(t) = -5*t**3 - 5*t - 12. Let q(g) = 4*g**3 - g**2 + 4*g + 12. Let u(l) = -5*h(l) - 6*q(l). Let i be u(-3). Solve b - d - 8 = 0, -4*b = 2*d - d - i for b.
4
Let y(k) = -217*k - 3231. Let l be y(-15). Solve 0 = -x + 4*x - 3*b + l, 0 = 3*b - 15 for x.
-3
Suppose -5*a + 648 = i - 2*a, 3*a = 5*i - 3276. Suppose 660 - i = 2*r. Solve -4*v - 2*h - r*h = 23, -4*v - 2 = -2*h for v.
-2
Let n be -5 - (1/(-6) - (-2385)/(-270)). Solve 0 = n*t + 12, 8*i + 2*t = 9*i - 1 for i.
-5
Let x = 12072 - 12063. Solve -10*s + x*s = -f + 3, -2*f - 14 = 3*s for s.
-4
Let o(w) = -w**3 - 8*w**2 - 6*w + 9. Let m be o(-7). Suppose m*a - 4 = a. Let t = -64047 + 64053. Solve l - u = -t*u - 9, 0 = 2*u + a for l.
1
Let i be (-6)/(-3) - 5/(-5). Suppose -q - 15 - 1 = -4*z, -3*q = i*z - 27. Solve 2*n + 3*g + 7 = 3, 4 = -2*n + z*g for n.
-2
Let r = -176 + 182. Suppose -y + 4 = 1. Suppose y*v = r*v. Solve -3 = 3*f, -12 = 3*b - 3*f - v*f for b.
-5
Let s = -29717 + 29738. Solve 0 = -2*y + 18*u - s*u + 5, 2*y = -4*u + 6 for y.
1
Suppose -3*l - 3*m - 18 = 0, -2*l - 7 + 0 = -3*m. Let n be (2 + -2)/(l/(-10)*2). Solve n = 5*t - 4*d, 4*t + t = d for t.
0
Suppose 35 + 211 = 40*v + 46. Solve 2*x - 5*g = -9, -14*g = -v