-v = -2*k - 3, -2*v + t*v = -4*k - 11 for k.
-2
Let v be -4 - -8 - 4 - -13. Solve -b - v = -j - 2*j, -j = -3*b - 15 for j.
3
Let a be -3*-4*(-2)/(-12). Solve 5*q = a*b - 25, 2*q + 0*q = -10 for b.
0
Let c = -8 - 6. Let z be (8/(-6))/(c/(-21)). Let k be -2 + (2 - z - -3). Solve 3*v + 3*f + 16 = -v, -5*v = -k*f + 20 for v.
-4
Suppose 8 = 4*u - 3*u. Suppose 3*c - 1 = u. Solve 2*t - 3*n = n - 14, -4*t + c*n - 23 = 0 for t.
-5
Suppose 13 = 2*o + 2*o - v, 3*o + 5*v - 4 = 0. Solve -5*s + 0*s = 5*i - 10, -5*s - o*i = -8 for s.
1
Let v = 126 - 230. Let z = v + 193. Let o = z + -64. Solve 2*n + 12 + 13 = -3*p, 0 = 5*n + o for p.
-5
Let u be ((-30)/4)/((-2)/4). Suppose 4*h - 5 = u. Solve 0 = -h*z + 5*b + 25, -2*b - 14 = 2*z - 5*z for z.
4
Let a be 38/(-57) - (-28)/6. Solve 0 = a*s - 4*q - 4, 3*s + q = 6 + 13 for s.
5
Let j = 42 - 39. Let k be (-2)/(2 + 5/(-2)). Solve -4*o - j*d = o + 25, -4*o + k*d - 20 = 0 for o.
-5
Let w(r) = -2*r**3 + 8*r**2 + 2*r + 5. Let o be w(4). Let t = -2 + 4. Solve 5*i - t*p = -o, 2*p + 16 = -5*i + p for i.
-3
Let p = 16 + -17. Let w = p - -6. Solve -20 = -w*l, 2*l = 5*r + 4*l - 23 for r.
3
Let x(g) = 2*g - 4. Let v be x(3). Solve -11 = 3*f + v*n - 4, 0 = -3*f + n - 19 for f.
-5
Suppose 34 = -5*b - 21. Let m be 8/44 + 2/b. Solve m*i + 4*i = -2*j, 4 = 2*j for i.
-1
Let h be 4/(-10) + (-4)/(-10). Suppose -t + 5*t - 24 = 0. Let p be (-5)/3*t/(-2). Solve p*b + 11 = 4*w, 3*b + 5 = 4*w - h for w.
-1
Let c(u) = -u**2 - 6*u - 1. Let k be c(-5). Suppose d - 2*d = 3*l - 12, 3*d = -4*l + 21. Solve -d = -k*n - 4*h + 1, 4*n - 5*h = 4 for n.
1
Let z be (1 - -32) + 0 + 2. Let k(y) = -y**2 + 2*y. Let o be k(2). Suppose o = 3*q - 2*q - 25. Solve 4 = 4*j - 3*h + z, -h + q = -5*j for j.
-4
Let t be 2*(34/28 + (-12)/(-42)). Solve -r - 4 = -t*m, -12 = 3*r - 2*m - m for r.
-4
Suppose -4*o - 14 = -6*o. Suppose 3*j = o - 1. Let u be j/(33/(-18) + 2). Solve 3*b - b + 3*x = u, -5*x = -20 for b.
0
Let s = -6 + 7. Solve 0*p + 4 = -5*p - 2*x, 0 = -4*p - 3*x + s for p.
-2
Suppose 10 = -j + 6*j. Suppose 4 = j*t - 0*t. Solve 18 = t*r - 2*o, 4*r - 3*o = -o + 26 for r.
4
Let p be 10/6 + (-2)/(-6). Let c be ((-15)/9 + p)*6. Suppose x = c*x - 7. Solve 0*n = -2*q + 4*n - 14, -4*n - x = 5*q for q.
-3
Suppose -2*l + 9*l = 42. Suppose 0 = -3*q - l + 18. Solve 4*t = q*a - 20, -a = 2*a - 9 for t.
-2
Let r = -10 + 14. Let t be (-2)/7 + 69/21. Suppose -3*x - 8 - r = 4*j, t*j = x - 9. Solve -p = -5*n, 3*p - n + 14 = -x*p for p.
-5
Let y = -7 + 3. Let h be 876/48 + 1/y. Solve 0 = d - a - 4*a + 27, -2*a + h = -4*d for d.
-2
Suppose 4*l = v + 59, -3*l + v + 58 = 3*v. Let c = l - 14. Solve 0 = 3*x, -3*x = c*a - 3*a - 4 for a.
-4
Let m be -2 - -1 - (-3)/((-2)/(-2)). Let w(q) = q**3 - 2*q**2 - q - 2. Let r be w(3). Solve r*k - 4 = m*g - 10, k + 19 = 4*g for g.
5
Suppose 0 = -4*s + 8 - 0. Suppose -d + 6*d - 3*f = 11, 4 = -2*d + 4*f. Solve d*x = 5*r + 2*x - 25, -s*r + x = -10 for r.
5
Let v(o) = -o. Let k(u) = 8*u - 6. Let y(x) = k(x) + 6*v(x). Let j be y(5). Solve -t - 6 = -j*q, 3*q = -5*t - 0*q - 7 for t.
-2
Let k = 3 - 3. Suppose -66 = -3*r + d, k*r - 5*r = 2*d - 99. Solve 3*j = -4*t + r, 0 = -5*j - 2*t - 0*t + 21 for j.
3
Let h = -2 + 4. Suppose 0 = -h*d + 7 - 1. Solve -5*v = -4*c - 26, -3*c - d = -v + 11 for v.
2
Suppose -1 = -2*d + 4*d - x, -11 = -2*d - 3*x. Solve 0 = -5*q - 4*m + 7 + d, -8 = q + 4*m for q.
4
Let c be (-3 + 2)*8/(-2). Solve 5*y - 3*y = 2*z - 12, -c*z + 9 = -y for z.
1
Let n be 69/15 - (-4)/10. Let a be (-36)/(-10) + 15/(-25). Solve 0*w - 3 = 2*w - a*o, 2*w = -n*o + 5 for w.
0
Let f(w) = -1 + 0*w - 4*w + 5*w. Let d be f(6). Solve -3*p - 10 = d*q, p + p + 6 = -4*q for q.
1
Suppose -r + 9 = 5*f, -5*r = 5*f - 4 - 21. Suppose 0*h = -5*h. Suppose 0*c + c = h. Solve -2*x = -b - 3*b - 4, c = r*b + x - 8 for b.
1
Let d(h) = -h**3 + 2*h. Let c be d(2). Let r = c + 4. Solve -4*s - s + 4*j = 20, r = -4*s - j - 16 for s.
-4
Suppose 0 = 5*h - 5*q - 10, h = -2*q + q + 10. Suppose -g = 3*i + h, 1 = -i - 2. Solve -2*a - g + 17 = -2*r, -2*a = -r - 12 for r.
-2
Let z = 189 - 189. Solve z = -p - 0*p + t + 3, p - 7 = 2*t for p.
-1
Let g(b) = 2*b**2 - 2*b. Let t be g(-2). Suppose -t = 5*n - 3*c, -c - 3 = -7. Solve 2*w = -4*o + w - 21, 4*o + 5*w + 25 = n for o.
-5
Let m = 9 - 4. Suppose m*o = -g + 2*g + 19, -4*o + 3*g + 24 = 0. Solve -2 = v + h, -2*v = o*h - 0*h + 7 for v.
1
Suppose 3*a = -6 + 18. Suppose -3*y + 3*q + 21 = 0, -3*y - a*q + 23 = -5*q. Solve 0 = -3*h - 4*c - y, 15 + 13 = 2*h - 4*c for h.
4
Suppose -2*w = 5*g + w + 21, -2*g = -4*w + 24. Let x = 9 + g. Suppose 2*u = t + 24, 5*u + 0*t - 57 = t. Solve 0 = 2*l + 2*r + 2, -x*l - r = l - u for l.
4
Let s(y) = y**3 - 2*y**2 + 2*y - 10. Let x be s(3). Solve 2*w - w = x*u - 14, 3*u = -4*w + 13 for u.
3
Suppose 2*m + 5*b + 16 = 0, -m - 5*b = 6 + 2. Let v = m - -10. Solve 2*j + v*x = 3*x + 9, x - 3 = -4*j for j.
2
Let n = 12 - 9. Let p = 4 + 7. Solve n*d - 4*s = -p, 0*s = d - s + 2 for d.
3
Suppose 4*c + 3*b = 82, 3*c = -4*b + 32 + 26. Let p = c + -19. Solve p*y - 3*n = -4*n - 20, y = n for y.
-5
Let j = -1 - -1. Let k(r) = -r - 9. Let o be k(0). Let z = j - o. Solve 12 = 3*w, -5*h - w - z - 2 = 0 for h.
-3
Let x = -2 + -5. Let q(h) = h**3 + 7*h**2 - 2*h + 5. Let b be q(x). Solve 4*v - 5*u = -2*u + b, 2*v + 8 = -2*u for v.
1
Let y = 54 + -22. Suppose 0 = -2*o + 4*w - 4, -4*o = 2*w - y + 10. Let x be ((-18)/3)/3 + 4. Solve -2*a = -x*n - 2*n - 12, a - 16 = o*n for a.
-4
Suppose -3*b + f = -f + 8, -8 = b - 2*f. Solve -4*w = 5*n - 20, b*w + w - 16 = -4*n for n.
4
Let g be (-13)/(-13)*(-1 - -1). Suppose -11*b + 16*b = g. Solve b = h - 2*v + v + 3, -h - 2*v = 0 for h.
-2
Let o(p) = p**3 + 9*p**2 - 12*p - 14. Let u be o(-10). Suppose c - u = -1. Solve g = 4*d - 6 - c, 4*g - d = -14 for g.
-3
Let y = -8 - -13. Suppose -75 = -c - 2*c. Suppose -c = -3*l + 2*l. Solve y*x - 5*w = 35, 0*w = -3*x + 4*w + l for x.
3
Let s(p) = 6*p - 9. Let a be s(2). Solve o = 5*c - 7, 4*o - 3*c - 3 = a for o.
3
Let j = -5 + 7. Suppose 5*x - 3*g = 18 - j, 1 = 2*x - 3*g. Solve x*f = -5, -2*f - 27 = -5*t - 10 for t.
3
Suppose 3*p - 54 = -30. Solve 18 = -p*d + 4*d + 2*r, 5*r + 25 = -4*d for d.
-5
Let l(w) = -w**3 - w**2 - w + 27. Let j be l(0). Solve 0 = -5*x + 3*r - j, -2*x + 4*x - 2 = -2*r for x.
-3
Let k be ((3 - 3)/2)/2 - -3. Solve 0 = -4*b - 2*g - 8, -7 = k*b + g - 2 for b.
-1
Let s(v) = v**3 + 9*v**2 + 6*v + 5. Let f be s(-8). Solve -m - 3*q + 3 = 3*m, f = 4*m - 3*q for m.
3
Let l be (-2)/((6/9)/1). Let p(f) = -f**3 - 2*f**2 + 3*f + 2. Let i be p(l). Solve -4*k = -i*z - k + 7, 0 = -2*z - 5*k - 33 for z.
-4
Suppose -y = 5*w + 6, -2*w + 14 = y - 7*w. Solve m = -y*v - 21, m - v - 4*v - 15 = 0 for m.
-5
Suppose 5*g - 78 = -3*r, -g + 4*r = 17 - 51. Suppose -g - 12 = -3*k. Solve 0 = -2*u + 2*j + j + k, 2*j - 20 = -4*u for u.
5
Let f(d) = -2*d - 5. Let h be f(-4). Let w = 14 + -14. Solve h*p + 4*i = -6, w = 2*i + 1 + 5 for p.
2
Suppose -c = 19 - 23. Solve -8 = -3*y - y - c*m, 5 = 2*y + m for y.
3
Suppose -2*i + 7 = -5. Solve -o - 3*o - i = 2*r, -12 = o + 4*r for o.
0
Suppose 2*u + 6 = -2*w + w, 5*w - 4*u + 30 = 0. Let f = -1 - w. Solve f*b + 21 = -2*r, 2*r = 4*r - 5*b - 9 for r.
-3
Suppose -5*n = -0*o + 2*o - 26, 1 = 3*o - 2*n. Solve 4*i + o*t + 0*t + 17 = 0, 4*i = -4*t - 20 for i.
-2
Let j(k) = -12*k**3 - k**2 + k - 1. Let w be j(1). Let z be (-3)/(-1 + w/(-10)). Let g = -7 - z. Solve 0 = g*c + 4*a - 35, 4*c = -c + 5*a for c.
5
Let z(j) = j**3 - 3*j**2 - 2*j + 2. Let l(t) = 2*t**2 - 2*t - 1. Let s be l(-1). Let k be z(s). Let p = k - -8. Solve -5*g - 18 = -p*r, g - 2*g + r = 4 for g.
-2
Let h(c) = -2*c - 8. Let t be h(-6). Let b be t/(-4) - (-1 - -2). Let z = b - -4. Solve 15 = -5*a + 5*s, 4*a - z*a + s + 9 = 0 for a.
-4
Let s be ((-2)/(-8))/(1/8). Solve -1 = -5*z - s*o, z + 3*o = -z - 4 for z.
1
Let t = 8 + 3. Suppose -4*y - 3*o = t, y = o + 2*o + 16. Solve -n - 4*b + 18 = -y, b - 9 = 4*n for n.
-1
Let g(v) = -v**3 - 9*v**2 - 7*v + 11. Let f be g(-8). Let k = 7 - f. Solve 0 = 5*c, c + 20 = -k*b - 0*c for b.
-5
Let a = -40 - -43. Solve -3*m - 8 = -a*z - 2*z, -3*m = 4*z - 1 for m.
-1
Let y be ((-10)/(-15))/((-2)/3). Let z = 3 - y. Let g be z/6*(5 - -1). Solve -g*q + 4*l = 4, 0 = -l - 0*l - 3 for q.
-4
Let a be -7 + 1 - (-5 - -2). Let n be 18/(-24) - a/4. Sol