 f for o.
-1
Let o(f) = -2*f**3 - 21*f**2 + 10*f - 11. Let c be o(-11). Solve 1 + c = -s for s.
-1
Suppose 5*v = -y + 19, 0 = -0*v + 3*v + 3*y - 21. Solve -v*l = -4*l for l.
0
Let r be 4/((-1)/(-1 + 0)). Suppose 0 = -r*x + 5*x - 8. Solve -x*d = -3*d + 10 for d.
-2
Let n be (-13 - -1)*2/(-8). Solve -6 - 6 = -n*l for l.
4
Let w(s) = 2*s - 4. Let a be w(3). Suppose 0 = -3*d + 4*d - 4. Let z = a + d. Solve 4*p = -z - 6 for p.
-3
Let w(t) = t**3 - t**2 + 2. Suppose -3*c + 2*c = 0. Let f be w(c). Solve -f*i = i for i.
0
Let j be ((-2)/3)/((-2)/(-6)). Let o be ((-5)/2)/(j/4). Solve -2*s + 3*s = -o for s.
-5
Suppose -2*l - n = -4*n - 2, -l - 5*n = 12. Let a(h) = -3*h - h**2 + 0*h - h**2 + 2 - h**3 + 2*h. Let c be a(l). Solve -c*d = d - 25 for d.
5
Suppose 4*h + 9 = -11. Let l = h + 8. Solve 0*p = l*p for p.
0
Suppose 0 = -2*x - 3*a + 45, -5*x + a + 29 = -41. Solve -5*j - x - 10 = 0 for j.
-5
Let m(i) = 6*i**2 - i. Let y be m(1). Let r = 7 - y. Solve t + r*t + 12 = 0 for t.
-4
Suppose -4*u = g + 2 - 3, 0 = 2*u + g - 1. Suppose 0 = -u*y - 2*y + 8. Solve y = -2*q + 14 for q.
5
Let s = -7 + 11. Suppose 3*w + 0*w = 18. Suppose -5*p + w = -s. Solve 0 = p*f - 0 + 8 for f.
-4
Let a(m) = -7*m + 44. Let i be a(6). Solve -r - i = -2*r for r.
2
Let m(n) = -3*n - 6. Let c be m(4). Let x = c + 20. Solve -r - 5 = -x for r.
-3
Suppose 5 - 1 = y - 3*g, 0 = -y - 4*g - 3. Solve 1 = w - y for w.
2
Let v(f) = f**3 - 2*f**2 - 2*f - 3. Let n be v(3). Let h = 4 + n. Solve -13 + 1 = h*m for m.
-3
Let f be -6*(-1 - 2/12). Solve -4*h = -9 - f for h.
4
Let q(s) = -3. Let j(k) = 1. Let f(t) = -17*j(t) - 6*q(t). Let p(v) = v**2 - 3. Let w(u) = 4*f(u) + p(u). Let l be w(-2). Solve 0*d = l*d + 10 for d.
-2
Let q = 3 + -1. Suppose -5*j + q*y = 0, y + 0*y + 5 = 5*j. Solve k = -0 - j for k.
-2
Suppose 0 = 3*v + 6*y - y + 9, -4*v + 3*y = -17. Solve 4*u - 10 = v for u.
3
Suppose -4*x = 4*s - 44, -x = -2*x. Let b = s + 5. Suppose 0 = -5*z - 5, -2*u - z - 3*z + b = 0. Solve -u = -3*r + 2 for r.
4
Let a be 2 + 2/((-6)/9). Let v = 2 - a. Solve 3*b - 12 = v for b.
5
Let n(u) = u**3 + u**2 - u. Let p be n(-2). Let h be ((-9)/3 - 25)/p. Suppose -2 + h = 4*x. Solve -x*w = -5 - 7 for w.
4
Let p(f) = f**3 + 4*f**2 + 2*f + 5. Let i be p(-4). Let k(x) = x**2 + 2*x - 3. Let u be k(i). Solve u*t + 4 = 2*t for t.
2
Let t be 7/((-14)/6) + 3. Solve -5*a - 1 - 9 = t for a.
-2
Suppose j = 2*a - 4, -4*j + 28 = -9*j + 2*a. Let i be j/(-8) - 6/(-24). Solve l = -0 + i for l.
1
Let l = 8 + -3. Let i = -4 + l. Let q = -1 + i. Solve q = -0*b - 4*b - 20 for b.
-5
Let o = 25 + -22. Solve -4*w + o*w + 1 = 0 for w.
1
Let m = -15 - -17. Solve -m*u = -0*u - 6 for u.
3
Let a(c) = -6*c**2 - c + 9. Let i(u) = u**2 - 1. Let j(f) = -a(f) - 5*i(f). Let p be j(-3). Suppose -p*x + 10 = 3*x. Solve 0 = -g + 2 + x for g.
4
Suppose z + 0*z - 2 = 0. Suppose c - z = -3*s + 11, 21 = 4*s + 5*c. Suppose 4*u - 18 = s*q - 6, 2*q + 4 = u. Solve 0 = 2*m - 0 + u for m.
-1
Let f = 22 + -20. Solve f*u = 5*u - 3 for u.
1
Suppose -3*u + 19 = -0*d + 5*d, 9 = u - d. Suppose 4*a + u = -44. Let h = a - -21. Solve 23 = -3*n + h for n.
-5
Suppose 0 = -2*v - 4*j + 54, 2*j + 103 = 3*v - 3*j. Let y = 47 - v. Solve -4*r + 0 = y for r.
-4
Let y(c) = 11*c + 3. Let u(j) = 78*j + 21. Let k(w) = 2*u(w) - 15*y(w). Let r be k(-2). Suppose x - r = -3*t, 2*x = -2*x + t + 8. Solve 0 = x*d - 2*d + 5 for d.
-5
Suppose f = -0*f + 4. Solve f*k - 6*k = 0 for k.
0
Let x(i) = i**3 + i**2 + i + 9. Let o be x(0). Let q be (-1)/(-4) + o/12. Solve a + 2 + q = 0 for a.
-3
Let q = -4 - -10. Let y = q - 2. Solve y*r - 4 = -0*r for r.
1
Let v be ((-4)/(-10))/((-6)/30). Let a be 10 - 0/(-2) - v. Solve -a = 3*c - 0*c for c.
-4
Let j = -8 - -2. Let v = j - -8. Let d = 5 - -7. Solve -2*g - d = v*g for g.
-3
Suppose -5*m + 0*m - 5 = 0. Let j = m - -4. Let r(h) = h - 3. Let z be r(j). Solve z*v = v for v.
0
Suppose 2*r = -s + 3*s + 46, 0 = 3*r + 5*s - 45. Solve 4*v + r = -0*v for v.
-5
Let s be 7 - 2 - (0 - 0). Solve -s*t - 13 - 7 = 0 for t.
-4
Let w be (-17)/(-2*2/8). Let b = w + -30. Solve -3 - 5 = -b*u for u.
2
Let u = 8 + -15. Let v = -2 - u. Suppose 4*g = -5*t + 12 + 9, v*g = -t. Solve -6*o = -o - t for o.
1
Let d(v) = v**3 + 14*v**2 - 15*v. Let q be d(-15). Solve q = -3*b + 3 - 9 for b.
-2
Let b be (0 - (-2 - 1))/(-2 + 3). Solve b*i - 6 = i for i.
3
Let h be (-2)/7 + (-95)/35. Let w be (h - 0/(-2))/(-1). Solve 5*y = -w - 22 for y.
-5
Let l = 16 + -11. Suppose -5*f = a + 18, -3*a - 16 + 42 = -l*f. Solve -9 = -a*b - b for b.
3
Let v = -13 + 18. Solve -4 - 1 = v*y for y.
-1
Suppose 3*f = v - 17 + 2, 5*v - 3*f = 15. Suppose -20 = -5*z - v. Solve 6 = -2*r + z*r for r.
3
Let i = 5 - 0. Suppose -3*g + 11 = 3*j + j, -5*g - i*j + 20 = 0. Solve 0 = -g*d - 10 for d.
-2
Suppose 0 = 4*u - 31 + 11. Suppose 3*d + 5*f = d + 22, 0 = -4*d - u*f + 24. Solve -d - 2 = -o for o.
3
Let b be 22 + -2 + (2 - 6). Let x = -14 + b. Suppose 3*t = t + 24. Solve i - t = -x*i for i.
4
Suppose 0 = -2*c - 0*c + 30. Solve 0 = 3*j - 0 - c for j.
5
Let f(x) = -x - 3. Let r be f(-10). Let p = r + -3. Solve -21 = -p*l - 9 for l.
3
Let u be (5 - -1)/(-3)*-2. Solve u*j - 23 = -3 for j.
5
Let j(h) = 2*h + 28. Let f be j(-13). Let w = 25 + -10. Solve w = f*n + n for n.
5
Suppose 4*l = 3*g + 10 - 3, -l - 2*g + 10 = 0. Solve 0 = 2*w - 8 + l for w.
2
Suppose -2*r = -5*r + 57. Let f = r + -11. Let q = 2 - 0. Solve -q + f = -3*t for t.
-2
Let f(b) = b - 6. Let q be f(9). Suppose 2*c + 5*u = 25, c + q*c + 5*u - 25 = 0. Solve 2*j + j + 9 = c for j.
-3
Suppose 8*l - 8 = 4*l. Let b be -3 - -3 - (-8)/2. Solve l*y = y + b for y.
4
Suppose 0 = -n, -7 - 5 = 4*a - 2*n. Let d(f) = f**3 + 4*f**2 + 3*f + 2. Let m be d(a). Solve 0*x - 10 = m*x for x.
-5
Suppose -3*o + 6 = -o. Let s = o - -5. Solve 0 = 4*v - s + 4 for v.
1
Let l = 52 - 36. Suppose 0 = 4*f - l, -14 = -2*b - 2*f + 2. Solve 5*g + b = 9 for g.
1
Let w = 8 - 3. Let r = 5 + -7. Let t(s) = -s - 2. Let k be t(r). Solve -10 = w*c - k for c.
-2
Let l = -49 + 33. Let r = l - -22. Solve -r*s + s = 10 for s.
-2
Let j(d) = -d**2 - 7*d + 11. Let z be j(-8). Suppose 4*f + x = -3*x + 88, 4*x - z = f. Solve -4*n + f + 3 = 0 for n.
5
Suppose 2*s + 5*m - 25 = 0, 25*s = 30*s - 2*m + 10. Let l(o) = -o + 7. Let f be l(5). Solve s = f*d - 0 + 10 for d.
-5
Suppose g - p - 3 = -2*p, 3*g + 2*p = 9. Solve -g*u + 9 = -0 for u.
3
Let m(w) = w**2 - 8*w - 6. Let t be m(10). Solve 3*v = t + 1 for v.
5
Let h be 6 + 0 + (-5 - -2). Solve -2*x = -h*x for x.
0
Suppose -k = -4*k - 3. Let c = 3 - k. Solve 2*j + c = -2*j for j.
-1
Suppose -6*h + 9*h - 24 = 0. Solve 0 = 2*o + h - 2 for o.
-3
Suppose -5*b + 29 = -0*d + 2*d, -4*d = -5*b - 13. Solve 6*g - 3 = d*g for g.
-3
Suppose 0 = -7*n + 5*n - 28. Let h be 0/(-2)*(-14)/n. Solve h = -2*z + 5*z + 12 for z.
-4
Let c = 0 - -3. Suppose 4*g = g + 12. Solve 9 + c = -g*y for y.
-3
Suppose -5*d + 38 + 27 = 0. Suppose 4*a + 5*c = 6*a + 6, -50 = 5*a + 5*c. Let f = d + a. Solve j + 0*j = f for j.
5
Let u be 3/(-12) + 7/(-4). Let v = u + 2. Let s be (-3)/(-21) + -51*2/(-21). Solve v = -3*r + s + 10 for r.
5
Let m(d) = 5*d**3 + 2*d**2 - d. Let a be m(1). Let x be 1/((-2)/(-5))*2. Let z = x - 3. Solve a = 2*c - z for c.
4
Suppose 11 - 19 = -4*d. Solve -d*l - 12 = 2*l for l.
-3
Let o = -4 + 5. Let d be o + (0 + 0)/(-4). Solve d = -5*n - 9 for n.
-2
Suppose 20 = 3*q - 4. Let c = 15 - 11. Let l = -27 + 51. Solve c*v = l - q for v.
4
Let t be (-20)/(-70) + (-66)/(-14). Suppose 8*f = t*f. Solve f = 5*l - l + 8 for l.
-2
Suppose -8*q - 3*q = -8*q. Solve q*r + 10 = -5*r for r.
-2
Let f = -60 - -62. Solve f = -5*h + 12 for h.
2
Let f be (-2)/(-7) + 2/(-7). Let a = 6 - 2. Suppose a*k + 3*x = 43, -k + 2*k + x - 12 = f. Solve -k*n + 3*n = 4 for n.
-1
Suppose -o = o. Suppose 6*b - 2*b = 2*z + 20, -4*b + 3*z + 20 = o. Suppose 0 = 4*f - 14 - 46. Solve -b*c = -2*c - f for c.
5
Suppose 2*v + 64 = -4*i + i, -2*i = -4*v - 96. Let a = -23 - v. Solve -a*k = 2*k - 15 for k.
3
Let k be (16/12)/(4/6). Suppose 5*h = o + 3 + 9, -k*o = h - 9. Suppose 0 = -h*q + 5 + 1. Solve -q*l - 8 = -0 for l.
-4
Let v be 3*(-1)/(-3) + 2. Let x be (-2)/(-8) - 9/(-12). Let t = v + x. Solve 0*h + 4*h = -t for h.
-1
Let c(y) = y**2 + 17*y + 16. Let z be c(-16). Solve k + 0*k = z for k.
0
Suppose 2*b + 0*s - 14 = -2*s,