5*o = -2*a - 10, u*a - 8 = -3*o - z for o.
-4
Suppose 5*w - 5*p = -270, 2*w + 2*p = 3*p - 113. Let r = w + 90. Suppose 2*j = j + r. Solve d = -3*f + 11, 3*f + 6*d = d + j for f.
2
Let i be 0 + (-66)/(-18) - (-4)/(-6). Solve 2*r + 4 = -g - 5, -9 = -3*r + i*g for r.
-2
Let z = 49 - 46. Solve -5*n + 25 = 5*t, -6 = -z*n + t + 5 for n.
4
Let x(r) = -4*r - 3. Let m be x(-2). Solve 2*w = -10, m*u + 5 = 3*w + 20 for u.
0
Let y(j) = -5*j - 4. Let x be y(-4). Suppose 22 = 4*k + 2. Suppose 2*w + 3 = 3*w. Solve m - k*m = 4*t + x, -w = m + 2*t for m.
-5
Let k(y) = -y**3 - 5*y**2 - 2*y - 7. Let c be k(-5). Suppose -2 - c = -f. Solve -20 = 5*n - f*q, 0 = -3*n + 8*n - 3*q + 18 for n.
-3
Suppose -s - 90 = -6*s. Let f = s + -13. Suppose 2*p + 0 = -5*t + 2, -4*t + 5 = f*p. Solve t*a - 5*a = b + 6, -5*a - 2 = 2*b for b.
4
Suppose -2*w - 4 = -4*w + 5*c, 0 = -3*w - 4*c + 6. Let u(i) = 6*i. Let b be u(w). Suppose 3 = 3*a - b. Solve -2*s = -5*y - 4 - 3, -4*y = a*s - 1 for s.
1
Let m(q) = -4*q - 1. Let w be (-2)/(-8)*8/(-2). Let r be m(w). Solve 0 = n + 5*c - 3 - 7, 0 = r*n + 5*c - 10 for n.
0
Suppose 38 = 4*o - 22. Let i = -10 + o. Solve -i*g = 2*q, 5*q = 7*q - g for q.
0
Suppose 0*s = -3*s + 9. Let d(j) = -2*j + 2. Let m(a) = -2*a + 2. Let q(c) = -7*d(c) + 6*m(c). Let t be q(s). Solve t*k - 5*u - 23 - 2 = 0, 25 = -5*u for k.
0
Let g(v) = -3*v + 43. Let d be g(13). Solve 3*l = 3*k - 3 - 6, -5*k = d*l - 24 for l.
1
Let k(h) = -4*h - 8. Let w be k(-7). Suppose -w = -s - 17. Suppose -5*l + 42 = 3*x, -5*l - 2*x + 18 = -5*x. Solve 2*t + l = 3*t + 2*y, s*y - 14 = -4*t for t.
2
Suppose 5*k - 3*g + 75 = 211, 2*g = -3*k + 93. Solve -5*l + 15 = -f, -k = 2*f - 4*l - 11 for f.
-5
Let c be -2*(3/(-2) - 0). Suppose -4*q = -5 - c. Suppose 0 = -r + 5*r. Solve 6 = -q*i - b, r*i - 4*b - 12 = 4*i for i.
-3
Let a(l) = -l**3 + 7*l**2 + 9*l - 7. Let m be a(8). Suppose -m - 14 = -v. Solve -3*u + p = 17, -5*u = 3*p + 2*p + v for u.
-5
Suppose -2*a = 2*a - 8. Suppose n + 30 = -a*n. Let o = 11 + n. Solve 2*u + o = -w + 4, -10 = 4*w - 3*u for w.
-1
Suppose x = -5*m + 10, -2*x = -3*x + 2*m + 10. Let a be (-4)/20 - (-82)/x. Solve -p - a = 4*q, q + 24 = 3*p - 3*q for p.
4
Suppose 2*r = -4*l + 4, r + 0*r = -l. Let v be (-64)/11 + (-6)/33. Let p be (-47)/(-5) + v/15. Solve -2*x = 4*b + 10, x + p = l*b + 24 for x.
5
Let g(b) be the third derivative of -b**4/24 - 3*b**3/2 - 2*b**2. Let h be g(-11). Solve -8 = i + i + h*w, -2*i = 3*w + 8 for i.
-4
Let k(z) = -z**3 - 7*z**2 + z + 1. Let l be k(-5). Let n be (l/(-2))/3 + 0. Solve -u - 3*o + n = 2*u, 2*u = 3*o - 4 for u.
1
Let a(y) = -y + 7. Let b be a(7). Suppose -2*z + 18 = -b*z. Solve -k + 1 = 5*c, 3*c + k + 2*k + z = 0 for c.
1
Let a = 5 - 1. Let r = 4 + -1. Let c = 19 + -11. Solve a*m + 18 = -r*v - m, -v + 3*m = -c for v.
-1
Let s(d) = -d - 4. Let n(p) = -5*p - 15. Let l(i) = -2*n(i) + 9*s(i). Let j be l(9). Solve 0 = -w - 0*t + t - 2, t = j*w + 8 for w.
-3
Suppose 14*t = 17*t - 6. Solve 5*k = 2*a + t*a - 1, 0 = -a + 4*k - 8 for a.
4
Suppose 0 = -5*u - 29 - 16. Let o be 27/u*8/(-6). Solve o*n + 5 = -4*p - 19, p = -2*n - 9 for p.
-3
Let g = 10 + -8. Solve 4*i + 2*w - 6 - 22 = 0, -2*i + 2*w + g = 0 for i.
5
Suppose -7*g + 2*g + 10 = 0. Suppose -f - 2*s - 1 = -g, 4 = 4*f + 2*s. Suppose 3 = k - f. Solve 4*u + 24 = -4*t, k*u + 17 = 3*t - 0*t for u.
-5
Let s be 3 - (-3 + 0 - -1). Solve -s*c + 2*f + 4 = 15, -c - 4*f + 11 = 0 for c.
-1
Suppose -5 = -h, 3*l - 2 = 3*h - 8. Suppose -a + 16 + l = 3*u, 4 = a. Solve 4*y + 3*j = u, 4*y + 0*j + j = 7 for y.
2
Let r be 6*(-2)/(-3) + -1. Let y(s) = -s**2 + 3*s. Let g be y(3). Solve g = -3*l - 4*p + r, -4*p = -0*l + 2*l + 2 for l.
5
Let x(t) = -t**3 + 8*t**2 - 7*t. Suppose -4*m + 6 = -2*o, -o + m + 3 - 1 = 0. Let u be x(o). Solve 3*c + 3 = 0, -2*j = 5*c - u*c - 3 for j.
4
Let c(y) = 19 - 5*y - 13 + 4*y**2 - 3*y**2. Let h be c(4). Solve -r - 10 = h*z, 2*r = z - 2*r + 5 for z.
-5
Suppose r = 5*l - 15, 2*r - 5*l = -4 - 11. Solve -2*g + r*j - 3*j = -7, g = 4*j - 13 for g.
-1
Let k be (-54)/63*(-14)/4. Solve 4 = 2*p - 2*s, -k*s + 2 = -2*s for p.
4
Suppose -2*y + 4*y - 4 = 0. Suppose 0*l - y*l = -4. Let v be l + 3 + (-3)/3. Solve v*o + 2*s - 10 = -o, -o - 5*s = -2 for o.
2
Let k be (-20)/8*84/(-15). Let a = 18 - k. Solve 20 = a*t + 2*l, 3*t - 7*l = -3*l + 15 for t.
5
Let c(p) = -p**2 - 9*p - 6. Suppose d - 11 = 2*l - l, 2*l + 4*d + 4 = 0. Let h be c(l). Solve 4*x = k + 16, -3*x - 5 = -3*k - h*k for x.
5
Let m = 51 + -36. Solve -3 = -3*u - 4*a, -m = 5*a - 10*a for u.
-3
Suppose 2*q - 4*d = -0*q + 18, -3 = 4*q + 5*d. Solve -5*p = -0*f + 3*f + 13, q*f = -p + 7 for f.
4
Suppose 0 = -3*v + 7*v. Let r = 5 - v. Suppose -20 = -r*c + 5. Solve 2*f - q + 12 = -3*f, 0 = c*f - 3*q + 16 for f.
-2
Let o be (7 - 4) + (-14)/(-2). Solve 5*q + 5*v = -o, 3*q - 5*v + 30 = -0*v for q.
-5
Let n(o) = -o**2 + 7*o - 10. Let k be n(3). Solve -k*p - 2 = 3*j - 4, -4*p = j + 16 for j.
4
Let a(f) = f**2 + 7*f + 3. Let l be a(-7). Let q = l - 6. Let p be 2 - (-5 + 1 - q). Solve -2*m + m - 1 = 0, -v = p*m + 6 for v.
-3
Suppose -50 = -3*u + 4. Let v be u/8 + (-21)/(-28). Solve -z + 11 = -3*c, v*c + 13 = -4*z + 3*z for c.
-4
Let s be 53/(-11) + (-2)/11. Let q = -2 - s. Solve -6*t + q*t = 3*r + 18, -2*r + 3 = -t for t.
-5
Suppose 32 = -2*s + 4*s. Let y(c) be the third derivative of c**5/60 - c**4/24 - c**2. Let q be y(-1). Solve n + 3*n = s, 5*o = q*n - 33 for o.
-5
Suppose -4*p = -2*p - 2. Let u(k) = -2*k - 5. Let j be u(-4). Let x = j - p. Solve 13 = -s + 5*h, -x - 4 = -3*h for s.
-3
Let z = 9 + -6. Solve 3*b = 8*u - 3*u - 3, -z*b = 4*u - 24 for b.
4
Suppose -4*k + 0*k = -3*r - 32, 0 = k - r - 8. Suppose -2*h + k = i, i - 16 = h - 5*h. Solve -2 = -5*y - x + 13, 3*y + 4*x - 9 = i for y.
3
Let s = -6 - -11. Suppose y = -3*k - 8, 0*k = -3*y - 4*k - 9. Suppose -y = -g + p, -5*g + 2*g + 4*p = -4. Solve -2*m + 6 = g, -s*n + m = -1 - 11 for n.
3
Suppose s + 3*s + 3*m - 24 = 0, s + m = 7. Suppose 5 = 4*k - s. Let n(g) = -5*g**3 + g. Let f be n(-1). Solve 2*o + 2*o + f = 4*c, 2*c = -2*o + k for c.
1
Let j be 0 + -1 - 0/2. Let p be -4*j/3*3. Suppose -2*c + c + 18 = -4*w, -c + w + 6 = 0. Solve -16 = c*g - 2*s + 5*s, -18 = g + p*s for g.
-2
Let x = -312 - -326. Suppose s = -0*s + 12. Suppose -d = 2*d - s. Solve d*p - 5*l + x = 0, -5*l + l + 4 = 4*p for p.
-1
Let o be 24/(-36) - (-34)/6. Solve -2*c + 4 = 0, -o*f + c = 2*c - 27 for f.
5
Suppose 4 = 4*t + 8. Let x be 2 + (1 - -1 - t). Solve x*q - 3*k = -32, -q = -4*q + 3*k - 24 for q.
-4
Let z = 0 - -7. Let f(l) = l**2 - 4*l - 6. Let j be f(6). Solve -2*k - j = 0, 5*k + z = -4*t + 4*k for t.
-1
Let c(f) = -f + 7. Let g be c(-2). Let s = -1 - -3. Solve -s*i - 5*o + 3 + g = 0, i + 2*o = 4 for i.
-4
Suppose -3*d = 2*d - 15. Let s = -1 + d. Suppose -5*z + s = -33. Solve 0 = 2*h + 5*b - z, -4*h + 6*b = 3*b + 25 for h.
-4
Suppose 0 - 8 = 4*r. Let q be (1 + r)*(-2)/1. Suppose -2*h + 25 = q*t + 3*h, -h + 5 = 4*t. Solve -f - 12 - 1 = 5*j, t = 2*f - 3*j - 13 for f.
2
Suppose 4*d - 22 = 6. Solve -8*h + 3*h = 3*o + 10, 2*h = o + d for h.
1
Suppose 0 = -7*u + 53 + 17. Solve -w = -5*f - 0*w + 2, -5*f - 5*w - u = 0 for f.
0
Let r be (-4)/(-1*2 + 0). Let f(q) = q - 5. Let t be f(5). Solve x + z + 4 = r*z, t = -4*x - 4*z + 24 for x.
1
Suppose 0 = -5*b + 3*b. Let v be 5 + 3/(-3 + b). Solve 0 = -3*r + z - 3*z + 13, -v*z + 17 = -3*r for r.
1
Suppose -17 = -2*x + 13. Solve x = -5*a, -a + 3 = l - 2*a for l.
0
Let s be (78 + 3 + -3)/2. Let b = s + -18. Solve p = 3*u + u + 24, -5*u = p + b for u.
-5
Let v(h) = -16*h**2 - h - 1. Let n be v(-1). Suppose 0 = -0*u - 4*u - 120. Let m = n - u. Solve 3*y = -2*r - 0*y - 8, -r + 3*y + m = 0 for r.
2
Let d(b) = -2*b**2 + b. Let y be d(1). Let g be y + 2 - (-3 + 1). Solve -w + 20 = g*w, 5*t - 2*w - 10 = 0 for t.
4
Let w(r) be the third derivative of r**5/60 - 7*r**4/24 - r**3 - r**2. Let y be w(8). Solve 2*l + b + 11 = 0, -5*l + 2*b = -y*b + 8 for l.
-4
Let i = -7 + 11. Suppose -4 = 3*t - 4*t - 5*a, -i*t + 16 = 5*a. Suppose 0*c = -3*c + 72. Solve 0 = -t*j + f - 0*f + c, -2*f = j + 3 for j.
5
Suppose -h + 20 = -x, -2*x + 95 = 5*h - 6*x. Suppose -4*q = 3*d - 15, 2*q = 3*d - 2*q - h. Let z = 9 - 7. Solve d*n - 2*m - 4 = 0, 3*m - 7*m = -5*n - z for n.
2
Let y(j) = -15*j + 5. Let p be y(0). Solve -3*d + 11