 + 9*m - 3. Let x be y(h). Suppose 7 = -x*o + 22. Solve -7 - o = 2*c for c.
-5
Suppose -3*f - f + 112 = 0. Solve f = 5*w + 8 for w.
4
Suppose 0*x + 6 = -3*n - 2*x, -9 = 5*n + 3*x. Solve n = -4*a + 4 + 8 for a.
3
Let l(v) = 5*v**2 + 20*v + 6. Let n(d) = -2*d**2 - 7*d - 2. Let c(j) = -4*l(j) - 11*n(j). Let r be c(3). Solve -15 = -r*f + 4*f for f.
5
Let m(r) = -r + 2. Let f(d) = 3*d**2 + 1. Let g be f(1). Let v be (-2)/g - (-1)/2. Let i be m(v). Solve -3 = w + i for w.
-5
Let a be -3 - 3*(-1)/(-3). Let v be 6/(-8) + (-27)/a. Solve -2*r - v = 4 for r.
-5
Let k = 5 - -7. Solve 2*o - k + 2 = 0 for o.
5
Suppose 0 = -5*d + 2*d + 3. Suppose -3*w = 2*m - d, -5*m = 2*w + 13 + 1. Let q = 33 - 8. Solve w*b = -2*b - q for b.
-5
Let p = 57 + -57. Solve p*u - 20 = -4*u for u.
5
Let n(y) = 6*y + 1. Let l be n(1). Let d(r) = 4*r - 10. Let q(u) = -5*u + 10. Let z(t) = -4*d(t) - 3*q(t). Let f be z(l). Solve 1 - 16 = f*j for j.
-5
Let f be (-3 - 0)*2/(-3). Let l be f/((-9)/12 - -1). Suppose 3*s - l*s = 0. Solve p - 1 + 3 = s for p.
-2
Let u(k) = -k - 3. Let o = 16 - 23. Let b be u(o). Suppose 0 = -2*g + r - b + 7, -3*g = -5*r - 15. Solve -2*y - y - 3 = g for y.
-1
Suppose 4*w - 6 = 5*j, 5*j = -3*w - w + 26. Suppose -4*k = -0*q - q + 6, 2*k = 4*q - 10. Let h = q + -2. Solve -j*n - 8 = -h*n for n.
-4
Suppose -5*r + r = -16. Suppose 11 + 1 = r*u. Solve u*y + 15 = 8*y for y.
3
Suppose -17*z + 8 = -13*z. Solve -2 = k - z*k for k.
2
Let b(r) = 3*r + 11. Let p(i) = -5*i - 22. Let q(a) = -7*b(a) - 4*p(a). Let v be q(7). Solve -2*h + 3*h = v for h.
4
Let r(m) = -m**2 - 11*m - 8. Let y(p) = p. Let w(i) = -r(i) - 4*y(i). Let b be w(-9). Solve -1 = 5*o - b for o.
5
Suppose 2*d + 1 = 27. Let s = -11 + d. Solve 5 = s*m - 1 for m.
3
Let f = 10 + -5. Solve 2 = -f*x - 3 for x.
-1
Let m = -8 + 9. Let s = 2 + m. Solve s + 1 = 2*r for r.
2
Suppose 2*p + x - 6 = 0, -x - 7 - 2 = -p. Let c(m) = m**2 + 3*m + 9. Let g be c(-4). Suppose -15*y + g*y = 0. Solve y*j = -p*j - 5 for j.
-1
Let p(k) = k**2 + 6*k - 5. Let s be p(-7). Solve 2*m = -s - 6 for m.
-4
Let d(u) = 3*u**3 - 1. Let w be d(1). Solve 2*c - w = -0*c for c.
1
Suppose 4*b + 55 = 3*y, 0*y = 2*b + 5*y - 5. Let a(w) = -w + 2. Let q be a(b). Suppose -5*i = -2*i - 15. Solve i*u = 2*u + q for u.
4
Suppose -5*r + 3*n = -23, -5*r + 20 - 1 = n. Suppose -r*b = 2*y + 10, 2*y - 3 = -3*y - 3*b. Let l be (-6)/(-4) + y/6. Solve l*d = 3*d - 3 for d.
3
Let d(s) = 5*s - 3. Let c be d(2). Let l = c - 6. Solve 0 = -4*x - l - 3 for x.
-1
Let k(m) = 2*m + 12. Let j be k(-6). Solve j = -4*o - 0*o for o.
0
Suppose -5*f - 9 = -39. Suppose 6 = 3*w - f. Solve 5*n + w = -1 for n.
-1
Let c = 4 - 4. Let d be 1*(c - -1)*0. Suppose 5*t - 80 + 20 = d. Solve -3*h = t - 3 for h.
-3
Suppose 2*h - i = -h + 12, -4*h - 4*i = 0. Suppose 0*x = -2*m + 2*x - 18, 3*m + 3*x + h = 0. Let u(f) = -f - 3. Let y be u(m). Solve 0 = -p - 0 - y for p.
-2
Suppose 0 = s - p - 6 + 1, -10 = 5*p. Solve 0 = -y - 1 - s for y.
-4
Suppose -f - 3*f = -k + 7, 2*k - 27 = -5*f. Suppose 2 = -3*o + k. Let s = 0 + 4. Solve 0 = s*q - o - 1 for q.
1
Let f be (-38)/(-5) + (-2)/(-5). Solve -3*p - f = -p for p.
-4
Let f be (6/9)/(2/(-9)). Let p(x) = -2*x + 2. Let u(g) = g - 1. Let i(o) = -p(o) - 3*u(o). Let d be i(f). Solve -v = d*v for v.
0
Suppose -i = -0 - 2. Suppose -b = i*b. Solve b = 4*u - 3*u for u.
0
Let j(y) = -y**2 - 2*y + 4. Let t be j(-4). Suppose n = -5*m - 16, -m = 4*n + 3*m. Let r = n + t. Solve -b + 1 = -r for b.
1
Suppose -4*n + 62 = 2*t, 3*n + 3*t - 39 = -0*n. Let s = 20 - n. Let o = 1 - 1. Solve -s*b + o = -8 for b.
4
Suppose 15 = -6*y + 7*y. Solve -3*r = -0*r - y for r.
5
Suppose 0*w = -w. Suppose 5*u + 6 = -2*a + u, 5*a + 4*u - 3 = w. Let d(g) = -g**2 + 4*g. Let x be d(a). Solve -x*p - 1 = -2*p for p.
-1
Suppose -63*q = -64*q + 3. Solve -q*a + 7 = -5 for a.
4
Let r(n) = -n**2 - 6*n - 1. Let g be r(-5). Let q(x) = x - 1. Let v be q(g). Let p(f) = f**3 - 12*f**2 + 9*f + 27. Let u be p(11). Solve y = v - u for y.
-2
Suppose 2*x - 4 = -2*x. Suppose 3*q - q - 5*i - 32 = 0, 0 = q + 5*i - x. Let l = q + -7. Solve 5*t + l = -1 for t.
-1
Let g(u) = -u**2 - 12*u - 6. Suppose -16 = -0*j + 2*j. Let o be g(j). Suppose -5*k - o = -v, v + 5*k + 4 = -0*k. Solve -4 = 3*m + v for m.
-5
Suppose -14 = -2*f + 2. Let o(j) = -j + 10. Let t be o(f). Solve 0 = t*m + 7 - 1 for m.
-3
Suppose 2*i - 10 = -3*i. Suppose -2*u + 6 = -f, 0 = 2*u - 0*u + i*f - 6. Solve 0*c - u = c for c.
-3
Let z be (-4)/20 - 52/(-10). Solve -z*o = -2*o + 3 for o.
-1
Let x(w) = 11*w - 42. Let k be x(4). Solve -r = -k*r - 5 for r.
-5
Let j(o) = o**3 + 8*o**2 + 8*o + 9. Let y be j(-7). Suppose -3*g + 0*d - y*d + 29 = 0, 45 = 5*g + 4*d. Suppose -4*m + 3 = -g. Solve -u = -m*u + 9 for u.
3
Let i be 5 + 0 - (0 + 1). Let t(h) = 8*h - 4. Let m(j) = 8*j - 4. Let n(x) = -4*m(x) + 3*t(x). Let f be n(-2). Solve 0 = i*b - 0*b - f for b.
5
Let x be 10/3*1*(-48)/(-32). Solve -x*m = 6 + 4 for m.
-2
Suppose 0 = -0*n - n + 3*t + 11, 0 = -5*n + 4*t + 55. Let y be 4 - ((-1)/(-1) - 1). Solve -y*m + 1 = -n for m.
3
Suppose 5*p - 4 = -14. Let w be 1 - -2 - (p - -3). Solve -w = g - 5 for g.
3
Suppose 4*a - 14 = -3*a. Solve -4*d = -a*d for d.
0
Let d(a) = -2*a - 6. Let w be d(-4). Suppose -c = -w*c + 2. Solve 0 = c*u - 3 + 1 for u.
1
Let w be ((-81)/12)/(-3) + (-7)/28. Solve 0 = -7*k + w*k for k.
0
Let n(g) = -g**3 + 2*g**2 - 2. Let d(p) = -2*p**3 + 3*p**2 - 2. Let u(k) = -2*d(k) + 3*n(k). Let i be u(2). Solve -b + i = -4*b for b.
-2
Let q = -59 + 59. Suppose -4*s - 8 = 0, 4*w - 2*s + s = 2. Suppose w = 7*y - 3*y - 8. Solve q = -3*r + y*r + 3 for r.
3
Suppose -2*x + 5*x = 0. Let t(q) = 12*q**2 - 2 + 1 - 4*q**2. Let l be t(-1). Solve x = -2*g + 3 + l for g.
5
Let h be 4/6*(8 - -4). Let o(z) = -z**2 - 7*z - 6. Let g be o(-5). Solve g*a = 6*a - h for a.
4
Suppose -3*i = 2*k + 7, 2*k - 10 = 7*k + 5*i. Let z = 7 - 5. Solve -j + k = -z for j.
3
Let c = 5 - 0. Suppose 4*l = 4*v + 24, 0*l + 2*v = -5*l + 16. Suppose -3*s - g = 4*g + 17, -g - 6 = -2*s. Solve -l*q = -s + c for q.
-1
Suppose -5*f + 7 = -4*f. Suppose 1 = 2*a - f. Solve -2*q + a = -0 for q.
2
Let p(u) be the third derivative of -u**4/24 + 4*u**2. Let k be p(0). Solve 2*c + k*c - 8 = 0 for c.
4
Suppose -4*w + 46 = 3*s, -3*w + s + 24 = -2*s. Solve -3*d + w - 4 = 0 for d.
2
Let j = 108 + -93. Solve 0*a - 5*a - j = 0 for a.
-3
Let m(r) = -7*r**2 - 4 + 5*r + 2*r**2 + 4*r**2. Let d be m(3). Solve 1 + 5 = -d*y for y.
-3
Let a(i) = -4*i**2 + 4*i**3 - 4*i**2 - 5*i**3 - 6 + 0*i**3 - 8*i. Let y be a(-7). Solve -y = x - 3 for x.
2
Let c = 2 - 1. Let s be c/(-3) + 21/9. Suppose 0 = -5*u - v + 129, 2*u - 8*v + 4*v - 34 = 0. Solve 7*t + u = s*t for t.
-5
Let v be 2*((-6)/4 + 2). Let u be (v*-2)/(4 + -6). Solve 6 = 5*g + u for g.
1
Let p = 108 + -85. Solve 5*w + 8 = p for w.
3
Suppose 3*g = 3*q - 2*g - 20, 4*q = -g - 4. Let r(l) = l**3 - 7*l**2 - 6*l + 74. Let t be r(6). Solve t*f + q = 2 for f.
1
Let p = -6 - -9. Let w be (8/(-3))/((-8)/(-36)). Let s = 13 + w. Solve -s = p*m + 5 for m.
-2
Let n be 42/8 - (-36)/48. Suppose n*r + 4 = 8*r. Solve 3*u + r = u for u.
-1
Let g be 2/(-9) + 120/54. Let k be (-6)/(-3) + 2*g. Suppose -a - k = -4*a. Solve -c - a*c = 3 for c.
-1
Let u(n) = 65 - n - 3*n - 19*n - 66. Let i be u(-1). Solve 5*m + 3 = -i for m.
-5
Let x be 4*28/16 + 0. Solve -9 = 4*i + x for i.
-4
Suppose 0 = -2*f - 2*f - 60. Let j(c) = c**2 + 14*c - 5. Let a be j(f). Solve -6*y - a = -y for y.
-2
Let v be ((-1)/3)/((-1)/9). Let f be (-13 - v)*(-1)/2. Suppose 2 + 0 = a. Solve 5*c - f - a = 0 for c.
2
Let j(g) = -g**2 - 5*g + 8. Let d be j(-6). Solve -w = -d*w for w.
0
Let m = -18 - -21. Solve 0 = i + m*i - 12 for i.
3
Let y = 14 + -3. Suppose -3*f + 9 = 0, g - 2*g - y = -5*f. Suppose -g*s + 20 = s. Solve 3*r = -r + s for r.
1
Let y be (-42)/(-8) + (-1)/4. Let v(s) = -s**2 - 10*s + 4. Suppose -3*o = -2*o + 7. Let k be v(o). Solve 0*a - y*a - k = 0 for a.
-5
Let f be (30/(-9))/((-3)/45). Let v be f - (-1 - (0 - -1)). Suppose 4*l - 11 = 5*p, 3*l + 7*p - 2*p - v = 0. Solve -l = r - 4*r for r.
3
Let k be (-3)/(6/4) - -2. Let r be (-5 - 1) + 8 - -3. Solve k = w - r*w for w.
0
Suppose 4*k - 8 = 2*k. Solve -k*s - s = 0 for s.
0
Suppose 7*a - 25 = 2*a. Solve 0 = -a*u + 1 + 14 for u.
3
Suppose -b - 3*b + 8 = 0. Let q = b - 