se 3*y + 20 = 4*r, 5*y + 22 = 2*r - r. Solve u - r = -7 for u.
-5
Let m be (-2)/4 + (-124)/(-8). Suppose 0*z = 3*z - m. Solve -3*u + 2 - z = 0 for u.
-1
Suppose h = 0, -3*s - 4*h + 3 = -3. Suppose 0 = w - z + s*z - 7, 3*w - 4*z = -14. Solve w*r = 3*r + 3 for r.
-3
Suppose -4*p + n + 125 = 0, -3*p + 3*n = -2*n - 115. Let w be ((-2)/4)/((-3)/p). Solve w = -3*y - 1 for y.
-2
Let c(w) = w**2 + 5*w + 6. Let b be c(-4). Let k = -31 - -26. Let d = -4 - k. Solve b*i - 3*i = -d for i.
1
Suppose 0 = -2*b - 0 + 10. Suppose 1 = g + k, -k = -g - g + b. Suppose a - g = -0, 5*s = 3*a + 74. Solve -2*w - s = 2*w for w.
-4
Suppose -3*t + 3*s + 17 = s, 19 = 5*t - s. Suppose 0 = f - 1 - t. Solve -f = 4*b + 12 for b.
-4
Suppose 0 = -y - 7 + 11. Suppose 14 - y = 2*p. Solve -4*t - t + p = 0 for t.
1
Let g = -14 - -18. Solve -g*p = -6*p for p.
0
Let c be -1*(-4 + (-3)/9*3). Solve -c + 3 = -2*g for g.
1
Suppose -u - 6 = 5*j, 0 = 6*u - u - 4*j - 28. Solve -6 = -u*n + 6 for n.
3
Let d(w) be the first derivative of -w**3/3 - 2*w**2 + 5*w + 2. Let g be d(-5). Solve 4*v - 6*v + 8 = g for v.
4
Let k(o) = 2*o + 0*o - o. Let p(s) = -2*s + 8. Let i be p(4). Let h be k(i). Solve h = -2*v - 2 - 2 for v.
-2
Suppose n - 2*n = -4. Solve -3 = -t - n for t.
-1
Suppose 30 = 39*i - 36*i. Solve -4*b + i - 30 = 0 for b.
-5
Suppose 3 = -b + 5. Suppose 7*m = 13*m. Solve 4 = b*i - m for i.
2
Let t = -71 - -78. Solve 0 = 4*m - t*m - 12 for m.
-4
Let x(w) = w + 1. Let o be x(5). Suppose -6 = -3*s, 3*k + 4*s - o = s. Suppose 0 = b - k*b - 6. Solve -b = -2*d - 0 for d.
3
Let p(y) = -2*y - 2 - y**2 + 2*y**2 + 1. Let m(n) = -n + 4. Let u be m(5). Let g be p(u). Solve -2 = -g*k - 12 for k.
-5
Suppose -4 = -3*l + 5. Suppose l = -i + 7. Solve -r = -0*r - i for r.
4
Let d = 71 - 59. Solve 2*z = -z + d for z.
4
Suppose -3*m + 0*m - 2*v = -13, 2*v = 4. Solve -m + 2 = -l for l.
1
Suppose 3*l = 4*q + 60, -5*l + 75 = -q - 8. Suppose -4*y + 6*y = l. Suppose 0 = 2*g - 3*g + 2. Solve y = 2*b + g for b.
3
Let l(a) = a - 1. Let r be l(6). Solve 2*j - r*j = 15 for j.
-5
Let z = -9 + 12. Solve z = d + 7 for d.
-4
Let m be 1/1 - 3*5/15. Solve m*z = -z + 1 for z.
1
Let a be 1/4 - (-15)/4. Solve 2*b - 12 + a = 0 for b.
4
Let a be 0 - ((0 - 1) + 0). Let q(u) = u**3 - 10*u**2 + 9*u + 4. Let g be q(9). Let y = a + g. Solve -3*m + y*m = -6 for m.
-3
Suppose -3*f + 1 - 52 = 0. Let z = 27 + f. Let o(d) = d - 6. Let r be o(z). Solve -h - 9 = -r*h for h.
3
Suppose -i - 2*g = -1, 4 = -2*g - 2*g. Let h = 6 - i. Let v be (0*h/9)/2. Solve v = x + 1 for x.
-1
Suppose 0 = w - 3 - 4. Let u(c) = 6*c. Let z be u(1). Suppose 0 = z*g - 4*g - 6. Solve 5*d + w = -g for d.
-2
Let r be ((1 - 2) + 2)*(-5 + 5). Let l = 23 + -16. Let a = 12 - l. Solve r*d + 5 = -a*d for d.
-1
Let x = 4 - 3. Let b be (x - -2)*(-2)/3. Let o be (2/(-4))/(b/60). Solve -w + o = 4*w for w.
3
Let m(z) = z**2 + 5*z - 2. Let s be m(-6). Let l(k) = 6*k + 1. Let q be l(s). Solve q = -2*v + 7*v for v.
5
Let x(k) = 7*k - 17. Let z be x(3). Solve 3*m - m - z = 0 for m.
2
Let k = 19 - 12. Suppose k = -5*v + 27. Solve 0*n = n + v for n.
-4
Let y be (-12)/(9/6 - 0). Let j(n) = -n - 3. Let k be j(y). Let i(c) = c**2 - 6*c + 5. Let v be i(k). Solve v = 5*r - 2 + 7 for r.
-1
Let p(b) = 6*b + 14. Let g(j) = -5*j - 13. Let d(a) = 5*g(a) + 4*p(a). Let o be d(-9). Solve o = -x - 3 + 4 for x.
1
Let i(d) = -d**3 - 10*d**2 + 10*d - 11. Let z be i(-11). Solve z = 6*b - 2*b + 8 for b.
-2
Let k = -23 - -38. Suppose -4*z + 0*z = -4*h - 20, -4*h + 12 = 4*z. Let u be 56/12 + z/(-6). Solve u*p = -1 - k for p.
-4
Let o = -1 - -1. Solve -4*g + 8 = -o*g for g.
2
Let w = -5 + 5. Suppose -3*u + 9 = -w*u. Solve 2*r + u + 3 = 0 for r.
-3
Suppose -l - 5 = y, -4*y + 4*l + 20 = -y. Solve y = 4*i - 8 - 4 for i.
3
Let o = 20 + -24. Let j(s) = 4 - s - 8 + 0*s. Let k be j(o). Solve 0*v - 3*v + 12 = k for v.
4
Suppose 0 = 5*t + 15, 0 = 4*j - 0*j + 4*t - 12. Solve -j = -3*p - 0*p for p.
2
Suppose -t + g = -3*t + 43, -2*g = -3*t + 68. Let s = t + -18. Solve s*w - 1 = -5 for w.
-1
Let n = -16 + 21. Suppose -j - 1 + n = 0. Solve -j*b + 2 = -2 for b.
1
Suppose n + 10 = 2*n. Let f = n + -6. Suppose -5*t - 4*h = h - 25, f*t = -5*h + 23. Solve t = -5*p - 8 for p.
-2
Suppose 3*z = w + z - 12, -3*z = 15. Suppose -2*h + m + 42 = 6*m, 0 = 5*h + w*m - 84. Solve 4 + h = -4*s for s.
-5
Let j(m) = 3*m**3 - 1. Let q be j(1). Solve 6 = -4*l + q for l.
-1
Let q be -1 - 0 - (25 - -1). Let s(d) = d**3 - d**2 - d + 45. Let x be s(0). Let u = x + q. Solve -2 = -4*l + u for l.
5
Suppose 17 + 3 = 4*i. Let h = i + 5. Suppose 0*p = p. Solve p = 5*r + h - 0 for r.
-2
Let p be (3/(-2))/(6/8). Let z = 2 + p. Solve t - 3 - 2 = z for t.
5
Suppose -y + 19 = -7*i + 2*i, -5*i = -5*y + 35. Let q = 1 - i. Solve -2*s - q = -s for s.
-4
Let n = -10 + 16. Let c(b) = b**2 - 6*b. Let z be c(n). Suppose -2 + z = -l. Solve 5*s = -13 - l for s.
-3
Let j be 5/(5/(-2)) + 0. Let a be 3/(j/(-8) + 0). Suppose 2*z - k = 12, -2*k + 6 = 5*z - 3*z. Solve -8 - a = -z*t for t.
4
Suppose -4*o + 247 = -k, -3*o - 128 = -5*o - 4*k. Let g be (-2)/(-8) - o/(-8). Solve -3*x - g = x for x.
-2
Let r(f) = f**2 - 6*f - 14. Let k be r(9). Let b(y) = y**2 - 8*y + 3. Let o be b(7). Let j = o + 7. Solve -j = -4*t + k for t.
4
Let f be (0 - 0)/(1 - -1). Suppose 4*x - 2*x = 4*h + 16, x = -4*h - 4. Solve 7*v - x*v = f for v.
0
Let w be 3*(3 - 4) + 3. Suppose -p - p + 6 = w. Solve 0 = 4*h + 15 - p for h.
-3
Let g = 21 + -16. Solve 0 = -3*f + g*f for f.
0
Let n = 1 - -3. Suppose -4*m = -3*r + 4, 5*m - 4*m + 1 = -n*r. Let j be (-1 - 2/m) + 1. Solve 2*w + j = 10 for w.
4
Let t(u) = 5*u**2 + u - 1. Let x be t(1). Let i(n) = n**3 - 6*n**2 + 5*n + 3. Let k be i(x). Let f be (-1)/k - (-10)/3. Solve -f*y = 7 + 2 for y.
-3
Suppose 3*g = 8*g - 10. Solve 0 = g*j - 8 for j.
4
Let n(s) = 2*s**2 - 3*s. Suppose q = -2*v, -3*v - 6 = -3. Let w be n(q). Suppose 5 - 1 = w*y. Solve 0 = 4*g + 18 - y for g.
-4
Let q be (-2)/(-7) + 188/28. Solve 1 = -4*w - q for w.
-2
Let h(w) = -w**2 + 17*w - 19. Let g be h(17). Let n = g - -23. Solve -3*s = -8 - n for s.
4
Let f(u) = u**3 + 5*u**2 + u. Let z be f(-5). Let y = z + 7. Solve -y*b - b - 6 = 0 for b.
-2
Let m = -130 + 130. Solve -3*k - 6 = -m for k.
-2
Let u be 2/(-4)*5*-2. Suppose 2*k + 1 - 7 = -u*t, -3*k = -4*t + 14. Suppose -4*o = -3*o - 2*r + 6, t*o + 7 = 3*r. Solve -o*p + 18 = 2 for p.
4
Suppose -4*x + 3571 = -5*d, 0 = -2*x + d + 2*d + 1785. Let y be x/42 + 2/(-7). Solve y = -4*m + 1 for m.
-5
Suppose 0 = f - 3*f. Suppose 0 = 2*u - 2 - f. Let a be u + -1*1/1. Solve -g + 5*g + 8 = a for g.
-2
Suppose 25*b + 32 = 29*b. Solve -z = z - b for z.
4
Suppose h = -4*r - 9 - 0, 0 = -h + r + 1. Let i be 1 - (3 + 0)*h. Let q(w) = w**3 - w**2 - w + 1. Let b be q(1). Solve -t + b - i = 0 for t.
-4
Let t = 1 + 2. Suppose -28 = -t*c - 5*z, 6*c - 2*z = 2*c + 46. Let s = c - 6. Solve 3*l - 8*l - s = 0 for l.
-1
Let g = 2 - 0. Suppose 4*s = 2 - 10, -g*d + 2*s + 12 = 0. Suppose -2*t - 2*c + 24 = 2*t, t - d*c + 12 = 0. Solve t*k = 3*k + 3 for k.
3
Suppose 0*f - 2*f + 16 = 0. Suppose 3*r - f = -r. Suppose 4*x + 4*a + 12 = 0, -x + a - 3 = -6. Solve x = -2*h - r - 0 for h.
-1
Let b(z) = 2*z - 2. Suppose l - 9 = -2*l. Let r be b(l). Suppose o - 4*s = 18, s - 2*s - 4 = 0. Solve 0 = -c + o*c + r for c.
-4
Let m = 16 + -13. Suppose 3*b = 6*b. Solve m*l - 6*l - 6 = b for l.
-2
Let b = 10 - 4. Suppose 5*z - b = 2*n + 12, -2*z - 4*n - 12 = 0. Solve 0 = r + z*r - 3 for r.
1
Suppose 3*x + 4*w = -0*w + 16, 3*x + w - 13 = 0. Solve 0*t - x*t = 0 for t.
0
Let w(m) = -10*m - 5. Let p be w(-1). Solve -p*t - 20 + 5 = 0 for t.
-3
Let n = 3 + -2. Suppose 3*q = -y + 19, 4*y + 0*q = q + 11. Suppose -2*z - 4 = -5*k + 2*z, y*k - 2 = 2*z. Solve k*h = h + n for h.
-1
Let h = 13 - 22. Let m = -8 - h. Solve k - m = -0*k for k.
1
Suppose 0 = 3*c - 5*g + g - 78, 0 = 4*c + 3*g - 129. Solve d - c = -5*d for d.
5
Suppose -4*c + 4*f = 0, 2*f = -c + 4*f - 2. Solve r = 2*r + c for r.
-2
Let s(f) = -f - 1. Let j be (0 + -1)*2/2. Let n(l) = -4*l + 3. Let p(b) = j*n(b) + 3*s(b). Let q be p(6). Solve q*y = 2*y - 6 for y.
3
Let d(k) = k + 4. Let s be d(-4). Suppose s = -3*j + 11 + 4. Solve -j*w - 8 = 17 for w.
-5
Let o = 9 - 9. Suppose o = -3*s + 5*f - 0*f + 56, -5*s - 5*f = -40. Solve j + s = -3*j for j.
