ose 2*v - 2*r + 18 = 0, 5*r = -3*v - 11 - t. Let x be ((-6)/4)/(3/v). Solve -2*k = 2*k - x for k.
1
Let d(a) = -a**3 - 2*a - 2. Let w be d(-2). Suppose -w = -4*u - 2. Solve -g + u = -3 for g.
5
Let x = 10 - 10. Let r = 23 + -21. Solve r*p = -x + 4 for p.
2
Let p be 2/(-4)*(-14 + 8). Let d be 0 - (p - 1 - 2). Solve -8 = -4*l - d for l.
2
Suppose 17*m - 4*m = 0. Let s be 4/(-10) - (-157)/5. Suppose t + 4*n = 18, 5*t + 9 - s = -3*n. Solve b + b + t = m for b.
-1
Let v be (-7 - -8) + (3 - 0 - 0). Solve 2 = v*r - 10 for r.
3
Let z = -12 + 13. Solve 4*f = -21 + z for f.
-5
Let m(f) = f**3 - 3*f**2 + f - 2. Let n be m(3). Let g = -8 + 14. Suppose 0 = -2*u + g*u - 4. Solve -b = -u - n for b.
2
Let y = 17 + -13. Suppose 3*h - 4*j - 10 = 18, -24 = -2*h + y*j. Solve 14 = -h*o - 2 for o.
-4
Let n(g) = g**3 + g**2 - g - 4. Let q be n(0). Let h be (-2 - 14)*5/q. Solve d - 5*d = h for d.
-5
Suppose 2 = 5*p - 28. Suppose 8 = 3*f - 5*j - 7, -f - 9 = 3*j. Suppose z - p*z = f. Solve -4*y + 8 = -z*y for y.
2
Suppose -2*o + 3*o = 0. Solve o*z = 2*z - 4 for z.
2
Let x be 52/3 + (-3)/9. Solve -4*h = -x - 3 for h.
5
Suppose -8 = -3*q + 2*q - 4*f, 0 = -q - 2*f + 4. Suppose 0 = -b + 3*d + 3, 0 = -0*b - 3*b - 3*d + 9. Suppose q = -l + b*l. Solve l = -0*z + 5*z for z.
0
Suppose -2*m = -5*x + 19 + 5, 4*x = -3*m + 10. Let o = 19 + x. Suppose o = 5*h - 4*f, -3*h + 2 = 5*f + 3. Solve 0 = 3*y - h for y.
1
Let a be 2/8 - 36/16. Let p be (-2)/(-4) - 3/a. Suppose 0 = -p*x - 10, -x + 2 - 12 = -5*m. Solve -3 = -2*n + m for n.
2
Suppose -4*u = -0*u - 2*g - 26, 0 = -5*u + 5*g + 20. Suppose -3*z + 9 = 3*t, 3*t - z + 2*z - 15 = 0. Solve t = -5*y - u for y.
-3
Suppose -3*s + 5 = i, 9 = -2*s + 4*i - 11. Let y(l) = -l - 4. Let c be y(-7). Solve s*w + w = -c for w.
-3
Let y(u) be the first derivative of -u**5/120 + u**4/3 - 2*u**3/3 - 1. Let g(b) be the third derivative of y(b). Let h be g(6). Solve 0 = x - h for x.
2
Let d(c) = -c**2 + 2*c + 4. Let i be d(3). Suppose 5*g - 49 = i. Let n be (2/4)/(1/g). Solve 10 = -n*o - 0*o for o.
-2
Let d(x) = 2*x - 5. Let m be d(4). Suppose 4*y = 2*l - 26, 2*l - 5*y - 40 = -m*l. Let p = 7 + -4. Solve 0 = -l*i - 0*i + p for i.
1
Let t(u) = -2*u. Let s be t(-2). Solve 3*f - 3 = s*f for f.
-3
Let r(w) = w. Let q(z) = 3*z + 3. Let f(b) = -q(b) + 4*r(b). Let t be f(9). Suppose 9 = 5*u - 2*h - 6, 2*u = 4*h + t. Solve u = -2*i + i for i.
-3
Let a = 3 + -2. Let t(n) = -3*n + 18. Let o be t(6). Let y = a - o. Solve -4*d - y = 7 for d.
-2
Suppose -2*l = 2*l - 64. Let d = -1 + l. Let u(f) = -f**3 - 8*f**2 - 8*f - 3. Let b be u(-7). Solve d = b*h + h for h.
3
Suppose 0 = 4*z - 5*d + 1, 4*z + 3*d + 0*d = -25. Let k(w) = w + 2 + w - 6*w - 5*w**2 - w**3. Let c be k(z). Solve -c*q + q = 1 for q.
-1
Suppose a = -a + 40. Let s = a + -19. Solve -d = -6 + s for d.
5
Let u = -25 + 25. Solve u = -0*d - d for d.
0
Let a = 20 - 12. Let t = 5 - a. Let n be -1*t/9*15. Solve -b = -2*b - n for b.
-5
Let r(g) = 2*g. Let a be r(1). Solve -a*s - 4 = -10 for s.
3
Suppose 4*z - 3*w - 32 = 0, -40 = -5*z - 3*w - 2*w. Let i(o) = -z + 3*o - o - o. Let x be i(10). Solve -x*c = -0*c for c.
0
Let s(z) = -13*z - 2. Let t be s(-2). Let i = t - 6. Let b be 76/18 + (-4)/i. Solve 4*l = b + 12 for l.
4
Let z(f) = 2*f**3 - f. Let h be 2*2/(-12)*-3. Let c be z(h). Let v be 0 + c + (-3 - -2). Solve v = y + 1 - 4 for y.
3
Let h be (-3 + 3)/(-2 + 3). Solve h*t + 2*t = -10 for t.
-5
Let j be (-8)/(-3)*(-75)/(-10). Solve 4*q - j = -0 for q.
5
Let r be (-11)/(2 + 0 + -3). Let j = -8 + r. Solve -3 - 3 = -j*h for h.
2
Suppose 0 = -3*l - 5*m + 28, 0 = -2*l + 3*m - 0*m + 6. Solve 3 = -l*i + 3*i for i.
-1
Suppose 2*d - 5*d = -3. Let s be d/(1/1) - -1. Let r = 5 - 3. Solve r*g + s*g + 16 = 0 for g.
-4
Let d be (-4)/(-14) - 80/(-14). Solve 5*i - d = 4 for i.
2
Suppose -2*i - 2*h = -8, h - 2*h = -2*i + 14. Solve -d = 2 - i for d.
4
Let s be (-68)/(-24) + (-2)/(-12). Solve 0 = -s*f - f - 12 for f.
-3
Let n(v) = -7*v + 3 + 8*v - 2. Let j be n(5). Solve -2*i + 0*i = j for i.
-3
Let l(r) = r**2 - 2. Let o be l(-2). Let w = -16 - -61. Suppose -17 = 4*x - w. Solve -x = a - o for a.
-5
Suppose 5 = -t, 5 = -q + 3*t + 28. Let g = q - 18. Let f = -7 - g. Solve -f*k - 13 + 1 = 0 for k.
-4
Let f be 0 + 1 - (-3 - -1). Suppose 24 = 5*o - 16. Suppose -2*h + r = -3, f*h = -4*r - o - 4. Solve h = -3*k - 6 - 9 for k.
-5
Let j be 158/(-14) + (-6)/(-21). Let f = j + 8. Let d be -3*(11/f - -3). Solve -d*k = k for k.
0
Suppose -4*n - 10 = 3*y, 10 = -5*n - 10. Let u be (y - 0) + 0/6. Solve 18 = 4*f - u for f.
5
Let x be (1 - (-17)/(-5))*(-10)/4. Solve -x = -4*c + 2*c for c.
3
Let f = 105 - 103. Solve 0 = -2*c + 3*c - f for c.
2
Let g(k) = 4*k**2 + 5*k + 2. Let o be g(-2). Solve 0 - o = -2*y for y.
4
Let w be ((-2 - -3) + 0)*5. Solve -y - w = 4*y for y.
-1
Suppose 0*j - j = -4. Suppose 0 = -5*t + 3*d + 13, -d + 5*d = -4*t + j. Suppose 2*u - 4*v + v = 21, -t*u = v - 1. Solve -u = -0*x + 3*x for x.
-1
Let a(g) = 2*g**2 + 2*g - 2. Let d be a(-2). Let y be (4/1)/d - 0. Let l be (1 + 2)/((-18)/720*-24). Solve l*o = y*o for o.
0
Suppose 0 = p - 4*b + 2*b + 3, -3*b = -5*p - 43. Let y be -5 + 8 - (p - -2). Solve -3*o + y = o for o.
3
Let r = -48 - -33. Let g be (-96)/r + 3/5. Let j(v) = v**3 - 6*v**2 - 6*v - 3. Let c be j(g). Solve -c = 3*d - 7*d for d.
1
Let w be (3/(6/8))/(-1). Let x(d) = 4 + 17*d - 7*d - 9*d. Let l be x(w). Solve l*j - 20 = -4*j for j.
5
Let r be 2 + -2 + -1 + 7. Solve -2 = -2*l + r for l.
4
Let j(o) = o. Let k be j(2). Solve -3 = d + k*d for d.
-1
Suppose -2*m - 2 = -4. Suppose 5*i + 14 = n, -3*n + 0*n = -2*i - 16. Let a be (14 + -17)/(3/i). Solve 0 = u - m - a for u.
3
Let s(k) = k - 2. Let u be s(10). Suppose -4*r = -u - 0. Solve -2*q - 20 = r*q for q.
-5
Let j be 5 + -3 + 1*2. Suppose 5*g - 12 = -0*t - 2*t, 36 = j*g - 5*t. Solve -3*c = -g*c + 2 for c.
2
Let i = 4 + -1. Suppose 2*x = 4*r - 12, 2*r - i*x = r - 7. Solve -r*t + 30 = 5 for t.
5
Let a be (9/6)/(2/(-32)*-6). Solve -2*q - 8 = -a*q for q.
4
Let z(v) = -v**3 - 10*v**2 + 5. Let h be z(-10). Solve h*i + 0*i = -20 for i.
-4
Suppose o = -2*o. Suppose o = 5*w - 4*q + 10, -2*q + 9 + 1 = -5*w. Let b = 4 + w. Solve 0*j + 2*j = b for j.
1
Let i be ((-25)/(-4))/5*4. Let y = -12 + 31. Suppose -4*o + y = -1. Solve -6*m + o = -i*m for m.
5
Let m = -66 + 66. Solve -4*y = -m*y - 12 for y.
3
Let v(t) = t**3 - 10*t**2 - t + 7. Let a be v(10). Let l = a - -6. Let q be 1*0/(l*-1). Solve -3*k - 5 - 1 = q for k.
-2
Suppose 3*j + 52 = 5*x, -6 = x + 4*j + 2. Let h = -3 + x. Solve h*b - b - 20 = 0 for b.
5
Let p(a) = -a**3 - 2*a**2 - 2*a. Let s be p(-2). Solve s - 1 = x for x.
3
Let i = -30 + 39. Solve 4*d - 5 = -i for d.
-1
Let f(q) = q**2 - 1. Let b(u) = -2*u - 4. Let g be b(-5). Suppose -w + g = 2*w. Let i be f(w). Solve 7 = -i*m + 1 for m.
-2
Let v(n) = n**3 + 5*n**2 - 6*n + 7. Let j be v(-6). Let y be (-2)/(-1)*-1 + j. Solve y*a = 4 + 1 for a.
1
Suppose -6*t + 6 = -4*t. Suppose -2*q + 24 = t*b, 2*q + 9 = -q. Let r = 7 + -5. Solve 4*n + b = r for n.
-2
Let r be (8/(-5))/((-6)/15). Suppose 0 = d + 2*m - r, -6*m - 1 = -3*d - m. Suppose -10 = -d*h - 5*c, 3*h - 7*h + 2*c = 4. Solve h*g = g for g.
0
Let v(f) = -f**2 - 8*f + 13. Let o be v(-9). Let k be o - (0 - 4)/(-4). Solve -2*a - k = -11 for a.
4
Let c(o) = -o + 11. Let l be c(8). Solve 0 = l*w - 0*w for w.
0
Let z(m) = -m - 15. Suppose 42 = -3*q - 3. Let i be z(q). Solve i*h - 2*h = 0 for h.
0
Let c = 2 - -1. Solve 2*h - 3*h - c = 0 for h.
-3
Let g be 1/(3/9 - 0). Solve -n + 10 = -g*n for n.
-5
Suppose 8*w = -w. Solve w = 5*m - 10 - 5 for m.
3
Suppose p + 0*p - 2 = 0. Suppose -2*m + 12 = p. Solve m*v + 12 = v for v.
-3
Suppose -2*d - 6 = -2*x, 0*x - 2*d - 6 = -4*x. Solve 0 = -4*j - x*j for j.
0
Let i(r) = r + 3. Let t be i(1). Suppose x + 20 = 5*x. Solve -z + x = t*z for z.
1
Let t(q) = -q + 1. Let k(d) = -6*d + 4. Let j(r) = -k(r) + 5*t(r). Let a be j(2). Solve -h + 1 - a = 0 for h.
-2
Let g = -11 + 11. Let y be (-1)/4 - (-1)/4. Solve y*j + j = g for j.
0
Let c be ((-27)/18)/(6/(-8)). Suppose -c*d - 2*d = -4. Solve 0 = 2*a - d - 1 for a.
1
Suppose 2*x = -10, 0 = 5*q - 4*x - 41 + 1. Let y = q + -5. Let l = 3 + y. Solve -l = -u - u for u.
1
Let m be 203/35 - 5/(-25). Solve m*j - 4*j = -6 for j.
-3
Suppose 0 = -y - 4*y - 5*r + 35, 