 Let j be m(-6). Solve 0 = -n*h + k*h + j for h.
-5
Let b(p) = -p**3 - 3*p**2 + 4*p + 2. Let q be b(-4). Solve -5*s - 22 = -q for s.
-4
Let y(p) = p**2 + 13*p - 136. Let a be y(7). Solve a*x - 6*x = -2 for x.
1
Let r be 284/24 - (-2)/12. Let v = -5 - -1. Let d be 0/1 - 2 - v. Solve d*z + 2 = r for z.
5
Suppose 12 + 183 = 13*r. Solve r = 5*t - 0*t for t.
3
Suppose 423*y - 2250 = -330*y + 303*y. Let q be (3/5)/(2/10). Suppose 0*v - 12 = -q*v. Solve y*c = v + 1 for c.
1
Let j = -119 - -230. Suppose j = -5*n + 161. Solve 0*k - 2*k = n for k.
-5
Suppose -5*g - 3 - 12 = x, 3*x + 96 = 2*g. Let t = x - -32. Solve -t*w - 14 = -4 for w.
-5
Suppose 1 = d - 1. Let g(t) be the third derivative of t**5/60 + 7*t**4/24 + t**3/3 - 7*t**2. Let r be g(-9). Solve -2*k - d*k - r = 0 for k.
-5
Suppose -35 = -5*s + 2*n - 10, 0 = 4*s + 4*n - 20. Suppose 65*a - 332 - 21 = 102. Solve s*h = a + 8 for h.
3
Let v(o) be the first derivative of o**2/2 - 7*o + 12. Let s be v(10). Solve -s*d - 8 = -20 for d.
4
Let p(w) = -2*w + 31. Let o be p(22). Let b = 18 + o. Solve 3 + 7 = b*t for t.
2
Let d(m) = -m**3 + 2*m**2 + 4*m - 6. Let w be d(0). Let n be (9/2 - 3)/(w/(-8)). Solve -10 = -2*x - n for x.
4
Suppose 18 = g - 4*d, -1 - 7 = 2*d. Let w be (-1)/(g - (6 + -3)). Let x = 2 - w. Solve x + 3 = h for h.
4
Let w be 289/85 - (-4)/(-10). Solve -w*x + 15 = -8*x for x.
-3
Suppose 3*a + 9331 = 2584. Let o be a/(-91) + (-4)/(-14). Solve -f - 4*f = -o for f.
5
Let h(i) = -i + 14. Let u = 13 - 19. Let v = 5 - u. Let n be h(v). Solve 0 = z + n*z - 16 for z.
4
Suppose 605*j - 2 = 604*j. Solve j*u - u - 8*u = 0 for u.
0
Let f be ((-15)/2)/(-3) + (-89)/(-178). Solve -f*s - 18 = -24 for s.
2
Suppose 0 = 98*l - 90*l - 536. Solve -l*m = -61*m + 30 for m.
-5
Let f(v) = -v. Let i(x) = x**2 + 13*x + 20. Let m(y) = -f(y) - i(y). Let a be m(-7). Solve -3*z - a = -6 for z.
-3
Let g be 9 - ((2 - -4) + -5)*-1. Suppose 5*v - 10 = 3*v. Solve v*i = 3*i + g for i.
5
Suppose 5*d - q + 48 = 193, -4*d = -5*q - 116. Solve -24*k = -d*k - 25 for k.
-5
Let c = 358 + -358. Let u be -10*(-1 - 2/(-4)). Solve -u*g + 5 = -c*g for g.
1
Let f(k) be the first derivative of 2*k**2 + 3*k - 4. Let l be f(1). Solve -1 = 2*y - l for y.
3
Let s be -1 + 3/(-12)*-4. Suppose 6*k + s*k - 30 = 0. Solve 0*b = -k*b for b.
0
Let k = -64 + 64. Let w = 2 + k. Solve -3*t = -5*t + w for t.
1
Let m(u) = u**3 - 47*u**2 + 170*u + 88. Let c be m(43). Solve 14*s = c*s + 24 for s.
2
Let h be (0*(-3)/9)/2. Suppose -30*f + 221 - 131 = 0. Solve f = -h*t + 3*t for t.
1
Let m(z) = -2*z**3 - 12*z**2 + 2*z + 19. Let d be m(-6). Solve 0 = h - d + 2 for h.
5
Suppose 0 = 2*v + 3*d + 4, -v = 4*d - 5 + 17. Suppose -2 = -v*l + l + 2*n, -5*l + 12 = n. Let z(x) = 36*x + 109. Let p be z(-3). Solve l*s = s + p for s.
1
Suppose -24 = 59*x - 63*x. Let v be (21/9)/7 - (-10)/x. Solve -8 - v = 2*w for w.
-5
Let r(h) = 6*h**2 + h**2 + 6 + h - 4*h**2 - 2*h**2. Let x be r(0). Let a = x - -4. Solve s + a = -s for s.
-5
Suppose 4*u = u - 12, 3*p - 27 = -3*u. Let c be (3 + p/(-1))/1. Let w be (4/c)/((-4)/60). Solve f + w - 1 = 0 for f.
-5
Let d be (1 - 0) + -16 + -1. Let y(l) = l - 36. Let t be y(8). Let g be (105/t)/(6/d). Solve z - g = -z for z.
5
Let f(y) = -3*y**2 + 23*y - 21. Let g be f(6). Solve -g*w - 18 = -3*w for w.
-3
Let w = 1 - -8. Let m = w - 13. Let f be 0/((-3)/((-3)/m)). Solve f = 2*v + 4 - 0 for v.
-2
Suppose 2*h - 8 = -4*k - 2*h, 0 = k - 2*h - 11. Suppose j = k + 10. Suppose 0 = 5*z - 3*z. Solve 3*q = -z*q + j for q.
5
Suppose -3*z + 5*z - 10 = 0. Suppose 3*b + 8 + 1 = 5*p, -15 = 2*p + 5*b. Suppose -4*r = y - 32, -r + p*r - 7 = -y. Solve -t - y = -z*t for t.
3
Let x = 20 + -16. Suppose -16 = -4*w - x*w. Let v = 9 + -4. Solve -f + w*f = v for f.
5
Suppose 3*z - 79 = -4*n - 27, -z + 4*n + 12 = 0. Solve 0*x = -4*x + z for x.
4
Suppose g + 3*l = 23, 0*g = -g - 4*l + 28. Suppose -2*h + 4*o - 32 = 0, o = -h - o - g. Let m be ((-3)/(-1))/((-18)/h). Solve 0 = m*d + 3 + 3 for d.
-3
Let o be 6/18 + 160/24. Solve 0 = g - o*g for g.
0
Let t = 0 + 3. Suppose -5*u + 3 + 21 = b, 2*b + 22 = 4*u. Let g be ((-15)/(-6) - 4)*(-4)/3. Solve -g*v - t - u = 0 for v.
-4
Let z(y) = -y**3 - 15*y**2 - 25*y + 30. Let g be z(-13). Let b = g - 15. Solve b*x = -x for x.
0
Let d = 56 + -45. Let z(b) = -b**3 + 11*b**2. Let l be z(d). Solve l*u = u for u.
0
Let y(k) = -k**2 - 3*k - 8. Let u be y(9). Let c = -116 - u. Suppose -3 = -g + 1. Solve -2*b = -c*b + g for b.
-2
Suppose 22*z - 1160 = -7*z. Solve 42*b = z*b - 6 for b.
-3
Let z(j) = 17*j - 24. Let b(t) = 4*t - 6. Let q(r) = 9*b(r) - 2*z(r). Let p be q(7). Let m(w) = -w**2 + 8*w + 3. Let y be m(p). Solve -l = y*l for l.
0
Suppose -14 = -y + 5*c, -24*y - 42 = -27*y + 3*c. Solve -8 + y = 2*j for j.
3
Suppose -24*m = 12*m. Solve 7*z - 3*z + 20 = m for z.
-5
Let m be 232/(-20) + 2 - (-4)/(-10). Let t = m + 19. Solve -5*o = -11 - t for o.
4
Let h = 15 - 6. Solve -2*n + 1 = -h for n.
5
Let i = 60 + -55. Solve 0 = -j + i - 3 for j.
2
Let b(w) = 2*w**3 - 2*w + 1. Let r be b(1). Suppose -3*s = m + 15, -3*m + 0*s - 3*s = 15. Suppose m = 4*z + 61 - 73. Solve -z*l = -2*l + r for l.
-1
Let w be ((-78)/(-21) + -2)*14. Solve w*z - 8 = 16 for z.
1
Suppose -x + 4 = 2. Let r = x + 18. Suppose 2*q + 5*m + r = 0, -4*q + m - 2*m = 4. Solve 0 = 2*u - 4 - q for u.
2
Let d be (-4)/(-32)*-2 + (-147)/(-12). Solve 4*r + d = r for r.
-4
Suppose 4*o + 8 = -z, -3*z - 5*o = z - 12. Let u be (12/(-5))/((-6)/280). Suppose -5*m = -m - u. Solve 4*n - z + m = 0 for n.
-5
Suppose 23 + 17 = 5*q. Let u = q - -7. Solve -u = -2*s - s for s.
5
Suppose 5*t + 5*r = 0, -2*t - 3*t + 12 = 2*r. Let y be 1 + (-14)/10 - (-1026)/90. Let z = t + y. Solve 2*p - 7*p + z = 0 for p.
3
Let m be (-3)/(-2) + 374/68. Solve 4*f + 3*f - m = 0 for f.
1
Let c(j) = j**2 - 23*j - 6. Let w be c(10). Suppose -3*k = 2*k - 4*r + 50, 0 = -2*r. Let o be k/55 + w/(-22). Solve -14 - o = -4*f for f.
5
Let j be 21/2*(-46)/69. Let k be (-3)/j - (0 - 274/14). Solve 3*c + k = -2*c for c.
-4
Suppose -5*i = -4*l - 26, 3*l - 8 = 5*l. Let v be (-5 - (-7)/i)/((-3)/10). Solve b - 2*b - v = 0 for b.
-5
Let z(h) = -h**3 - 17*h**2 - 9*h + 125. Let i be z(-16). Solve 0 = 4*x + 25 - i for x.
-3
Suppose 0 = 811*o - 846*o + 105. Solve -23 = -o*a - 29 for a.
-2
Suppose 0 = -5*u - 3*p + 5, 0 = -5*u - 2*p - 1 + 11. Solve d = -0*d + u for d.
4
Let k(c) = c + 6. Let y be k(-6). Suppose 5*a - 5*f - 25 = y, 3 = a - 2*a + 5*f. Suppose -1 - a = -2*b. Solve -b*p = -15 - 1 for p.
4
Let g(v) = 3 - 4 - 2 + 2 + 5*v. Let o be g(-1). Let p = o - -11. Solve 2*n + 15 = p*n for n.
5
Let g(m) = 18*m - 24*m**2 + 41 - 17*m**2 - 18*m**2 + 58*m**2. Let h be g(20). Solve h = -z - 1 for z.
-2
Suppose t - 6 = -w - 0*w, -t - 3 = -2*w. Suppose 4*z - 3*z = -5*i - 41, 0 = 5*i + t*z + 43. Let b = i + 18. Solve -4*m = -2 - b for m.
3
Let c(x) = x + 11. Let s be c(-5). Let h(u) = -u**3 + 7*u**2 - 6*u + 7. Let g be h(s). Suppose -g*l + 9*l - 4 = 0. Solve 1 = 3*j - l for j.
1
Let k = 2 - 2. Let l be (-1059)/39 + 3 - 6/(-39). Let i be ((-3)/4 - -2)*(-20 - l). Solve k = 4*u + i - 17 for u.
3
Suppose 11 = 6*f - 1. Suppose 0 = 3*t - 4 - f. Suppose 0 = -t*o - 0*o + 20. Solve o = 5*a - 10 for a.
4
Let q be (-358)/(-15) + 2/15. Let j = q - 12. Solve -4*s + 28 = j for s.
4
Let b(n) = 41*n + 84. Let r be b(-2). Solve r*z + 2*z = 0 for z.
0
Let a = 0 + 2. Let q be (-486)/54 + 22/2. Solve a*s = s + q for s.
2
Let y(i) = 12*i - 182. Let w be y(16). Solve -16*x = -18*x - w for x.
-5
Let w(l) be the third derivative of l**6/60 + l**5/20 - 5*l**4/24 + l**3/2 + 28*l**2. Let s be w(1). Solve -s*n = -8*n - 20 for n.
-4
Let q be -1 - (-1 + -2 + 1). Let u(a) = 3*a - 10. Let w be u(6). Suppose -4*v + 4*l = 16, 2*v - w - 12 = -5*l. Solve v*n + q = -n for n.
-1
Suppose -2*h = -2*h + h. Suppose h = -23*r + 26*r. Solve -3*n - 23 + 8 = r for n.
-5
Let j = -659 - -659. Solve j = 5*n + 6*n - 11 for n.
1
Suppose -4*i + 0 + 8 = 0. Suppose 3 = -m - 2*x, -m = i*x - x. Solve m*q = 19 - 4 for q.
5
Suppose 0 = -2*w + 4*a - 8, 6*a - 28 = -4*w + 3*a. Suppose -30 = -c - w*c. Solve -c + 18 = -3*j for j.
-4
Let b be (-4)/42 - (11 + (-3848)/273). Solve -b*k + 15*k = -36 for k.
-3
Suppose 21*g = 19*g. Solve -3*l + 6 = -g for l.
2
Suppose 9*g - 10 = 4*g. Let s(k) = 3*k**2 - 1 - 3*k**2 + 2*k**g - k