 6*t - 2*t = r + 22. Let l = r + 16. Solve -25 = -5*f - l for f.
3
Let m(o) = 2*o - 3. Let a be m(3). Solve 0 + 9 = a*b for b.
3
Let d(z) = z + 2. Let p be d(-2). Let n(k) = -3*k - 9. Let y be (40/(-25))/(2/10). Let t be n(y). Solve p*o = 3*o + t for o.
-5
Let l(v) = v + 8. Let g be l(-8). Solve g = -5*d - 4 + 14 for d.
2
Let o(c) = c - 15. Let d be o(13). Let x(y) = -y + 8. Let l be x(6). Let v be (3 - l - -4) + d. Solve v*k + 9 = 3 for k.
-2
Let x be 5 - 2 - (2 - -1). Solve x = -4*j + 4 + 8 for j.
3
Let i(b) = -5*b + 1. Let n = -4 + 7. Suppose d - 4*d - n = 0. Let f be i(d). Solve s - f = 3*s for s.
-3
Let g be 80/45 - 6/(-27). Solve -g*f = -6*f for f.
0
Let m be 0/2 - 12/(-4). Suppose 0 + m = p. Solve f + 2 = p*f for f.
1
Suppose -3*h = 3*d - h - 16, -d + 27 = 5*h. Suppose 2*y = -d - 0. Let q = y - -3. Solve -i = -5 + q for i.
3
Let s = 13 + -13. Solve s = -2*l - 3*l for l.
0
Suppose 5*w - 2*m - m - 5 = 0, -4*m = 4*w - 4. Solve -o + w = 2 for o.
-1
Let c be (-15 - -16)/((-2)/(-4)). Solve 3*z - 4*z - c = 0 for z.
-2
Suppose 0 = -4*h - 4*x - 86 + 22, -2*x - 65 = 5*h. Let y = 1 - h. Suppose 3*s + s - 4 = -5*z, 4*z - 4*s = 32. Solve y = z*a - 0*a for a.
3
Suppose 0 = -5*y - 3 - 27. Let l = 13 + y. Suppose -2*r = -4*p - 20, 2*r - 3 = -p + l. Solve 0 = -r*g + g - 10 for g.
-2
Suppose -1 = -x + 1. Suppose -x*f = -5*v + 19, -3*f + 20 = 2*f + v. Solve 5*y - 17 = f for y.
4
Suppose -4*r + 3*x - 14 = 6, 3*x = r + 14. Let q be (2 - (0 - 15)) + r. Solve -4*h + q = -7*h for h.
-5
Let l(s) = -2*s + 10. Let y be l(8). Let t be 69/4 + y/24. Suppose 5*x - 4 = -4*h + 3, x - h = 5. Solve x*f - t = -2 for f.
5
Let l(u) = -u**3 - 6*u**2 + u + 6. Let b be l(-6). Suppose 2*m - 10 = -b*m. Suppose d - 13 = m. Solve d = -3*t + 3 for t.
-5
Let r = 16 + -14. Let u be -3*(-2)/6*5. Solve -3*m - r*m = u for m.
-1
Let y(v) = -v + 2. Let j be y(-6). Let d(i) = -i. Let h be d(-3). Suppose h*k = -2 + j. Solve 5*o = k*o - 15 for o.
-5
Let u(m) = -m**3 - 5*m**2 + 6*m + 5. Let y = 5 - 11. Let p be u(y). Solve -p = -2*q + q for q.
5
Suppose h + 5 = -5*x, -3*h = 2*h - 25. Let r(t) = -t**3 + t**2 + 1. Let n be r(x). Suppose -l = 4*v - 10, -4*v = -8*l + 3*l - 22. Solve 2*c + n = v for c.
-5
Suppose 2*s + 0*s - 3*d - 21 = 0, 2*s + 2*d = -4. Suppose 2*f = -0*f + 4. Let i = f - 1. Solve g + s = -i for g.
-4
Let s be (2/(-2))/((-81)/(-42) - 2). Solve 0 = 5*i - 1 - s for i.
3
Let a(t) = t + 1. Let m be a(7). Suppose -2*s - 3*d = 2*d + 19, -2*d - 2 = 0. Let v = s + 10. Solve m = v*y + y for y.
2
Let x be (-32)/(-6)*36/24. Solve j + x = -j for j.
-4
Let u = -30 + 33. Solve -u*x - 16 = x for x.
-4
Let o be (-5 + 2)/((-9)/6). Solve 0 = q - o + 1 for q.
1
Let f(u) = -u**3 + 11*u**2 - 13*u + 34. Let d be f(10). Solve i - 3*i = d for i.
-2
Let j(i) = -i**2 + 8*i + 89. Let z be j(-6). Let t = 5 - -30. Solve -t = -z*x - 10 for x.
5
Let s be (-6)/(-27) - (-61)/9. Let a be s/4 + 27/(-36). Solve -16 = 5*t - a for t.
-3
Let x = 9 - 4. Let c(k) = -2*k + 1. Let l be c(0). Solve 14 = -x*j - l for j.
-3
Let w(j) = 32*j**3 + j - 1. Let b be w(1). Suppose 5*i - 36 = 4*x, 0 = -6*i + i + 3*x + b. Solve i = k - 1 for k.
5
Suppose -p - 4*p = 0. Let g be (-1)/(-2)*p/(-2). Solve -2*a - 2*a = g for a.
0
Suppose 2*s = 30 + 16. Solve -4*c + s - 3 = 0 for c.
5
Suppose g + 0*g + 17 = 3*j, -j + 4*g = -13. Suppose -24 = -4*m + 5*c, 0 = -j*m - 5*c + 28 + 47. Solve 3*o - 4 = m for o.
5
Let s(n) be the first derivative of -n**5/120 - n**4/6 - n**3/3 - 1. Let c(i) be the third derivative of s(i). Let v be c(-7). Solve -g - 4 = v*g for g.
-1
Let q(x) be the second derivative of 5*x**4/12 - 2*x. Let j be q(-1). Let d(k) = -k**2 + 7*k - 5. Let o be d(j). Solve i = o*i for i.
0
Let v = -6 - -4. Let y be v/9 + 272/9. Let a be 36/y*(-10)/(-4). Solve a*d - 6 = 9 for d.
5
Suppose 0*d - 4 = -d. Suppose d*i = i + 75. Solve 0 = 5*a - 0*a - i for a.
5
Suppose -18 = -3*a - 6. Suppose -3*n + 1 = -2*g - 3, 0 = 4*g + a*n - 32. Suppose g*v - 36 = -0*v. Solve 2*o - 5*o = -v for o.
3
Suppose -4 = f - 24. Solve -4*t = t + f for t.
-4
Suppose -220 = -4*x + 5*v, -2*v = -4*x - 0*v + 220. Suppose -2*y - 4 + 14 = l, -x = -5*y + 5*l. Suppose -y*g = -4*g. Solve g*n + n = 0 for n.
0
Suppose 3 = 126*k - 125*k. Let b(z) = -3*z - 1. Let w be b(-3). Solve -w*y = -k*y + 20 for y.
-4
Let a(n) = -7*n - 12. Let l be a(5). Let t = -32 - l. Let o be 32/14 + 6/(-21). Solve -t = -o*g - 5 for g.
5
Suppose 0 = 7*q - 2*q - 15, 0 = 4*i - 2*q + 2. Solve 3 = -m - i for m.
-4
Let r(i) = -3*i**2 - 3*i + 6. Let t be r(2). Let x be 4/(1/(t/(-16))). Solve -3*z = -2*z + x for z.
-3
Let m(x) = 2*x**2 - 6*x. Let r be m(4). Let b = -7 + r. Solve 1 = -c - b for c.
-2
Let k be (70/(-21))/((-2)/3). Suppose -15 = -k*a + 5. Solve -a*w - w = 5 for w.
-1
Let r(t) = -2 - 5 + 2*t - t - 2. Let o be r(9). Solve o*y = -2*y - 2 for y.
-1
Suppose 2*p = 10, 3*p = -3*o + 4*o + 14. Solve -4*w = -3 - o for w.
1
Suppose 3*i + 3 = 0, -i = -3*r - 7 + 20. Solve r*z = 5*z + 5 for z.
-5
Let r = 15 - 3. Suppose 5*y = y + r. Suppose 0*m + y*m = 9. Solve m*x = x - 6 for x.
-3
Suppose -2*n + 3*o - 75 = 0, n - 4*n = 5*o + 65. Let l = -26 - n. Solve 2*h + l = 3*h for h.
4
Let b be (-2)/1 - 4/(-2). Let d = b - 0. Suppose -2*m - m = d. Solve -c - 4*c = m for c.
0
Let j = 13 + -9. Let l = 1 + j. Solve l*a = 2*a + 9 for a.
3
Let v(y) = -y**3 + 4*y**2 - 3*y + 2. Let b be v(2). Suppose 2*z - 5*r - 23 + 1 = 0, 2*r + 6 = -2*z. Let x be z - 3 - (1 + -3). Solve x*a - 4*a = -b for a.
1
Let p be ((-1)/(-3)*0)/(-2). Suppose 5*v - 40 = 5*q, p*q + 4*q = 3*v - 21. Suppose 3*t - v = 1. Solve -6*n + 2 = -t*n for n.
1
Suppose 3 = -3*w + 3*z, w + z = -4*w + 1. Solve -x + w = 3 for x.
-3
Let i(n) = -n - 2. Let l be ((-3)/(-2))/((-2)/12). Let b be i(l). Solve 5*u = -13 - b for u.
-4
Suppose 7*d = 8*d - 17. Let r = d - 14. Solve f = -r*f - 16 for f.
-4
Suppose 0*a + 6*a = 30. Solve -3*d = -4*d + a for d.
5
Let s be 24/(-32)*20/(-1). Suppose -s = a + 3*m, 4*m + 25 = -3*a - m. Solve 0 = 4*g - a*g for g.
0
Suppose h + 20 = 6*h. Suppose -h*q + 15 = -q. Solve q*o = o for o.
0
Let n = -2 + 2. Suppose 2*t - 5 = v, t = 3*v - n*v. Suppose 2*a - 58 = -4*x, 4*x - 3*a + 0*a - 53 = 0. Solve -5*b + x = -v for b.
3
Let i(l) = l**3 + 3*l**2 - 2*l + 13. Let y be i(-4). Solve -y*z + 30 = 10 for z.
4
Let k be 1 + (1 - 8/(-2)). Suppose 0*z + z + k = -2*j, 3*j - 5 = -5*z. Solve -s - s - z = 0 for s.
-2
Let t = 9 + -7. Solve -6 = -4*u + t*u for u.
3
Let d(s) = -s + 11. Let y be d(6). Suppose 0*p = -y*p. Solve -2*v = -p*v - 4 for v.
2
Let q be 4/16 - 35/(-4). Suppose 0 = -2*t + 7*t - 45. Let m = q - t. Solve 2*f + 3*f + 20 = m for f.
-4
Suppose 2*p + 2*w = 4, -p - 1 = p + 3*w. Let x = p - 3. Suppose -20 = -2*a + 5*f, 5*a + f - 2*f = x. Solve 0 = -a*o - o for o.
0
Let o(b) = 4*b - 1. Let t be o(1). Let l be (t + 0)/((-18)/(-12)). Suppose -r - 1 = -l. Solve -4*x = -3 - r for x.
1
Suppose 5*n = 13 + 2. Solve n + 3 = -2*i for i.
-3
Let q(o) = 4*o - 10. Let p be q(4). Solve 2*i - 4*i = p for i.
-3
Let w(l) = -l**2 + 7*l + 2. Let z be w(7). Suppose 0 = -z*r - 0*r. Suppose r = 5*k - 9 - 11. Solve 3*b - k = 5 for b.
3
Suppose -4*k = -5*x + 6, 5*x + k - 8 = 3*k. Suppose 2*l + 4*g = -33 - 17, x*l = -2*g - 40. Let w be (4/12)/((-1)/l). Solve 2*i - w = 5 for i.
5
Let l = -2 - -2. Let k = -6 - -9. Suppose k*j = -l*j + 12. Solve 0 = -0*m + 2*m + j for m.
-2
Let h be 4/(-8) + 10/4. Solve h*k = -3*k for k.
0
Let y be 30/36*18/(-20)*-4. Solve 11 + 4 = -y*t for t.
-5
Let q(d) = -d**2 - 8*d + 4. Let c be q(-5). Solve 3*x = -c + 4 for x.
-5
Let s(l) = l + 14. Let n be s(6). Solve -w + 5*w + n = 0 for w.
-5
Let t = -21 - -23. Solve -4*m + 3*m = t for m.
-2
Let u = -11 - -14. Let d(f) = f**u + 8 - 5*f**2 - 3 + 0*f**3 - f. Let s be d(5). Solve s*l = -l - 3 for l.
-3
Suppose 0 = j + y - 8, 0 = 2*j + 5*y - 4 - 27. Suppose 5*n = -2*l - 2*l - 2, -4*l = -n + 14. Let q(t) = t**2 + t + 1. Let i be q(l). Solve -j*o = -2 - i for o.
3
Suppose 5*o = -3*x + 75, -6 - 99 = -3*x + 5*o. Suppose -2*z + 23 = 3*t, -3*z + x = 2*t - 17. Let a be (-1)/(2*1/(-8)). Solve -a*i + 1 + z = 0 for i.
5
Let c = 5 + -4. Let p be c + (2 - (2 + 1)). Suppose 4*h + 4*r - 18 - 6 = p, 5*h = r + 30. Solve -3*b - h = -0*b for b.
-2
Let j = 1 + -1. Suppose j = 3*d - 8 - 4. Let s = 4 - d. Solve s = 3*o - 11 - 