-5*w - q*y = -23 for w.
3
Let l = -1213 - -1233. Solve -4*g + 2*g + 3*k - l = 0, 2*g = 2*k - 16 for g.
-4
Let k = -312 - -325. Solve -8*x = -4*x + 3*i + k, 7 = -4*x - i for x.
-1
Let r(u) = -16*u - 256. Let a be r(-16). Solve -15 = -z - 4*v, 5*z = -5*v - a*v for z.
-5
Let m(s) = s**2 + 2*s - 76. Let z be m(8). Solve 3*c + z*k + 6 = 1, -5*c = -5*k - 50 for c.
5
Let q be -11 + (-6)/((-3 - 3)/(-3)). Let w(u) = u**3 + 13*u**2 - 14*u + 4. Let f be w(q). Solve 0 = f*x + 5*r - 5, 1 = 2*r - r for x.
0
Let n be (3/6)/(2/20). Let x be (-264)/(-40) - (-14)/35. Solve 0 = 4*t + n*h - x, 4 + 17 = -3*t + 5*h for t.
-2
Let i = 105 - 87. Solve 1 = o, -11*n + 14*n = 3*o - i for n.
-5
Suppose -4*q + 16*q = 48. Let d = -1 + 1. Suppose d = -q*p + p + 9. Solve p*f + 5*o + 4 = f, -4*o = 0 for f.
-2
Let n = -35 + 17. Let z be (-6)/9 - 84/n. Solve 5*r + 2*j - 6 = 6*j, 0 = -2*r + z*j for r.
2
Let b = 24 - 18. Let y(g) = -3*g - 4. Let u be y(-5). Let t = u - b. Solve -q = 4*p - 5, t*p = 3*q - 0*p - 15 for q.
5
Suppose 0 = -3*p - 2*o - 42, p - 5*o = -p - 9. Let k = 15 + p. Let g be -5*k*(-4)/12. Solve g*u - x + 1 = u, -2*u = -2*x - 4 for u.
-1
Let x be (-279)/(-93)*(-4)/(-6). Solve 4 = -u - 0, 3*u + 4 = x*j for j.
-4
Suppose 0 = 10*x - 36 - 74. Solve 3*n + o + 5 = -n, o = 4*n + x for n.
-2
Let m = -100 - -51. Let f = -44 - m. Solve t = 3*c + f, 4*t - 4*c = -t + 14 for t.
2
Let u = 2264 - 2261. Solve 2*z - 2*k = -u*k - 1, 0 = 3*z - 4*k + 29 for z.
-3
Suppose 0 = k - 9 - 5. Suppose a = -5*n + 22, -2*n + 13 = 3*a - k. Solve -i + 2*c = -c + a, -2*i - 6 = 2*c for i.
-4
Suppose 6*d = 5*d + 5. Let b be 1*40/(6/3). Suppose -5*g + 0*g = b, -q = d*g - 17. Solve 4*c = -3*p - q + 12, -p = 3 for c.
-4
Suppose -u = -2*y - 2, 5*y + 4*u - 15 = 6. Let x(q) = 0 + 2 + 3*q - 4 + 2*q**2. Let v be x(y). Solve 11 = -2*a - 4*j - 3, 9 = -2*a - v*j for a.
3
Suppose z - 6 = -2*o, 2*o - 30 = 3*z - 7*z. Let g(v) = 9*v - 8 + 10*v - z*v. Let r be g(3). Solve 3*s = -3*m + 15, 2*s = 7*m - 2*m - r for s.
0
Let u be ((-39)/4)/(58/(-16) - -4). Let b be (0 - 0)*13/u. Solve -5*t = -l, -5*l + b*l = t - 26 for l.
5
Let p be (-2 - (-9)/6)*-4. Suppose -r - 5*x = 0, -5*r - p*x = -0*x. Let h be 2/(-3) - (-26)/39. Solve -4*b - j - 6 = -r*b, 2*b + 2*j = h for b.
-2
Suppose 0 = f + 4*q - 60, -2*q + 6*q = 4*f - 140. Suppose -f*n = -39*n. Solve 2*x = -n*r - 2*r + 8, -2*x = -5*r + 13 for x.
1
Suppose 9*i = 5*i + 56. Suppose -3*n - i = -z, 5 = 4*z + 5*n - 0*n. Solve 4*b = z*k - 4, 0*k + 3 = -3*b - 4*k for b.
-1
Suppose -16*k = -73 - 7. Solve -2*m - m + k = 2*i, -i = 2*m - 5 for i.
-5
Suppose 2*f - 49 = -r + 2*r, 3*f + 102 = -3*r. Let o = 112 + r. Suppose -7*m - 3*t = -2*m - 78, 2*t = 5*m - o. Solve q + 4*u = 5, 4*q - q = -2*u + m for q.
5
Let t = 47 - 42. Suppose -5*p = 4*w - 11, t*w - 21 = 4*p + 3. Solve o - w*f = -3, -4*o + 4*f + 1 = f for o.
1
Suppose 3*h - 1 + 19 = 3*o, 4*h = -3*o + 46. Solve -f + 4*f + o = -i, i + 4*f = -12 for i.
-4
Let n(y) = 5*y**3 + 3*y - 2. Let l be n(1). Suppose -l*i = i - 14. Solve i*j - 2*d = 6, d + 3*d = 2*j - 10 for j.
1
Let v = 350 - 345. Solve -3*y - 1 - v = -3*r, 5*y + 4*r = 26 for y.
2
Let g = -16 - -1. Let a be 6/(-8) - g/4. Solve -10 = -a*x + f, -f + 15 = -2*x + 4*f for x.
5
Suppose -3*h + 12 = 4*y, 3*y = -0*h - h + 9. Let c be 3 - ((y - 4) + -2). Solve 2 = -2*t - 4*o, t - c*o + o = 20 for t.
5
Let v = 165 + -162. Solve -2*b + 10 = -0*s - v*s, -b + 6 = -2*s for s.
-2
Let o(k) = -3*k + 3. Let u be o(1). Let w be 10/(-10) - (-1 + u). Solve -2*q = -2*n - 6*q, q + 2 = w for n.
4
Let m = 106 - 103. Solve -p + m*r = -3*p - 7, -4*p + r + 21 = 0 for p.
4
Let q be 3*(-1 - (4 - 6)). Let j be 33 + -4 + -2 - q. Let w = j - 20. Solve -t - 2*t - w*g = 4, 0 = -3*t + 5*g - 22 for t.
-4
Suppose -2*k + 6*k + 3*c = 16, 2*c = k - 4. Solve k*p + g = -4, 5*p + 0*g = 3*g + 12 for p.
0
Let a(z) = z**2 + 6*z + 3. Let v be a(0). Solve 3*w + v = 0, 10 = 5*r - 0*r - 5*w for r.
1
Let d = 1261 - 1249. Solve 2*n = -g + 13, 2*n - 6*g + 2*g + d = 0 for n.
4
Let a be (-66)/(-11) - 4*1. Solve o = -2, -a*n - n = 4*o + 17 for n.
-3
Suppose -24*f = 40 - 112. Solve 2*z - 14 = 2*b, 0*b = -b - z - f for b.
-5
Suppose -v + 3*z - 2*z + 47 = 0, 0 = -2*v + 4*z + 98. Suppose -80 - v = -5*f. Suppose -m - f = -6*m. Solve 2*t = -m*s - 0*t - 14, 3*t = -5*s - 11 for s.
-4
Let u(g) be the third derivative of g**4/24 + g**3/6 - 16*g**2. Let s be u(1). Solve 2*p - 14 + 0 = 5*v, -s*p + 8 = -2*v for v.
-2
Suppose 5*h + 50 = 22*z - 19*z, -2*z + h = -38. Solve 3*i - 3*k - 30 = 0, i - 2*i + 3*k = -z for i.
5
Suppose -s - s + 4 = 0. Let j be 2 - (4/(-2) - s). Suppose j*l = 5*l. Solve l = 3*g + m + 1 - 0, 17 = 4*g + 5*m for g.
-2
Let j be 0 - (3 - 7 - -2). Suppose -j*w - 40 = -6*w. Let a be (0 + 2)/(5/w). Solve 0 = -d + 5, 4*h - 16 = -a*d for h.
-1
Let z(v) = v**2 + 27*v + 52. Let t be z(-25). Solve 5*w = 3 + 12, q + 7 = t*w for q.
-1
Let p(x) = x**3 - 55*x**2 + 54*x + 25. Let b be p(54). Solve -2*i - 5*z - b = 0, -4*i + 3*z + 2*z + 25 = 0 for i.
0
Suppose 37*z = 38*z - 12. Let g be (z/21)/(10/35). Solve 5*i = -0*i + g*w - 10, 20 = -2*i + 4*w for i.
0
Let h(o) = 12 + 3 - 3*o + 3. Let j be h(6). Solve z - 5*q + 0 + 1 = j, -4*q + 12 = 2*z for z.
4
Suppose 3*j + 2*z = j - 8, 2*j + 26 = 4*z. Let o = 18 + j. Solve 3*b = 2*n + o, -20 + 5 = 5*n - 5*b for n.
2
Suppose 2*s + 8 = -0*s. Let f = 9 + s. Let i(u) = -5*u + 5. Let m be i(-3). Solve 2*p + 2*p - 3*x = -m, -f*p = -x + 25 for p.
-5
Suppose 11*m - 1440 = -5*m. Let t be -8*m/(-52) - 30/(-195). Solve 3*i + t = -5*f, -4*i - 8 = -2*f - 2*f for i.
-3
Let v = -47 - -33. Let u = v + 17. Solve 3*x + u*w = -x + 23, -4 = -4*w for x.
5
Let r(w) = -w**2 - w + 3. Let m be r(5). Let l be 1/(-2 + m/(-15)). Let o = -3 - l. Solve 4*s = -o*a - 26, -s - 2*s - 12 = 0 for a.
-5
Suppose 2*u + 34 = -5*d - 2*u, -22 = d - 3*u. Let b be (d/(-15))/(2/45). Solve -2*g + b = g - i, 0 = 2*g + 4*i + 4 for g.
4
Let k be (0 - -4)*(-83 + 84). Solve -l - 25 = -5*y + k*l, 15 = -3*l for y.
0
Let j(p) be the second derivative of p**3/6 + 4*p**2 - 35*p. Let t be j(-3). Solve -2*s = 3*r + 12, t = -4*r + 2*s + 3 for r.
-2
Suppose 0 = 7*i - 15 - 13. Suppose 0 = -i*v + 6*v + v. Solve -5*p - 2*r = -v*r + 23, -2*p - 9 = r for p.
-5
Suppose p - 84 = -30. Let c be 15/(-6)*p/(-15). Suppose -3 = -4*k + c. Solve -2*d + 5*w - 22 = -3*d, 0 = 4*d + 3*w - k for d.
-3
Let m = -11 + 19. Suppose -m = -4*p - 0. Solve v + x = -8, 5 = -3*v + 4*x + p for v.
-5
Suppose 3*o + 85 = -q - q, -o - q = 28. Let d = 29 + o. Solve 26 = -4*z + 2*v - 2, d = -3*z + v - 19 for z.
-5
Let r be (6 - 7/2)/((-15)/(-36)). Suppose 3*a + y = -3*y - 1, 2*y + 3 = a. Solve r*k = f + k + 7, 3*k - a = -f for f.
-2
Suppose 0 = -5*f - 3*k + 60, -3*f = -4*k + 2*k - 17. Let q(g) = 2*g + 10. Let x be q(f). Solve 4*v + 5*a - 27 = 2*v, 3*v + 5*a = x for v.
1
Let l = -194 + 194. Solve -2*x - t = -l*t - 12, x = t for x.
4
Suppose 15*f - 342 = 258. Solve 3*o - f = -5*i, -4*i - 5*o = i - 50 for i.
5
Let a(n) = n + 17. Let p be a(-15). Suppose -2 = -l + 7*t - 2*t, p*l + t = 4. Solve -k = -l*b, -8 - 5 = 4*k + 5*b for k.
-2
Suppose -4*g + 20 = 0, -8*m + 2*g - 6 = -6*m. Solve 0 = -l - 5, -m = -3*x - 3*l + 4*l for x.
-1
Suppose 24 = 2*t - 2*v + 2, 0 = t + 4*v - 1. Suppose t*i = 10*i - 1. Solve q - i = -4*n + 17, -35 = -5*n + 5*q for n.
5
Let z be 1/(0 - (-4)/52). Suppose -6*c + z = 1. Solve -2*v - 5*u = c*v + 6, -3 = -5*v - u for v.
1
Suppose 4*t - 95 = -5*s, -2*t + 18 = 4*s - 34. Solve -3*x = -3*r, -3*x + r + t = 2*r for x.
5
Let s(x) = x**2 + 1. Let t(v) = v**2 + v - 1. Let r be (8/6)/((-4)/(-6)). Let o(j) = r*s(j) + t(j). Let c be o(-1). Solve w - 9 = -c*q, q + 2*w = -q + 6 for q.
3
Let k be (-1)/(285/(-72) + 4). Let a = k + 26. Let l be 6*(-3 + 7/a). Solve 5*u = -l*j + u + 4, -2*j = -5*u - 18 for j.
4
Let j be ((-15)/6 + -3)*-2. Suppose -19*h + 192 = -j*h. Solve -f + 3*s + 8 = -0*s, -4*f - 2*s - h = 0 for f.
-4
Let x(a) = 10*a + 1. Let w be x(-4). Let n be (65/w)/((-2)/6). Suppose 0 = -u + 3*u - s - 3, -2*s + 12 = n*u. Solve -5*r - 20 = q, 0*r - u*q = -r + 7 for r.
-3
Suppose 0 = 5*o - 5*y - 20, 20 = 2*y + 2*y. Solve 0 = -3*r - 5*m - o, 7 + 8 = -5*r - m for r.
-3
Suppose 5*k - 19 - 8 = -2*f, -3*k + 12 = -3*f. Solve -q = 0, 0 = -k*y + 5*q - 21 - 4 for y.
-5
Let o = 467 + -455. Solve -2*w = 3*