Solve -2*n = -n - f for n.
1
Let z be (-2)/(1 + 6/(-4)). Let h = 10 + 10. Solve -a + h = z*a for a.
4
Let f be 3 - (4 + 0)*-5. Solve -5*l = 3 - f for l.
4
Let o(l) = -l**2 - 6*l + 9. Let r be o(-7). Solve 2*z - 16 = -r*z for z.
4
Let h = -4 + 5. Let s be 1 + (-2 + h)*1. Suppose 4*u - 4*f - 12 = s, -u = -4*u + 5*f + 7. Solve -u + 0 = -t for t.
4
Let h(m) = m + 10. Let o be h(-8). Suppose k = o*b - b - 2, -k + 8 = b. Solve -5*f = -7 - k for f.
2
Let l(c) = 5*c**2 - 2*c - 1. Let r be l(-1). Suppose -q + 10 = -a - r*q, -q - 2 = a. Solve a = 2*m - 3 - 7 for m.
5
Let l = 65 + -11. Let y be (-12)/l - (-2)/9. Solve 0 = 2*h - y*h - 4 for h.
2
Let m be (-91)/(-5) + 2/(-10). Suppose y = -v - 0 + 6, 2*v = -4*y + m. Solve y*d + 2*d + 20 = 0 for d.
-4
Suppose 2*j - 4*j = -6. Suppose -j*u - 6 = 0, 5*l + 0 = -u - 2. Solve l = 3*d - 6 for d.
2
Let v(p) = p**2 - 9*p + 16. Let a be v(7). Solve a*l - 3 = -5 for l.
-1
Let s be -3 + (-4)/(-4)*18. Let w = s - 13. Solve 12 = -w*d - d for d.
-4
Let v be ((-3)/(-3))/(-1)*-4. Let n(u) = u - 2. Let x be n(4). Suppose x*i = v + 12. Solve k = 3*k + i for k.
-4
Let c(a) = -a**3 - 7*a**2 + 4. Let x be c(-7). Solve -x*s = -6*s for s.
0
Suppose -3*i - 2*i - 3*v + 3 = 0, 3*i + 2 = 2*v. Solve i = -7*d + 4*d - 15 for d.
-5
Let y be 4 + -4 + 4 - -3. Solve -y*i + 2*i + 20 = 0 for i.
4
Let s(c) = c**2 - 14*c - 3. Let f be s(14). Let m be f + (-1 - -1) + 6. Let u(k) = -13*k**3 + 2*k + 1. Let t be u(-1). Solve 3*b = -m - t for b.
-5
Let h(x) = x**3 + 5*x**2 - 5*x - 7. Suppose 4*v - 29 = 5*g - 0*g, 5*g + 2*v = -23. Let b be h(g). Let d be b/1*(-6)/(-9). Solve d = -f - 3*f for f.
-3
Let l = 8 - 5. Solve j - l*j = 10 for j.
-5
Suppose -5 - 7 = -3*l. Suppose l*t - 10 = 2*z + z, 3*t = -z + 14. Suppose c - 3*h = 9, -2*c + 12 = -t*c - 4*h. Solve c = -f + 1 - 2 for f.
-1
Suppose -12 = 2*z - 4*z. Solve -w - 2 = -z for w.
4
Let f be 0/((-2)/4*-8). Let j be 4/4 - (-5 - f). Solve -3*o - j = -5*o for o.
3
Suppose 5*v - 4*a - 4 = 0, -2*a - a = -4*v + 3. Solve 0 = h - v*h + 5 for h.
-5
Let m(u) = -u**2 - 19*u - 40. Let b be m(-16). Solve 17 = -5*p - b for p.
-5
Suppose 0 = -5*t + 60 + 20. Let d = 23 - t. Solve d = 3*n + 1 for n.
2
Let w(p) = -2*p + 4. Let q be w(3). Let j = 4 - 4. Let d = j - q. Solve -d*m = 3*m - 25 for m.
5
Suppose 2*c - 7*c = 10. Let m be (3 - 1) + (1 - c). Solve -2*k + m = 3*k for k.
1
Let p(h) = h**2 + 4. Let t be p(0). Let k(u) = u**2 - 3*u. Let g be k(t). Solve -3*w - w = -g for w.
1
Suppose -3*q - 5 = -4*q. Let t be -2 + (-3)/(-2) + 9/2. Solve -t*m - q = m for m.
-1
Let n be 1 - (-1 - 2)/(-3). Solve 3*m + n + 15 = 0 for m.
-5
Let c = 12 - 2. Suppose 6*r + 36 = 4*z + 2*r, c = -5*r. Solve -4*o - z + 19 = 0 for o.
3
Let n(y) = 7*y - 3*y - 3*y - y**2. Let x be n(1). Solve x = 2*h - 8 - 0 for h.
4
Suppose 5*q = 4*d + 5 - 3, 5*q + 4*d = 18. Suppose 6*v = 2*v. Let l = 4 - v. Solve -2*h = -q - l for h.
3
Suppose 0 = g + 2*g - 39. Suppose -2 = -3*k + g. Let d = 26 + -9. Solve 3 + d = k*l for l.
4
Let c be (-4 - -2)*21/(-6). Let p = c + -2. Suppose p*j = -2*h + 14, 0 = -0*h + 3*h - 6. Solve -j*g - 2 = -12 for g.
5
Suppose 5 = -23*r + 235. Solve -r = 5*z + 5 for z.
-3
Let c(s) = -3*s**2 - 26*s + 2. Let r(d) = 2*d**2 + 17*d - 1. Let w(k) = -5*c(k) - 8*r(k). Let h be w(-5). Solve -h*q - 18 = -3 for q.
-5
Let q be 1 - -1*(2 - 1). Let z(s) = 1 - s**q + 0 - s + 3*s**3 - 2*s**3. Let g be z(2). Solve 7 = -2*h - g for h.
-5
Suppose 12 = q - 0*q. Let t = -7 + q. Solve a = 2*a + t for a.
-5
Let i be 2/75*5 - (-296)/30. Solve 3*c - 5*c = i for c.
-5
Let h(u) = u - 1. Let p be h(1). Suppose 2*v + k = 4*v - 11, 2*k + 4 = v. Suppose -v*m + m = p. Solve -w = -m - 2 for w.
2
Let m(i) = 4*i - 5. Let b be m(2). Suppose -5*j + 4*r = 0, -j + 17 = 2*r + 3. Solve -l - j = -b*l for l.
2
Let p be (-2 + 1)*10/25*-5. Suppose 3 = -2*h + 21. Solve 0 = -5*l + p*l - h for l.
-3
Let h be (2*-9)/(12/16). Let t = 1 - h. Solve -2*v - t = 3*v for v.
-5
Suppose -3*n - 5*w + 31 = 0, 3*n - 5*w - 9 = -28. Suppose 0 = -n*v - 2*y + 40, 2*v + 5*y = 31 + 9. Suppose v = 2*t - t. Solve 3*j = -2*j - t for j.
-4
Let l(x) = 2*x - 1. Let g be l(-6). Let k = g - -26. Let c be (-6)/33 - k/(-11). Solve 0 = u + c for u.
-1
Let i be (-4)/(-16) - (-558)/8. Suppose -2*d = -4*v + v - 32, 0 = 5*d - 5*v - i. Let c(h) = h**2 - 6*h - 40. Let k be c(10). Solve 5*o + k*o + d = 0 for o.
-2
Suppose -5*a = -l + 18, -5*a - 12 = -2*l - 3*a. Solve 3*w + l = -0 for w.
-1
Suppose -12 - 6 = 2*w. Suppose -u - 16 + 1 = 0. Let z = w - u. Solve y - z = -2*y for y.
2
Let p(q) = q**2 - 5*q + 5. Let k be p(5). Solve 2 = k*w - 4*w for w.
2
Let s be 0/1*(-5)/5. Suppose 15 = 5*o, -2*o - 4 = -2*y - s. Solve y*m = m + 16 for m.
4
Let o(d) = d**2 - 7. Let x be o(-3). Solve x*s - 1 = 3 for s.
2
Let z(v) = -v**3 + 3*v**2 + 2*v - 4. Let o be z(3). Solve -o = i + 1 for i.
-3
Let l be (-43)/(-7) + (-3)/21. Solve 2*c - l*c = -4 for c.
1
Let o(r) = 4*r - 1. Let j be o(1). Let m be (-6)/(-3) - 0 - -3. Let b = -5 + m. Solve j*t + b*t + 6 = 0 for t.
-2
Suppose -4*z + 27 = -5*c, -3*z - c = -3 - 3. Let i(j) = -4 - j + z - 2. Let h be i(-7). Solve -3*d + 7*d = h for d.
1
Let j = 2 - 2. Let d(w) = w - 1. Let k be d(5). Suppose -2*g - 1 = -s, j*s = -4*g - k*s + 16. Solve -3*q + g = 4 for q.
-1
Let d(x) = -5*x - 2*x + x**2 + 8*x. Let s(b) = -15*b**2 - 4*b + 1. Let l(t) = -4*d(t) - s(t). Let g be l(1). Solve 0 = -4*o + g + 2 for o.
3
Let w be 3/(2 - (0 - -1)). Suppose 18 = m + w*m + 3*b, -8 = 4*b. Let u be (-5 + -3)*m/(-8). Solve -h + u = 2*h for h.
2
Let w be (16/(-5))/((-5)/25). Solve -l = -5*l - w for l.
-4
Let k = -5 - -5. Suppose -2*u + 4 = -k*u. Solve u*t - 6 = -t for t.
2
Let k(f) = f**3 + 4*f**2 - 7*f - 7. Suppose 9 = -3*d - 6. Let n be k(d). Solve -2*c = -n*c + 5 for c.
5
Suppose -3*b + 8 + 4 = 0. Suppose f = 5*k - 15, 0 = -2*k + b + 2. Let j be -2*(-1)/(f + 1). Solve -3*y = -y + j for y.
-1
Let n = -46 + 49. Solve 0 = 3*r - n - 12 for r.
5
Suppose 0*t = 5*w + 3*t - 26, -3*w + 3*t = -6. Suppose c - 4 = 0, -w*s + s - 3*c + 36 = 0. Suppose -3*m = 2 - 11. Solve -s = -m*a - a for a.
2
Let c be (-8 - -8) + 2*-2. Let p be -4*2 + 4 - c. Solve -m + 0*m - 2 = p for m.
-2
Let m(v) = 2*v**3 + 4*v**2 - 2*v - 2. Let i be m(-2). Suppose 0 = -0*x + 2*x - 10. Solve i*g + x = g for g.
-5
Suppose -n - 8 = -5*n. Let b be (-12)/42 - (-12)/(-7). Let d be b + 3 - n/2. Solve d*o - 8 = -2*o for o.
4
Let u be (0 + -1)/8 - 34/(-16). Solve u*m + m = 0 for m.
0
Let r(b) = 2*b + 4 + 2*b**3 - 3*b - 3*b**3. Suppose -9*x = -5*x. Let m be r(x). Solve -m = 3*k + k for k.
-1
Let h(j) = -j + 2. Let p be h(-4). Suppose 0 = -w - w + p. Solve -w*k + 8 = -5*k for k.
-4
Let n = 0 - -3. Let w(x) = 0 + 3 + 5 - n - x. Let s be w(5). Solve s = -2*o - 2*o - 16 for o.
-4
Let d be (4 - 13)/((-6)/8). Solve 0*i - d = 3*i for i.
-4
Let d = 6 + 6. Solve -3 - d = -5*z for z.
3
Let i(h) = 2*h**2 + 30*h - 27. Let d be i(-16). Solve 14 - 4 = d*w for w.
2
Suppose -4*q - 13 = 3*z, 0*q = 4*q + 5*z + 19. Let i(p) = p**2 + 1. Let s be i(q). Solve s + 3 = -r for r.
-5
Let w be (-1)/2*(-3 + 0 + 3). Solve -4*j + w*j = 20 for j.
-5
Suppose 0 = -o - 3*f + 7 + 7, -7 = -2*o + f. Suppose 15 = 5*y - o. Let g(z) = 2*z**2 - 9*z + 7. Let m be g(6). Solve y*a + m = -a for a.
-5
Let j be 6*(-1)/6*-4. Let a = j - 2. Solve -a*z - 2 = -z for z.
-2
Let g = 15 + -14. Solve -g - 3 = -2*u for u.
2
Let u be ((-4)/6)/((-16)/96). Solve u*i - 17 = -1 for i.
4
Suppose -o - 14 = -4*n + 3, 2*n = 2*o + 4. Solve -5*u - 4 = -o*u for u.
-2
Suppose 2*f + 2*f + 3*s - 3 = 0, 0 = 3*f - 2*s + 2. Solve f = 4*k - 9 - 3 for k.
3
Let c = 3 - 3. Suppose c = -5*i + 15, -i = 3*h + 4*i - 15. Suppose -7*d = -3*d - 48. Solve h = 2*k + 2*k - d for k.
3
Suppose -x = -3*x + p + 6, 5*x = -5*p. Suppose -3*d - x = 4. Let l = 2 + d. Solve 3*z - z - 10 = l for z.
5
Let h(o) = o**3 + 4*o**2 + 2*o + 1. Let b be h(-3). Suppose -5 = b*c - 25. Solve c = -g - 0 for g.
-5
Suppose -3*l + 5*c + 1 = 0, -1 = 4*l - 2*c - 7. Let i(s) = -s - 2. Let n be i(-2). Let b = 3 - n. Solve -b + 11 = -l*v for v.
-4
Let y(x) = -x**3 + 3*x**2 - 2*x + 8. Let o be y(3). Let i be 0/(2 - 0) + 3. Let z = -6 + 11. Solve z*c = -i - o for c.
-1
Let z(l) be the third derivative of l**4/24 - l**3/3 + l**2. Suppose 3*q - u = 2*q, 3*q = -4*u + 14. Let o be z(q). Solve -w +