 3*y + b - 10 = 0. Let s = 0 - 0. Solve y = h - s for h.
2
Suppose -y - 2*h + 4 = 2*h, 4*y = 3*h + 16. Solve -g + y*g - 3 = 0 for g.
1
Suppose -3*f + 3 = 2*u - 0, f + 4 = u. Solve -4 = g - u*g for g.
2
Let h(f) = f. Let u be h(6). Let p = 1 + 0. Let j = u - p. Solve k = -0*k + j for k.
5
Let l be 1 - (6/(-2))/(-3). Suppose -4*z + l = -8. Solve -q - 12 = z*q for q.
-4
Let y = -127 + 132. Solve -v + y = 8 for v.
-3
Suppose 6*a - 2*a - 80 = 0. Solve 0 = 2*b - 6*b + a for b.
5
Let p(m) = -m + 3. Let d be p(3). Suppose 2*g + 2*g - 28 = d. Solve -1 = -4*q + g for q.
2
Let p be (-2 + 7)*-1*-2. Solve -p + 26 = 4*s for s.
4
Let o be (-4)/2 - (-8 - -1). Solve -1 = -o*s - 6 for s.
-1
Let g = 11 + -6. Suppose s - 3*o + 8 = -8*o, 3*o = g*s + 12. Let x(p) = -p**3 - 3*p**2 - p - 1. Let r be x(s). Solve 0 = -r*w - 3 - 5 for w.
-4
Suppose 13 = -2*a - 5*w, 0 = 4*a - 6*a + 5*w - 3. Let m = 3 - a. Solve 3*p + 8 = m*p for p.
2
Let v = -11 - -7. Suppose -a + 12 = 2*d, -4*a - 1 = d - 63. Let w = a + v. Solve 0*x - w = -3*x for x.
4
Suppose z = -5*y - 3*z + 15, 4*y - z = 12. Solve -y*q - 3 + 0 = 0 for q.
-1
Suppose 3*k = 4*w - 51, w - 4*k + 0*k - 16 = 0. Let c be 1 - (w/(-2))/3. Solve 0 = -f + c*f - 4 for f.
2
Suppose 0 = 10*q - 13*q + 48. Solve -3*c + q = c for c.
4
Let t be -1 - -11 - (-1 + 2). Let n = -19 + t. Let y be (-24)/n + (-14)/35. Solve 0*q = y*q + 10 for q.
-5
Let q(d) = d**3 + 4*d**2 - 7*d - 7. Let u be q(-5). Let m = 8 + -4. Suppose s - 3*f - 26 = -m*f, u*f = -5*s + 120. Solve 5*v + s = -4 for v.
-5
Suppose 0*g - 22 = 3*g + y, -4*g = 5*y + 22. Let a(m) = -m - 8. Let p be a(g). Solve p = -2*b + 1 + 1 for b.
1
Let t(z) = -4*z + 1. Let f be t(-1). Let i be 2/(-10) + 11/f. Solve 3*p = -i*p - 25 for p.
-5
Let d be (3 - (-1 + -1)) + 0. Suppose -d*x = -x. Let z be 1*(-3)/(-9)*0. Solve z = -x*i + 2*i for i.
0
Let x(p) = -p**2 - 6*p - 2. Let q be x(-4). Solve -6 = -3*b + q for b.
4
Suppose 4*m - 6 = 2. Let n be m - (2 - (1 + 1)). Solve s = -s + n for s.
1
Suppose 4*l - 5*l = 0. Solve 2*o + l + 4 = 0 for o.
-2
Suppose -4*d + 30 = 2*q, -4*d - 5*q + 36 = 3. Let y = 11 + -6. Suppose -5*k + y*p + 15 = 0, -3*p = 2*k - p + 2. Solve 4*i + k = -d for i.
-2
Let z = -3 + -7. Let f = 10 + z. Let q(t) = -t**2 + 2*t + 1. Let k be q(2). Solve b - 4 + k = f for b.
3
Let k be (-2 - -4)/(6/9). Let s(j) = -j + 5. Let t be s(k). Solve 0 = -2*h - t*h - 4 for h.
-1
Let f = -3 - -13. Let d be (4 + -10)*(-1)/2. Suppose -x + 5*t = -27, 23 = 7*x - 3*x - d*t. Solve -4*z + f = -x*z for z.
5
Let x = -27 + 33. Let i be 1*1/(1/6). Solve 0 = 4*k - i - x for k.
3
Let j be 26/10 - (-12)/30. Solve -j*r + r = 4 for r.
-2
Suppose 0 = -14*g + 5*g + 189. Solve 4*c - g = -9 for c.
3
Let x be 4 - (4 + (-6)/2). Solve x = 5*c - 2 for c.
1
Let z = -13 + 12. Let v be (0 - z)/((-1)/(-5)). Solve -4 - v = -3*k for k.
3
Suppose -5*i - 11 = 9. Let z = 10 + i. Suppose a - z*a = 0. Solve a = -y - 0*y - 5 for y.
-5
Let k = 8 - 6. Let v(b) = 2*b + 4. Let i be v(-2). Solve k*j + i*j = 0 for j.
0
Suppose 0 = -b - 2*b + 5*u - 18, -4*b - 32 = -4*u. Let n(d) = -d**3 + 10*d**2 - 6. Let p be n(10). Let z = p - b. Solve z*k = k + 20 for k.
5
Let i be (-6)/2 + (2 - -3). Solve i*u = -u for u.
0
Let f(b) = b**3 + 10*b**2 - 24*b + 10. Let g be f(-12). Solve -h - g = h for h.
-5
Let w be 0 + (-2 - (-11 - -5)). Solve 0 = g + w + 1 for g.
-5
Suppose 3*w + 17 = 2*q, -2*w + q - 16 = -6. Let x be w*(-2 - (-20)/(-6)). Solve 3*r + x = -r for r.
-4
Suppose 8 = 2*r - 12. Solve -4*z = 10 + r for z.
-5
Let m = 2 - 2. Solve m = 5*n - 4 + 9 for n.
-1
Suppose 3*q + 56 = 4*w - q, -4*w + 2*q + 52 = 0. Suppose w*l - 8*l = 12. Let y be (11/(-4) - -2)*-8. Solve l*b - y*b = 6 for b.
-2
Let c be (-24)/(-21)*(-42)/(-12). Solve c = -d - 0*d for d.
-4
Let j(f) = 5*f**2 + 14*f + 21. Let v(g) = -g**2 - 3*g - 4. Let y(i) = 2*j(i) + 11*v(i). Let q be y(-4). Solve q*t = 3 - 11 for t.
-4
Suppose 4*h + 5 = -c + 12, -3*h = -5*c + 12. Suppose -3*b + 5*q + 6 = 0, 10 = b + 3*q - 6. Solve -2*r - b = -c for r.
-2
Let d = 0 + -6. Let f = d + 6. Solve 0*k - 3*k = f for k.
0
Let k = 13 + -13. Solve k = -3*j - 14 + 5 for j.
-3
Let u be 0/(-3) - 5/(-1). Let f = u - 6. Let j be (6 - (2 + f)) + -3. Solve -j*r = -r for r.
0
Let q(p) = 7*p + 2. Let b be q(-1). Let o(c) = c**3 - 6*c**2 - 7*c - 5. Let y be o(7). Let m = b - y. Solve 3 = -m*l + l for l.
3
Let a = -7 - -9. Suppose -4*j = -0*j - 8. Solve j*n = -0*n - a for n.
-1
Let m(x) = -x + 8. Let c be m(4). Solve -2*j = -j - c for j.
4
Let s be (-3)/(3/2) + -3. Let l be (s + 2)*7/(-7). Solve 0 = -m - l + 1 for m.
-2
Let v = 46 + -42. Solve v*y - 2 = 10 for y.
3
Suppose q - 25 = -3*w, -3*q + 35 = 2*w - w. Solve q = -7*c + 2*c for c.
-2
Suppose -2*l - 4 = 4. Let t be 52/8 + (-2)/l. Suppose -3*x = -43 + t. Solve -4*d = -d - x for d.
4
Suppose 6 = 3*g - g. Let h be 0/((-3)/g + 3). Solve -x - x - 10 = h for x.
-5
Let l be 3/(-2)*8/(-6). Solve u - l = -0 for u.
2
Let k be -4*4*(-2)/8. Solve -2*y + 10 = -k*y for y.
-5
Let u = -2 + 4. Suppose -2*t = 5*o - 13, 0 = 5*t - o - o - 18. Suppose t*x = 2*x. Solve x = p - 1 - u for p.
3
Suppose -5*z = -4*g + g - 1, -5*g - 3*z = -21. Suppose 8*l - g*l = -35. Let n = -5 - l. Solve 0*q + n*q = 10 for q.
5
Let p = -9 + 10. Solve -p = 2*i - 5 for i.
2
Suppose 0*u = -3*u + 2*p - 59, -52 = 3*u + 5*p. Let d = 19 + u. Solve -m = -d*m for m.
0
Let v = -9 - -12. Suppose -v*j = -2*j - 3*d - 6, j = 4*d + 8. Solve 0 = -2*o + 2 - j for o.
1
Let j(g) = -g**2 - 9*g - 9. Let k be j(-7). Suppose -5*q - 25 = -q - k*d, 0 = -3*q - 3*d + 15. Solve 3*f + q*f = -9 for f.
-3
Let a(s) = -s**3 + 11*s**2 + s - 6. Let m be a(11). Solve 0 = -m*r + r for r.
0
Suppose -5*b = -5*s - 9 + 24, -2*s + 9 = b. Let u be 1/(s/(-6))*-2. Suppose -2*f + 4 = -u*x, x = 2*f + 2*f - 18. Solve -3*c = x*c - 5 for c.
1
Let j = 7 - 7. Suppose -n + j*n + 4 = 0. Solve -n*q + 2 + 2 = 0 for q.
1
Let g(n) = -n**2 - 3*n - 3. Let d be g(-2). Let x = d - -6. Solve 6 = x*i - 4 for i.
2
Let d(w) = w**2 + 9*w - 9. Let g be d(-11). Let p = g - 13. Solve p = -2*h - 1 + 3 for h.
1
Suppose -n - p = 3, -11*p + 6*p - 15 = 0. Solve 0 = 3*y - n*y - 12 for y.
4
Let y(b) = 10*b. Let c be y(2). Let d = c - -22. Suppose 0 = -5*x + d - 17. Solve u = 2*u - x for u.
5
Suppose 5*q - 49 = -4*z, -2*q - 86 = -7*z + 2*z. Suppose -7*u + 3*u + z = 0. Solve 3*a = u*a + 1 for a.
-1
Let c(t) = -7*t - 1. Let z be c(1). Let q(u) = -u - 7. Let w be q(z). Solve 3*h - 2*h = -w for h.
-1
Suppose 0*p - 4*p + 1 = q, 0 = p + 3*q - 3. Suppose -63*r = -53*r - 20. Solve b + 0*b - r = p for b.
2
Suppose 0 = 5*v + 10, -2*t - 28 = 5*v + 2. Let s be ((-8)/(-10))/(t/(-50)). Solve -2*h + s*h - 2 = 0 for h.
1
Let c(z) = -z**2 + 5*z + 1. Let m be c(6). Let j = m + 5. Solve j*n = -n + 4 for n.
4
Suppose 5*u + 30 = 2*x, -5*x + 42 - 13 = -u. Let v(h) = -h**2 - 2*h + 9. Let j be v(u). Solve -3*a - j - 2 = 0 for a.
-1
Let c(k) = -k**3 + 7*k**2 - 7*k + 8. Let j be c(6). Solve -j*g = -g for g.
0
Let r = 23 - 18. Solve i - r = -4*i for i.
1
Let s = 16 + -16. Solve s = 5*a - 4*a for a.
0
Suppose -2 = -f + 1. Let b = f - 2. Let c be b/(-2)*(-2 + 2). Solve -w = -3 - c for w.
3
Let m be 0 + 0 + 4 - (2 + -1). Solve 0 = 4*l - 19 + m for l.
4
Suppose 0 = 4*z - 0 - 8. Solve -z*c = -0*c + 6 for c.
-3
Let k = -11 - -13. Solve -p - p = -k for p.
1
Suppose -4 = 5*b - 9. Suppose 5*z - 4 = -4*u - 1, -2*u = 2*z - 2. Let q be (b - 1)*z*1. Solve q*r = -5*r + 25 for r.
5
Let c be (-1)/3 + (-148)/(-12). Solve 2*x - c = -x for x.
4
Let d be (-2)/8 + 168/32. Solve d*m - 7 = 3 for m.
2
Let z be (-1*6/(-2))/(21/35). Solve -2*d = -d + z for d.
-5
Let h be (24/(-2))/(-4 + 2). Suppose -9*g = -h*g. Solve 2*x + g = -10 for x.
-5
Let z(f) = f**2 + 3*f - 4. Let r be z(-4). Suppose r = -2*y + 4 + 2. Solve 2 + y = -5*p for p.
-1
Suppose -24 + 104 = 4*m. Suppose -m = -3*r - 2*r + u, -2*r - 4*u + 30 = 0. Solve 0 = r*w + 29 - 9 for w.
-4
Let l(f) = f**3 + 16 - 11*f - 11*f**2 - f**2 - 3*f. Let x be l(13). Solve x*u = 2*u + 1 for u.
1
Suppose -1 = -2*r + 7. Solve 9*a + 20 = r*a for a.
-4
Suppose 6 = -3*q, a + 5*q - 1 = -8. Let k = a + 3. Suppose 4*v - k - 22 = 0. Solve -6 = 4*x - v*x for x.
2
Let c = 0 - 0. Suppose 0*i + 5*i = c. Suppose 7*p - 5*p + 25 = 3*d, -4*d + 5*p + 45 = 0. Solve 0 = d*w - i*w + 15 for w.
-3
Let b(u) = 2 - 7*u + 