) - (-4)/10. Solve r*w + 2 - 22 = l for w.
4
Let c = -57 - -61. Solve -2*l + c = -4 for l.
4
Let v(s) = s**3 + 8*s**2 - 10*s - 6. Let b be v(-9). Suppose -b*j + j = -6. Solve 0 = -j*c + c for c.
0
Suppose 0 = -6*a + a + 3*m + 19, -4*a + 14 = -2*m. Suppose 0 = a*i - 4*u - 25 + 1, 2*i = -2*u. Suppose -12 = -i*v + v. Solve -s = v*s for s.
0
Let u(s) = -s**2 - 4*s. Let d be u(-4). Solve d = -l - 0*l for l.
0
Suppose 0 = -i + 2 + 2. Suppose -2*f - 36 = -i*f. Let s be f/(-63)*1*-7. Solve 4 = s*l - 0 for l.
2
Let u = 61 - 59. Solve 4*x + u - 10 = 0 for x.
2
Let k = 7 + -3. Suppose 0 = -3*z + h + 7, k*h - 32 = -4*z + 4. Let c be (-268)/(-22) - (-4)/(-22). Solve 0*m - c = -z*m for m.
3
Let p(h) be the first derivative of -h**4/4 + 13*h**3/3 - h**2/2 + 16*h - 3. Let r be p(13). Solve 0*b - r*b = 9 for b.
-3
Suppose 0 = 2*i + i - 24. Let s = i - 5. Suppose 1 + 11 = s*w. Solve 0*b + w = -4*b for b.
-1
Let y(l) = -l**3 + 7*l**2 - 4*l - 7. Let v = 6 - 0. Let a be y(v). Suppose a*h + 5*m - 21 - 24 = 0, -5*h - 3*m = -37. Solve 0 = h*n - 10 - 0 for n.
2
Suppose 2 + 26 = -4*h. Let v = h + 7. Solve v = 2*f - 3 + 1 for f.
1
Suppose 7 = -5*l + 2. Let z = l + 1. Let u(k) = -k**3 + 7*k**2 - 5*k - 2. Let y be u(6). Solve y*h + 0*h = z for h.
0
Let m(i) = i + 3. Let a be m(-6). Let w = a - -8. Suppose -5*v - 4*s = 0, -2*s = 2*s. Solve v + w = -p for p.
-5
Let w(i) = -2*i + 2. Let x be w(-3). Let q = 8 - x. Solve q*c = -4*c for c.
0
Let s(d) = -d - 10. Let q be s(-13). Solve 0 = 5*p - 6*p + q for p.
3
Suppose 0*y = 3*p + y - 3, -2*y + 1 = p. Let j = p - -2. Solve 0 = -8*b + j*b for b.
0
Suppose -34 = -3*o + 2*c, 18 = o - c + 5. Suppose 0 = -s - 4*n - 14, -4*n - 20 = -2*s - 0*n. Suppose 0*b + 10 = s*b. Solve b*y - 2 = o for y.
2
Suppose -4*x - 8 = -5*x. Let f be -1 - -4 - (2 + 8 + -14). Solve x = f*h - 3*h for h.
2
Let j be 6/15 - 124/10. Let v be (j/14)/((-3)/21). Suppose 2*n = -2*c - v + 14, 3*n + c - 10 = 0. Solve n*g = 4 + 2 for g.
2
Let q(p) = p**3 + 4*p**2 - p - 1. Let w be 2 - 1*-2 - -1. Suppose w*b = -30 + 10. Let o be q(b). Solve -o = 4*f - f for f.
-1
Suppose 19 = u - d + 2, -4*u + 3*d = -63. Solve -5*o = -2 + u for o.
-2
Suppose 2*u = u - 15. Let m = u - -11. Let g be (1/1)/(m/(-8)). Solve -g*c = c for c.
0
Let n(j) = j - 3. Let l be n(-4). Let k = 7 + l. Suppose -4*a = -4*h, 3*a = -5*h + 6*a. Solve k = -2*g - 6 - h for g.
-3
Let r = -14 + 24. Let h = r - 10. Solve h = -7*y + 4*y - 3 for y.
-1
Let q be 7/3 + 3/(-9). Solve 0*b = q*b + 10 for b.
-5
Let t = -81 + 115. Suppose -v = -3*d + 3, -5*v - 2*d = 2*d + t. Let g = 9 + v. Solve 0*k = g*k for k.
0
Let z(d) = 21*d**2 + 3*d - 2. Let n be z(1). Let p = 32 - n. Solve -2*i + 0 = -p for i.
5
Let a = -41 + 42. Let g be -1*(-2*1 + 2). Solve g = v + a - 6 for v.
5
Let b(i) = -i**3 + 4*i**2 - 4*i + 3. Let x be b(2). Suppose -2*f + 6*f - 26 = -c, -22 = -x*c + 2*f. Solve 5*y - c + 0 = 0 for y.
2
Let d = -24 + 30. Solve d = o + 2 for o.
4
Let u = 17 + -19. Let l be (-3)/(u*4/40). Solve 6*k = 3*k - l for k.
-5
Let i = -16 - -16. Suppose k + i = 5. Let v be 3*(-2)/9*-3. Solve k = v*a - a for a.
5
Let q be (15/5 - 3) + 2. Solve -q*n = n + 6 for n.
-2
Let m(z) = 9*z - 1. Let h(a) = 3*a. Suppose 0 = -3*n + 4*g, -2*n - 5*g + 27 = n. Let w(k) = n*m(k) - 11*h(k). Let s be w(3). Solve -s = r + 4*r for r.
-1
Suppose -8 = -21*s + 17*s. Solve 5*c - s + 27 = 0 for c.
-5
Let d = 38 + -26. Solve 0 = -4*t + d + 4 for t.
4
Suppose s - 14 = -2*x, -3 = -5*x - 4*s + 29. Suppose 0 = x*j - 3*j - 230. Suppose -5*m + 43 = -a, 5*a = -3*m - m + j. Solve -m = -5*w + 6 for w.
3
Suppose -4*m + 10 = -0*m + 5*j, -5*j = 10. Solve 0*h + m*h = -25 for h.
-5
Let a(p) = p + 1. Let g be a(2). Solve 0 - 6 = -g*d for d.
2
Let y(n) = n**2 - 6*n - 11. Let r be y(8). Solve -6*m + m = r for m.
-1
Let h = -23 - -24. Solve -5 - h = 3*q for q.
-2
Suppose 2*n + 27 = 5*n. Suppose 5*x - 3*s = x + n, 3*s = 5*x - 9. Suppose -3*r - 15 = -3*o, -o + 5 = -0. Solve x = -3*a + 6 - r for a.
2
Let v be 69/15 - (1 + (-7)/5). Solve -r - v = -2 for r.
-3
Suppose -4*m + 22 = -38. Let h be -1 + (m - 3)/3. Solve -2*s = -s - h for s.
3
Let y = -10 + 5. Let s be 2/8 + y/4. Let g = s - -2. Solve -3*b + g = -8 for b.
3
Let k(a) = -a + 14. Let f be k(13). Solve -g - f = -6 for g.
5
Suppose j - 4*j + 84 = 0. Suppose i = -3*x + 22, x + j = 5*x + i. Solve d = -2*d + x for d.
2
Suppose 3*p = -0*p + 5*p. Solve 15 = 5*d - p*d for d.
3
Let f be 15/10*10/3. Suppose -g + f = 2. Solve -g*l = -0*l for l.
0
Suppose 0 = -2*j + 6. Suppose 3*f - 3 = -6. Let y = f + 7. Solve j*d = d - y for d.
-3
Let r be 3*(-2)/(-6)*-4. Let v(d) = -4*d + 2. Let p be v(r). Suppose 0 = -4*y + p + 62. Solve 3*i + 2*i = -y for i.
-4
Suppose -2*p = -5*p + 5*c + 34, 4*p - 5*c = 37. Solve -p*s = -s + 6 for s.
-3
Let b(j) = j**2 - 2*j - 4 + 0*j**2 + 0*j**2. Let z be b(4). Solve p - z*p + 12 = 0 for p.
4
Suppose 5*d - 3*p - 5 = -4*p, -4*d - 3*p = -15. Let g = d - -1. Let q be g - -6*(-2)/(-3). Solve -7 - 3 = -q*f for f.
2
Let t be 4/6 + (-42)/(-18). Solve -t*s - 9 = -0*s for s.
-3
Let f = -94 + 94. Solve -s + 2*s + 1 = f for s.
-1
Suppose 16*d = 15*d. Solve 5*p + 20 - 5 = d for p.
-3
Suppose 0 = -4*n + 2*n + 3*i - 24, 2*n - 4*i + 28 = 0. Let z(h) = -h**3 - 5*h**2 + 6*h + 4. Let t be z(n). Let j be 1 + 5 + -3 + 1. Solve -t*v - j = -3*v for v.
-4
Let k be -5 - 1*-2*1. Let w = k + 1. Let o = 4 + w. Solve 2*f + o = -0*f for f.
-1
Let v = -19 - -21. Solve 0 = a + v + 1 for a.
-3
Suppose 0 = -5*i + 24 + 1. Suppose -2*a - 3*s = -6*s, i*a = -3*s. Solve -3*o + a*o = -3 for o.
1
Let y = -8 - 3. Let g(n) = n**2 + 12*n + 11. Let a be g(y). Solve -4 = o - a*o for o.
-4
Suppose -r + 5*v = 3, 3*r - 2*v = -0*r - 9. Let d be (20 - 9/(-3)) + r. Suppose 0 = 2*x - 4*x + d. Solve -x = 2*q - 2 for q.
-4
Let y(h) = -h - 8. Let x be y(-15). Solve k + x = 4 for k.
-3
Suppose -d + 0*d + 2 = 0. Suppose d*b = b + 5. Solve -b*u = -38 + 13 for u.
5
Let o be 16/6 - (-2)/(-3). Suppose v + 40 = 3*v. Solve v = -o*s + 7*s for s.
4
Suppose -2*y + 2*g = -8 - 2, -2*g + 44 = 4*y. Let q = y + 0. Solve -5*i + 6 + q = 0 for i.
3
Let h(b) = 2*b**2 - b - 1. Let l be h(2). Let m(a) = a**2 + 3*a + 4. Let s be m(-5). Let f = 18 - s. Solve l*q = f*q for q.
0
Suppose -4*i + 18 = 2*p, 21 = 4*p + 3*i - 0. Solve -2*d + p*d = 5 for d.
5
Let o(d) be the first derivative of d**2/2 - d + 2. Let z be o(-1). Let x be z/4 - 26/(-4). Solve -3 + x = 3*b for b.
1
Suppose 11 = 3*c - 4. Let z(y) = -y**2 + 6*y + 9. Let t be z(7). Solve -t*f = -c*f + 9 for f.
3
Suppose -3 = -62*q + 61*q. Solve -q = -u - 0*u for u.
3
Let j = -1 - -4. Let k = 0 - 0. Let a = j + k. Solve 0 = 2*p + 7 + a for p.
-5
Suppose 5*c - 17 = -4*y, -3*c - 4*y = -7*c + 28. Solve c*l - 4*l + 4 = 0 for l.
-4
Let l(f) = -2*f + 37. Let z be l(17). Solve 2*r - z*r = 0 for r.
0
Suppose 2*a - 4 = 4*a - 4*z, 0 = 3*a + z - 8. Solve 0 = -0*s - a*s for s.
0
Suppose 1 - 9 = -2*u. Let n be -3 + -3 + u + 5. Solve j = -2 - n for j.
-5
Let y(g) = g**2 - 6*g - 6. Let b be y(7). Solve 0 = r - b - 4 for r.
5
Suppose 0 = -3*f - 49 + 112. Solve -f*i + 22*i = 0 for i.
0
Suppose -3*v - v = -16. Suppose a - 3*a = 0. Solve -v*p + 5 + 15 = a for p.
5
Suppose -c + 5*g - 20 = 0, 2*c + 20 = -c + 5*g. Suppose 2*j - 7 - 1 = c. Suppose 20 = 4*r + j. Solve h = -6 + r for h.
-2
Suppose 0 = 5*q + 2*o - 30, 2*q - 50 + 9 = 5*o. Let c = q - -4. Solve c = 2*y + y for y.
4
Suppose 2 = 5*u - m + 1, 4*u + 4 = -4*m. Suppose u = d + d. Solve d = y + 3*y + 20 for y.
-5
Let t be 1/((-6)/(-9) - 1). Let z(o) = -o**3 - 2*o**2 + o + 4. Let q be z(t). Let p be 2/q - 177/(-15). Solve -2 + p = -2*h for h.
-5
Suppose 0*j = 5*j + j. Solve 2*b - 8 = -j*b for b.
4
Let u = -4 - -11. Solve u*h - 8 = 3*h for h.
2
Let i(a) = 2*a**2 + 9*a - 5. Let d be i(-5). Solve d = 3*b - 4*b - 5 for b.
-5
Let i = -62 + 67. Solve 0 = 5*h - i - 10 for h.
3
Let f(b) = b**3 - b**2 + 13. Let z be f(0). Solve 5*n = -12 - z for n.
-5
Let l be 2 + (-1)/1 + 1. Let n(q) = -2*q - 7. Let u be n(-7). Suppose -20 = l*f - u*f. Solve f*x - 3 = 5*x for x.
-3
Let a(z) = -z**3 + 7*z**2 + 8*z + 3. Let b be a(8). Let r(f) = -2*f - 7 + f - f + 3*f. Let l be r(8). Solve -2*o - b = l for o.
-2
Suppose -11 = -5*v + y, -3*y + 0 = -12. Solve -v*j + 12 + 0 = 0 for j.
4
Let b = 30 - 28. Solve 0*z + b*z = 10 for z.
5
Let m(