. Suppose -2*u = -u + 2, 4*f - 5*u + 34 = 0. Let r be y(f). Solve t = g + 3 - r for g.
4
Suppose 36 = 2*h - 4. Suppose -h = -r - r. Solve -o = 4*o - r for o.
2
Let y(m) = m**2 - m + 2. Let t be y(0). Suppose 3*p - t*p = 6. Solve l + 10 = p*l for l.
2
Suppose 0 = -y + 3*k + 10 - 58, -3*y = -5*k + 140. Let h = y + 20. Let l = h - -25. Solve l = -3*p + 4 + 2 for p.
2
Let y(m) = m + 0*m + 3*m**2 - 68*m**3 + 0*m + 67*m**3. Let s be ((-1)/2)/(8/(-32)). Let d be y(s). Solve 5*h - 4 - d = 0 for h.
2
Suppose 0*n = -5*m + 4*n + 15, 0 = 5*m - 3*n - 15. Suppose m*f - 39 = -5*v + 17, -3*f + 32 = -v. Suppose f*z - 10*z - 6 = 0. Solve z + 12 = 5*g for g.
3
Suppose 565*u - 152 = 557*u. Solve -36 = -u*o + 7*o for o.
3
Let x = -120 + 123. Let l = 10 + -3. Suppose x*o - 2*o - 21 = 4*s, -2*o + s = -l. Solve 4*y = o + 3 for y.
1
Let y = -5 - -10. Suppose -y*i = -0*i - 105. Let h = 23 - i. Solve h*l - 1 = 1 for l.
1
Suppose 0 = 4*x + 3*c + 4, 8*c = 3*c - 20. Suppose -j - 7 = -2*s, -s - 4*j + x = -24. Solve -5 = -7*r + s*r for r.
5
Let c(u) = u**3 - 3*u**2 + 3. Let s be c(3). Suppose -s*p = -10 - 5. Solve p*z - 6 = 3*z for z.
3
Suppose l + 5*v + 9 = 0, -l - 5*v + 3*v + 3 = 0. Solve -9*c = -l*c - 8 for c.
-4
Let n(t) = -t**2 + 6*t. Let w be n(6). Suppose 0*b + b + 6 = w. Let m be (-9)/b*(2 - 0). Solve -4*z = -m*z for z.
0
Suppose 0 = -11*s + 13*s - 4*g + 8, -5*g + 20 = 0. Suppose -4*d + 12 = -4*j - 4, 3*j + d - 4 = 0. Suppose l - 6*l + 40 = j. Solve l*b = s*b - 8 for b.
-2
Suppose 0 = -5*k + 24 - 9. Let a be k*((-111)/9 - -1). Let v = a + 47. Solve 3*r - 1 = -v for r.
-4
Suppose 4*h + 18 = 6*h. Suppose 5*x - h = 11. Suppose x*u - 28 = -4*r, 3*u - u - r - 14 = 0. Solve 3*c - u*c = 0 for c.
0
Let w(s) = 17*s - 39. Let j(i) = 10*i - 20. Let m(p) = -7*j(p) + 4*w(p). Suppose -5*z + 3*h - 77 = 0, 19 = 4*h + 3. Let o be m(z). Solve -o = 4*v - 2 for v.
-2
Let k(i) = i + 5. Let p be -5 + 2 - (-6 + -2). Suppose 3*x = -4*q + p, -3*q + 3*x = -32 + 2. Let c be k(q). Solve 2*h + 0*h = -c for h.
-5
Let r be 1*-2*(-40)/16. Suppose 2*s + 0*d = -d + 9, r*s = 3*d + 39. Solve -5*l = s + 19 for l.
-5
Suppose 8*i - 74 - 6 = 0. Suppose l + 2 = i. Solve 0 = -5*h - l - 2 for h.
-2
Let l = 38 + -37. Let i be 3*(-4)/12 + 2/l. Suppose -4*m - 11 = 5*a, 4*m - 7 = -3*a + 5*m. Solve d + a = -i for d.
-2
Let v = 271 + -263. Solve 0 = -5*a + v*a for a.
0
Suppose 3*m = 7*m - 4. Let l(f) = -f**3 - 2*f**2 + 18*f + 36. Let p be l(-2). Suppose 3*r = o + 8, r + p*o = 2*o + m. Solve 15 = -0*b - r*b for b.
-5
Let d be ((-3)/(-9)*-1)/((-16)/96). Suppose 0 = -3*q + 12, 4*q - 5 = 3*n + 11. Solve n = -d*u - 12 + 2 for u.
-5
Let h = 233 + -103. Let k = h + -130. Solve -c + 1 = -k for c.
1
Let b = -49 + 68. Suppose -v = 4*v + 3*a - 31, 2*a = -3*v + b. Solve 2*c + 6 = v*c for c.
2
Let v be (2/8)/(85/680). Suppose 0 = -10*h + 5*h + 3*s + 87, 5*s = -5*h + 55. Suppose z - 12 = -3*z. Solve z*m - h = -v*m for m.
3
Let q be 1/(-2)*1 - 3/(-6). Suppose q = -23*s + 19*s. Solve s = -0*g - g for g.
0
Let j = -165 - -174. Solve -2*o + 13 - j = 0 for o.
2
Let s be (-2)/(-7) - 228/(-84). Solve -31*j = -32*j - s for j.
-3
Suppose -20 = -4*p - 4*v + 84, -4*p + 90 = -3*v. Let y(w) = w**3 - 8*w**2 - 11*w + 6. Let c be y(9). Let a be (12/c)/((-2)/p). Solve 5*h = -a - 13 for h.
-5
Let f(x) = -x**3 - 21*x**2 + 4*x + 116. Let i be f(-21). Solve i*u + 30 = 17*u for u.
-2
Suppose -2 - 23 = -5*m. Solve -13 = m*g + 7 for g.
-4
Suppose 10 = -6*g + 82. Suppose g*u - 13 = 23. Solve 2 = -u*r - 1 for r.
-1
Suppose -2*n - 648 = 4*n. Let y = -104 - n. Solve -2*u + 2 = -y for u.
3
Suppose -3*r = 2*u - 12, -3*u - 3 = -5*r + 36. Solve 2*a - r*a - 20 = 0 for a.
-5
Let l(q) = 2*q**2 + 2*q + 3. Let w(s) = -s**2 - s - 1. Let m(y) = -l(y) - 3*w(y). Let b be m(-1). Solve -3*g - 17 + 2 = b for g.
-5
Let x(q) = -q - 12. Let d be x(-4). Let a be (-68)/6 - d/(-12). Let s = 14 + a. Solve 0 = z + s + 1 for z.
-3
Suppose 0 = 8*a + 11*a. Solve -5*q + a = -20 for q.
4
Suppose 8*d = 22*d - 8*d. Solve d = k + 3*k - 20 for k.
5
Let t be (-5 - 0/6) + 45. Solve 7*h - t = -h for h.
5
Suppose 8*z + 6 = 6. Let a = -16 + 26. Suppose z*x + a = x. Solve -p = p + x for p.
-5
Suppose 0 = 4*d + 2*d + 288. Let y be 8*2/d*-3. Solve y = 2*l - 9 for l.
5
Let v(s) = -11*s**2 + 1. Let j be v(-1). Let d = 10 - j. Solve 3*y - 7*y - d = 0 for y.
-5
Suppose -l + 139 = 143. Let k(s) = 2*s - 3*s - s + 3. Let u be k(l). Solve 4*c = -9 - u for c.
-5
Suppose 25 = -34*v + 29*v. Let k be 3 + (-1 - -4) + v - -3. Solve 2*b = k*b for b.
0
Suppose -3*d + d = 6*d. Suppose 4*p = r + 4*r - 50, d = 3*p. Solve -4*s + r = -2 for s.
3
Let o = 585 - 503. Solve -6 = o*s - 76*s for s.
-1
Suppose 2*m + 4*w = 18, 3*m - 42 = 3*w - 4*w. Let t(l) = l**3 - 14*l**2 - 16*l + 18. Let y be t(m). Suppose 0 = -y*r - 0*r + 6. Solve -4*c - 6 = r for c.
-2
Suppose 0*j = 5*o + 4*j - 5, -5 = 4*o + 5*j. Solve 0 = o*x + 10 + 5 for x.
-3
Suppose 0 = 3*y + a - 5*a - 8, 32 = 2*y + 4*a. Let o = 3 - 2. Suppose -4*s - 3*c - 10 = -o, -9 = 3*c. Solve 2*n + y = -s*n for n.
-4
Let u = -41 - -62. Let w = u + -16. Suppose -2*m + 0*y + 25 = -3*y, -w*y = 15. Solve -5*n - 17 - m = 0 for n.
-5
Let i be 2*(-66)/84*-7. Solve 7*o - 25 = -i for o.
2
Let l(g) = -g**3 - 5*g**2 + 7*g + 9. Let h be l(-6). Let t be ((-33)/(-11))/(h/(-8)). Let w = t - -9. Solve -4 - w = i for i.
-5
Suppose 9*p + 6*p = 0. Solve p = -2*c + 4 for c.
2
Suppose 2*f + 1 = 15. Let u = f + 3. Suppose 3*d + 0 = w + u, 0 = w - 2. Solve b + d = 5 for b.
1
Let n be (30/24)/((-2)/8). Suppose 6*z = 9 + 81. Let p be (z/(-12))/(n/40). Solve p = -d + 6*d for d.
2
Let h = 94 + -94. Solve 7*y + h*y = 7 for y.
1
Suppose 15*j + 4*h = 12*j + 71, 3*h - 22 = -j. Solve j - 40 = -5*w for w.
3
Suppose 0 = 70*t - 77*t + 14. Solve -16*c + 14 = -t for c.
1
Suppose 36 = -3*g + 5*x, -x - 31 = 5*g + 29. Let c be -2*(-1)/g*-12. Solve c*n = 4*n + 6 for n.
-3
Suppose 0 = -0*p + p - 10. Let q(b) = b**3 - 7*b**2 + 7. Let o be q(7). Let m = 8 - o. Solve -3*y - p = -m for y.
-3
Suppose 24*n - 26 = 142. Solve -n*v + 8*v = 3 for v.
3
Let v = -40 + 40. Solve v = 3*t + 5 - 2 for t.
-1
Suppose 10*q - 9*q = -5. Let x(l) = -2*l**2 - 12*l - 6. Let o be x(q). Solve 5*i = o*i + 3 for i.
3
Let x = -57 + 65. Suppose -7*k - x = -8. Let u be 32/6 - (-2)/(-6). Solve k = u*m - 8 + 3 for m.
1
Let g(h) = 15*h + 275. Let i be g(-18). Solve 7*u = i*u + 6 for u.
3
Let z(c) = 24*c + 129. Let j be z(-5). Solve -j*l - 1 = -10 for l.
1
Suppose 6*a - 268 = 2*a. Let b = 42 - a. Let j = b + 45. Solve 3*m - j = 8*m for m.
-4
Let k(y) = y**3 - 3*y**2 + y - 7. Let l be k(3). Let v be (l/14)/((-4)/28). Solve -3*f = v*f - 5 for f.
1
Let f = -21 + 37. Solve 7*i = 11*i + f for i.
-4
Suppose 3*q + v - 8 = 0, -v = 2*v - 6. Let j(f) = 5 - 2 - 2*f**2 + 1 + 3*f**q + 7*f. Let o be j(-7). Solve 0*r - r = o for r.
-4
Let i(h) be the second derivative of 12*h + 1/3*h**3 + 0 + 7*h**2. Let a be i(-6). Solve 0 = -0*k - a*k - 2 for k.
-1
Let l = 11 - 6. Suppose 1 = 2*z + x, -4*x = z + x - l. Suppose -4*a - 3*a = -105. Solve -3*q + z*q = a for q.
-5
Suppose -21*u + 10*u + 110 = 0. Solve 11*y - u*y = -3 for y.
-3
Let n be (-18)/15*(-15)/9. Suppose 5*i = -4*q + 24, -5*q + n = -2*i + 5. Solve 2 = -o - q for o.
-3
Let t(a) be the third derivative of a**5/60 - 2*a**4/3 + 17*a**3/6 - 3*a**2. Suppose -24 = -d - 9. Let u be t(d). Solve 2*p - u = p for p.
2
Let g = -1354 + 1359. Solve -9 = 4*a - g for a.
-1
Suppose 14*a = 10*a - 2*p, -5*a + p = -7. Solve -6 = -o - a for o.
5
Let f(k) = k**2 + 7*k + 6. Let x(b) = -3*b**2 - 21*b - 17. Let n(m) = 11*f(m) + 4*x(m). Let o be n(-6). Solve -8*v + 9*v = -o for v.
-4
Suppose -3*i + 18 = 5*w, -w + 5*i - 2 + 0 = 0. Suppose w*r - 9 - 3 = 0. Suppose -2*k = n - 1, r*n + 2 + 3 = -5*k. Solve -3*g + k = 9 for g.
-2
Suppose j = -3*w - 88, j + 2*j + 3 = 0. Let l be w/(-1) - 4 - 2. Suppose -39 = -5*s - 4*g, l = -s + 4*s + 2*g. Solve -s*y - 5 = -2*y for y.
-1
Suppose 5*o - 45 = o - 5*x, 2*o + 5*x - 15 = 0. Suppose -2*z - o = -7*z. Solve 0 = z*q - q for q.
0
Let s be 3 + -6 + -2 + 7. Suppose -3*f - 3 = -21. Solve 0*x - f = s*x for x.
-3
Let a = 1007 + -1004. Solve -a*x - 25 = -16 for x.
-3
Suppose 0 = -3*z - 2*z - 35. Let j = 9 + z. Suppose 4*h = 3*w - 12 - 4, -w = -3*h - j. Solve -4 - w = -3*g for g.
4
Let t(d) = d**2 + 11*d + 16. 