= 3*s - 12 for s.
-2
Suppose -8*f = 617 - 649. Solve 5*x + 3*g - 18 = 0, -g - g - f = -2*x for x.
3
Suppose -485 = -41*v - 56*v. Solve 18 = -4*j - x, -3*x - 5 + 36 = -v*j for j.
-5
Let s be 1/(-5) - 10/(-50). Suppose 3*u - 14 = -4*x, 3*x - 6*x - 5*u + 16 = 0. Suppose s*b - x = -b. Solve 2*v + b*v = 4, v + 14 = -3*z for z.
-5
Let f be (-3)/(-6) - 6/(-4). Suppose -f*j = -j - 6. Suppose b + 10 = j*b. Solve 18 = -u + 6*q - 2*q, -12 = -u - b*q for u.
2
Suppose -2*r = -4*s + 20, 3*s - r + 5*r - 15 = 0. Suppose -5*v - 4*z - z = s, 3*v + 4*z = -4. Let m = v - -6. Solve -d = -5*b + 6, -2*d - m = -2*b - 2 for b.
1
Suppose -5 = -5*g, 2*g = 2*s + g - 7. Suppose s*n + 7 = 19. Let w be 12 - ((-2 - 0) + n). Solve 3*x = -3*h - 3, -15 = -4*h + 2*x + w for h.
4
Let u = -142 - -177. Solve 5*m + k = -4*k + u, 18 = -m + 4*k for m.
2
Let g = -1795 - -1798. Solve -4*b + 5*a - 3*a - 4 = 0, -2*b = g*a - 14 for b.
1
Let k be 6/8*(-64)/(-16). Let z be ((-10)/8)/((-2)/8). Solve 5*g - 10 = -5*v, -4*g + k*v - 8 = -z*g for g.
-1
Let d = 1 - 1. Suppose 4*v + 4*h - 24 = d, 5*v + 3*h = 3*v + 14. Let q be 2 + 1 + 4 - -5. Solve u = x + 1, -4 = -2*x - v*u + q for x.
2
Suppose -5*r = -3*t + 26, -4*t - 9*r + 28 = -14*r. Solve -4*v + v - 23 = -t*f, -2*v = 5*f - 10 for v.
-5
Let x(a) = a**3 - 15*a**2 - 17*a + 21. Suppose c - 36 = -4*l, 6*c + 2*l = 4*c + 42. Let n be x(c). Solve 0 = -2*v + n*m - 10, -2*m + 8 = -0 for v.
5
Suppose -2*b + 74 = 2*c, 4*c + b - 157 = -18. Let j be c/2 - (1 + -1). Solve 0*r - j = 5*a + 4*r, -r + 2 = 0 for a.
-5
Let g = -1762 - -1775. Solve 0 = 2*j + 5*d + g, -2*j = -7*j + 2*d - 18 for j.
-4
Let o(t) = -2*t - 37. Let u(y) = -y**2 - 6*y + 20. Let z be u(-10). Let h be o(z). Solve 0 = -j - 3*n - n - 9, 0 = 3*j + h*n for j.
3
Let t = 25 + -43. Let a(h) = 2*h**3 - 12*h**2 + 7*h - 21. Let x be a(6). Let i = x + t. Solve 0 = -5*n - i*s + 15, 0 = -3*n - 0*s + s - 5 for n.
0
Let f = 241 + -437. Let c be (10/(-8))/(7/f). Solve -4*m + c = 5*k, m + 0 = 2*k - 1 for m.
5
Suppose 5*b = 4*b - 2. Let x be 10*(4 - 1/b). Suppose -x = -2*w - w. Solve 5*z - c + 6*c - 5 = 0, -z - w = 5*c for z.
5
Suppose 46 = 5*g + 36. Solve 5*u - 5 = -p - g, 2*u + 3*p + 4 = 0 for u.
1
Let w be 18*(-6)/(-9) + -7. Suppose 26 = 4*l + 2. Let a = l + -2. Solve 0 = 5*y + 3*t + 4, a*y - 1 - 1 = -w*t for y.
-2
Suppose 0 = 5*a + 45 - 70. Solve -a*g = 3*u - 5, -u = 4*g - 0*g - 4 for u.
0
Let u be (-5*(-13)/130)/((-1)/(-18)). Solve -u = -4*c + 4*f + 3, c - 4*f = 3 for c.
3
Let b(m) = m**2 - 17*m - 39. Let o be b(16). Let u = o + 55. Solve f + 4 + u = -x, -5*f = -2*x - 8 for f.
0
Let f(y) = 3*y - 7. Let q be 2/8 - 323/(-68). Let w be f(q). Solve -t - 4 = -3*x - 0, 0 = x + t - w for x.
3
Let q = -24 + 29. Suppose -16*v + q = -15*v. Solve v*j = 4*f - 8, 4*j - 4 = -20 for f.
-3
Let q(s) = -15*s**3 - 2*s**2 - s. Let b be q(-1). Solve -2*m + 3*h - 2 = 2*h, -b = 2*m + 5*h for m.
-2
Let i(l) = -l - 3. Let t(m) = 2*m**2 - 4. Let j be t(-3). Let a = j - 19. Let h be i(a). Solve 5*k = h*w + 3*k + 10, -w = 5*k + 5 for w.
-5
Let h = 9 + -2. Let o(r) be the first derivative of r**4/4 - 8*r**3/3 + 4*r**2 - 4*r - 3. Let q be o(h). Solve -2*x = 3*x - q*l + 13, -x + 4*l - 6 = 0 for x.
-2
Let v be -4*((-3)/(-6) + -1). Suppose p - v = 2. Solve 3*k - 18 = -3*y, p*y + 5*k - 2 - 26 = 0 for y.
2
Suppose 2*n - 38 - 12 = 0. Suppose 4*m - 5*b - n - 20 = 0, -4*m + 4*b + 40 = 0. Solve 5*y = 4*l, m*y = -l - l for l.
0
Suppose 6 = c + 3, 5*w + 2*c - 56 = 0. Solve 2*h + w = -4*j, -j - 4*h - 2 = j for j.
-3
Let f be 7/(21/27) + -1. Let k be 3/(-7) - 357/(-147). Let i be 1/1 + 3/1. Solve -3*g + g - i = 0, 0 = 4*w - k*g - f for w.
1
Let h = 0 + 106. Let c = -102 + h. Solve 5*f - 3 = -4*s, -6 = -4*s + 2*f - c*f for s.
2
Let x(f) = -f**3 - 33*f**2 + 40*f + 215. Let u be x(-34). Solve 2*k - 2*o = -0*o - 8, -5*o = -2*k - u for k.
-3
Let a = 2616 - 2614. Solve 3*b - 1 = -a*o - 4, 5*b - 2*o + 5 = 0 for b.
-1
Suppose -8*m + 11*m = 12. Suppose m*h = o - 8, -h - 4*h = o - 8. Suppose 0 = 3*k - o*k + 3*c + 67, c - 7 = -k. Solve -5*v + 30 = -2*g, v + k = -5*g - 10 for g.
-5
Let o(j) = -16*j**2 - 102*j - 7. Let z be o(-6). Solve -4*v - z = 5*r, -6 = -3*v - 4*r - 29 for v.
-1
Let b = -68 - -63. Let p(n) be the first derivative of n**4/4 + 2*n**3 + 5*n**2/2 + 4*n - 1. Let y be p(b). Solve -2 = 3*k - 2*j, -y*k + 0*k + 4*j = 0 for k.
-2
Suppose 3*n = 15, 3*s - 56 = -3*n + 85. Let c = 44 - s. Solve -6*d + 4*d + 6 = -2*f, c*f + 6 = -3*d for d.
0
Suppose -3*f + 13 - 7 = 0. Solve 0 = 4*x - u - 8, -x + 2*x - u - f = 0 for x.
2
Suppose -4*o + 10 = -4*a - 6, -2*o = -3*a - 8. Solve 0 = -c + 3*l + 17, c + 4*c = o*l + 30 for c.
2
Let o(c) = 2*c - 4. Let s be o(6). Let m(r) = r - 2*r - 1 + s. Let i be m(3). Solve -3*h = h, -p - h = i for p.
-4
Suppose -1 = -2*l + j + 5, -3*j - 6 = -2*l. Solve 2*i - 10 = -l*h, 3*h + 2*i + 3*i - 25 = 0 for h.
0
Let q be (-4)/5*(34 + -39). Solve 7*f + 2*r = q*f - 2, -4*f + r + 1 = 0 for f.
0
Let j be (-6)/(-33) - 62/(-22). Suppose -3*y = j*i + 13 + 5, 12 = -3*y + 3*i. Let v be 108/20 - (-2)/y. Solve 2*h - 10 = s, -v*h - 3*s + s = -16 for h.
4
Suppose -23*x - 6 = -26*x. Suppose 4*c = 6*w - w + x, 17 = w + 5*c. Solve -6 = 3*p, n + 4*p = w*p - 6 for n.
-2
Suppose 3*o + 11 = -4*a, 2*a + 0 = -10. Solve 2*y + 15 = 5*j + y, 5 = 5*j - o*y for j.
4
Suppose -46 - 38 = -4*b. Suppose 4*i + 1 = b. Suppose i*w = 2*w + 6. Solve -w*p - 24 = 4*y - 4*p, -3*y - 3*p = 0 for y.
-4
Let b be (-10)/(-3) + 12/18. Suppose -4*o = -s - 9, 56 = 4*s + 5*o + 8. Suppose 0 = -92*l - 10*l - 3 + 3. Solve -5*d - 2*y + 10 + 1 = l, b*y - s = 5*d for d.
1
Suppose -16 = -3*t - t. Suppose -t*z = -7*z + 21. Solve 3*v + c + 7 = 0, -2 - z = v - 3*c for v.
-3
Let m = 8 + -5. Suppose 0 = 3*b - 4*b + 4. Suppose -m*k = -2 - b. Solve 5*a - 2*l - 23 = 0, k*a + 22 = 7*a - 3*l for a.
5
Let q be (23/2 - 1)*-2. Let i = q - -29. Suppose 2*g = -2 + i. Solve 0 = -2*c + g*c + 2*o + 13, 5*o + 10 = 5*c for c.
-3
Let g = -6 - -11. Let i be (-1)/(-2)*0 + g. Let y be -5 - (-84)/12*1. Solve 3*d - 10 = -p, y*d + i = 13 for p.
-2
Let y = -1833 + 1833. Solve 0 = g - 5*r + 22, 2*g + 2*g + 3*r - 27 = y for g.
3
Suppose 16 = 15*s - 11*s + 4*b, 3*s + 2*b - 17 = 0. Suppose -3*z - 12 = -3*w, -z = -2*z - 4*w + 16. Solve -2*y + z + 12 = -4*u, -u - s = -2*y for y.
4
Let y be (-451)/77 + 8 + (-1)/7. Solve 3*m - y*m = 4*g - 4, 5 = m + 5*g for m.
0
Let l(o) = -4*o**2 + 83*o + 24. Let d be l(21). Solve 4*k = -5*t - 3, -4*t + t - 18 = -d*k for t.
-3
Let o(l) = -5*l - 60. Let t be o(-13). Solve -t*i - 20 = -4*j, j - 2 = 3 for i.
0
Let c be 80/(12/3) + -4. Let a be (-4)/c - (-36)/16. Suppose -a*h = h - 6. Solve -h*f + 5*g = -3 + 36, 5 = -5*f - 3*g for f.
-4
Let g = 284 + -282. Solve 5*h + 13 = -g*j - 2, h = -1 for j.
-5
Let p be 396/(-16) + 2/(-8) + 1. Let n be ((-18)/(-8))/(p/(-32)). Solve 19 = n*x - 5*g, -5*x - g = -0*x + 15 for x.
-2
Let n = 16 + -14. Solve 5*z - 4*x + 2 = -6, 0 = n*z - 3*x + 6 for z.
0
Let f be (1 - 4) + (-60)/(-2). Let y be (-14)/(-21)*f/2. Suppose -5*r + 1 = -y. Solve -r*d - 3 = -5*z, -5*z = 5*d - 2*d + 17 for d.
-4
Let q(w) be the third derivative of -w**4/6 + 13*w**3/3 + 56*w**2. Let h be q(6). Solve 3*b - 2*s = 7, h*b - 27 = 4*b + 5*s for b.
-1
Let d(u) = 7*u + 284. Let s be d(-37). Solve 3*x - 3*l = -l + s, -l = x for x.
5
Let d be -2 - (-3)/(12/20). Suppose -l + 16 = -2. Let z be (16/12)/(4/l). Solve 3*k - z - 15 = -3*t, d*t - 18 = -2*k for t.
4
Suppose -2 = -4*c - l, 4*c + 3*l + 6 = 6*l. Solve -2*u + 4*h + 12 = 2*h, u + 4*h + 19 = c for u.
1
Suppose -2*m - 1 = v, -4*m - 6 - 8 = -2*v. Suppose -9 = -v*g + 6. Suppose 0 = g*b - 9*b. Solve 4 + 4 = -3*n + 4*t, -4*n - 4*t - 20 = b for n.
-4
Let a(g) = -g**2 + g + 5. Let d be a(0). Suppose 248 = 7*f - 200. Suppose -3*k - f = -5*w, 2*k - 48 = -3*w - k. Solve -w = -b + 3*p, -d*b + 0 = -2*p - 5 for b.
-1
Suppose x = -0 + 3. Suppose 6 = x*c - 0. Suppose 0 = 7*w - c*w - 20. Solve -5 = -2*g + 5*i, -2*i + w*i + 2 = 3*g for g.
0
Suppose 47 = -x + 131. Let g = x - 82. Solve 4*j = r + 1, g*j - 3 = 5*j + 3*r for j.
0
Let m be 0/(-2) - (-6)/6*5. Solve -z + 3*h = -6, 5*z - 7 = z - m*h for z.
3
Let t(k) = k**2 - 86*k + 763. Let l be t(76). Solve 5*x - 5 = 5*v, 3*x = -l*v + 4*v + 9 for v.
3
Suppose 26*i = 12*i + 14. Solve -w - 2 = w + n, -n - i = 3*w for w.