2 = 2*h - 3 for t.
-1
Let o be 20/3 + (-6)/9. Let p be (-8)/o*18/(-8). Solve p*v + 3 = -s - 3*s, 0 = -3*v - s - 12 for v.
-5
Suppose -3*r + 51 = 9. Suppose 2*m - 3*u = m + 9, 3*m + 4*u = r. Suppose 0 = -5*k + 8 + 17. Solve -m = 5*a - b + 9, 17 = 4*a + k*b for a.
-2
Let s(r) = 2*r**3 + 4*r**2 + 3*r - 4. Let y be s(-3). Let h = y + 47. Solve -2*p = -4*m + h + 8, 3*m = -4*p - 4 for m.
4
Suppose 4*o - 5*s = 2, -5*o + 6 = -4*s - 1. Suppose 4*w - 100 = n + o*n, -5*w + 4*n = -122. Solve -4*t - w = c + c, t = c + 2 for c.
-5
Let n(s) = -5*s**2 + 8*s + 4. Let i be n(2). Suppose 2*u = -3*v + 9, -4*v - 3 - 1 = 0. Suppose i = 3*l - 5*l + u. Solve 0*h + 14 = 2*x - l*h, h + 4 = 0 for x.
1
Let a = 868 - 864. Solve s = 6*s - 5*r - 45, -a*s = -r - 24 for s.
5
Suppose 2*s + 5*s - 7 = 0. Let i be (2 + -2*s)/(-11 - -10). Solve i = -4*q + 2*h + 6, -2*q = -6*q - h + 9 for q.
2
Let v = 45 - 35. Solve -q + v = -4*b, -4*b - 4 = 3*q + b for q.
2
Let s(d) = 2*d - 6. Let p be s(4). Solve k + 5*b - 19 = 0, 3 = -3*k + p*b + 3*b for k.
4
Let b = 197 + -196. Let v = -11 - -17. Solve -9 - b = p - 2*h, -h + v = -p for p.
-2
Let r(j) = 3*j - 64. Let l be r(22). Suppose t - 2*o = -2, -l*t + 18 = 3*t + 4*o. Solve -3*m + 5 = d, -2*m + 3*m + 3 = t*d for d.
2
Suppose -170 = 45*n - 50*n. Let p = n - 34. Solve -z + 0*z = 2*x, 5*z + 4*x - 12 = p for z.
4
Let p(k) be the first derivative of -7/3*k**3 - 3 - 1/4*k**4 - k**2 + 5*k. Let r be p(-7). Solve -5*l - r = 3*q, 5 = 3*l + 2*l - 5*q for l.
-2
Suppose -7*s + 3*a = -2*s - 36, -3*a - 18 = -2*s. Solve -n - 1 - s = -2*u, 2 = -u - 5*n for u.
3
Suppose 10 = -5*g, -k + 7 = -5*g - 7. Suppose c - 2*c = k*i - 3, 0 = -4*i. Solve 0*z - 9 = -c*n + 3*z, 0 = -n - 5*z - 21 for n.
-1
Suppose -18 = -2*m + 4*p + 2, -p = 2*m + 5. Suppose m = -4*h + 158 - 54. Suppose h = 5*l - 4. Solve -9 = 3*s, -5*s - 12 = -3*r + l for r.
1
Let t = 30 + -28. Let u be 3 + (-4 - (t - 4)). Solve -w + u = -j, -2*j - 3*j = 5*w - 45 for w.
5
Suppose -10*a = 328 - 368. Solve -o = 3*v + 16, -a*v + 7*o - 15 = 2*o for v.
-5
Let j(k) = k**3 - 7*k**2 + 6*k - 30. Suppose -5 - 9 = -2*a - 5*t, 0 = 3*a + 2*t - 21. Let w be j(a). Solve f + 5*g = -12, 2*g = -3*f - g - w for f.
-2
Let t be -1*((-28)/(-6))/((-7)/21). Solve -3*y = 4*a + t, 3*a + 0*a - 3*y = 0 for a.
-2
Suppose 0 = 3*m - 5*m + 4*s + 16, 4*s = 0. Suppose -16 = -m*j + 4*j. Let g(b) = 3*b + 7. Let a be g(-1). Solve -a*v + j*f = 4, 4*v - f + 2*f = 21 for v.
4
Let j(v) = -v**2 - 14*v + 5. Let n be j(-14). Let t(i) = -i**2 + 3*i + 12. Let g be t(n). Solve 1 = -2*y + b, 0 = y + 4*y + g*b + 7 for y.
-1
Suppose -6*k - 3038 = -3068. Solve 29 = -3*i - 5*y + 5, -9 = -2*i + k*y for i.
-3
Suppose -4*r - 2*s = 0, 0 = 5*r - 5*s - 21 - 9. Suppose 3*g + r*v - 18 = 5*v, -2*g - v + 12 = 0. Solve -5*n - 3*b = -0*n + g, 5*b = -5*n for n.
-3
Suppose -5*y + 0*f = 4*f - 30, 0 = y - 2*f + 8. Suppose 14*b - 34 = -4*d + 17*b, 34 = 3*d + y*b. Solve -2*u + d = -n + u, 4 = u for n.
2
Suppose l - 1 = -3. Let m be -1 + 6 + -4 - l. Let r be -2 + (12/3 - 2). Solve 3*y - 3*a + 0*a - 24 = r, 0 = m*y + a - 4 for y.
3
Let i = -118 + 83. Suppose 272 = c + 3*c. Let s = i + c. Solve -g + 32 = 4*o - 4*g, 0 = -5*o + 2*g + s for o.
5
Let p be (-26)/117 - (-29)/9. Let q = -32 + 37. Solve 25 = 5*n, -q*x = -p*x - 3*n + 5 for x.
5
Let g(f) = -f - 7. Let h be g(-10). Suppose 5*c = h*c. Suppose -5*u + c*u + 16 = -4*i, -u = -3*i - 1. Solve 2*y = -2*r + 2, 5 - i = 2*r for y.
-1
Let n(r) = 3*r + 17. Let y(s) = s. Let h(u) = n(u) - 2*y(u). Let f be h(-15). Solve -4*d + 2*o = f, 3*d + 0*d - 2*o - 1 = 0 for d.
-3
Let k be 2/(1*1/8). Suppose -b - 3*a + 4 = -k, -2*b - a = -15. Suppose -p + 4*p - 15 = 0. Solve -4*j + b*n + 2 = -2, 8 = 3*j - p*n for j.
-4
Let q = 478 + -476. Solve 22 - 7 = 5*n - 4*k, -6 = -q*n - 5*k for n.
3
Let o = 262 + -255. Solve -3*v + o*v - 20 = 4*s, -5 = 2*v + 3*s for v.
2
Let n = -48 - -30. Let c be 6/n - 20/(-6). Suppose -6*t = -2*t + c*k - 34, -4*t + 44 = -2*k. Solve -3 = 2*x + 3*b + 3, 0 = -5*b - t for x.
0
Suppose 15 = -0*r + 3*r, -w = -5*r + 22. Suppose -w*j - 2*b - 3*b = -12, 3*b - 20 = -5*j. Suppose 0 = -j*f + f + 54. Solve 0 = y - 1 - 0, -3*y = 5*k - f for k.
3
Let n be (-74)/(-26) - 46/(-299). Solve 0 = 2*f + 2*s + 8, 4*f = n*f + 5*s + 20 for f.
0
Let q = 12 + -1. Suppose t = -j - 12, t + q = -3*j - 17. Let g be 4/3*(-60)/j. Solve k + 4*o = 3*o + 7, -5*k + 4*o = g for k.
2
Let m be 54/10 - 2 - 30/75. Let c(q) be the second derivative of -q**4/12 + q**3/2 + q**2/2 + q. Let z be c(m). Solve -j + 6 = v, -v - z = -2*v for j.
5
Suppose -3 + 15 = 6*p. Suppose -11 = -3*o - p. Solve -3*j - 3*w = 15, -3*j = 5*w + o + 12 for j.
-5
Let j(z) = -z**2 - 19*z + 10. Let h be j(-19). Solve -a = -2*f - h, a = -0 + 4 for f.
-3
Let f be (-4)/26 - (-890)/(-130). Let z(d) = 4*d + 10. Let o be z(f). Let x be (-9)/(o/8) + -1. Solve -2*g - p = 11, 5*p + 30 = -x*g - 2*g for g.
-5
Suppose -12 = 4*p - 4. Let h = p + 7. Solve -2*x - x - h*l + 9 = 0, -4*x + 5*l = 23 for x.
-2
Let q = -598 - -600. Let x = 2 - 2. Solve 5*s - 10 = -x*z - z, -3*z - 21 = -q*s for z.
-5
Let b(p) = -p**3 + 2*p**2 - 3*p + 2. Let t be b(1). Solve 2*o + 1 = 2*i + 3*i, -3*i + o = t for i.
-1
Let s be (-2)/5 - 486/(-15). Let h = 34 - s. Solve 4*x = -h*w + 16, -w = w - 5*x + 2 for w.
4
Let w = -2970 - -2981. Solve h - 14*f = -w*f - 2, -2*h = -4*f for h.
4
Suppose -2*i = -5*i + 3, 0 = 3*n + i - 4. Let m = 2 + -3. Let g = n - m. Solve 2*y - 7 = z, -g*z + 27 = 5*y - 4 for y.
5
Let v(j) be the second derivative of j**5/5 + j**3/3 - j**2/2 - 16*j - 1. Let z be v(1). Solve k - 5*k = 5*b + 16, z*b + 18 = -2*k for k.
1
Suppose 12 = -v + 5*h + 3, -h = -3. Suppose 4*s - v = 10. Solve -3*t + 2*f = t - 8, 2*t - 16 = s*f for t.
0
Let j(t) = t**2 - 10*t - 7. Let k be j(11). Solve -12 = -4*m - 3*c - c, 4*c - k = -2*m for m.
4
Let m(j) = -j**3 - 51*j**2 - 48*j + 100. Let i be m(-50). Solve i = -3*y - 15, -5*y = 10*f - 5*f + 20 for f.
1
Let r(f) = f - 19. Let u(a) = 10. Suppose 5*w = -0*w - 25. Let v(x) = w*u(x) - 2*r(x). Let s be v(-8). Solve 0 = 5*b + 4*z + 7, -b + z + s*z = -16 for b.
1
Let f = 3 - 11. Let p = 4 - f. Suppose a = -a + 4. Solve t + 4 = 2*u, 0*u - a*u - t = -p for u.
4
Suppose -s + 132 = 129. Solve -y = -6*y - s*c + 18, -2*y = 5*c - 11 for y.
3
Let d(r) = 3*r + 26. Let m(t) = t**3 - 12*t**2 + 10*t + 3. Let f be m(11). Let i be d(f). Solve -3*z = i*g + 16, -g + 0*z - 18 = 4*z for g.
-2
Let h be 2/8 + 7*(-2)/(-8). Solve k - h*k = -5*c - 14, 4 = -3*c + 5*k for c.
-3
Let k be 1/((-15)/(-10)) + 105/(-9). Let h = k - -16. Solve 3*p + 13 = -h*w, -3*w + 5*p - 4 = -3 for w.
-2
Suppose 5*m + 84 = 4*g, 2*m = g - 2*g + 21. Solve 1 = -p + 2*n + 4, p = -4*n - g for p.
-5
Let f be 2 + 3*(-21)/(-9). Let n = -1 + f. Let b = -5 + n. Solve 3 = b*w - 2*w - 2*t, 3*w - 5*t = 6 for w.
-3
Suppose 34*f - 36*f + 10 = 0. Solve f*y = -3*m - 4, -2*y = -9*m + 14*m + 13 for m.
-3
Suppose -3*t + 6 = -0*t. Solve -5*p = 2*s - t*p - 19, 5*s - p = 22 for s.
5
Let b be -4 + 4 - ((-2)/(-1) + -4). Solve -4*l + 16 = 0, 6*d - b*l - 12 = 2*d for d.
5
Let f be ((-1)/(-3))/(3/9). Let h be (-4*f/(-1))/2. Let s be (-34)/(-6) - h/3. Solve 3*k = -2*o - 1 - 19, -k - s*o = 24 for k.
-4
Let f be (-27)/(-2) + (-24)/16. Suppose -f = -2*k - k. Solve 0 = -4*u - 0*z + k*z - 4, 20 = 4*z for u.
4
Let p(k) = -k**2 - 8*k - 6. Let n(i) = i**3 - 4*i**2 - 5*i + 2. Let v be n(5). Suppose 6 = -v*w - 6. Let u be p(w). Solve 0 = 2*f + 4, -4*f = 3*h + u - 1 for h.
1
Let p(j) = 2*j**3 - 2*j**2 - j + 8. Let f be p(2). Let c = 16 - f. Solve 0 = -c*z - 5*m - 0*m - 13, 9 = -3*m for z.
1
Let x be -39*(-2)/6 - 0. Suppose 3*n - x = -4*t - 1, -5*n = -4*t - 20. Solve -b + 15 = -n*a - 1, -2*b + a - 3 = 0 for b.
-4
Suppose -2*u = -5*v + 25, 5*u = 2*v + 2*v - 37. Let b = u + 8. Let x(y) = y**3 + 13*y**2 + 9*y - 31. Let d be x(-12). Solve -d*l = 1 - 16, -b*l + 11 = c for c.
2
Let n = -402 + 407. Solve 0 = n*r + 2*y + 20, r - 8*y + 3*y = -4 for r.
-4
Let n = -666 - -669. Solve u = -4*o + 9, n*o = 2*u + 7*o - 14 for u.
5
Suppose 573*w - 578*w = -15. Solve -w*x + 19 = -c + 3*c, 0 = -3*x - 4*c + 29 for x.
3
Suppose -4*u = -4*s + 8*s - 12, 0 = 4*s - 5*u - 3. Solve 12 = 5*a + l, 9 = s*a - 3*l + 2*l for a.
3
Let m = 62 - 51. Let u = 12 - m. Solve -k + w + w = u, -3*k + 4*w = 1 for k.
1
Let m =