e k = 5*g - 4*y, 5*y - y = -4*g + 24 for g.
5
Let v be 1007/323 + 2/(-17). Let j(b) = b**3 + 15*b**2 - 16*b + 2. Let r be j(-16). Solve 5*c - z - 15 = 0, -2*c = -r*z - v - 11 for c.
2
Let b be 7/(-4) + 45/12. Solve b*a - d = -11, -3*a - 24 = a - 4*d for a.
-5
Let d(j) = j**2 + 30*j + 192. Let o be d(-21). Solve 0 = -x + h - 6, 2*x + 22 = -2*x + o*h for x.
-4
Suppose 2*k = -8*k. Solve -5*t + 5 = 0, 2*r - 4*t + 8*t - 6 = k for r.
1
Let u = -225 + 228. Solve c = 2*k - u*c + 4, 5*c = 0 for k.
-2
Let u(v) = -v + 9. Let n be u(7). Suppose t + 5 = n*t. Let y be 3*(t/3 + -1). Solve -2*x + 3*p - 7 = y, -2*x - p = -11 for x.
3
Suppose 6*a - 7 - 5 = 0. Suppose -a = -4*b + 3*b. Solve -3*p = -3*c - 0*c, 0 = 5*c + b*p - 21 for c.
3
Let p(m) = -6*m - 2 + 8 - m**2 + 7*m. Let f be p(-2). Solve -3*j + 4*q = j + 24, 4*j + 5*q + 15 = f for j.
-5
Let c be 92/1*(-42)/24. Let j = -153 - c. Solve 0 = 5*l + 2*t - j, l + 20 = -4*l + 5*t for l.
0
Suppose -2391 + 447 = -6*q. Suppose -q = -15*o - 114. Solve -4*j = -3*n + j + o, 5*n + 5*j = -30 for n.
-2
Suppose -12*f + 7*f = -4*a + 20, -3*f - 5 = -a. Solve 2*l + 3*l = a, 5*t - 16 = 4*l for t.
4
Let b(s) = -36*s**2 - 14*s - 14. Let p(h) = 12*h**2 + 5*h + 5. Let f(l) = -6*b(l) - 17*p(l). Let y be f(-1). Solve w = 3*u - 0*u + y, -4*u - 4*w - 32 = 0 for u.
-5
Let d(f) = f**2 + 28*f - 29. Let g be d(-29). Solve 5*x - 5*h - 35 = g, 6*h - 3*h + 24 = 4*x for x.
3
Let a be 5/(8/(-44) - (-117)/99). Solve 5*q + 3 = -5*s - 2, a*q + 3*s - 1 = 0 for q.
2
Let i = 21 - 33. Let s = i - -16. Solve -d - 6 = 4*o - o, s = -2*o + 4*d for o.
-2
Let n(l) = 2*l**2 - 3*l - 4. Let h be n(-2). Let u be (-8)/h*(-75)/10. Let d = u - 3. Solve d*m = -5*k - 2, 0 = 5*m + 5*k - 0*k + 10 for m.
-4
Let x be ((-1)/2)/((-35)/140). Let i be (-8)/(-20) + (-2)/5. Suppose i = 3*g - 5*k - 4, 2*k + k + 3 = x*g. Solve -6 = -g*v, 4*v - 3*v - 6 = -4*w for w.
1
Let z be (1860/35)/12 + 12/(-28). Solve -6*m - 4*t = -7*m - 15, -z*m + 5*t - 16 = 0 for m.
1
Let f be (-30)/(-18)*(-96)/(-40). Solve -2*l + 12 = f*s, s + 2*l = 3 - 6 for s.
5
Let j be (-1848)/(-187) + -6 + 4/34. Solve 4 = -j*g, -d - 8 = g + 2*g for d.
-5
Suppose 2*x + 3*u = 21, -3*x + 1 = -6*x + 2*u. Solve -5*f = 2*p - 13 - 2, 0 = x*f - 9 for p.
0
Let k = 16 - 11. Suppose k*l - 17 = 13. Let c be (-10)/l*(-27)/9. Solve -15 + 3 = -x + 4*j, 26 = c*x - 3*j for x.
4
Let j = -384 - -386. Solve p - j*x - 4 = 0, 0 = -x - 2*x for p.
4
Suppose r - z = 3*z - 12, 4*z + 36 = -r. Let y = r - -9. Let c = y - -19. Solve c*d = 2*i - 2, -4*i + 9*i - 2*d = -11 for i.
-3
Let z = 31 + -24. Suppose 3*g - z*g = -12. Solve -3*h = 5*y + g, -4*h + 2*y = -2*h - 14 for h.
4
Suppose 0 = 30*v + v - 496. Solve -4*w + w = 2*o + v, 2*w = -4 for o.
-5
Suppose y + 4*g = -2, -5*y + y - g + 52 = 0. Let u(t) = t - 9. Let b be u(y). Solve 2*h + 4 = -2*j, 7*j - 3*j - 19 = b*h for j.
1
Let b be (1/(-5))/((-4)/20). Let z = 1 - -3. Suppose -4*k + 0*m = -3*m - 16, m + 16 = z*k. Solve -k*w = 5*l - b - 7, 3*l + 4*w = 0 for l.
4
Let s = -1724 - -1741. Solve s = 3*m + 5*t, -2*m + t = 3*m - 19 for m.
4
Let n(r) = -r**2 - 17*r - 35. Let t be n(-15). Let s be 7 + t - 0/(-2). Solve -5*z + 3*u - s*u = -3, 0 = -z - 4*u - 12 for z.
0
Let o(t) = -t**2 - 3*t + 5. Let g be o(-4). Suppose -a - 3*j = -g, j + 0*j = -3*a + 3. Solve 4*h - 5*y - 10 = 0, -h - 3*y - a = -12 for h.
5
Let y(p) = p**3 - 4*p**2 + 3*p + 1. Let c be y(4). Let q = c + -13. Let t be 72/(-18) - (-4 - q). Solve 4*s = 2*d - t*s + 4, -s = 2*d - 6 for d.
2
Let c be (-6)/(-24) - (-106)/(-8). Let m = c - -16. Let a be (-4)/(-6)*12/4. Solve 2*g + 9 = m*g + 4*t, -a*t + 7 = 3*g for g.
1
Let x = 282 + -278. Solve -3*h = 5*b - 2*h - 9, -4*b + 20 = x*h for b.
1
Let p be (-770)/(-550) + (-4)/10. Suppose 2 = b - 2*r - 0, r + 1 = -4*b. Solve l + b - 2 = -q, 2*l = -5*q + p for q.
-1
Let r be (-72)/(-48)*(-7)/((-42)/40). Solve q + 3*c + r = 0, 0*q - 3*c = -q + 2 for q.
-4
Let z = 990 + -986. Solve -2*u + x - 15 = 0, -3*u - z*x = -6*u - 35 for u.
-5
Suppose -4*f = -2*l + 10, 4*f = 3*f - 4*l + 20. Solve 3 = -3*z + 7*z - r, -3*r + 15 = f for z.
2
Let z(w) = -4*w - 42. Let u be z(-14). Suppose d = -d + u. Solve -3*v = -3*b - 3, b - 2*v - 2 = -d for b.
3
Suppose 113 - 143 = -6*o. Solve -5*z = b + 19, 0 = -o*z + b - 5*b - 31 for z.
-3
Let u(y) = -y**3 + 7*y**2 + 30*y + 2. Let t be u(10). Solve -11 = -5*g + t*a, -5*g - 3*a = -4*a - 13 for g.
3
Suppose -2*o - o + 51 = 0. Suppose -5*c - 7 = -o. Solve 2 + 3 = 5*h + c*d, -20 = 4*d for h.
3
Let p = -19 - -28. Suppose -10*q + 3 = -p*q. Solve 0 = -4*i - 5*o - 45, 0 = i + 7*o - q*o + 25 for i.
-5
Let z(d) = d**2 - 25*d + 48. Let x be z(24). Suppose x = o + 3*o. Solve k - w = 0, 2*k - 5*w + o*w + 15 = 0 for k.
-5
Let r(s) = 16*s - 92. Let g be r(6). Solve g*z - 7*j + 2*j = -40, 3*j - 2 = -2*z for z.
-5
Suppose -3*y = -7*y. Suppose -3*v + 4*v + y*v = 0. Solve v = 4*h - d - 20, 9 = 4*h + d - 11 for h.
5
Suppose -2*m + m = 10. Let q = m + 38. Let f = -10 + 16. Solve s - f = -2*g, q = -4*s + 3*g + 2*g for s.
-2
Let t(u) be the third derivative of -u**5/60 + u**4/8 + u**3/2 - 5*u**2. Let w be t(6). Let c = -10 - w. Solve q + 2 = 4, i + c*q - 11 = 0 for i.
1
Let l(k) be the first derivative of 3*k**2/2 - 10*k + 153. Suppose 7*s - 12 = 4*s. Let z be l(s). Solve -2*t + 4 = -z*u, 5*u - 2*t = -3*t - 10 for u.
-2
Suppose k = -0*k + 4*k. Let u be 0 - -2 - (-36 + -6). Let w be u/10 - 4/10. Solve k = 3*g - 6, -g = w*s + 3*g for s.
-2
Let q(y) = -y**2 - 31*y - 131. Let v be q(-25). Solve 3*p + 3*c - 15 = 0, -5*p + 2*c = 1 - v for p.
4
Suppose 7*z - 84 = z. Let f be ((-37)/(-7))/1 + (-4)/z. Solve -3*q + 21 = 5*i - 2*i, f*i + 3*q = 27 for i.
3
Let b be (-34)/(-51)*(-177 + 0/2). Let q = b + 126. Solve -q = -4*z + 6*z - w, 4*z + 22 = 5*w for z.
-3
Suppose -5*p = 9*p - 266. Solve -5*w + x + 7 = -4*w, -5*w + x + p = 0 for w.
3
Let h(u) = 2*u**2 + 29*u - 144. Let k be h(4). Solve 10 = -2*x + 2*i, x = -k*x - 2*i - 4 for x.
-2
Let t be -4 - (-11 - 4/(-2)). Solve -f = 5*g + 9, -3*f + t*g = -5*f - 13 for f.
-4
Suppose -4*v + m = -32, -8*v + 10*v = 2*m + 22. Solve -4*p - 5*w = -v, -17 = -p + 2*p - 5*w for p.
-2
Let a be -2 + 4 - 1*-1. Let f(d) = d**2 - 5*d - 4. Let b be f(6). Suppose 5*q - 13 = j, -8 = -4*q + 8*j - 6*j. Solve -4*k - 1 = -b*o + q, 2*o + 3*k = -a for o.
0
Let u be (-6)/(-2) + (2 - 2)/(-2). Solve 3*h = 12, -h - 4 = u*x - x for x.
-4
Let f be (-1)/2*8 - -26. Suppose 0 = -2*c + 5*c, -c - f = 2*p. Let a = 15 + p. Solve -2*k - n = 2*k - 15, a*n + 4 = 0 for k.
4
Suppose -5*x = -2*k - 3, -x + k + 7 = -k. Let a be x + 8 - (8 + -14 + 7). Solve i = -4*r - a, -2*i + 2 = 2*i + 3*r for i.
2
Suppose 5*b - 5 = 4*i, -b = -1 + 4. Let s be i/(-3) - (-16)/12. Solve 0 = 5*z - 4*u - 6, 5*z + s*u - 8*u - 5 = 0 for z.
2
Suppose -3*w - 87 = -3*i, 215 - 70 = 5*i + 3*w. Solve t - i = 5*p, 3*t - 31 = 3*p - t for p.
-5
Let p(t) = -80*t - 75. Let x be p(-1). Solve 0 = 5*g - 10*g - 3*j - 25, -g + x*j = 5 for g.
-5
Suppose -4*z + 20 = 4*s + s, 0 = 2*s + 3*z - 15. Suppose -2*g + 18 = -5*y, 5*y - 2 = -3*g - 0*y. Solve 16 = -g*n + 2*b, -9 = 5*n - s*n + 3*b for n.
-3
Let w(s) = -4*s + 18. Let n be w(8). Let o be (5 + -6)*-1*(1 - n). Solve -3*f + 4*f + 4*p - o = 0, 4*p - 40 = 4*f for f.
-5
Let y(l) = -21*l - 6. Let r be y(-4). Let a = -78 + r. Solve a = -5*d + 3*t - 10, -5*d = -3*d - 2*t for d.
-5
Suppose -11 - 9 = -4*u. Suppose 0*l + 6 = f - 4*l, -u*f - l = -9. Let a be -1*f*25/(-10). Solve -2*k - 14 = -2*j - 2, 3*k - a*j = -22 for k.
-4
Suppose -3*j + 5*z = 4*z - 71, z - 25 = -j. Solve 0 = -4*o - o - t + j, 0 = 3*o - 4*t - 19 for o.
5
Suppose 0 = x + 19 - 23. Suppose -62 = -4*o + 5*y, -7 = x*y + 1. Suppose k = 5*m - o, 3*m + 2*k + 2 = m. Solve -5*l + 4*b + 33 = 0, -3*b = m*b + 10 for l.
5
Suppose -12*f = -7*f - 20. Let y(o) = o**2 - 10*o - 20. Let b be y(12). Solve 4 = 2*z + 3*n, -z - f*n = b*z - 3 for z.
-1
Let g = -437 - -446. Solve 4*s - 12*z + 1 = -7*z, g = 5*s + 4*z for s.
1
Let u = -10 - -16. Let s = 45 + -45. Suppose s = u*j - 8*j. Solve 0 = -3*n + 4*p, j = -2*n + 7*n + 5*p for n.
0
Suppose 34*h - 39*h = 2*s - 26, -3*s = h - 13. Solve y + 25 = 5*b, 5*y - h*b - b + 45 = 0 for y.
-5
Suppose -3*w = 3*w - 24. Solve w*y + 26 = 5*z, y + 9 = z + 3 for z.
2
Let u = 16 - 12. Suppose 0 = -5*a + u*f, -3*a + 32 = 3*f + 5. Suppose 