= -4*w - h for w.
3
Let u(b) = -6*b + 5. Let h be u(-5). Let j = h + -32. Solve 0 = -2*z - 1 - j for z.
-2
Suppose 5*p - g = 2*g + 12, 0 = -5*p - 4*g - 16. Solve p = v + 1 + 1 for v.
-2
Let x = -192 - -199. Solve -2*v + x*v + 5 = 0 for v.
-1
Let b be 9/(-6)*32/(-12). Let q be 16 - (2 + 3 + -4). Suppose -4*v - v = -q. Solve -v - 1 = -b*w for w.
1
Let w = 1 + 5. Let z(d) = -d**3 + 7*d**2 - 7*d + 9. Let x be z(w). Suppose 0 = 3*v + 2*j + 2 - 10, 3 = x*j. Solve -o + 1 = v for o.
-1
Suppose 0 = -2*h - 4*u + 26, 4*h + 21 = 6*h - u. Solve h = 4*t - 15*t for t.
-1
Let u be 2/(2*(-3)/(-21)). Let k be 8 + (-2 - 8) - -5. Solve u = 2*h + k for h.
2
Suppose -5*n + 161*j - 156*j = 0, 4*n + j = 10. Let w(t) = -t - 5. Let k be w(-5). Suppose k = -6*v + v. Solve v*a - 2*a = -n for a.
1
Let r(n) = -n**3 + 11*n**2 - 25*n + 11. Let o be r(8). Solve 0 = -9*l + o*l + 6 for l.
1
Let d be (3/9)/(2/90). Solve 49*m - d = 54*m for m.
-3
Let k(d) = -2*d. Let r be k(-1). Let n(t) = -t**2 - 4*t - 2. Let p be n(-1). Let l be -1*(p - -4)/(-5). Solve -r*h - 3 = l for h.
-2
Let q(t) = -t**3 + 19*t**2 + 45*t - 47. Let r be q(21). Solve -2*f - r = 6*f for f.
-2
Let s be 6/22 + (14904/99)/9. Solve -49*h = -s*h for h.
0
Suppose -160 = -13*r + 5*r. Solve r*s = 24*s for s.
0
Let c(b) = b**3 - 16*b**2 - 34*b - 33. Let t be c(18). Solve -9 = -6*s + t*s for s.
3
Suppose -4*s + 6*s = 42. Suppose l + 5*g = -s, -2*l - 3*g = -6*l + 31. Suppose -4*r - 8 = -8*r. Solve z + r = l for z.
2
Let n = 1 - -1. Let i(v) = v**2 + 8*v + 16. Let t be i(-2). Suppose -5*k + 2*h = -h - 9, -n*h + t = 0. Solve -k*j - 9 = -0*j for j.
-3
Suppose 2*q = -3*q. Suppose 168*j + 60 = 188*j. Solve -j*b = -q*b + 6 for b.
-2
Let u(x) = x**2 - 19*x - 372. Let i be u(31). Let k(c) = c - 2. Let n be k(2). Solve n = -i*b + b for b.
0
Let m be 213/(-6)*2*-1. Let s be m/(-5) - (-11)/55. Let i = 30 + s. Solve 0*j + i = 4*j for j.
4
Suppose 0 = -7*c - 32 + 4. Let s be c/2 - (-20 + 16). Solve 9 = -s*a - a for a.
-3
Suppose 0 = 3*b + b. Suppose 2*d = z - b*d, 0 = z - d. Solve z*g - 20 = 4*g for g.
-5
Let g(j) = 5*j**3 - 2*j**2 - 11*j + 6. Let k(r) = r**3 + r**2. Let z(d) = g(d) - 6*k(d). Let o be z(-6). Solve o = -l + 4 - 2 for l.
2
Suppose -104 = 4*a - 30*a. Solve -a*p - 7*p = -17*p for p.
0
Suppose 61*z - 71*z = -350. Solve -24*g - 11*g - z = 0 for g.
-1
Let y be -13 - (0 + -2 + -1). Let r = y - -7. Let q be (-6)/(r - -5) - -7. Solve -q*x = x for x.
0
Let c be (-2)/(7/((-490)/(-4))). Let j = c + 30. Let l(b) = -b**3 - 6*b**2 - 5*b + 3. Let i be l(j). Solve -6*g = -i*g for g.
0
Let b be 19/7 - (-3)/(-21)*-2. Let w be 1/(b/9*(-6)/(-10)). Solve -w*z = -4*z - 5 for z.
5
Let s(a) = -a**2 - 5*a + 3. Let d(g) = g**3 + 7*g**2 - 8*g + 4. Let n be d(-8). Let r = -1 - n. Let y be s(r). Solve 5 = y*o + 2*o for o.
1
Suppose b = -1, -3*g - b + 73 = 4*b. Suppose -x = 6*r - 2*r - g, -5*r + 3*x + 41 = 0. Suppose -r = -3*l + 2. Solve l = -c - 1 for c.
-4
Suppose -2*x - 4*u - 16 = 0, -13*x + 18*x + 5*u + 15 = 0. Solve -x = 3*p - 2*p for p.
-2
Suppose 20*t - 140 = 40. Solve 1 = 8*j + t for j.
-1
Let b be -3*2*(-2)/4. Let l be (-2)/(-2) + (2 - 4) + 5. Suppose 0 = -2*g - 3*g + 5*x + 5, 4*x = 2*g - l. Solve b = -g*w - 3*w for w.
-1
Let u(d) = -d**2 + 6*d + 1. Let k be u(1). Solve -p + k*p = 2*p for p.
0
Suppose 5*z + 39*p - 36 = 36*p, 2*z + 3*p - 18 = 0. Solve -7 = -m - z for m.
1
Suppose 0 = 5*r + 7 - 47. Solve 6*h - 10*h + r = 0 for h.
2
Suppose 0*g - g + 16 = -3*n, -2*g - n + 18 = 0. Let d be g/1*2/4. Solve -d*u + 1 - 6 = 0 for u.
-1
Let m = 1066 + -1060. Solve 0 = -17*i + 15*i + m for i.
3
Let u(i) = -i**2 - 5*i + 9. Let p(f) = -f - 9. Let m be p(-3). Let b be u(m). Solve -b*y = -2*y for y.
0
Suppose -122 = u - 3*u - 4*c, -u = 3*c - 60. Let w be ((-4)/14)/((-3)/u). Solve -2*t + w = t for t.
2
Let p(d) = -d**3 + 3*d**2 + d - 6. Let y be p(3). Let m(i) = i**3 + 3*i**2 - 2*i - 4. Let t be m(y). Solve t = 3*z + 14 for z.
-4
Let k be 292/(-18) - 2/(-9). Let n = 20 + k. Let c(j) = -3*j - 1. Let b be c(-1). Solve -b*p + n*p = 2 for p.
1
Suppose 16*t - 43 = 11*t - 3*g, 4*g = -16. Solve 3 = -t*j + 8*j for j.
-1
Let m(p) = 11*p + 152. Let i be m(-14). Let z(n) = n + 5. Let g be z(-3). Let l be (g - (-28)/(-8))*i. Solve -l*x - 6 = -0 for x.
-2
Let q(y) = 2*y**2 - 51*y + 135. Let l be q(3). Solve l = 4*d + 37 - 45 for d.
2
Let v(a) = 2*a**2 - 2*a + 31. Let n be v(0). Solve 13*m + n = 5 for m.
-2
Suppose 3*r - 21 = -6. Suppose r = -2*w - 5*u, 0*w + 5*u = 4*w - 5. Suppose -2*c + 8 + w = 0. Solve -3*l = -c*l + 1 for l.
1
Let s be (10 + (-176)/12)*-6. Solve s*v = 23*v + 25 for v.
5
Let o = 36 - 32. Solve 0 = 6*n + 26 + o for n.
-5
Let r = 883 + -876. Solve 4*t + r*t + 55 = 0 for t.
-5
Suppose 8 = j - d + 1, -j - d = -1. Let q(n) = 5*n - n**2 + 2 - 2 + j*n - 4. Let k be q(7). Solve -k = -2*s - 2 for s.
4
Let c(d) = 3*d**2 - 87*d + 108. Let s be c(28). Solve -11*m - s = 31 for m.
-5
Let x be -54 + 53 + (26 - -2). Solve 8*w + 19*w = -x for w.
-1
Suppose 63 = 157*i - 154*i. Solve 4*k + 9 = i for k.
3
Let t = -1113 + 1113. Solve 6*d - 26 + 2 = t for d.
4
Suppose -3*w + 11 = -0*w - y, -5*w + 15 = -y. Let n = w + 2. Suppose -v + 5 = -5*b + 14, 3*v - b = 15. Solve -2*j = -n*j - v for j.
-3
Suppose 3*x + 6 = 2*v - 25, -x = -v + 14. Solve v*w - 28 = 27 for w.
5
Let m = 1 - -1. Let s(z) = 2*z**2 + 4*z - 13. Let u(p) = -p**2 - 3*p + 9. Let k(t) = 5*s(t) + 7*u(t). Let c be k(m). Solve -d = d - c for d.
4
Suppose -n + 25 = 4*n. Let i be (n/15)/((-1)/(-3)). Suppose 2*u = 3 - i. Solve -5*j - u = 4 for j.
-1
Let c be (-2)/(5/(45/(-6))). Suppose p + 48 = 4*p. Let q = -12 + p. Solve q*a + 1 = c*a for a.
-1
Let y = -28 - -30. Let q(p) = 4*p**2 + 2*p - 2. Let a be q(1). Solve y*r = a*r - 8 for r.
4
Let b(j) = 2*j**3 + 11*j**2 - 6*j - 1. Let k(x) = 4*x**3 + 22*x**2 - 12*x - 2. Let h(u) = -5*b(u) + 2*k(u). Let t be h(-6). Solve -4*r = t - 9 for r.
2
Let v be (4/1)/4 - 17. Let x = v - -8. Let f(r) = r**2 + 7*r + 12. Let z be f(x). Solve 3*q + 2*q + z = 0 for q.
-4
Let k be (1 + -9)*(-1)/(-2). Let s be (-12)/(-16) + 15/k. Let q be ((-1)/s)/((-10)/(-120)). Solve -q*g + 8 = -0 for g.
2
Let j = -641 - -661. Solve j*n + 93 + 7 = 0 for n.
-5
Let d be (20 - 0)*(4 - (-180)/(-50)). Solve d*o + 36 = -o for o.
-4
Let i = -1322 - -1324. Solve 40*m + i = 39*m for m.
-2
Let v be (133/(-76))/((-2)/8). Suppose 0 = v*z + 10*z. Solve z = 6*f - 3*f for f.
0
Let k(p) = p**3 + 6*p**2 + 2 + 2*p - 5*p - 3*p**2. Let u be k(-4). Let x be 7 - 10 - u*6. Solve 0 = 5*n + x - 4 for n.
-1
Let w be (14/4)/(25/50) + -5. Solve 3*y = 5 - w for y.
1
Suppose 3*g - 2*b = 8, b - 4 = -5*g + 2*b. Let j = -5 + 1. Let k be (-2)/j*(-5 + 23). Solve g = 2*f + f + k for f.
-3
Let x be 2/(-8) - (7389/(-36) - 7). Solve -10 = -207*j + x*j for j.
-2
Let q be (-1 + 1 - -2) + 0. Suppose -143*i + 138*i + 15 = 0. Solve -q*y + 10 = i*y for y.
2
Suppose m = -5*v + 27, m = -m - v + 45. Suppose 0 = 2*j + 3*j - 3*h - 42, -5*j - 2*h = -m. Solve w = 3*w - j for w.
3
Suppose 9*t - 3*t = t. Solve t = -4*n + 12 - 16 for n.
-1
Let h(d) = -d**2 + 2. Let j be h(0). Let z be (5/(-1))/((-5)/20). Suppose 2*v = -2*v + z. Solve -3*y + v = j*y for y.
1
Suppose -12*d + 11*d = 0. Let i be 3 - (d - (2 + -3)). Solve -4*b = i - 22 for b.
5
Suppose 3*b = -0*o + o - 17, 0 = -4*o + 5*b + 75. Let a = -20 + o. Let t(s) = s**2 + 8. Let x be t(a). Solve 0 = -k - k - x for k.
-4
Suppose 55 - 1499 = -38*i. Solve 0 = -8*v - i - 2 for v.
-5
Let z = -37 + 44. Solve 9 = -g + z for g.
-2
Let p be 9 + (-16)/40 + 16/(-10). Suppose -5*i + 4 = -3*g, -8*g + 3*i - 2 = -6*g. Solve -g*y - p + 3 = 0 for y.
-2
Let u(h) = 11*h**2 - 24*h**3 + 14 - 4*h**2 + 12*h**3 + 11*h**3 - 12*h. Let x be u(5). Solve f - 3 + x = 0 for f.
-1
Suppose 90 = 5*m - 2*s, 4*s - 42 - 48 = -5*m. Suppose 8*u - 3*u - 14 = -2*l, -5*l = 4*u - m. Solve -i = -l*i + 2 for i.
2
Let v be 14 - ((3 - 10) + 10). Solve v = -c + 16 for c.
5
Suppose 5*x - f - 92 = 0, 0 = x + 4*f + 11 - 42. Solve 15*s + 64 = x for s.
-3
Suppose 2*s = 6*s. Let f be s/(3*(-3)/(-9)). Solve 3*x + 0*x - 9 = f for x.
3
Let k be 1 + 1/(-2)*2. Suppose m + m = k. Let v = 951 - 926. Solve h + 4*h + v = m for h.
-5
Let b(m) = -2*m**3 + 17*m**2 + 9*m + 5. Let s be b(9). Suppose -o - 14 = -2*o. Solve o = s*t - 11 for t.
5
Let n(c) = c**3 + 7*c**2 + 8*c