-f = -z for z.
5
Let u be (-176)/(-10) + 4/10. Let r be 5*((-6)/2 + 17/5). Suppose 0 = -0*t - t + 3. Solve -3*y = -3*b + u, 2*y + r*y + 3 = -t*b for y.
-3
Let s(t) = t**3 + 7*t**2 - 9*t - 3. Let a be s(-8). Let g(h) = 5 - 4*h + 2 + h + 2*h. Let z be g(a). Solve 5 = 5*q + o, -4*o - 3 = -3*q - z*o for q.
1
Let k = 52 + -46. Solve -4*f - k = 3*c + 6, -15 = 5*f for c.
0
Suppose 0 = -2*n + 6*u - u + 10, -4*n = u + 2. Suppose n*v + 7 = -v - 4*m, -37 = -5*v + 4*m. Solve 5*l - 3*x - 17 = 0, -4 = -v*l + 3*l + 4*x for l.
4
Let s(z) = -z. Let q be s(-2). Solve 5 = r + j + 1, -4*j = q*r - 10 for r.
3
Let h = -43 - -45. Solve 3*y - 8 = 4*s - 1, -h*s = -4 for y.
5
Let g be (30/4)/((-1)/2). Let z be ((-2)/(-3))/(-1)*g. Suppose -5*m + z = 0, -3*m = 4*q - 2*m - 46. Solve -3*p = 3*a, -2*a = -2*p - q + 27 for a.
-4
Let i(w) = w + 2. Let s be i(2). Let j = 6 + -1. Solve 0 = g - 4, j*q = -s*g + 25 + 6 for q.
3
Let r(w) = 3*w - 5. Let b be r(3). Solve 4 = b*c, n = 2*n + 5*c for n.
-5
Let y be ((-8)/(-14))/((-2)/(-7)). Suppose -y*f - 2*f + 12 = 0. Solve 3*a = -4*q - 26, -f*q = -4*a + 3 + 4 for q.
-5
Let y(k) = -k**3 + 2*k**2 + 2*k + 3. Let x be y(4). Let n = x - -31. Solve b - 3*b + n = 4*g, 0 = 4*g + 4*b for g.
5
Suppose -21 = -3*c - 3*i, -3*c - 2*c = 3*i - 31. Let u = 2 - c. Let m be 18/(-12)*2/u. Solve 0 = 2*q - 8, -5*o + m = -q - 0 for o.
1
Let j = 0 + 2. Solve h + c + j*c = -11, 0 = -2*c - 6 for h.
-2
Let w be (-8)/(-14) - (36/14 - 2). Solve 0*m - 5*m + 5 = 0, d + 2*m - 6 = w for d.
4
Suppose -4*g + u = -24, -5*g + 29 = -0*g - u. Suppose 3*w - g*d = -16, 2*d = 3*w - d + 6. Solve w*k = 4*a + 23, 0 = -2*a - 3*k - 7 for a.
-5
Suppose j = -j - 10, -3*a + j = -92. Solve 5*b - 2*b + a = -5*q, b + 11 = -2*q for b.
-3
Let n(u) = u**3 + 4*u**2 - 5*u + 4. Suppose -2*c = -5*h - 31, 3*h - 2*c = -24 + 3. Let k be n(h). Solve 2*q + 22 = k*f, -5*f = 3*q + q - 21 for f.
5
Let o(k) = 2*k - 17. Let x = 21 + -11. Let s be o(x). Solve 0 = 3*a - 2*w + 1 + 6, -s*a + w - 5 = 0 for a.
-1
Let w be (-4)/(-14) + 66/14. Let x(j) = -j**2 + 4*j + 2. Let p be x(0). Solve -29 = -p*d + d - w*v, -v - 3 = -2*d for d.
4
Let p = 3 + 2. Suppose 5*f = 3*q + 35, 4*f + p*q = -f - 5. Solve 4*j - 7 = -5*l, 3*l - 3*j + f = 19 for l.
3
Let q be (-12 + 46)/(2/1). Solve 2*i - x = -3*i - q, -5*x - 19 = i for i.
-4
Let i = 88 - 88. Solve -m = 4*b - i*m + 8, b + 3*m = -13 for b.
-1
Let c = -16 + 9. Let a = 16 - c. Solve 2*j - 15 = 5*v, -2*v + 6 - a = -3*j for j.
5
Let v be (-66)/8 + (-9)/12. Let t(h) = h**2 + 8*h + 11. Let w be t(v). Solve 4*z = f + w, -5*f + z - 5 = -0*z for f.
0
Let s = 83 - 82. Solve -11 + s = 5*m + 5*c, m + 14 = 5*c for m.
-4
Suppose 0 = -0*g + g + 4. Let k(i) = i + 7. Let f be k(g). Suppose f*l - 4 - 5 = 0. Solve -l*r + r = -5*h - 3, h = 4*r - 15 for r.
4
Suppose 0*s + 41 = 4*k - s, 0 = -k + 2*s + 5. Suppose 0*r - k = -2*r - v, -4*r - v = -17. Solve 3*l + d = -0*l - 11, -r*l - 4*d + 1 = 0 for l.
-5
Let w = -28 + 19. Let s = -1 - w. Solve 2*n = -0*h - 2*h - s, -4*n = 3*h + 14 for n.
-2
Suppose -3*a = 4*b + 23, 2*a + 8 + 10 = -4*b. Let n be 6 - 0*b/(-4). Let s = n + -4. Solve 0*p = i - s*p + 6, 31 = 4*i + 3*p for i.
4
Let u(x) = 4*x - 25. Let b be u(7). Solve -5*q + b*m + 5 = 0, 3*q + q + 5*m - 41 = 0 for q.
4
Let m be -2 + -2*(1 - 2). Suppose 4*v + 8 = -5*j, 2*v - 5*v + 3*j + 21 = m. Solve -r + 1 = -z - 3*r, v*z - 2*r = 5 for z.
1
Let d be 14*(-1)/2*-1. Suppose 2*q = -3*t + t - 2, -2*q - 8 = 0. Let r = -851 + 855. Solve r*y - 8*y = -f - d, f + 4 = t*y for y.
3
Suppose -8*r + 15*r - 35 = 0. Let x = 6 + -1. Solve -10 = -x*i - w, -r*i - 6 = 4*w - 1 for i.
3
Suppose 2*i + 4*t = -16, 2*i - 4*t - 16 = i. Solve -2*h + 2 = s - 8, 3*h + 2*s - 17 = i for h.
3
Let s be ((-6)/4)/((-31)/186). Solve 2*y = -w - 6, 3*w + 5*y + 4 = -s for w.
4
Suppose -3*l + 3*z = -0*z - 15, -5*l - 3*z + 65 = 0. Let s(u) = u - 10. Let t be s(l). Solve 5*i - 6 - 12 = -4*j, j + 2*i - 6 = t for j.
2
Suppose -3*x - 7 + 35 = y, 2*x + 8 = y. Solve 2*i - 4*h + 0*h = -y, h - 5 = i for i.
-2
Suppose -3*b + 8*b - 10 = 0. Suppose 3*d + 50 = 13*d. Solve -x + 5*x + b*q = 4, 0 = d*x - 2*q - 5 for x.
1
Let q be 1 - -2*4/8. Suppose q*g - 4*g = 0. Solve 4*p + g - 1 = -5*c, 3*c - 3 = -3*p for p.
4
Let y be 0 - (-2)/((-4)/(-6)). Let q be (-8)/3*(-6)/4. Let m be 0/((-3 - -1)/(-1)). Solve -2*k + 7 = q*x - k, m = -4*x - 3*k - y for x.
3
Let d be ((-14)/(-28))/(2/12). Suppose -f - d - 11 = -3*b, -20 = 4*f. Solve -3*k - b*s - 2 = 1, 3*k + s = 3 for k.
2
Suppose 0 = -4*n - 8*n + 36. Solve -5*y + 22 = -n*k, -y = 2*k + k - 8 for y.
5
Let i be (-1)/((-2)/(-6)*-1). Suppose 6*t - 13*t = -42. Solve i*s - 10 = -5*x, -3*s - t = -3*x - 8*s for x.
2
Suppose 5*f + 16 = -2*l, -5*f = -5*l + l - 2. Let h be l/2 + 4/8. Let g be (7 + -4)/(h - -2). Solve -4*v = -z - 2, -g = -4*v + 3*z - 5 for v.
1
Suppose -23*a + 21*a = -18. Solve 4*j - 6 - a = 3*s, -5*j - 20 = 4*s for j.
0
Suppose -3*h - q + 36 = 0, h + q - 4 = 10. Solve -4*f - 4 = 4*w, -3 = 5*f + 2*w + h for f.
-4
Let c(l) = -3*l + 21. Let g be c(0). Solve g = -7*s + 3*s + 5*t, t = 1 for s.
-4
Let k = 27 - 12. Suppose 7*w - 2*w - 10 = 0. Let f be 2 - (1 + (-6)/w). Solve -f*y + k = 3*i, -5*y = -y + 5*i - 25 for y.
0
Let k(a) = -3*a - 19. Let l be k(-6). Suppose -3*n = -4*v + 10, 2*n - 12 = 4*n - 4*v. Let p be (2 + l + 0)*n. Solve -s = -p, -3*s + 5 = -3*u + s for u.
1
Suppose -v + 0 + 2 = -g, -5*v - 2*g + 24 = 0. Solve 4*f - v = -4*n, 2*n = 4*f + 19 + 7 for n.
5
Suppose -3 + 15 = -2*s. Let n = 2 - s. Solve 8*w = 3*w + 2*z - 10, 0 = -4*w - 2*z - n for w.
-2
Let z = 23 + -9. Let j be (0 - 4)*(-1)/2. Suppose s + 3 = j*s. Solve -2*q = s*y - z, 0*q + 12 = 2*q + 2*y for q.
4
Suppose 4*q - 5 = -q. Let b be (-2 - q) + -4 + 7. Solve b*r = -3*o - 3*r - 6, 2*r = 4 for o.
-4
Suppose -10 = -5*d + 10. Solve 0*r = -r - d*y + 15, -5*y + 40 = -3*r for r.
-5
Suppose 2*o - 5*o = -12. Solve 4*m = -5*s - 4, o*s = 2*m + 8 - 32 for m.
4
Let n be -24*(-3)/((-9)/2). Let t = n + 24. Let k(d) = 2*d - 10. Let a be k(7). Solve 0*m - m = 5*l + 23, 0 = a*m - t for l.
-5
Suppose -6 = -4*s - 3*j + 3, 4*j + 16 = 4*s. Let r be (-1 - -4 - 8)*-1. Suppose 0 = r*a - 21 - 4. Solve -k + 2*k - o = s, a*k = -o + 9 for k.
2
Let g(i) = i**2 + 6*i + 4. Let l be g(-5). Let f be (10/(-25))/(l/10). Suppose -4*k + f = -4. Solve 3*o + k*x = 5*o + 2, 0 = 4*o - 5*x for o.
-5
Suppose -3*x = -x. Suppose 4*j - 13 + 1 = x. Solve s = 2*n, j*s + 12 = -0*s for n.
-2
Suppose 12 = 3*d + d. Let v = 2 + 3. Suppose -3*l + 27 = 3*k, -5*l - 5 = -3*k - 2*k. Solve b = -2*w + d + 2, v*b + k*w - 5 = 0 for b.
-3
Let t = 11 + -9. Suppose 1 + 4 = -5*s - q, -s + 10 = -t*q. Solve w - 13 = -3*i + 4, -3*w + 6 = s for i.
5
Let m be 4/16 + 1/(-4). Let s = 2 - m. Let n = 2 + s. Solve 0 = 5*t + 5*f + 5, n*t - 3*f = -8*f - 2 for t.
-3
Let c(l) = -l**3 + 3*l**2 + l - 4. Let f be c(2). Solve -4*j + 4 = -5*a, -f*j + 5 - 1 = -3*a for j.
-4
Let x be 2/(-12) + (-713)/(-138). Solve -4*h - 24 - 12 = x*f, 0 = h + f + 8 for h.
-4
Let z = -75 - -78. Solve -s - z*x - 14 = 0, 3*s + 2 = -5*x - 20 for s.
1
Let p be (-4)/(-2)*(-54)/(-12). Suppose 0*j = j - p. Solve -3*v + 2*n - j = -2*n, 0 = -3*v + 2*n - 9 for v.
-3
Suppose 0*g + 5*o - 1 = -3*g, o - 1 = -g. Suppose 0 = 3*s + f - 4 - 12, -5*s + 32 = 3*f. Solve 3*b + g*j - 6 = 4*b, s*b = j - 3 for b.
0
Let f(t) be the third derivative of t**6/120 - t**5/20 + t**4/6 - t**3/3 - 4*t**2. Let p be f(2). Solve -2*a + v + 11 = a, 3*a - p*v = 13 for a.
3
Let z be 6/15 + (-17)/5. Let l be 1 - (-8 - z - -2). Solve -b - 2*v = -5, l*b - 5*v + 27 = -18 for b.
-5
Let a(q) = 12*q**2 + q - 1. Let c be a(1). Let u be ((-10)/6)/((-5)/(-30)). Let f be (-4)/(-10) - 46/u. Solve c = -3*o, f*m - o + 7 = 36 for m.
5
Suppose -11*m + 15 + 29 = 0. Solve 8 = -m*l, -2*p + 3*l = -l - 4 for p.
-2
Suppose -26*h = 3*s - 30*h - 42, -3*h - 39 = -3*s. Let f be 5/(3 + -2) - 2. Solve 5*b - 4*b + 5*t = s, 0 = -b - f*t + 6 for b.
0
Suppose 0 = 5*v - 31 + 6. Let d(j) = -j**2 - 7*j - 7. Let c be d(-5). Let z = 3 - c. Solve -25 = v*l - 5*s, 0 = -5*l - z*s - 2*s - 25 for l.
-5
Let q(v) = -8*v - 1. Let w be q(-2). Solve -3*b = w, 3*l - l - 2*b - 4 = 0 for l.
-3
Let w(b) = b**3 + 10*b**2 - 3*b - 15. Let a be (-3)/(2 - 34/20). Let m be w(a). Solve -5*t = m, -3*r - 2*t - 6 = -0*t for r.
0
Suppose 0 = -w +