. Suppose -4*l - 2*r = 2*r - 88, -l + 5*r + m = 0. Solve 0 = 3*t + 2*t - l for t.
4
Let s = 0 + 9. Suppose -3 = s*x - 10*x. Solve -4*b + 1 = -x for b.
1
Suppose -5*h - 44 = -16*h. Solve 2*b - 6 = h for b.
5
Let x(f) = 3*f - 2. Let s be x(2). Suppose 4*t + 2*q + 14 = 0, -9 = -3*t + s*q - 36. Let b = 10 + t. Solve 7 + 3 = -b*c for c.
-2
Suppose -3*c - 46 = 2. Let n = -16 - c. Solve n*p - 10 = 2*p for p.
-5
Let o(t) = -2*t - 16. Let b be o(-8). Solve -x + b*x = -5 for x.
5
Suppose -25 = 4*v - 9*v. Let o be 2/(3/15 + 0). Let h = 15 - o. Solve h = v*m - 5 for m.
2
Suppose -4*b - 9 = 11. Let n(f) = -f**3 - 3*f**2 + 4*f + 6. Let u be n(b). Let i be 100/u - 4/(-18). Solve a = 4*a + i for a.
-1
Let b(w) = -4*w + 4*w + 5*w + 4 + w**2 + w**2. Let j be b(-2). Solve 2*i = j - 0 for i.
1
Suppose -2*i = -7*i - 8*i. Suppose x - 14 = -x. Solve i = -3*d - x - 8 for d.
-5
Let f(v) = -v**2 - 7*v - 6. Let r be f(-4). Let u be 1/r - (-62)/(-12). Let t be u/(-25) + (-1)/5. Solve t = -2*k - 4 + 2 for k.
-1
Let l(b) be the first derivative of b**3/3 - 4*b**2 + b - 1. Let h be l(8). Suppose 3*j + h = 10. Solve -n - 4 = j*n for n.
-1
Let f(z) = z**2 - 4*z + 3. Let b be f(7). Suppose -4*h + 2*v + 12 = v, 5*h + v - b = 0. Suppose 2 = -0*g + 2*g. Solve -g = -3*u + h*u for u.
-1
Suppose -2*m + 3*m - 4 = 0. Solve -f = -m - 1 for f.
5
Let g = 88 - 85. Solve -5 = -4*v + g*v for v.
5
Suppose 5*r = 3*c + 6, c + 4*r = 6*c + 10. Let s = c - -8. Suppose 0 = l + 1, -2*g + l + 6 = -l. Solve -g*f + s = f for f.
2
Let r = -6 + 10. Let h = 61 - 88. Let u be 3*6/h*-3. Solve 0 = -u*t + r - 14 for t.
-5
Let j(g) = -g + 4. Let m be j(0). Let i = -2 + m. Suppose u + i*u = 2*w + 22, -3*u - 3*w - 3 = 0. Solve 2 = 2*a - u for a.
3
Let x(m) = m**3 + 2*m**2 + 2*m + 1. Let n be x(-1). Suppose 4*r - r - 6 = n. Solve -r*s + 1 = 7 for s.
-3
Suppose 0 = d - 6 - 1. Solve 2*t - 1 = d for t.
4
Suppose -2*v - 5 = -37. Solve -t = 3*t - v for t.
4
Suppose -1 = -y + 4. Suppose -w - 11 = -2*i, -w = 4*w + y. Suppose 5*z - 75 = -i*o, 0 = -2*z + 3*o + 2*o + 37. Solve 0*k = -4*k + z for k.
4
Let x(j) = -5 - 6 + 2 + 4 + j. Let f be x(7). Solve -f*u - 3*u = 25 for u.
-5
Let x(z) = -z**3 - 19*z**2 + z + 22. Let j be x(-19). Solve -j*y - y = 0 for y.
0
Let y(f) = f. Let d be y(2). Solve -6*w = -d*w + 16 for w.
-4
Let l(y) = -y + 9. Let q be l(7). Solve -q*k = 2*k for k.
0
Let p be 84/20 - (-1)/(-5). Suppose -j - 3*n + p = n, 0 = 5*n + 5. Let b be (j/(-5))/(4/(-30)). Solve 0 = -4*a - 4 - b for a.
-4
Suppose 0 = 7*d - 9*d + 26. Solve 5*i = -7 - d for i.
-4
Let n(c) = -c - 2. Let u be n(-4). Suppose -l + 15 = u*l. Let v be (105/(-6))/l*-4. Solve 5*p = -6 - v for p.
-4
Let r be -3 + (-1 - 0) + 3. Let k be -2 + r - (-3 - 8). Solve -2 + k = 2*y for y.
3
Let o(d) = -d**3 + 12*d**2 + 12*d + 15. Let y be o(13). Solve -3*s = -y*s + 1 for s.
-1
Let v be 6*(-3)/(-9)*2. Solve -2*k + v = 2 for k.
1
Let q(h) = 2*h - 13. Let n be q(8). Solve 8 = -n*r - 4 for r.
-4
Suppose 2*s = -3 + 7, -44 = -3*t - s. Let b be 2/9 + (-94)/18. Let w = t + b. Solve 4*a = a + w for a.
3
Suppose 0 = y, -2*y - 60 = 2*d + 3*d. Let a be (-4)/d - 23/(-3). Solve a*c = 3*c + 10 for c.
2
Suppose -t + 7 = 4*k, -4*t - 5*k = 5 - 22. Solve t - 7 = 4*h for h.
-1
Suppose 4*j + 5*u - 1 = j, 4*u = j + 11. Let c be (-6 - (-6 - j))/(-1). Solve 4*y - c = 5 for y.
2
Suppose 4*d + 5*m = 22, d - m = -5*m + 11. Let v = 2 + -2. Suppose -5*j = 3*h - 19, -2*h + v*h - j + 8 = 0. Solve 2*k = h*k - d for k.
3
Suppose 0 = -2*r + 6*r. Suppose 7 = -v + 3. Let f be 3/(-6)*(-2 + v). Solve n - f*n + 2 = r for n.
1
Suppose q = -2*p + 20, 0 = -4*p - 0*p + 4*q + 16. Let a(y) = 4*y + 8. Let u be a(-7). Let g = u - -37. Solve g + p = 5*k for k.
5
Let o = 8 + -6. Suppose -f = 3*h - 5*h - 8, 2*f - h = 7. Solve 4 = f*y - o for y.
3
Let w be (3/(-4))/((-9)/36). Solve 1 = w*c - 2*c for c.
1
Suppose -2*m - 20 = -7*m. Solve m*w = -16 + 4 for w.
-3
Let c(w) = 3*w**2 + w + 2. Let y be c(-1). Solve 2*m - y + 0 = 0 for m.
2
Let b(s) = -4*s**2 - 4*s. Let a be b(-3). Let z be (-6)/10 - a/15. Solve -2*q - 9 + z = 0 for q.
-4
Let b be 1 - 1/(3/(-3)). Let q be 4 - (-3 + b) - 2. Solve 2*m + 5 = q for m.
-1
Suppose -5 = -4*q + 27. Solve 0 = -10*t + q*t - 2 for t.
-1
Let q(h) = -h + 3. Let z(a) = a - 4. Let n(d) = 3*q(d) + 2*z(d). Let t be n(1). Suppose t*v + 8 = 4*v. Solve -v = -2*f + 8 for f.
5
Suppose -30 = -v - 5*v. Solve -v + 0 = -m for m.
5
Let j(i) = i**2 - 12*i + 22. Let d be j(10). Solve -a - 3 = d*a for a.
-1
Let d(r) = -r**2 + 4*r + 5. Let u be d(4). Suppose -40 = -3*y - u*q, 2*q + 16 = 5*y + 1. Solve 3*f + 11 = y for f.
-2
Suppose -5*o - 24 = 1. Let j = 7 + o. Suppose -3*x - p - 5 = 0, 15 = -4*x - 5*p - 10. Solve -j*n + x*n - 6 = 0 for n.
-3
Suppose 7*n + 40 = 2*n. Let i be -2 + 4 - (7 + 1). Let z = i - n. Solve -v - z = -2*v for v.
2
Let p = 9 - 4. Let r(z) = -2*z + 1. Let n be r(-6). Suppose p*q + 3*j = 30, -j - 11 = -4*q + n. Solve -3*x = -x - q for x.
3
Let q = 6 - 4. Suppose 0 = -5*t - 2*c, -25 = -c - 4*c. Let y = 4 + t. Solve 0 = y*o + q*o for o.
0
Let a = -1 + 1. Let z(s) = -s**3 - 3*s**2 - s - 5. Let p be z(5). Let m be p/(-51) - (-2)/(-17). Solve m*q - 13 - 7 = a for q.
5
Suppose 0 = -6*n + 3*n. Suppose -g = 5*d + 2 + 1, 0 = 2*g - 4*d + 6. Let j be (g - n)*1/(-3). Solve -c + 2 = j for c.
1
Let p(a) = 3*a**2 + 2*a - 2. Let s be p(-2). Suppose -s = 5*r - 31. Solve k + r = 6*k for k.
1
Let a = 14 - 11. Solve a*j = -j for j.
0
Suppose -h - 7*w + 12 = -3*w, -w + 3 = -3*h. Let p = 14 - -1. Solve -5*f = -h*f + p for f.
-3
Let p(a) = -a**3 - 11*a**2 + 11*a - 7. Let v be p(-12). Let g be (-1)/(10/(-6) - -2). Let h = g + v. Solve 0 = -h*d - d for d.
0
Suppose m = 4, 0*m - 12 = 2*i - 4*m. Let y = i - -2. Solve y = 2*j - 4 for j.
4
Let q = -27 + 25. Let i be (-1 - q)*(-2 + 2). Solve 5*x + 1 - 16 = i for x.
3
Suppose 0*g - 4*g = -16. Suppose 0 = -m + g*m. Solve m*o - 2 = -o for o.
2
Let o be 3/18 + (-13)/6. Let a(v) = -v**3 + 3*v + 1. Let i be a(o). Suppose 0*b + 5*b + 1 = -u, 0 = -2*u - 5*b + 8. Solve 6 + u = i*t for t.
5
Let f(h) = -2*h + 3*h**3 + 0*h**3 - 1 + 3*h + h**3. Let c be f(1). Solve c - 8 = 2*k for k.
-2
Let y(p) = -p**3 + 4*p**2 + 2*p - 4. Let m be y(2). Solve -3*o = -5*o - m for o.
-4
Let w(o) = -2*o**2 - 17*o - 25. Let d be w(-6). Solve 0 = 4*t - d*t + 3 for t.
3
Suppose -4 = -5*m + m. Solve 0 = -2*d - m - 3 for d.
-2
Let q(w) = 0*w - w**2 + 2*w - 5 + 2*w + 11. Let c be q(5). Suppose -n + 2 = c. Solve 0 = 5*l + 11 - n for l.
-2
Let b(v) = v - 5. Let y be b(4). Let u be (y*16 + 2)*-2. Let n = 29 - 21. Solve n - u = -5*p for p.
4
Let q = -201 + 204. Solve -5 = 2*a + q*a for a.
-1
Let t = 7 + -2. Suppose h + 3*q = -2 + 14, h = 3*q - 6. Solve 0 = t*w - h*w - 4 for w.
2
Suppose -15*b + 18*b = 36. Solve -2*c + 4 = b for c.
-4
Suppose 0*f - 2*f - 4*k - 6 = 0, -4*f = -k - 15. Suppose -48 = -4*p - 4*m, 3*m = f*p - m - 50. Let x be ((-24)/p)/((-3)/21). Solve -5*u = x + 3 for u.
-3
Let n(l) = l**3 + l**2 - l + 1. Let f be n(-2). Let r = f + 4. Let m = 2 + -1. Solve -h + r + m = 0 for h.
4
Suppose 0*w + 3*w = 6*w. Solve w*a = -5*a - 20 for a.
-4
Suppose 14 = 3*z + 2. Suppose -3*i = -z*i. Solve i = 4*o - 19 + 3 for o.
4
Let r(s) = -s**3 - 11*s**2 - 3*s - 8. Let o be r(-11). Solve 5*j - o = -0*j for j.
5
Let m = -74 - -74. Solve -4*u + m*u - 20 = 0 for u.
-5
Let x(h) = -h**2 - 6*h - 2. Let d be x(-4). Let i be ((-9)/d)/((-2)/(-4)). Let j(f) = -f + 2. Let t be j(i). Solve -t*q - 8 = -33 for q.
5
Suppose 12 = -0*s - 3*s. Let f be (-12)/s - 3/3. Solve -f + 4 = -w for w.
-2
Suppose 4 = 3*q + 1. Suppose -4*c - 16 = -0. Let n be -2 - (c + 0 + q). Solve -17 + n = -4*j for j.
4
Suppose -2*p = 5*u - 20, -2*p - 4*u = -u - 20. Solve -13*w = -p*w + 6 for w.
-2
Suppose -w = -0*w - 6. Let s(c) = 2 - 5 + 2*c - 1. Let i be s(3). Solve 2*z + i = -w for z.
-4
Let t(b) = 2*b - 4. Let q be t(3). Let l(p) be the second derivative of p**5/20 - p**4/12 + p**3/6 + 2*p. Let d be l(0). Solve -q*k + 15 - 5 = d for k.
5
Suppose 0 = 13*q - 10*q. Let i(p) = -p**3 + 6*p**2 + 2. Let g be i(6). Solve q*n - g*n = 6 for n.
-3
Let x(n) = -n**2 + 6*n + 10. Let y be x(7). Suppose d - 1 = 1. Suppose -5*p + 40 = -0*l + l, 0 = d*p + 4*l + 2. Solve p = -y*v - 0*v for v.
-3
Let h = -4 + 4. Let k(i) = -i + 5. Let z be k(h). Solve 5*y - z =