 for s.
-4
Let j(l) = l + 15. Let p be j(-11). Solve z - 3*o = -o, -5*z = p*o for z.
0
Let a = 21 - -51. Suppose l = 3*x - 55, 4*x + 4*l = 5*l + a. Let r(c) = -c**2 + 6*c. Let n be r(6). Solve -4*m - 31 = 3*b - n*m, 0 = -b - 3*m - x for b.
-5
Let i = 6 - 5. Suppose 0 = -7*z + 3*z + 28. Suppose z - 3 = n. Solve k = 3*t - i, 6*t + n*k + 4 = 2*t for t.
0
Suppose 5*k - 11 - 14 = 0. Solve -5*c + 18 = 3*b + b, k*b - 20 = -5*c for c.
2
Let w = -8 + 12. Suppose -4*r + w*y + 24 = -r, -y = 3. Solve -5*x - 4*a + r = -0, -2*a = 4*x - 2 for x.
0
Suppose 3*g + 3*y = 5*g, -2*y + 7 = g. Solve 5*k + 2*o - 5 = 0, -g*k + 5 = -2*o - 14 for k.
3
Suppose 2*f - 24 = 6*f. Let v = 8 + f. Solve -v*z + 5*z - 4*c = 32, -17 = -3*z + c for z.
4
Suppose 5*f - 35 = -5*b - 10, -3*b = -2*f. Suppose 3*c - 2 = 25. Solve 2*k + f*q - c = 0, -8*k + 3*k = 2*q + 5 for k.
-3
Let x = 8 + -2. Let v be (-1)/2 + 15/x. Solve c = -2*g + 6*g + 5, v*g - c + 5 = 0 for g.
0
Suppose -a = 2*o + 4 - 1, 5*a = 5*o + 30. Suppose 7*n - a*n = 12. Solve 0 = n*v + 5*w + 32, 2*v + w + 2*w = -20 for v.
-4
Let v(k) = -k**3 + 18*k**2 + 17*k + 41. Let n be v(19). Solve 5*a + b + 3 = -3*b, n = a - b for a.
1
Suppose 0 = z - 0 - 5. Suppose 0 = 3*o + 2*o - 5*a + 25, 5 = 5*o + a. Let i = z - o. Solve 18 = r - 2*u + 7*u, -3*r - i*u = -24 for r.
3
Suppose 2*f + 4*y = 8, 5*y = -4*f + 2*f + 13. Let l be f/(-3) + 1*14. Solve 4*v + l = 3*a + 2*v, -5*a + 5*v = -35 for a.
2
Suppose 5*w + 11 = 2*p, 2*p - w + 2 = 9. Solve p*n = 5*v - 2*n + 40, -5*v - 4*n = 13 for v.
-5
Let y(o) = 16*o - 16*o + o**2 - 1. Let m be y(2). Solve 3*j + 1 = -0*j - x, 4*x - 14 = -m*j for j.
-2
Suppose 0*p - 15 = -5*p. Suppose w + p = -5*q - 17, 5*q + 20 = 2*w. Let j be (-8)/(-6)*6/4. Solve 3*u + 1 + 8 = w, -j*d + 9 = -u for d.
3
Let v(g) = 8*g**3 - g**2 - g + 2. Let b be v(1). Solve -4*x = -4*m + b, -4*m + 3*x = -0*m - 7 for m.
1
Let v = 7 - -3. Solve 5*n + 20 = h, -n - n + v = -4*h for h.
-5
Let n be 6/(-15) - 238/5. Let v = -28 - n. Solve -v = 5*j + 4*i, -4*j + 5*i + 25 = -5*j for j.
0
Suppose 6*v + 11 = 29. Solve v*j - 24 = -3*r, -6*r + j = -r - 10 for r.
3
Let j be 9/6*4 - 1. Solve 3*t = j*a + 20, -4*a - 23 = 2*t - 7 for a.
-4
Let t = 14 - 11. Solve 5*s + 4*j + 21 = 0, -j - t - 1 = 0 for s.
-1
Let c = -1 + 2. Let f be 5/c - (-1)/(-1). Let r = 0 + 25. Solve l = -2*l + 12, -r = -3*g - f*l for g.
3
Suppose 3*p - 35 = -5*u, 3*p - u + 4 - 15 = 0. Solve 2*h - 4 = p*l, 0*h - 3*h = -l + 7 for l.
-2
Let d = 10 - 15. Let i = 5 + d. Solve 3*b - 5*x - 2 = -0*b, i = b + 4*x - 12 for b.
4
Suppose -3*k + g = -3, k + 5*g + 10 = 9*g. Solve 2*f - k = -t, -4*f + 0*f + 4 = 5*t for f.
1
Let i be (8/4 - 1)*(-16)/(-2). Solve -s = u + i, -s + 4*u = -7 - 10 for s.
-3
Suppose 0 = 4*g + 3*l - 5, 4*g - l - 11 = 2*l. Solve -4*f - 8 = 0, 0*f + 4*f = -g*k - 16 for k.
-4
Let r = -4 - -1. Let k be (-2 + (-10)/r)*21. Solve q + 2 = 5*o - 12, 5*q + k = 4*o for q.
-4
Suppose 0 = -5*k - 4*x - 2 + 13, -5*k + 18 = -3*x. Solve 32 = 5*b - 3*p, -k*b + 28 = -4*p - 0*p for b.
4
Let m be (-20)/(-6) + 2/(-6). Suppose s - 15 = 3*z, -4*z - 5 = m*s - 3*z. Suppose s = 3*v - v. Solve 0*b + 17 = 2*b - 3*c, 4*b + c + 1 = v for b.
1
Let k(c) = -c**3 - 11*c**2 + 6. Let w be k(-11). Suppose 0 = 3*x - w*x + 15. Solve 5*z - 5 = x*n, -2*n - z = -5*z - 4 for n.
-4
Let h = -27 + 29. Suppose -5*j - 3*i = -h*i - 14, -4*j - 2*i = -16. Solve f - 2 = b - 1, 2*b = f - j for f.
0
Let r(w) = w**2 + 10*w + 13. Let v be r(-9). Solve -v*o + 3 = -13, -4*t - 4 = -5*o for t.
4
Suppose 5*r = 16 - 1. Suppose -5*x - a = -15, r*x + 7 = -5*a + 16. Solve 0 = 2*d + x*d + 25, 2*q - 5 = -d for q.
5
Let m(w) = w - 4. Let u be m(6). Solve 4*p - u*s + 6 = s, s = -5*p - 17 for p.
-3
Suppose -r + 21 = -0*r. Let f = 32 + -23. Let d(y) = -y**2 + 8*y + 13. Let q be d(f). Solve -5*j - q*w = -16, 0*j - 5*j + r = -w for j.
4
Let j(k) = -5*k + 1. Let d be j(-1). Let o = 6 - d. Suppose -2*z + 2 + 6 = o. Solve z*v + a = -3*a, 2*a + 9 = -5*v for v.
-3
Suppose -5*c = -3*c - 6*c. Solve 11 = 4*o - m, -17 = -3*o - c*m - m for o.
4
Let t = -4 + 7. Solve 5*d = 4*i + 1, 0 = -4*d + 2*i + t - 7 for d.
-3
Let u(p) be the third derivative of p**6/120 + 7*p**5/60 + p**4/24 + 5*p**3/3 + 10*p**2. Let c be u(-7). Solve 2*o + c*f = 4*f + 4, 0 = 5*o + f + 4 for o.
0
Suppose -2*f - 3*x + 3 = 0, 0*f - 4*x - 2 = 2*f. Solve -3*a + 2*a - f = -c, -a - 25 = -5*c for a.
-5
Let n(j) = j**2 - 12*j + 14. Let m be n(11). Solve 0 = -y - 2*a + m, 4 = y - 5*a + 1 for y.
3
Suppose 3*u - 11 = 1. Suppose -4*n - 20 = 4*k + u, 2*n = 10. Let r = -6 - k. Solve 0 = 2*i + 5*m + r, -m - 2*m = i + 4 for i.
5
Let i = -5 + 6. Let w be (2/6)/(1/6). Suppose w + 6 = 4*o. Solve 2*g + 2*r + i = -g, 5*g + 7 = o*r for g.
-1
Let t = -20 + 22. Solve -5 = -5*d + t*x, -d - 2*x = -4*d - 1 for d.
3
Suppose 0 = -n - 2*f + 18, 2*n + 24 = 3*n + 4*f. Suppose -3*p - n = -105. Solve -p + 8 = 3*u - 4*l, -3*u = -l + 17 for u.
-5
Suppose -4*h = -3*b + 21, -5*h - 6 = -b + 4*b. Solve 5*t = 4*y + 30, 0*t + 5*t - b*y = 25 for t.
2
Suppose 0 = 2*k - 3*h, -k + 2*h + 2*h = 0. Solve j = q - 8, k = 3*j - 2*q - 2 + 21 for j.
-3
Let l = -3 + 7. Suppose -f + 3*r - 2*r = 0, -f + 20 = l*r. Let t(c) = -c**3 + 11*c**2 + c - 8. Let g be t(11). Solve -5*w - 3*m = -5, -4 = -g*w - w + f*m for w.
1
Let v = 7 + -5. Suppose v*b - 5 = 5. Solve -o = -2*l + 4 + 3, 0 = b*o + 5*l + 5 for o.
-3
Let m = 60 + -10. Suppose -5*l + x + 45 = 0, -4*l + m = l - 2*x. Solve 5*u - 3*o - 3 = -l, -2*u - 2 = o for u.
-1
Let f(k) = -7*k. Let w be f(-1). Suppose 5 + w = 4*b. Let d(t) = t**2 - t - 2. Let v be d(b). Solve -z = 4, -3*z = -v*q + z + 16 for q.
0
Let o(d) = d**3 + 4*d**2 - 6*d - 22. Let n be o(-4). Solve 4*b = -4*l - 8, -n*b + 1 = -4*l + 17 for b.
-4
Let y be (-5 - 0)*(-36)/45. Suppose 0 = 5*l - 25, 4*x - l - y = x. Let b be (3/3)/(x/111). Solve -i - 4*i + b = -3*k, -i - 5*k = 15 for i.
5
Suppose 5 + 7 = 2*a. Solve -3*w + 9 = -3*f - a*w, 4*w = -3*f - 9 for f.
-3
Let l(n) = -2*n - 5. Let z(c) = 2*c + 6. Let g(o) = -6*l(o) - 5*z(o). Let b be g(2). Solve -7 = -b*i + 2*h - 5*h, -5*i + 2*h = -26 for i.
4
Let h(c) = -c**3 - 14*c**2 - 11*c + 31. Let p be h(-13). Solve 0 = -p*f - 5*t - 10, -12 = 3*f - 3*t + 4*t for f.
-5
Let j be 5 + 0 + 0 + -1. Let z(u) = -u**2 + 6*u - 3. Let f be z(5). Suppose -5*c = f*a - 51, -c = -1 - 4. Solve -4*w = -m - 16 - 0, -w - j*m = a for w.
3
Suppose 0 = -3*n - 2*n + 25. Suppose 4*m + 45 = n*o, 5*o + 0*m - 10 = -3*m. Solve o*y + 7 = -3*q - q, -14 = -4*q + 2*y for q.
2
Let r(a) = a + 1. Let j be r(3). Let o be (1/2)/(1/j). Let u(c) = 7*c**3 - c. Let q be u(1). Solve o*v - q = -b - b, v - 18 = -4*b for b.
5
Suppose -5*t = -5*p + 109 + 76, -3*t + 169 = 4*p. Suppose 0 = -3*z + 7*z - p. Let a = z - 6. Solve 0 = -n - 3*j + 4, -n + 4*j + j = -a for n.
4
Suppose 4*y = 2*y - 4*j + 14, 0 = -y - 5*j + 10. Solve 0 = -3*m - 4*c - 12, 0*m - m - 4 = y*c for m.
-4
Let j(i) = -i + 36. Let o be j(20). Solve 0*x = n - 3*x + o, 0 = 5*n + x + 16 for n.
-4
Suppose 0 = -3*g + 3*i - 21, -3*g = -g - i + 9. Let a(m) = -3*m - 3. Let p be a(g). Solve -5*s + 4*b = -28, 0 = -4*s + p*s + 2*b + 8 for s.
4
Suppose -5*o + 3*o = -8. Suppose -3*b = -o*c - 15, 3*b + c = -2*b + 25. Solve -l = -4*d - 12, -4*d - 7 = 2*l + b for d.
-3
Suppose 0*v + 4 = -v. Let k be v*(-1 + 21/(-3)). Solve -4*s + k = -3*q, -s - 2*q + 0 - 3 = 0 for s.
5
Let d = 1 - -2. Let x(t) = 2*t**3 + t**2 - t. Let g be x(1). Solve -5*r - 5 = -g*n, -4*n = 4*r - d*n + 4 for r.
-1
Suppose 5 = 4*z + 5*g - 87, 106 = 5*z + 4*g. Solve -h + 5*y = -2*h - z, 2*h + 4*y = -18 for h.
-3
Suppose 6 = 2*n + n. Suppose 2*m + m = -4*y - 6, -4*y = n*m + 8. Solve -4*b = s - 3*s - m, -2 = -4*s + 2*b for s.
1
Let l be (-4)/(-30) + 3542/210. Solve -5*w - l = -n, 4*n + 14 + 18 = -5*w for w.
-4
Let m be 2/12 + (-3)/18. Solve -5*q = 3*s + 12, m*q - 8 = 2*q + 2*s for q.
0
Let w(n) = -2*n - 7. Let v(m) = -3*m - 8. Let j(r) = -3*v(r) + 4*w(r). Let d be 34/5 + 1/5. Let b be j(d). Solve b*p = -4*y + 17, y - 6*y - 5*p = -20 for y.
5
Suppose -2*z - 6 = -5*z. Solve -i = -4*h + 2*h + 6, 0 = -h - z*i + 13 for h.
5
Suppose 2*d + 2*d - 5*n + 23 = 0, 0 = -n + 3. Let a = d - -7. Solve a*r = y - 25, -2*y = -y - 4*r - 20 for y.
0
Let n(s) = -s**3 - 13*s**2 + 13*s - 9. Let l be n(-14). Suppose -2*c + 7 = -1. Solve 4*a + 1 + 3 