*v - 5*w - 1 = x, -5 = -v + 2*w for v.
-5
Let h be 2/(-3) - 178/(-6). Let j = h + -13. Solve -15 = -3*w + 3*p, 2*p + 2*p + j = 2*w for w.
2
Let m(o) = -o**2 - 3*o - 1. Let u(b) = b**3 - 8*b**2 - 10*b + 6. Let w be u(9). Let c be m(w). Let k = c + 6. Solve -3*g - k = -a - 4*g, -2*a + 3*g = 10 for a.
1
Let l(b) = b**3 + 5*b**2 - 7*b - 6. Let v be l(-6). Let c(q) = q**2 - q. Let d be c(-1). Suppose -z = d*z - 12. Solve -2*t - 8 = 4*p - z, v = -4*p - 8 for t.
2
Let h(k) = -k - 3. Let u be h(-5). Let x be u/12 + 53/6. Solve -5*t - r + x = -4*r, -4*t + 3 = -r for t.
0
Let t = -5 + 5. Suppose -3 = -s + 1. Solve -22 = i + 4*q, t*q - q = s*i + 13 for i.
-2
Suppose d - 20 = -0*d. Suppose -4*j + 25 = 5*c, 3*c - d = -3*j - 2*c. Solve j*f - q - 20 = -6*q, -4*f - q = -13 for f.
3
Let g(a) = -a + 3*a - 13 - a. Let f be g(11). Let d be (-8 - f)*2/(-4). Solve -3*x + 5*t - 15 = 0, 0*x + 6 = d*x + 2*t for x.
0
Let q(i) = i + 8. Let a = -36 - -22. Let n = a + 8. Let x be q(n). Solve x*c - 1 = -v, -5*c + 0*v + 15 = 5*v for c.
-2
Suppose -5*p + 27 = 4*f, 2 + 1 = 2*p - f. Solve 0 = t + 3*q - 11, -p*t - 2*t - 5*q = -5 for t.
-4
Let t be 1/(2 + 3/(-2)). Let h = t - -2. Suppose -h*i + 5*i = 0. Solve i = r + 4*g + 17, -3*g + 5*g - 2 = -4*r for r.
3
Let y be 4/(-3 - 22/(-6)). Let w = 6 - 3. Solve 6 = -f - h + w*h, 0 = f + h - y for f.
2
Let o(x) = x**3 - 20*x**2 + x - 18. Let s be o(20). Solve 6 = -4*g + 5*m, 0*m + s*m + 4 = 0 for g.
-4
Let y(i) = -9*i + 5. Let l be y(-4). Suppose s - 2*t = -7, 5*s + 4*t - l = -6. Solve -v + 12 = 4*p, -5*p = s*v - 3 - 5 for v.
-4
Suppose 4 = d + 4*i, -d + 3*i + 7 = 3. Solve -d = 2*w - 3*c, w + 1 = 4*c - 6 for w.
1
Suppose -3*g = 3*w + 3, 2*w = -w - 9. Solve -6*n + g*n - 4*q = 0, -n + 2*q = 3 for n.
-1
Suppose 3*q + 33 = 4*q - u, -5*q = 4*u - 129. Suppose 0 = a - 2*a + q. Let i = -13 + 24. Solve 5*r = -4*p + 45, 5*r + 3*p - a - i = 0 for r.
5
Let r be 2/3*(-6 + 9). Solve -j + a = -0*a - 3, -4*j = r*a - 6 for j.
2
Let a(r) be the third derivative of r**5/60 - r**4/12 - 3*r**2. Let j be a(3). Solve g + 11 + 4 = -4*o, -j*o - 12 = g for o.
-3
Let v(n) = n**2 + 5*n + 6. Let k be v(-4). Suppose 4*z - 7 = 5. Let x be 140/15 - (-1)/(-3). Solve -k = a, f - a + z*a = -x for f.
-5
Suppose 4*x = -4*k + 3*k + 23, 0 = -5*k + x + 10. Solve q + 4*q - 5*h - 20 = 0, k*h = -4*q + 23 for q.
5
Suppose 0 = 18*y - 16*y - 26. Solve 8 = 2*b + r, b - y = -6*r + r for b.
3
Let q(u) = -2*u**2 + 21*u - 5. Let r be q(10). Solve 0 = -2*v + s + 4*s - 5, -r*v - 3*s = 28 for v.
-5
Let f = 25 - 37. Let w = 17 + f. Solve w*u + 6 = 4*i, 4*u + 0*u + 3*i + 11 = 0 for u.
-2
Suppose -o - 3 + 2 = 0. Let x be ((-15)/25)/(o/5). Suppose x*f - 6 = -0. Solve -16 = -2*k + 5*z, -f*k - z = -2*z for k.
-2
Let d = 8 + -3. Suppose 0 = -5*o - d*x + 45, -x = 3*o - o - 22. Solve -5*w = -h + o, 0*w - 5 = w - h for w.
-2
Suppose 0 = 2*h + u + 2*u + 3, h - 15 = 4*u. Let b be 62/5 - 3/(-5). Let w = -9 + b. Solve -w*f = -3*t + 23, -2*f - 2 = -f + h*t for f.
-5
Let b(x) = -4*x**3 - 2*x**2 - x. Let s be b(-1). Solve -5*d - 3*k - k + 10 = 0, -s*k = -3*d + 6 for d.
2
Suppose 0 = -2*g - q - 0 + 9, q = -5*g + 15. Suppose 2*c + a = 11, 1 = c + g*a - 3*a. Solve 5*u = c*k - 0*k - 7, k - 2 = u for u.
1
Let o be ((-1)/2)/(-1*2/20). Solve -o = -s - 5*w, -s - 4*w = -0*w - 5 for s.
5
Suppose 0*s - 40 = -4*s. Suppose 0 = 10*k - 8*k. Solve -4*n + 5*g - 26 = k, 0 = -3*n - 2*g + g - s for n.
-4
Let m be (-2)/(-3)*(-7 - -10). Solve 0 = -4*n + 20, -m*l - l = -5*n + 25 for l.
0
Let m = 21 + -13. Let g be (m/(-5))/(2/(-5)). Suppose -g*z + 5 = -11. Solve -z = -4*h, 2*j - j - 4*h = 0 for j.
4
Let j be (2 - 2) + (3 - -1). Let c(g) = -g + 7. Let z be c(j). Solve 3*m + 3*w = -9, -2*m - 9 = -3*w - z for m.
-3
Suppose -3*z - 10 = 4*w - 3*w, 5*w + 3*z + 2 = 0. Let g = 9 + -7. Suppose -4*b = -2*b - g. Solve -b = m, 4*r + 8 = r - w*m for r.
-2
Suppose -10 = -2*f - 34. Let j be (-18)/8*f/3. Solve -4*b = 4, 0*b = -2*n + 3*b + j for n.
3
Let u be ((0 - 2) + 6)/2. Let q be -1 - (-3)/(6/u). Let d = q - -3. Solve -10 = d*h + 4*b, 0*b = -h - 2*b - 4 for h.
-2
Let w(v) = v. Let g(k) = k - 1. Let t(n) = -7*g(n) + 6*w(n). Let c be t(5). Solve c*j - 5*r - 5 = 1, -5*j + 3*r = -15 for j.
3
Suppose -96 = -5*g + g. Suppose -4*o - 2*x + 41 = 11, 0 = 3*o + x - g. Suppose -q = 2*q - o. Solve 0 = 5*r - y - 2*y - 13, -q*r - 5*y + 35 = 0 for r.
5
Let p(o) = -2*o**2 - 6*o - 5. Let k be p(-4). Let u = k + 33. Solve -3*a = -5*d + u, 5*d + a = 3*d - 3 for d.
1
Let v be (0 + 6)*46/69. Solve 4*l - 4*n = v, 2*l + 3*l - 4*n - 5 = 0 for l.
1
Suppose i - 4*w = -0*i + 13, 16 = 2*i - 3*w. Solve -2*v = 2*z - 6, i*z - 6 = v - 3 for z.
1
Suppose -3 = d - 5. Solve -2*k + 9 = g, -2*g = -d - 4 for k.
3
Let i be 110/8 + 27/(-36). Let d = 29 - i. Solve 15 = 5*a, -4*b - b = 3*a + d for b.
-5
Let y be (-1 - (-3)/6)*-6. Solve 0 = -5*l + y*q - 1, -3*l - 2*q + 13 = 3*q for l.
1
Suppose -w = 7*s - 2*s - 15, -2*w + 12 = s. Solve 4*j + w*x + 10 = 0, -2*j = 4*x + 7 + 1 for j.
0
Let s = 20 + 18. Let b = s + -16. Suppose -2*o = o - 9. Solve 15 = -o*k, -2*r - k - b = 3*k for r.
-1
Suppose -3*l - l = 0. Suppose 4 = 2*t - q, -3 - 5 = 2*t - 4*q. Solve 3*n - 21 = 3*w - l*n, -2 = -t*w - 2*n for w.
-2
Suppose 0 = -s - 2*s - 63. Let d = s - -36. Solve 5*g = 5 + d, -4*n = -2*g - 8 for n.
4
Let f = -27 + 31. Solve 0 = 2*i + 3*u + 7, f*u + u = -5 for i.
-2
Let g(l) = 3*l**2. Let k be g(-1). Suppose -p + 22 = -k*o, -p - 2*p + 10 = -2*o. Let d = o + 16. Solve -3*s = 3, d*t + 2*s = 3*t - 12 for t.
-2
Let o = 33 + -22. Suppose -5*l - o + 66 = 0. Solve 5*f - 5 = 5*p, f + 2*f - l = p for p.
4
Let i be -1 - ((-4)/1 + 1). Suppose 2*l - 2 = 0, 2*m + 4*l - 2*l = 8. Solve 3*c = 2*p - 13, c = i*p - m*c - 14 for p.
5
Let b be (-2 - 0) + (4 - -13). Suppose m + 15 = s + s, 3*m = -b. Solve 3*o - 12 = 0, o + s + 1 = -5*j for j.
-2
Let a = -30 + 33. Solve -a*w + 23 = w + 3*c, 2*c - 17 = -3*w for w.
5
Let k be 4 - 4 - (850 - -2). Let c be 4/22 + k/(-33). Solve 2*r = -r + 3*j - 18, -5*r - c = -j for r.
-5
Let s = -163 + 168. Solve 2*z + 2*z - s*q = -5, 4*z + 26 = -2*q for z.
-5
Suppose -3*z + 15 = 2*z. Suppose 5*b = -21 + 66. Solve 3 = 2*u - 4*a + 5, 3*u = z*a - b for u.
-5
Let d be (-3)/6 - 9/(-2). Solve -3*i = d*m - 23, 0 = 4*m - 4*i - 9 - 7 for m.
5
Let l be 2 + (-3)/3 + 1. Suppose 0 = v + l*v. Solve -5*c - 4*d + 23 = 0, v*d - 2*d + 10 = 2*c for c.
3
Let t(b) = -2*b**2 + 4 + 1 - 6*b + 0. Let p be t(-7). Let f = 86 + p. Solve -5*r = 4*o - f, -4*r - r = -2*o - 5 for r.
3
Let l(p) = -p + 15. Let u = -3 + 3. Suppose u = -4*v + 4*z, -3*z = 4*v - 0*v. Let j be l(v). Solve 5 = -2*w - 3*s, 2 = -5*w - 3*s - j for w.
-4
Suppose 0*q + 4 = q. Let l be (q/(-3))/(4/(-144)). Suppose -g + 3*y = g - l, -g + 3*y + 30 = 0. Solve -2*n + g = -4*w, -3*w - 3*n = -0 + 9 for w.
-4
Suppose 8 = 4*y, -5*y + 10 = -2*f - 3*f. Suppose f*u + 1 = u. Solve u = 3*i - 2*n, -2*n + 4*n + 5 = -i for i.
-1
Let j be (-4)/(-14) - (-328)/28. Let q = j + -7. Solve 0*i = -m - q*i - 24, -3*m = 3*i + 12 for m.
1
Suppose 43 = 3*x + 5*m - 3*m, 0 = 2*x - 2*m - 22. Let d = x - 7. Solve r + 2*u = -0*r - 6, -4*r - 2*u - d = 0 for r.
0
Let p be 4/10 + (-12)/5. Let l = -13 + 7. Let h = p - l. Solve -i + 2 = 5*s - 5, 3*s - 11 = -h*i for s.
1
Let o(h) = 3*h - 2. Let s(w) = w - 11. Let t be s(13). Let p be o(t). Solve -5*g - 40 = -p*q, q - g - 17 = 2*g for q.
5
Let v(p) = -p**2 + 8*p - 7. Let g be v(6). Let q = g + 16. Let h be 2/(-7) - (-69)/q. Solve 6 = 2*z, 4*y = 5*y - h*z + 13 for y.
-4
Let p be (-1)/(-2) + (-1)/2. Let u = 85 + -70. Solve -2*o - d = -13, p*d = -3*d + u for o.
4
Let o = 1 + 1. Solve 0 = -4*q - 3*y - 23, 4*q + o*y = 1 - 19 for q.
-2
Let n = 27 - 23. Solve -a = 0, 0*a = n*f + 4*a for f.
0
Let f = 58 + -55. Solve -f*g - 7 = w, -3*w + 9 + 6 = 0 for g.
-4
Suppose 3*d = 5*d + 8. Let g be d/8 + 2/(-4). Let t be (8 + g)/1 + -3. Solve t*y - 7*y - 2*m = -17, 3*m = 4*y for y.
3
Let l(s) = -2*s**2 + 6*s + 3. Let c be l(3). Solve 6 = c*f, -3*f = 2*m - 5 - 9 for m.
4
Suppose 5*j - 4*j + 2 = 0. Let o = j - -5. Solve -1 = 3*v - t, 2*v - 11 = o*v + 5*t for v.
-1
Suppose -12*u + 50 = -10. Solve 4*k = -u*f - 35, -3*f + 7 = 4*k + 36 for k.
-5
Suppose 12 = 3*d - 0*d. Let w = 1 - -2. Solve r + w*g = 6 + 2, d*g = -4*r + 24 for r.
5
Suppose -5*j + 31 = 4*m, -m + 1