 5*r + s*v + 10 = 0, r + 2*r + 4 = -4*v for r.
-4
Let s(z) be the first derivative of 1/2*z**2 - 4 - z. Let l be s(5). Solve -5*m - 29 = 4*v, m - l*v + 11 = -2*m for m.
-5
Suppose -2*l = 3*l - 10. Let f = -46 - -48. Let n be l + 0/(-1) - f. Solve 2*b + y + 0*y = n, -4*y + 4 = 4*b for b.
-1
Suppose 4*w - 134 = -3*x - 2*x, 0 = -3*x - w + 86. Let r be (1 - 1)/(-2)*(-40)/80. Solve r = -4*k - 5*d + x, -k = -6*k + 2*d + 21 for k.
5
Let x be 38/14 + -3 + 74/14. Suppose a - 3 = 2*o - 7, 2*a - 3*o = -x. Solve -5*u + 5*g = 0, -a*u = 4*g - 32 + 14 for u.
3
Let u(d) = 2*d**3 - 10*d**2 - 10*d + 62. Let v be u(5). Solve -2*h + v = -4*c, h + 4*h = -10 for c.
-4
Suppose v = -0 + 2. Suppose f = -r + 5*f + 11, 4*r + 3*f - 6 = 0. Suppose -r*s = v*s - 175. Solve 0*c - 5*i + s = -5*c, -10 = -5*c - 4*i for c.
-2
Let d = -4 - -7. Suppose -1 = -d*f + 8. Suppose 9543*m - 9478*m - 130 = 0. Solve -y + 3*y - 6 = -m*z, f*y = 3 for z.
2
Let t be (93 - 95)*(-2 + 0). Solve 4*y + 40 = t*p, 1 + 4 = p for y.
-5
Let p be 2/(-6) - 56/(-6). Let u = p - 10. Let z = 4 + u. Solve -4*g - 4*n + 12 = 0, 0*n = g - 4*n - z for g.
3
Let f be -3*(-8)/12 - -4. Suppose -h = h - f. Suppose 3*b = -5*i + 1, h*i + 4*b = -b - 9. Solve 0 = -4*w + 5*g - i*g + 21, -g = 3 for w.
3
Let f be (-1 - -10) + 0 + 3. Let i(p) = 0 + p + f + 1. Let w be i(-7). Solve 4*y - x = 6, 0 = -2*y + w*x - x + 12 for y.
1
Let g = -3 - -2. Let m be -5*(2/g)/2. Suppose -32 = -2*x - 24. Solve 15 = 2*r - 7*r, -x*t = -m*r - 19 for t.
1
Suppose -4 = -r - r. Let v(l) = 2*l - 4. Let u be v(3). Suppose 4*i = -4*z + 8, -i + r*z - u = -7. Solve -4*n + 35 = -i*g, 0 = -3*g - 4*n + 5 for g.
-5
Let f = 6 - 1. Suppose 0 = -f*h + h. Let j be 6/4*(2 + h). Solve 0*d + j*d = -5*c + 14, 8 = 5*c + d for c.
1
Suppose -10*d + 22 = -58. Solve 4*q + 16 = -3*n - 0, -2*q - 3*n = d for q.
-4
Let k be (-11)/55*-1 - (-48)/10. Solve 4 = -4*f + k*m + 20, 4*f = 3*m + 16 for f.
4
Let g = -31 + 82. Suppose 0 = -2*p + 5*p - g. Solve -5*i + 4*u - 32 = 0, 0*i + u = -5*i - p for i.
-4
Suppose -5*l - t + 2 = -4, 26 = 3*l - 5*t. Solve 5*u - i + l = -5*i, -2 = 3*u + 2*i for u.
-2
Suppose -13*t + 6*t = -21. Let i be 1*(-5)/2*-2. Suppose 2*j - 3*d + 11 = 62, -i*d + 48 = t*j. Solve 0 = -5*y - h + 2*h - j, -3*h - 27 = 3*y for y.
-5
Let z(r) = -r**2 - 3*r + 2. Let x be z(-3). Let l be ((-28)/(-49))/((-10)/(-25)*(-4)/(-56)). Solve -x*w + 0*w = -3*s - l, -3*s = 3*w for s.
-4
Suppose -4*l = 3*l - 28. Suppose -36 = -4*w + 2*g, 5*w = 2*w + l*g + 27. Solve -5*v + 2*r + 9 = 0, w = 3*r - 0*r for v.
3
Suppose z - 11 + 9 = 0. Suppose z*n = 2*s - 4 + 6, 0 = -5*s - 2*n + 9. Solve 0 = 4*x - 4*q - 32, 2*x + q + 0*q = s for x.
3
Suppose 0*r + r - 11 = -5*c, 0 = -r + 2*c + 11. Suppose 0 = -16*p + r*p + 10. Solve -2*u + 14 = 5*x - 13, -2*u - 8 = -p*x for x.
5
Let m be -2 - (1 - (-1 - -17)). Suppose -159 + 165 = 2*f. Solve 0*x - 6 = f*x, -a + 5*x = -m for a.
3
Suppose -9 = -3*d - h, -7 = 5*d + 5*h - 22. Solve -3*y - 2*z - 2 = 1, 0 = -y + d*z - 12 for y.
-3
Suppose -3*x + 16 = 2*f, 0 = -2*x + 4. Let h = -5 + f. Suppose h*u = 3*u - 12. Solve 5*g - 3*s - 11 = s, 3*g - u = 5*s for g.
3
Let h = 19 - 34. Let k be ((-32)/6)/(10/h). Solve -4*y = -4*w - 4, -6*y + 2*y = -2*w - k for y.
3
Let b(m) = -m**2 - 6*m + 3. Let r be b(-5). Suppose 6*u - 5*u = -r. Let z be (-2)/(-2) - (u + 4). Solve 0 = 4*x + 12, -2*w - z*x - 16 = -3*x for w.
-5
Let f(u) = 9*u + 3. Let v be f(-3). Let k = v + 24. Suppose 58 = 3*i + 4*j - 67, -2*i = 2*j - 82. Solve 3*c - 8 + i = 5*d, c + 5*d - 23 = k for c.
-2
Let f(d) = 2*d**2 - 16*d + 7. Let o be f(8). Let m = o + -4. Solve 13 = -5*p - 2*v, -p + 4*v - 4 = m*v for p.
-3
Suppose -4*f + 12 = 3*t, 4*f - f - t = -4. Suppose 4*n = u - 0*u + 19, -u - 3 = f. Suppose 11 = -n*h + 19. Solve d + h*v = -4, -2*v = -0*v + 8 for d.
4
Let n(o) = o**2 - 11*o - 12. Suppose 5*v - 36 = 19. Let t be n(v). Let x = t + 12. Solve 0 = -3*s + g - 8, 3*s = -3*g - x*g for s.
-2
Let s = -1931 + 1934. Solve 3*v + s*f - 18 = 0, -18 = -4*v - 5*f + 4*f for v.
4
Let s(l) = -182*l - 152. Let v be s(-1). Solve -4*k + 5*u = -5*k - v, -30 = 5*k + u for k.
-5
Let w(y) = -5*y + 40. Let u be w(6). Let r(g) = -g**3 + 12*g**2 - 19*g - 8. Let i be r(u). Solve b + 5*f = 6, 0 = 3*f - 4*f + i for b.
-4
Suppose 20 = -5*v - 0. Let q be (-12)/(-4) + v - -6. Solve -n - 7 = 3*z, 5*z = -q*n + 10 - 35 for n.
-4
Let n(l) = l**3 - 4*l**2 - 18*l + 38. Let h be n(6). Solve w + 6 = -h*v + 3*v, -20 = 4*w for v.
1
Let o be (-4)/(-12) - (-15)/9. Suppose -s = 2, 5*y - 5 = o*s - 1. Solve 5*a = 2*u - 2, 0 = a + 5*u - 5 - y for a.
0
Suppose 168 = 3*p - 2*p. Suppose p*m = 173*m - 10. Solve 11 = m*o - q, -4*o + q + 3*q + 28 = 0 for o.
4
Let v(c) = 3 - c - 4*c**2 - c**2 + 4*c**2. Let l(a) = -a**2 + 2*a - 1. Let g be l(1). Let f be v(g). Solve -5*p + 2*t + 0*t - 17 = 0, 0 = p - f*t + 6 for p.
-3
Suppose -2 = -b + 2*b. Let r be (-4 - 1 - b)/1. Let m be 1/(0 - r/51). Solve 4*f = 5*j - m, 14 = 5*j - f - 2*f for j.
1
Let p(m) = m**3 - 11*m**2 + 18*m + 15. Let q be p(9). Let r be (-52)/(-12) + 10/q. Solve 25 = -5*y, 2*j - 8 - 9 = r*y for j.
-4
Let x(n) = -9*n**2 - 47*n + 8. Let o be x(-5). Solve c - 4*t = -o, 0*t = 5*c + 2*t - 20 for c.
2
Let l = -520 + 526. Solve -p + l = -5*j, 0*j - 1 = 3*p + 4*j for p.
1
Suppose 5*f - 7 = 2*m, 2*m + 13*f - 10*f = 17. Solve 3*k + 5*h = 2*k - 22, 2*h = m*k - 22 for k.
3
Suppose 375 - 343 = 16*m. Solve -5*n = 5*s - 15, -12*s + m*n = -9*s - 14 for s.
4
Let m be 8/((-1)/36*3). Let c = m - -99. Solve -g - 17 = 5*k, k + c*g = -13 + 4 for k.
-3
Let p = 10 + -6. Let n be (-4)/8*-1*p. Solve -6*r = -r + n*l - 20, -r + 4 = -3*l for r.
4
Suppose 2*v = 5*s + 20, -2*v + 119*s - 124*s + 20 = 0. Solve -5*x = -5*g - 30, -6*x - 28 = -v*x + 5*g for x.
2
Let i = 34 + -29. Suppose 0*t - 5*t - 12 = -3*l, -i*l - 2*t + 20 = 0. Solve 0 = l*z + 2*o + 3 + 3, 0 = 5*z - 3*o + 24 for z.
-3
Let a(s) = 2*s**3 + 3*s**2 - s - 2. Let c be a(-2). Let x be ((-48)/9 - c)*-3. Suppose 5*t = 8 + 2. Solve 22 = 4*u - r, x*r + 24 = 4*u + t*r for u.
5
Suppose -3*t = 3*r - 27, 0*t + 4*t - 43 = -5*r. Suppose r*v - 2*v = 20. Suppose 2*b = -2*q - 10, 4*q - 2*b - 9 = 1. Solve q = h - 3*c, -v*h + c = h - 14 for h.
3
Let l = 244 - 239. Solve 0 = 4*d - j + 8, l*d + 4*j + 33 = 2 for d.
-3
Let q be 3*(9 + -4)*1/3. Solve -4*l - 2*f + 0*f - 14 = 0, q*l + 2*f = -17 for l.
-3
Let l(g) = 3*g**2 - 43*g - 27. Let y(s) = -3*s**3 - 2*s**2 - 1. Let n be y(-2). Let f be l(n). Solve 5*t + 5*a - 25 = 0, f*t + a = 6 + 5 for t.
3
Suppose -3*k - q + 40 = -23, 5*k + 3*q = 109. Suppose 0 = -4*f - 4*g + k, f - 17 = 6*g - g. Solve -2*r - 5 = -3*d, f*r - 3*r + 4*d + 20 = 0 for r.
-4
Let x(s) = 120*s**2 - s. Let b be x(1). Suppose 0 = 4*m - g - b, 0 = -2*m + 6*g - 4*g + 52. Solve 4*a - 3*u - m = 0, 2*u + 5 = u for a.
4
Let c = -28 + 26. Let s = 6 + c. Suppose 4*t = s*n + 5*t - 24, 4*t = -n + 21. Solve -20 = f - 2*f + n*p, 3*f + 4*p - 3 = 0 for f.
5
Let f(c) = -c + 1. Let h(x) = -4*x + 21. Let l(o) = -3*f(o) + h(o). Let s be l(13). Solve 2*u = 3*y - 10, -2*u + 1 = -s*u + y for u.
1
Suppose 3*z + 5*p - 29 = 0, 8*p = -4*z + 7*p + 16. Solve -3*g = -0*w + z*w - 18, g = 2*w + 3 for w.
1
Let t be -3*(0 - 14/3). Suppose -2*n = 5*d + t, n - 3*d + 7 = -d. Let z(x) = x**2 + 7*x + 3. Let r be z(n). Solve 8*u + r*w + 5 = 4*u, 4*u - 13 = 3*w for u.
1
Let y(x) = -x**3 - 37*x**2 + 36*x - 70. Let q be y(-38). Solve -4 = -4*s + 2*m, q = -2*m + 2 for s.
0
Suppose -q - 7*q + 48 = 0. Suppose 3*t - 2*t = q*t. Solve 4*l - 3*j - 1 = t, 3*j = 2*l - j + 12 for l.
4
Let f = -283 - -471. Let d be 2/(-5) - (7 + f/(-20)). Solve -4 = -5*c - d*j, 4*c + 2*j = -3*j + 10 for c.
0
Let m(l) be the second derivative of l**3/6 - 3*l**2 - 20*l. Let g be m(10). Solve -5*b = 4*j - 10, -4*j + 3*b + 18 = g*b for j.
5
Let p(d) = d**3 - 2*d + 1. Let z be p(2). Suppose 0 = -2*x + 7*x - 190. Let m = x + -13. Solve 4*u + 2*q + 5 - m = 0, -z*q + 10 = 0 for u.
4
Let z = 1176 + -1171. Solve 3*n + 11 = 5*i, -2*i + 7*i = z*n + 5 for i.
4
Let i(s) = 3*s**2 - 2*s + 2. Let r be i(2). Let o(v) = -v**3 + v**2 + 13*v - 22. Let g be o(2). Solve b + g = q + 6, r = 5*q + 5*b for q.
-2
Let c = -56 - -60. Suppose c*g = 16 + 64. Solve -6*j + j - 25 = -x, -g = 4*j for x.
0
Suppose 262 = -4*c - r, -c + 2*r - 6*r = 58. Let v be c/(-88) + 3/(-4). Sol