 w = 4*a + 5*n, n = -5 for a.
-5
Let y be ((-6)/(-7))/(45/210). Solve 0 = -y*q - 5*f - 32, 2*q + f + 3 = -7 for q.
-3
Let a be (3/(-2))/(18/(-36)). Let p = 3 - 1. Suppose 5*w = -4*f + 36, 0 = -0*f + p*f - 8. Solve -w*h = -a*b + 2*b + 7, 2*h = b - 3 for h.
-2
Suppose 2*t - 36 = -30. Solve -t*v + 2*k + 14 = 0, -4*v + 14 = v - k for v.
2
Let c be ((-11)/22 - 7/(-2)) + 0. Solve 5*x = -3*h - 4, h = c*x - 6*x - 4 for x.
-2
Let y be (-5)/(-2)*(-12)/(-10). Let c be (4/10)/(2/10). Suppose c*l - 13 = -y. Solve 3 = -2*d + 2*w - 1, -l*w + 18 = -d for d.
2
Let f(w) = w**2 - w - 3. Let u be f(4). Suppose -z = -u*b + 4*b - 6, 4*b + 3*z = -1. Let x be 0*b/(4 + -2). Solve 4*p = 4*j, x*p + 2*j + 18 = -4*p for p.
-3
Let r(f) = 6*f + 40. Let k be r(-6). Solve -3*i - i = -d - 3, -5*i = k*d - 30 for i.
2
Let t(c) = c**3 + 4*c**2 - 5*c + 4. Let j be t(-5). Solve 0 = -j*h + l - 2*l - 10, -2 = 4*h - 3*l for h.
-2
Suppose 3*r = -16 - 2. Let t = -6 - r. Solve -d + 3*p + 4 = t, 7*d - 2*d - 3*p + 4 = 0 for d.
-2
Suppose -2*w = 3*a - 28, -w = -3*a - 5*w + 38. Let s = -1 + a. Solve -s*q = 4*d + 13, -d - 7 = 3*d - q for d.
-2
Let a = -6 - -6. Suppose a*m + 5*m = 0. Solve -2*k = -2*v - 14, -4*k + v + 21 + 1 = m for k.
5
Let c = -1 - -6. Solve c*o + 3*l = 9, -3*l = 2*o - 0*o for o.
3
Let a = -12 - -12. Let d(j) = j + 9. Let g be d(-7). Solve 2*x + o = -11, -g*x + 4*o = -a - 14 for x.
-3
Let d be -2 + 3*4/6. Let j = -1 - -23. Solve -5*k + d*i - j = -3*i, 0 = k - 2*i + 3 for k.
-5
Let r(p) = 5*p**2 - p - 1. Let z be r(-1). Solve 0 = z*a + 5*u, 2 + 3 = -5*u for a.
1
Let z be 3 - (3 - 2 - 3). Solve -3*j + 3*i = -5 - 4, z*i = 4*j - 14 for j.
1
Let j(i) = -i**3 + 7*i**2 + 8*i + 4. Let q be j(8). Solve 2*k = -5*s - 3*k + 35, q*k = -2*s + 18 for s.
5
Let u be 2/(-6) - 140/12. Let o(d) = -d**3 - 11*d**2 + 10*d + 8. Let c be o(u). Suppose -4*a = -2*a - c. Solve a = -5*p - 5*k - 19, 3*p - 4*k = 0 for p.
-4
Suppose 19 = 3*l + 1. Solve -s + 15 = -5*i, -s + 3*s = i - l for i.
-4
Suppose -5*g + 10 = -5. Let c = 4 - 3. Let l = g + c. Solve -m + 3 = x, 4 = l*m - 0*x + 2*x for m.
-1
Let q = -1 + 8. Let h = 7 + -2. Suppose h - 3 = d. Solve d*p - x = 7, -3*x - 4 - q = -p for p.
2
Suppose -5*i = -25, -3*i - 95 = -4*u - 2*i. Solve 5*h + u = -5*s + 3*h, -s - 5*h - 28 = 0 for s.
-3
Let r be -3 - (-6)/1 - 3. Suppose -4*q + 0*q = r. Solve n + l = 2*n + 2, q = -5*n - 2*l + 25 for n.
3
Let w(i) = -i**2 - 9*i - 12. Let p be w(-7). Suppose -2*m = -3*j - 28, 0 = p*m - j - 24. Solve -b + 13 = 5*t - m, -5*b = t for b.
-1
Suppose -2*i + 2 = -4. Suppose -i*l = -7*l + 20. Suppose -2*o + 1 + 17 = 0. Solve 0 = -4*w - l*u - o, 17 = -2*u + 7 for w.
4
Let y = 23 + -10. Solve 5*v - 3*l + 12 = 0, 7*l - 3*l = -3*v - y for v.
-3
Let j(u) = -u**3 - 8*u**2 - 9*u - 10. Let n be j(-7). Suppose -y - 3*y = -n. Let v be (-5)/(0 - (0 + y)). Solve 4*r + 13 = -5*d - 12, -r = v*d + 10 for r.
-5
Suppose -4*s + 5*i - 6 = 0, 0 = -3*s + 3*i - 2 - 1. Suppose -d = 2*d. Solve g = -c + 1 + s, d = -5*g - 3*c + 8 for g.
1
Let n(g) = -2*g. Let p be n(-1). Suppose -2*a = p*v - 0*a - 16, -3*v + a = -12. Solve l - q - 10 = q, 5*q = v*l - 30 for l.
2
Let w be 1*6*(-8)/(-12). Suppose 0 = -4*d + 5*r - 5 - 7, 2*d - 2*r = -w. Solve 2*b + 3*j + 6 = 0, d*j = -3*j for b.
-3
Suppose 0 = 5*x + 32 - 72. Solve 5*o - o = x, 0 = 5*w - 3*o - 4 for w.
2
Let w(d) = d + 10. Let l be w(-6). Suppose -5*q + 0*q - 3*b + 21 = 0, -5*q = 4*b - 18. Solve l*u - 5*y + 36 - 9 = 0, q = 2*u + 4*y for u.
-3
Suppose 5 = n + 1. Let j = 9 - n. Let v be 3 - 1/(-3)*0. Solve v*f - 35 = 4*p, -j*f + 15 = 3*p - p for f.
5
Let o(n) = 12*n**2 + n. Let j be o(1). Let v = j + -10. Solve v*d + 2*h = 7, -2*d + 2 = -2*h - 6 for d.
3
Let c be 2 + 3/1 + 20. Solve -5*s = 5*y + c, 4 = -2*y - s - 3 for y.
-2
Let l = 23 - 21. Solve -3*x - 6 = l*u, 3*x + 5*u = -2*x - 15 for x.
0
Let u(s) = -s**2 + 8*s - 9. Let l be u(6). Suppose -2 - 4 = -l*k. Solve 27 = 5*c + k*i, -4*i + 0*i - 21 = -5*c for c.
5
Let u be -10*2/(-3)*-3. Let z = 37 + u. Solve -p + z = 4*c, -4*c + 14 = 4*p - 6*p for p.
1
Let r(d) = -d**2 + 4*d. Suppose -i + 2*j = -10, -i + 6 + 4 = -4*j. Let w = -7 + i. Let f be r(w). Solve 2*c = f*q + 10, 0 = -4*c + 2*q + q + 14 for c.
2
Suppose -3*w = -j + 31, -5*w + 108 = 4*j - w. Suppose 5*s = 12 + j. Solve -2*k - s = -2*t, -3*t - 4*k = t - 16 for t.
4
Let x(t) = -t**2 - 10*t - 12. Let u be x(-8). Solve 0 = 4*r - 5*l + 14, -2*l + 5*l - 2 = -u*r for r.
-1
Let z be (8/12)/(1/(-3)). Let v be 2 + z + 1*34. Let t = v - 20. Solve 5*m + 3*g - 8 = -26, 4*m + t = -2*g for m.
-3
Let q(g) = -g**3 - 8*g**2 + 2. Let v be q(-8). Suppose 0 = w + 3, n + w + 8 = v*n. Solve 0 = -a - 3*p - 12, n*a = 3*p + p + 16 for a.
0
Let h be (4/(-6))/((-24)/108). Solve -h*m + 1 = 4*k + 8, 0 = 2*k - 3*m - 19 for k.
2
Suppose -p = -4*g + p + 18, 5*g = -4*p + 55. Suppose 2 - g = -r. Solve -r*a = f - 16, a - 7 = 2*f + 5 for a.
4
Suppose -7*i - 7 = -8*i. Solve 4*t - 5*x - 3 = 0, x - i = -t - 4*x for t.
2
Suppose 4*p - 2*p - 4 = 0. Suppose 5*l - 41 = -3*y, -2*y + y = p*l - 14. Solve 0*g + 3*a = -5*g + y, 2*a - 1 = -g for g.
3
Let x be (0 - -19) + (-2)/2. Suppose -4*o + 2*o = -x. Let i = -8 - -13. Solve 2*z = -i*u + 13, 5*z - 3*u + o = -5 for z.
-1
Suppose -2*j + 13 = -3*v - 3, -4*v = -4*j + 24. Solve 3*n - 5*f - 16 = 7, 4*f = j*n - 18 for n.
1
Let u = 0 + 82. Let f = 127 - u. Solve 14 = l - 4*n - 1, -4*l = 5*n + f for l.
-5
Let n(m) = -2*m - 2. Let k be n(-2). Suppose -3*x + 5*t + 31 = -x, k*t - 5 = -5*x. Solve -2*c - 10 = -2*b - 3*b, c = x*b - 6 for b.
2
Let t(p) = -p**2 + 10*p - 7. Let j be t(9). Let k be j/(-6) - 128/(-6). Solve k = 4*b + 5, 5*l = -5*b for l.
-4
Let a(w) = -3*w**2 + 14*w - 6. Let v be a(4). Solve 3*d - 10 = 4*f + 6*d, -4 = -v*d for f.
-4
Let p(q) = q**2 + 4*q - 1. Let m be p(-5). Let r = 56 + -39. Suppose -2*z = 3*w - 13, -5*z - w - 4 = -r. Solve 5*g - 3*g - 10 = m*i, -5*i - z*g = 35 for i.
-5
Suppose -1 = -o - 0. Let z(h) = 3*h. Let f be z(o). Suppose 2*w = f*w - 3, -3*k + 21 = 4*w. Solve -3*r + 10 = k*a - 7*r, -r - 4 = 0 for a.
-2
Let b(l) = -l + 6. Let w be b(2). Solve -c = -w*d + 19, -4*c + 0*c = 3*d for d.
4
Let v be -7*(66/(-14) + -3). Let d = -36 + v. Solve 0*s + s = -5*w + 2, 5*s - 3*w + d = 0 for s.
-3
Suppose -7*v = -6*v + 4. Let g = v - -8. Let o be 15 + 1 + 1 + -1. Solve 4*c = -5*y + o, -15 = -5*y - g*c - c for y.
4
Let x be ((-5)/(-3))/(30*7/756). Solve -3*b - j + x = -0*j, b = 3*j - 8 for b.
1
Let y(c) = c + 0*c + 0 - 1 - 4*c. Let n be y(-1). Solve 4*o - 3*u = n*o + 25, -5*u = 25 for o.
5
Let l(i) = 14*i - 12. Let v(t) = -t. Let m(u) = l(u) + 12*v(u). Let d be m(6). Solve -12 = -p - 3*r, -5*p + p - 4*r + 16 = d for p.
0
Suppose -6 - 3 = y. Let p(r) = 0*r**3 + 1 - r + 9*r**2 + 0*r + 0*r**3 + r**3. Let j be p(y). Solve t = 2*o - j, 3*o + 5*t = -1 + 3 for o.
4
Suppose -b - 10 - 8 = 0. Suppose 26 = -2*s + s. Let v = b - s. Solve 3*k = 2*r - 18, 2*r = 3*k - v*k - 14 for r.
3
Suppose -2*l = -f, 2*f - 8 = -2*l - f. Suppose 0*z - 5*z = 5, -z - l = -4*r. Solve 4 = b, r*h - 4*h = 2*b - 8 for h.
0
Suppose 4*b - 1 + 5 = 0. Let n be b*(-2)/(-1)*1. Let c be -3*n/6*2. Solve -4*h - m + c = 0, -m - 3 = -h - 0 for h.
1
Let i be -11 - -15 - (1 + 2). Suppose -3*l + i = -5. Solve 0 = y + v + 5, y - 3*y + 2*v = -l for y.
-2
Suppose 5*b + 12 = 2*b, -4*r - 2*b = -136. Suppose 2*i = -v, -2*v + r = 2*v - 4*i. Let t = -5 - -7. Solve -l = -t*d, -v*d = -3*d - 5*l for d.
0
Let b = -5 - -9. Solve 0 = 3*u + 2*u + l - b, 0 = -2*u + 2*l - 8 for u.
0
Let n be (-2)/((9/12)/(-3)). Let r be (0 - -2)*1 - 5. Let c be (r - -2)*(-1)/1. Solve 0 = -5*t + 10, -k = 2*t - c - n for k.
5
Let i be 4/(-3)*(-6)/4. Let z(w) = -w**2 - 3 + 6*w + 5*w**2 + 8 - 2*w**2. Let f be z(-4). Solve -5*r + o - 1 = f, i*r - 2*o = -4 for r.
-3
Let s(y) = -y - 6. Let n be s(-9). Let p = -1 + 6. Suppose -4*v = 4*h - 8, p*h + v - 18 = -0*v. Solve n*z + a + 6 = -2*z, 0 = -z - h*a - 5 for z.
-1
Let v(s) be the second derivative of -s**4/12 - s**3 - 3*s**2 + s. Let o be v(-4). Solve -p - 8 = 3*i, -4 = -5*i - o*p - 18 for i.
-2
Let g(w) = 2*w + 2. Let x = 8 - 3. Let z be g(x). Suppose 3*i + 2*t + 3 = z, 21 = 3*i - 2*t. Solve 0 = u + 4*l, 0 = -3*u - i*l + l for u.
0
Let c be 4*(-2 + (-3)/(-4)). Let v be (c/(-10))/(2/96). Let l = v - 14. Solve -2*q + 4*d = l, 9 = -6*q + 3