*i - 3 for i.
5
Let o(a) = 25*a - 171. Let y be o(7). Solve y*h - 4*f = 2*h + 4, -5*h + 2*f = -10 for h.
2
Suppose 88*c = 91*c - 6. Solve 3*u - 27 = -4*a, u - c*u - 2*a + 11 = 0 for u.
5
Suppose 0 = 5*m - 0*m - 25. Suppose 50*i + 25 = 55*i. Suppose 4*k - 3 = -w, i*k - 6 = -w - 1. Solve 5*s - 3*b - k = 9, -3*s + m*b - 3 = 0 for s.
4
Let t be (12/5)/(40/100). Solve -3*k = -5*o + 26, -2*k - o = 3*k + t for k.
-2
Let n(m) = -m**2 + 2*m + 20. Suppose -9*f + 27 + 18 = 0. Let l be n(f). Solve 4*d + s = -0*d + 25, l*d + 2*s = 35 for d.
5
Let o be (8/(-18))/((-8)/36). Suppose o*m = m + 3. Let x(d) = -d + 6. Let w be x(m). Solve -4*i + 5*l + 23 = 0, w*i = 2*l + 5 + 7 for i.
2
Let x(c) = -c**3 + 5*c**2 + 16*c - 11. Let s be x(7). Suppose -s*m + 12 + 7 = -2*w, 3*m + 5*w = 5. Solve -b + 2*u + m = 0, -3*b - u - 12 = 2*u for b.
-1
Suppose -182 = -11*z - 2*z. Let q be (-4)/z + 214*4/56. Solve -5 = h - 3*n, 5*h = 2*h - n - q for h.
-5
Suppose -4 = -m + 1. Suppose 27 + 1 = -7*u. Let n = u + m. Solve n = -d - 3*h - 3, 2*d - 8 = 2*h for d.
2
Let n = 15 - 11. Let f(k) = 3*k**2 - 3*k - 4. Let p be f(n). Suppose -j = j - p. Solve 2*x + x - 4*a = 12, -4*x + a = -j for x.
4
Suppose f = -f + 6. Suppose f*p - 16 = -7. Solve 0 = -g - 3*t - 4, 12 = -0*g - p*g - t for g.
-4
Suppose -r = 2*r - 12. Let q = r - 4. Solve -2*i = z - 12, 4*z - 4*i + 7 + 5 = q for z.
2
Let k be -1 - -27 - 6*6/(-9). Solve 5*u + 5*f = 4*f - 25, -5*u - k = 2*f for u.
-4
Let n(t) = -108*t - 300. Let b be n(-3). Solve 4*s - g = 3*g - b, -5*s - 2*g = 23 for s.
-5
Let j = 15724 + -15721. Let u = 0 + 0. Let x = 5 - u. Solve -x*v - 5*z = -j*v - 12, z = -5*v + 7 for v.
1
Suppose 5*w - 103 - 59 = 3*o, -142 = -5*w - 2*o. Let l = 35 - w. Solve 3*b - 3 = 3*d, 5*d = l*b + d for b.
-4
Let h = -37 - -42. Let a be ((-8)/6)/(-2) + h/15. Solve -2*r = -3*c - a - 12, -r + 14 = -3*c for r.
-1
Suppose -3*y - 2*k + 1 = 0, k + 16 = 9. Let t be ((-10)/(-4))/((-3)/(-42)). Solve 3*q - 4*c = t, y*c + 7 = -4*q + 2 for q.
5
Let q be (0/(-12))/(-6 + 5). Solve q = -4*v + 3*p - 17, 3*v + 5*p = 9*p - 18 for v.
-2
Suppose -15 = -4*j + 5. Suppose 0*w + s + 7 = 4*w, 8 = j*w - 2*s. Solve 5*c - w*d = 17, -c + 3*d - 4*d + 2 = 0 for c.
3
Let x be (0/(-68))/(1/1). Solve x = 4*h + 12, 4*t + 5*h - 6 = -25 for t.
-1
Let a = -150 + 154. Solve 0*g + r = a*g - 8, 4*r - 4 = 4*g for g.
3
Let k(z) be the third derivative of 7*z**2 + 2/3*z**3 + 0*z + 0 - 1/10*z**5 + 1/120*z**6 - 7/24*z**4. Let x be k(7). Solve v + 3 - 1 = 0, 2*v = x*y + 12 for y.
-4
Let x be (5 - (-104)/(-8)) + 9. Solve -2 = -s + 3*l, 1 = s + l - x for s.
2
Suppose 4*h = 6*h + 8. Let u = 1 - h. Suppose 22*d - 25*d = -15. Solve d*f - 2*q = -4*q + 15, u*f = 5*q + 15 for f.
3
Let j = 193 + -176. Solve 0 = 4*l + 5*v + j, -v + 1 = 5*l - 4 for l.
2
Let q be -6 + 8 + -6 + 6. Let w be 1/(-2) + 14/4. Solve -12 = -w*z, 5*d - z + 16 = q*d for d.
-4
Let w = -10 + 12. Let r = w + 4. Let k = 14 - r. Solve -5*a = -2*a + 3*l - 3, -3*l + k = -2*a for a.
-1
Let p = -1793 + 1833. Solve -p = 4*g - 4*o, -1 = 3*g + o + 9 for g.
-5
Let v(f) = -f**2 - 2*f + 18. Let u be v(-8). Let j be (-4)/u*-3 + (-20)/(-50). Solve j = 2*t - o + 4, -2*t + 4*o + o = -12 for t.
-4
Suppose 0 = 3*r - f - 14, -2*r + 4*r - 8 = f. Let w be r/4*(-182)/(-21). Let s be (-4 - -3)*-1 + w. Solve 3*k = -u - s, -k = -2*u + k + 4 for u.
-2
Let i be ((-4)/(-5))/(2/65). Let k = 30 - i. Suppose -k*r + 37 + 49 = 2*b, 4*r = 2*b + 90. Solve -4*v - 3*w = r, -4*v + 0*w = 4*w + 24 for v.
-4
Let s(a) = a**3 + 11*a**2 + 11*a + 10. Let u = -107 + 97. Let t be s(u). Solve 4*n - 5*d + 8 = -d, n + d - 6 = t for n.
2
Suppose 0 = -5*c + 25, 0 = 2*u - 5*c - 7 - 0. Solve 2*m - j - 2 + 10 = 0, 5*j - u = 4*m for m.
-4
Suppose c + 0*u = u, -5*c - 2*u = 0. Solve -t - 7 = -4*r, t - 2 = r - c*r for t.
5
Let y = 15 + -13. Suppose 2*f = -y*u - 1 - 5, f + 3 = u. Let q = -5 - -8. Solve 0 = -3*h + 2*o - 5 - 9, -h + q*o - 14 = u for h.
-2
Let g be 3/6*-10*-1. Suppose 5*x - 4*x - g = 0. Suppose 33 = 3*r + 24. Solve -5*q - 45 = 5*u - u, x*u + 40 = -r*q for u.
-5
Let l be ((-4)/6)/(38/(-57)). Solve 5*m = -2*p + l + 4, 0 = 5*m - 5 for p.
0
Let s = -4 - -7. Suppose 3*i + s = 5*g, -4*g + 5 + 7 = 0. Solve 2*k + 3 = i*q - 15, 2*k + 3*q + 4 = 0 for k.
-5
Let y(s) = s + 23 - 4*s + 2*s - 3*s. Let n be y(4). Solve -4*q - 4*g = -3*q - n, -3*q + 3*g = -6 for q.
3
Let y(h) = 5*h - 6. Let l be y(2). Suppose -4*b - l = -5*b. Solve -4*u = b*z + 12, 4*z - 6*u + 2*u - 12 = 0 for z.
0
Let n(o) = -o**3 + o**2 + 8*o - 7. Let d be n(2). Solve d*i - g - 4 = 1, -1 = -3*i + g for i.
2
Suppose 3*w + 4 = g - 2*g, -w = g + 4. Suppose 7*b - 5*z = 12*b - 50, -z = -5*b + 50. Solve 4*r - 2*c = -b, w*r + 2*c + 2 = -2*r for r.
-2
Suppose -17*x + 113 + 40 = 0. Suppose -4*m - 3*z + 3 = 0, m - x = -3*m - z. Solve -3*v + v = -m*s + 4, -s - v + 3 = 0 for s.
2
Suppose -2*j - 2 + 10 = 0. Suppose -6*i + j*f + 2 = -4*i, -4*i = -f + 3. Let a be (0 + 0/i)/1. Solve -2*y + 4*h = -20, -4*y - h + 6*h + 31 = a for y.
4
Suppose 34 = -2*y - 20. Let l be (-2)/(-6) - 72/y. Suppose 0 = l*i - 11 - 13. Solve -2*r + 3*b = -1, -5*r + 3*b = -10*r - i for r.
-1
Let y be ((-5)/(-3))/((-2)/(-6)). Suppose 65*q - 22*q = 54 + 75. Solve 20 = -4*k, 7*t - q*t = y*k + 9 for t.
-4
Let q = 1 + -2. Let k = 277 - 291. Let j be (-6 - k) + 3*q. Solve -7 = j*m + 3*x, 4*m - 8*x + 3*x = 24 for m.
1
Let a(i) = i**3 + 13*i**2 + i + 13. Let z be a(-13). Solve 4*x = 4*k + 8, z = -x - 5*k + 4 - 2 for x.
2
Let x = 25 + -40. Let p = -3 - x. Solve p + 3 = -3*z + 3*n, 2*n + 10 = -3*z for z.
-4
Let p be (-14)/(-6) + (-90)/(-135). Solve -h + 4*m = p*h + 32, 5*m = -3*h for h.
-5
Suppose 0 = -12*j + 4*j - 8*j. Suppose 5*i - 16 = -2*a, -i + j*i + 2 = a. Solve -2*f + 4*f = -w + 11, i*w - 29 = -3*f for w.
5
Let p(f) = -f - 5. Let t be p(-9). Let x be (-12)/(-6) + (-30)/(-2). Let o = x - 9. Solve -t*g = -5*d - o, 2*g + 4*d = d - 18 for g.
-3
Let a = -204 - -209. Suppose -4*s + 42 = -5*g + 3*g, 3 = -g. Let u = s - a. Solve -q + 2*q = -2*f - 8, u*q + 5*f + 17 = 0 for q.
2
Suppose -19 = -5*v - 2*y - 5, -2*v = 4*y + 4. Solve k = -v, 3*k + 16 = -2*p - k for p.
0
Suppose 6*x - 2*x = -4. Let j be x + 5 - (2 + -6). Solve -2*l = 3*d + 11, -2*l + 3 = -3*d + j for l.
-4
Suppose -12 = -4*f - 76. Let u = f + 18. Let r be 6 - u - 9/(-3). Solve 0 = -0*j + 5*j - 2*p + 19, -5*p = j - r for j.
-3
Let n(f) = f - 68. Let i be n(71). Solve 5*x - i*c - 5 = 0, -3*x + 0*x = -4*c - 3 for x.
1
Suppose 6*m - 7 = m - 3*z, -m + 4*z = -6. Suppose 5*d + 28 = 4*w, w + d = 2*d + 8. Solve -w - 2 = 3*x - 5*u, -8 = -m*u for x.
2
Let n be ((-374)/85 + (4 - 0))*-5. Solve -n*p + 3*p - x + 1 = 0, -5*x - 4 = -2*p for p.
-3
Suppose -118*q = -120*q - 3*s + 57, -5*s = -5*q + 155. Solve 12 = -2*w + 2, 4*j = -2*w - q for j.
-5
Let z(j) = -4*j + 0 - 6 - j + 6*j. Let y be z(10). Suppose -l - 19 = -5*r, 35 - 3 = y*r - 5*l. Solve -5*k + 3*n + 22 = 0, -3 = -r*n - 0 for k.
5
Suppose 5*x + 4*z - 16 = 111, -5*x - 3*z + 129 = 0. Solve 3*r + 3 = 2*k, -4*k - k - x = 4*r for k.
-3
Let d(q) = 55 + q - 28 - 27. Let c be d(2). Solve v - 6*v + 9 = -p, 2*p - 2*v = -c for p.
1
Suppose 0 = -21*a + 22*a - 5. Let f be ((-10)/(-4))/(9/18). Solve o = -3*h - 15, -f*o + 2*h = a + 2 for o.
-3
Let a = 1428 - 1424. Solve -a*j - 6 = 2*c + 4, -1 = -c for j.
-3
Suppose 6*o = -3*o + 36. Suppose 2*c = -5*i + 10, 0*c + 4*c - o*i = 20. Solve 3*m = -a - 2*a, -3*a - 4*m = -c for a.
-5
Let x(y) = 8*y**3 + 4*y**2 - y - 3. Let a be x(-3). Let v be (-4)/(-14) - a/105. Suppose -b - 45 = -v*b. Solve 5*g + 5*j = -b, 1 = -5*g + 4*j - 8 for g.
-5
Let x(s) = -s**2 + 16. Let f be x(-4). Solve 0 = -0*n - 2*n - t - 8, -3*n + t - 12 = f for n.
-4
Let j(x) = -x**2 + 6*x + 30. Let r be j(9). Solve y + 4 = 2*f, 3*f - r = -4*y + 3 for f.
2
Let s(w) = 3*w - 3. Let n be s(3). Suppose 10 = -n*y - 8. Let q = y + 7. Solve -q*g = -5*l + 15, 5*g = l - 0*l - 24 for g.
-5
Let f be 2/(-30) + 24805/3075. Suppose -3*z - 2*z = a - 44, -a = -2*z + 19. Solve -4*w = -q + f - 1, 3*w + z = 0 for q.
-5
Let c(j) = j - 37. Let d be c(41). Solve l - 1 = -4*h, -2*l - 2*l - 2*h + d = 0 for l.
1
Suppose 67*l = 105*l - 76. Solve 0 = 3*c - 15, -4*c + 7 = l*r - c for r.
-4
Suppose -5 + 30 = 5*v. Suppose 2*r - 13 = -5. Suppose -8 = 2*l, -4*l - 31 = b - r*b. Solve b*t + 4 = 3*y, 14 = 2*y