b + 4 for b.
5
Suppose -2*v - 4*w = 2*v - 44, v + 4*w - 26 = 0. Solve 4*s - 22 = -v for s.
4
Let c be (-2)/3 + (-29)/(-3). Suppose 7*j + 24 = c*j. Solve 3*q + 0 = j for q.
4
Suppose 3*l + 3 = -5*d, 2*l + 4*d = -3*l - 5. Let u be (-10)/(-6) - l/3. Suppose -4*p = 2*r - 6*r - 24, u*p = -5*r + 33. Solve 4*k + p = k for k.
-3
Let d(a) = a - 16. Let s be d(10). Suppose -5*l = 14 - 4. Let x be -3*(l - 8/s). Solve 4*c + x = -6 for c.
-2
Let b(l) = 6*l - 2. Let c be b(1). Suppose 5*w + 6 = -f - 0*f, 2*w + 4 = -2*f. Let g = f + c. Solve 0 = g*r - 2 - 1 for r.
1
Let h be (0 - 12)*9/(-27). Solve 6 = h*p + 2 for p.
1
Suppose -3*p - 6*a = -a, 3*p - a = 18. Let m(i) = i**3 - 5*i**2 + i - 1. Let w be m(p). Suppose -f = 3*g + 1 - 11, f - 8 = -g. Solve 0 = -w*c + 1 + f for c.
2
Suppose 7 = -4*b - 5*k, b + 19 = 3*b - 5*k. Let y(q) = -q**3 + 3*q**2 - 2*q. Let i be y(2). Solve -5*j + 17 - b = i for j.
3
Let j(b) = b**3 - 6*b**2 + 7*b - 8. Let p be j(5). Solve -6*s + 4*s = -p for s.
1
Let g = -7 - -6. Let d be 1 + (1/1)/g. Solve -5*h = -d*h + 25 for h.
-5
Suppose 0 = -2*c - k + 1, -2*c + 4*c + 3*k = -5. Solve 0*a - 6 = -c*a for a.
3
Let s(h) = h**3 + 6*h**2 - 10*h - 6. Let z be s(-7). Solve 5*b = -z - 10 for b.
-5
Suppose -m = -6 - 12. Suppose 17 + m = 5*v. Solve 0 = v*w - 3*w - 20 for w.
5
Suppose -2*y - y + 12 = 0, 5*z = -y + 4. Let d(g) = -g**2 - 7*g - 6. Let t be d(-6). Solve t = -z*j - 2*j + 8 for j.
4
Let o(j) = -j**3 + 2*j + 2. Let a be (-48)/21 - (-2)/7. Let k be o(a). Suppose 3*m - k*m = 0. Solve f + m = -3 for f.
-3
Suppose -3*c = c - 8. Let i = 0 - 0. Let j be (2 - 5/c)*i. Solve j*y = -2*y + 6 for y.
3
Suppose -15 = -3*i + r - 0*r, 2*i + r = 15. Solve i - 2 = -4*h for h.
-1
Let x be (-8)/52 + (-56)/(-26). Suppose 0*s = -4*s. Suppose s = x*q - 0*q - 10. Solve -v = q - 2 for v.
-3
Suppose -3*v - 2*u = -23, 4*u = -5*v + 10 + 31. Let s = 7 - v. Solve 0 = 3*x + s*x - 20 for x.
4
Let p(m) = -m**2 - 6*m + 15. Let d be p(-7). Solve -4*z = -d - 0 for z.
2
Suppose -14*u + 4 = -13*u. Solve m = u*m + 6 for m.
-2
Let n = -3 - -6. Let c = -2 - -2. Suppose 0 = -3*v + 2*p + 1 + 13, 5*p + 5 = c. Solve 0 = -v*x + 7 - n for x.
1
Let z be 3/((-3)/5) + 1. Let a = z - -7. Solve -3*g = -0*g - a for g.
1
Suppose 5*q = 0, -q - q - 3 = -w. Let i(f) = f**3 - 3*f**2 + 2*f - 3. Let n be i(3). Solve n = -w*d - 3 for d.
-2
Let g = 9 + -5. Suppose l - g*s = -12, -l = -0*l + 5*s - 6. Let y be (-3)/(1*6/l). Solve -y*b = -b - 5 for b.
5
Suppose -2*l = -l. Suppose w - 48 = -2*w. Let v = w + -13. Solve -v*o + 11 - 2 = l for o.
3
Let w(p) = -p**3 + 5*p**2 + 3*p - 6. Let v be w(5). Let o = -9 + v. Suppose j - 5 + 1 = n, 5*n + 4*j - 25 = 0. Solve i - 1 - n = o for i.
2
Suppose 6 + 9 = -3*k. Let t = -3 - k. Solve -t = 3*d + 1 for d.
-1
Let z = 14 + -24. Let l(c) = c**2 + 10*c. Let t be l(z). Suppose 0 = 2*f - 8, -2*a + 3*f + 3 = a. Solve t = -y - a for y.
-5
Suppose n = 3 + 1. Solve 0 = -n*p + 5*p + 4 for p.
-4
Let s = 0 + 2. Let g(u) = -u**3 + 3*u**2 - 3*u + 3. Let y be g(s). Solve z = -0*z + y for z.
1
Let o(x) = 2*x - 5. Let f be o(5). Suppose -5*c + 14 = -2*q + f*q, q - 3*c - 14 = 0. Solve 2*m + q = -2*m for m.
-2
Let n(b) = 10*b - 5. Let q be n(2). Solve 5*z - 2*z = q for z.
5
Let f(w) = -w**2 + 6*w - 4. Let k be f(4). Suppose n = k*g - 17, 2*n - 2*g + 4*g + 14 = 0. Let s be 3/n*-3 - -2. Solve -4*r = -s*r + 3 for r.
-3
Let u(j) = j**3 + 4*j**2 - 6*j - 1. Let h be u(-5). Let l be (-1)/(-3) - (-42)/9. Solve 0 = -6*c + l*c + h for c.
4
Let l(v) = -v + 3. Let n(s) = s - 2. Let t(f) = -5*l(f) - 6*n(f). Let c = 3 - 6. Let i be t(c). Solve 2*x + 2 = -i for x.
-1
Let q = 9 - 4. Solve 0 = -2*p + q + 5 for p.
5
Let v(u) = u**2 - 11*u + 5. Let o be v(11). Let y = -1 - -1. Let j be 1 + 0 + 4 + 0. Solve -o*g = -y*g + j for g.
-1
Suppose 3*l = 4*l. Suppose 8*i - 3*c = 5*i, -5*i - 2*c = -35. Suppose 0 = -l*g - i*g. Solve g = n - 4*n + 9 for n.
3
Let v(u) = u**2 + 8*u - 1. Let m be v(-9). Suppose -4*j + m = -8. Solve f + j = -f for f.
-2
Suppose 0*r = 2*r - 2. Suppose 0 = -b - 0*b + r. Let m be ((-1)/2*-4)/b. Solve 9 = m*n + n for n.
3
Suppose 3*q - 60 = -9*q. Solve q*o + 14 = -6 for o.
-4
Suppose -4 + 10 = z + c, z + 4*c = 15. Solve 0 = -2*q - z*q + 15 for q.
3
Let v(d) = d**3 - 6*d**2 + 2*d - 9. Let s be v(6). Solve s*l - 12 = -3 for l.
3
Let i = 6 + 4. Suppose -4*b = -2*h + 30, -2*b + i = 5*h + b. Solve 0 + 5 = h*t for t.
1
Suppose 7*b - 6 = 4*b. Solve -b*k = -7*k + 25 for k.
5
Suppose -2*j + 6 = 5*o - 25, 0 = -j - o + 8. Solve 0 = 4*f - j + 7 for f.
-1
Suppose -5*o - 3*p - 4 = 0, -5*o - p = 4*p + 10. Solve -2 = r + o for r.
-3
Suppose 0 = 3*k - 25 + 7. Solve k*v = 3*v for v.
0
Let z be (-2 - 10)*(-1)/3. Suppose -7*p + z = -2*p - 2*l, -4*p - 6 = 3*l. Solve -f - f = p for f.
0
Suppose p = 5*w + 5, 4*p + 1 - 21 = -5*w. Let u(n) = n**2 - 10*n - 3. Let f be u(p). Let j = f - -40. Solve -5*d - j + 2 = 0 for d.
-2
Let x = 39 + -39. Solve -r - 5 + x = 0 for r.
-5
Let k(p) = -p**3 - 2*p**2 + 3*p + 3. Let f be k(-3). Solve h - 6 = -f for h.
3
Let b be 3/21 + 2/(-14). Solve b*c = -c for c.
0
Suppose 2 = -2*c - 4*q - 2, 4*c - 28 = q. Let o(n) = n**2 - 5*n - 4. Let b be o(c). Suppose -b - 2 = -4*l. Solve 10 = -3*h + l for h.
-3
Let x(r) = r**2 - 11*r + 29. Let u be x(8). Solve a + u = 4 for a.
-1
Let f = 18 - 11. Suppose f*i = 4*i. Solve i*a - 4*a + 12 = 0 for a.
3
Let k be (-63)/(-15) + 3/(-15). Solve -k*p - 1 = 7 for p.
-2
Suppose -d + 0*d + 20 = 0. Suppose t - d = 4*v - 0, -5*t + 54 = 3*v. Solve n = 4*n - t for n.
4
Let n be (10/(-8))/(3/(-12)). Suppose 2*r = -r - 30. Let p be 2/n - 26/r. Solve 4*v = p + 5 for v.
2
Let c be 22/2*(-2 - -3). Let v = -7 + c. Let r(u) = 3*u - 4. Let l be r(v). Solve i = -i + l for i.
4
Suppose 5*k = 4 + 1. Let a be (4 + k + 1)/1. Let y = 235 - 210. Solve a*t = t - y for t.
-5
Suppose -5*n + 20 = 0, 2*v = -2*v - 2*n + 16. Solve 0 = -v*d + 3 - 7 for d.
-2
Let g = 3 - 1. Let y be (5/(-1))/((-1)/g). Suppose 0 = -5*s - 2*p + y, 10 = 4*s + 2*p - 0*p. Solve s*d = 3*d - 6 for d.
2
Let c be ((-2)/6)/((-8)/96). Let p be (-2)/(-6)*0 + c. Solve 3*o - 2 = p for o.
2
Suppose 5*d - 2*s = 25, -4*d + 3*d + 4*s + 23 = 0. Solve -2*n + 5 = d*n for n.
1
Let i be (-1)/4 + 726/24. Suppose 3*p - 5 = b + 5, -5*p - 5*b + i = 0. Let z(l) = l - 5. Let d be z(7). Solve w - p = d*w for w.
-4
Let x(c) = 12*c + 4 - 4*c - c**3 - 13*c**2 + 6*c**2. Suppose -2*g + 20 = -3*v - g, 40 = -3*v - 4*g. Let k be x(v). Solve -25 = -9*y + k*y for y.
5
Suppose -68 = -4*d + 3*r, d - 33 - 3 = -4*r. Solve 4*s + s = d for s.
4
Let k(y) = -y + 12. Let h be 1/2 - 140/8. Let m = -8 - h. Let s be k(m). Solve -4*o + s - 19 = 0 for o.
-4
Suppose -2*u = 9 - 15. Solve k = u*k + 2 for k.
-1
Let p(c) = c - 5. Let v be p(10). Suppose -v*h + 8 = -h. Solve -z - 1 + h = 0 for z.
1
Let z = 86 - 78. Solve 0 = -z*v + 3*v + 5 for v.
1
Suppose 0 = 5*t + 4*n + 8, t - 3*n = -2*t + 6. Let w = 5 - 2. Let a be (2 - (w + 2))*-1. Solve t = -0*d + a*d - 9 for d.
3
Suppose -2*f - 4*x + 5 = -11, -40 = -5*f + 4*x. Solve -f = -2*l + 4*l for l.
-4
Suppose -111 = -4*v - v - z, v = 5*z + 43. Let u = v - 20. Solve 2*m = -m + u for m.
1
Let q(f) = -f**2 - 14*f - 16. Let n be q(-12). Suppose 2*k = n - 4. Suppose 0 = 5*x - 1 - 54. Solve x - k = 3*c for c.
3
Let p(c) = c - 3. Let r = 12 - 9. Let l be p(r). Solve -3*k + 9 + 6 = l for k.
5
Let i(a) = -a**2 + 0*a**2 + 8*a + 7 + 0 + 6. Let s be i(9). Solve 2*w - s*w + 2 = 0 for w.
1
Suppose 18 = 4*j + 6. Solve -j*k = -4*k + 2 for k.
2
Let s = 2 + -4. Let b = 3 + s. Let q be (4/(-12))/(b/(-15)). Solve 0 = q*p - 2 + 17 for p.
-3
Let s(t) = -5*t**2 - 2*t - 2. Let g(z) = 5*z**2 + z + 2. Let x(w) = 3*g(w) + 2*s(w). Let f be x(1). Solve -o = o + f for o.
-3
Suppose 4*v + 2*t - 18 = -0*t, -t = -4*v + 9. Solve -v*f - 3 = -0 for f.
-1
Suppose 3*u = 7*u + 64. Let l = -15 - u. Solve -4 = 3*h - l for h.
-1
Suppose 20 + 48 = 4*x. Let f = x - 10. Solve 0 = -b + f - 2 for b.
5
Suppose -6*m + 1 = -11. Solve 3*q = m*q + 4 for q.
4
Let o(c) = c**2 + 5*c - 12. Let g be o(-7). Let u = -5 - -9. Solve 3*b = -g - u for b.
-2
Suppose -s + r + 6 = s, 2*r + 14 = 5*s. Solve s*k = k for k.
0
Suppose 19 = -2*d + 5*x, 3*x - 23 = -d - x. Suppose d*i - 8 - 7 = 0. Let s = 8 - i. Solve 5 = q + s for q.
2
Let v = 34 - 31. Solve 16 = q + v*q for q.
4
Let