 h.
-3
Let v = -7 - -10. Let z(b) = -1348*b - 8082. Let f be z(-6). Solve -v*d = 3 + f for d.
-3
Let q(i) = 5*i - 31. Let k be q(7). Suppose b + 6 = -4*w, b + 5*w = -k*b. Solve 0 = -m + b*m + 5 for m.
-5
Let b = -13 + 84. Let y = b - 67. Solve 0 = y*l - 1 - 3 for l.
1
Let f(z) = 37*z - 149. Let n be f(5). Solve -18 = -18*x + n for x.
3
Let w(y) = y + 5. Let s be w(-3). Suppose -4*j + g = 3*g + 2, -5*g = -j - 28. Let u be s - 2/j*-3. Solve -3*f + 15 = -u for f.
5
Let n(l) = 2*l**3 + 20*l**2 - 32*l - 309. Let q be n(-10). Suppose 0*f - f = -8. Solve -f*i + 9 = -q*i for i.
-3
Suppose 1 = -3*m + 19. Let z be (-114)/(-15) - (-4)/10. Suppose 5*t - x - 5 + 3 = 0, -2*t + 4*x + z = 0. Solve m = 3*j - t*j for j.
2
Let u(j) = -j + 5. Suppose 2*s - 16 = 6*s. Let w be u(s). Let t(v) = -v + 1. Let x be t(-1). Solve 3 = x*o + w for o.
-3
Suppose -3*g - 2*s - 4 = -4*g, 5*s + 10 = 0. Solve g*n + 5*n = 0 for n.
0
Let n(a) = a - 7. Let k be n(9). Let s be (2/1)/(k/6). Suppose 5*w + 39 = 4*m, 2*m - 2*w = -10 + 32. Solve 2*f = s - m for f.
-5
Let g(n) = -n**2 + 10*n + 4. Let x be g(10). Let y be x + (-3 + 3)/4. Solve 0*l + y = 2*l for l.
2
Let l(c) = -c**3 + 17*c**2 - 37*c - 70. Let y be l(14). Solve y*b = 3*b + 3 for b.
-1
Suppose -4*v - 4*h = -1 + 9, 5*v - 26 = 4*h. Suppose -7*u + 3*u - c = -24, -u = -v*c - 6. Solve u = 2*g + g for g.
2
Let a(w) = w**2 - 4*w + 13. Let k be a(3). Solve -5*z - k = -25 for z.
3
Suppose 4*n + 12 = 4*h, 0 = 8*n - 4*n + 4. Let p be h + 3*(4 + 16/(-6)). Solve 0 = -o + 3 - p for o.
-3
Suppose -7*o - 20 = -11*o. Suppose u + 4*f - 2*f = 2, 0 = 4*u - f + 28. Let x = 18 + u. Solve 8*y - o*y + x = 0 for y.
-4
Suppose -38*s = -69 - 7. Solve -5 = s*u - 1 for u.
-2
Suppose -42*x + 161 + 1057 = 0. Solve x - 9 = 5*r for r.
4
Let r = -80 - -86. Suppose 4*w - r*a - 36 = -a, -w + 26 = 3*a. Suppose -3*k = -2*d, -5*k + d + 4*d = 0. Solve k = 4*u - w + 2 for u.
3
Let m = 10 + -6. Suppose m*o - 12 = -2*o. Solve 4*k - 6 = -o for k.
1
Suppose 11 + 7 = 9*p. Suppose 0 = -u - 2*f + 4, f = 3*u - 4*f - 1. Let r be (u + -2)*(-2 + 1). Solve -2*w + p = -r*w for w.
1
Suppose 5*t = -2*o + 61, 5*t - 2*o - 35 = 34. Suppose -2 = -3*y - 3*g + t, 0 = -5*y - g + 17. Solve 8 = -y*p + 7*p for p.
2
Let x be 6/4 + -1 + (-552)/(-48). Suppose x = 2*d + 6. Solve -5*l + d + 12 = 0 for l.
3
Let v be (9/(-18))/(1/(-6)). Suppose 0 = -5*n - 0*n + 10, -v*o + 3*n = 6. Solve o = 2*r + 5 + 3 for r.
-4
Let m = 955 + -955. Solve 54*w - 62*w = m for w.
0
Let m(o) be the second derivative of o**4/12 + 7*o**3/6 - o**2/2 - o. Let u be m(-5). Let r = -11 - u. Solve 4*c + 16 = -r*c for c.
-4
Let f(s) = 3*s**3 + s**2 + 2*s + 1. Let h be f(-1). Let q = h + 8. Suppose -3*w + 3 = -3*y - 0, q*y = -w - 5. Solve w = n - 0*n + 2 for n.
-2
Let m(b) = b**3 + 17*b**2 + 14*b - 30. Let l be m(-16). Solve 0 = 2*j - l + 4 for j.
-1
Suppose 4*s = -14 - 2. Let u be -2 - 6*s/8. Suppose -f + 2 = -u. Solve 4*v = f*v for v.
0
Let l = 24 + -21. Suppose -3*s - 3 = -l*z, -2*z - s = z - 7. Solve -5 = -x + z*x for x.
-5
Suppose -4*d = 4*r - 4, 0 = -0*d + 2*d - 3*r - 27. Solve -5*n - 31 = -d for n.
-5
Let l(s) = -s**2 + s - 1. Let o be l(-3). Let n(z) = -z - 10. Let t be n(o). Suppose 10 = t*c + 4. Solve 0 = -i + c + 1 for i.
3
Let s = 258 - 255. Solve 0 = s*q - 1 - 2 for q.
1
Let k be 18/4 - 5/(-10). Suppose 4*f + k*w = -0*f - 8, 5*f - 23 = 2*w. Solve i - 4 = -f*i for i.
1
Let a be (-1)/((-2261)/322 + 7). Solve a*f = 45*f - 5 for f.
-5
Let t = 1181 + -1126. Solve -12*o = -o - t for o.
5
Let r be (-1)/1*(-6 - -3). Solve 4*u = r*u for u.
0
Let n(z) be the first derivative of -z**4/4 + z**2/2 + z - 46. Let h be n(-1). Solve 0 = -c - 0 - h for c.
-1
Let l be (26/(-52))/((-1)/190) - -1. Solve 84*t + 60 = l*t for t.
5
Let v(n) = 2*n**2 - 8*n - 2. Let y be v(9). Let i = y + -84. Solve 0 = -i*h - 7 + 27 for h.
5
Suppose -i = 5*j + i - 7, 0 = -3*j + 3*i + 21. Let m be ((-6)/20*-2)/(j/30). Solve -t + m = -3*t for t.
-3
Let a = 13 - 11. Suppose 5*l = -3*p + 17, -3 = -a*l - 2*p - 3*p. Solve 11 + 1 = -l*v for v.
-3
Suppose 15 = -i + 39. Let x = i - 19. Solve x*f = -36 + 11 for f.
-5
Suppose -3*z - 2*b = -4*b - 22, 4*z - 4*b - 36 = 0. Suppose -5 + 25 = z*o + 2*c, 2*o + 2*c = 12. Solve -2*d - o = -d for d.
-4
Suppose 4 = -2*a, 4*r + 2*a - 7*a - 22 = 0. Suppose -5*f - 5 = 0, r*f + 8 + 0 = p. Solve p*w - 3 = -13 for w.
-2
Suppose 0*t - 251 = -5*z - 2*t, 153 = 3*z + 2*t. Solve 0 = z*n - 57*n - 32 for n.
-4
Suppose i + 2*q = -8, 3*i = -7*q + 12*q + 20. Let g(o) = 9*o - 3. Let k be g(2). Let m = 1 + k. Solve 5*t - 1 + m = i for t.
-3
Let p = 1083 - 1080. Solve -p*k - 8*k - 33 = 0 for k.
-3
Suppose -15*y - 10 = -20*y. Solve -n = -y*n + 5 for n.
5
Let f(u) = -u**2 + 19*u - 17. Let g be f(8). Solve 69*k = g*k + 2 for k.
-1
Suppose 4*n + 12 = -8*h + 5*h, -h = -4. Let f be (-88)/n - (-4)/12. Suppose -z + 10 = 4*z, -5*z - 10 = -5*u. Solve u*w - w = -f for w.
-5
Let s(d) = -d**3 + 14*d**2 + d - 12. Let l be s(14). Solve 0 = x - l for x.
2
Let z be 36/16 + -3 + (-70)/(-8). Suppose -10*a + z*a = -4. Solve -4 + 0 = a*y for y.
-2
Let m = -54 + 64. Solve -m*k = -9*k for k.
0
Suppose 3*o - 20 = -o. Let a = -96 - -46. Let x = 52 + a. Solve -x*j + 1 + o = 0 for j.
3
Let i be 45/12 - (-7)/28. Solve -i*f = -0*f + 2*f for f.
0
Let v be 3/(-1) - -3*6. Solve 7*p = 4*p - v for p.
-5
Let o(a) = a**3 + 8*a**2 - 13*a - 32. Let b be o(-9). Solve -12*h + 32 = -b*h for h.
4
Suppose -12 = -7*v + 3*v. Suppose v*d = -2*n + 16, -2*n + 2*d + 2*d = 12. Let c be 1 + 1 + 1 + -1. Solve -n*h = c*h for h.
0
Suppose -5*g + 15*m - 18*m = -115, g - 2*m - 10 = 0. Let p = -36 + 41. Solve -p*o = -0*o + g for o.
-4
Suppose -14 - 6 = -y. Suppose 0 = 5*s - y - 0. Solve s = -4*f + 5*f for f.
4
Let y(b) = b**3 - 7*b**2 - 8*b. Let s be y(8). Let z(q) = -4*q**2 + 0 + 7 + q + 1 + 5*q**2. Let o be z(s). Solve -4*h - o = 12 for h.
-5
Let d be (1785/84)/(1/4). Let p be 391/d - (-1)/5*2. Solve -p*o = -o + 8 for o.
-2
Let s(t) = -t. Let a be s(-2). Suppose -3*v + 10 = a*v. Suppose 3*y + 21 - 21 = 0. Solve y*d - d + v = 0 for d.
2
Suppose -2*b + 12 = f, 3*b - 7 = -5*f + 67. Solve -f*j = -20*j for j.
0
Let q be ((-18)/(-3) - 214)*-1. Solve -q*z = -204*z - 20 for z.
5
Let s = 114 + -111. Solve 2*l = -s*l + 25 for l.
5
Suppose -4*k + 0*k = -13*k. Solve -7*l + 2 + 5 = k for l.
1
Let b = -11029 + 11033. Let c = 6 - 3. Solve -c*f = f - b for f.
1
Suppose -42 = -3*t - 4*g, 0 = 4*t + 16*g - 14*g - 46. Solve -10 = -t*v + 8*v for v.
5
Let v(u) = 2*u**2 - 26*u - 14. Let x be v(13). Let m be (x - -16)*(-2)/(-8)*2. Solve w - 4 = m for w.
5
Let p = -582 + 589. Solve 0 = -2*v - 17 + p for v.
-5
Suppose 18*h = -30*h + 96. Let n(g) = 7*g**2 + g + 6. Let x(p) = -6*p**2 - 2*p - 6. Let k(r) = 5*n(r) + 6*x(r). Let s be k(-6). Solve s = -h*i - i - 12 for i.
-4
Let w(o) = -9*o - 260. Let x be w(-29). Solve 6*l + 7 = x for l.
-1
Suppose 13 = 8*s - 11. Solve 16 = -s*d + 4 for d.
-4
Let h be 1/(88/12 - 7). Solve -v + 2 + h = 0 for v.
5
Let k be 2/(-8)*26*-2. Solve 7 + 6 = -k*s for s.
-1
Let s = 34 - 29. Suppose 0 = s*l + 43 - 3. Let w be ((-2)/8)/(2/l). Solve -h + w = 4 for h.
-3
Let k be ((-1122)/44)/(-1 + (-11)/(-8)). Let u = -63 - k. Let z = -18 + 27. Solve -u*w - z = 11 for w.
-4
Let a(c) = 2*c**2 - 3*c - 162. Let t be a(10). Suppose n = -3*n + 12. Solve -t = -n*o - o for o.
2
Let d(l) = 42*l**2 - 7*l - 9. Let z be d(-1). Solve 16 + z = 14*o for o.
4
Suppose l - 2*p = 2*l - 19, 0 = 5*l + 5*p - 70. Let b(r) = 2*r - 22. Let d be b(11). Suppose -l = -d*q - q. Solve -5*i = -2*i - q for i.
3
Let h be (-50)/(-18) - -3*6/81. Suppose -h*d + 17 = -2*m, -m = -3*d + 15 + 1. Solve -n = -2*n + d for n.
5
Let t(d) = d**2 + 5*d + 6. Let j be t(0). Solve -n = n + j for n.
-3
Suppose 0 = 3*n + 4*c - 25, -5*n = 98*c - 102*c - 63. Solve 0 = -n*k + 19 + 3 for k.
2
Let a(x) = -x**3 - 48*x**2 - 92*x + 25. Let s be a(-46). Solve 18*q - 13*q = s for q.
5
Let f = 1481 + -1467. Solve f*h + 40 = -16 for h.
-4
Suppose 84 = 4*s - m, 0 = s - 3*m - 18 - 14. Suppose -5*u = -4*t - 2*u - s, 0 = -3*t - 4*u - 15. Let b = -4 - t. Solve b = 2*g + 9 for g.
-4
Suppose -240 = -2*c - 6*c. Let j be (-6)/c + (-22)/(-10). Solve 0*v + 4 = -j*v for v.
-2
Let y(d) = -d**2 - d + 4. Let q be y(0). Suppose -5*u + 25 = -0*u. Solve -u*a + q = -3*a for a.
2
Suppose 