
Suppose -t + 7 - 5 = 0. Let y be (0/4)/(t/1). Solve y*o - o = 0 for o.
0
Suppose -j = -0*j + 2. Let r be -2 + (1 - -1) - -1. Let k = r - j. Solve 6 = k*o - o for o.
3
Let j be 0/(0 - (4 - 7)). Solve -4*r + r + 6 = j for r.
2
Let f(o) = -4*o - 4. Let u be f(-3). Solve 23 = 5*n + u for n.
3
Let h be 1/(-1) - 3 - (-34 + 28). Solve 0 = c + 3 + h for c.
-5
Let m = 4 - 1. Suppose -9 = 6*x - 2*x + m*l, -12 = 4*l. Solve -3*f + 6*f - 12 = x for f.
4
Suppose 5*z + 5*g - 25 = 0, 16 = 4*z - 5*g + 5. Suppose 2*f + 0 = z*p + 28, 5*f = p + 52. Let w = f + -7. Solve -l + w = -1 for l.
4
Let d = 16 + -16. Solve -3*y - 2*y + 25 = d for y.
5
Suppose 0 = -h - 4*w + 7, -2 = w - 3*w. Let n(l) = -l**2 + 6*l + 7. Let i be n(5). Let d = i + -12. Solve -h + d = c for c.
-3
Suppose -3*f + 8 = 2*n - 7, -2*n - 6 = -4*f. Suppose 0 = -4*q + 3*k + 5, 3*k - 9 = -5*q + 2*q. Solve -n*b + 15 = q*b for b.
3
Let a(n) = 2*n - 2. Let f(d) = -d**2 + 4*d + 1. Let p be f(4). Let r be a(p). Solve -4*u + 0*u - 12 = r for u.
-3
Suppose q = 4*q. Let n be q/(-3 - -3 - 2). Solve -3*k + 12 = -n*k for k.
4
Let p(h) = -3*h + 4. Let w be p(-1). Solve -3*b + 4 = w for b.
-1
Suppose -19 = -2*s - 3*a, 0 = 3*s - 0*a - 2*a + 4. Suppose 3*p = -s*p + 15. Solve u = 4*u + p for u.
-1
Suppose 5*y - 6 = 19. Solve -y*i + i = 8 for i.
-2
Suppose 3*z - 6 = z. Let r be 3/1 + (0 - 1). Solve -r*g - z = g for g.
-1
Let t(g) be the first derivative of -g**4/6 - g**3/6 + g**2 - 1. Let k(l) be the second derivative of t(l). Let m be k(-1). Solve 0 = u + m - 8 for u.
5
Let c(g) = 14*g**2 + 2*g - 10*g**2 - 3*g - 3 - g**3. Let k be c(3). Suppose 7 + 5 = k*w. Solve -w*j + j = -15 for j.
5
Let s be (-40)/16*12/(-10). Solve t - 12 = -s*t for t.
3
Let s(o) = 2*o**2 + 2*o - 2. Let q be s(1). Suppose -5*u = -q*v + 33, -4*u - 38 + 6 = -3*v. Solve 2 - v = -y for y.
2
Let t be 34/6 + 2/(-3). Let h be 6/39 - (-206)/13. Solve t*i - i + h = 0 for i.
-4
Let o be 1 + -3 - 2*-2. Suppose 5*g - m = 77, 3*g + g = 4*m + 52. Solve -o*a + g = 2*a for a.
4
Let g be 5/2*(-40)/(-25). Solve g = -0*p - 2*p for p.
-2
Suppose -5*b = g - 2*g - 17, 2*b - 4*g = 14. Suppose 2*v = -b*q + 4, 5*v + 4 = -3*q + 5. Solve -q = -4*t - 10 for t.
-2
Suppose -6 + 14 = p. Solve x = 3*x + p for x.
-4
Let c = 28 - 16. Suppose -6 = j + 3*s + 4, 0 = 2*j - s - 8. Solve -c = 5*b - j for b.
-2
Let v = 11 + -1. Solve -v = -z - 5 for z.
5
Let u(l) = -l**3 - 5*l**2 + 6*l. Let k(y) = y - 6. Let m be k(0). Let g be u(m). Solve 2 = b - g*b for b.
2
Let j = 0 + -2. Let w be (j - 4/3)*-3. Suppose -20 = -5*r - 5. Solve r*s - s = w for s.
5
Suppose -2*x = x + 2*q - 23, 5*x = 4*q + 31. Solve -x*b + 2*b = -15 for b.
3
Let s = -1 - -1. Let u be 4 + -2 + -2 + 2. Suppose 109 = -5*w + 109. Solve s = o + u - w for o.
-2
Suppose -2*g - r = -7, 2*g - 4*r = g + 8. Let d be 0 - 0 - 6/(-3). Suppose -7 = -2*a - 1. Solve a*x - g = d for x.
2
Suppose 6 = 4*r - 2*r. Suppose -2*b + 3*b = -r. Let l be (0/(-6 - b))/1. Solve 2*g + l*g + 8 = 0 for g.
-4
Suppose 0 = 3*n + 4*j - 3*j - 9, -2*j = 5*n - 14. Suppose 5 = n*c - 3. Suppose -22 - 2 = -c*l. Solve 0 = -p - 3*p - l for p.
-3
Let h = -1 - -6. Suppose l - 3*g = -h*g, 0 = -3*l - 5*g + 1. Suppose -k = l*k - 3. Solve a - k = -3 for a.
-2
Let k = 29 - 28. Solve -9 = -4*i - k for i.
2
Suppose 0 = v + v - 2*b + 8, -3*v + 5*b = 18. Let i be 5/((-1)/v)*1. Let q(u) = -u**2 + 6*u - 3. Let g be q(i). Solve -d + 6 = g for d.
4
Suppose 2*k + 15 = 7*k. Let z be (4 - 2)*(-3)/(-3). Solve y = k*y + z for y.
-1
Suppose 70 - 14 = 4*x. Suppose -3*t + x - 2 = 0. Solve q - 3 = t*q for q.
-1
Let r = 125 + -121. Solve -1 - r = -g for g.
5
Let f(r) = -13 - 5*r**2 + 10*r**2 + 3*r**3 + 9*r - 4*r**3. Let w be f(6). Solve -w*l = -l for l.
0
Let g(n) = n**3 + 7*n**2 + 6*n + 8. Let i be g(-6). Let u(c) = c - 7. Let j be u(i). Let m be (0 - -1) + (j - 1). Solve 0 = 4*p + m + 11 for p.
-3
Let c(q) = q**2 - q - 3. Let z be c(3). Suppose 3*m - z = -3*u - 0*m, 0 = 3*u - 3*m - 15. Solve u*t - 5*t + 10 = 0 for t.
5
Suppose 0 = -4*d + 19 + 17. Suppose 0 = -3*b + 3*p + d, 5*b + 9 = 2*b - 3*p. Let o be (-4 + 2 - 0) + 6. Solve o = -v - b*v for v.
-4
Let y be (8/4)/8*8. Suppose -l + 0 = -y. Solve l*n = -n for n.
0
Let q be 1/3 + (-52)/(-6). Suppose q*o = 4*o + 50. Suppose j - 3*f = o, -2*j + 0*f + f = -10. Solve 0 = j*p + 8 for p.
-2
Let f = -6 - -62. Let b = -124 + 88. Let u = f + b. Solve 3*n + u = -n for n.
-5
Let c(a) = -a**3 + 9*a**2 + 9*a + 16. Let t be c(10). Solve -2*q + 2 = -t for q.
4
Let b = -4 - 0. Let g = -2 - b. Let l be g/(2 - 3/3). Solve d + d - l = 0 for d.
1
Suppose -13 = -4*r + 3. Suppose 4*x - 74 = 2*p + 26, 191 = -r*p + 5*x. Let j be 2/(-3) + p/(-12). Solve -16 = -d - j*d for d.
4
Suppose -5*m + 1 = -14. Suppose -w + 16 = m*w. Solve 0 = 7*x - 3*x + w for x.
-1
Let t = 38 + -39. Let i(k) = -2*k**3 - k. Let z be i(1). Let b = t - z. Solve -4*a + 10 = -b for a.
3
Let q = -1 - -3. Suppose -2*x + 3*x + u = 5, 2*u + q = 2*x. Solve -x*a = -0*a for a.
0
Suppose -3*f + 5*y = -13, -4*f - y + 26 = 1. Let q(h) = -h**2 + 7*h - 6. Let m be q(f). Solve c - 4*c = m for c.
0
Suppose 0 = -5*p - r - 50, 5*r = p + 8 + 2. Let o = p - -10. Let q(g) = 10*g**3 + 2*g**2 - 2*g + 1. Let h be q(1). Solve 5*z + h - 1 = o for z.
-2
Suppose d + 3 = 2*d. Solve -f + d*f - 6 = 0 for f.
3
Let a(w) = -w - 9. Let r be a(-9). Suppose 0 = -p + 5*p - 12. Solve 0 = -r*i + p*i + 15 for i.
-5
Suppose -4*n - s - 1 = 0, 7*s + 3 = 4*n + 4*s. Solve n*u = 4*u + 8 for u.
-2
Let j = -2 + 15. Let n(u) = u - 5. Let l be n(9). Solve 1 = l*w + j for w.
-3
Suppose -2*k = -3*k + 2. Suppose -m = -5*d + d + 10, 4*m + 8 = 0. Suppose 4 = -0*n + d*n - f, k*f = 8. Solve 0 = j - 2*j + n for j.
4
Let w(y) = -y**2 + 8*y + 5. Let l be w(7). Suppose 4*u + 2*t = 1 + 1, 3*u + 4*t = -11. Solve -3 + l = -u*k for k.
-3
Suppose 0 = 3*t - 4*l - 32, 2 + 4 = 4*t + 2*l. Suppose -f + 7 = -4*i + i, -5*i - 15 = -5*f. Let r = i + t. Solve 0 = p + r*p - 15 for p.
5
Let w(z) = -z - 1. Let n be w(2). Let j = n - -5. Let i be (0/1)/(-1 + j). Solve i - 2 = 2*q for q.
-1
Let l = 143 - 68. Let p be 2*(-1 + l/6). Suppose -4*d = f + 7 - p, -5*d + 5 = 5*f. Solve d = -4*z + 13 for z.
2
Let d(g) = 9*g + 3*g**2 + g**3 + 3*g**2 - 10 + 6*g**2 - 5. Let w be d(-11). Let x = -4 + 6. Solve w = -x*v + 1 for v.
-3
Let x = 5 + -3. Suppose 4*r + 2 = x*r. Let z be 2/2 - 2/r. Solve 4 - 16 = z*c for c.
-4
Suppose -61 = 5*b - 76. Solve y + 8 = -b*y for y.
-2
Let k = -10 + 10. Suppose k = 5*g - 2*i - 13 - 4, 2*i + 2 = 0. Solve g*w = -0 + 3 for w.
1
Let x = 8 - -32. Let u be x/(-4)*3/(-5). Let v = u + -3. Solve 4 = -v*g - g for g.
-1
Let f be 8/(-14) - (-252)/98. Solve -f*c = -7*c - 20 for c.
-4
Let h = -7 + 13. Let v be 1*h*(-8)/(-12). Solve -v = 4*o - 0*o for o.
-1
Suppose 5*n = -0 + 10. Let y = n - 5. Let b be 1 + -2 - (y - 0). Solve 0*t - 4 = -b*t for t.
2
Let u = 21 + -18. Solve 0 = 2*s - u*s - 3 for s.
-3
Let j = 10 + -7. Solve j*s - 4 = -s for s.
1
Suppose -5 + 19 = 5*u - r, 0 = 5*u - 3*r - 22. Solve 0 = -d - u*d - 9 for d.
-3
Let t be (3 - 2) + 1 + 0. Suppose -3 = 4*f - 27. Let n be 1*(0/(-2) - 0). Solve -t*s + f*s = n for s.
0
Let m be (1 - 1)*(-8 - -9). Suppose m = 3*t - t + 2. Let u be -1 + ((-2)/t - -1). Solve -u*q = -0*q + 8 for q.
-4
Let n = 4 + 1. Let y(t) = -2*t**2 + 10*t. Let p be y(n). Solve p*s - 9 = -3*s for s.
3
Let p = -8 - -13. Suppose 5*v - 4*r + r + p = 0, -4*v + 5*r = 17. Solve 0*f - 4 = -v*f for f.
2
Let v(o) = 2*o - 1. Let q(k) = -k. Let u(z) = 9*q(z) + 4*v(z). Let w be u(-4). Solve -3 = -w*m - m for m.
3
Let c be 7*(4 - 6 - 0). Let v = 19 + c. Solve -2 = z - v for z.
3
Let d = -2 - -3. Let r(s) = -d + s**2 + 0*s**2 - 1 - 4*s. Let z be r(5). Solve 2*i = -i + z for i.
1
Suppose 5*q + 0 - 20 = 0. Solve -q - 1 = w for w.
-5
Let g(w) = -8*w - w**3 + w**2 + w + 8*w. Let v be g(0). Solve v = -q - 2 - 1 for q.
-3
Suppose 4*q - 18 - 5 = -5*w, -q = 2*w - 8. Solve 3*o + w = 4*o for o.
3
Let r = -18 + 28. Let a be 34/r - 6/(-10). Solve 11 = -a*x + 3 for x.
-2
Suppose -d - 5 = -15. Solve 6*s - d = s for s.
2
Suppose 0 = -h + 6*h. Let j = h + 0. Solve c + 2 = -j for c.
-2
Let h(c) be the second derivative of -c**5/20 + c**4/6 + c**3/2 + c**2/2 + 4*c. Let k be h(-2). Solve 0 = 2*f - k + 1 for f.
5
Suppose 5*r - r - 112 = 0. Solve 0 = 5*t - r + 8 for t.
4
Le