 i be k(-2). Let d = 9 + i. Solve d*m = 4*m - 2 for m.
2
Let w = -5 - -8. Let s be -8 + 1 + w + -2. Let q be (-3)/s - (-17)/2. Solve 4*b - b = q for b.
3
Let j = 21 + -12. Let s(a) be the third derivative of a**4/24 + 5*a**3/3 + a**2. Let f be s(-6). Solve m - f*m = -j for m.
3
Suppose -2*b + 3*b - 6 = 0. Suppose -2*a - 2 = -b. Solve -16 = 2*j + a*j for j.
-4
Suppose -h = 1, 2*x + 3*h + 2 = 1. Solve g + x = -2 for g.
-3
Let c(f) = 35*f - 105. Let k be c(3). Let v be 2/(-8) - 42/(-8). Solve 0 = -t - k*t - v for t.
-5
Let a = -7 + 9. Solve o + 4 = a for o.
-2
Let h be -16*((-3)/12 - -2). Let b be (-48)/h + 4/14. Let a(c) = c**2 - c - 2. Let k be a(b). Solve 2*d - d + 4 = k for d.
-4
Suppose -4 = 11*j - 15*j. Solve -2*b = -3 + j for b.
1
Let b be 7/2*(-12)/(-21). Suppose -12 = -3*o + 3*u, -o = 2*o + b*u + 3. Solve -3*f = 16 - o for f.
-5
Suppose 0*r + 4*r + 32 = 0. Let n = -28 - -15. Let q = r - n. Solve 4 = -q*v - 11 for v.
-3
Let d(p) = p**3 + 8*p**2 + p + 12. Let b be d(-8). Solve -2 = -m - b for m.
-2
Let h(d) = -d + 6. Let f be h(0). Suppose k - 4*r - r - 30 = 0, -4*k = 2*r - 10. Suppose -5*v + 33 = -k*u + 13, -4*u + 2 = 2*v. Solve f*l + 12 = v*l for l.
-4
Let t = 4 - 3. Let p be t - 1 - (-2)/1. Solve -3*g = -g - p for g.
1
Let x = 67 + -65. Solve 0*p = -p + x for p.
2
Let d = 7 - 2. Solve -4 = -d*z + 21 for z.
5
Let n = 29 + -26. Solve 0*x = -x - n for x.
-3
Let f = -5 + 8. Suppose r - f*r = -8. Solve 7*o - r*o = 6 for o.
2
Let a(n) = -3*n - 1 + 7*n - 6. Let r be (1 + 3)*(-21)/(-12). Let m be a(r). Solve -5*q + 1 - m = 0 for q.
-4
Let h(j) = -5*j**2 - 2*j + 1. Let f be h(1). Let r = 9 + f. Let v be (2 - 2/1)/2. Solve 0 = -o - v - r for o.
-3
Let y(r) = -r - 10. Let f be y(-8). Let i(n) = 2*n**2 + 2*n - 2. Let t be i(f). Solve 0 = -0*k + 2*k + t for k.
-1
Let r be 12/(-21) - ((-54)/21 - -2). Solve r = 6*g - 2*g for g.
0
Let a be ((-12)/(-4) - 1)*2. Suppose -4*x + a*p = -0*p - 32, 0 = p + 5. Solve -x*z = -8*z for z.
0
Let n(q) = -3*q - 8. Let v be n(-4). Solve -v + 13 = 3*l for l.
3
Suppose 0 = -2*s - 2*s. Solve s = i - 3 - 0 for i.
3
Suppose -3 = -3*n - 0. Let g be 8 + (-9)/(2 + n). Suppose -d - 11 = 4*v, 0*v + 3*v = -d - 8. Solve d - g = -i for i.
4
Let n = 27 + -21. Solve n*g = 4*g for g.
0
Suppose -2*p - 4 = 2*w - 0*p, -p + 6 = 5*w. Suppose 4*n = -3 - 5, -w = -5*z + n. Solve -k - 3 - 2 = z for k.
-5
Let c = 53 + -34. Solve 7 - c = -4*b for b.
3
Let s(h) = 2*h + 1. Let z be s(1). Suppose g + 1 - 5 = z*i, i = 5*g - 20. Suppose 5*n + 2*u = 4*u + 12, 16 = 2*n + 2*u. Solve n = -k - i for k.
-4
Suppose r = 6*r + 40. Let v be r/(-6)*3/2. Solve 17 = -5*k + v for k.
-3
Let t be -4 - (-16 - (-8)/2). Solve -4*r + t*r + 16 = 0 for r.
-4
Let m(i) = 4*i**3 - i. Let f = 6 - 2. Suppose -1 = 3*n - f. Let h be m(n). Solve 0 = j - h*j + 2 for j.
1
Let p(r) = r**2 - 3*r - 1. Let z be p(4). Let s(h) = h**z + 1 - 13 + 4*h + 8*h - 10*h**2. Let u be s(9). Solve 0 = 4*f + f - u for f.
3
Let d be (0/8)/(1*-1). Suppose d*o - 2*o + 10 = 0. Solve -k = -o*k for k.
0
Let b be -3*(1/3)/((-1)/5). Solve -b = 5*s - 25 for s.
4
Suppose -k = -13 + 1. Let q = -10 - -14. Let j = q - 2. Solve j*p - k = 5*p for p.
-4
Suppose 141 - 41 = 2*n. Suppose -5*f = -0*f - n. Solve -2*q = -0*q - f for q.
5
Let i(t) = -t**3 - t**2 + t + 2. Let w = 8 - 10. Let n be i(w). Suppose 0*s = n*s + 4*z - 28, -2*s - 5*z = -23. Solve -a + s = a for a.
2
Let p be (-1 - (-27)/15)*10. Let s be 2/(-8) - (-34)/p. Let i be 8/(-3)*(-6)/s. Solve 0*m - i*m = 0 for m.
0
Let y(p) = p**2 - 3. Let o(v) = v**2 + 2*v + 3. Suppose 2*c - 4*c = 4. Let g be o(c). Let m be y(g). Solve q + q - m = 0 for q.
3
Let n = 38 - 38. Solve 2*s = -n + 4 for s.
2
Let f(v) = v**3 + 5*v**2 + 9*v + 9. Let q be f(-3). Solve -6*y + y = q for y.
0
Suppose r = 3, 5 = -5*j - 2*r + 31. Let h = -1 + j. Solve -27 = -h*w - 12 for w.
5
Let u be 0 + -1*(1 + 1). Let p be (-15)/(-10) - 3/u. Solve p*m + 3 = -0*m for m.
-1
Let f(w) = -w**3 - w. Let t be f(0). Suppose -3*p - 3 - 27 = t. Let j(r) = -r - 7. Let a be j(p). Solve -a*x = -x + 2 for x.
-1
Let n be 1*11/3*3. Suppose -7 = y - 2*a, a - n = -y - 3. Solve -1 = -4*s + y*s for s.
1
Let c be (-6)/(-2) - (-81)/9. Let v be 10/2 + 2 + -3. Solve -c = -g + v*g for g.
-4
Suppose 135 = 4*t - 9. Suppose 5*o - t = -4*p + o, 11 = 3*p - o. Solve 0 = y - p*y + 20 for y.
5
Let f(a) = 2*a + 9. Let y be f(-9). Let u = 1 - -11. Let m = u + y. Solve 8*d = m*d - 5 for d.
-1
Let c = -66 + 71. Solve -3*t - 4 = -c*t for t.
2
Suppose -5*h = 4*w + 5, 8*w - 3*w - 10 = -3*h. Solve 8*s - w*s = -9 for s.
-3
Suppose -t + 13 = -2*b, -2*b = 4*t + 3*b. Suppose t*p + 6 = -4*r, 5*r + 31 - 11 = 0. Solve -p*z - 8 = -2 for z.
-3
Let d be 28/(-126) - (-146)/9. Solve -3*a = a - d for a.
4
Suppose -5*m - 23 = -8. Let z = 2 - m. Let t(h) = -h**3 - 6*h**2 - 2*h - 7. Let b be t(-6). Solve -z*o + b = -5 for o.
2
Let b be 4 + -1 + (-2)/(-2). Let d(m) = m + 14 + 6 - 5 + 9. Let f be d(0). Solve f = -5*r + b for r.
-4
Let g(b) = -6*b**2 - 7*b - 2. Let o be g(-5). Let v be 26/o + 4/18. Solve v*w + 5*w = 5 for w.
1
Suppose i = 2*i - 4. Let s(w) = 2*w**2 + 2*w + 2. Let t be s(-2). Let m = t - i. Solve 4*n - m = 2*n for n.
1
Let w(q) = -2*q**2 + 8*q. Let s be w(6). Let t = -13 - s. Solve -4*y + t + 1 = 0 for y.
3
Let d(s) = 8*s**2 + 0 + 1 + s**3 - 9*s + 1. Let b be d(-9). Suppose b*o = 7*o - 15. Solve -o*h + 8*h = -20 for h.
-4
Suppose -4*o + o = 2*n - 10, 5*o + 4*n = 14. Suppose 3*k - 6 - 6 = 0. Suppose -h = -y - k*y - 6, o = 3*y. Solve -x + h = 3*x for x.
4
Let g(k) = k**3 + k**2 - 2*k + 1. Let i be (1 - -1) + 3/(-3). Let l be g(i). Solve 4*m - 19 - l = 0 for m.
5
Let h(v) = v**3 - 8*v**2 + 6*v + 9. Let x be h(7). Solve 3*j = 4*j - x for j.
2
Suppose -3*r + 22 = 2*q + 2, q - 5 = r. Suppose 5*m - 5*t - 3 = -28, -17 = m - 5*t. Let k = 7 + m. Solve 3*c = q + k for c.
4
Suppose 9 = 5*r - 1. Let n be 7 + 1 + -3 - r. Solve -2 = -h - n for h.
-1
Let h be (0 - 2) + -1 + 7. Solve 0*r + h*r + 8 = 0 for r.
-2
Let a = -16 + 24. Solve 0*d + a = 2*d for d.
4
Let y(f) = f**2 - 5*f - 2. Let n be 3 - ((-10)/(-2) - 3). Let c(j) = -j**2 + j + 1. Let x(o) = n*y(o) + 2*c(o). Let q be x(-3). Solve -2*v + 3*v - 3 = q for v.
3
Suppose 2*r - 21 = -3*w - 5, 4*w + 17 = 5*r. Let k(z) = z. Let i be k(r). Suppose -j - 3 = -i. Solve -j*l = -l for l.
0
Suppose -18 = v - 20. Solve -v*j = -j for j.
0
Let d be (16/4 + -3)*1. Solve 4 = -w + d for w.
-3
Let d = 8 + -5. Let x(n) = n**2 - 6*n + 4. Let v be x(5). Let q = v - -3. Solve -1 - d = -q*t for t.
2
Let u(q) = -9*q**3 - q**2 + q. Let x be u(1). Let r = x + 17. Suppose d + r = 4*t - d, -5*d = 0. Solve -t*h + 10 + 0 = 0 for h.
5
Suppose 6 = -b - 9. Let t be (10/3)/((-10)/b). Suppose -10 = t*s, 2 = -3*k + 3*s - 4*s. Solve k = 2*l + 6 - 0 for l.
-3
Let n(o) = -o**3 + 9*o**2 - 7*o + 2. Let f be n(8). Let c be (12/f)/(2/10). Solve 0*b - c = 3*b for b.
-2
Suppose -2*v - 15 = v. Suppose -c + 10*c = 45. Let b = v + c. Solve b = 2*q + 8 for q.
-4
Let q(i) = -2*i**2. Let n(u) = -u**3 - 10*u**2 - 10*u - 8. Let p be n(-9). Let g be q(p). Let z be (-1 + g)*(-4)/3. Solve 4 + 8 = -z*t for t.
-3
Let k(t) = 3*t**3 - 2*t**2 + 5*t - 2. Let c be k(1). Solve -2*g - 8 + c = 0 for g.
-2
Let n(t) = 2*t - 4 - 2*t + 2 - 4*t. Let x be n(-3). Let w(d) = -d + 3. Let j be w(0). Solve x = -j*h + 1 for h.
-3
Suppose -3 - 12 = -3*p. Suppose -p*x = -3*x - 8. Suppose -v - 3*v + 57 = -3*r, x = 4*r. Solve -v = -f - 4*f for f.
3
Let z = 0 - -6. Solve -5*c + 2*c = z for c.
-2
Suppose -5*q + 14 = 44. Let i be (-26)/q + (-2)/6. Solve r = i*r for r.
0
Suppose -5*r - 56 = -3*r. Let j = -19 - r. Let m = -14 - -18. Solve -t - j = -m for t.
-5
Let u = -21 + 27. Let j be -10*(5/2)/(-1). Solve -k = -u*k + j for k.
5
Let a be 20*((-3)/(-12) + 0). Solve -3*v - a = 2*v for v.
-1
Let w be 1 + 1 + (0 - -5) + -4. Solve 2*d - d = w for d.
3
Suppose 0 = -4*b + 5*s + 55, -82 - 13 = -5*b + s. Solve -3*l - b = 2*l for l.
-4
Let g(y) = -2*y - 5 - 1 + 0. Let b be g(-5). Suppose 6 = 2*j + 2*a, -b*j - 12 = -2*j - 4*a. Solve -3*i = -j*i for i.
0
Suppose 5*f - 25 = 15. Suppose 0 = l + 5*x + 20, -5*l - 2*x + f = -4*x. Solve -4*a + 5*a + 3 = l for a.
-3
Let j be 2/(-4)*-1*4. Suppose b = -j*b + 18. Let a(w) = -w**2 + 14*w + 35. Let k be a(16). Solve b = -k*c - 6 for c.
-4
Suppose -2*q = -7*