f - 8 for f.
-2
Let u be (15/6 - 3)*0. Let m(j) = j - 2. Let n be m(7). Suppose -5 = -n*c + 10. Solve u = 2*v - v + c for v.
-3
Let y = 0 + 2. Suppose b - y = -4*v, 2*v - 16 = -3*b + 10. Solve 3*q - 8*q = b for q.
-2
Let z be (-16)/4 + 1 - -5. Let d(m) = m**3 + m + 7. Let u be d(0). Let k be 164/14 - (-2)/u. Solve k = z*y + 2*y for y.
3
Let j be 8/(2/(-8)*-2). Solve 5*q + j = 9*q for q.
4
Suppose 0 = 4*p - 0*p - 12. Suppose 2*w + 4 = p*w. Solve -w + 3 = -c for c.
1
Let m be 2 - (-62 - 3/(-3)). Let n be (-3)/(-2 + m/33). Let f = n + -18. Solve 2*g = f - 5 for g.
5
Let g(m) be the second derivative of -m**5/20 - m**4/4 + m**3/3 - 5*m**2/2 - m. Let b = -7 + 3. Let o be g(b). Solve 2*u = -o*u + 20 for u.
4
Let a(h) = 3*h + 6*h**2 - 5*h + h**3 + 8 + 2*h - 6*h. Let o be a(-7). Let m be 1 + 1/2*2. Solve m*l + o = -7 for l.
-4
Let u(l) = l**2 - 15. Let n be u(0). Let v = n - -15. Solve -h - 4*h + 5 = v for h.
1
Let i = 6 + -4. Solve 2*c - 20 = -i*c for c.
5
Let m = 4 - 1. Suppose s + 2*d = -0*d + 8, 2*s - 5*d + 20 = 0. Suppose s = 7*f - 2*f - 35. Solve m*w - 8 = f for w.
5
Suppose 2*c - 3*s = -2*s + 2, c = 2*s + 1. Solve 0 = l + c for l.
-1
Suppose 4*o = -2*k + 6, 0*o = -4*k - 3*o + 12. Solve -k*s - 15 = 2*s for s.
-3
Let g(m) = -2*m**2 - 8*m + 3. Let w be g(-4). Solve w*l - l = 0 for l.
0
Let y(a) = a**2 - 13*a + 37. Let o be y(9). Solve 16 = -3*l + o for l.
-5
Let a(k) = 3*k**2 + 6*k + 5. Let h be a(-2). Solve 6*w - h = 7*w for w.
-5
Let l be 1/2*-4 + 59. Let v = l + -41. Solve v = 3*f + 4 for f.
4
Let f(d) = d. Let m be f(4). Solve -5 = -x - m for x.
1
Suppose i = -2*g + 29 + 5, 2*g = i + 30. Solve -g = 4*w - 0 for w.
-4
Suppose s - 5*n - 14 = 0, 3*s - 4*n = 26 + 5. Solve 0 = -5*u + s - 4 for u.
1
Suppose 2*c = 7*s - 6*s + 7, 2*s + 20 = 5*c. Solve y + 25 = c*y for y.
5
Suppose 0 = 4*t, t + 28 = 4*b - 0*t. Solve b*o = 4*o + 15 for o.
5
Let b(o) = -16*o**3 - 2*o**2 + o + 2. Let k be b(-2). Suppose -5*d - k = -4*m, -2*m + 3*d + 90 = m. Solve -5*j - m = -5 for j.
-5
Let f be (-3 + -4)*2/(-7). Suppose u = 4*b - b + 7, u + f*b = 2. Solve u*p + 15 = -p for p.
-3
Let d(g) = g**2 - 4*g - 20. Let f be d(7). Solve -3 = s + f for s.
-4
Let s(x) = -2 - x**2 - 2*x**3 + x**3 - 2*x + x. Let u be s(-2). Suppose u*i = j - 13, j - 4*i = i + 15. Solve 0 = -j*r + 7 - 22 for r.
-3
Suppose -5*m = 5, 0 = -2*h - 5*m - 11 - 40. Let k = -19 - h. Solve k*q = 2*q - 2 for q.
-1
Let t = -12 - -12. Solve t*s + s = 5 for s.
5
Let u be ((-2)/(-5))/(11/110). Solve -2*d - 6 - u = 0 for d.
-5
Suppose -13 = -3*c + 2*w, -4*w = -0*c + 5*c + 15. Let i(x) = 4*x**3 + 2*x**2 - 3*x + 2. Let k be i(c). Solve 7 + 13 = k*v for v.
4
Let p = -3 + 3. Let x be (3 - (1 + p)) + 0. Let w be (-4)/(-1) + (4 - 6). Solve -3*b + x*b + w = 0 for b.
2
Let k = -9 - -11. Suppose k*d - 11 = 5. Solve -5*m - 3 = -d for m.
1
Suppose -22 + 42 = 4*y. Solve -y*o = 11 + 14 for o.
-5
Let b be -2 + 21/(-3)*-1. Suppose -c - 4*c - 5 = -5*d, -b*d + 33 = 2*c. Solve 7 - 2 = d*j for j.
1
Let w be (-1)/(-3*(-4)/(-36)). Solve 8 = v - w*v for v.
-4
Let a(x) = -x + 9. Let q be a(6). Suppose -o - 3 - 4 = -q*u, -5*o + 37 = 3*u. Solve -19 = -u*r - 3 for r.
4
Let d = -10 + 11. Let c(v) = -v**2 - 4*v - 1. Let k be c(-3). Solve k*f = f - d for f.
-1
Suppose a - 16 = -3*p, -15 = -p - 2*p. Let s(m) = m - 1. Let r be s(3). Suppose 0 = 7*k - r*k. Solve k = f + 3 - a for f.
-2
Let g = 3 - 2. Suppose r - g = 2. Suppose 11 = 4*v - r*q, -v - 3*v - 3*q = -5. Solve -v*s = -0 + 6 for s.
-3
Let b(d) = d**3 - 2*d**2 - 2*d - 1. Let l be b(3). Let x(j) = j**2 - 6*j + 5. Let r be x(6). Suppose r*o - l = 3. Solve 3 = a - o for a.
4
Let o(j) = 2*j**2 - 4*j + 3. Let s be o(2). Let k(h) = h**2 + 8*h + 4. Let g be k(-8). Let x(m) = -m**2 + 7*m - 4. Let q be x(g). Solve v - q = s*v for v.
-4
Suppose 2*y + 2*b - 10 = 0, 4*y - 21 = -3*b - 1. Suppose 4*p = y*s - 22, -2*s + 3*p + 11 = -s. Solve 0 = -o - s - 2 for o.
-4
Let y be ((-3)/(12/(-40)))/2. Solve o - 1 = -y for o.
-4
Let d(r) = r + 5. Let l be d(0). Let i(t) = -t**2 + 8*t + 17. Let z be i(9). Let p = z - 8. Solve l*h + 17 - 2 = p for h.
-3
Let t be 16/10 - 5/25*-2. Solve -t*k + k + 2 = 0 for k.
2
Suppose 0 = 2*d + 4*x - x - 16, -5*d = 2*x - 18. Suppose -5*l = -d*l - 12. Solve l*y + 1 + 15 = 0 for y.
-4
Suppose 0 = -4*p - 9 - 3. Let w be (-26)/(-6) + 1/p. Solve -2*y = -w*y - 8 for y.
-4
Suppose v = -v + 3*j + 11, -33 = -3*v - j. Solve -n = -3*n + v for n.
5
Suppose -4*s = 4*j - 0*s, -4*j - 5*s + 4 = 0. Let p(y) = y**2 + y - 2. Let h be p(j). Solve 5*x + h = 3*x for x.
-5
Let z = -8 + 8. Solve t + 2*t = z for t.
0
Suppose 15 = -3*u + 6*u. Solve 3 = u*g + 8 for g.
-1
Let w = 3 - 3. Suppose w*x = -5*h - 2*x + 13, h = 2*x - 7. Solve -3*d = -2*d - h for d.
1
Let h(o) = o + 7. Let x be h(4). Solve 0 = -3*z + 4 + x for z.
5
Let i = -6 - -13. Let l = i - 7. Solve l = f + f - 4 for f.
2
Let u = 79 - 73. Solve -2*d - 4 = -u*d for d.
1
Suppose 2*r - 8 = 2*j, -r + 0 + 2 = j. Solve 0*l - l + r = 0 for l.
3
Let v = -6 + 10. Suppose 4*j + v = -m - m, 3*j = -5*m - 17. Let b be 4/2 + j + 7. Solve 3*w = w + b for w.
5
Suppose 2*p - 6*p + 28 = 0. Suppose 13 = d - 3*n, -2*d + 5*n = -5*d + 25. Suppose p*z = 2*z + d. Solve 1 = -z*u - 5 for u.
-3
Let z be (-2)/4*-2*11. Let r = 27 - z. Solve m - r = -3*m for m.
4
Suppose g + 0*d = 4*d - 5, -4*g = 2*d - 70. Suppose g = f + 2*f. Solve -f*m = 8 - 3 for m.
-1
Let i(k) = k**2 + 16*k + 12. Let g be i(-15). Let y be (2 - 1)*(g + 6). Solve y*b = -0*b - 6 for b.
-2
Let f(q) = 2*q - 7. Let s be f(5). Solve s*d - 3 = -0 for d.
1
Suppose 0 = -2*u - 2*u - 8. Let a be (-3 + 1 - u) + 4. Solve a*p - 8 = 8*p for p.
-2
Suppose -2*z - 2 = 2*t - 0*t, 0 = 5*t - 4*z - 22. Let k be (5/t)/(-5)*-10. Solve -k*d = -0*d for d.
0
Let d be -2 - 0*1/1. Let m = d - -6. Suppose o = m*q + 2, 2*o + 10 = -2*q + 7*o. Solve q + 1 = h for h.
1
Suppose -2*u - 2*l = -48, 4*u - 3*l + 5*l = 90. Let h = 18 + -13. Suppose -h*w = w - 24. Solve 1 = -w*k + u for k.
5
Let c(b) = b**2 + 19*b + 29. Let p be c(-18). Solve p*l = 8*l for l.
0
Suppose 0 = 3*l - l. Let u be 0/2 + -3 - -7. Solve l = u*i + i for i.
0
Let c = 15 - 3. Solve 3*w + c = -w for w.
-3
Suppose 9*t - 15 = 4*t. Suppose -4*b + 80 = -0*b. Suppose 3*d = -2*f + b, -3*d = -f - 2 - 6. Solve 4*w = t*w - d for w.
-4
Let s be 1*(4 + (2 - 6)). Solve s = -3*o - 8 - 1 for o.
-3
Let s(n) = -n + 5. Let w be s(3). Let m(a) = 2*a**2 - a. Let h be m(w). Solve -2*o - o = h for o.
-2
Let r be 3 + 0 + -2 - -2. Let b be (4/(-6))/(-1)*r. Solve 0 = s + s - b for s.
1
Suppose -o - 3*a + 11 = 0, -4*o - a = 3*a - 36. Let p(c) = -27*c**3 - 2*c**2 + 2*c - 1. Let q be p(1). Let d be o/q - (-172)/14. Solve -5*f - d = -2 for f.
-2
Let y be ((-42)/9 - -3)*-3. Suppose y*r + 10 = -5*c, -r - 2*r = -2*c - 19. Solve r*l - 1 + 13 = 0 for l.
-4
Let d(m) = -m - 1. Let f be d(-5). Solve -2*q + 6 = f for q.
1
Suppose 0 = 43*l - 45*l. Solve -4*x + 14 - 6 = l for x.
2
Let p be (-1)/(4/(-19)) - (-6)/(-8). Solve 4 = -p*u - 0 for u.
-1
Let t(a) = 11*a - 8. Let j be t(1). Solve j*y - 16 = -y for y.
4
Suppose 5*k + 5*i - 2*i + 17 = 0, 0 = -4*k - i - 8. Let n be 1/(k + (-3)/(-2)). Solve -7 + 3 = -n*s for s.
2
Let r = 9 + -7. Suppose -4*g + q + 10 = 3*q, 2 = 2*g + r*q. Solve -13 = -3*s - g for s.
3
Let s be 8 + (4 - 4)*-1. Let k = -3 + s. Solve 4*n - 3*n + k = 0 for n.
-5
Let o(u) = -u**3 + 3. Let k be o(0). Let d(f) = f**3 + 4*f**2 - 8*f - 15. Let h be d(-5). Solve 0 = -h*i + k*i + 12 for i.
-4
Let d = 10 + -6. Let b be (8/(-6))/((-16)/(-24)). Let n = b + 2. Solve 0 = -n*f - d*f - 8 for f.
-2
Let c be (-2)/8 - 34/(-8). Let b(f) = 2*f - 4. Let n be b(c). Suppose 0*g + 5*g = -4*r + 20, -4*r - 8 = -2*g. Solve r = -z + n for z.
4
Let o be 7/(-14) + (-18)/4. Let r = -2 - o. Suppose 10 = -2*b, 18 + 9 = 3*g - 3*b. Solve g = r*j - 5 for j.
3
Let z be (1 - 3)*(-49)/14. Let b = z - 4. Let i(w) = 4*w + 2. Let k be i(b). Solve 0 = -3*x + 5 - k for x.
-3
Suppose 7*b = 4*b + 6. Let t = -9 - -15. Solve 0 = -t*o + b*o for o.
0
Let b = 8 + -4. Suppose 0 = -p - 5*r + 28, 0*p + r - 17 = -b*p. Solve 0*k - 12 = p*k for k.
-4
Let f = 45 + -42. Solve -f*o - 2 = -4*o for o.
2
Let b = 43 - 45. Let q = 3 + 1. Let l be (12/(-8))/(b/q). Solve 4*k + l = -1 for k.
-1
Suppose 2*o = 2*z - 10, 7 + 16 = 5*z - 4*o. Let m(c) be the second de