-1/2*h**2 + 4*h - 1. Let z be k(2). Solve 4*d = -6 + z for d.
-1
Let j(y) = y - 7. Let b be j(9). Suppose -3*q = -b - 4. Solve -3*k = -q*k + 3 for k.
-3
Let s(v) = v**3 + 5*v**2 - 15*v - 46. Let n be s(-4). Solve -36*c = -n*c + 24 for c.
-4
Let u be (-25)/(-5) - 4 - -3. Suppose 150 = 14*s - u*s. Solve 0*x - s = -3*x for x.
5
Let b be (-1263)/(-9) - 4/3. Suppose -k - 226 = -5*o - 0*k, 3*o - 4*k = b. Suppose -2*d + 5*d - 8 = a, -2*d + o = 5*a. Solve -4*u = -a*u - 6 for u.
-2
Suppose -14*d + 89 - 19 = 0. Solve -d*t = -2*t + 9 for t.
-3
Suppose 11 = d - 3. Let l be ((-4)/d)/(15/(-105)). Suppose -4*t + 8 = -l*i, 2*t = -4*i - 2*t + 8. Solve -f + 2 + i = 0 for f.
2
Suppose 8*a + 162 = 4*h + 3*a, 5*h + 3*a - 184 = 0. Suppose -35*j = -h*j + 6. Solve -j = -2*x - 0 for x.
1
Let o = 155 - 79. Let t = 81 - o. Solve -t*j = -2 - 8 for j.
2
Let h be 4*(14/6 - 4/12). Solve 5*x = h - 28 for x.
-4
Suppose w = 3*u - 20, -u - 2*u - 3*w = 0. Let g(q) = -q**3 + 3*q**2 + 10*q. Let r be g(u). Solve 0 = 4*h - r*h + 20 for h.
-5
Let p(f) = 3*f**3 + 1. Suppose -10*h = -8*h - 2. Let j be (3/(h + 2))/1. Let i be p(j). Solve 0 = 2*a - 6*a - i for a.
-1
Let p be (-5 - 0)/((-1)/4). Let v = -10 + p. Suppose -4*f - f = -v. Solve 10 = 4*u + f for u.
2
Let d be (20/6)/((-6)/(-27)). Let w be (-14 + d)*1/(-2)*-10. Solve -10 = w*n + 10 for n.
-4
Let z(b) = -2*b**3 + 6*b**2 + 2*b + 6. Let g(d) = 2*d - 29. Let l be g(16). Let o be z(l). Solve 0 = 4*j - 7*j - o for j.
-4
Suppose 2*d + 7 = -5*n, n - 9 - 13 = -3*d. Solve d = -l + 5 for l.
-4
Let t = -71 - -71. Solve -2*x = -t*x for x.
0
Let v(h) = 6*h - 2. Let x be v(5). Let w = 42 - x. Let g = 18 - w. Solve 9*y + 25 = g*y for y.
-5
Let y = 2 + -2. Let q be (y/(-2) + 0)/1. Suppose 5*l = -q*l. Solve l = -s + 4*s + 6 for s.
-2
Let n(w) = w**3 + 13*w**2 + 12*w + 2. Let z be n(-12). Let d = -5 + z. Let s be (-15)/(-5) + d + 2. Solve 0 + 4 = s*f for f.
2
Suppose 26*v = 23*v + 30. Solve 0 = 16*n + v - 42 for n.
2
Let s(n) = 2*n**3 + 25*n**2 + 12*n + 3. Let f be s(-12). Solve -3 = 2*h - f*h for h.
3
Let g(q) = 2*q - 2*q + 3*q - q**2 - 11*q - 16. Let t be g(-8). Let m be ((-6)/(-4))/((-6)/t). Solve -5*v = 1 + m for v.
-1
Suppose 2*v - 4*a = -28, -v - 4*a + 46 = -6*v. Let n = 8 + v. Let q(c) = c**3 + 4*c**2 + 2*c - 3. Let r be q(-3). Solve n*b + 3*b = r for b.
0
Suppose -5*i + 423 - 293 = 0. Solve 3*c - i = -32 for c.
-2
Let o(y) = -y**2 + 21*y - 52. Let m be o(18). Suppose -r - 3*j + 39 = r, 36 = 2*r + m*j. Let v = 9 - 2. Solve -4*f + r = -v*f for f.
-5
Let d be (-2*30/3*-1)/1. Let w be 12/5*d/8. Solve w*j = j for j.
0
Let l be (-1)/(-2 - 6/(-4)). Let u = -3 - -4. Let s be (1 - (-1 - 1))/u. Solve -s = l*v + 1 for v.
-2
Let j be (-16)/10*5/(-2). Suppose -j*z = -z. Suppose z*d = -d. Solve -3*f - 4 - 5 = d for f.
-3
Let f = -3 + 5. Let x = 4 - 15. Let k(q) = q**2 + 11*q + 6. Let a be k(x). Solve -a = -f*j - j for j.
2
Suppose 9 = -n - 3*g - 2, 0 = -g - 4. Let c = 5 - 3. Let v = n + c. Solve -4 = v*t + 2 for t.
-2
Let c = 221 + -221. Solve c = 2*a - 1 - 1 for a.
1
Let n(h) = h**2 - 2*h - 2. Let k be n(-2). Let m(p) = p - 7. Let w be m(6). Let i be (9/k)/(w/(-2)). Solve -z - i = 2*z for z.
-1
Let s(k) = -k**3 - 2*k**2 + 4*k - 13. Let y be s(-4). Solve y*w + 7 + 8 = 0 for w.
-5
Let f = -9 - -13. Suppose -f*r = -4*m + 32, 4*m + r = 8 - 1. Solve -m*n + 6 = -n for n.
3
Suppose -38*v = 6*v. Solve v*k = -10*k + 10 for k.
1
Let p = -1015 - -1015. Solve -14*r - 18 - 10 = p for r.
-2
Suppose -2*f + f = -5, 0 = -2*y - 4*f + 24. Suppose 0*b + 6 = -y*b. Let i be 1/b - (-152)/6. Solve i = d + 4*d for d.
5
Let r = -316 + 324. Solve 2*f + 2 = r for f.
3
Let p(g) = -g**3 + 4*g**2 - 4*g + 3. Let x be p(3). Let z be 14/(-84) - (-7)/6. Let f be z/(3/(-27)*-3). Solve 3*n + 0*n + f = x for n.
-1
Let x be 0*(8/24*-1)/1. Solve -7*v - 177 + 156 = x for v.
-3
Let g(z) = z**2 + 22*z + 135. Let h be g(-11). Solve 6*y + h = -10 for y.
-4
Suppose -12*z + 64 = -128. Solve 4*d - z = -0*d for d.
4
Let j = 9 - 6. Let b = 14075 + -14071. Solve -j*s - b = -1 for s.
-1
Let s(z) = z. Let o(p) = -7*p - 3. Let b be o(-1). Let i be s(b). Solve -i*t = -0*t for t.
0
Let b = -25 + 30. Let n(y) be the first derivative of y**3/3 - 5*y**2/2 + 8*y - 1. Let a be n(b). Solve 4 = 4*r - a for r.
3
Suppose c + 0*d + d = 1, 3 = -c - 2*d. Suppose 5*f - 4*g = -50, -3*g - 17 = f - 7. Let v = f - -18. Solve -v = -k - c for k.
3
Let p(f) = -22*f - 17. Let o be p(-1). Solve o*r - 17 = 3 for r.
4
Let p(k) = 33 + 26*k + 34*k - 81*k + 32*k. Let o be p(-3). Suppose 20 = 5*u + 3*j - 54, 3*u + j - 42 = 0. Solve o = -5*b - u - 12 for b.
-5
Let l be 2 - (0 + 2) - 44/(-11). Suppose 4*k = 20, 0 = 2*g - l*k + 2*k + 10. Solve 3*u + u + 12 = g for u.
-3
Suppose 9*j - 9 = 6*j. Solve -6*h + j*h = 0 for h.
0
Let z(j) = j**2 + 5*j + 3. Let t be z(-5). Let n be (-70)/(-5) - (-1 - 1). Suppose 2*y - n = -5*i + 14, -3*i - t*y = -27. Solve -6*x = -i*x + 6 for x.
-3
Suppose 3*u - 6 = -d + 2*u, u = 4. Let z = d - -6. Let t = z + 0. Solve 5*m + 7 + t = 0 for m.
-3
Suppose 5*x = 2*k + 38, 2*x - 3 = -2*k + 1. Let w be (-5)/((-1)/((-1)/(-1))). Let g be 1/w*(-30)/(-18)*12. Solve g*r - x = r for r.
2
Let i be (12/(-14))/(63/(-441)). Solve -6*b - i*b = -60 for b.
5
Let b = -343 - -344. Solve -k = -3 + b for k.
2
Suppose 0 = 30*t - 39*t + 306. Solve 0 = 5*a - 9 + t for a.
-5
Let y(h) = -h**2 - h. Let r(a) = -10*a. Let c(k) = -2*r(k) + 20*y(k). Let i be c(-1). Let m = -12 - i. Solve 3*f + m = 2 for f.
-2
Suppose 0 = 3*g - 51 - 18. Suppose -103 = -18*z + g. Suppose 2*o - o - 5 = 0. Solve -o*f + z = 2 for f.
1
Let g be (-36)/(-10 - 24/(-9)*3). Solve -g - 7 = -5*p for p.
5
Suppose -i = -5*u + 1 + 1, -3*u + 2*i = 3. Let f be (-2 - (3 - u)) + 6. Suppose -5*d + 31 = -34. Solve 3 = -f*c + d for c.
5
Suppose 2*c - 4*z - 18 = 0, -2*z - z = -3*c + 18. Suppose y - 5*u + 15 = -4*y, 4*y - u = -c. Solve s + y = 4 for s.
4
Suppose 5*o - 5*v + 14 + 26 = 0, 5*o - 3*v + 34 = 0. Let w(i) = i**2 + 5*i + 3. Let p be w(o). Solve 0 = -2*j - p + 1 for j.
-1
Suppose 1 + 7 = n. Suppose 5*w + 33 = n*w. Suppose 8*y + 30 = w*y. Solve -y = -3*r + 5*r for r.
-5
Let p = -6 - 8. Let h be 1 + -2 - (p - -13). Solve u - 4 + 1 = h for u.
3
Let o be 1 + (5 - 15/5) + 1. Solve -o*k + 3 = 11 for k.
-2
Suppose -4*c - 107 = -5*m, -4*m + 9*c + 79 = 8*c. Solve 0 = -a - 17 + m for a.
2
Let v be (-8)/4*-1 - -2. Solve 0 = v*l - 40 + 36 for l.
1
Let m = -575 + 593. Let i = 6 + -4. Solve -5*a + i + m = 0 for a.
4
Let h be (6 - 5)/(2/(-30)). Let z be (-3)/h + 192/(-10). Let x = 19 + z. Solve -r = -x + 2 for r.
-2
Let l be 0 + 6 + 5 - 7. Solve -l = -5*n + 11 for n.
3
Suppose 4*o = -5*c - 152, 2*c - 5*o - 150 = 7*c. Let l = c + 35. Solve j + l = 2*j for j.
3
Let v be (-4)/(-14) - (1 - (-108)/(-14)). Solve -5*y + v*y = 2 for y.
1
Let s be (-2)/3*(-85)/(-102)*-9. Solve -13*g = -s*g - 5*g for g.
0
Let c(w) = w**3 - 9*w**2 + 8*w + 4. Let k(v) = -2*v - 34. Let p be k(-21). Let z be c(p). Solve 5*s + z = -16 for s.
-4
Let h(p) = p - 3. Let w be h(5). Let i(x) = -x**2 + x + 3. Let c be i(0). Suppose -u + 2*z = -9 + c, -6 = 5*u + 2*z. Solve w*r = -u*r - 8 for r.
-4
Let j(t) = -t**2 + 6*t - 3. Suppose 8*u = 3*u + 25. Let p be j(u). Suppose -2*m + 16 = 2*g, p*m + 2 = 4*g - 0. Solve m*n - 8 = 2 for n.
2
Suppose 4*p - 2*a = 78, -4*p + 5*a = -54 - 21. Let m be (-6)/((-24)/p) + -1. Solve -2*t - m = 2 for t.
-3
Let b = 10 + -6. Let s = -43 + 53. Let o be 532/20 + -3 + 4/s. Solve 0 = 5*w + o - b for w.
-4
Let o be (-9 - (-17)/1) + 0. Solve -o*u - 27 = u for u.
-3
Let g be -5 - -1 - (11 + -25). Solve g*m + 5 = 5*m for m.
-1
Let u be (0 - 0)/((-188)/(-47)). Solve u = -36*m + 17*m - 76 for m.
-4
Let a be 1/2*(7 - 6)*-18. Let c be (a + 5)*(3/6 - 3). Solve c = 6*v - 4*v for v.
5
Suppose 0 = -2*f - 3*a + 17, 0*a = -4*f + 3*a + 61. Suppose -4*b + f = -3. Solve 0 + b = -l for l.
-4
Let n(m) = m**2 + 6. Let v(y) = y**2 + 11. Let d(s) = 7*n(s) - 4*v(s). Let c be d(-2). Suppose 20 = 4*a + 4*l, 5*a - c = 2*l + 1. Solve 0*u = -a*u for u.
0
Let v = -8 - -19. Suppose 17 = 4*z - 0*z + l, 3*z = 4*l - v. Solve a = 4*a + z for a.
-1
Let a be (2/6 - -1)/(30/135). Solve a*w + 6 = 8*w for w.
3
Suppose -6 = -0*w - 2*w + i, -i = -4. Let s(m) = -5*m + 472*m**2 - 471*m**2 + 0*m. Let b be s(w). Solve x = -b*x for x.
0
Suppose 3 -