 = -6*s + 2*s. Let u = s + 6. Suppose -2*b = -b. Solve -3*a - u*a = b for a.
0
Let b = 122 + -118. Solve b*s - 3 = 5*s for s.
-3
Suppose i - 4*w - 16 = 0, 3 = -3*i - 3*w - 9. Let q(s) = -s**2 + s. Let p be q(i). Solve p*a - 5*a = 0 for a.
0
Suppose -5*d + 3*z + 2*z = -75, 35 = 2*d - z. Suppose v + v + 24 = 0. Let r = d + v. Solve 2*p - r = 2 for p.
5
Let a be 0 - (-10)/4*2. Let w = 8 - a. Solve -w*d - 7 = -1 for d.
-2
Let y = 102 + -99. Solve -m - y*m = 0 for m.
0
Let u = -76 + 78. Solve 5*j = u*j - 15 for j.
-5
Let g be (-1)/((3/(-2))/3). Let w be (-6)/(-15) - (-24)/(-10). Let b = w - -5. Solve -g*d + b = d for d.
1
Let c(b) be the third derivative of b**6/30 - b**5/60 + b**3/6 - 3*b**2. Let h be c(1). Solve -h*r + 9*r = -5 for r.
-1
Let s = -5 + 0. Let o = s + 3. Let k be 0*(3 - (-7)/o). Solve 0 = -w - k - 2 for w.
-2
Let h be -2 + -4 + (-16)/(-2). Solve 7 = 5*p + h for p.
1
Let c be 31 + (3 + -7 - -2). Solve -4*x - 9 + c = 0 for x.
5
Let a(j) = -j - 9. Let g be a(-9). Suppose 0 = -w - g*w. Solve w*d + d = -5 for d.
-5
Let v(m) = m - 1. Let n be v(3). Let g be 1*2*(-2 - -3). Suppose -g*u + u = -6. Solve -4*y + u*y = -n for y.
-1
Let t = 3 - 3. Suppose g - 21 = -0*g. Let p be (36/g + -2)*-7. Solve o - 2*o - p = t for o.
-2
Let b = 6 + -8. Let g be (-203)/(-63) - b/(-9). Solve g*w - w = 0 for w.
0
Let f = -10 + 18. Let w = 1 + f. Solve w = 4*l + 1 for l.
2
Let h(f) be the first derivative of -5*f**4/4 + f + 1. Let x be h(1). Let p = x - -6. Solve -p*t = t + 6 for t.
-2
Let n = 13 + -13. Let r = 0 - -1. Solve n = h - r - 2 for h.
3
Let l(m) = 11*m**3 - m**2 + m. Let i be l(1). Let u = i - 7. Solve t = -3 + u for t.
1
Suppose 0 = 3*f - 8*f + 10. Suppose -f*n + 15 = 5. Suppose g + 0*g = n*t - 19, -12 = -2*t - 4*g. Solve 12 + 0 = t*c for c.
3
Let h be 2 - (2 - 0)*-1. Solve h*t - t + 9 = 0 for t.
-3
Let y(d) = -d + 18. Let k be y(6). Solve -k = -3*l - l for l.
3
Let d be (3 - 1 - 2) + 4. Solve -d*q = -3*q + 1 for q.
-1
Let z(c) = -9*c + 10. Let w be z(0). Solve -r - r = -w for r.
5
Let o = 112 + -107. Solve o*u + 5 + 0 = 0 for u.
-1
Let p(c) = c**3 + 7*c**2 - 6*c + 8. Let y be p(-8). Let g(r) = r**2 + 8*r + 2. Let b be g(y). Suppose j = t, 2*j + 3*t - b*t - 15 = 0. Solve -j*u - 8 = 7 for u.
-3
Let d(g) = -7*g - 1. Let q be d(-1). Suppose -m + 3*m - q = 0. Solve v - m = 2 for v.
5
Suppose 22 = 3*q + y, 0*y + y = 3*q - 14. Suppose 3*d + 5*c + q = -10, -2*d = -3*c - 21. Solve 6 - 15 = -d*o for o.
3
Let f(l) = l**2 + 4*l + 2. Let x be f(-4). Let v(h) = -h - 4. Let u be v(-13). Let j = 15 - u. Solve y + x*y - j = 0 for y.
2
Let f be 72/16 + (-2)/4. Solve o - 3 = -f for o.
-1
Let w = -6 + 12. Suppose -2*d + 28 = 3*k + 2*k, 5*d = 4*k + 4. Solve -w = d*f - 6*f for f.
3
Let x = 8 + -8. Let s be -1 + 0 + x + 1. Suppose d + 0*y + 17 = 5*y, s = d - 2*y + 5. Solve -b - d = -2*b for b.
3
Let d(t) = -t**2 + 3. Let c be d(0). Suppose 0 = -7*u + c*u. Solve u*r + 12 = -3*r for r.
-4
Let u(z) = z**3 + 10*z**2 + 9*z. Let s be u(-9). Solve s = v - 1 for v.
1
Let s be 7 + (-2 + 0)*1/1. Suppose 0 = -3*l + 26 + 1. Solve s*u + l = -16 for u.
-5
Let a = -16 + 18. Solve a*v - 3*v = -2 for v.
2
Let a(b) = 6*b**2 - 9*b - 1. Let q be a(3). Solve -6 = -4*m - q for m.
-5
Let v(y) = -5*y**2 + 2*y - 1. Let t be v(1). Let w be (-9 - t)/(1/(-1)). Let c = w - 3. Solve 20 = -2*x - c*x for x.
-5
Suppose -6*x = -8*x + 12. Solve 4*o = x*o + 8 for o.
-4
Let a(s) = s - 12. Let u be a(0). Let m = u - -22. Suppose -m = -4*z + 2*z. Solve -2 + z = v for v.
3
Suppose 2*j + 12 = s - 2, 0 = j + 4*s + 25. Let d = j + 16. Suppose -2*c = -2*g + 7*g - 25, -2*c + 20 = 4*g. Solve 0 = -3*b + g + d for b.
4
Let c be (-203)/(-14) + 2/4. Solve c = -4*m - 5 for m.
-5
Let u = -19 + 22. Solve -5*n - 2 = -u*n for n.
-1
Let z(h) = h**2 - 11*h + 18. Let o be z(10). Solve -5 = l - o for l.
3
Let g(s) = s + 5. Let u be g(0). Suppose -3*i - 30 = 5*y - 0*y, 0 = u*i. Let a be (-1*2)/(y/3). Solve 0 = -4*w + 7 + a for w.
2
Suppose d - 5*i = -23, 2*i + 15 = 5*i. Suppose -2*u + 14 - 6 = 0. Suppose -3*f + 5*v = -11, -f = u*v - 2*v. Solve d*b + 4 = f for b.
-1
Let m(a) = 2*a**2 - 3*a + 2. Let q be m(2). Suppose -u - u + 4*r = -26, -u = -q*r - 11. Solve h = 6*h - u for h.
3
Let u be 1 + (1 - 0 - 2). Let v(y) = -y**2 - 6*y - 1. Let f be v(-5). Suppose -j - f*j = u. Solve j*i = -i + 1 for i.
1
Let g(t) = 2*t - 12. Let u be g(8). Suppose 4 = 2*a, 0*v - 16 = -4*v - u*a. Solve 3*n + 4 = -v for n.
-2
Let s be (8/3)/((-16)/(-24)). Suppose -4*o + 0*o + 28 = 3*j, 0 = -4*j + 5*o - s. Let a be -1 - (-1)/((-2)/(-8)). Solve -j*m + 1 = -a for m.
1
Suppose -6*g = -4*g. Solve -4 = -2*k - g for k.
2
Let k be ((-7)/2 + 5)*(-4)/(-3). Solve k = t + t for t.
1
Let g(n) = n**2 - 5*n - 6. Let h be g(6). Solve -2*u = -h - 4 for u.
2
Suppose 0 = 4*s - s - 6. Suppose 6*c - 12 = s*c. Solve 0 = -5*j - c - 2 for j.
-1
Suppose 3*u + 15 = -0*u, -2*u - 8 = -2*z. Suppose h = -3*h - 4. Let k = z - h. Solve k = -a + 1 for a.
1
Let v(y) = y + 39. Let z be v(-14). Solve p = 6*p + z for p.
-5
Let t = 13 + -17. Let h be 48/9 - (-2)/3. Let w = t + h. Solve -w*v = -v + 5 for v.
-5
Let u(d) be the third derivative of d**5/60 - 5*d**4/24 - d**3 + 5*d**2. Let a be u(7). Solve 3*f - a = 1 for f.
3
Let c(y) = -y**3 - 4*y**2 - 4*y - 2. Let u be c(-3). Suppose u = k - 3. Solve -2*v = -0 + k for v.
-2
Let w = -9 + 12. Solve 3 = w*k - 3 for k.
2
Suppose 4*i - 41 - 39 = 0. Suppose 3*x - 2*b = -4, b + 2 = -4*x + 4. Suppose 5*a - 16 - 4 = x. Solve -n = a*n - i for n.
4
Suppose 4*g = 4 + 16. Suppose 0 = 3*y - 2*y - g. Suppose 3*r + 4*l + 15 = l, 4*l = r - 20. Solve r*s - y = -s for s.
5
Let x be (-2)/(-8) + 2/(-8). Suppose x*c - 3*c + 2*u = 4, -c = 5*u - 10. Suppose 0 = 2*v - c*v. Solve n + n = v for n.
0
Suppose 21*p - 20 = 17*p. Solve r = p*r + 4 for r.
-1
Suppose 3*p - 8 - 1 = 0. Solve p = -2*m - 3 for m.
-3
Suppose 0 = 3*g + 6 + 3. Let l = 2 - g. Suppose 0 = i + 3*i - 16. Solve 19 = l*q + i for q.
3
Let u = -59 - -61. Solve 0 = 3*h + 1 + u for h.
-1
Suppose 3*i + 0 + 1 = 2*c, 4*c - 26 = -2*i. Solve 8 = -u - i*u for u.
-2
Suppose -4*z - 16 = 2*f, z = 2*f + 3*z + 6. Solve f*n - 2 = 6 for n.
4
Let x(v) = v**3 - 2*v**2 + 2*v - 4. Let y be x(2). Let i(t) = -6*t - 1. Let s be i(-1). Solve -l = -y*l + s for l.
-5
Let x(p) = 9*p - 60. Let g be x(7). Suppose -a + 0*a + 3 = 0. Solve 0*k = -g*k - a for k.
-1
Let i = -23 - -13. Let u = i - -10. Solve -7*t + 3*t + 4 = u for t.
1
Suppose 0 = -3*v - 16 + 13. Let k = v + 6. Solve -2*t = k + 3 for t.
-4
Suppose 21 = 4*d + 1. Solve -8 + 3 = d*v for v.
-1
Suppose -1 = -2*l + f, 3*l = -l + 3*f + 3. Let y = 9 + l. Solve 0 = -2*a - y + 3 for a.
-3
Let z be (-10)/4*32/(-20). Let o = -2 + z. Suppose r + 1 = o. Solve -u + r = -4 for u.
5
Let k(i) = -i**2 - 10*i + 16. Let x be k(-11). Suppose 0 = -4*y + x + 11. Solve 3 = -y*t + t for t.
-1
Let h = -15 - -24. Let n = h + -7. Solve -n*o - 2 + 4 = 0 for o.
1
Suppose 4*x - 7*x - 8 = -4*w, -3*w = -6. Let n = 2 - x. Solve n = -g - 0 for g.
-2
Let k(z) = z**3 + 2*z**2 - z + 1. Let n be k(-2). Solve -y = -n*y - 8 for y.
-4
Let a be (-2 + (-2)/(-2))*-4. Suppose 0 = s + a*s - 45. Suppose -20 = -4*o + 3*m, 5*o - 4*m - 17 - s = 0. Solve -o = -2*n - 4 for n.
-1
Let w(o) = -6*o - 42. Let d be w(-7). Solve d*x + 1 = x for x.
1
Suppose -2*h = -3 - 23. Solve -4 + h = -3*v for v.
-3
Let f(x) = -7*x**2 - x + 3. Let h be f(2). Let p be h/18 + (-6)/(-4). Solve 2*l - l = p for l.
0
Let x = 26 - 24. Solve -2*b = -6 - x for b.
4
Suppose -5 = -k - 1. Suppose k = -z + 2*z. Suppose 0 = 8*q - z*q. Solve -o + 3 - 2 = q for o.
1
Suppose u = 3*u - 2*z - 18, 4*u + 2*z = 12. Let l be (-3 + 5 - -3) + -3. Suppose 4*j - 5*j - 10 = -u*t, j + t = l. Solve 5*o + 4 + 6 = j for o.
-2
Let p(w) = 5 - w + 2*w**3 - 2*w**2 - 5*w + 0*w + 2*w. Let g be p(2). Solve 0*x = -g*x - 5 for x.
-1
Suppose -4*n - 10 + 2 = 0, -u + 10 = -4*n. Suppose -j = 7 - u. Let m = j - -5. Solve b + m*b - 1 = 0 for b.
1
Let j(d) be the first derivative of -d**3/3 - 4*d**2 + 9*d - 9. Let r be j(-9). Solve r = 2*s - s - 2 for s.
2
Suppose -2*k + 8 = -2*c - 2*c, 8 = 2*c + 2*k. Solve c*d + 20 = 4*d for d.
5
Suppose -3*w = 3*c + 18, -5*w + 4*w - 2*c - 6 = 0. Let b = 11 + w. Suppose -b*o + 0*o = 0. Solve -1 = -d - o for d.
1
Let r be (0 - -33)*(-2)/(-6). Suppose z = l - 