n + 2 = -2*x for n.
-4
Let x be 2/(-3) - (-23)/3. Let t = x - 11. Let m be 14/6 - t/6. Solve -7 = -m*f + 5*l, -3*l - 5 = -3*f + l for f.
-1
Let r(a) = 3*a - 1 - 3 - 4 + 3*a. Let g be r(7). Solve -3*z + 29 = 4*k, -5*k - 4*z + g = -3 for k.
5
Suppose -7*d + 99 - 29 = 0. Let p = -12 - -17. Suppose 3*w + s - 3 = -p, -4*w - d = 5*s. Solve 5*f - 2*n = -33, 0 = f - w*n + 4*n - 11 for f.
-5
Let x(o) = o**3 - 31*o**2 - 31*o - 29. Let q be x(32). Solve 5*k - 3*k = -4*t + 10, 0 = 3*k - q for t.
2
Suppose -16 = -4*p, 2*p - 18 - 4 = -2*y. Suppose -2 = -m - 0*m. Solve h + 3*o - m*o - 1 = 0, -h + 2*o = -y for h.
3
Let t = -7 - -12. Solve -4*a + 3 = t*x, -2 + 5 = -2*x - 3*a for x.
3
Let z(k) = -k - 12. Let w be z(-10). Suppose -3*l - 11 = 4. Let d = w - l. Solve -2*j - 4 = -5*c, -2*c + 5 = d*j - 8 for j.
3
Let k(z) = 3*z - 10. Let d be k(10). Let j = d - 17. Solve r - j = 4*i, 0*i + i - 2 = 3*r for r.
-1
Let r be 3*(3*-1)/(-3). Let i(g) = -g + 9. Let d be i(7). Solve 0 = -4*z - r*m - 6, -3*z - 2*z - 4 = d*m for z.
0
Let o be 1 - 0 - (3 - 4). Suppose -a + 3 = -0*a. Let z = -1 + a. Solve -2*p = -2*u + o*p, z*p = -2*u - 12 for u.
-4
Let r be 6 - ((1 - 1) + 3). Solve 0 = -r*d + 4*w - 4, -3*d + 7*d + 1 = w for d.
0
Suppose -5*o = -4*y - 10, 3 - 1 = o - y. Suppose 0 = 3*z - 8*z + j + 30, 2*z + j = 5. Solve 0 = o*g + 2*s + 4, z*g + 7 = -3*s - 7 for g.
-4
Suppose 38 = 6*c + 13*c. Solve 4*u + h = 11, -c*u + 2*h + 0*h = 2 for u.
2
Suppose w + 3*w = 16. Suppose -4*f + 3*f = -w. Let l be f/(-22) - 105/(-33). Solve 5*p - 5 = -4*j, -6*j + l*j + 5 = 5*p for j.
0
Suppose 0 = 8*r - 3*r - 5*l - 5, -5*r = -l - 17. Solve 4*b - 3*f = -0*f + 20, 10 = 2*b - r*f for b.
5
Suppose -b + 0*b - 2 = z, 0 = 2*b + z - 1. Solve 4*m + 5 = -3*p, -b*p - 2*p = 5*m for p.
5
Suppose 2*t + r = -t + 44, 5*t + 4*r = 78. Let f = 18 - t. Solve -2*m - f*l + 6 = 0, 0*l - 2*l = 2*m - 6 for m.
3
Suppose 10*d + 2 = 5*d - 4*z, 0 = -3*d - 5*z - 9. Solve -d*i = 4*o + o - 4, i + o = 2 for i.
2
Suppose 5*v - 4*z + 2 - 24 = 0, 5*z = 10. Solve 2*h - v*h + n = -14, -n = -2 for h.
4
Suppose 0*m + 7 = r - m, -4*m - 7 = 3*r. Solve r*z - 1 + 7 = 2*u, 0 = -4*z - 2*u + 6 for z.
0
Suppose 9*s - 4*s = 50. Solve -7 - s = -2*f - 3*q, -f - 5*q + 19 = 0 for f.
4
Suppose 6*v = v + 20. Suppose -2*q + 2 = -0*c + 2*c, -11 = v*q - c. Let y be -1*-4*(-1)/q. Solve -t + 6 = -6*t - y*j, -t = j for t.
-2
Suppose 3*l - 28 + 10 = 0. Solve 0 = 2*x - 2*i - 0*i + l, -i = 5*x + 15 for x.
-3
Let o = -33 - -38. Solve -4*x - 4*w + 3 + 1 = 0, -o*x - 3*w = 3 for x.
-3
Suppose 0 = 2*h + 6, 5*m + 0*m = 2*h + 31. Let g = 10 - m. Solve k + g - 13 = -y, 0 = -3*k - 2*y + 19 for k.
3
Suppose 2*p - 3*p - 3*s + 4 = 0, -2*s = 0. Suppose 0*b - 128 = -p*b. Suppose -b - 43 = -5*f. Solve z - 12 = 2*n + n, -z + 4*n + f = 0 for z.
3
Suppose 16 = 4*g + 4. Let n be 28/(-1 - -2) - 3. Suppose 3*q + 2*q - 75 = 0. Solve -2*j + 5*o + n = 0, -q = j - 0*j + g*o for j.
0
Let u be (-5)/15*18/(-2). Solve 2*q + 4*b + 12 = 0, -5*q + 0*b = u*b + 9 for q.
0
Suppose 2 - 4 = i. Let z be (9/i)/(3/(-8)). Solve 2*k = 3*h + 5*k - z, 2*k - 7 = -3*h for h.
-1
Let v = -80 + 84. Let u be -1*2*(-3)/1. Solve v*k + 10 + 7 = 5*s, u = 3*k for s.
5
Let t(u) = -u**2 - 6*u - 2. Let l = -5 + 0. Let g be t(l). Let c = 8 - 5. Solve -c*i = i - g*b + 5, 0 = 3*i - 4*b + 9 for i.
1
Let n = 5 - 3. Let k(g) = -5*g + 3. Let u(o) = -9*o + 7. Let v(b) = -7*k(b) + 4*u(b). Let x be v(4). Solve 0 = -x*a - n*a + 5*t, 5*a + 12 = 2*t for a.
-4
Let g(m) = m + 0*m + 3 + 1 + 0. Let s be g(6). Let v be (-2)/10 + 2/s. Solve 0 = 2*c + 4*x - 22, v*x = -5*x + 25 for c.
1
Let n(r) = -r - 9. Let b be n(-12). Solve -3*l - 3*a + 9 + b = 0, -28 = 3*l - 5*a for l.
-1
Suppose -14 = -4*v - g, 0 = v - 2*g + 7*g + 6. Solve 0 = 5*c - v*k + 2*k - 16, -5*c - 4*k - 2 = 0 for c.
2
Let q(p) = 7*p**2 - 7*p + 5. Let n be q(1). Solve 32 = -4*y - 4*o, -17 + 7 = -5*y + n*o for y.
-3
Suppose 7*u = 3*u + 32. Suppose -4*m + u = 4*k - 0, -5*k = 3*m + 2. Solve 0 = 3*q + m, -q = -j - j - 6 for j.
-4
Let q be -16*3*(-1)/6. Solve -2*y + q*x - 3*x - 1 = 0, 0 = x + 1 for y.
-3
Let v = 2 - 0. Let r = v + 0. Let u be 3/((-63)/33 + r). Solve -2*b - 3*b = 4*k, u = -2*b + 5*k for b.
-4
Let y be 3*(-2 + 3)*1. Let v be y*10/6 - 0. Solve 3 = -v*m - 2, -4*m = 4*p for p.
1
Let m(t) = 2*t. Suppose -3*z = w + 4, 2*z + 3*z + 16 = 3*w. Let g be m(w). Let x = -1 + g. Solve f + 15 = -5*i, -4*i = -0*f - x*f - 7 for f.
-5
Let c(n) = -n**2 + 7*n + 3. Let v be c(7). Suppose 0*l - v*l = -18. Suppose -2*u + l = u. Solve -2*s - u*m = -6*s - 18, 0 = -4*s + 4*m - 20 for s.
-4
Let j = -6 + 9. Let w = j + -1. Solve w*s - 6*s = 16, -11 = z + 3*s for z.
1
Suppose 3*m - 9 = -0*m. Let x = 12 + -10. Suppose -2*g + 14 = -3*c + x*c, -26 = -4*g + c. Solve u = 5*j + 22, -2*j - g = -5*u - m*j for u.
2
Let u(y) = 4*y**2 + 6*y. Let l be u(-2). Solve 0 = -2*w + 2*f + f + 21, w - 23 = l*f for w.
3
Let u(l) = l**3 + 14*l**2 - 15*l + 4. Let b be u(-15). Solve b*q - 2 = 2*j, 3*j + 1 = 4 for q.
1
Let c be 26/(-2 - (1 - 4)). Suppose -c = -x - 7. Solve -12 = t + 2*b, -5*t = 3*b + 6 + x for t.
-2
Let y(b) be the third derivative of 0*b + 1/6*b**4 + 1/15*b**5 + b**2 + 2/3*b**3 + 0. Let d be y(-3). Solve -3*k - k = 3*j + d, 3*k + 4 = 2*j for k.
-4
Let f(r) = -r**3 + 4*r**2 + 7*r - 5. Let h be f(5). Suppose 2*n = -1 + h. Solve -n*b - 2 = 2*q, b + 3 = 4*q + 2 for b.
-1
Suppose 3*c - 42 = -0*c. Let i be -1*0/((-4)/2). Solve -q - 2*j - 8 = -i*j, -4*q = 2*j + c for q.
-2
Let o be (-2)/(1/(-2*7)). Let k be 77/o - (-2)/8. Solve k*g - g + 3*t - 3 = 0, -5*g = -4*t - 19 for g.
3
Let z(c) = 2*c**2 - 4*c**2 - c**3 + 5 - 4*c**2 + 6*c. Let x be z(-7). Let g(t) = t**2 - 2*t - 1. Let l be g(-1). Solve -x = 4*v, -2*v = -l*o + 3*v + 19 for o.
2
Let h(r) = r - 1. Let n(d) = -2*d + 7. Let f(j) = -4*h(j) - n(j). Let o be f(-3). Solve -q + o = 5*i, q = i + 5 - 2 for i.
0
Let d be (2 - (0 - -12))/(-2). Let t = d + -3. Solve 12 = t*f - 5*z + 3*z, f + 2*z + 3 = 0 for f.
3
Suppose 5*c - 26 = 24. Solve 0 = v - 2*u - 9 - 4, c = -2*u for v.
3
Let r(v) = v**3 - 5*v**2 - 6*v + 2. Let u be r(6). Let s = u + -3. Let n be (-6)/s + (-1 - 1). Solve -4*l = 0, l - n = -4*w - 4*l for w.
1
Let k be (0 - 0)*(-4)/8. Let i be k + 7*(-2 - -6). Solve 4*b = 2*r - i, -5*b = -3*b - 2*r + 18 for b.
-5
Suppose -10*d + 9 = -7*d. Solve 2*w - 13 = -d*a, -w + 1 = -4 for a.
1
Let p be (3 - 0)/(3/2). Suppose p*q = -3*x + 21, -5*x = 5*q - 4*x - 20. Solve 5*f - 36 + 5 = -q*m, 14 = 4*f - 3*m for f.
5
Suppose 6 - 30 = -3*m. Solve -2*b + 3*b = -5*p + 10, 4*p - m = -2*b for b.
0
Let z = 3 - 0. Suppose -g + 3*t = -0*g + 1, -5*g = -t - 37. Suppose 5 = -x + 3*d, -x + d = -3*d + g. Solve z*h + 3 = 4*n, x*n + 1 = -4*h - 3 for h.
-1
Let z(i) = -i - 2. Let q be z(-4). Solve -2 = q*s + 2*a + 6, -16 = -s + 3*a for s.
1
Let a(o) = 2 - 3*o**2 + o**3 - 2*o**3 + 0*o**2. Let p be a(-3). Solve -p*n + k = 5*k - 4, -n = -2*k - 2 for n.
2
Let d(l) = -l**2 - 5*l + 20. Let t be d(-5). Solve -5*u + 2*y = 7*y, 0 = u - 3*y + t for u.
-5
Let n(g) = -7*g + 100. Let z be n(14). Solve z*t + q - 1 = 4, 5*q + 30 = t for t.
5
Let t(i) = 5*i**3 - i**2. Let l be t(1). Suppose -j = l*j - 35. Let f(g) = g**2 - 8*g + 22. Let k be f(9). Solve -2*c = x + j, -x + 3*x = 5*c + k for x.
3
Suppose -3*n - 5*k - 7 = 0, 0*k - 38 = -3*n + 4*k. Suppose -5 = -3*v + 1. Suppose -5*t + 0 + 15 = -u, t - 3 = -v*u. Solve -6 = t*j, j - n = -2*b - 0*j for b.
4
Let j be -2 - (-1)/(2/(-2)). Let a = j + 8. Solve a*x + m + 5 = -0*m, 0 = 3*x + 2*m - 4 for x.
-2
Let a = 11 + -7. Suppose -17 - 3 = -4*j - 4*d, -20 = -3*j - 4*d. Suppose -f + j*f = -4. Solve -2*v + 9*w - a*w - 14 = 0, -14 = f*v - 3*w for v.
-2
Let b = 18 - 12. Suppose g = b*g. Let w = 0 - g. Solve -m - l - 4*l + 4 = w, 12 = 3*m - l for m.
4
Let x(c) = -9*c + 1. Let s be x(1). Let u = s - -13. Suppose -13 - 83 = -4*d. Solve -h + 0*h + 7 = 2*g, -g - d = -u*h for g.
1
Suppose 3*l + 2*d - 21 = 0, -5*l - 5*d + 17 = -23. Suppose 8 = i - 4*o, -2*i - 1 = -i + l*o. Solve 3*f + 5 = -j, -3*f - 2*f - i*j - 20 = 0 for f.
0
Let g(l) = l**3 - 10*l**2 + 10*l - 9. Let a be g(9). Suppose a = 3*j - 14 - 4. Let q = 6 - j. Solve -4*o + 4 = q, -4*b - 2*o = -7*o + 13 for b.
-2
Suppose -5*o = -4*b - 32, o + 2*b = -2*o + 28. Suppose 7*y - 12 = 2*f + 3*y, 0 = -4*f + 4*y - o. Solve