et k be -1 + (-2)/(-3) + 2584/102. Suppose 3*h - 5*b = 22, 3*h + b - 18 = -2*h. Solve -r = h*r - k for r.
5
Let o(v) = v**3 + 6*v**2 - 7*v. Let j be o(-7). Let z(d) = 2*d**2 - 7*d + 4. Let m = 9 - 5. Let w be z(m). Solve -f - f + w = j for f.
4
Let o(j) = j + 3. Let v be o(0). Solve 2*r - 3 = v*r for r.
-3
Let w = 7 + -10. Let c(s) = s + 5. Let p be c(w). Solve p*a = 5*a for a.
0
Let n(w) = 4*w - 3. Let f be n(2). Let x = -1 + f. Suppose 0 = -g - g + x. Solve g*o = -0 - 8 for o.
-4
Let w be (-3)/(6 - 0)*50. Let b be (w/15)/(1/45). Let q be (-4)/(-5)*b/(-6). Solve -5*p = -0*p + q for p.
-2
Let k(u) = -u**2 + 12*u - 16. Let j be k(10). Solve 0*p = -p + j for p.
4
Let j(h) = -h - 5. Let l be j(-5). Let d(n) = -2*n + 21. Let z be d(10). Let w = z + l. Solve 0 = -3*g + 8 + w for g.
3
Let i(t) = t**2 - t. Let p be i(-3). Suppose -2 = 5*o + 4*l + 4, p = -3*l. Solve 4*s - 10 = o*s for s.
5
Suppose 0*c - c = 0. Suppose c*z = -z. Solve p + z*p = 5 for p.
5
Let p = -20 + 33. Let k = 25 - p. Solve -3*d - k = -0 for d.
-4
Let c(q) = 4*q**3 - 2*q**2 + 2*q - 1. Let v be c(1). Let r = 16 - 26. Let j = -5 - r. Solve -22 - v = j*o for o.
-5
Suppose -2*w + b + 12 = -b, 4*w + 4*b - 32 = 0. Let l(p) = -p**2 + 7*p - 1. Let d be l(w). Let r be 1 - 0 - (2 + d). Solve 5 = 5*o - r for o.
1
Suppose -4*a + 5*k - 5 = 0, -28 = -4*a - 3*k + 7. Solve -a*c + 2*c = 12 for c.
-4
Let n(z) = z + 2. Suppose 0 = -4*a + 5*p + 10, a + 8 = 2*a - 4*p. Let w be n(a). Solve -w = -3*s - 17 for s.
-5
Suppose -3*f + s = 16, 5*f - s - 7 = -31. Let l be ((-3)/(-4))/(f/16). Let h be ((-1)/3)/(l/18). Solve h*d = -3*d for d.
0
Suppose 7*y + 2 = 8*y. Solve -4*m - 4 = -y*m for m.
-2
Let n = 27 + -16. Let x = n + -6. Let m be 1*2 - (2 + -6). Solve -2*p - m = -x*p for p.
2
Let u be (-26)/(-22) + (-16)/88. Let b be (-4)/(-2) - (12 - u). Let x be 0/((-3)/(b/(-6))). Solve x = -4*m - 0 + 4 for m.
1
Let j be ((-33)/(-22))/(1/2). Suppose -2*o = 3*z - j - 5, -5*o = -5. Solve z*m = -m + 3 for m.
1
Let s = 235 - 232. Solve 0 = s*b - 9 + 24 for b.
-5
Suppose -4*l + 59 = 55. Solve -v = -4 - l for v.
5
Suppose 0*i + 5*i - 35 = -5*v, 3*i = -v + 11. Suppose 3*r - 2*p = v, 0 = -5*r - p - 4*p + 25. Solve 0 = -t + r*t - 10 for t.
5
Let o = 11 + -7. Suppose 20 = o*w - t - 4, 0 = 3*t + 12. Let k be 1 - (2 - (4 + 0)). Solve -k + 18 = w*q for q.
3
Let q(a) = a**3 - 6*a**2 + 4*a + 7. Let i be q(5). Let f be (-13)/(-5) + 4/10. Suppose 0 = h - 5 - 4. Solve -i*b = -h + f for b.
3
Suppose -97 + 22 = -5*a. Suppose -4*h + 1 = -a. Solve h*g - 6 = 2*g for g.
3
Suppose -3*l + b = -4, -4*l - 4*b + 12 = -7*b. Suppose l = 6*y - y. Solve -10 = 2*p - y*p for p.
-5
Let w(k) = k**3 + 3*k**2 + 2*k + 4. Let s be w(-4). Let f be s/(-4)*(-2)/(-2). Solve -f*x + 0*x = -15 for x.
3
Suppose -2*h + 10 = 2*q, -5*q + 21 = -0*h + 4*h. Solve 4*a = -q - 19 for a.
-5
Let t be (3/3 - 0)*2. Let d = 24 - 34. Let z be 2/5 - (-4)/d. Solve -t*k - 2*k = z for k.
0
Let s(j) = -j - 28. Let k be s(0). Let n = k + 53. Suppose 5*m - n = -5. Solve -m*p = -6 - 6 for p.
3
Let w = 0 + 0. Suppose 0 = -3*a - r + 34, 4*a - 32 = 2*r - 0*r. Let b = -7 + a. Solve w = -s - b*s + 8 for s.
2
Let c(a) = -a**3 - 7*a**2 - a + 1. Let f be c(-7). Suppose 0 = -g + 3*g + f. Let b be (g/(-6))/(1/3). Solve 0 = b*l - 0 + 6 for l.
-3
Suppose -15 = 3*n, -4*n - 6 + 2 = 4*r. Suppose 3*g + 2*g - 20 = -5*b, 2*b - 10 = -r*g. Solve -11 = -2*v - b for v.
4
Let j = 1 - 10. Let n be (-24)/9*j/6. Suppose n*b = -0*b + 8. Solve u - b*u = 2 for u.
-2
Suppose 2*d + 4 = 2*k - 0*k, d - 28 = -5*k. Let h = -1 + d. Solve -c + 4 = -h*c for c.
-4
Let t(x) = -x**3 + 5*x**2 + 8*x - 7. Let v be t(6). Suppose 35 - 15 = 4*s - 4*y, -v*s + 13 = y. Solve -6 + 0 = s*q for q.
-2
Suppose -24 = -3*x + 4*v, 2*x - 4*x = -3*v - 16. Suppose -x = -4*a - 0. Solve 4 - 2 = -a*m for m.
-1
Let d = 17 - 17. Let y be (-4 + d)/(22/(-33)). Solve 0 = -2*p + 4 + y for p.
5
Let l(o) = -o**3 - 2*o**2 + 2*o. Let h = 2 + -5. Let x be l(h). Solve -11 + x = 2*b for b.
-4
Let c(g) = -g**3 - 5*g**2 - 3*g + 4. Let v be c(-4). Suppose -2*o + 11 - 3 = v. Solve 20 = -o*y - 0*y for y.
-5
Let m be (-36)/(-10) - (-2)/5. Let h be -2 + 3/1 - 6. Let z(s) = -s - 3. Let k be z(h). Solve 3*v - m = k for v.
2
Suppose 2*f - 20 = -3*f. Solve -y - f*y - 10 = 0 for y.
-2
Let j be 22/(-12) + (-1)/6. Let y = 2 + j. Let v = 2 + y. Solve 2*o = o - v for o.
-2
Let g be 1*2*(-3)/(-3). Suppose 2*b = -g*n + 12, 5*b - n - 14 = 2*b. Solve 4*w - 5*w + b = 0 for w.
5
Let x(b) = b + 2. Suppose 3*m - 13 = 2. Suppose -4*c - l = -2*l - m, c + l = -5. Let h be x(c). Solve -3*g + 11 = h for g.
3
Let g = 27 - 26. Solve 0 = r - g - 1 for r.
2
Let g = -46 + 51. Solve -g*s = -2*s - 12 for s.
4
Let r = -3 - -5. Suppose -r*l + 3*l = 2. Solve 0 = 4*a - 2 - l for a.
1
Suppose 2*u - 4*y + 8 = 0, 3*u + y = -2 + 11. Let q(z) = 2*z - 2. Let t be q(u). Let a = 13 + -1. Solve -2*i - t*i - a = 0 for i.
-3
Let q = -36 - -55. Let t = -10 + q. Solve 3*r + t = -0*r for r.
-3
Let r be 1*0/(1 + 1). Suppose r*z - 3*z = 0. Solve z*y = y + 2 for y.
-2
Let t be 1/(-2)*-2*-3. Let s be 0 + 2 - (t + 3). Suppose -v + 4 = 0, 4*w = 3*v + 2 + 2. Solve -w*i + s - 14 = 0 for i.
-3
Let c be (-62)/(-6) - (-3)/(-9). Solve -c = 3*x - x for x.
-5
Suppose -4*f + 20 + 2 = 5*t, -5*t = 5*f - 25. Solve -q = t*q - 15 for q.
5
Let f(s) = 0*s - 7 + 5*s - s - 3*s. Let o be f(5). Let t(y) = y**2 + y. Let u be t(o). Solve 0 = g - u for g.
2
Let y(u) = -u**3 - u**2 + 5. Let s be y(0). Let p(g) = 0*g**2 - 2*g + 0 - g**3 - 3 + s*g**2. Let r be p(4). Solve r*q + 0*q - 20 = 0 for q.
4
Let y = 0 - -16. Let x = y + -13. Solve -2*q = x*q - 20 for q.
4
Let w = -92 - -95. Solve 0 = 4*h - h + w for h.
-1
Suppose -i + 3*i + 15 = 3*r, 4*i + r - 5 = 0. Let z = -17 + 4. Let q = 18 + z. Solve 0 = 5*k - q - i for k.
1
Let n = -105 - -75. Let s = -8 + -15. Let c be s/(-5) + (-12)/n. Solve c = -0*f + 5*f for f.
1
Suppose 8*w + 3 = 9*w. Solve i - w = -0*i for i.
3
Suppose -4*v = h + 4, -4*h - 5*v + 5 = -1. Suppose -4*p + 2*p - 11 = -f, f = -h*p - 13. Solve 1 = -2*m + f for m.
1
Let u be (-1 - 2)/3 + -1. Let y be (u/(-6))/(2/6). Suppose 3*i - 5 = y. Solve 2*p + i = -0 for p.
-1
Let p be (-24)/56 + 24/7. Solve -v - p*v + 4 = 0 for v.
1
Let m(s) = s**3 + 10*s**2 - 1. Let j be m(-10). Let a be j + (2 - 3) + 4. Solve -3*y = -13 - a for y.
5
Let u be 0 + (-48)/56*(-7)/2. Solve 9 + 3 = u*l for l.
4
Let v be ((-4)/10)/(4/(-10)). Solve b = -0 - v for b.
-1
Let m be (-15)/(25/5)*10/(-6). Solve 5 + 0 = -m*b for b.
-1
Let u be (3 - (3 + -3)) + 19. Suppose 4*t = -2*l - l - 4, -5*t + 3*l + u = 0. Solve -3*w = -7 - t for w.
3
Let a(c) = -c + 3. Let v be a(0). Solve v = -s - 2 for s.
-5
Let j be 3 - (-2 - (0 - 2)). Suppose -5*y + 2*g = -2, 3 = 3*y - 0*y - j*g. Solve d + d - 4 = y for d.
2
Suppose 0*r + 5*p + 28 = r, 4*r = 3*p + 27. Solve 2*n - 5 = -r*n for n.
1
Let n be -2 + -14*1/(-2). Suppose 0 = 2*g - n*g + 12. Solve -14 = g*o - 2 for o.
-3
Let l(a) = a**2 - 22*a + 23. Let t be l(21). Solve v + t + 3 = 0 for v.
-5
Suppose -4*f + 9 = m - 9, -5*m + 22 = 3*f. Let n = m - 1. Let x be (1 - -3)*2/4. Solve y = x*y + n for y.
-1
Suppose 4*n + n = 35. Suppose 2*l = n*l - 10. Solve 0 = -l*f + 1 - 9 for f.
-4
Let l = 3 - -12. Suppose -n + 60 = n. Suppose n = i + 4*z, -10 = -5*i + 5*z + 15. Solve -5*q + i = -l for q.
5
Let k = 10 + -6. Solve 0*a = -k*a + 8 for a.
2
Suppose 42 = 5*r - 193. Suppose 5*n + r = 2. Let s = -6 - n. Solve 2 = s*i + 8 for i.
-2
Let n = -2 - -2. Suppose 8*o - 3*o - 35 = n. Solve -4*d + o*d = -9 for d.
-3
Let f(q) = q**3 - 5*q**2 - 6*q + 8. Let w be f(6). Solve -6*n + 4*n - w = 0 for n.
-4
Let v be 60/25 + 2/(-5). Let l = 3 - v. Solve 3*t - l - 2 = 0 for t.
1
Let y = 28 + -28. Solve y = 4*q + q + 10 for q.
-2
Let o(i) = -2*i + 10. Let w be o(9). Let a = -8 - w. Solve a*n = -n for n.
0
Let z be (0 - -4)*(-3)/(-3). Suppose -2*j - 4 = -z*j. Suppose r - 5*k - j = 0, -3*r + 4*k + 26 = -k. Solve -5*i - r - 13 = 0 for i.
-5
Let c(u) = -u**3 - 8*u**2 + u + 11. Let k be c(-8). Let s = k - 0. Let m(a) = -a**3 + 3*a**2 + 4. Let r be m(s). Solve -3 = -r*b + 5*b for b.
-3
Suppose -7*k + 5*k = -6. Solve -k*l + 3 = -0 for l.
1
Let t(c) = 5 + c**3 + 7*c**2 - c**3 + 2*c + 0 + c**3. Let r be t(-7). Let w be r/((-5)/2 + 1). Solve w = -6*q + 3*q for q.
-2
Let q(w)