e b = -4*h + j - i, 2 = -5*j - 3 for h.
-1
Let b be (-10)/7*(252/8)/(-9). Solve 2*o = -b + 7, 5*n - 5*o = 0 for n.
1
Suppose 4*d - 4 = 2*d. Suppose 0*w = 2*w - 5*w + 27. Solve 2*y - d*a = -10, 2*a = 3*y + a + w for y.
-2
Let y(k) = k - 4. Suppose -5*j + 66 = 21. Let r be y(j). Suppose -r*d + 4*m + 0*m = -16, 4*d - 5*m = 11. Solve 28 = 4*t + 7*a - 3*a, 5*a - 8 = d*t for t.
3
Let b(v) = -92*v - 633. Let m be b(-7). Solve 3*c - 3 = 6*c, 2*a + m = -c for a.
-5
Suppose d - 3 = q, 9*q - 4*q + 10 = 0. Solve 7*z = 4*z - 4*b - 14, 3*z - d = -b for z.
2
Let k(s) = -s**3 + 3*s**2 + 5. Let g be k(3). Solve -g*b - 3*c + 0 = 3, 0 = -5*b - 4*c + 1 for b.
-3
Let g(w) = -2*w - 9. Let v be g(-7). Let o(a) = -1 - 5*a + 3 + 76*a**3 - 77*a**3 + 6*a**2. Let l be o(v). Solve 4*u + j = -0*j - 7, -1 = l*u + 3*j for u.
-2
Suppose -2*l + 7*l = 20. Solve 12 = -l*r - 4*z, -4*r - 5*z = -0*z + 14 for r.
-1
Let t = -532 + 535. Solve f - 5 = -3*n, t*f - 7 = -3*n + 2 for f.
2
Suppose -3*i - 7*q + 13 = -9*q, 2*q = -2*i - 8. Solve -3*v - i + 2 = -4*s, 5*s + 25 = -v for s.
-4
Let y = -1219 + 1223. Solve -4*v = 3*o + 1, o + y*v + 6 = -o for o.
5
Suppose -y - 4 + 32 = 5*j, 3*j = 9. Let t be y/3 - (-16)/24. Let v = -23 + 35. Solve v = 3*u, 14 + 4 = t*i + 2*u for i.
2
Let r be 104/(-156) + (-1 - (-10)/6). Solve -b - 3*h = -9, r*h + 3*h - 9 = 0 for b.
0
Let q = -13 + 43. Suppose -4 = o, -f = o + o - q. Suppose -143 = -5*m - f. Solve 3*s + 6*v - m = 2*v, -15 = -5*v for s.
3
Suppose -93*c + 85*c = -24. Solve 7*q = f + 2*q - 4, c*f + 2*q - 12 = 0 for f.
4
Let z = 265 - 264. Solve -2*o - z = d, o = 4*d + 20 + 2 for o.
2
Let l = 97 - 94. Solve 3*u = 3*v + l, 4*u = v - 4*v + 25 for v.
3
Suppose 2*r = -1 + 9. Let z = 33 + -33. Solve y - r*o - 25 = z, 0 = -y - 2*o - 2 - 3 for y.
5
Let k(u) = 16*u**2 + 3*u - 1. Let c be k(2). Let n(o) = o - 60. Let b be n(15). Let d = c + b. Solve 0 = j - 4*q - 3, -4*q - d - 9 = 5*j for j.
-5
Suppose 5*r - 5*d + 20 = 2*r, 3*r = -4*d - 65. Let q be 3*r/(-9) + -2. Suppose 5*v - 11 = q*u, v - 2*u + 0 = 5. Solve 3*s = -2*t + 5, v + 9 = -5*t for s.
3
Let i be (2/1)/1 + 58/29. Solve -3*a - 5 = j, -i*a - 10 = -a - 4*j for a.
-2
Suppose 40*x = 44*x - m - 53, -3*m - 29 = -2*x. Solve -a + 2 = d, -2*d + d - x = -2*a for a.
5
Suppose 7*c + 8 = 36. Suppose -c*h + 9*h = 75. Solve -p + 3*u = 7*u + 20, -3*u = 5*p + h for p.
0
Suppose 4*y = y. Suppose s - 5*l - 7 = -y*l, -2*s + l = -5. Solve 3*a - 5*f = 8, -f - f = s*a for a.
1
Let z(v) be the second derivative of -v**4/12 - 5*v**3/6 + 5*v**2/2 - 5*v. Let j be z(-5). Let d = 125 - 96. Solve 5*o + a = -15, o + j*a + d = -o for o.
-2
Let o = 371 - 368. Solve 3*q - o = 3*z - 7*z, 0 = -4*z + q + 15 for z.
3
Let u be 7/35*(-1 + 1)/(-2). Solve 3*q - 3*v + 1 = 16, 3*q + 5*v + 1 = u for q.
3
Suppose 0 = 65*o - 162 - 33. Solve -4*x - 4*g + 1 = -o, -4*x - 2*g = 6 for x.
-4
Suppose 4 = 2*c, 0 = -n + 6*c - 5*c. Solve 4*j + n*u - 32 = -3*u, -5*j = -u - 11 for j.
3
Let u(f) = f**3 - 3*f**2 + 3*f - 7. Let v be u(3). Solve b - 17 = -p + 4*p, v*b = -p - 1 for p.
-5
Let d be (-5 + 7 + -10)*5/(-10). Solve 0 = 3*t + 9, 2*t = d*q - 0*t + 10 for q.
-4
Let a(r) = 2*r**3 - 4*r**3 - 26*r**2 + r**3 + 0*r**3 - 12 - 26*r. Let t be a(-25). Solve -3*q - t = -d, -5*d - 10 - 15 = 3*q for q.
-5
Let h be -2*(-1)/2*7. Let y be ((-4)/h)/((-12)/42). Solve 5*t - 3*k = 0, y*t + k = -t + 14 for t.
3
Suppose 3*f + 8 = -h - 2*f, -4*f + 16 = 4*h. Solve 6 = -3*c - 5*z - h, -4*c - 6 = z for c.
-1
Let j(c) = c**3 + 4*c**2 - 13*c - 2. Let k be j(-6). Let n = 1 - 1. Solve -t - 9 = 4*m + 1, n = 5*m + k*t + 18 for m.
-2
Suppose 0*a + 4*a = 168. Let k(z) = z**2 + 11*z - 6. Let n be k(-8). Let b = n + a. Solve 0 = -s - 2*r - 0*r - b, 2*s = -r - 9 for s.
-2
Let b = -1307 - -1307. Solve 5*g - 8 = -3*p, 3*p - 7 = -b*g - 4*g for g.
1
Let z(g) = g**3 + 14*g**2 - 2*g + 19. Let a be z(-14). Suppose 0 = -45*v + a*v - 10. Solve -20 = -2*j + 3*j - v*t, 0 = 2*j - 4*t + 22 for j.
-5
Suppose -5 = -h + 4*j - 10, -2*h = 4*j - 14. Solve s + 3 = -x + h*x, -9 = 3*s + x for s.
-3
Suppose 2*r + 0*r - 4 = 0. Suppose f + 4*f + 4 = -2*o, -r*o + 4 = f. Solve -2*b + b = 4*a - 24, a + o = 2*b for a.
5
Suppose 104 = -11*l + 544. Solve k - 5*v = -5 - 11, 5*k + 5*v - l = 0 for k.
4
Let d be -3 - -3 - -4 - 36. Let k be d/(-6) - (-8)/(-6). Solve 2*r - 3 = 5*l + 3, 5*r + k*l + 18 = 0 for r.
-2
Suppose -14 = 35*k - 34*k. Let d be 90/54 - k/6. Solve 2*a + 5*z = z - 6, -2*a + z + d = 0 for a.
1
Let s(l) = -l**2 + 7*l + 31. Let x be s(10). Solve 5*u - 2 = -w, 3 - x = -w - u for w.
-3
Suppose 5*m + 5*c - 46 = 4*m, m + 3*c = 48. Let d = m + -49. Solve 5*y + 0*f - 30 = -2*f, y + d*f - 14 = 0 for y.
4
Suppose 4*w - 70 = -2*z - 3*z, w = 4*z + 28. Suppose 5*i + w = 9*i. Solve -3*c - 2 = d - 15, 0 = i*d + 3*c - 5 for d.
-2
Suppose -3 = -2*w + 1. Suppose -8 + 22 = -2*q. Let o be (8 + q)/((-1)/(-6)). Solve -4*i = -3*b - 6, -w*b - 3*i + 2 - o = 0 for b.
-2
Let z be -5 + 9 + 8 + -7. Solve z*h = -5, 2*x + 6*h + 7 = h for x.
-1
Suppose -w + 7*w - 12 = 0. Suppose -p - 3*f = 2*p - 3, 2*f + w = -p. Solve -2*s + 4*g + 8 = 2*s, p*g = 12 for s.
5
Suppose 13*h - 12*h + 5 = 2*v, v = 5*h - 11. Solve 4*x + v = -4*j, 3*x + 12 = -x for j.
2
Suppose 2*l - 8 = 3*o - 4*o, -5*l - 3*o = -22. Solve -12 + 4 = l*r - 4*t, -4*r - 4 = -2*t for r.
0
Let k(g) = g - 13. Suppose 5*s - 33 = 2*s. Let h be k(s). Let p be h/4 + (-99)/(-18). Solve -2*v + 22 = 4*i, 1 = 3*v - p*i + 23 for v.
1
Suppose 2*f - 3 = 29. Suppose 0 = f*z - 19*z. Solve z = -3*r - 0*b + 2*b - 11, -5*r - 2*b = 29 for r.
-5
Suppose -r + 29 = 9. Let n be (-158)/(-8) + 5/r. Let h be 3/2*16/6. Solve 0 = -2*g + h*f - 20, -3*g - g + 3*f = n for g.
-2
Let g = 119 - 115. Solve 2*d = 2*r + g, -r - r = 4*d + 22 for d.
-3
Let t = -2 + 5. Suppose 5*s + c = -0*c + 26, 0 = t*c - 3. Solve 4*q = -4*i + 4, 2*q = 2*i + 13 + s for q.
5
Let q be 1/((12/(-15))/(-4)). Suppose 4 = -3*k - q. Let y = k + 11. Solve -4*s + 2 = -w, -2*s - y = 4*w + 3*s for w.
-2
Let m(c) = -5*c + 65. Let t be m(13). Solve -v + 1 = 4*h, -4*v - h - 4*h + 4 = t for v.
1
Let a(f) = f**2 - 5*f + 3. Let m be a(3). Let y be ((-4)/(-8) - -2) + m/(-6). Solve -5*r = -0*q - 5*q + 10, q = y for r.
1
Suppose 31*s - 10 = 29*s. Suppose -s*z + g + 45 = -26, -3*g = -3*z + 33. Solve 0 = -a - 4*a - 5*h + 30, 5*h - z = 0 for a.
3
Suppose 2 = 5*m - 13. Suppose -5*k + 16 = m*g, -3*g = -3*k - 0*k. Solve -2*f - 3*f + k*n = -18, 4*f - 4 = -n for f.
2
Suppose -17*v + 15*v = 0. Suppose 0*z - 2*z + 30 = v. Suppose z = a + 2*a. Solve 0 = 3*h + a*o + 22, 2*h + o = -0*o - 3 for h.
1
Suppose 2*k = 2*y - 8, 4*k + y = -0*y - 26. Let a(n) = -4*n - 19. Let f be a(k). Solve 0 = 3*l - 3*j, f = -3*l + l + j for l.
-5
Let o = -473 + 477. Solve -o*v = 3*i - 35, v - 5*i + 15 = -v for v.
5
Let w(m) = -4*m - 13. Let n be w(-5). Let j = 10 - n. Let c be (2 - 2) + 11 + 2. Solve -3*a - 4 = -c, -j = 5*l - a for l.
0
Let i(x) = x**2 + 11*x + 33. Let z be i(-6). Let f(g) = -3*g**2 + 12*g - 7. Let p be f(z). Solve 0 = p*y + 2*j + 3*j + 6, -6 = -2*y + j for y.
2
Suppose 4*a - 4*a = 4*a. Let y be (-2)/(-1)*(1 + a). Solve 19 = 4*k - 3*u, 0 = 3*k + 4*u - 6 - y for k.
4
Let r be (-4)/(-10) + (-57)/5. Suppose 26*s = 27*s + 14. Let m = r - s. Solve 5*q + 5*g + 18 = -7, -2*q - 13 = m*g for q.
-2
Suppose 3*d + 3 = -5*v + 10, v = -4*d + 15. Suppose 2*j - 1 = z, 5*j + 7 = 17. Solve -4*i + z*k - 5 - 5 = 0, -2*k = -d for i.
-1
Let x(j) = -j. Let y be x(2). Let f be 6 + -2 - y/(-2). Suppose t = -f*t + 96. Solve -t = k + 6*r - r, 5*k - 3*r + 8 = 0 for k.
-4
Let c = -23 - 3. Let x = -6 - c. Solve r = -5*u + x, u - r = -4*r + 4 for u.
4
Suppose 0 = -4*o + 6*n - n - 130, o + 37 = -n. Let c = o - -38. Solve 0*j - 2*j = -c*s - 12, -5*s - 3*j = 1 for s.
-2
Let w = 573 + -569. Solve 2*z - 15 = -t, w*z - 3 = 3*t + 2 for t.
5
Suppose 0*a - 8 = -2*a. Let t = 25 - 21. Solve -t*d - a*n + n - 16 = 0, 2*d - 18 = 5*n for d.
-1
Let y(h) = -h**3 - 9*h**2 - 12*h - 6. Let z be y(-8). Suppose -u = z - 6. Let b = u - -22. Solve -2*x + 2*m + 2 - 6 = 0, -3*x + 14 = b*m for x.
2
Suppose 0 = x - 4*x + 12, 2*u = x + 28. Suppose 4*i - u = -q, 0 = 5*i - i + 4. Solve 3*g - l = q, 40 = 4*g + l - 5*l for g.
5
Suppose -183*c + 193*c = 50. Solve 2*h - c*i - 17 = 0, -6*i - 11 = -5*h - 4*i for h.
1
Let v be 3/(-7) + (-901)/