*y - 8 = b for y.
4
Suppose 2*f = 4*f - 10. Solve -3*l + 6*s - s = -19, 0 = f*l - 3*s - 21 for l.
3
Let p be (2/(1/1))/1. Let o be p/(-5) + 114/10. Suppose -u + o = -2. Solve -3*v + 6*q - 2*q = -31, 3*q - u = -5*v for v.
5
Let y(w) = -w**2 + 8*w - 9. Let a be y(6). Solve -a*k - 2*r = -4*k, r = 1 for k.
2
Let q(u) = -u**2 - 6*u + 5. Let o be q(-6). Solve 0 = -4*t - o*s - 13, -3*t + s = -0*s + 5 for t.
-2
Let k(f) = f**2 + 5*f. Let z be k(-5). Let l = -5 - -8. Let c be (-2 - -7) + 0/(-1). Solve -c*u + l*j = -14, -j - 3 = -z*j for u.
1
Let i = 0 - -3. Suppose -3*u - i = -4*u. Let x(v) = 8*v**2 + v + 2. Let r be x(-1). Solve -u*g + 7 = 4, 0 = 5*p - 4*g + r for p.
-1
Suppose -2*y = y - 12, 3*b = 3*y - 3. Suppose -2*c + 5 = b. Solve 3*r = g + 3*g - c, 0 = -r - 3 for g.
-2
Let i(g) = -g**3 - 2*g**2 + g - 3. Let l be i(-3). Suppose -l*r + 6 + 6 = 0. Solve 0 = -s - r*o + 6, s + 4*s + 8 = -o for s.
-2
Let n be 2*(-3)/2*-1. Suppose 0 = -2*w - 5*c + 4 - n, -3*w - 5*c = -4. Solve -w*b - 4*p = 1, -2 = -3*b + 2*p + 3 for b.
1
Let z(k) = k**2 + 8*k + 7. Let j be z(-7). Let m(i) = j + 0*i + 2*i - 2. Let q be m(2). Solve 0*y + 4*t - 4 = -4*y, 4*y = q*t + 22 for y.
4
Suppose 4 = -7*v + 8*v. Suppose -165 = -9*a + v*a. Suppose 0 = -y + 3*y + 2, -3*m + a = -3*y. Solve -5*d - 2*u - m = 0, -25 = 5*d + u + 4*u for d.
0
Let x(r) = -2*r - 6. Let w be 22/(-6) + 1/(-3). Let j be x(w). Solve -j*y - 20 = 3*b + b, 5*b + 4*y + 28 = 0 for b.
-4
Let p = 14 + 6. Let s be ((-3)/5)/((-3)/15). Solve s*x + 3*v = -v - 20, 4*x + 2*v = -p for x.
-4
Let g be (-7)/((-42)/4)*3. Suppose 0 = 5*s - g*u - 17, 3*s + 2 = -u + 21. Solve -3*z - s*p = -2*p - 3, -p + 5 = 0 for z.
-4
Suppose 9*w - 4*w = 260. Let z = 81 - w. Solve -3*n + 7 = 4*r, -r + z = -3*n + 4*r for n.
-3
Let o = -20 - -22. Solve -q + o = 2*c, 7*c - 28 = 3*c + 4*q for c.
3
Let g(q) = -q**3 - 6*q**2 - 2*q + 7. Suppose 2*r + n + 6 = -8, 0 = -r + n - 1. Let c be g(r). Let w = -5 - c. Solve 0 = w*i - 3, 0 = a - 4*i + 1 for a.
3
Let w be (-2)/2*(1 - 1). Suppose -2*k + 10 = -w*k. Solve 6 - 4 = 2*d + 2*x, 2*x - 5 = -k*d for d.
1
Let p(m) = 1. Let h(r) = r + 5. Let f(k) = h(k) - 6*p(k). Let j be f(4). Solve 2*i - 5*g = -21, 3*g - 22 - j = -5*i for i.
2
Let w = 7 - 4. Suppose 2*y = -y + w. Solve -3*r = 5*l - 4*r - 3, 3*l - 2*r = -y for l.
1
Suppose 3*q - 4*y - 104 + 44 = 0, 2*q - 39 = 3*y. Let l = -5 + q. Suppose -3*p + 24 = 3*d, -4*p = -4*d - d - 5. Solve -l = -5*h - o, -h - 3*o = -p - 10 for h.
3
Let j be (2/(-6))/(3/(-18)). Suppose -6 = -2*l + j. Solve -y - 11 = -l*p, p + y = 2*y + 5 for p.
2
Let s(c) = c + 2. Let k be s(-2). Suppose 2*d - 24 = -k*d. Let n(y) = -2*y - 4. Let h be n(-3). Solve 3*p - 4*z + 4 = -0*z, h*p = 5*z - d for p.
4
Let c(h) = -h - 2. Let a be c(-3). Let n be a*(5 - 0) - 0. Let y(w) = w**2 + 10*w + 11. Let u be y(-9). Solve -4 = u*v - 3*i - 3, 34 = -n*v - 3*i for v.
-5
Let p be (-1)/6 + (-124)/(-24). Suppose p*u - 23 - 27 = 5*s, 0 = -4*u + 2*s + 30. Solve -3*h - h + 8 = -4*n, -n = u*h + 2 for h.
0
Suppose 4*f = 5*f. Suppose -5*a - 3 + 0 = -v, f = -a + v + 1. Let i be (2/(-4) - a)*4. Solve 2*u - 3*z + 3 = 0, -2*z + i = u + 3*u for u.
0
Let a = -23 + 25. Solve 2*o + 4*j = 12, a*o - o + 5*j - 9 = 0 for o.
4
Suppose -5*l = -l + g - 19, 3*g - 9 = 0. Suppose -3*o + l = -8. Solve -3*d - 7 = 2*a + 3*a, 0 = -2*d - o*a - 6 for d.
1
Suppose -7*y + 10*y - 12 = 0. Solve 0 = 2*t - 3*v - 1, 0*t = y*t + v + 5 for t.
-1
Let z = 10 - 4. Let v = 11 - z. Solve -4*x + 5*x + v*f + 2 = 0, 4*x = 4*f - 8 for x.
-2
Let a be (-6)/(-15) + 8/5. Suppose 2*l + t + 2*t + 7 = 0, 18 = a*l - 2*t. Solve 5*u - l*n + 4 = 0, 0 = 3*u - n - 3*n + 4 for u.
0
Suppose 0 = -b - 7 + 9. Solve b*j + 14 = -2*o, 0 = -o - 2*o - j - 17 for o.
-5
Let i = 5 - 1. Let t = 7 - i. Solve n = -p + t, 5*p + 0*p - 7 = -3*n for p.
-1
Let b be -3 - (56/(-10) + (-12)/(-20)). Solve w + k + 15 = -4*k, 0 = -w - b*k - 9 for w.
-5
Let d be 2 - 1/(-1) - (-1)/1. Solve y = -y - o - 5, -d*o = -2*y + 20 for y.
0
Let g = -87 - -93. Solve 0 = -f - v - g, -v - 12 = -0*f + 4*f for f.
-2
Suppose -12 = 2*l - 4*l. Let c be 3/((-5)/((-20)/l)). Suppose 3*f + c*f - 30 = 0. Solve 2*n - 2*m = -4, -2*n + f*n - 5*m + 6 = 0 for n.
-4
Suppose -3*f + 5 = -2*f. Suppose -7 + 32 = f*y. Suppose 0 = -4*n - o + 45, -4*n + 5*o + 73 = 10. Solve 0 = 4*a + 2*p - 14, -a + n = y*p - 14 for a.
1
Suppose t - 6*t = -30. Solve 3*w - 23 = 6*j - j, 2*w = -2*j - t for j.
-4
Suppose -2*w + 12 = 8. Solve 0 = -w*r - 2, -5*n + r = -4*r + 15 for n.
-4
Suppose -5*m - 2*x + 55 = 1, m = 5*x. Suppose -2*l = -6*l. Solve -2*f - 4*h = -l*h - m, 2*f + 15 = h for f.
-5
Let z(m) = m**2 + m - 6. Let t be z(-5). Suppose 3*k = -2*c + 20, -5*c + t = -k - 19. Solve -5*x - 11 = -4*q, -3*x = -q + 2*q - c for q.
4
Suppose 0 = 2*w - 1 - 1. Suppose -p + 95 = -5*m, -2*p + 25 = 3*p. Let t be (-1)/(m/15 + w). Solve -23 = u + 5*z, -t*u = -z - 3*z - 1 for u.
-3
Let k(w) = -w**3 + 15*w**2 + 2. Let n be k(15). Let j(f) = 2*f - 4. Let o be j(5). Solve n = -m - 1, 3*r - m = -o for r.
-3
Let r(t) = -t**3 + 12*t**2 + 5. Suppose 3*g - 4*g + 15 = 3*y, 4*g + 5*y - 53 = 0. Let h be r(g). Solve -h*d + 6 - 21 = -5*j, -j = 2*d - 9 for j.
5
Let f(w) = -w**3 - 3*w**2 + 3*w - 4. Let b be f(-4). Suppose b*n - n = -3. Solve 7 = -4*m + m - 2*i, -m - n*i + 7 = 0 for m.
-5
Suppose 5*f - 7 - 3 = 0. Suppose 92 = 5*g + 2*i, 0 = -3*g + 2*i + f*i + 76. Solve 3*d - 4*d = 5*y - 4, -5*d = -y - g for d.
4
Suppose -5*n + 30 = 5*f, -4*n = -4*f + 2*f - 6. Solve -m - 7 = f*u + 3, -5*m + 25 = 0 for u.
-5
Let a be 2/(-8) + (-42)/(-8). Suppose -4*y + 7*y - 120 = 0. Solve k - 5*o - 5 = 5*k, -3*o = -a*k + y for k.
5
Let n be (-2 + (-6)/(-3))/2. Let f be 10 + (n - 0 - 0). Suppose -3*j + f = 2*j. Solve 0 = 3*k + z + 10, -5*k + z = -j*z - 2 for k.
-2
Let n be 1/4 + 262/8. Suppose -n = -4*c + 51. Solve -5*v + 0*j + c = 2*j, 2*v = -j + 8 for v.
5
Let h be 12/16*4 - -20. Solve -n + h = 5*a, 18 = -4*n + 4*a - 10 for n.
-2
Let x(f) = -4*f - 4. Let c(r) = r**3 - 15*r**2 - r + 13. Let b be c(15). Let y be x(b). Solve -s = h - 2*s, -y*h + 15 = -s for h.
5
Let b be (-47)/(-3) - (-3)/9. Solve -5*t = -2*q + 14 + b, 0 = 4*t - 3*q + 31 for t.
-4
Suppose 99 = 2*c + 7*c. Solve 5*s - c - 13 = k, -4*s = 3*k - 23 for k.
1
Let t be 4/(-6)*(-858)/44. Solve 0 = 2*a - n + 1, -2*a = -0*a + 3*n + t for a.
-2
Let v(z) = z**2 + 6*z - 7. Let j(q) = 3*q**2 + 11*q - 15. Let c(a) = 2*j(a) - 5*v(a). Let w be c(8). Solve 4*g - w*l = -l - 16, 22 = -3*g + 5*l for g.
1
Let g = -45 + 66. Suppose -4*z + g = 9. Solve c - 1 = 2*w, 3*c = z*w + w + 3 for c.
1
Let u be 15/2 + 3/(-2). Suppose -p - 4*p = -20. Solve j + 3*x + u = 4*j, 0 = -2*j + x + p for j.
2
Let a(q) = q**2 + 3*q + 10. Let v be a(-4). Solve 5*f - 4*r = -9*r, -2*f + 5*r = -v for f.
2
Let i(z) = z**2 - 5 + 1 + 2*z + 3. Let y be i(2). Solve -4*n - r + y = -n, -3*n = -2*r - 22 for n.
4
Let c(x) = x**3 - 9*x**2 - 9*x - 6. Let w be c(10). Solve -w*i + 17 = 3*r, -5*i + 5*r + 30 = -0 for i.
5
Suppose c + 164 = 5*c. Suppose c + 9 = 5*k. Solve 0 = 4*n + v - k + 2, 3*v + 18 = 2*n for n.
3
Suppose 2 = a, -q - 2*a + 13 = -0*a. Solve 0 = -4*n - 3*z + q, -5*n - 2 + 15 = 2*z for n.
3
Let g be (-6435)/(-275) - 3/(-5). Let b(l) = 2*l**3 - 4*l**2 + 4*l - 3. Let u be b(2). Solve -3*r + g = 4*c + r, -u*r = -4*c - 21 for c.
1
Suppose 4*u = 15 - 3. Let l be 1/(0 - 1)*-6. Solve -u*y = 2 - 8, 0 = -2*x + 2*y + l for x.
5
Let g(m) = m**3 + m**2 + 2*m + 2. Let s be g(-2). Let h = 8 + s. Solve 13 = c - 3*i, h*i + 3*i + 15 = -5*c for c.
1
Let g be ((-2)/(-5) - 65/(-25))/1. Solve -2*o + 11 = -4*m + m, -g*m = o - 1 for m.
-1
Suppose 2*z + 2 = 3*w + 4, 2*w = 4*z - 4. Solve t - 9 = -3*x, 2*t - t + x - 1 = w for t.
-3
Let s = -4 - -7. Suppose -2*r = s*r - 20. Suppose 2*f - 2*k = -6*k - r, -2 = k. Solve 5*v - 5 = -5*a, -4*v - 6 = f for a.
3
Let z(f) = -f**2 + 11*f - 13. Let r be z(11). Let o = -11 - r. Solve o*p - 9 = -5*x + 6, 4*x + 21 = 5*p for p.
5
Suppose -5*y + 2*v = -2*v - 116, 2*y = -3*v + 28. Solve -k + 6*k - 25 = 2*x, 0 = 4*k - 5*x - y for k.
5
Let h = -37 - -62. Let s be 54/15 - 4/(-10). Suppose 3*f = 5*t - h, s*t + t - 20 = 2*f. Solve 4 = -t*g - 2*b - 4, 0 = -2*g + 5*b + 13 for g.
-1
Let y(s) = -3*s - 4. Let k be y(-3). Let u be 22/k + (-6)/15. Solve 5*l = 5*w, -3*w + l - u*l - 12 = 0 for 