. Solve -k + 4 = x for k.
3
Suppose 0 = -3*n + 8*n - 20. Solve 0*h + n = 4*h for h.
1
Suppose -2*q + 7*q - 10 = 0. Let t be 3 - ((-2)/q + 1). Solve t = 4*n - 13 for n.
4
Suppose -5*m = -v + 3*v + 24, -4 = 2*m. Let r = -24 + 36. Let h = v + r. Solve -16 = -y + h*y for y.
-4
Suppose l - 20 = -3*l. Suppose 0*u = 2*u - 8. Suppose -u*k + 0*j = -4*j - 60, -2*j = k - 15. Solve 2*m + k = l*m for m.
5
Let g(f) = -f**3 + 8*f**2 - 8*f + 9. Let k be g(7). Solve k*x - 1 = 3*x for x.
-1
Let n be 37/7 + 2/(-7). Let s(w) = w + 7. Let j be s(-9). Let m be (j - -1) + 13 + -1. Solve n*z - m - 4 = 0 for z.
3
Suppose 3*g = -0*g + 18. Solve -g - 9 = 5*m for m.
-3
Let w(f) = 25*f**2 - 4*f - 3. Let x(s) = 17*s**2 - 3*s - 2. Let p(u) = 5*w(u) - 7*x(u). Let a be p(1). Solve 0 = -a*d + 4*d for d.
0
Suppose -4*f = -4*g - 16, 0 = 4*f + 2*g - 6 + 2. Let c = -30 + 24. Let b be f/(-6) - 14/c. Solve -3*l + 5 = b*l for l.
1
Let h be 0/(1*(-2 - -1)). Suppose 0 = -h*f + 5*f - 20. Solve -2 = 2*x + f for x.
-3
Suppose -2 = k - 9. Let z = -2 - -4. Let f be -1 - (-2 + (1 - 0)). Solve f = z*q - k*q + 15 for q.
3
Suppose 2*k - 6 = 4. Let j(i) = i**2 - 5*i - 8. Let u be j(7). Solve u*w - k = w for w.
1
Let s(w) = -5*w + 48. Let t be s(9). Solve 4*i = i - t for i.
-1
Let t(u) = u**3 - 4*u**2 + 3*u. Let a be t(3). Suppose 5*l + 0 - 5 = a, 0 = -5*k + 3*l + 7. Solve 2*q - k = 2 for q.
2
Let f = -3 + 3. Let s = 2 - f. Suppose -5*d = s*o - 0 - 2, -2*d + o = -8. Solve 3*b - 5 = -d*b for b.
1
Let m(c) be the first derivative of c**4/12 - 5*c**3/3 + c**2/2 - 1. Let b(s) be the second derivative of m(s). Let l be b(9). Solve 4*i - l = 6*i for i.
-4
Let g(y) = -2*y**2 - 9*y + 8. Let t be g(-7). Let z = -26 - t. Solve 0*s = -s + z for s.
1
Let o(x) = -x + 13. Let g be o(7). Let h = 7 - g. Solve h = f - 0*f for f.
1
Suppose u - 5 = -0. Solve 0 = 2*k - u + 3 for k.
1
Suppose 0 = c - 1 - 3. Suppose -2*n + 12 = c*z, -2*n + 5*z - 1 = -n. Solve n = -4*f + 16 for f.
3
Let s(v) = v + 1. Let d(y) = y + 4. Let n be d(-6). Let z be s(n). Let c = -1 - z. Solve -1 = j - c for j.
-1
Let z(i) = -i**3 + 12*i**2 - 13*i + 29. Let s be z(11). Solve s*h - 2*h - 25 = 0 for h.
5
Let n be (-5)/(-1)*(2 - 1). Suppose 11 = n*g - 4. Let j = 120 - 120. Solve g*a = -j + 12 for a.
4
Let c(v) = 4*v**3 + 2*v**2 - v + 4. Let t(p) = 11*p**3 + 5*p**2 - 3*p + 11. Let u(x) = 8*c(x) - 3*t(x). Let f be u(1). Solve -a - 2 - 1 = f for a.
-3
Suppose -13 + 5 = -2*g. Let f = 5 - 2. Solve -f*r + g = -r for r.
2
Let o be ((-3)/(-12)*0)/(-2). Solve o = -2*f - 10 + 2 for f.
-4
Suppose 0 = -3*r - 12 - 21. Let i = r - -4. Let q = -7 - i. Solve q*b = -2*b - 2 for b.
-1
Suppose 0 = -t - 5*c + 10, 3*t + t + 10 = 5*c. Let v(k) = k**2 + 9*k + 1. Let h be v(-9). Solve -f + h + t = 0 for f.
1
Let z(h) = -25*h. Let l(g) = g**2 - 10. Let t be l(0). Let j = t - -9. Let x be z(j). Solve 0 = 5*w - 0*w - x for w.
5
Let n(c) = c**3 + 2*c**2 - 3*c - 1. Let a be n(-2). Solve -a = -4*m - 13 for m.
-2
Let l = -1 - -5. Solve -r - r = l for r.
-2
Let l be (3 + -3)/(-5 + 2). Solve l = 2*s - s for s.
0
Suppose 7*v + 16 = 11*v. Solve 0 = -v*d + 3*d + 4 for d.
4
Let g = -41 - -57. Solve -4*f + 0*f = g for f.
-4
Let k(h) = -9*h - 7. Let f be k(-5). Suppose 41 = 2*v + 3*v - d, -5*v + f = 2*d. Let i = v - 3. Solve 0 = 2*l - 1 + i for l.
-2
Let w(t) = -t**2 - 5*t + 5. Let g be w(-6). Let l be ((-1 - -2) + -6)*g. Solve -3*m + l - 14 = 0 for m.
-3
Suppose 14*z - 5 = 13*z. Solve 3 = 2*c + z for c.
-1
Suppose -4 + 14 = -f - 4*w, -w = -f + 5. Suppose -f*m + 3 = -9. Suppose -5*y - p + 18 = 0, -2*y = y - 3*p. Solve -y*a - m = -0*a for a.
-2
Suppose 6 = j - 2*j. Let k be (j/9)/(4/(-18)). Suppose 0 + 2 = -2*p + 2*m, -4 = -k*p - 4*m. Solve -a = -p*a + 3 for a.
-3
Suppose -2*n + 0 + 2 = 0. Suppose -n = -3*y + 11. Solve -21 = -y*c - 5 for c.
4
Let a = -13 + 21. Solve 3*g = 7*g - a for g.
2
Let j(l) = -4*l + 2 + 5 + 4*l**2 - 4 + l**2 - l**3. Suppose -g = 1 - 5. Let z be j(g). Solve -z - 6 = -3*u for u.
3
Let s be 1*5*(-2 + 3). Suppose 0 = 3*z - s*z - 2, -3*z = -k + 9. Solve i = 4*i + k for i.
-2
Let b = -8 + 10. Let x = b - -2. Suppose 3*c - y - 18 = 0, -c + x*y + 6 = -0*c. Solve c*t - 2*t = 8 for t.
2
Let z be (-30)/(-4) - (-6)/(-4). Solve 3*i - z = i for i.
3
Suppose -p - 49 = -8*p. Solve 4*g - p*g = 9 for g.
-3
Suppose m + 2*m - 3*i = 15, m + i = 3. Solve -m*d - 4 = -0 for d.
-1
Suppose 4*g - 6 = 3*d + 10, 0 = 4*g + 5*d + 16. Let j = -1 - -3. Let q = j - g. Solve 7 = -3*y + q for y.
-2
Let n = 25 - 25. Solve -2*s + 0*s + 6 = n for s.
3
Let x be (2 - 9) + 1 - -2. Let b be (-3)/(12/x)*1. Solve 2*a + b - 11 = 0 for a.
5
Suppose -q - 27 = -2*d - 4*q, -4*q + 26 = d. Solve d*s - s = -25 for s.
-5
Suppose -12 = -2*w - 0. Suppose -3*h = -w*h + 39. Solve 4*a - 7 - h = 0 for a.
5
Let z = -22 + 26. Let t be 23/(-7) + (-2)/(-7). Let q = t + 5. Solve 4 = -q*p - z for p.
-4
Let m be 11 + (0/(-2))/3. Let p = m + -8. Solve -p*j + 5 = 2 for j.
1
Suppose 2*h = -8*h + 30. Suppose -2*o = -r - 4, -5*o = -2*o + 4*r - 6. Solve 3 = o*b - h for b.
3
Suppose 2 - 17 = -5*c. Suppose 5*s - 20 = 0, -i + c*s + 2 = 11. Solve -10 = -i*l + 5*l for l.
-5
Suppose 5*i - 5 = -2*h, 3*h = -h + 3*i - 3. Solve 3*f - 4 - 2 = h for f.
2
Let w = 0 - 0. Suppose 3*r + r = -72. Let l be (-4)/r + (-4)/18. Solve w = -l*k - 5*k for k.
0
Let n(z) be the first derivative of z**3/3 - z**2/2 - 3*z - 6. Let h be n(3). Solve h*l - 9 - 3 = 0 for l.
4
Let s(y) = y**3 - 2*y**2 - 4*y + 3. Let i be s(3). Solve 5*o - 23 - 2 = i for o.
5
Let b be (0 - (-1)/3)/((-23)/(-207)). Solve 0 = m + b*m - 16 for m.
4
Suppose -6 = -2*o - 2*c + 6*c, 3*o + 4*c + 1 = 0. Let h be 76/5 + o/(-5). Suppose 2*z + 1 = 5*d - h, 2*z = -4*d + 20. Solve -10 = 3*x + z for x.
-4
Let i = -40 - -72. Suppose 0 = 3*l + 6, 5*u + 3*l - i = 4*l. Solve 9 = -5*o - u for o.
-3
Suppose -5*t + 5 = c, c + 1 = 6. Suppose -4*x = -x. Let k = t + x. Solve 3*w - 2*w + 1 = k for w.
-1
Let d(f) = -f + 1. Let v(w) be the second derivative of -w**3/6 + 2*w**2 + w. Let i be v(3). Let r be d(i). Solve -h + r = -1 for h.
1
Let z be (-8)/(-12) - 13/(-3). Solve m = z - 1 for m.
4
Let h = -18 + 19. Let j be 0*(h + (-1)/2). Let i be 4*(-1 - -1 - -1). Solve j*l + 8 = i*l for l.
2
Suppose 53 = 5*k - 4*z, -14 = -2*k - 2*z - 0*z. Let n = k - 5. Suppose u - 3*u = h - 13, 20 = n*u. Solve 6 + h = -3*b for b.
-3
Let c be 5 + -3 - (2 - 1). Let y = 5 - c. Solve -5*n = -y*n - 2 for n.
2
Let q be 2 + -6 + 7*(-4)/(-7). Suppose 3*o - 9 - 3 = 2*h, h = -3. Suppose -3*f + v + 14 = 0, 4*f - 10 = 2*f + v. Solve q = -l + o*l - f for l.
4
Let v be 2 + (-5 + 2 - -5). Solve y = 3*y - v for y.
2
Let c = -17 - -11. Let g be (-1)/2*c + 0. Solve 9 = -g*z - 0 for z.
-3
Let m be ((-10)/6)/((-13)/39). Let v = 0 - -2. Suppose -v*d + 28 = -6. Solve -m*a - 3 = d for a.
-4
Let s = -5 + -2. Let u = s + 11. Solve -u = -2*y + 4 for y.
4
Suppose 2*p = -2*p + 20. Suppose 0 = 4*m - 7*m - 5*l + 17, 5*l - p = 0. Solve 1 = a + m for a.
-3
Let z(u) = u - 2. Let h be (3 + -6)*2/(-3). Let w be z(h). Solve -5*t + 3*t = w for t.
0
Let z = 42 - 40. Solve -2*p = z*p + 4 for p.
-1
Suppose 28 = 6*w - 20. Let n(m) = m**3 - 10*m**2 + 16*m. Let j be n(w). Solve -u + 2 - 1 = j for u.
1
Suppose 3*h = 9, 0*t - h - 9 = -3*t. Solve -t*k + 3 = -k for k.
1
Let w = -9 + 19. Suppose w = -2*t + 24. Let v = 149 - 147. Solve -v*g = -t*g - 15 for g.
-3
Suppose 12*c - 51 = 9. Solve -c = 3*r + 1 for r.
-2
Suppose 0 = -3*m + 12, 5*k + 3*m - 67 + 15 = 0. Solve -5*v + 17 = -k for v.
5
Let x(n) = n**3 - 2*n**2 - 7*n + 6. Let m be x(4). Let g = -8 + m. Suppose -r + 14 = g. Solve 3*o = -o - r for o.
-3
Let i = 29 - 29. Solve i + 4 = -q for q.
-4
Let d be 0 - (1 - 2)*1. Let o(i) = -6*i + 1. Let a(s) = -18*s + 3. Let y(r) = -3*a(r) + 8*o(r). Let x be y(d). Solve 6*h - h = x for h.
1
Suppose 15*u + 36 = 19*u. Solve j = -2*j - u for j.
-3
Suppose -d - 18 = -4*t + d, -5*t + 2*d + 24 = 0. Let f be (-4)/t - (-28)/6. Let c be 4 + (f/(-2) - -2). Solve -k + 3 = -c*k for k.
-1
Let n(d) = -d**3 - 11*d**2 - 10*d - 3. Let v be n(-10). Let s = 5 + v. Solve 10 = -s*f + 4*f for f.
5
Let a be 13 + 2*2/(-4). Suppose -h = h - a. Let i be -10*1*(-1)/2. Solve h*l - i = l for l.
1
Suppose l = 6*l - 5. Solve 2 - l = -d for d.
-1
Suppose 5*a - 6 = -1. Solve 0 = 3*q - 16 + a for q.
5
Let j = -11 -