 = o - 23. Let z = f + -2. Solve v = 2*v + z for v.
-2
Let q(n) = -4*n - 4. Suppose -2*k + 7*k - 5*b - 15 = 0, 29 = -2*k - 5*b. Let m be q(k). Solve m = -0*j + j for j.
4
Let y(n) = n**3 + 4*n**2 - n - 1. Let r be y(-4). Let f = 3 - r. Suppose -o = 4*x - 5, -4*o - 2*x + 3 + 17 = f. Solve -l - 8 = -o*l for l.
2
Let i be ((-4)/2 - -1) + 2. Let j be i*(-2 + 4/2). Solve j = -2*d + 5*d - 12 for d.
4
Let w = -21 + 23. Solve 2*l = -8 - w for l.
-5
Let p be 4/12 + (-34)/(-6). Suppose 3*r - 6 = o, 0 = -5*r - 3*o + 4 + p. Solve f + r = -0 for f.
-2
Let k = -12 - -16. Suppose 4*o + t - 12 = -3*t, -k*o = -t - 17. Solve -z - z = -o for z.
2
Let g(v) = -v + 6. Let o be g(6). Suppose -3*q + 6 + 0 = o. Suppose -q*t = -t. Solve -y + 5*y - 16 = t for y.
4
Let s be (2 - 8/12)*3. Solve s = -4*q - 8 for q.
-3
Let v = 14 - 10. Let g(w) = w**2 + 2. Let z = 2 - 4. Let h be g(z). Solve v*p + h = 2*p for p.
-3
Suppose 5*m - 5 = -0*m. Solve k = -m - 3 for k.
-4
Let c(k) = -k**2 - 4*k - 1. Let y be c(-3). Suppose y*f + f = 21. Solve -4*b = -f*b - 12 for b.
-4
Let n = -6 - -1. Let x = n - -6. Solve x = -2*w - 5 for w.
-3
Let c be (-5 - 4/4)/(3/(-2)). Solve 5*s = 6 + c for s.
2
Let u = -13 - -18. Let o = -34 - -37. Solve -7 = -u*z + o for z.
2
Suppose 72 = -4*i - 0*i. Let p = i - -12. Let j(y) = -y - 2. Let q be j(p). Solve -2*w - 10 = -q*w for w.
5
Suppose u - 3*o - 7 = 0, 2*u = o - 3 + 2. Let i be 8*u/8*-2. Solve -i*y = -9 + 1 for y.
2
Suppose -i - 2*k = -4, 5*i + 0*k - k - 9 = 0. Let g be (4 - i)*-2 - -7. Suppose -6 = 2*z - 16. Solve z = -g*r - 4 for r.
-3
Let r be 2*(-2 + (7 - 4)). Solve 1 = r*f + 5 for f.
-2
Let q be 12/2*10/(-6). Let g = q + 16. Solve g*m = m - 10 for m.
-2
Let x(q) = q**2 + 6*q - 2. Let k = 4 - 1. Let s(g) = -g**2 - 7*g + 3. Let y(u) = k*s(u) + 4*x(u). Let h be y(-4). Solve 2*w = 7*w - h for w.
1
Suppose 2*m = 4*s - 0*m + 50, 3*m = 3. Let j be (s + 3)*(-1)/3. Suppose -16 - 17 = -3*w + 3*o, 61 = 5*w + o. Solve -w = -6*z + j*z for z.
4
Suppose -4*b + 20 = -12. Suppose -4*f + b = -3*i - 91, -3*f + 38 = 5*i. Solve -3*s + f = 6 for s.
5
Let t = 0 + 2. Let h be (-2)/2 - (16 + 1). Let y be (3/2)/(h/(-120)). Solve t*j = 4*j + y for j.
-5
Let t = -262 - -262. Suppose -i - 6 = -4*i. Let r = 3 - -3. Solve -2*o + r - i = t for o.
2
Let l(c) = c + 2. Let f be l(-2). Let t = 30 + -26. Solve f = 2*h - 2 + t for h.
-1
Let x be (-1)/(-2)*(6 - 0). Let m(z) = -z + x*z - z + 5. Let v be m(-3). Solve -v*d = -0 + 2 for d.
-1
Let h = -3 + 7. Suppose -12 = -h*l + 4. Solve -l*p + 3 + 9 = 0 for p.
3
Let v = -25 + 41. Solve v = -5*y - 9 for y.
-5
Let t be 10/4 + (-1)/2. Let u be 32/t + (3 - 4). Let n = -10 - -14. Solve -q - u = -n*q for q.
5
Let n(t) = -t**3 + 6*t**2 + 6*t + 11. Let w be n(7). Solve 0 = w*y + 2 + 2 for y.
-1
Let f(b) = 12*b**3 - b - b**2 - 11*b**3 + 2*b**2. Let v be f(0). Solve v = -4*a - a + 20 for a.
4
Suppose -5*w + m = 4*m - 32, -w = -3*m + 8. Solve w*v - 5*v = 3 for v.
-3
Suppose 2*m - 7*m + 15 = 0. Solve -2*p + m + 1 = 0 for p.
2
Suppose 0 = 3*r - 4*m - 2, 5*r - m + 0*m - 9 = 0. Suppose 5*d = 2*b + 11 + 5, 0 = 2*d - 4*b. Solve -c + d = -r*c for c.
-4
Suppose z = -4*z + 25. Solve 2*h - z*h = 0 for h.
0
Let q = 11 + -8. Let f = 5 - q. Suppose 0 = -3*y + 4*y - f. Solve 7*c - 20 = y*c for c.
4
Let k(z) = 9*z - 10. Let a(p) = -3*p + 3. Let n(t) = 7*a(t) + 2*k(t). Let g be n(-1). Solve -5*u - g - 6 = 0 for u.
-2
Let w be (-3)/3*(-1 - -1). Solve 5*m + w = 15 for m.
3
Suppose 9 + 13 = 2*a. Suppose 2*y + d - 19 = 0, 0 = -y - y + 5*d - a. Let z = y + -5. Solve -z*b = -4*b + 10 for b.
5
Suppose -w = -2*d - 3*d, 2*w = -d + 11. Let l be (-21)/(-4) + d/(-4). Solve 1 = -l*m + 4*m for m.
-1
Let h be (6/5)/(9/30). Suppose -l + 0*t = -3*t - 14, 0 = -l - h*t - 14. Solve 12 = p + l*p for p.
4
Suppose c - 6*c = -c. Solve c = -p - p for p.
0
Let k(g) be the third derivative of g**5/30 + g**4/12 - g**3/6 - 5*g**2. Let l be k(-2). Solve 3 = -l*q + 2*q for q.
-3
Let j(f) = -f + 11. Let q = -8 + 17. Let v be j(q). Suppose 3*t - 3*r - 1 + 7 = 0, -2*t + 1 = -r. Solve v*d + 1 = -t for d.
-2
Let t be (1*5)/(1/(-1)). Let q be (-1 - 0)*(t - -3). Suppose 3*h - 15 = -q*h. Solve -5 - h = -4*j for j.
2
Let v = 61 - 59. Solve v*j = -3*j for j.
0
Suppose -10*m + 13*m - 3 = 0. Solve -f - 2 = m for f.
-3
Let y be (62/(-10) - 3/(-15))/2. Suppose 0*s = 3*h + 4*s + 29, -5*s - 40 = 5*h. Let x = h - y. Solve x = -b + 1 + 2 for b.
3
Suppose -4*q = -2*i + 6, -2*i - 18 = 5*q - 6. Let x(k) = -46*k**2 + 1. Let h be x(i). Let b be h*(-2)/(-9)*-3. Solve 0 = -4*c - b + 10 for c.
-5
Let p(z) = -7*z**2 + 7*z + 5. Let n(r) = 10*r**2 - 10*r - 7. Let s(o) = -5*n(o) - 7*p(o). Suppose -4*k = -2*k. Let q be s(k). Solve q - 8 = -4*u for u.
2
Let r(w) = 15*w**2 + w + 1. Let p be r(-1). Let u be (-4)/10 - (-141)/p. Solve 3*m + u + 3 = 0 for m.
-4
Suppose -4*u + 16 = 2*b, -u - 2*u = -3*b - 3. Let j(z) = 2*z**3 - 3*z**2 - 5*z + 3. Let n be j(u). Solve 2*l = -l - n for l.
-5
Let f = -1 + -1. Let z = f + 8. Suppose z*s = 4*s. Solve 0*n - 3*n = s for n.
0
Let v = -13 + 18. Suppose u + 15 = -3*u + 3*c, 0 = 3*u - c + v. Let h = 0 + 2. Solve -h = d - u*d for d.
-2
Let i(a) = a**2 - 7*a**3 + 4*a**3 + 4*a**3. Let l be i(1). Let p = l + 1. Solve -p*s + 0*s = 3 for s.
-1
Suppose -5*g + 2*b + 6 = 0, -g - 2*b - 6 = -3*g. Suppose g = 5*z - 0 + 5. Let q be z/(-3) + (-2)/6. Solve q = -3*x - 5 - 10 for x.
-5
Let y be (-34)/(-9) - (-22)/99. Solve y*h = 8*h for h.
0
Suppose 0 = 3*w - 8*w. Suppose 0 = 2*b - c, 2*b - 5*c + 8 = -0*b. Let l be b*(1 - 0) - 0. Solve n + 5 - l = w for n.
-4
Suppose 11*s - 180 = 2*s. Solve 5*k + 0*k = -s for k.
-4
Let n(r) = -r**3 - 9*r**2 - 8*r + 2. Let d be n(-8). Solve 3 = d*x - x for x.
3
Suppose -12 = -3*j + 3*f, -5*j + 2*f + 8 = -9. Suppose 0 = -j*n - 4 + 13. Let l = n + 1. Solve o = l*o for o.
0
Let r be 0/(1 - 2 - 0). Let a be (-1)/((-3 + r)/9). Let j be 2*4 - (2 - 1). Solve a*k = j + 5 for k.
4
Let o(b) = -5*b - 18. Let m be o(-4). Solve -v - 3 = -m*v for v.
3
Let w(v) = -v**3 - v**2 + v. Let z be w(0). Suppose p + 3*p = z. Let i(s) = -s**2 + 8*s - 4. Let a be i(7). Solve p = 3*q - 6*q - a for q.
-1
Suppose 0 = -67*a + 64*a + 6. Solve -a*l + 3*l = -3 for l.
-3
Let h = 130 - 66. Let t = h - 39. Suppose -4*k + 0 = -8. Solve -k*g = 3*g - t for g.
5
Suppose -5*z = -0*z - 10. Suppose -z*m - m = -6. Solve -2*x + 0 = m for x.
-1
Let q(g) = -10*g**3 - 1. Let f be q(-1). Suppose -3*j + 1 = -r - 2*j, 0 = -4*r + 5*j - f. Suppose 5*h + r*s = 13, 0*s + 17 = 4*h + s. Solve 27 = h*z + 2 for z.
5
Suppose 5*g = -14 - 1, 2*h - 5*g = 25. Suppose 7*w - 38 = 32. Solve h*m + w = -0*m for m.
-2
Let y = -17 - -25. Solve 0 = -0*o + 2*o - y for o.
4
Let b(h) = h + 7. Let d(n) = n + 3. Let c(p) = 2*b(p) - 5*d(p). Let i be c(-1). Suppose v = -3*x - 11, i*x + 3 = -7. Solve -l - v*l - 15 = 0 for l.
-3
Suppose -f = 3*f - 8. Let g(o) = -7*o + 0*o**2 - o**2 - 2 + o**3 + o**f + 4*o**2. Let t be g(-5). Solve 0 = -m + 3*m + t for m.
-4
Let f(w) = -w**3 + 8*w**2 + 8*w + 12. Let d be f(9). Solve -20 = b + d*b for b.
-5
Let w(v) = v + v + v - 2*v. Let j be w(3). Suppose -j*n = -c + 2 - 8, -3*n + 6 = 4*c. Solve c = s - 6 + 8 for s.
-2
Suppose 0*i - 2*i = -6. Suppose 4 = l + i. Let g be (l/3)/(1/27). Solve -4*t = -t - g for t.
3
Let d(k) = 6*k - 7*k + 2*k**2 - 5 - k**2. Let b(o) = o + 9. Let r be b(-5). Let x be d(r). Solve -4*j + x*j = -3 for j.
-1
Let b be (-1)/(3 - (5 - 1)). Solve 6 = 5*g + b for g.
1
Suppose -q - 3*q = 4*k - 24, q = -4*k + 9. Solve -q*u + 0 = 20 for u.
-4
Let q = 5 + -5. Let m(f) = -4*f - 3. Let d be m(-2). Solve q = n - 0*n + d for n.
-5
Let a(c) = 3*c**3 + 4*c - 5. Let m(h) = h**3 + h - 1. Let f(n) = 2*a(n) - 9*m(n). Let t be f(-1). Solve -15 = t*l - 0*l for l.
-5
Let d(x) = 8*x + 80. Let u be d(-10). Solve 8 = -2*p - u for p.
-4
Let t(h) = -h**3 + 3*h**2 + 2*h - 4. Let d be t(3). Let k(r) = -r**3 - 9*r**2 - 7*r + 9. Let m be k(-8). Solve m = -d*l - 9 for l.
-5
Suppose -a = 5*f - 19, 0 = 2*f + a - 11 + 1. Let x be 4 - (0 - (f + -3)). Suppose 0 = 3*t + 3 - 6. Solve h - t = x for h.
5
Suppose -5*s = -2*u - 21, 3*s - 5*u - 13 = -4*u. Solve -2 + s = -a for a.
-3
Let i(v) = -2*v - 3. Let f be i(-3). Let b(a) = -a**3 - 6*a**2 + 6. Let d be b(-6). Suppose 2*r + r - 8 = -o, 4*o = r + d. Solve 1 = -f*m - o for m.
-1
Let x 