l + 3. Suppose 0 = -3*h + f. Solve -4*w + h - 17 = 0 for w.
-4
Suppose 7*l = 8*l. Solve -z + 3 + 1 = l for z.
4
Suppose -5*g + 0*l + 259 = -2*l, 5*g + l - 253 = 0. Let t be 8/68 - (-147)/g. Solve -t = -4*b + b for b.
1
Suppose -25 = -4*m - 89. Let n = m + 36. Suppose n = 9*z - 4*z. Solve -z*x - x + 15 = 0 for x.
3
Let s = 20 - 20. Suppose 8*d - 5*d = s. Solve c = -2 - d for c.
-2
Suppose 3*k = 12, -5*k - 55 = -5*j - 0*j. Solve -3*n = 2*n - j for n.
3
Suppose -8*j = -128 - 40. Solve 0 = -3*k - j + 9 for k.
-4
Let h = -2 + 9. Solve h - 3 = -2*b for b.
-2
Let y be -1*((-8)/(-10))/((-2)/5). Solve 6*t - 8*t = y for t.
-1
Let x be (3 - 0)/((-6)/(-8)). Solve 6 + 6 = x*a for a.
3
Let y = 6 - 2. Suppose 0 = y*t + 3*r - 41, -23 - 7 = -3*t - 3*r. Solve -5*m - 14 = t for m.
-5
Let o(d) = d**2 - d - 7. Let t be o(-3). Solve 0 = t*r - 0 - 5 for r.
1
Let u(d) = -2*d - 52. Let a be u(-27). Solve p + a*p = 6 for p.
2
Let a = -36 - -14. Let l = a - -16. Let h = 6 + l. Solve -c = -h*c - 4 for c.
4
Let v(n) = -6*n - 6 + 6. Suppose -2*k - k - 3 = 0. Let m be v(k). Solve 15 = -m*c + 3*c for c.
-5
Let k = -20 - -11. Let h(q) = -q**2 - 12*q - 7. Let z be h(k). Solve -4*w + 8 = z for w.
-3
Let a = 4 - 1. Suppose 0 = -6*y + 5*y + 3. Suppose 2*k - 5 = -y. Solve -a*i + k = -2*i for i.
1
Let q(o) = o + 6. Let j be q(-8). Let c be 4/(2 + (j - -2)). Solve c*y = -2*y for y.
0
Suppose 0 = 2*y - 3*u - 36, -2*y + 44 = -0*u - u. Suppose f + 5*i = -y, 2*f = -3*f + 3*i + 20. Let g be 3/2 - 1/(-2). Solve g*r = f + 3 for r.
2
Let n(s) = -4*s + 34. Let u be n(7). Solve v = u*v for v.
0
Let o = -1 - 7. Let h = o + 12. Solve 3*r + r = h for r.
1
Let g = -14 + -6. Let c = 25 + g. Solve -n + 6*n + c = 0 for n.
-1
Let t be 428/20 + (-2)/5. Suppose 3*o + 16 = -2*z + 39, o - 2*z = t. Let f be (-68)/51*(-6)/2. Solve 0 = -f*p - 1 - o for p.
-3
Let x(f) = f**3 + 6*f**2 + 4*f - 1. Let z(a) = -2*a - 3. Let j be z(-4). Let o = 0 - j. Let v be x(o). Solve -v*w - 2 + 10 = 0 for w.
2
Suppose -12*j = 1 - 1. Solve -3*k - k - 4 = j for k.
-1
Let q be ((-8)/(-12))/((-4)/(-36)). Solve -2*s = s - q for s.
2
Suppose -2*p + 2 + 0 = 0, -o = -p - 6. Solve o*j = 2*j + 10 for j.
2
Let s = 7 - 12. Let g be ((-22)/55)/(1/s). Solve g*z + 0*z = 10 for z.
5
Suppose -153 = -4*b + 3*z, 3*b + 1 = 3*z + 115. Let g be (-2)/8 - b/(-12). Suppose 4*r - 12 = 0, -2*u - g*r = -u - 11. Solve 2*q + 8 = -u*q for q.
-2
Suppose o + o = 20. Let j be (1 + o/(-4))*-2. Solve -3*n = 6 - j for n.
-1
Let o be (-36)/(-10)*(-10)/(-3). Let r(s) = s + 2. Let x be r(2). Suppose -x*m - 2*b + 18 = 0, -5*b + 26 = -3*m + 7. Solve -m*n = 2*n - o for n.
3
Let j(k) = -k**3 + 13*k**2 + 14*k + 2. Suppose i = 6*i + 5*x - 50, 0 = 4*i - 3*x - 68. Let r be j(i). Solve 8 + r = 5*b for b.
2
Let l be ((-8)/(-4))/(-2) - -3. Solve -16 = -l*r - 2*r for r.
4
Let a(i) = i**3 - 9*i**2 - 11*i + 15. Let t be a(10). Suppose -t*y = z - 61, -6*y + 4*z = -4*y - 20. Solve 2*c - y = -2*c for c.
3
Suppose 5*w + 40 = -h + 8, 2*w + 8 = -2*h. Let l = -3 - w. Solve l*p = 2*p for p.
0
Let p be (4/5)/(12/30). Solve 0 = p*i + 3*i for i.
0
Let q be 68/6 - (-4)/(-3). Let x = 10 - q. Solve 2*l - l - 5 = x for l.
5
Let d(x) = x**3 + 5*x**2 + 3*x. Let s be d(-4). Solve 13 = -s*n - 7 for n.
-5
Suppose -16 = 3*v - 4. Let s = v - -3. Let b be (s + 1)/(6/(-3)). Solve 0 = 2*r - 2 - b for r.
1
Let q = 5 - -15. Solve 7*i - q = 2*i for i.
4
Suppose -i = -2*c - 3, -2*c = i - 6*c - 1. Suppose 4*u - 5 = -0*z + i*z, u = -5*z - 5. Suppose -5*k + 32 = 2. Solve u = -s + k*s - 10 for s.
2
Let h(s) be the first derivative of 7*s**3 - 1 - 2*s**3 + 0 - 1. Let i be h(-1). Solve -3*m - i = -3 for m.
-4
Suppose 8*l - 37 - 51 = 0. Solve 3*v - 4 = l for v.
5
Let q(m) = 2*m - 10. Let r be q(5). Let y be 2 + (-1)/(-1)*-1. Let h = r + y. Solve 0 = l + h - 2 for l.
1
Let f be 0 - (0 - 3 - -2). Solve -2*l - f = -l for l.
-1
Let y be -3 + 0 + 0 + -1. Let b = 6 + y. Solve b*a - 5 = a for a.
5
Let w be 2 + (1 - 1) + 0. Let g = 18 + -15. Suppose 0 = -g*k - 2*k + 3*p + 72, 4*k = 5*p + 55. Solve -k = -w*r - r for r.
5
Let c(m) = -2*m**2 - m. Let b be c(-2). Let w be 30/25*(-20)/b. Solve -w*q = q + 10 for q.
-2
Suppose -2*k = k + 6. Let f be (0 - 2)/(1/k). Solve -f*u + 9 = 1 for u.
2
Suppose 3*w = -3*a + 18, 2*w - 7*w = -5*a - 20. Let d(v) = -v**2 + 7*v - 7. Let k be d(w). Suppose -q + k*q - 18 = 0. Solve 0 = -q*u + 4*u - 5 for u.
-1
Let k = 71 + -47. Suppose -5*q + 0*q - d + k = 0, 2*d - 8 = 0. Let n be q/(-6)*(-42)/4. Solve -4*y + 15 = -n*y for y.
-5
Suppose -4*h = -2 - 6. Solve -3*y + 4*y = h for y.
2
Let d be 33/5 - 2/(-5). Suppose -d - 3 = -5*p. Let b(o) = -o**3 + 2*o**2 + o - 2. Let m be b(p). Solve 3*v - 3 = -m for v.
1
Let j = -20 - -23. Suppose j*c = 4*c - 4. Suppose -2*u - t = 1, -3*u - t + 1 = -0*t. Solve u*w + c = -6 for w.
-5
Let m(w) = -w**2 - 3*w. Let o be m(-3). Solve 15 = -5*y - o*y for y.
-3
Let p = 78 + -78. Solve p = -0*q - 2*q - 8 for q.
-4
Suppose t - 5 = -18. Let d = 13 + t. Solve d*l + 20 = -5*l for l.
-4
Let y = 13 - 11. Solve -2*c + y = -0 for c.
1
Let i be ((-2)/(-6))/((-2)/(-12)). Suppose 0 = i*a + 2. Let j be (-2)/1 - -1 - a. Solve j = -0*m - 4*m for m.
0
Let s be (6/(-4))/(10 - (-332)/(-32)). Suppose 12 = -p + 4*p. Solve -p*x + 0 = s for x.
-1
Let a = 18 + -14. Solve -a*n = -0*n - 4 for n.
1
Let o(s) = -s - 11. Let l be o(-13). Solve 0 = l*v + v for v.
0
Let c be 0/((3*2)/3). Suppose 2*z - 6*z + 12 = c. Solve n = -z*n for n.
0
Suppose 0 = -7*o + 2*o. Solve o = p - 0*p for p.
0
Let h(f) = f**3 - 5*f**2 + 5*f - 2. Suppose -69 = 2*a + 5*w, 4*w + w - 99 = 2*a. Let j be 4/(-6) + a/(-9). Let x be h(j). Solve x*m + 0 = 2 for m.
1
Let z be 8 + 10 + 1*-4. Let n = z + -9. Let x = -13 - -19. Solve 0 = n*p - x - 9 for p.
3
Suppose -2*s = 8 - 10. Solve -4*v - 5 = -s for v.
-1
Suppose -3*n = -7*n + 16. Solve 0 = 2*c - n - 0 for c.
2
Suppose 11*z - 12 = 5*z. Solve z*c = 4*c + 4 for c.
-2
Let v(l) = l**2 + 7*l + 6. Let c be v(-7). Let h be ((-64)/6)/((-2)/c). Suppose -2 = 3*x - h. Solve k + k - x = 0 for k.
5
Suppose 3 + 3 = 3*r. Let z(t) = -t**2 - 20*t - 17. Let c be z(-19). Solve -i + c = -r for i.
4
Let j(l) = -3*l - 4. Let d be 3 - 21/3 - -2. Let c be j(d). Solve 0*b - 10 = -c*b for b.
5
Suppose -2*d = d - 21. Let t = 8 - 6. Suppose t*u = d*u - 20. Solve -u*b + 6 - 2 = 0 for b.
1
Suppose -3*s - 10 = -5*c, 3*s + 2 = -5*c + 12. Solve 0 = -n - n - c for n.
-1
Suppose -172 = -4*p - 0*p. Suppose -3*c = 2*s - 25, 5*c + 5*s - 3*s = p. Solve -c + 0 = -3*u for u.
3
Suppose 6*g + 6 = 7*g. Suppose -2*t + g = t. Solve l + t = 4 for l.
2
Let f = -9 - -10. Solve 5*z = 6*z - f for z.
1
Let o be 0 - (0 - 2/1). Let i = o - -1. Solve -i = 2*m + 5 for m.
-4
Suppose -9*q - 2 = -20. Suppose 5*y = -3*z - 31, 0*z + z + 5*y + 27 = 0. Let r = z + 3. Solve r + 1 = -q*m for m.
-1
Let u(f) = -f**2 - 8*f - 4. Let y be u(-7). Suppose y + 5 = 4*d. Suppose -6*i = -d*i. Solve -4*a + i*a = 12 for a.
-3
Suppose -2*k - z = -26, 2*k - 33 - 13 = 4*z. Let l be 1/3 + (-11)/(-3). Solve -p = l*p + k for p.
-3
Suppose n = 6*n + 10. Let y be n/6 - (-76)/12. Solve -d - y = -3*d for d.
3
Let f be 1 - -8 - (2 + (4 - 2)). Solve -4 = -f*t + t for t.
1
Let c be (32/(-20))/(2/(-5)). Suppose -3*j + c*r - 4 = -0*r, -2*j - r + 12 = 0. Solve z = j*z for z.
0
Let m be ((-1)/2)/((-2)/12). Suppose 0 + m = 3*g. Let i = 8 - 6. Solve -l - g = -i*l for l.
1
Suppose 0 = -2*f - 5*i + 36, f - 36 = -f + 4*i. Suppose 7*h + f = 4*h. Let y be -3*4/h - 1. Solve -k + y = 3 for k.
-2
Suppose 21*i - 39 = 8*i. Solve -6*x = -i*x + 6 for x.
-2
Suppose 42*o + 2 = 43*o. Solve 0*l - 6 = -o*l for l.
3
Suppose 0 = -8*a + 3*a + 30. Suppose 6 + 14 = w. Solve a*l = l + w for l.
4
Let h = -10 - -5. Let b(j) = -3*j**2 - 7*j + 6. Let k(o) = -13*o**2 - 28*o + 24. Let p(v) = 9*b(v) - 2*k(v). Let m be p(h). Solve 0 = t + 3*t - m for t.
4
Let f be ((-34)/(-6) + -4)/((-1)/(-6)). Solve -f + 8 = -2*p for p.
1
Let h(o) be the second derivative of o**4/12 + 7*o**3/6 + 6*o**2 + 8*o. Let d be h(-5). Solve -d*u = u + 12 for u.
-4
Suppose -9*j - 2*k - 6 = -4*j, -12 = 4*j + 4*k. Solve h + j*h = -5 for h.
-5
Let x(b) be the third derivative of b**6/120 - 7*b**5/60 + b**4/3 - 4*b**3/3 - 3*b**2. Let g be x(6). Solve -2*s + 8 = -g*s for s.
-4
Suppose u - 11 = -4. Solve -2*p - u = 1 for p.
-4
Let k be 