n*r, -k - k + 13 = 5*r. Solve -3*v + k = -6*v for v.
-3
Let w = 12 + -3. Suppose 2*o + w = 5*o. Solve 6 - o = -3*c for c.
-1
Let v be 6/24 + (-58)/8. Let d(r) = r + 10. Let w be d(v). Solve -w*a = -8*a for a.
0
Let t(f) be the first derivative of f**3/3 + 13*f**2/2 + 23*f - 9. Let a be t(-11). Solve 0 = -l + 5 - a for l.
4
Suppose -9 = 3*u, 3*h + 3*u - 8*u - 147 = 0. Let r = -39 + h. Solve s = r*s for s.
0
Let v be (-16)/12*(-1 - 2). Suppose -3*f - 15 = -v*f. Let x be 2/(-3)*f/(-1). Solve -2*y - x = 3*y for y.
-2
Let n(j) = 11 + 8 + 0*j - j - 2. Let g be n(7). Let d = -6 + g. Solve 0*t = 4*t + d for t.
-1
Let b = 25 + -16. Suppose 9*s + 797 = 842. Solve -4*u + b*u + s = 0 for u.
-1
Let c(v) = -v**3 + 15*v**2 + 96*v - 12. Let i be c(-5). Solve 0 = -22*n - 30 + i for n.
-1
Suppose -5*z - y + 5 + 9 = 0, -5*z + 2*y + 2 = 0. Let j(i) = 2*i + 6. Let t(p) = 4*p + 11. Let v(h) = -5*j(h) + 3*t(h). Let x be v(-1). Solve g = x - z for g.
-1
Let j = 20 + -14. Let u be (12/(j - 2))/(3/2). Solve -8 - u = -5*o for o.
2
Let m be 0 - (3 + -6 + 3). Suppose m = -7*d + 15*d. Solve d = 5*u + 12 + 3 for u.
-3
Let x be (-5 + 7)/(4/6). Let m be (-8)/6 - (-19)/x. Solve 2*a = -5 - m for a.
-5
Suppose -p + 136 = i, -p - 25*i + 29*i + 116 = 0. Solve 0 = 126*z - p*z + 24 for z.
4
Let x(w) = -2*w**3 + 3*w - 3. Let a(q) = -5*q**3 + q**2 + 8*q - 8. Let t(i) = -3*a(i) + 8*x(i). Let c be t(-3). Suppose -69*f = -3*f. Solve 2*h + c*h = f for h.
0
Let k be ((-9)/6 + 2)*-36. Let h = k + 22. Solve h*b - 3 - 1 = 0 for b.
1
Let w(j) = -6*j + 136. Let i be w(22). Solve -i*y + 12 = -y for y.
4
Let i be (-7 + (-100)/(-16))/((-2)/8). Solve 3*b = -i*b for b.
0
Let w = 12 - 12. Let c(q) = q**3 - q**2 + 3. Let k be c(w). Suppose 2*n + k*n - 5 = 0. Solve -n + 5 = 4*r for r.
1
Let f(k) = 36*k - 66. Let g be f(2). Suppose 0 = 4*p + 18 - 98. Solve -g*b + p = -2*b for b.
5
Let f = -956 + 974. Solve -2*z = 4*z + f for z.
-3
Suppose 0 = 3*n + 10 - 25. Suppose 5*y - n - 46 = -2*r, -3*y = -5*r + 50. Solve 38 - r = 5*g for g.
5
Let g(h) = 4*h + 20. Let m be g(-4). Solve 0 = m*z + 7*z - 33 for z.
3
Let m be ((-45)/27)/((-3)/18). Suppose -5*c + 8 = -c. Let o be c + m/(-5) + 4. Solve o*s = 2*s for s.
0
Let j(i) = i**2 - 29*i + 138. Let p be j(6). Let c be ((-20)/6)/((-2)/3). Solve 0 = -p*q + c*q for q.
0
Let i(b) = -b**2 - 6*b - 2. Let s be i(-5). Let h be 18 + 20/(-8 + 3). Suppose -11*k + h*k = 0. Solve k = -4*r - 5 - s for r.
-2
Let i(j) = -3*j**2 + 68*j - 42. Let t be i(22). Solve -t*p - 7*p + 27 = 0 for p.
3
Suppose 3*j + w - 20 = 2*w, j = 3*w + 20. Let x(c) = -5*c + 2. Let y be x(0). Suppose -3*g + y*h = 0, -2*g = -0*g + h. Solve g = -4*o - 17 + j for o.
-3
Let g(p) = 2*p**2 + p - 27. Let s be g(-4). Solve k - 3 = s for k.
4
Let s = -213 + 255. Solve -47*v = -s*v + 10 for v.
-2
Suppose -4*x + 2 = -14. Suppose -x*a = -16, 4 = -2*u - a + 2*a. Solve u = -4*s - 17 - 3 for s.
-5
Suppose 0 = -a - 1 + 6. Suppose 16 = -4*q, 5*c + a*q = -0 + 10. Suppose 2*r - c = -2. Solve r*t + 7 = 1 for t.
-3
Let b be 1/(18/(-76)) + 6/27. Suppose 0*d + d + 9 = h, 4*h = 5*d + 33. Let x = b + h. Solve f = -f + x for f.
4
Let b = -25 - -30. Let f = -4 + b. Solve a - 4 = f for a.
5
Suppose 0 = -x + 4*x + 90. Let b be 3/5 - 12/x. Suppose -b + 4 = p. Solve -4 = -p*k - k for k.
1
Suppose 47*t = 2*t + 225. Solve t*i - 25 + 5 = 0 for i.
4
Let v(u) be the third derivative of -u**5/30 - 7*u**4/12 + 2*u**3/3 - 20*u**2. Let q be v(-7). Solve -q*h - 1 = 3 for h.
-1
Let b be 7/(-35) - (-1)/(-10)*-302. Solve -r = 5*r + b for r.
-5
Let c(f) = -f**3 - 5*f**2 - f - 6. Let r be c(-5). Let u be r - (1 + -13 - -1). Suppose 0 = 2*t - u + 4. Solve 1 = t*b - 2 for b.
1
Let b(t) = t**3 + 5*t**2 + 3*t - 4. Suppose -n = 3*n. Suppose n*l - 16 = 4*l. Let s be b(l). Solve 4*a + 20 = -s*a for a.
-5
Suppose 4*j = 11 - 267. Let o be (-3 + 0)/(48/j). Solve r - 2*r - o = 0 for r.
-4
Let f(y) = 4*y**2 + y - 1. Let h = 20 - -7. Let q = -29 + h. Let j be f(q). Solve 2 = -3*z - j for z.
-5
Let w be 5/15 - (-40)/6. Suppose -4*b - 12 = -w*b. Let h be b/(-3)*(-9)/6. Solve -4 = -4*u + h*u for u.
2
Let o = -25 - -26. Suppose 36 = 7*h + o. Solve -h + 25 = 5*r for r.
4
Let x = 21 + -5. Suppose -5*o = 2*n - 67, 0*n - x = 4*n. Solve 5*k - o = 2*k for k.
5
Let c = 78 - 83. Let y(f) = f**2 + 5*f + 2. Let n be y(c). Solve n + 1 = j for j.
3
Let x(n) = -4*n + 12. Let t be x(2). Solve -t*g - 16 = -0*g for g.
-4
Let q = 375 + -366. Solve 4*h + 5 = q*h for h.
1
Let r be 0/(-1 + -5) - -3. Solve r*o = -7 - 5 for o.
-4
Suppose -5*d - 5 + 25 = -2*s, -3*d - 9 = 3*s. Solve -d*j = -8*j - 6 for j.
-1
Suppose 0 = -15*j + 31 + 119. Solve -7*v = j + 25 for v.
-5
Let v = 29 + -30. Let w be (4 - 4) + 1 + v. Solve w = 3*u + 3 - 18 for u.
5
Let t be 3*3*(-8)/18. Let l be (t + 8)/1 - -12. Solve -6*r + 2*r + l = 0 for r.
4
Let a = -154 + 164. Solve -5*u - 25 = -a*u for u.
5
Suppose 4*d + 3*t - 70 = 2, d + 5 = 5*t. Suppose -3*p + 2*u - 4 + 12 = 0, 0 = -5*p + 4*u + 14. Solve 0 = 5*w - p*w - d for w.
5
Let c(i) = -15*i - 195. Let f be c(-13). Suppose 0 = 2*q + 2*p - 24, 4*q + 2*p - 32 = q. Let g = f + q. Solve 23 - g = -3*s for s.
-5
Let l be -9*(4 - 32/6). Solve -9*p = -l*p - 15 for p.
-5
Suppose -1453 = 4*c - 1453. Suppose 27 = 2*f + 3*l, -33 = -f + 6*l - l. Suppose f = 5*u + 3. Solve u*a - 2*a - 2 = c for a.
2
Let p = -2 - -2. Suppose -2*o = -3*k + 5, -4*k + 2*o = -o - 6. Solve 6 = -k*r - p*r for r.
-2
Let f be (-2)/8 + (-26)/(-8). Suppose f*t + t = 16. Let k be 4/(-2) + 4 - 1. Solve 0 = m + t - k for m.
-3
Let b(h) = 2*h**2 + 0*h**2 + 3*h - 2*h**3 - h - 1 - 4*h**2. Let x be b(-2). Solve -3 = -x*l + 2*l for l.
3
Let r(k) = k**2 - 16*k - 2. Let t be r(21). Suppose t = 8*i + 23. Solve -i = 5*s + 10 for s.
-4
Suppose -7*w - 11 = -2*k, -2*w + 116 = 4*k + 14. Solve 35*t = k*t + 48 for t.
4
Suppose 33*r - 24*r = 126. Solve 13*j = r*j - 5 for j.
5
Let n(i) = i + 5. Let t be n(-4). Let y(c) = -3*c + 6*c - t - 4*c + 8*c**2. Let j be y(-1). Solve -3*g - 20 = -j*g for g.
4
Let n(d) = -11*d - 2. Let g(f) = -13*f - 3. Let x(z) = 5*g(z) - 6*n(z). Let b be x(6). Solve 5*c - b*c = -10 for c.
-5
Suppose -3*u - 4*b = -9*b, 5*u + 4*b = 0. Suppose -79*i - 17*i = -1248. Suppose -m + i = -u*m. Solve -5*n + 12 + m = 0 for n.
5
Let b(v) = -28 + 2*v + v + 50. Let a be b(-6). Solve 11 + 5 = -a*z for z.
-4
Suppose 0 = -4*b - 8 - 0, -212 = -5*v + b. Suppose -v = -8*j - 2. Solve 0 = -j*i - 4 + 9 for i.
1
Let u be (-2)/(3/(-21) + (-48)/(-630)). Solve -n = 5*n + u for n.
-5
Let l be 12 + 3 + 6 + -2 + -4. Solve -l = 13*w + 11 for w.
-2
Let u(i) = -i**3 + i + 3. Suppose -2*f - 3*n = 2*f + 15, -n - 5 = 2*f. Let y be u(f). Suppose 0 = y*w + w - 24. Solve -w = 3*g - 0 for g.
-2
Suppose -510*u - 182 = -517*u. Solve u = -12*l - l for l.
-2
Let g(o) = -o**3 + 17*o**2 + 20*o + 23. Let k be g(18). Let r = -50 + k. Solve -25 + r = -4*v for v.
4
Let s = -179 + 221. Solve -8 = -10*p + s for p.
5
Suppose -5*o + 21 = -f + 4, 4*f = -5*o + 32. Solve o*u + 3 + 5 = 0 for u.
-2
Suppose 5*s - 6 = 2*s. Let b be -1 + 0 - s/(-2). Suppose j - 4 = -b. Solve v = -0*v + j for v.
4
Suppose 10*p = 13*p - 24. Suppose -p = -3*n + 4. Solve 0 = a - 2 + n for a.
-2
Let a(g) = -2*g**3 - 3*g**2 + g - 4. Let k(h) = 3 - 5*h - 4 + 6*h. Let d be k(-2). Let z be a(d). Solve 9*y - z = 4*y for y.
4
Let m(l) = l**2 + 13*l + 10. Let n be m(-8). Let c = 34 + n. Solve 3 = c*p - 9 for p.
3
Let w be (9/(-4))/(9/(-528)). Let l = w - 129. Solve 0*f = -l*f for f.
0
Suppose 0 = -0*k - 3*k + 9. Suppose 0*j = k*j. Let c = 5 - j. Solve 1 = -c*o + 6 for o.
1
Suppose 3*u = -17 + 143. Let v be 1*-12*(3 - u/12). Solve n + n - v = 0 for n.
3
Suppose 7*t - 3*t = 8. Let v be (-612)/(-30) - 6/15. Solve -v = -2*k - t*k for k.
5
Let w be 40/(-45)*18/(-2). Solve -2*x + 6*x = w for x.
2
Let y(k) = -8*k**3 - k**2 - k - 1. Let g(b) = -2*b**2 + b + 2. Let o be g(-1). Let l be y(o). Solve -4*q = -l*q + 15 for q.
5
Let n(m) = 2*m**2 + 7*m + 20. Let y be n(-5). Let o = -20 + y. Solve r = -4*r - o for r.
-3
Suppose -q + 3*q = -5*n + 58, 0 = -2*n. Let b = 35 - q. Solve b = 4*f - 2 for f.
2
Let x be (2 + 3/(-2))*166/83. Solve 29 = -7*j + x for j.
-4
Let y = -4 + 15. Let i = y - 19. Let z be i/(-36) + (-156)/(-27). Solve -5*s = -z*s + 5 for s.
5
Suppose 6*t - 3*y = 5*t - 3, -y + 1 = 2*t. Solve 2*