Suppose -h = -5*k + 22, -7*h + 2*h = -15. Let u = 7 - 6. Solve m + k = u for m.
-4
Let v(i) be the first derivative of i**2/2 + 5*i - 19. Let y be v(4). Solve 0 = h + y - 4 for h.
-5
Suppose 0 = 5*l - 20 + 5. Solve -j = l*j - 4 for j.
1
Suppose 16*i = 433 - 257. Solve -10*a - i*a = -42 for a.
2
Let c(n) be the first derivative of -n**4/4 - 7*n**3/3 + 7*n**2/2 - 8*n + 347. Suppose j - 4 = 4*t, 3*t + 7 = -2. Let f be c(j). Solve f = 5*a - 2*a for a.
0
Suppose 0 = 12*s - 6*s - 180. Solve -26*z + s*z + 12 = 0 for z.
-3
Let l = -3 + 5. Suppose 27 = r + 2*j + j, 5*r + l*j = 83. Let q(o) = -o**3 + 4*o**2 + 2*o. Let u be q(4). Solve 3*h = u*h - r for h.
3
Suppose 3*v - 4*v + o = -20, -3*v - 3*o = -36. Suppose -v*l + 14*l = -8. Suppose -m + 2*x - 3 = -14, 0 = -l*x - 16. Solve m*w = w + 10 for w.
5
Let y(s) = -s**3 - 9*s**2 + 10*s - 4. Let q be y(-10). Let k be (-5)/(-3) - (-16)/(-24) - q. Solve -k*t - 2 + 7 = 0 for t.
1
Suppose -3*l - 24 = u, 4*l - 3*u + 32 = -8*u. Let n(w) = -2*w - 11. Let a be n(l). Suppose a*m - 32 = -12. Solve z = m*z for z.
0
Let a = 0 - -4. Suppose 0 = a*b - b - 15. Solve -b*f + 11 = -9 for f.
4
Let w(j) = -6*j - 2. Let m be w(-1). Suppose -1 + 5 = 2*q. Let y = m - q. Solve 3*r + 20 = -y*r for r.
-4
Suppose 0 = -g + 5*a - 18, -2*g - 4 = -2*a. Let h(o) = 32 + 0*o + o**3 - 22 - o - 18 + 8*o**2. Let n be h(-8). Solve n*b = -g*b for b.
0
Suppose 5*c + 20 = -0, -2*v + 4 = -c. Let y be ((-6)/4)/((-21)/28). Suppose w + 4*s = y, 4*w = 2*w - 2*s + 4. Solve v = -7*l + w*l + 20 for l.
4
Suppose 29*q + 3 = 32*q. Solve 4 + q = -5*c for c.
-1
Let u(o) = o**2 - 66. Let y be u(8). Let s be (-24)/(-60) - y/(-5). Solve -15 = -3*q - s for q.
5
Suppose -w = -3*w + 10. Suppose -t + 4 = -o + 3*o, 0 = w*t + 5*o - 20. Solve x = 3*x + t for x.
-2
Suppose -2*z + 4 - 6 = 0. Let g be ((0 - z) + -1)*1. Suppose 0 = -g*t + t - 10. Solve -2 = 4*f - t for f.
2
Suppose -5*i = -164 - 216. Solve -i*q = -74*q - 6 for q.
3
Let b(r) = r**3 - 17*r**2 - 16*r - 5. Let d be b(18). Let g be (-1)/(32/(-30) + 1). Let w = d - g. Solve -v + 5*v + w = 0 for v.
-4
Suppose c + 3*i - 8 = 0, -13*c + 9*c - 5*i + 25 = 0. Solve 189*v + c = 190*v for v.
5
Let s be -5 + -5 + 10 - -77. Let a = 79 - s. Solve -5*u + a = -7*u for u.
-1
Let h(z) = -z - 3. Let d be h(-3). Let i = 5271 + -5259. Solve -4*r = -d*r - i for r.
3
Let r be (-13)/((-2)/(-2)*4/4). Let v be (5 - r)/(-6)*-5. Solve 5*c + 0 - v = 0 for c.
3
Suppose 3*q = 2*q + 2*k + 6, -4*q + 2*k = -6. Solve 17*s - 13*s + 8 = q for s.
-2
Suppose 3*w = -f - f + 2, 4*f - 4*w = 4. Let y(n) = -n - 1. Let i(o) = -o**2 - 2*o + 12. Let u(q) = f*i(q) + 4*y(q). Let m be u(-6). Solve -x = x - m for x.
4
Let v(o) = o + 20. Let g be v(-11). Let f be (-4)/(40/(-5))*8. Solve -5*m + g = f for m.
1
Suppose 2*y = 3 + 5. Let q be 3/12 + 71/4. Suppose 23 = 4*z - 3*g, q + 0 = 3*z - 2*g. Solve -y*h + 8 = -z for h.
4
Let h(f) = 3*f**2 - 9. Let c be h(4). Let t = -37 + c. Solve -t = -x - 7 for x.
-5
Suppose 4*a = 0, -2*l = 11*a - 6*a. Suppose 0 = -2*p - 2*p + 4. Solve l = u - p + 3 for u.
-2
Suppose -4*m = 30 - 22. Let c be (-8)/m + -5 + 2*2. Let o = -18 - -38. Solve o - 5 = c*f for f.
5
Let g = 17 + -12. Suppose 16 = -t + g*t. Solve 2*x - 4 = t*x for x.
-2
Suppose 5*a = -35*a - 28*a. Solve 2*f - 9*f + 14 = a for f.
2
Suppose -5*d + 4*p + 27 = 0, 0*d + 3 = 2*d + p. Solve 0 = d*a + 2 - 5 for a.
1
Let y = -13 + 6. Suppose -12 = 3*s - 2*s. Let t = y - s. Solve -t*o = -4*o + 4 for o.
-4
Let i be 20/2 - (0 + 0 + -5). Solve 10*n = i*n + 25 for n.
-5
Suppose 0 = -4*q - u + 22, -q = -4*q - 5*u + 25. Suppose -8 - 17 = -q*d. Solve d*l = -0*l + 20 for l.
4
Suppose -8*y + 113 - 9 = 0. Solve -y*m = -16*m + 15 for m.
5
Let p(g) = 3*g**2. Let h be p(1). Suppose -61 = -3*f - h*d + d, 0 = d - 5. Let w be 12/(-8)*(-1 - (-1)/(-3)). Solve 0 = -3*t - w + f for t.
5
Let t be (30/(-6))/((0 - -1)/(-3)). Let b(s) = s**3 - 15*s**2 + 5. Let l be b(t). Solve 0 = 2*h - l*h for h.
0
Let n(f) be the first derivative of 5*f**3/3 - 5. Let s be n(-1). Suppose s*q + t + 0*t - 2 = 0, 0 = -t - 3. Solve a = 3 + q for a.
4
Suppose -4 = -36*s + 32*s. Solve -3*t = -s + 4 for t.
-1
Let t(v) = 3*v**2 + 3*v + 2. Let u be t(-3). Suppose -3*a + 5*l + 14 = -16, 0 = 2*a + 4*l - u. Solve 2 = -4*r + a for r.
2
Let x = 213 - 203. Solve 10 = 8*t + x for t.
0
Let g = -1 - -1. Suppose 3*j = -2*j + 2*k + 43, 5*j - 5*k - 55 = g. Let n be -4 + j + -4 - -3. Solve 2*t = 2 + n for t.
2
Let x be ((-10)/25)/(-2) - 432/(-15). Solve 30*a - x*a - 1 = 0 for a.
1
Suppose 0 = -5*h + 7*h - 40. Let i = -19 + h. Solve 0*l - i = -l for l.
1
Let r(u) = -3*u + 4. Let z(j) be the second derivative of -j**4/12 - j**2/2 - 5*j. Let d(p) = -r(p) - 2*z(p). Let f be d(2). Solve -f = 2*y - 4 for y.
-4
Let h be (-56)/(-9) - (-4)/(-18). Suppose k = h*k. Let q be (31/2 - 4) + (-6)/4. Solve k = m + 4*m - q for m.
2
Let t be (2 - (4 - 3)*1) + 19. Let y = -23 - -39. Suppose 2*w + 0*s - t = -2*s, y = 4*s. Solve 4*g - w = g for g.
2
Suppose 0 = 3*c, -4*p - 5*c - 6 + 26 = 0. Suppose -1 = k, -3*f + 3 = -5*f - p*k. Solve -2*r - f = 5 for r.
-3
Let g be 106 + 0 + (-67 - -77). Solve -m + 30*m = g for m.
4
Let l(q) = -q**3 + 2*q**2 + 5*q + 10. Let u(o) = -o**3 + 3*o**2 + 5*o + 11. Let d(z) = -3*l(z) + 4*u(z). Let n be d(7). Solve n = -2*c - 0*c for c.
0
Let w(a) = -5*a**3 - 41*a**2 - 9*a - 3. Let r be w(-8). Solve 0 = -r*f + f for f.
0
Let v(u) = u**2. Let s(f) = -3*f**2 - 4*f. Let t(z) = s(z) + 2*v(z). Let q be t(-3). Suppose -j - q*j = -80. Solve 4*g = -0*g + j for g.
5
Suppose 7*j - 2 = 9*j. Let q = j + -3. Let v be ((-3)/q)/(12/48). Solve d + v = 2*d for d.
3
Suppose -13*d - 169 = 65. Let z be ((-9)/(-12))/((d/(-8))/9). Solve z*v + v = 4 for v.
1
Suppose 4*t = 12, -3 = w - 4*t + 1. Solve -16 = 6*b + w for b.
-4
Suppose 2*h - 3*h + 4 = 0. Suppose 0 = -4*l - 3*s + 16 + 14, 0 = 4*l - h*s - 16. Suppose -4*w = -l*w. Solve w = -5*z + 14 + 1 for z.
3
Suppose 16*t + 5*t - 294 = 0. Solve 0 = -t*s + 25 + 31 for s.
4
Let m(w) = w - 6. Let o be m(5). Let r be (-9)/(-5) + o/(-5). Solve j + r = -j for j.
-1
Let q be (8 - (20 - 11)) + 50*1. Solve 55*j + 12 = q*j for j.
-2
Let d = -49 - -56. Suppose -21 = -2*r - d. Solve 2*i - r*i = 0 for i.
0
Suppose -3*j - 8 = 3*m - 32, -4*m - 13 = -5*j. Solve 0 = j*y + 1 + 9 for y.
-2
Suppose -5*s = -a - 5, 3*s = -4*a - 2*s + 5. Solve 5*h - 3 + 8 = a for h.
-1
Let g = 764 + -746. Solve 4*y + 14 = g for y.
1
Let l be (1 - 1)/(8/((-48)/42)). Solve 6*h + 13*h - 76 = l for h.
4
Suppose 31*r = 42*r - 132. Solve -17*b + r = -14*b for b.
4
Let f be (-6 - (1 - 4)) + 3. Let j = f - -4. Suppose -2*z = -z - j. Solve z*i - 10 = 2*i for i.
5
Suppose g + 9 = 11. Solve g = -2*p + p for p.
-2
Let t be 3 + 0 - (-9 - (-3 + -8)). Solve 14 = 15*p - t for p.
1
Suppose 2*b = b + 4. Suppose -n - d = 185 - 34, b*d = 20. Let a be 2/5 - n/10. Solve 5*x = x - a for x.
-4
Suppose 8*c - 138 = 126. Let z = 34 - c. Solve 0 = j + 1 + z for j.
-2
Let t(w) = -w**2 + 18*w + 145. Let d be t(-6). Solve -4*a - d + 21 = 0 for a.
5
Let d(f) = -f + 14. Let y be d(9). Let n be (6/y)/(8/20). Suppose 2*h - 16 = -2*x - 2, 0 = 5*x - n*h - 75. Solve 0*r - 3*r = -x for r.
4
Suppose -5*w - h + 3 = -0*h, -5*h + 15 = 4*w. Let c be 0 + 5/(-10)*w. Solve c*k - 5*k = 0 for k.
0
Let x(p) = 13*p**2 - p - 10. Let f be x(2). Solve 5*h = -f + 15 for h.
-5
Suppose t + 0*w + 14 = -4*w, 2*w + 4 = -2*t. Solve -l - 9 = t*l for l.
-3
Suppose -8*g = -s - 4*g - 5, -3*g = -6. Solve 3*z + s*z = 30 for z.
5
Let d be (-2)/6 + 30/9. Suppose -504 = -39*l + 11*l. Suppose 0*h - 4*h - b = -5, -4*b = -d*h + l. Solve -h*u - 3*u - 10 = 0 for u.
-2
Let q = 705 + -704. Solve 0 = 9*h + q - 28 for h.
3
Let u be 3*5/5 - -2. Suppose 2*v + 12 = 2*f + 2*f, u*v = 2*f - 6. Solve -4*w = f + 9 for w.
-3
Let k = -742 - -751. Solve 0 = k*z + 12 + 24 for z.
-4
Let r = -154 - -168. Suppose i - r = -8. Let h be (2 + (-10)/6)*6. Solve n = -h*n - i for n.
-2
Let g(o) = 24*o**2 - 2*o - 1. Let z be g(-1). Let m = -21 + z. Let x be 5 + (-1 - m/(-2)). Solve -j - x = j for j.
-3
Suppose -2*g + 96 = 2*g + 4*q, -16 = 4*q. Let o = g - 26. Solve r + o = -r for r.
-1
Let q = -48 + 302. Solve -252*x + 10 = -q*x for x.
-5
Let k(u) = -u**2 + 16*u - 43. Let r be k(5). Solve r*p = p + 5*p for p.
0
Let n be (-2 - -3)*-1*-7. Let s(p) = 3*p