**2 - 3*f. Let s be k(h). Solve s = 4*v - 0*v - 20 for v.
5
Suppose y + 5 = 6. Let j be (0/(2/(-1)))/y. Solve 0 = -d + 5 - j for d.
5
Let a(w) = -w + 1. Let y = -1 + 0. Let j be a(y). Solve -3*x - 20 = j*x for x.
-4
Suppose 0 = 5*y - 4*h + 1, 4*y - 2 = -3*h + 22. Solve -y*b - 5 = -8*b for b.
1
Suppose -t - 3*s - 12 - 7 = 0, 2*s = t - 1. Let c = 14 + t. Let q = c - 5. Solve -5*v - 27 = -q for v.
-5
Let z(f) = 11*f**2 + 10*f - 49. Let k(i) = 4*i**2 + 3*i - 16. Let l(h) = -8*k(h) + 3*z(h). Let p be l(-9). Solve -n + p = n for n.
4
Suppose -5*c = -0 - 5. Solve -5*p - c = -6 for p.
1
Let i = -12 - -16. Suppose -3*q + 14 = 4*w, -i*w + 2*q + 4 = -0. Solve 0*l - 2*l - w = 0 for l.
-1
Suppose 0 = b + q - 16, 2*b + 3*b = 4*q + 116. Suppose 0*h + 4*h - b = 0. Solve h*n - 2 = 3 for n.
1
Let v = -2 + 1. Let o be (-2)/(1*v/2). Let y be (-74)/(-26) + o/26. Solve 0*k + y = k for k.
3
Suppose -3*x - 2 = -8. Suppose 2*k + x = 4. Solve 5*b - k - 14 = 0 for b.
3
Let c be (-112)/6*108/(-16). Suppose t = -0*t - 5*y + 9, 0 = 4*t + 2*y - c. Suppose 5*k - t = -9. Solve 0*i = i - k for i.
5
Suppose -63 = -14*o - 21. Solve 8 = -o*i + 5 for i.
-1
Suppose 0 = z - 4*z + 18. Let x = -8 + z. Let s be 0 + 3*(-1 - x). Solve -v = s*v for v.
0
Let r(v) = 2*v + 1. Let s be r(2). Let j = -67 - -70. Solve j*y - 8*y - s = 0 for y.
-1
Suppose -17*y = 2 - 53. Solve -o + 4 = -y*o for o.
-2
Let t be -2*-2*(-5)/(-4). Let m(b) = 3*b**2 + 6*b + 9. Let h(v) = v**2 + 3*v + 4. Let c(f) = -5*h(f) + 2*m(f). Let d be c(t). Solve 2*x + d = -2*x for x.
-2
Let g(u) = u**2 - u - 6. Let a be g(3). Solve -3*t - 6 = -a*t for t.
-2
Let d be 4/(-6)*-2*3. Let l be ((-10)/8)/((-3)/48). Solve d*q + q = l for q.
4
Suppose 20*g = 5 + 35. Let v = 16 - 1. Suppose 2*p = -2*l + 8, 5*p - v - 12 = 2*l. Solve -g*y + 3*y + p = 0 for y.
-5
Let i = 18 + -13. Suppose -6 = -s - v, i*s - v = 10*s - 26. Let z be ((-6)/15)/((-1)/s). Solve 2*r + 10 = z for r.
-4
Let o(b) = -5*b - 1. Let x(i) = -i. Let c(g) = -o(g) + 4*x(g). Let m be c(0). Let r = 1 - m. Solve d + 1 + 0 = r for d.
-1
Let z = -94 + 98. Solve 2 = -z*p - 2 for p.
-1
Suppose 3*g = 4*g. Suppose -3*j + 4 + 11 = g. Solve -j*z - 16 + 1 = 0 for z.
-3
Let b(i) = i**3 - 2*i**2 - i + 2. Let u be b(2). Suppose 0 = -5*z + 12 - 2. Suppose -z*m - 5 + 1 = -2*k, 3*m = -3*k + 6. Solve u = -k*t - 4 - 0 for t.
-2
Suppose 0 = -33*l + 32*l + 10. Solve -4*u - l = u for u.
-2
Let f(z) = z + 13. Let u be f(-7). Let p be ((-9)/u)/(1/(-2)). Solve -13 = -5*l - p for l.
2
Let l = 40 + -37. Solve -l = q - 4*q for q.
1
Suppose -15*l - 21 = -18*l. Solve -2*a + l*a = 20 for a.
4
Let y = -1 - -3. Let q = 16 + -13. Suppose q*b + y*b = 40. Solve -2*m - 2*m = b for m.
-2
Let a(l) = l**2 - 3*l - 1. Let w be a(4). Solve 0 = m + 1 + w for m.
-4
Let x be (2 + -3)/((-1)/5). Suppose -x*a + 3*a + 10 = 0. Suppose 0 = 2*l - a - 3. Solve 4 = l*j - 6*j for j.
-2
Let p be 232/28 + -2 + 2/(-7). Solve -2*k - 8 = -p*k for k.
2
Suppose -5*y = -n - 4*y + 2, -3*n + 5*y = -4. Suppose 0 = g - n - 0. Solve g*a = -2*a + 10 for a.
2
Suppose 6 = t + t. Suppose 5 = 4*q - t. Solve 5*h - 6 = q*h for h.
2
Suppose 3*f = -4 - 11. Suppose -3*p + 3*y = -p + 5, 3*y = -5*p - 44. Let i = f - p. Solve -u = -2*u - i for u.
-2
Suppose -20 = 4*p - 60. Let f be (-76)/p - (-6)/(-15). Let k = -6 - f. Solve -k*z + 2 = -2 for z.
2
Suppose -2*v = -3*d - 20 + 57, 2*v + 19 = d. Solve 3*u = d - 0 for u.
3
Suppose -5 = -2*f + 5*a, 3*a + 7 = 5*f - 15. Suppose 4*t - f = -t. Solve 2*y = 3*y + t for y.
-1
Suppose -5*i = 9 + 41. Let z(b) be the second derivative of -b**4/12 - 2*b**3 + b**2 + b. Let q be z(i). Solve -6 = -4*s - q for s.
-4
Suppose 0 = -4*y + 10 - 2. Suppose 2*w + 2*w = 0. Solve w = -l + y - 4 for l.
-2
Let w(d) = -8*d - 1. Let g be 0 - (4 + (-6 - -3)). Let f be w(g). Let v = 9 - f. Solve v*r - 7 = 3 for r.
5
Let z = -98 + 98. Solve z*p = -4*p + 12 for p.
3
Let i be -17 + (-6)/3 + 0. Let p = i + 32. Solve p + 2 = 5*o for o.
3
Let c be (-35)/(-28) - 14/(-8). Solve -c - 5 = 4*q for q.
-2
Let j = 1 + 3. Suppose 0*l = -2*l + j. Suppose -l = b + 3*c, -10 = -4*b - c - 2*c. Solve -3*k - b = 5 for k.
-3
Suppose -5*q + 15 = 5. Suppose 2*f - 144 = -q*f. Suppose -3*z - 5*k + 36 = 0, -3*z + 0*k = -3*k - f. Solve 0 = o + 2*o - z for o.
4
Suppose -4*t - 24 = -5*v + 1, -3*v + 4*t + 15 = 0. Let k(f) = 0 + 2 - 3*f + v*f. Let n be k(2). Solve 5*d = 4 + n for d.
2
Suppose 0*d + 5*d = 0. Suppose -6 = -p - 2*k, -5*p + 3*k - 6 - 3 = d. Suppose p*y = -5*y + 105. Solve -y = -3*f - 9 for f.
4
Let v(p) = 4*p**3 + p**2 - p. Let b be v(1). Let l(x) = 0*x - 1 - x - 3 + b*x**2 - x**3. Let z be l(3). Solve -z - 2 = -f for f.
4
Let z(y) = 2*y**2 - 3*y - 6. Let w be z(3). Solve -4 = w*u + 2 for u.
-2
Let m(u) = -3*u - 4. Let s be m(-3). Suppose 7 = s*o - 3. Solve 0 = -2*t + 4*t + o for t.
-1
Let l(z) = z**2 + 12*z + 32. Let n be l(-9). Suppose 0 = -2*q + 5*h + 2 + 9, 5*h + 2 = -q. Solve q = j + n for j.
-2
Suppose 2*n = -m + 3*n - 12, 5*m + 60 = 4*n. Let x be -1 + -13 - 1/1. Let t be (m/x)/((-4)/(-10)). Solve -t*f = -12 + 4 for f.
4
Let x = -11 - -12. Solve -4*r = 3 + x for r.
-1
Let f(h) = h**2 - 3*h + 1. Let b be f(3). Solve -3 = z + b for z.
-4
Suppose 3*i + 0*i - 6 = 0. Solve i = 5*a - 3 for a.
1
Let y(h) = -3*h + 3. Let x be y(1). Solve -3*o - 2*o + 5 = x for o.
1
Let a = 1 + 1. Suppose -3*f - 2 = -q, -q - 4*f + a = -0. Solve -5 + 15 = -q*h for h.
-5
Suppose 4*c = 5 + 7. Solve 0 = c*i - 2 + 11 for i.
-3
Let m be (-2)/((-6)/81*3). Let z be 1*m/6*4. Let n = -16 + 34. Solve -z = -4*x - n for x.
-3
Suppose -p - 3*r = -17, -4*r = 2*p + r - 31. Solve -11*d - 12 = -p*d for d.
-4
Let m = 1 + -1. Let g = -1 + 1. Let q = g + 3. Solve m = -q*n - n for n.
0
Let s(t) = t + 3. Let o be s(0). Let v(h) = -7*h + 11. Let c(z) = 6*z - 11. Let f(y) = -6*c(y) - 5*v(y). Let l be f(9). Solve w = o - l for w.
1
Let z be (-2)/1 - (-8)/2. Suppose -3*t + z*p = -2, 0*p = 3*t + 3*p - 27. Solve 0 = t*i + 18 + 2 for i.
-5
Let w(l) = 5*l - 5. Let d be w(2). Solve d*g = 4 + 6 for g.
2
Let r(y) = 0*y**2 - 2*y - 2 + 2*y**2 - 8*y + 2*y. Let c be r(6). Let q be c/6 + (-1)/(-3). Solve -n + q = n for n.
2
Let j be -1*(1 + -1 + -1). Solve j = i + 4 for i.
-3
Let p(a) = -a**3 + 3*a**2 - 2*a + 4. Let i be p(2). Solve v = -0 + i for v.
4
Let p(y) = 3*y**3 + y**2 - 3*y + 3. Let h be p(2). Let t be -1*-4*(-4)/(-4). Suppose -2*w = -r - 2 + 4, t = r - w. Solve r*i = i + h for i.
5
Suppose 4*i = 6*i. Solve 2*r + 0*r + 10 = i for r.
-5
Let m(z) = -2*z + 8. Let g be m(3). Solve -g = -4*s + 2*s for s.
1
Let i(u) = -5*u + 47. Let l be i(9). Solve -t = l*t + 15 for t.
-5
Let k be 1/(-6)*-3*-22. Let v = 13 + k. Solve t = 3*t + v for t.
-1
Suppose -5*g - x = -125, 0 = -6*x + x. Suppose -5*y - q + 3*q = -g, -2*q - 4 = 2*y. Solve 0 = -5*l - y - 7 for l.
-2
Suppose 4*u - 8 = -0. Solve 0 = u*n + 8 - 0 for n.
-4
Let r(i) = 8*i - 12. Let z be r(3). Solve j - z = -3*j for j.
3
Suppose 1 = j - 1. Suppose -j*t + 3 + 3 = 0. Suppose 2*q = -0*q + 3*u + 9, u = 3*q - t. Solve q*k = -k + 2 for k.
2
Let p = 21 - 21. Solve p = -5*g + 12 + 13 for g.
5
Let y = -64 - -72. Solve -4*v = -y*v + 20 for v.
5
Let l be (5 - -3)*(-2)/(-8). Solve 0 = -3*u + 5*u - l for u.
1
Suppose -81 = -3*f - 51. Solve 8*p - f = 10*p for p.
-5
Let s = -6 - -11. Suppose 4*j = -s*r - 7, -6 + 22 = -4*r + 2*j. Let a = 3 + r. Solve a*y + 2 = 2*y for y.
1
Let y(x) = -x**3 - 11*x**2 + 13*x + 4. Let j be y(-12). Let a = j + 12. Solve -3*r = -4*r - a for r.
-4
Let w(r) = -r**2 - 10*r - 9. Let a be w(-9). Solve 0*s - 3*s + 12 = a for s.
4
Let k(l) = -l**2 - 11*l + 5. Let b be k(-11). Let g(d) = -d**2 + 6*d. Let i be g(b). Solve h - 6*h - i = 0 for h.
-1
Let h = -18 - -20. Solve h = 5*z - 3*z for z.
1
Let s(j) = -j**3 + 2*j**2 + 7*j + 4. Let k be s(4). Suppose 4*u = -4*y + u + 3, k = -3*y + 4*u + 21. Solve -y + 2 = w for w.
-1
Let g be 8*-2 + 0 + 2. Let d(i) = -i**2 - 3*i - 3. Let t be d(-2). Let j be g/((t/(-1))/(-1)). Solve 2*u + 6 - j = 0 for u.
4
Let i(p) = -p + 12. Let v be i(5). Let y = v - 3. Solve y - 3 = -f for f.
-1
Suppose 0 = -2*w + 3*f + f, -4*f = 2*w - 16. Let s be (59 - -2) + w/2. Suppose -2*x + s = x. Solve -1 = 5*i - x for i.
4
Let x(u) = -u**3 - 4*u**2 + 5*u + 5. Let v be x(-5). Suppose 3*r + 2 = 2*l + 4, -5*l = -4*r - 9. Solve -v*n + 21 = -r for 