4*m = s, 5*l - 2*m = 2*l for l.
0
Let n(h) = 2*h - 13. Let q(x) = x + 16. Let l be q(-7). Let v be n(l). Solve 3*a = 3*t + 15, -2*a - v = -4*t - 3*a for t.
0
Suppose 0 = -4*a - 8, a + 120 = 4*f - a. Suppose 0 = -4*s - 10 - 46. Let l be (-4)/6 - s/3. Solve 0*r - l*v + f = 3*r, -r = 4*v - 23 for r.
3
Let f(d) = -d**2 + 6*d - 2. Let m be f(5). Solve 5*z - 27 = 3*h, -h - 16 = m*z - 7*z for z.
3
Let k = -15 - -25. Solve 9*w - 4*w = -3*q - 10, -5*w + k = -q for q.
-5
Let o(u) = u**3 - u + 4. Suppose 3*y = -2*y + 15. Let v be o(y). Solve -5*i - 43 = 4*g - 8, -5*g = i + v for i.
-3
Let o be 4*2/4 + 3. Solve -8 = -2*d - 18, b + o*d + 28 = 0 for b.
-3
Let d(p) = -p**2 - 10*p - 6. Let v be d(-9). Solve 0 = 3*r + 2*c + 13, r - 4*c = v*r + 22 for r.
-1
Let n(u) = 3*u**3 + u**2 - 1. Let z be n(1). Solve -p + z*s = 2*s - 2, 4*s = -2*p + 4 for p.
2
Let p(y) = -y**3 - 11*y**2 + 10*y + 0 + 8 + y**2. Let m be p(-11). Suppose 2*d + m + 2 = 3*v, 2*d + 6 = 0. Solve 10 = r - 0*u - 2*u, -v*r - 2*u + 14 = 0 for r.
4
Suppose 3*n - n = 16. Suppose -2*k + 5*i + 76 = 0, -n*k + 3*i = -3*k - 152. Suppose 0*j + 4*j = 16. Solve b = 5*y - 23, 5*y - j*b = y + k for y.
4
Let p = -26 + 18. Let n be (p/1)/2*-1. Suppose 0*z - n*z + 116 = 0. Solve -4*u - 2*j + 16 = -3*j, -3*u + 5*j + z = 0 for u.
3
Let v(c) = c**3 + 6*c**2 - 2*c - 7. Let u be v(-6). Solve 4*z - h + 2 = -14, z - 17 = -u*h for z.
-3
Suppose 0*u - 15 = -3*u. Suppose -u*l + 5*q + 27 = -4*l, 2*l + 5*q = -21. Solve -l*c = -3*f - 13, 3*f + 2 = 5*f + 4*c for f.
-3
Suppose -3*z - 4*k = -15, -3 = -5*z + k - 1. Solve 0 = -s + 5*i - 21, -2*s - 1 - z = -2*i for s.
4
Suppose 3*d + d = -l, 4*l = -5*d. Let g = 23 + -29. Let k be (-2)/(g/1)*12. Solve l = -0*c + 5*c + k*s - 36, -2*s = -2*c for c.
4
Let o(q) = 13*q - 14. Let t be o(3). Solve 5*h = -2*b - 5 + 1, 5*h = 5*b - t for h.
-2
Let q = 75 + -71. Solve 0 = q*n + f - 23, n - 4*f = -0*n - 7 for n.
5
Let p(o) = -2 + o - 3*o + o. Let t be p(-4). Suppose t*a = a + 2. Solve w = -3*l, -a*l = -4*l - 2*w + 4 for l.
-1
Let n be -4 + (3 - -4) - 1. Solve 12 = -4*a - p, 6 = a + n*p - 4*p for a.
-2
Let g be (-2 - -6) + -1 + -2. Solve 0 = -3*m + 5*q + 12, -3*m + 2*q + g = -2 for m.
-1
Let d = 52 - 29. Solve -l + d = l - 3*x, -3*l + x = -17 for l.
4
Let l = 2 + 3. Let i be (1 + l)*2/3. Solve 0 = -5*b - u + i, -4*u = -b + u - 20 for b.
0
Let h be ((-87)/(-9))/((-2)/(-6)). Suppose 3*f + 0*k + 5*k - h = 0, 5*k - 20 = 0. Solve f*y = 3*o + 3, -2*o - y = -7*o - 17 for o.
-4
Let y(l) = l**3 - 6*l**2 + 5*l + 7. Let b be y(5). Solve -5*t + 2*c + 5 = -6, 0 = 5*t - 4*c - b for t.
3
Let t be 3*-2*(-1)/2. Suppose 27 = -t*x - 39. Let h = -16 - x. Solve -4*f - 40 = 5*w, -h = f + 2*w + 7 for f.
-5
Let k = 1 - -2. Let b be 4/(-7 + k) + 24. Solve 2*u + 0*u - b = -5*s, 0 = 3*s - 4*u + 7 for s.
3
Let x = 12 + 5. Suppose 0 = 2*w - 4*f - 7 - x, -5*w - 5*f = 0. Solve -2*q + 4 = -5*l, -2 = -q - 8*l + w*l for q.
2
Suppose 0*a - 4*a - 228 = 0. Let m = -27 - a. Let h(g) = 3*g - 5. Let o be h(5). Solve 2*j - 4*s - m = 0, 0*j + o = j - s for j.
5
Let b = 2 + 2. Suppose -3*t = -b*h + 5, 3*t = -2*h + 42 - 17. Let d = 391 + -379. Solve -d = -3*r, -r + h*r = 4*u + 20 for u.
-1
Let z be 1 + 1 - (-1 + -1). Suppose -2*n - z + 8 = 0. Let v be (n/6)/(2/24). Solve 3*d - 27 = 3*r, -r - 6 + 22 = v*d for d.
5
Let d = -10 - -30. Solve -5*c = -o - 17, 0 = o - 3*c - 9 + d for o.
-2
Let m(i) = -5*i. Let t be m(-1). Suppose -8 = -u + k, -2*u - u = t*k + 8. Let r be (u - -1) + -2 - -1. Solve -15 = r*s + s + 4*v, 0 = -2*s - 4*v - 18 for s.
1
Let k be 6/33 - 20/(-11). Suppose -y + 2 = -m - 5, k*y - 3*m - 19 = 0. Solve 4*h - 16 = -5*z + z, -h - y*z + 5 = 0 for h.
3
Suppose -w = -2*v - 5, 4*v = -5*w + 5*v + 25. Solve -5*i + 2*g + 3*g = -5, w*i + 15 = g for i.
-4
Let g be (-18)/99 + (-554)/(-22). Suppose -q = -6*q + g. Solve 5*t + 30 = -q*i, 0 = t + 2 + 2 for i.
-2
Suppose 0 = -2*a - 6, -4*z + 19 + 5 = -4*a. Solve -4*j = 2*h - 14, -j - 4 - 3 = -z*h for j.
2
Let d be 37/2 + 7/14. Suppose 3*b = 5*r + 4*b - d, -11 = -r - 2*b. Solve 5*t - r*v = 2*t - 15, -3*t - 11 = -2*v for t.
-1
Let j = 16 + -14. Solve -t + 6 = j*y - 3*t, -16 = -5*y + 4*t for y.
4
Let j be (-18)/(-24) - (-1)/4. Suppose 2*u - 3*n = -j, 3*u - 11 = u - n. Solve 5*i - 15 = 3*l, -u*l = -3*i - 7*l - 15 for i.
0
Let s = 26 + -26. Solve 4 = -2*q + 2*m, -3*m + 14 = q - s*q for q.
2
Let x be 4 + -4 + (1 - 1). Suppose -h + 85 = 2*h + d, x = h + 5*d - 33. Solve 0 = -4*p + 16, 3*m + h = 3*p + p for m.
-4
Suppose h - 1 = 1. Let x be 2*(-2 - -9 - 1). Let i(k) = k**2 + 4*k - 2. Let l be i(-5). Solve -h*j = -2*p + j - 8, -x = l*p - j for p.
-4
Let l be (-8 - -7) + (6 - 0). Suppose -6 = -l*s + 14. Solve -s = j - 2*t, 0 = -2*j + 3*t - t - 8 for j.
-4
Let q be -4*2*6/(-12). Suppose -2*p + 6*p = -4, -3*p = 2*z - 13. Let s be 30/q + 4/z. Solve 4*m = -4*t - 4, m = 2*t + 6 + s for m.
4
Let l(o) = 3*o**2 - 6*o - 4. Let k(r) = -7*r**2 + 12*r + 8. Let u(b) = 4*k(b) + 9*l(b). Let g be u(-3). Solve -a = -0*d + 5*d - 15, -4*d = -g*a + 17 for d.
2
Let o(k) = -11*k**3 + k**2 + 2*k + 1. Let f be o(-1). Let q be (75/12)/((-1)/(-4)). Solve 5*l + 25 = 5*v, -6*v + 5*l - q = -f*v for v.
5
Let t(f) = f**3 + 12*f**2 + 12*f - 11. Let h be t(-11). Let p = h - -24. Solve n = 5*k + 22, 4*n - 3 = -p*k + 5*k for n.
-3
Let r be (3/6)/((-4)/64). Let d = r + 12. Solve -d*n + 3*q + 14 = 0, 2*q + 5 = -n + 14 for n.
5
Suppose 4*l - 4*w - 36 = 0, l - 3*w - 2 = 15. Let p(r) = r. Let i be p(2). Suppose 0 = -s - i + 3. Solve -k - 40 = 3*k - l*n, -3*k - 4*n + s = 0 for k.
-5
Let f(k) = k**2 - 1. Let o be f(-1). Solve 3*d + 2 + 4 = -5*m, m + 2*d + 4 = o for m.
0
Suppose 0 = 2*v - 6*v + 4*x + 4, 0 = -4*v + x + 13. Let t = -4 - -6. Let f(o) = -o**3 + 3*o**2 - 1. Let w be f(t). Solve -4*k + v = -2*n, -k = -w + 1 for n.
2
Let c = 42 + -23. Suppose -v = -2*v + c. Solve 5*z - 2*q - v = 0, -3*z = z - 5*q - 5 for z.
5
Let c(r) = r. Let t(u) = -u**2 + 6*u. Let n be t(3). Let s be c(n). Suppose -2*i + s = -3. Solve 5*x = -2*j + 3*j - 15, -3*j + i = -2*x for x.
-3
Let v = 2 + 6. Solve 4*j - 3*z - 3 = -12, j + v = -5*z for j.
-3
Suppose 4*u - 24 + 4 = 0. Solve -2*w + w = u*j - 30, 4*j + 3*w = 35 for j.
5
Suppose -2*t + 4*t - 70 = 4*w, -5*t + 55 = -4*w. Let y = w - -28. Solve v = -7*b + 4*b - 17, -3*b = -4*v - y for b.
-4
Let a be ((-8)/(-3))/(1/(-3)). Let n be a/6*6/(-4). Suppose -4*p + 0*p + 5*q - 17 = 0, -2*q = -3*p - 4. Solve 5 = -2*k + 5*o, k - n*o + 13 = -p*k for k.
-5
Suppose -23 = -5*i + g - 0*g, -2*g = -4*i + 16. Suppose -3*r + 3 + 6 = 0. Let z(q) = -q + 10. Let f be z(8). Solve 0 = -2*p - 4, i = v + f*p - r*p for v.
3
Suppose -5*r = -2*p - 0*p + 9, -r + 8 = p. Suppose -l = -p + 3. Solve 0*o - o - 6 = -l*y, -3*y + 4 = -o for y.
2
Let r(k) = k**2 - 3*k - 7. Let i be r(5). Let p = 5 - i. Suppose -5*c - 14 = -3*z, 9 = z - 4*c + p. Solve -w - 11 = z*m - 0*m, -5*w = -5 for m.
-4
Let p(z) = -2*z - z**2 - 2 + 5 - 4 - 2*z. Let h = -7 + 4. Let r be p(h). Solve 3*t - 1 = d - 0, 0 = r*d - 3*t - 4 for d.
5
Let b be (-1)/(3/(-6) + 0). Suppose -20 = 4*u + u, -a + b*u = -21. Solve a = 5*z + 3*w, -3*z + 4*w + 5 = 3 for z.
2
Let c(i) = i + 3. Let y be c(-5). Let g be (y/4)/(2/(-4)). Solve -4*f + 18 = k - 3*k, k = -3*f + g for k.
-5
Let y(d) be the third derivative of 0 + 0*d + 7/3*d**3 + 1/24*d**4 - 4*d**2. Let t be y(-9). Solve k = -t*z - 13 + 1, 3*k = -5*z - 16 for k.
-2
Suppose -p + 5*d + 13 = 0, 1 = -2*p - 5*d - 3. Let a = 6 - p. Let f be (5*(-5)/10)/((-3)/6). Solve -5*g - 4*l - 34 = 6, -f*g + a*l = 5 for g.
-4
Suppose 0*r + 3*r = -3*a + 9, 15 = 2*a + 5*r. Let c = 6 - 4. Solve 0 = -o + d, -d + a - c = 0 for o.
-2
Suppose -4*b + 23 = 5*k, -32 = 3*b - 7*b + 4*k. Solve -4*v - 6 = -b*v, v = r + 6 for r.
-4
Let x = -6 - -6. Let d = 5 - x. Solve 5*u + 20 = d*q, 0 = -3*u - 0*u + 3 for q.
5
Let g be (-3)/(-2) + (-6)/(-4). Suppose -y + g*y = 28. Solve 2*v + y = -3*h + 7*v, 4 = -h + v for h.
-3
Suppose 4*f = -0*f - 5*y - 40, -31 = 3*f + 4*y. Let b = 6 - 8. Let g be (b - 4/(-10))*f. Solve 4*r - 4*p - g = -3*p, -5*r + p = -9 for r.
1
Suppose -5*l + 6 = n, -12 = 5*n + 8. Solve -i + 3 = l*k, -4*i = -5*k - 20 - 5 for k.
-1
Suppose 0*s = -s + 4. Suppose -27 = -6*t - 3*t. Solve 4*l = 3*p - 6*p + 35, -s*p + 5 = -t*l for l.
5
Let z = 3 + -1. Suppose 0 = -5*i - 5 - 10, 