m). Solve 3*n + n - 16 = k for n.
4
Suppose -2*d + 6 = -2. Suppose -7 = -d*m + 5. Solve -z - m*z + 8 = 0 for z.
2
Suppose -6*c + 8 = -2*c. Suppose 3*h = -c*h + 20. Solve -h*a + 8*a + 8 = 0 for a.
-2
Suppose 0*q - q + 5*u = -15, -u - 2 = 0. Suppose -4*x = -t + 5, 32 = q*t + 5*x + 7. Solve 2*i = -t + 3 for i.
-1
Suppose 0*g - 14 = g + 4*x, -4 = 4*g + 3*x. Let h = 5 - g. Suppose 0 = -6*s + 10*s. Solve -4*r + 5*r + h = s for r.
-3
Suppose -4*k - 2 = -38. Solve 5*d - k = 1 for d.
2
Suppose -5*l = -25, 0 = -2*i + 5*i - 5*l + 19. Let h be -2*(-2 + i - 1). Suppose -3*s = 4*y - 2, -3*y + 2*s + h*s = -14. Solve -y*r = -4*r for r.
0
Let r be (-24)/(-18)*4*3/8. Solve 0*d + r*d = 10 for d.
5
Suppose -4*q - 16 = 3*h, -12 = 5*q - 2*q. Solve -5 = -5*c - h for c.
1
Let l be (0 - 2)*(-1)/2. Solve 11 = 3*w - l for w.
4
Let s be ((-15)/10)/(6/16). Let h(b) = b**2 + 4*b + 1. Let z be h(s). Solve 0 = 2*a + z + 3 for a.
-2
Let v(x) = 6*x**2 + 9*x - 3. Let p(g) = 2*g**2 + 3*g - 1. Let m(t) = -8*p(t) + 3*v(t). Let b be m(1). Solve 3*u = b*u - 3 for u.
3
Suppose -5*j + 18 + 7 = 0. Suppose j*n = 3 + 22. Suppose -5*c + c + 16 = 0. Solve -n*l + 6 = -c for l.
2
Let c(v) = 7*v + 5. Let s be c(0). Solve n + 0 = s for n.
5
Let r be (-2)/6 + (-65)/(-15). Solve 0 = d - 5*d - r for d.
-1
Let h(o) = 2*o - 13. Let s be h(8). Suppose 0 = 4*c - s*z - 11, 5*c + z + 6 = 34. Solve -c*k = -0*k for k.
0
Let m(n) = -4 - 5*n + 2 + n - n**2 - 1. Let w be m(-3). Solve -5*t + w*t - 15 = 0 for t.
-3
Let c(l) = -l**2 - 8*l - 2. Let u be c(-7). Solve 15 = 2*j - u*j for j.
-5
Suppose h + 16 = 5. Let f = h - -15. Solve 5*x = 1 + f for x.
1
Suppose 0*v = 2*v - j - 11, 5*v + j = 10. Let n = -7 - -2. Let a = v - n. Solve -3*r = a + 4 for r.
-4
Let q = -2 - -5. Suppose 7*m - 2 = 6*m. Solve m*p - q*p = 5 for p.
-5
Suppose 3 = 3*o - 0*o. Suppose -5*f = z + 7, -z - 4*f + o = 2*z. Solve 2 = -z*n - 1 for n.
-1
Suppose -75 = -h - 4*h. Suppose 5*m = -3*c + 14, -c + 8 = 10*m - 5*m. Let s(b) = -b**2 - 5*b. Let t be s(-5). Solve c*j + t = h for j.
5
Suppose 16*h - 15*h - 4 = 0. Solve h*p - 3 = -7 for p.
-1
Let t(u) = 15*u - 6. Let x(h) = 61*h - 25. Let b(v) = 9*t(v) - 2*x(v). Let c be b(3). Suppose -c = -3*n - k - k, 2*n - 6 = 3*k. Solve 2*j = n - 1 for j.
4
Let i(n) = -n**3 + 5*n**2 - n + 7. Suppose -4*t - 2 + 22 = 0. Let a be i(t). Solve 2*f + 4 = -a*f for f.
-1
Let r be ((9/(-3))/(-3))/1. Let z be r/(-3) + (-90)/(-27). Suppose -z*j = -15 - 3. Solve -2*x + 2 + j = 0 for x.
4
Let a(p) = 4*p - 6. Let m be a(4). Suppose 0 = -4*o, o = -w - 0*w + m. Solve w = -n - n for n.
-5
Suppose 10 = 4*k - r, 8 = -5*r - 2. Solve 20 = -k*w - 2*w for w.
-5
Suppose 4*o = -0*o + 4. Solve -q = o - 3 for q.
2
Let j be (-3)/6 - 29/(-2). Let u be -3 + 4 + j/2. Solve 5 = u*b - 3*b for b.
1
Let u(f) = -f. Suppose 9 = -5*s - 1. Let x be u(s). Let r be 7/9 + (-4)/(-18). Solve -x*i = -i - r for i.
1
Suppose 8*n = 12*n - 12. Let m = 28 - 26. Solve -m*f + 5 = n*f for f.
1
Suppose -b - 12 = 3*b + 4*t, 2*b + 3*t = -11. Let r = 2 - b. Solve o + o = r for o.
0
Let n = -4 + 3. Let o = 6 + n. Suppose 5 = 2*d - o. Solve 6 + 4 = d*w for w.
2
Suppose -10*d + 12 = -7*d. Solve -d*o + 3*o = -3 for o.
3
Let k = -27 + 33. Solve 0*v - 3*v + k = 0 for v.
2
Suppose 3*z = 5*z. Suppose -4 = -4*t + 2*b + 4, z = -b. Solve 2 = -k - t for k.
-4
Suppose -16 = -4*s - 4*u - 0, -5*u = 3*s - 20. Solve g - 1 = -s for g.
1
Suppose 0 = -5*y + 2*y - 12. Let x(d) = -d**3 - 3*d**2 + 4*d + 3. Let t be x(y). Solve -t*p = p - 8 for p.
2
Suppose 2*m = -2*m + 3*m. Solve m = 8*j - 5*j + 15 for j.
-5
Suppose 4*u + 6 = 18. Solve g = u*g for g.
0
Let n(w) = 15*w**2. Let c be n(1). Let l be 54/c - (-6)/(-10). Solve 0 = -2*p - 3 - l for p.
-3
Let y be 4/(-5)*10/(-4). Suppose 3*p - 21 - 3 = -4*i, -16 = -y*p + 3*i. Solve -5*m = -p - 7 for m.
3
Suppose -3*n - 9 = -o - 2*o, -n = -2. Suppose 4*d - 4*i = -16, 2*d + 3*i - 6 = 6. Suppose 2*l - 3*l + 7 = q, -l + 3*q - o = d. Solve 8 = l*a - 12 for a.
5
Let h(n) = -n**2 - 9*n - 5. Let x be h(-8). Let q = -1 + 2. Suppose 2*p - 5 = q. Solve x*a + 6 = -p for a.
-3
Let z = 21 + -17. Solve 0 = -k - z*k - 20 for k.
-4
Suppose 0*j + 21 = 7*j. Solve -5 - j = -4*z for z.
2
Let s(c) = -c**2 + 3*c + 2. Let w be s(5). Let b be -6*2/w*2. Suppose b = j + 4*t - 2, -j = -2*t - 11. Solve -3*i = -0*i - j for i.
3
Suppose -k = -3*k - 4. Let p be 0 - 0/(k/2). Solve 0 = 3*b - p*b - 12 for b.
4
Let g(d) = 4*d**3 - 10*d**2 - 2*d**3 + 10*d - d**3 - 6. Let f be g(9). Solve f - 12 = 3*k for k.
-3
Let t = 9 - 4. Suppose w = -5*z + t, 5*z + 2 = -2*w + 12. Suppose z*m - 3*m = -9. Solve 0 = -g + 4 - m for g.
1
Let t be (-96)/30*-5*1. Solve -5*b + t = -b for b.
4
Suppose 0 = 3*a - 4*a + 5. Solve 3 = -4*z - a for z.
-2
Let d be -1*(-4)/(-3 + 7). Solve j - d - 4 = 0 for j.
5
Let o(y) = -y**2 - 20*y + 25. Let q be o(-20). Solve 3*g + 2*g - q = 0 for g.
5
Let d = -25 - -18. Let t = d + 31. Suppose 5*p - t = -2*k, -k + p + 0 = 2. Solve -k*q = q for q.
0
Let l be ((-4)/10)/((-5)/(-25)). Let b = l + 4. Suppose 2*c - 7 = c. Solve -c = -b*k - 3 for k.
2
Let u be (-1)/(-1)*0/(-4). Solve -16 = -4*q - u*q for q.
4
Let z(f) be the first derivative of 20*f**3/3 - f**2/2 - f + 2. Let l be z(-1). Solve -c - 3*c - l = 0 for c.
-5
Let m = -1 + 4. Solve m*s = 5*s + 4 for s.
-2
Suppose 0*v = -5*v - 140. Let c be v/(-21)*(-6)/(-4). Suppose -l + 0*l = 0. Solve -2*y + l - c = 0 for y.
-1
Let q be 1 + 4/(1*-2). Let p be 2*2/4 - q. Suppose -5 = 5*a - 10. Solve p*n + a - 7 = 0 for n.
3
Suppose -3*h - 3 = -3*u, 7 = 3*u + 1. Suppose 24 = 2*m - 2*n, -5*m + 2*m = 3*n - 30. Suppose m = 2*y + h. Solve -2*a + y*a = 0 for a.
0
Suppose 3*w - 3*u = 7*w - 51, 0 = 3*w - 2*u - 17. Solve -4 = c - w for c.
5
Let j(h) = 2*h**3 - h**2 + 2*h - 1. Let d be j(1). Let c be (-2)/((-4)/10) - d. Solve -3*f - 6 = -c for f.
-1
Let s(w) = w**2. Let p be (2 - (-6)/(-4))*0. Let z be s(p). Solve z*k - 3*k = 6 for k.
-2
Let y be (24/(-30)*-2)/((-2)/(-5)). Solve 2*p = 3*p - y for p.
4
Suppose 11*w - 28 = -6. Solve 0 = -2*p + 3*p - w for p.
2
Let q = 63 - 58. Solve i - 4 = q*i for i.
-1
Suppose -7*r = -3*r. Solve h = -r*h + 5 for h.
5
Suppose 25 = 3*b - 35. Solve y = -4*y + b for y.
4
Suppose -5 - 7 = -3*z. Solve -2*k - 6 = -z*k for k.
3
Let w(c) = c**3 + 9*c**2 - 9*c + 14. Let u be w(-10). Solve 5 + u = -3*v for v.
-3
Suppose 2*b + 42 - 122 = 0. Suppose -b - 60 = -5*v. Solve -6*o + o - v = 0 for o.
-4
Suppose -2*n + 3*c + c = -4, -2*n + 4 = -5*c. Suppose -3 = -4*u + 3*m, n*u = -0*m - 3*m - 3. Let p be (0/(3 + -4))/(-4). Solve p = z - u*z - 3 for z.
3
Suppose g - 2*x - 11 = -2*g, -4*x = -g + 7. Let h be 1*3*1/g. Let a be -6*(h + (-15)/9). Solve -a*c + 13 - 1 = 0 for c.
3
Suppose -4*n = -3*n - 2. Suppose 5*s = 3*p + 3, -4*s + n*p = -1 - 3. Suppose -v + 2*v = 10. Solve -s*o + 5*o = -v for o.
-5
Suppose 3*l + 15 = l - 5*t, 4*l = t + 3. Solve 0 = 3*x - l - 3 for x.
1
Let o = -26 + 38. Solve f + 2*f = -o for f.
-4
Suppose 3*z + 1 = 5*m, -3*m - 3*z + 0*z = -15. Solve -4*l - m = 6 for l.
-2
Let y(s) = -s**3 - 8*s**2 - 10*s + 12. Let u be y(-6). Solve 3*a = -u*a for a.
0
Suppose -3*l = -l. Suppose l*s = 5*s - 45. Solve 0 = -2*a + s + 1 for a.
5
Let s = 4 - 0. Suppose 0*t - 5*t = 3*c + 26, 0 = -4*t + 5*c - 6. Let g = s + t. Solve g = -4*k - 0*k + 8 for k.
2
Let r = 10 + -5. Suppose r*d - 4*x = 14, -2*d - 5*x = -2*x - 1. Solve v = -d*v for v.
0
Let i(k) = -k + 19. Let n be i(10). Solve -4*q + n = -q for q.
3
Suppose -4*l + 17 = 3*s, -l - 8 = -2*l + 3*s. Suppose 0 = -4*g + 4, 2*t - 2*g = -l*g + 7. Suppose t*a - 16 = -0*a. Solve 2*f - a = 2 for f.
5
Suppose 4*p + 10 - 74 = 0. Solve -i - 3*i = -p for i.
4
Let z = 16 - 10. Suppose -3*j - 3 = -z*j. Suppose w + j = 4. Solve w*t + 0*t + 12 = 0 for t.
-4
Suppose 5*m - 17 = 8. Let p be (-1 - 4) + -1 + 1. Let b be 3/(-1)*p/m. Solve b*o - 12 - 3 = 0 for o.
5
Let u be (1/3)/1*21. Let q = -5 + u. Solve q*t = -4 - 4 for t.
-4
Let k = -14 - -11. Let f = 7 + k. Solve 1 = -p - f for p.
-5
Suppose t = -5*p - 2, -5*p = -4*t + 24 - 7. Solve -t = -2*d + d for d.
3
Suppose 4*b - 7*b = -27. Solve 2*h = 5*h + b for h.
-3
Suppose 0 = 2*s - 3*s + 1. Let y be 3/s - (-7 + 8). Solve y*n = 4*n + 10 for n.
-5
Suppose 0 = 2*q + 34 - 46. Suppose 3*t - 4*w = 5, -6*t - w = -t - 16. Solve -t*y + 3 = -q*y for y.
-1
Suppose 