-l + f = -5*s for s.
0
Let j(f) = f**3 + 9*f**2 + 12*f - 9. Let c be j(-7). Solve -2*y - y + 21 = 5*d, -c = 2*y - 3*d for y.
2
Suppose -169 = -3*x - 64. Solve 5*s + 5*w + x = -0*w, -23 = 5*s + 2*w for s.
-3
Let k(u) = 2*u**3. Let h be k(1). Let g be (32/(-48))/(h/(-12)). Solve g*i + 6 = 2*m, -m - m = 4*i + 26 for m.
-5
Let r = -11 + 14. Suppose -12 = -7*d + r*d. Solve -3*q + 5*i = 0, 5*i + 11 = -d*q + 41 for q.
5
Suppose -18*c = -14*c - 16. Solve 2*o - 20 = 5*h, 0 = c*o + 5*h - 5 - 5 for o.
5
Suppose 0 = 9*s + 5 - 32. Let k = -11 + 2. Let o be 4/(-6) - 42/k. Solve 0 = -o*l - s*v + 14, 2*v = 4*l + v - 6 for l.
2
Let p = -5 - -9. Suppose h + 9 = q + 2*q, 4*q - 4*h = 4. Suppose 4*x - q = 3*x. Solve p*u - 30 = 5*g, 0*u + 2*u = -x*g + 2 for u.
5
Let f = -9 - 3. Let q = 15 + f. Solve q*w = 3*u + 21, 0 = -u - u - 3*w + 1 for u.
-4
Let r = -55 + 57. Solve 3*v + 0*d + 13 = -d, -r*v - 12 = -d for v.
-5
Let n = -8 - -8. Let o = n + 3. Solve 5*b + 3*p + o = 2*p, -11 = 5*b - 3*p for b.
-1
Let u(s) = -s**3 + 5*s**2 - s + 8. Let p be u(5). Solve -p*n - 6 = 5*i, -4*i + 0*i + 10 = -5*n for i.
0
Let s(g) = -g**2 + 5*g - 3. Let v be s(3). Suppose 0 = -2*k + v*k. Suppose k = 2*n + n. Solve n*a + 4 = -o - 2*a, 4*o + 3*a = 4 for o.
4
Let u be (-3)/(-9) - 4/(-6). Let v(t) = -t**2 + t + 1. Let p be v(u). Let c be (1 - 2)/(p/(-3)). Solve -3*s = -j - 7, -4*j - 4*s + c*s = -24 for j.
5
Let z = 1 + -1. Let u(n) = n - 13. Let w be u(6). Let k(c) = -3*c - 17. Let h be k(w). Solve -2*s - 6 = -3*r, z = -s - h*r - r + 23 for s.
3
Let x(a) be the third derivative of a**4/24 - a**3/6 + 4*a**2. Let p be x(6). Solve 1 = y, -h - p*y = -0*h - 2 for h.
-3
Suppose i - 18 = -3*t, 0 = 4*t + t + 2*i - 29. Solve 3*h = -v + 16, -2*v - 10 = -t*v - h for v.
1
Let q be (-1)/(1/2*-1). Let m be (-3 - (-22)/4)*2. Let s = m - 2. Solve -s*o - q = -z, 3*z - z - 1 = 3*o for o.
-1
Suppose 0 = -0*c - 2*c - 10. Let l(p) be the third derivative of -p**4/12 - 7*p**3/6 + p**2. Let j be l(c). Solve -1 = 2*r + j*h, 4*h - 14 - 3 = r for r.
-5
Let d(r) = 3*r**2. Let z be d(-1). Suppose -z*i + 3 + 12 = 0. Let x = 60 + -57. Solve x*y = -2*k + 21, i*k - 25 = -6*y + 4*y for y.
5
Let u be -6 - 95/(-15) - 16/(-6). Solve o + 15 = -5*h, -5*h = -0*o - u*o + 15 for h.
-3
Suppose -h = 4*h. Suppose -2*b + 8 + 28 = -5*i, h = -3*b + 3*i + 36. Let r be (12/b)/(1/2). Solve 0 = -5*j - 2*y - 3 + 1, 0 = r*j - 2*y + 14 for j.
-2
Let a be (-3 - -6)/3 - 1. Suppose 4*t + 12 = a, -4*f = -0*f - 2*t - 46. Solve 0*n - 2*b = n + f, -2*n + 4*b + 12 = 0 for n.
-2
Let f = 96 - 90. Solve 5*z - 2*s + 8 = 2, z - 2*s = -f for z.
0
Let u be 13 - (4 - (-4 - -4)). Solve -4*j - u = -7*j - 2*q, -5*j = -2*q - 15 for j.
3
Let w = 3 - -10. Solve w = 5*f + k + 2, -3*k = 4*f for f.
3
Let h(n) = 11*n**2 - 2. Let a be h(-1). Solve -3*d - 3*z + 0 = -a, 20 = 5*z for d.
-1
Let z be (-2)/3*(-11 + 5) + 0. Solve -n + 3*y = 4 - 14, -z*n - 2*y - 16 = 0 for n.
-2
Suppose 11 = 3*r + 2. Suppose -3*z + 14 = 4*b - r, 2*b - 13 = 3*z. Solve -11 = -2*p - 3*j + 2, -2*j + 15 = -b*p for p.
-1
Let t = -90 - -93. Solve 2*i - t*z = 14, 2*i - 4*z = -2*z + 12 for i.
4
Let f(r) = -r**3 - 7*r**2 + r + 7. Let o be f(-7). Suppose 5*g - 165 = -o*g + 5*i, i = -5. Solve -3*q + 3*b - g = -10, 0 = 5*q + b + 18 for q.
-4
Suppose -b = -2*z + 12, -z + 3 = 3*b + 11. Solve -3*i + 5*l = 32, -3*l + l = -z*i - 24 for i.
-4
Let l be -5 - (-30)/(2 - 0). Solve 2*t = -3*x - 0*t + l, 0 = 2*x + 4*t - 4 for x.
4
Let o be 19 - (20/(-5) + 7). Solve -4*g - o = 4*s, -g - 7 = s + s for g.
-1
Suppose z - 6 = -2*z. Let m = 14 + z. Solve m = 5*t - 3*j, 2*t = -5*j + 9 + 16 for t.
5
Let h(i) = -5*i - 1. Let w be h(-1). Suppose 0 = 4*v + x + 3, -x + 4*x + 9 = -3*v. Solve 4*y = -v*u + u - 20, -w*y - 20 = 0 for u.
0
Let v(r) = -3*r - 8. Let c be v(-6). Suppose 8 = c*n - 6*n. Solve -5*q - 25 = -5*d, 5*q + 24 - 2 = n*d for q.
-4
Let t(h) = -4*h**2 - h. Let n be t(-2). Let d be (-6)/14 - 258/n. Solve -5*i - 31 = -3*y, -3*i - 3 = -3*y + d for y.
2
Suppose -n = n - 2*p - 4, 3*n - 6 = -p. Solve 0 = 3*x - 4*b + 11, -n*x + 3*x = b - 4 for x.
-5
Suppose 3 = -2*s + 2*m + 17, -32 = -4*s + 5*m. Solve -5*w = -5, -s*t + 2*t + 3*w = -2 for t.
5
Suppose -6 = -2*g + 2. Solve 2*c - x = -1, -c - g*x = 8 + 6 for c.
-2
Let q = 3 - -1. Let c be (-126)/(-24) - 2/8. Suppose -q*r = l + l, -5*r - c = 0. Solve -l*f = -d + 3 + 1, 4*f - 4 = -d for d.
4
Let a(n) = -3*n**2 - 3*n - 1. Let v be a(-2). Let q = v + 11. Solve 2*x + 2*x - 20 = 0, q*m = -x + 1 for m.
-1
Let u be 1 + 4 + (0 - 0). Suppose 4*j - u = 7. Solve -2 = s + k, j*s - k = k + 9 for s.
1
Suppose 4*l - 4*s - 16 = 0, 4*l - 9 = 3*s + 10. Solve -4*r = 3*x + l, -2*r - 3*x - 5 - 6 = 0 for r.
2
Let n = 4 + -2. Suppose -n*v + 1 = -v. Suppose 5*x = 5*f + 40, 4 = 3*x + 2*x + 4*f. Solve 3*s - 1 = y + 2*s, -v = x*y - s for y.
0
Let u be 3 + 6/(-2) + 4. Let t be 6/u*12/9. Suppose -c = -t*c. Solve b - 4*s + 19 = c, 9 = 5*b + s + 20 for b.
-3
Let d(b) = b**3 + 2*b**2 - 11*b - 10. Let k be d(-4). Solve -12 = -k*s + 3*h - 37, 15 = 3*h for s.
-5
Let x(h) = -2*h**3 - 3*h**2 - h. Suppose -2*w - 2 = -w. Let s be x(w). Solve -g + 13 = f - s*f, 4*g - 4 = -4*f for g.
3
Suppose u = 2*r + 8, -2*u - r + 2 = -4. Solve 2*p = -5*o - 2, 6*p - p = u*o + 28 for o.
-2
Suppose 0*d - 3*c + 5 = 2*d, -4 = -2*d - 4*c. Let r be (4 + -6)*(2 - d). Solve -3*s - v + 2 = 0, 2*s = -0*v + r*v + 6 for s.
1
Let l be 8/40 - 38/(-10). Solve -l*c = 2*z - 0*c - 16, -2*z + c = -1 for z.
2
Let v(k) = 10*k**3 - k. Let u be v(-1). Let x be (-2 - u - 2) + -3. Suppose -4*p + 8 + 12 = 0. Solve -2 = 4*b - 5*n, x*n = -p*b - 0*n - 19 for b.
-3
Let z be (21/(-63))/((-1)/6). Solve m - 3*y = -14, 3*m = 7*m + z*y for m.
-2
Suppose 2*c - 7 = 1. Suppose t - 72 = -t. Suppose -t - 6 = -2*f. Solve b - 3*b = -k - 14, -f = -b + c*k for b.
5
Let q = 41 + -29. Let j be (0 - -3)/(9/q). Solve h - j*t + 7 = 0, -1 = -4*t + 3 for h.
-3
Suppose 3*r = -105 + 15. Let z = -18 - r. Solve 0 = 5*k - 3*t - z - 10, -2*k + 2*t = -8 for k.
5
Suppose 40 = -4*f + 128. Solve -3*a + 4*t - 5 + f = 0, 2*a + 5*t = -27 for a.
-1
Let z(h) = h**2 - 8*h + 6. Let y be 3/(-9) + (-50)/(-6). Let t be z(y). Solve p - 4*p + 3 = -x, -3*p + t = 0 for x.
3
Suppose 4*j + 4*c = 4, 0*j - j = -5*c - 13. Solve -l - 12 = m + 3*l, -j*m = -3*l - 9 for m.
0
Suppose -4*c = -j + 7, -j + 5*j - 64 = -2*c. Suppose h + 4*h - 24 = -4*m, 5*h - 5*m - j = 0. Solve -5*d + x + 25 = 0, -3 - 3 = -h*d - 2*x for d.
4
Suppose -5 + 1 = -q. Solve -q*z + 19 = -5*z + 5*a, 0 = 3*z + 4*a for z.
-4
Let f = 22 - 20. Solve 13 = a + 3*v, -f*a + 5*v - 12 = 17 for a.
-2
Let v = -2 + 4. Suppose -v + 4 = h. Suppose -h*l + 11 = 1. Solve 3*f = -3*k + 4*f + 17, 0 = -l*f - 25 for k.
4
Let c(j) = 5*j + 12. Let b(t) = 14*t + 37. Let z(w) = 4*b(w) - 11*c(w). Let a be z(-14). Solve 0 = -a*l - 4*p - 18, 6 = -4*l + 2*l + 2*p for l.
-5
Suppose -4*f + 0 = -4*y - 4, -20 = -4*y - 2*f. Let c be ((-4)/y)/(4/12). Let s be (-14)/c - (-3)/6. Solve 0 = 3*g + a, 8*a = g + s*a + 13 for g.
-1
Let v be (-3)/9 - 20/(-6). Suppose c = k - v, -2*c = -2*k - c + 3. Solve 3*q - 5*h + 21 = -2*h, k = 5*q + 5*h + 15 for q.
-5
Suppose -5*j - 20 = 0, u - 46 = 4*j - 2. Let t(h) = h**2 - 18. Let v be t(0). Let c = u + v. Solve -2*w - c = 5*m, 4*w + 0*w = -m - 20 for w.
-5
Let o(r) = -2*r**3 - 5*r**2 - 3*r + 1. Let t = 3 + -6. Let k be o(t). Let y = k + -10. Solve 0 = 3*n - y, -2*c - 5 = -c - 3*n for c.
4
Suppose t = -t. Suppose 5*k - 7 - 3 = t. Let f = k + 0. Solve 22 = 4*j - f*g - 0*g, 26 = 5*j - g for j.
5
Suppose -13*x = 9 - 178. Solve -u = -4*k - 2 + x, 0 = 2*k - 6 for u.
1
Suppose j = -10 + 12. Solve -4*n + 4*v = 3*v + 20, j*n = -v - 10 for n.
-5
Let d = 19 + -19. Suppose 3*i + 0 - 36 = d. Solve -3*l + 2*u - 22 = 0, 0*l + 2*l - i = -4*u for l.
-4
Suppose 2*t + 15 = 7*t. Let a be 3 + (3 + -6)/t. Solve 4*s - a*z = -20, 5*s + 0*s + 2*z = -16 for s.
-4
Let d(n) = n**3 + 16*n**2 + 2*n + 35. Let y be d(-16). Solve -w - y*o - 9 = 2*w, 9 = -3*w + 4*o for w.
-3
Suppose 24*r - 28*r + 16 = 0. Solve 5*s + 4 = -r*w + 5, -4*w + 4 = 4*s for w.
4
Suppose 4*x + 2 - 14 = 0. Suppose -5*w = x*s - 53, w + 0*w - s - 17 = 0. Let a = 18 - w. Solve 2*p - 5*o + 25 - 6 = 0, 2*o + 4 = -a*p for p.
-2
Suppose -3*x + 11 - 2 = 0. Let s = 5 - x. Let t = 3 - 1. Solve -t*p - s = -m + 11, -4*