). Let r = j + -23. Solve r*u + 6 = -0*u for u.
-2
Let c(b) = 6*b - 2. Let n be c(1). Solve 4*u - n = -0*u for u.
1
Let v = 82 - 77. Solve -5*b = -0*b + v for b.
-1
Let f be 7*1 - (-10)/10. Let g be -4 + 4/2 + 10. Let q = g - 6. Solve -f = -0*v - q*v for v.
4
Let t(w) = w**3 - 8*w**2 - 2*w + 18. Let g be t(8). Let n be (0 + -3)/((-6)/8). Solve n*f - 4 = g*f for f.
2
Suppose 0 = 5*d + 5*h - 20 - 20, 22 = 4*d + 2*h. Suppose 31 = 2*p + 3*i + 7, d*i = 2*p. Solve -25 = n - p*n for n.
5
Suppose y - 10 = 6*y. Let d be 1/2 + (-3)/y. Solve d - 14 = 3*i for i.
-4
Let f(s) = 0 + 9 - 8*s + 2*s**3 + 8*s**2 + s**3 - 2*s**3. Let u be f(-9). Let z(v) = 2*v + 2. Let t be z(3). Solve u*k + t = 4*k for k.
2
Let s be (-9 + 2)*20/(-28). Solve s*w = -3 - 17 for w.
-4
Let h(u) = -2*u**2 + 9*u + 6. Let i be h(5). Solve -3 = -2*m + i for m.
2
Let x(a) = 4 + 2*a**3 - 3*a**3 + 5*a**2 + 0*a**2 + 0*a**3 - 2*a. Let b be x(5). Let l be (4/b)/(8/(-72)). Solve 4*s - l = s for s.
2
Let x be 2/(-6) + (-13)/(-3). Suppose -2*j - 13 = -19. Let v be ((-2)/(-1))/(4/14). Solve x*z = v*z + j for z.
-1
Suppose -7*n = -6*n - 5*u + 21, 4*n = -2*u + 26. Solve -v + 12 = -n*v for v.
-4
Suppose q + 4 = 0, -4*o + 4*q - 5*q - 28 = 0. Let b be (2 + (2 - 3))*o. Let v(k) = -k**2 - 7*k - 6. Let n be v(b). Solve n = c - 0 + 2 for c.
-2
Suppose a = -2*a. Suppose 0 = 5*y + 4*k - 20, 0 = -2*y + 5*y + 3*k - 12. Suppose y*r + 7 = 51. Solve a = 3*i + 1 + r for i.
-4
Let l(m) = -m**2 + 6*m + 3. Let k be l(6). Suppose d = -k*d. Solve 0*u - u + 4 = d for u.
4
Suppose 4*g - 2 - 2 = 0. Solve -8*c + 9*c = g for c.
1
Suppose 5*c = 4*i + 8, 2*i + 7*c - 22 = 3*c. Solve -9 + 3 = -i*t for t.
2
Suppose 0 = -2*y + 8. Solve y = 3*h - 2 for h.
2
Let f = -1 + 4. Let r be (-4)/(-14) + 54/7. Solve x + r = f*x for x.
4
Let o(a) = -6*a. Let v(r) = 5*r. Let p(d) = 3*o(d) + 4*v(d). Let g be p(3). Solve -2*w - w + g = 0 for w.
2
Let y = -14 + 20. Let n be 3/y - 6/(-4). Solve 0 + n = 2*q for q.
1
Let z = -13 - -9. Let i = -2 - z. Solve i = 2*b - 2 for b.
2
Let c = -8 - -13. Suppose -4*z + 60 = -9*z - c*i, 4*z + 3*i = -43. Let q = z + 27. Solve q = 2*y - 6*y for y.
-5
Let y(b) = -2*b - 10. Let i(g) = 3*g + 15. Let f(o) = -5*i(o) - 7*y(o). Let v be f(-7). Suppose l + 3*l = v*n + 4, 0 = -n + 4. Solve z - l*z + 10 = 0 for z.
5
Let f be (-3)/6*2*-2. Let u be 1 + 0 + (4 - f). Solve 0 = 4*q - q + u for q.
-1
Let q = 6 + -9. Let t = q + 3. Suppose -5*j + 7 = -13. Solve j*y = 20 - t for y.
5
Suppose 0 = -k - 0*k - 5. Let i = k + 3. Let g(v) = v**2 - 3*v - 2. Let n be g(i). Solve -3*d = 7 + n for d.
-5
Suppose 2*t - 32 = -3*p - 2*t, -2*p + 18 = t. Solve -p = 3*z + z for z.
-2
Suppose 3*s + 4*n - 56 = 0, -78 = -5*s - 0*n + n. Suppose 5*q + 1 = s. Suppose 20 = 3*w - o, -3*w + 2*o - 7*o + 8 = 0. Solve q*j - w = -0*j for j.
2
Let v(c) = c**2 - c - 4. Let q be v(-3). Let u(l) = -l**3 + 7*l**2 + 10*l - 8. Let i be u(q). Suppose -i = -z - z. Solve -z*b + 3*b + 3 = 0 for b.
3
Suppose 15 = 3*g - 2*y, 2*y = -0*y. Suppose g*c = 10, 4*k - 7 = -3*c + 7. Let h be 48/28*7/2. Solve h*j = k*j for j.
0
Let c be (-1 - -3)/(1 + 1). Suppose 3*u - 2 = -2*f, -c = 2*f - 3. Let y be 10/4*84/70. Solve -4*l + 1 + y = u for l.
1
Suppose 108 = 3*k - 0*k. Suppose -5*c + k = -2*c. Solve -4*l + 4 = -c for l.
4
Suppose -18 = 3*v - 6*v. Solve 4*c = -v + 26 for c.
5
Let f = 8 + -6. Suppose -2*l + 12 - f = 3*v, -4*v - 2 = -5*l. Let m be 2 + -2 - (0 - v). Solve -6*z + m*z = -8 for z.
2
Let f = -4 + 8. Suppose -4*d = -7*d + 6. Solve -f*u = -2*u + d for u.
-1
Let n be (-19)/(-7) + (-2)/(-7). Solve 2 = -x - n for x.
-5
Let l(i) = i**3 - 5*i**2 - 5. Let g be l(5). Let o be 6/(g/(10/(-4))). Let r = -2 + 2. Solve -o*b - 3 = -r*b for b.
-1
Let c(z) = -5*z**3 + z**2 + z. Let v be c(-1). Suppose 0*r - 45 = -v*r. Solve -3 = -2*s - r for s.
-3
Let c(h) = 5*h**3 + 2*h - 1. Let y be c(1). Let n be (2/y)/(3/27). Let u be 4/((n + -1)/2). Solve 0 = -u*k - 11 + 31 for k.
5
Let w(h) = -h**2 + 6*h + 3. Let m be w(5). Let b = m - 4. Solve b*o + 14 + 2 = 0 for o.
-4
Let a = 12 + -10. Solve 0 = -d + 1 + a for d.
3
Suppose 30 = -5*s + 105. Let w = s + -8. Solve w + 3 = -5*z for z.
-2
Let w = 7 - 7. Suppose -2*u - 3 + 7 = w. Suppose -7*n = -u*n - 10. Solve -2*k = -k + n for k.
-2
Suppose -q = c - 1, q + 2*c - 6*c = 26. Suppose 0 = 61*s - 52*s - 27. Solve q = 3*w - s for w.
3
Let g(t) = 3*t**2 - 13*t. Let u(i) = 16*i**2 - 65*i + 1. Let p(b) = -11*g(b) + 2*u(b). Let f be p(13). Solve 1 + 1 = f*z for z.
1
Suppose -5*y = -10 - 70. Suppose b = -o + 7, 3 + y = -3*o + 5*b. Solve o*m - 1 - 3 = 0 for m.
2
Let y = 26 + -22. Solve -y*l + l = 15 for l.
-5
Let y be (-1)/(2*2/(-48)). Solve -5*v - y = -v for v.
-3
Let q = 9 - 5. Let c(d) = -d**3 + 3*d**2 + 5*d - 2. Let l be c(q). Suppose 5*w + 4*u - 28 = 0, -3*u - l = -3*w + 2*u. Solve -15 = w*k + k for k.
-3
Suppose 15 = 6*w - 3*w. Suppose 1 = 4*q - w*r - 2, 0 = -q + r + 1. Solve -q*d + 3 = -d for d.
3
Let z be (21/(-6) + 4)*10. Solve -z = -0*y - 5*y for y.
1
Let i = 6 - 4. Suppose -144 = -11*r - 100. Solve i*u - r = -0 for u.
2
Suppose 9*u - 5*u = 8. Suppose l - u*m - 9 = 0, 0 = -5*l - 0*m - 4*m + 3. Solve l*w = -w for w.
0
Let x(a) = 5*a - 20. Let z(d) = 3*d - 13. Let u(p) = -5*x(p) + 8*z(p). Let t be u(-4). Solve t*o = -o + 1 for o.
1
Suppose 4*h - 3*t - 51 = 0, -57 = -5*h - 6*t + 3*t. Let l = -10 + h. Solve 0 = -l*b - 6 - 4 for b.
-5
Suppose -8*f + 5*f + 9 = 0. Solve f = -3*z - 0 for z.
-1
Let q(s) = 7*s - 2. Let t be q(2). Let u be 2 - (-1)/(-2)*-8. Solve u*b - t = 3*b for b.
4
Let w = 12 + -18. Let y = w + 9. Solve -z = y*z + 12 for z.
-3
Let g be (-2)/(2/(-3)) - 2. Suppose v - 4 = p, g - 3 = 2*p. Solve 0*l = v*l - 12 for l.
4
Let x be (3/1)/(81/108). Solve 5*v - x*v = 0 for v.
0
Let c be (6*-3)/(3/2). Let z be 14/(-4)*c/14. Solve -2*g = -z*g for g.
0
Let q(l) = l. Let x be (2 - 5) + (-4)/4. Let n be (-3 + 4)*x/(-2). Let a be q(n). Solve -a*t = -6*t for t.
0
Let f = 37 - 35. Solve f*i + 2 + 6 = 0 for i.
-4
Let a(j) be the second derivative of j**3/3 - 7*j**2 + 4*j. Let s be a(9). Solve 0 = l + s*l + 5 for l.
-1
Let x be -10*((-10)/4 + 2). Suppose x*w = -0*w. Solve w = -3*m - 9 - 0 for m.
-3
Let f be 6/(-21) - (-2)/7. Suppose -d + 2*z + 8 = f, d + 19 = 3*d - 5*z. Solve -y - 2 = -d*y for y.
2
Suppose 3*u = 17 - 5. Solve -19 + 3 = u*r for r.
-4
Let m(j) = -j - 2 + 3*j - 3*j. Let c be m(-4). Let f = c + 2. Solve -f*t + 9 = 1 for t.
2
Let j(b) = b**3 + 8*b**2 - b. Let c(n) = n**2 - n - 1. Let x(s) = -4*c(s) + j(s). Let l be x(-3). Solve 0 = l*d + 4 for d.
-1
Suppose 4*z = -2*a - 22, -11 - 4 = 2*z - 3*a. Let i be (4/12)/(1/39). Let c = i + z. Solve 0 = 2*s - c*s for s.
0
Let d(a) = a**2 - 7*a + 4. Let b be d(7). Solve 20 = -9*i + b*i for i.
-4
Suppose f + 3*f - 2*n + 38 = 0, 4*f - 5*n = -47. Suppose 5*b - 2*b = -18. Let d = b - f. Solve d*h - 4 = 4*h for h.
-2
Let j(o) be the third derivative of o**4/24 + 11*o**3/6 - 7*o**2. Let c be j(-9). Solve -c*g = 2*g + 8 for g.
-2
Let o(r) = -r**3 - 1. Let w be o(-1). Let q = w + 3. Let m = -6 - -12. Solve 0*k = -q*k - m for k.
-2
Let r(h) = -5*h - 14. Let q be r(-3). Solve -3*s = -2*s - q for s.
1
Let r be 7 + 9/(-3) - 0. Suppose 2*q + 20 = r*q. Suppose 5*o + 2*w = -2*w - q, 4*w + 28 = 4*o. Solve 3*z = -o*z + 5 for z.
1
Let p(r) = 3*r - 3. Let c be p(2). Solve -1 = c*f - 4 for f.
1
Suppose b + 6 = -b. Let f(h) = h**3 + 3*h**2 - 3*h. Let n be f(b). Suppose -4*a + n = -2*m - a, 3 = -2*m + a. Solve m = -l - 1 + 2 for l.
1
Let d = -1 - -5. Suppose -d = -5*i + 3*i. Suppose -5*c + 2*r = 6, c - r + 4 - 1 = 0. Solve c = -i*t - 0*t - 4 for t.
-2
Let n = 64 - 62. Solve n*h = 7*h + 10 for h.
-2
Let b(n) = -n - 4. Let l be b(-7). Let u(k) = k - 1. Let a be u(l). Solve -a*s = 2*s for s.
0
Let n(o) = -o**3 + 7*o**2 + 6*o + 19. Let f be n(8). Solve f*z = -z - 16 for z.
-4
Let o(c) = c**2 + 22*c + 45. Let p be o(-20). Suppose -5 - 5 = -5*w. Solve w*a = p*a for a.
0
Suppose 0 = -4*j + 40. Suppose i - 3*i + j = 0. Solve l - i*l = 12 for l.
-3
Let d(g) = g**2 + g + 21. Let w be (-1)/4 - (-5)/20. Let m be d(w). Solve -3*v = -6 + m for v.
-5
Let p(n) = -2*n**2. Let g be p(-1). Let v = g - -3. Solve i + v + 3 = 0 for i.
-4
Let r = 10 + -5. Suppose -k - 10 = -2*k + 3*z, 3*z = -4*k - r. Solve 0 = 2*w - 3*w - k for w.
-1
Suppose 2*j = 10, 