 v*k + 28, 4*k - 18 = -3*n - 1 for n.
-1
Let a(f) = f**3 + 5*f**2 + 3*f + 1. Suppose 4*t - 1 = 367. Let p be t/(-22) - 2/(-11). Let b be a(p). Solve 0*v + v + 1 = -s, -b*v + 5 = 0 for s.
-2
Suppose 0 = 2*u + 2*u. Solve u = x + 3*v - 13, -3*v = -2*x + 7*x - 29 for x.
4
Suppose -5*g - f = -25, f + 17 + 8 = 5*g. Solve -3*m + 2*m = -d - g, -d = 3 for m.
2
Let x(k) = -k**3 + 3*k**2 + 9*k + 5. Let r be x(5). Solve r = 3*d + 5*y + 40, 4*d = 2*y + y - 5 for d.
-5
Let w be (-4)/(-10) + 170/(-50). Let l = 6 + w. Solve -2*n + n - l*x = 3, -5*n - 2*x + 11 = 0 for n.
3
Let m(c) = 7*c. Let d be m(-1). Let x = 11 + d. Solve p - 4*f = 4*p + x, -4 = -2*p - f for p.
4
Suppose -11*d + 10 = -9*d. Solve d*k + 12 = 2*k + 4*a, -4*a = 0 for k.
-4
Let k be (-1)/((-2)/(-6)*-1). Suppose -f + 5 = 2*g, -k*f - 4*g + 15 = -3*g. Solve 5*b - 30 = -f*s, 27 = s + 3*s + 5*b for s.
3
Let z(o) = -o**3 + 4*o**2 + 3*o - 2. Let n be z(4). Suppose n = -2*g - 2. Let s be 4/6 + (-14)/g. Solve -2*y - v + 8 = 0, -16 = s*y - y - 5*v for y.
2
Suppose 4*s = 3*s. Solve 0 = n - p - p + 5, s = 4*n - 3*p + 5 for n.
1
Suppose 2*f + 11 = 5*v, 0 = f + 2*v - 11 + 3. Solve -3*z - 5*s = -2*s - 12, 4*z = -f*s + 18 for z.
5
Let i be 2/4 + 17/2. Let d(g) = g**3 - 10*g**2 + 8*g + 13. Let y be d(i). Solve -11 = -a + 2*x, 5*a - y*x - 30 - 7 = 0 for a.
5
Suppose g - 2 = 1. Suppose -3*o = a - 0*o - g, a = 3*o - 3. Solve a = -c + 2*s - 5*s - 6, -3*s - 6 = 0 for c.
0
Suppose -m + 2*m - 3 = 0. Suppose -o + m = 0, -3*g = -4*g + 5*o - 13. Suppose 3*n - 10 = -5*b - g*n, 4 = -n. Solve -7 = 3*y - 3*q - 1, y + q = b for y.
2
Let h be (-77)/(-21) + (-1)/(-3). Solve 13 = -5*s - h*a - 0*a, -5*s = 3*a + 11 for s.
-1
Let l be -6*2*20/(-80). Solve 0*u - 10 = -5*x + 2*u, 4*x + l*u - 8 = 0 for x.
2
Let o(v) be the second derivative of v**3/6 + v. Let z be o(5). Solve 4*t - 12 = 0, -z*c - 4*t + 3*t = -8 for c.
1
Suppose 0 = 2*f + f. Suppose b = -f*b. Let o be (-24)/(-10)*60/18. Solve 3*x + u - o = 0, b = -6*x + 3*x - 2*u + 7 for x.
3
Let t be ((-1)/2)/(5/(-10)). Suppose 0 = w + 9 - t. Let h = w + 11. Solve -2 + 4 = 2*l - h*i, 5*l + i = -29 for l.
-5
Let y be (-1 - -3) + -2 + 3. Let m(t) be the third derivative of t**5/60 - t**4/12 - t**2. Let r be m(3). Solve y*n - 11 = q, -q - 30 = r*q - 5*n for q.
-5
Let l be (12/(-10) + 3)*5. Solve 2*x - 4*c = -12, c - l = 3*x - x for x.
-4
Let h be 5*(-8)/(-100)*5. Solve -3*q = 2*v - 10, -2*v + 4*q - h + 12 = 0 for v.
5
Let j = 7 - 69. Let s be 6/(-15) - j/5. Suppose -4 - s = -4*y. Solve -y*a + 4 = c - 21, 0 = -c + 5 for a.
5
Let s = 21 + -16. Solve -5*p + 3*l - 1 = 15, 3*p - 4 = -s*l for p.
-2
Let h be (11 + -16)*(-4)/10. Solve -4*t - h*i = i - 1, t - 4*i = 5 for t.
1
Let i(u) = u**3 + 5*u**2 + 2*u + 4. Let z = 10 + -14. Let s be i(z). Solve s = -w + 4*w - 3*h, 0 = 4*w + 3*h + 12 for w.
0
Suppose -s = -5*w + 11, s - 5*s = -16. Solve -3*d = 5*m - 9, 5 - 14 = -w*m - 3*d for m.
0
Suppose o + 2*o = 3, 3*c - o = 41. Suppose -7 = -3*t + 2. Suppose 2*q + 4 = 2*a + q, 2*a = 4*q - 8. Solve a*n + t*f = c, 6*f - 2*f = -n - 3 for n.
5
Let k(a) = -2*a. Suppose -4*c = -0*o - 2*o - 8, o - 4 = -2*c. Let m be -2 + (-1)/3*o. Let t be k(m). Solve -t*g - 3 = 3*q, -3*q + 7*q = 5*g - 4 for g.
0
Suppose 5*d - 3 = 3*y, 4*y + 5*d = y + 27. Suppose -y*j = -j - 15. Suppose -21 = 2*t - j*t. Solve 2*a = n - 0 + t, -8 = 5*n - a for n.
-1
Let g(w) = -3*w**2 + w. Let i(h) = 8*h**2 - 3*h - 1. Let v(d) = -11*g(d) - 4*i(d). Let j be v(0). Solve -5*z - 26 = -b, 0 = b + j*z + 8 + 11 for b.
1
Let q(g) = g**3 + 4*g**2 - 6*g - 5. Let t(m) = 4*m + 3. Let y be t(-2). Let s be q(y). Solve s = 5*f + p - 17, 0 = -f + 4*f + 5*p + 3 for f.
4
Let p = 11 + -6. Solve 4*o = -p*u + 24, -2*o = 2*u - 4*o - 6 for u.
4
Let g = -7 - -12. Solve -x + 2*p + g = p, -3*p - 3 = x for x.
3
Let w be -1 - (1 - (-1 - -3)). Let a(y) = -y**2 - y + 5. Let j be a(w). Solve 4*f - j = -i, 0 = -2*i + 4*f - 0 + 10 for i.
5
Suppose 2 = -2*p + 4*p. Solve 5*o - p = -k, -4*o = -0*o for k.
1
Suppose 2*c = -5*c + 5*c. Solve s + 5*p = -c*p - 24, 3*s + 22 = -5*p for s.
1
Let b be -5*(-2)/6*3. Let w = -5 + b. Let u = 4 + w. Solve -u*i + 0*j - 20 = -j, -j - 10 = 2*i for i.
-5
Let q = 3 + -1. Solve 5*f + 12 = -z, 5*z + q*f = -f - 16 for z.
-2
Let f be -1*-1*(3 - -1). Suppose 11 = 2*b + 3. Solve -f*g = -5*q + 3, 2 = 2*q + b for g.
-2
Let v be ((-12)/4 - -1) + 13. Solve -n - 4*w - v = 0, w = -3*n - w + 7 for n.
5
Let h be (2/(-2) - 1) + 5. Solve 0*y + 2 = -5*y - h*t, 24 = 4*y - 4*t for y.
2
Let i(m) be the first derivative of m**2/2 + 7*m + 2. Let s be i(-5). Solve -3*r + 12 = -3, 4*r - 12 = -s*d for d.
-4
Suppose -3*r + 36 = 3*s, -5*s + r + 32 = -10. Suppose 2*u - 3*u = s. Let a be (2*1)/((-6)/u). Solve -n + 2 = -3*w, -5*n - 4 = 2*w + a for n.
-1
Let w(r) be the first derivative of 7*r**4/4 - r**3/3 - r**2/2 + r - 4. Let q be w(1). Solve d - 13 = -5*b, 0 = -d + q*d + 10 for b.
3
Suppose -3*w - 4 = -2*w. Let o(j) = j + 2. Let t be o(5). Let r = t + w. Solve -r*n = -4*v + 14, -3*n - 3*v = -13 - 8 for n.
2
Let j be 46/12 + (-110)/132. Solve -2*q + 14 = -q + j*l, -l - 2 = -q for q.
5
Let k(x) = -5*x - 8. Let q be k(-2). Solve 3*i + q = -4*c - 4, 4*i - 3*c = -8 for i.
-2
Suppose g + 4*g = -5*m + 40, 8 = 2*m. Solve 5*s + g*v - 8 = 0, -2*s = -s - 2*v + 4 for s.
0
Let n = -85 - -89. Solve o = n*h + 13 - 1, -4 = -h + 2*o for h.
-4
Let n = 12 - 22. Let u = -1 - n. Let i be (-1)/(-2)*(u + 1). Solve 2*l - 4 = 0, -3*y + 4*l - 16 = -i for y.
-1
Let w be (-10)/(-4) + (-1)/2. Let c(v) = 5*v**2 + 1. Let y be c(w). Solve y = n - 4*s, 2*s = -4*n - 0*s - 6 for n.
1
Let w(z) = z**2 - z - 1. Let c be w(-2). Solve -4*j = 3*y - 15, j + c = -j + y for j.
0
Let r(m) be the third derivative of 0*m - 1/24*m**4 + 0 - 1/2*m**3 - 2*m**2. Let f be r(-3). Solve 0 = 4*u + 3*a + 27, f = -4*u + 3*a + 7 - 4 for u.
-3
Suppose -5*b + 6*b = -7. Let i = -2 - b. Solve 0*h + i = 3*h + 2*w, -4*h + w + 25 = 0 for h.
5
Let g(z) = -z**2 - 4*z + 5. Let i be g(-5). Suppose 0 = -2*l + 4*l - 10. Let h = 8 - l. Solve -2*n - h*m + 0*m + 23 = i, 0 = -3*n - m + 17 for n.
4
Let h be 1/3 - 42/(-9). Suppose h = 5*b - 25. Let i be 114/18 - (-4)/b. Solve -3*p + 5*m = -i, -2*m + 4 = 8 for p.
-1
Let x(q) = -8*q**3 + q**2 - 2*q + 1. Let l be x(1). Let o be ((-4)/3)/(l/12). Let k be 3*o + -7 + 6. Solve 0 = -k*h + 2*d + 2*d + 14, h = 5*d + 7 for h.
2
Suppose -16 = -0*m + 4*m. Let w = m + 8. Solve -2*y = -w*z - 26, z + z + 3*y = -1 for z.
-5
Let x be 12/((-1)/2*-4). Let l = -5 + x. Solve -y + 2*i + 3 = 0, l + 1 = 2*i for y.
5
Let z be (-16)/56 - (-30)/7. Suppose -3*v = z*g + v - 16, 0 = g - 4*v + 1. Solve -2*t + 5*c + 7 + 28 = 0, -2*c = -g*t + 25 for t.
5
Let g be ((-6)/(-5))/(1/(-5)). Let l be (48/g)/((-2)/1). Suppose -2*f + 4 = -0*f. Solve q - 3*q = f*n + l, 5*q = -4*n - 11 for n.
1
Let t(j) = 3*j - 17. Let f be t(7). Solve 3*h = f*i + i - 22, -5*h = -2*i + 5 for h.
1
Let d(j) = j**2 + 2*j + 1. Let l be d(-1). Suppose 0 = -l*q + q - 8. Suppose -5*o = -q*o + 12. Solve -16 = -4*k - 4*a, -o*k - 2*a + 5 + 7 = 0 for k.
2
Let v be (-4)/6*(-552)/(-16). Let q = v + 25. Solve -o - 13 - 12 = 5*r, q*o = 5*r + 25 for o.
0
Suppose -m = 5 - 16. Let j = m + -6. Solve 0 = j*y + 3*f, f = -y + 6*f for y.
0
Suppose 0 = 5*r - r - 224. Let u = r + -38. Solve -3*z + 3*y - u = 0, z + 2*z - 4*y + 22 = 0 for z.
-2
Let s = -8 + 6. Let n be s/(-8) + 14/8. Solve 4*c - 2 = n*k, 0*k = 5*c - 2*k - 3 for c.
1
Let p(v) = v**2 + 2*v - 4. Let j be p(2). Solve 5 = 3*w + j*d, 3*w = -d - 11 + 1 for w.
-5
Let w = -21 + 40. Solve 0 - 9 = 3*y, -5*y = 2*g + w for g.
-2
Let t be -3 + -2 + 3 - -3. Let n = -5 + 7. Solve 0 = -4*f + n*c + 3*c + t, -5*f - 3*c = -29 for f.
4
Let l be (-14)/(-3) - (-1)/3. Solve -3*s - 4 = -l*n + 5, -5*s + 3*n = -1 for s.
2
Suppose -2 = -f + 3. Suppose 2*s + 18 = 5*s + 3*j, 10 = 3*s + j. Solve 0 = -3*m - f*y + s, -y - y + 6 = -4*m for m.
-1
Let k(w) = w**3 - 2*w**2 - 5*w + 4. Suppose 25 = -5*u, -4*x + 24 = -2*u + 2. Let p be k(x). Let d = p - -5. Solve 12 = -2*o + 2*i, -d*o - 4*i = -1 - 2 for o.
-3
Let d(v) = -7*v + 1. Let m be d(-3). Suppose 3*t - 36 = 3*h - 9, 0 = -3*t + 2*h + m. Solve 5*f = 2*l - 1, 0*f + 16 = 4*l + t*f for l.
3
Let s = -25 - -27. Solve s*c = -4*k + 10, -5*c = 5*k - 8*c - 7 for k.
2
Let a(f) = -f + 14. Let h be a(12). Solve -2*z