be (-1)/(-1 + o) + 1. Solve s = -2*b + b - 3 for b.
-3
Let w be 2/3*-1*-3. Suppose 4*m - 18 = 5*j, 4*j + 1 = w*m - 11. Suppose 83*q = 82*q + 6. Solve -m*k + 0*k = -q for k.
3
Suppose -y - 1 - 2 = -2*c, 4*y - 3*c - 3 = 0. Let d be y + (-5)/((-10)/4). Solve 3*p - d*p = 4 for p.
-2
Suppose -3*g = -3*k - 3, 0 + 5 = -k + 5*g. Suppose -5*x + 14 + 6 = k. Solve -x*q + 0 = -12 for q.
3
Let r = -7 + 0. Let h = -4 - r. Solve 1 = v + h for v.
-2
Suppose 2*f - 4 = 0, 4*p - 4*f + 3 = -p. Solve p + 1 = -2*j for j.
-1
Suppose y - 2*y + 4 = 0. Suppose 0 = -5*n - 5, -2*n - n = y*d - 13. Solve d*i - 3*i = 3 for i.
3
Let o be -8*(-4)/256 - (-15)/8. Solve 2*x + o - 8 = 0 for x.
3
Let l(f) = -f**2 - 8*f - 8. Let c be l(-6). Suppose -5*r - 3*b = -2*r - 18, c*r - 4*b + 8 = 0. Suppose -r*x + 1 = -3. Solve x*q + 0 - 2 = 0 for q.
1
Let g(o) = -2*o**3 - 6*o**2 + 4*o - 5. Let x be g(-4). Let n = -3 + 3. Solve 2*r + 1 - x = n for r.
5
Let x(s) = -5*s + 4. Let h(r) = 9*r - 9. Let l(k) = 3*h(k) + 5*x(k). Let c be l(5). Suppose -c*y = 4*g, 3*g + g = 3*y. Solve 0 = -t - y*t + 5 for t.
5
Let c = -14 - -21. Let y = 9 - c. Suppose 5*t = -4*m + 47, y*t + 0*t = -m + 17. Solve -2 = 3*b + t for b.
-3
Let y = 81 - 53. Suppose -5*k - y + 108 = 0. Suppose 4*u - u = 4*a + k, 5*u = -4*a - 16. Solve u = 6*c - c for c.
0
Suppose -3*l - 8 + 44 = 0. Suppose 7 = v - 4*z - 9, 0 = 3*v + 3*z + l. Solve -4*x + x + 9 = v for x.
3
Suppose -5*j + 2*b + 88 = 0, 3*j + j - 3*b = 76. Let k be 18/(-108) - (-62)/12. Solve k*h - h + j = 0 for h.
-4
Suppose 0 = -0*h - 3*h. Let q be ((-80)/(-24) + (-2)/6)*2. Suppose 0 = -5*d + 15 - 5. Solve h - q = d*o for o.
-3
Let o = -52 - -52. Solve o*l - 3 = -3*l for l.
1
Let o = -5 - -3. Let h = 4 + o. Let m be (-1)/((-10)/25 - 3/5). Solve h*q + m = -9 for q.
-5
Suppose 27 = -3*c + 3*q, q - 9 - 4 = 2*c. Let w = c + 6. Let h = 16 + -10. Solve w*v - h*v = -20 for v.
5
Suppose -2*b = -1 - 3. Suppose -8 = -b*x - 4, 4*q + x - 2 = 0. Solve 0*v + v + 3 = q for v.
-3
Let b be ((162/(-15))/3)/((-9)/30). Solve 0*p = -3*p - b for p.
-4
Let d = -18 + 20. Solve -2*c + 0 = d for c.
-1
Let s(p) = p**2 - 10*p + 24. Let d be s(7). Solve d*j - 3 = -12 for j.
-3
Let s(c) be the first derivative of 15*c**4/4 + c**2/2 + 6. Let y be s(1). Solve -3*j + y = j for j.
4
Suppose -12 = -6*a + 3*a. Suppose 0*v + 8 = 2*v. Suppose 4*x = v*u - 20, -10 = a*u + 2*x - 36. Solve -u = -4*p + 2 for p.
2
Let j(i) = i**3 + 8*i**2 - 9*i - 10. Let r be j(-9). Let c = 11 + r. Suppose -3*x + 20 = 2*x. Solve -v - x + c = 0 for v.
-3
Suppose 28 = 4*y - 4*n, -y - 9 = -4*y - n. Solve -q = q - y for q.
2
Suppose 5 = z + 5. Solve z = -5*w - 0*w + 5 for w.
1
Let l(y) = -y**2 + 8*y - 12. Let q be l(6). Solve v + q = 2 for v.
2
Suppose -6*s = -10*s + 40. Solve s*k = 6*k - 4 for k.
-1
Let a be 8/6 + ((-20)/(-12) - 3). Suppose -3 = 2*t + 1. Let m = 7 + t. Solve a*y = -m*y for y.
0
Suppose 0 = -2*m + 6*m - 8. Suppose 0 = -0*r - 2*r + m. Let c(w) = 5*w**2 - w. Let o be c(r). Solve 2*i - o = i for i.
4
Suppose 2*c - 4*c - 4 = 0. Suppose 12 = -0*g + 3*g. Let m = g + c. Solve 0 = -m*v - 3*v for v.
0
Suppose 0 = 3*j - j - 8. Let t be 0 - 3 - (-1 - -12). Let g be 21/t*(-15 + -1). Solve -j*w + 4 = g for w.
-5
Let c(r) be the first derivative of 1/2*r**2 + 6*r + 1. Let u be c(-4). Solve -g + u = 1 for g.
1
Let q be ((-5)/(-2))/(2/4). Suppose -l - 2*l = 12. Let d be -30*(l/(-3))/(-4). Solve 0 = -5*a - d - q for a.
-3
Suppose -3*g = -0*g - 36. Solve -b + g = 3*b for b.
3
Suppose -5*y = -5 - 0. Solve 4*b - 3 - y = 0 for b.
1
Suppose -5*l = -z - 20, 4*z + 5*l = 38 + 7. Solve p - z*p = -12 for p.
3
Let q(r) = -4*r**3 - 6*r - 2. Let f(n) = 9*n**3 - n**2 + 13*n + 5. Let l(m) = 3*f(m) + 7*q(m). Let g be l(-3). Let j = g - 7. Solve 1 = -j*v + 2*v for v.
-1
Suppose -2*p - p + 3*y - 12 = 0, 2*p - y = -5. Let r(g) = -g**2 - 2*g - 1. Let h be r(p). Let b(q) = -q + 7. Let s be b(5). Solve h = 3*o + s - 8 for o.
2
Let v(d) = -3*d - 2. Let w be v(-2). Suppose 0 = -5*o + 11 + w. Solve -8 = -o*u + 7 for u.
5
Suppose 11 = 2*w + k, -5 = -5*w + 3*k + 6. Let p be 2/(-8)*-2*w. Suppose 0 = -p*l - 4*q + 52, -4*l + 74 = -3*q + q. Solve s = 5*s + l for s.
-5
Suppose -2*n = 2*u, -2*n + 2 = u - 3. Let d(l) = -l**3 - 6*l**2 + 5*l + 7. Let g be d(-7). Suppose 5*t - 17 + 2 = 5*m, n*m + 4*t = g. Solve -3*s + m = 13 for s.
-4
Suppose -6*d - 10 = -4*l - d, -8 = 5*l + 4*d. Let y(h) = h + 8. Let z be y(-5). Solve l = m + z for m.
-3
Let i be 18 - (-2 - (-1 - 4)). Solve 5 = -5*t - i for t.
-4
Suppose 49 = 4*q + 1. Solve -a - q = 2*a for a.
-4
Suppose 0 = 3*i - 3*o - 3, -i + 2*o = -2*o + 14. Solve -i*a = -3*a for a.
0
Suppose -5*o + o = 0. Let x = 13 + -6. Suppose y + 16 = 4*a, 0 = -a - 0*a + 3*y - x. Solve o = a*q + 5 - 0 for q.
-1
Let i be (-10)/15*(-6)/(-4). Let l(h) = 3*h**3 - h + 1. Let n(p) = 10*p**3 - 3*p + 4. Let v(c) = -7*l(c) + 2*n(c). Let f be v(i). Solve 0 = q + f + 2 for q.
-3
Let q(m) = -m**2 + 4*m + 1. Let x be q(3). Let p be 1*x + -2 + 1. Let v = 2 + p. Solve 0*r + 20 = v*r for r.
4
Let v(w) = -w**2 - 7*w - 7. Let d be v(-6). Let r be d*(-3)/(-9)*-3. Let y be -1 + (6 - (3 - r)). Solve y*i - 2*i = 0 for i.
0
Suppose w + 5 = -2*o, -3*o + 2*w - 21 = -w. Let j(v) be the second derivative of -v**5/20 - v**4/3 + 3*v**2/2 + 3*v. Let y be j(o). Solve -y*r = -r for r.
0
Let b be ((-3)/(-5))/(4/60). Solve -4*x + b = -7*x for x.
-3
Let o = 15 - 10. Solve p + 20 = o*p for p.
5
Suppose 22*s - 5 = 21*s. Suppose 0 = -2*k + s*k. Solve k*w - 3*w = 0 for w.
0
Let a be ((-24)/4 - -4)*-1. Solve -a*u + 6 - 2 = 0 for u.
2
Suppose 5*t - 4*t = 6*t. Solve 10 = -t*r + 2*r for r.
5
Let h be 1 + (0 - (2 - 3)). Suppose -2*v - d = d, -h*d = v + 4. Suppose -3*i = v*o - 31 - 0, 0 = 5*i - 5*o - 5. Solve 20 + 5 = i*u for u.
5
Let a(r) = r**3 - 11*r**2 - 13*r + 8. Let v be a(12). Let u be 0*2*v/16. Solve 3*k + 0 - 6 = u for k.
2
Let m(d) = d - 4. Let q be m(9). Let z = q - 3. Solve h = -z - 2 for h.
-4
Let j = 81 + -79. Solve -j*v - 3*v = 15 for v.
-3
Let x = -1 - -5. Solve -6 = -x*n + n for n.
2
Suppose 2*h + 0*h - 20 = -3*l, -l = 2*h - 8. Let q(b) = -b + 10. Let d be q(l). Suppose 0 = 2*i + 3*i + 15, -5*t = 5*i - 5. Solve -d - 8 = -t*a for a.
3
Suppose -f = 3*f. Let h = 2 - f. Suppose h*w = 5*x + 25, 2*w + 4*x + 7 = w. Solve 3*y = 2*y + w for y.
5
Let r be 116/6 - 2/(-3). Solve r = -9*x + 4*x for x.
-4
Let p(m) = -m**2 + 2*m + 10. Let a be p(7). Let i = -11 - a. Solve -4*j + i = -6 for j.
5
Let y = -15 + 20. Solve v - 7 = -y for v.
2
Let l be ((-14)/6 - -2)/((-4)/180). Solve 7*k - 2*k = l for k.
3
Suppose -9 = -4*y + 3. Suppose c - 20 = -g, -4*c + 3*g = -g - 48. Solve y*u + 4 = c for u.
4
Let v be (8/(-12))/((-2)/6). Suppose -12 = -v*q - q. Solve 3*l = 5*l + q for l.
-2
Let r(c) = -c**2 - 2*c - 2. Let g be r(-2). Let i be (-6)/36 + g/(-12). Let b be (i - -24)*5/10. Solve 5*q - q = -b for q.
-3
Suppose m - f = 4, 2*m - 12 = -2*f - 0. Suppose -z = 4*g + z - 20, 55 = 5*g - m*z. Let p = -2 + g. Solve -p = u - 0 for u.
-5
Let d = -2 + 2. Solve 0 = u - d*u for u.
0
Let g(f) = -f - 1. Let m be g(-2). Let j = m + 2. Solve -5*c = -j - 7 for c.
2
Let i(b) = 3*b**2 - b + 2. Let f be i(-3). Suppose -4*n + 4 = -0*v + 4*v, -5*n + 4*v = 4. Solve n = 5*j + f - 12 for j.
-4
Suppose 9 = o + 2*o. Let t be (2/(-3))/(1/o). Let k be (-9)/(-2) - t/(-4). Solve -k*d + 15 = d for d.
3
Let m be -1 + 12/4 - -20. Let c = 25 - m. Solve 3*p = 9 + c for p.
4
Suppose 5*v + m - 40 = 6*m, 3*m = 2*v - 14. Solve -4*t + v = -9*t for t.
-2
Suppose 2*j = -13 + 45. Solve j = -p - 3*p for p.
-4
Let b = 4 - 0. Let g be (2 - b) + 0 + 2. Solve g = -4*c + 1 - 5 for c.
-1
Let j(p) = 19*p**2 + 1. Let i be j(-1). Suppose -6*c = -c - i. Solve -b = b + c for b.
-2
Let d(q) = -q**3 + 6*q**2 + 8*q - 5. Let a be (6/(-9))/(2/(-21)). Let u be d(a). Solve 4*f + 2 = -u for f.
-1
Let n be 5/(5/(-4))*-1. Let o be (n*(0 - -1))/1. Let w(h) = -h**2 + 4*h. Let s be w(o). Solve s = 3*a - 4 - 11 for a.
5
Let m be ((-10)/(-5) - 5) + 4. Let w(u) be the second derivative of u**3/2 + u. Let c be w(m). Solve -x + 2 = -c*x for x.
-1
Let b(y) = y**2 - 7*y + 6. Let o be b(4). Let m(l) = l**3 + 6*l**2 - 2*l. Let n be m(o). Suppose 3*c + n = 7*c. Solve f = -c*f + 20 for f.
5
Let r(y) = y. Let a be r(4). Suppose 0 = 2*f - 1 - 9, a*l + 5*f - 57 = 0. Solve 2*n