- 2*w = -2 for t.
-2
Suppose 0 = h + 1 - 4. Suppose 0 = -h*b - r + 5*r + 6, 8 = 4*b - r. Solve 0 = 3*w + 3*g + b*g - 3, -3*g = -w - 13 for w.
-4
Let p be (0 + 0)/(-1 - 0). Suppose p*h = -3*h. Let k be 10/(-40) - ((-135)/12 - 0). Solve -3*b - 3 = h, 4*a - k = b - 2*b for a.
3
Suppose 5*t = -2*i + 28, 3*t - 9 = t - 3*i. Solve 2*g - t*g - 16 = -s, -5*g - 19 = -s for s.
4
Let j = -6 - -9. Suppose -i + j = 3*t - 7, 0 = t - 3*i. Solve 0 = -5*u - x + 10, 4*x = t*u - 6 - 0 for u.
2
Let k(f) = -f**2 + 4. Let m be k(0). Solve -m*s - 2*t = -16, -3*s - 2*t = 3*t - 12 for s.
4
Let l = 27 - 26. Suppose -5 + l = -t. Solve -3*r - r = 4*v + 12, v + t*r = 0 for v.
-4
Let a = -19 + 21. Solve -5*m + 9 = 2*j, -5*j + 3 + 9 = a*m for m.
1
Let z be 1*9 - (-1 - -3). Let t = z - 6. Let m be t + 9/(-1 + 2). Solve 3*x + 6 = -2*b - 5, 4*x + m = 2*b for x.
-3
Let l(p) = -p + 1. Let n be l(-9). Suppose 9*f - 4*f - n = 0. Solve -5*g - 5 = 0, -f*x + 3*g = -4*x + 5 for x.
4
Suppose -5*c = -c - 20. Suppose -3*h + 8 = 2*v, v = c*h - 9 - 13. Solve -2*q + 3*w = 3*q - 6, 4 = h*q - 2*w for q.
0
Let t be (12/(-14))/(13/91). Let c(p) = p + 10. Let j be c(t). Solve -2*o - 3*s = -7*o - 15, 0 = -2*o + j*s - 20 for o.
0
Suppose 0 = -5*k - 0*k - 5, 8 = 3*y + k. Suppose -i = -6*i + y*m, 3*i - 19 = -2*m. Solve i*v - 2*c = 3*c - 40, v = 4*c - 25 for v.
-5
Let r(f) = 3 + 1 + 0*f - f + 0. Let q be r(-4). Solve -n + 9 = 4*c - 3*c, 0 = -3*n + 4*c - q for n.
4
Suppose 1 - 21 = -4*i - 4*z, 13 = 3*i + 2*z. Solve 3*g - i = 3*f - 6*f, 2*f = -g - 1 for g.
3
Let a(t) = -t + 1. Suppose 5*u = s + 26 + 9, 28 = 4*u + s. Suppose 3*i - 1 + u = 0. Let x be a(i). Solve 0 = -4*h + d - 2, 4*h = 3*d - x - 3 for h.
0
Let w = -2 + 6. Suppose 23 = 4*z + f, -w*z - 5*f - 5 = -8*z. Solve x + 5*s = 13, x + 2*x + 1 = z*s for x.
3
Suppose 4 = p, 3*s + 2*p - 4*p = 1. Solve 4*g - 5 = -7*r + 4*r, 1 = s*g + 5*r for g.
2
Let b = 39 + -27. Solve -2*w + h - 12 = -4*h, 0 = 3*h - b for w.
4
Let j be 11/3 - 2/(-6). Suppose -28 = -3*x - 3*t + 5*t, 2*x + 8 = -j*t. Solve 0 = 3*b + 2*v + x, 0 = -3*b - 0*b - 4*v for b.
-4
Let m(w) = w**3 - 8*w**2 + 15*w - 15. Let t be m(6). Solve -4*q = -4*k - 32, -t*k + 4*q - 17 = -2*k for k.
-5
Suppose 4*y + 2*a = -0*y, 4*y = 5*a + 28. Suppose -3*k - 16 = -y*g - 2*k, -2*k - 22 = -3*g. Let o = -7 + g. Solve 0 = -o*s - 4*r - 22, 3*s = s - r - 8 for s.
-2
Let x(y) = 2*y**2 + 6*y + 5. Suppose -j - 2*j - 12 = 0. Let d be x(j). Let v = d + -9. Solve 0*o + 5 = -4*o + 5*b, -v*o = b - 25 for o.
5
Let j be (12/14)/(-1*9/(-42)). Solve j*m - 2*t - 18 = 0, 0 = -4*m + 7*t - 2*t + 27 for m.
3
Suppose -5 = 4*k - 5*k. Let g = 10 + -6. Suppose 0 = -g*t - 2*x + 20, -2*t + x = -3*x - 10. Solve -20 = k*h - v, -t*h = 4*v - 8*v + 20 for h.
-4
Let o(c) = -c**3 + 9*c**2 - 7*c - 5. Let d be o(8). Solve 4*k - 4*u + 16 = 0, 4*k = d*u - 14 + 3 for k.
1
Suppose 2*l = 2*b + 5 + 5, 0 = 3*b + 5*l - 17. Let g = b + 13. Solve -4*u - g = 0, -6 + 14 = -4*a + 4*u for a.
-5
Suppose 0*p = -2*p + 4. Suppose 2*u + 1 = -3*y - p, -5*u + 5 = -5*y. Solve -4*c = 0, u*q + 3*c = q + 1 for q.
-1
Suppose 1 = 2*f + 2*w + w, 2*f + 4*w = -2. Let b(p) = -p - 7. Let q be b(-3). Let r be (-3 - (-20)/q)*-2. Solve -x = -2*i + f, i - 2*i = -5*x - r for i.
1
Suppose -25 = -4*d - d. Suppose 0 = -0*y + d*y - 85. Solve 4*g - 5*b = -6 + 29, 0 = 4*g - 3*b - y for g.
2
Let h(x) = -x**3 - x**2 + 5. Let y be h(0). Suppose -y*a = -4*f - 13, 0 = -3*f - 4*a + 3*a + 14. Solve 2*w = -f*n - 2, -w + 2*w - 2*n + 1 = 0 for w.
-1
Let w = 111 - 106. Solve 7 = -3*t - 2*i, 14 = -2*t - w*i - 9 for t.
1
Let c(b) = b**3 + 3*b**2 + 3*b + 2. Let l(w) = -w**2 - 2*w - 2. Let s be l(-2). Let r be c(s). Let v = 8 - 4. Solve -o - 4*x + 3 = r, -o + 4*x = -v*o + 9 for o.
3
Let j = 28 - 25. Solve 3*t - j*i = -0*i + 15, -5*t + 21 = -4*i for t.
1
Suppose -7*m + 2*m - a = 10, 2*a - 22 = 4*m. Let j = m + 5. Solve -4*x + 2*y - j = -10, -13 = -3*x + 5*y for x.
1
Let n be (-1)/(3 + 0 + -4). Suppose -a + 6*j = 2*j - 6, -j - n = 0. Solve -3*v - f + 8 = 0, -4 = 5*v + a*f - 19 for v.
1
Let g(s) = s**2 + 9*s + 10. Let k be g(-8). Suppose 5 = 3*v + 4*z, -k*v + 5*z = -0*v - 11. Solve -1 = -a - v*f + 2*f, -4 = 5*a - 4*f for a.
0
Suppose -m = v + 2, -2*m = 2*m + v - 7. Solve 0 = -5*l + 2*c - 35, -m*l - l + 5*c - 45 = 0 for l.
-5
Suppose 2*n = -0*n + 4. Suppose -q = -5*g + 7, 4*g - 1 - 1 = q. Let l = -10 + q. Solve -4*k = -n*y, -2 = -4*k - y - l for k.
-1
Suppose 0 = -5*f + 3*f + 14. Let v = -18 + 11. Let t = -5 - v. Solve 0 = -4*p + 5*c + 7, t*p - 4*c = f + 1 for p.
-2
Let v = 24 - 34. Let r be 10*((-24)/v - 2). Solve r*x = 4, -4*x - 4 + 2 = -2*k for k.
3
Let o be -2 + 1 + (1 - -4). Let b = 4 - o. Let z = 5 - b. Solve -2*q + y - 7 = -0*y, -2*q - 3*y = -z for q.
-2
Let v = -17 - -35. Suppose -2*c - 2*i = v, 2*c - 4*c - 24 = 5*i. Let f = -2 - c. Solve -2 + 0 = -x, 30 = -4*h + f*x for h.
-5
Let b(g) = 3*g**2 + 2*g**2 - 4*g**2 + 0*g**2 - 3*g - 7. Let a be b(5). Solve -a*o - i = 2*o + 27, 5*o = 2*i - 21 for o.
-5
Suppose -5*d - 6 - 84 = 0. Let m be (-6)/d + 22/6. Suppose 0 = -m*s + 8*s. Solve 0 = -x + 4*k - 5 - 10, 5*x - k - 20 = s for x.
5
Suppose -100 = -5*g - 0*g. Let o be ((-12)/8)/((-6)/g). Solve -3*w + 9 = 5*h - 6, -3*h = w - o for w.
5
Suppose -8*a = -7*a - 7. Solve -2*x = -a*x + f, 2*x = -5*f for x.
0
Suppose -3*m + 24 = 3*s - 7*m, m = -3. Solve -2*c = -5*j - 5*c - 26, s*j = -4*c - 24 for j.
-4
Suppose 3*j + 108 = 7*j. Suppose k + 5*t + 59 = 3*k, -k = -2*t - j. Solve -4*l - k = -r, r - 1 = 2*l + 8 for r.
1
Let s(c) = c**3 - 9*c**2 + 8*c + 5. Let q be s(8). Solve q*b - 26 = -2*l, -l + 6*l - 19 = -b for l.
3
Let k(l) be the first derivative of l**4/4 - 8*l**3/3 - 7*l**2/2 - 7*l + 1. Let y be k(9). Solve 5*x = 4*q - 15 - 4, -4*x = q + y for x.
-3
Suppose -5*w + 26 = 3*b, 14 = 4*w + 2*b - 8. Let j = 11 - w. Solve y + 2*s - 15 = j*y, -y - s = 0 for y.
-3
Suppose -4*q = -0*q - 4*i, -3*q - 5*i + 32 = 0. Suppose -y + 4 = k, 3*y + 2*k + q = 4*y. Let f = y - 2. Solve f*v = 5*o + 19, 2*o + 5*v - 8 = -4 for o.
-3
Let y = -17 + 31. Solve -2*c + 3 = 3*b - y, -2*b - 2 = -2*c for b.
3
Let y(v) = -v**2 + 9*v - 7. Let u be y(6). Let b = -8 + u. Suppose 6 = b*t - t. Solve -3*r = 15, -2*r - t - 7 = c for c.
0
Suppose 2*r + 0 = 8, 0 = 5*g + r - 29. Let w be (-1)/5 - (-86)/g. Solve -5*h - 5*q = 20, -3*h - 7*q + 3*q = w for h.
1
Let v(y) be the first derivative of -y**4/4 + y**3 + y**2/2 + y - 4. Let z be v(3). Solve d - z*o - 10 - 5 = 0, -o = 5 for d.
-5
Let f be 0/(-2 - -1) + 2. Suppose 2*i + 5*v - 4 = -0, 2*v = 0. Solve -i*x - 2 = -f*y, -2*x - 6 = -2*y - x for y.
5
Suppose 2*r + 18 = -0*r. Let z = -4 - r. Suppose 3*k = -z*h - 1, 2*k + 2*h = 4*k - 10. Solve 2 = -2*w - k*y - 4, 4 = 5*w - 2*y for w.
0
Let x(u) = -u**2 + 1. Let w(h) = -11 - 9 - 7*h**2 + 5*h**2. Let b(a) = -w(a) + 3*x(a). Let k be b(0). Solve -3*p - 3*v + k = -5*p, -5*v + 29 = -p for p.
-4
Let k(q) = -q**2 - 4*q + 5. Let v be k(-5). Solve n + 7 = -v*d + 5*d, 5*n + 4*d - 23 = 0 for n.
3
Let h(o) = o**2 - 4*o - 1. Let b be (-12)/(-10)*(-50)/15. Let d be 1/b + 105/20. Let p be h(d). Solve -a + 2 = w + w, -p*a - 3*w + 13 = 0 for a.
4
Let k(c) = -3*c - 6. Let o be k(-5). Let m = -3 - -7. Suppose 0 = 5*r + 2*v + 3*v, -m*r = v - 9. Solve -o = -3*w + 3*n, -2*w + w - r*n + 3 = 0 for w.
3
Suppose 15 = -5*c, -c + 5*c = 4*f - 24. Suppose f*d = -d + 100. Suppose 5*x - 2*l = 2*x + 23, x + 2*l - 5 = 0. Solve 3*i - x = g, 6 - d = i + 5*g for i.
1
Let d(x) = -x**3 + 11*x**2 + x - 9. Let u be d(11). Solve 5*y + u*h - 21 = 0, 3*h = -4*y + y + 9 for y.
5
Let k(i) = -i**2 - 8*i + 8. Let y be k(-7). Suppose 4*z + 4*h = -0*z + 24, -4*z = h - y. Solve -l - 2*w - 4 = 1, -z = -3*l + 3*w for l.
-1
Let d(c) = -c**3 + 11*c**2 + 14*c - 22. Let o be d(12). Solve 4 = -o*b - 4*u, 4*b - 2*u + 0*u = 12 for b.
2
Let j = 3 - 3. Suppose -5*u = -j*u - 10. Suppose -a - a = -u. Solve -2*t - a + 14 = 5*r, 4 = 4*r for t.
4
Let j be (14/4)/(16/32). Solve -4*i = 6*h - h - j, -14 = -h - 5*i for h.
-1
Suppose -2*v + 3 = -3. Suppose 0 = -r + 9 + v. Solve -3*t + r = -h + t, 0 = 3*h + 4*t - 12 for h.
0
Let p(w) = -w**2 - 4*w + 1. Let b be p(-4). Let a = 5 - b. Solve 2*g - 7 = a*f + g, -5 = -4*f - 3*g for f.
-1
Let j(r) = r + 7. Let h be j(6). Suppose k + 2*y + 10 = 0, 0 = 3*k + 4*y + 28. Let b = h + k. Solve -