p = -2*y + w. Solve 0*d + d + y = 0 for d.
-4
Let c = -12 - -19. Let v = c + -6. Solve v - 17 = 4*i for i.
-4
Suppose 3*s + 2*x - 47 = 0, x + 20 = s + 6*x. Suppose -2*n - s = -2*v + n, 0 = 2*v - n - 5. Solve -o + v = -4 for o.
4
Let l be (-51 - -2)*20/(-70). Solve -l = -5*t - 4 for t.
2
Suppose v + 7 = -5*k, 0 = 6*k - 4*k + 4. Solve -v*m + 6 = -m for m.
3
Suppose n - 2*n + 2 = 5*r, 6 = -3*r - 3*n. Suppose 0 = -2*j + h + r, -3 = -5*j + h + h. Solve -o = -0*o - j for o.
1
Let a = -6 - -24. Suppose 5*g - m - m - 21 = 0, 5*g - m - a = 0. Solve y = g + 1 for y.
4
Suppose 0*k = -3*k + 12. Let s be ((-1)/3)/(1/(-75)). Let j be 26/5 - 5/s. Solve u + j = k for u.
-1
Let m = -4 + 7. Suppose 0 = -m*h + 5 + 1. Solve -j + h = 4 for j.
-2
Let w be 11/33*(1 + -1). Solve w = -p + 4 - 0 for p.
4
Suppose -2*j - 9 = -5*j, -5*r - 4*j + 32 = 0. Let q = 16 + -13. Suppose -q*k - 23 = -2*k - 5*v, -28 = -4*k - r*v. Solve -3*a - k = -17 for a.
5
Let t(b) = b**2 - 2*b. Let z be t(2). Suppose 5*g + 3*o = -5, -5*g + 8*o - 3*o - 5 = z. Let x be (g - -1)*7/14. Solve 15 = -x*s + 3*s for s.
5
Let n = -6 + 10. Let j(k) = k**2 - 3*k - 3. Let b be j(n). Solve 3 = -4*o - b for o.
-1
Let a(s) = s - 3 + 0*s + 0*s - 3*s. Let z be a(-3). Solve -z*r - r - 8 = 0 for r.
-2
Suppose 16*g = 17*g. Solve g*y + 2*y = -2 for y.
-1
Let f be 1/((2 - -1) + -2). Suppose -f = 2*j + 3. Let h = 4 + j. Solve -3 = h*q - 5 for q.
1
Suppose d = 2 + 2. Suppose -4*u - 3*m = d, 0*u - 2*u = -5*m - 24. Solve 0 = u*c - 0*c + 6 for c.
-3
Let y be (108/45)/(4/10). Solve -3*d + y = -3 for d.
3
Suppose -h - 1 = 4*h - 4*j, 5*j - 26 = -2*h. Suppose h*l - 17 = 5*m, 4*l = -3*m + 14 - 1. Solve -l*n = -n + 9 for n.
-3
Let i(c) = -c**2 + 7*c + 33. Let n be i(10). Solve n + 3 = 3*a for a.
2
Let b(k) = k**3 - 10*k**2 - 11*k + 2. Let o be b(11). Solve -5*c - 23 - o = 0 for c.
-5
Let a(u) = 2*u - 9. Let h be a(8). Suppose 3*w - 32 = 4*n, -2*w - 12 = -3*n + h*n. Let b(z) = z + 1. Let m be b(w). Solve m*x = 3*x - 8 for x.
-4
Suppose t - 1 = 1. Suppose -2*p = p. Suppose -3*n - 5*s + 95 = p, -2 + 6 = s. Solve n = -t*a - 3*a for a.
-5
Let l = 0 + 12. Suppose -2*u - 2*u + l = 0. Solve -5 = o - u for o.
-2
Let c = -2 - -3. Let u = -212 - -213. Suppose -5*p - 3*b = -25, -3*p + b = -4*p + 7. Solve p*d + u = -c for d.
-1
Let q be (3/12)/((-1)/(-12)). Suppose 3*k - k = -2*o + 6, -2*o = q*k - 9. Solve o = -5*s + s + 20 for s.
5
Suppose 0 = -5*v + 3*z + 26, -v + 5*z + 5 = -9. Solve -y - 1 = v for y.
-5
Suppose -3*o = -116 + 38. Suppose 0 = 3*q + r - 26, 0*q - 4*r - o = -q. Solve 0 = -2*i + 4*i + q for i.
-5
Let k be 7 + -2 - (0/3 - -1). Solve 4 + k = -4*i for i.
-2
Let t be 8/(-5)*(-30)/12. Solve t = 2*c + 2 for c.
1
Suppose 4*w = 4*q - 72, 3 + 0 = -q. Let f be (-46)/(-14) - (-6)/w. Suppose 5*m - 4 = -2*s + f*s, -5*s - m = -32. Solve 9 = 3*x - s*x for x.
-3
Suppose 0 = -5*r + 10. Solve r = 2*q - q for q.
2
Suppose u + 5 = o, 3*o + 9 = -5*u - 0*u. Solve -5*g - 3 = -o*g for g.
-1
Suppose 3 + 5 = 4*x. Solve 5*s + 6 = x*s for s.
-2
Suppose -2*b = 5*p - 3*b - 26, -3*p + 18 = -3*b. Solve -i + p*i - 12 = 0 for i.
3
Let m(s) = -3*s**2 - 4*s + 4. Let h be m(-4). Let o be (h/16)/((-2)/16). Solve -4*u - o = 2 for u.
-4
Suppose 10*g = 12*g + 12*g. Solve g*y = -5*y - 15 for y.
-3
Let o(b) = -1 + 0*b + 1 - b. Let w be o(-4). Solve 5*u - w - 21 = 0 for u.
5
Suppose -4*j = j - 25. Let b(a) = a**2 + 7*a + 2. Let t be b(-5). Let v be (9/(-12))/(2/t). Solve -4*f + v = -j for f.
2
Let i be (0 + -3)*12/18. Let b be (-2 + 3/(-6))*i. Solve 0 = -g - 4 + b for g.
1
Suppose 3*s + 0 + 3 = 0. Let w be 0/(-3)*s/2. Solve w*h - 3*h = 0 for h.
0
Suppose 2*l - 15 = 3*q, -3*q - 1 - 2 = 2*l. Solve 3 = 3*x - l for x.
2
Let q(w) = w + 8. Let l be q(-6). Let n be 3/(-6) + 3/l. Let y be 7 + -1*(5 - 3) - 2. Solve y = k - n for k.
4
Let q be ((-28)/42)/((-2)/6). Solve 0 = q*x - 0*x + 8 for x.
-4
Let u = 6 - 1. Let q = -11 + 23. Let x = 20 - q. Solve u*h = h - x for h.
-2
Let m(k) = k - 2. Suppose -8*o = -4*o + 16. Let c = o + 12. Let w be m(c). Solve 1 - w = a for a.
-5
Let y = 0 - 0. Suppose f = -3*f + 20. Solve y*u = -f*u for u.
0
Let v(r) = r**2 + 5*r + 4. Let z be v(-6). Suppose -85 = -4*c - g, 2*g = -0*g + z. Let h be (-1*1)/((-5)/35). Solve -h*b + 2*b + c = 0 for b.
4
Let l(v) = v + 10. Let o = 0 + -7. Let p be l(o). Solve p*y + 6 = 5*y for y.
3
Suppose 5*m - 57 = 53. Suppose 4*u - m = -6. Solve 0 = u*s + 3 + 1 for s.
-1
Suppose -5*j = -10*j. Suppose j*r = -2*r. Solve r = y - 0*y - 5 for y.
5
Let b be 2/3*(-2 + 5). Let j = 4 - 28. Let s = j + 36. Solve 2*f = -b*f + s for f.
3
Let l(x) = -x**3 - x**2 + 2. Let w(d) = d**3 - 5*d**2 + 3*d + 4. Let b be w(4). Let u be l(b). Solve u = -3*v + 2*v for v.
-2
Let w(k) = -k - 2. Let s be w(-2). Solve s = -t - 3*t - 8 for t.
-2
Let n(c) = -4 + c**2 - c - 7*c + 9*c. Let q be n(3). Solve -4*y + q = -2*y for y.
4
Let s(b) = -7*b**3 - 3*b**2 - 4*b - 2. Let m be s(-1). Solve 2*f - m = 4*f for f.
-3
Let d(u) = -4*u - u**2 + 0*u - 1 - 5*u**3 + 2*u + u. Let j be d(-1). Solve -3 = -j*v + 1 for v.
1
Suppose 0 = 2*v + 2*t + 2*t + 20, -3*v + 4*t = 40. Let l be 2 + 5/(10/v). Let k = l - -4. Solve 0 = -4*o - k*o + 4 for o.
1
Let v be 4/20 + (-68)/(-10) + -1. Solve -5 = -c + v*c for c.
-1
Suppose -2*g + 4*w + 27 = g, w = 5*g - 28. Let l be (2/6)/(3/9). Solve -l = -3*u + g for u.
2
Suppose 4*f = v - 47 - 11, -3*v - 3*f + 99 = 0. Let m = v - 26. Solve -2*o = 2*o - m for o.
3
Let t = 16 + -8. Solve 5*l - 12 = t for l.
4
Let p(w) = -w**3 - 4*w**2 + 4*w - 6. Let j be p(-5). Let x be (-3)/((1 - j)/(-6)). Suppose -q = -4*q + x. Solve q*o = 2*o + 4 for o.
4
Let v = -5 + 8. Let k(m) = -m + 10. Let u be k(9). Solve o = u + v for o.
4
Suppose 11*p = 7*p + 68. Solve 5*j + 2 = p for j.
3
Suppose -6*p + 7*p - 4 = 0. Suppose 0 = -0*i + 4*i. Suppose -3*c - p + 31 = 2*z, -z - 2*c + 15 = i. Solve y + z = 4*y for y.
3
Let x(p) be the third derivative of p**5/60 + p**4/4 + p**3/6 - 8*p**2. Let u be x(-7). Solve -2*i - 2*i - u = 0 for i.
-2
Let y be 2/(-2)*(-7 + 6). Solve y - 5 = 2*j for j.
-2
Let t(b) = -13*b**2 + 7*b - 1. Let x(n) = 14*n**2 - 8*n + 1. Let a(o) = -6*t(o) - 5*x(o). Let q be a(1). Solve -2*s + q*s - 10 = 0 for s.
2
Let x(f) = f**2 - 2*f - 4. Let w be x(4). Suppose 5*d = -2*z - 20, 5*z - d + w*d + 12 = 0. Solve 0*y + y + 1 = z for y.
-1
Let c be -1 + (9 - (-8)/(-2)). Solve c*q - 9*q = 15 for q.
-3
Let o(g) = -g**3 + 3*g**2 + 5*g - 4. Let r be o(4). Suppose 0 = -2*a - r*a. Solve 2*j + 12 - 2 = a for j.
-5
Let r(i) = -i**2 - i + 3. Let v be r(0). Suppose 4*p + 20 = 2*b, -4*b + b + v = 3*p. Solve 0*o = -b*o for o.
0
Let h = -7 + 14. Suppose h = -3*c + 1. Let w be 2/6 - c/(-6). Solve w = -4*s - 0*s + 4 for s.
1
Let b be 2/(-7) - 74/(-14). Let y be 0*(-2 + (-2 - -5)). Let q be y/4 - (0 - 9). Solve b*v + q + 1 = 0 for v.
-2
Let j = 20 + 19. Let l be (13/j)/((-2)/(-24)). Solve -h - l = -5 for h.
1
Suppose 3*g = -f + g + 32, -2*g = 6. Let a = 23 - f. Let k = -9 - a. Solve b = k*b for b.
0
Suppose -15 = s - 6*s. Solve s*j = j + 2 for j.
1
Let r be -6*1/(-3) - 2. Solve 0*l + 2*l + 8 = r for l.
-4
Let l(r) be the second derivative of r**3/2 + 2*r. Let w be l(3). Solve 4*h + w = -7 for h.
-4
Let c be (1 - -2)/(6/4). Solve -t + 3*t = -c for t.
-1
Suppose 2*l + 15 = -9. Let o be l/10*(-20)/6. Let p = 7 - o. Solve -p*f = 6 + 6 for f.
-4
Suppose d = 4*d + d. Solve -2*u + u = d for u.
0
Let w(h) = -h**2 + 8*h - 8. Let y be w(2). Solve -y*q + 2*q = 0 for q.
0
Let v be 12/5 + (-2)/5. Let b(j) = -j**3 + 5*j**2 - j + 4. Let a be b(5). Let h be (-4 + 4)/(a*2). Solve h*g = g + v for g.
-2
Let n(p) = p - 3. Let t be n(6). Suppose -4*i = -t - 9. Solve -2*q + i*q - 2 = 0 for q.
2
Let t(m) be the first derivative of -m**4/4 + m**3 + m**2/2 - m + 2. Let r be t(3). Solve -r*u + 0 + 2 = 0 for u.
1
Suppose 0 = -b - p - 1, -5*b + 11 = p - 4. Suppose r = 3*r - 6, -b*r + 9 = -x. Solve 0*v - v = -x for v.
3
Let l be 1*-1*(1 + -1). Suppose l = 5*p - j - 20, 6*p = 3*p + 4*j + 12. Let z be 2*(-3)/(-12)*p. Solve -7*f = -z*f + 25 for f.
-5
Let k be ((-6)/12)/(1/(-6)). Let g(l) = 2*l - 11. Let x(u) = u - 5. Let f(n) = -4*g(n) + 9*x(n). Let z be f(k). Solve -m = z*m for m.
0
Let b = -9 - -11. Suppose -b*r + 27 = r - l, -1 = -2*r - 5*l. Let g = -2 - -5. Solve 0 = -g*s - r + 2 for s.
-2
Let u