- v*k + 4*k + 8 = 0, -3*k = 3*d + z for d.
-4
Let y = 4 + -1. Suppose 0 = y*t + t - 12. Suppose 11 = t*b - 7. Solve -4*w - 2*i = 10, -5*w - 7 = 2*i + b for w.
-3
Let m(r) = -5*r**2 + 8*r - 18. Let o(v) = -11*v**2 + 17*v - 37. Let l(w) = 13*m(w) - 6*o(w). Let n be l(3). Solve 3*p + n = 0, 0*g - 2*g + 4*p = -2 for g.
-1
Let p = -4 - -25. Suppose -4*v + p - 1 = 0. Solve 4 = -5*y + 2*s, -5*s + 0 = -v*y + 5 for y.
-2
Let i = -783 + 788. Solve -i*l + 3*t - 12 = 0, -5*t + 10 - 21 = 2*l for l.
-3
Suppose -3*q = -5*q + 36. Suppose 3*c = 6 + q. Suppose -5*d = 2*r - 0 - c, -2*r + 3*d + 8 = 0. Solve -2*n - 2*i = 6, r*n + 18 = 3*n - 4*i for n.
2
Let m(x) = 5*x + 23. Let n be m(-4). Solve 3 = -n*s + 3*y, 5*s - y + 1 = -0 for s.
0
Let p(h) = -h. Let j(z) = 2*z**2 + 4*z - 1. Let u(b) = j(b) + 5*p(b). Let s be u(2). Suppose 0 = 2*v - 5*v. Solve 2*a + 6 = o, v = -s*o - 2*a - 20 + 2 for o.
-2
Let j = -42 - -43. Let c be 9 + (-3)/j - 3. Let h = 8 + -2. Solve 0 = -c*y - 3*b - h, -5*b + 2*b = 4*y + 3 for y.
3
Let n = -980 + 983. Solve 2*c = b + 5, c - 6 = n*b + 4*c for b.
-3
Let i = -13 + 11. Let x be ((-55)/(-20))/(i/8). Let p = x + 14. Solve -v - 25 = -p*h + 4*v, -4*v + 2 = 2*h for h.
5
Let q = -502 - -504. Solve 3*p = 3*i, q*i = 4*p + 7 - 1 for i.
-3
Suppose g - 3*g = -12. Let u be 760/30 - 2/g. Suppose -3*x - 2*x + u = 0. Solve -5*c - 2 = -2*f + x*f, 2*c + 12 = -4*f for f.
-4
Let n(a) = a**3 - a**2 + 4*a - 2. Let u be n(2). Solve 6*o - u = 3*o - b, -3*b = 2*o - 2 for o.
4
Let p be (25/10)/((-6)/(-12)). Solve -3*c = 5*y - 14, -p*y - 5*c + 9 + 1 = 0 for y.
4
Let t be (2 + 2)/(0 - -2). Let w be (2/t)/(4/(-64)). Let m = w + 20. Solve r + 5*y = -1, m*r + 3*y + 5 - 1 = 0 for r.
-1
Let d = -432 - -438. Solve d = -2*l, -2*f + 2*l + 17 = 3 for f.
4
Let s be (-5 + 1 + 3)*-29. Let r be s*(-2 + 2 + 1). Solve -r = 3*m + 5*i, 3*i - 4*i = -4*m - 8 for m.
-3
Suppose -41*t + 65*t = 0. Solve 9 + t = 5*f - 4*x, -6 = 2*f - 4*x for f.
5
Let u be 5 + (-3 - -4) - 4. Suppose u*c + 2 - 10 = 0. Let b = -14 + 24. Solve 4 = c*i - 16, 5*r = 3*i + b for r.
5
Suppose 0 = z - t + 3, 2*t = -3*z - 0*z + 11. Let r be (17/(-2) + z)*-2. Solve 5*s = 3*l + 5, l + r = 2*s - 7*s for l.
-5
Let o(n) = 38*n - 110. Let p be o(3). Solve -4*r - 37 = -5*z - 0*r, -5*z + 13 = p*r for z.
5
Suppose 47*q - 18*q - 116 = 0. Solve 3*k = j + q*j - 5, 4*j = 5*k + 4 for k.
0
Let l be (-36)/(-16)*(-28)/(-21). Solve 3*o - 3*n + 3 = 0, 2*n = 4*o - l + 1 for o.
2
Let z(d) = d**2 - 4*d. Let l be z(5). Let r be 220/22*1/2. Solve r*f - 5 = v, -l*f + 3*v = -2*f + 9 for f.
2
Let j = 8 + -4. Solve -t - j = -3*a + 4*a, -4*a - 22 = -2*t for t.
1
Let f = 30 - 15. Suppose 11*i + 16 = f*i. Solve -5*p = -5*q - 30, 0 = -p + 3*p - i*q - 18 for p.
3
Let g(k) = k + 19. Let t be g(-13). Let q be 3/(-18) - (-13)/t. Let u = q + 0. Solve -3*z = x - 0 + 11, u*x - 2*z = 18 for x.
4
Let j = -81 - -56. Let k = j + 27. Solve 13 = k*d + 3*c, 0 = -7*c + 2*c + 5 for d.
5
Let s(r) = -r**2 - 7*r - 4. Suppose -3*j + 4*p + 6 - 1 = 0, -2*p = 4*j + 30. Let w be s(j). Solve 4*y - 5*i + 9 = 0, 0 = 3*y - w*y - 3*i for y.
-1
Suppose 85 = 5*d - o + 6*o, -4*o = -2*d + 34. Suppose 15*m = d*m - 10. Solve 0 = m*q - 5*j + 35, -q - q - 2*j = 2 for q.
-4
Suppose -5*v + 3*u = -2*u + 105, 5*v - 2*u + 120 = 0. Let h = 31 + v. Let l(t) = -t + 12. Let p be l(9). Solve -p*i = -y + 6, -2 = y - h*i + 6*i for y.
0
Suppose 0 = -15*u - 23*u + 152. Solve 4*h + 3 = -o + 1, -4 = -u*h + 2*o for h.
0
Let y = 2966 + -2962. Suppose -u + 0*u = -5. Suppose -5*m = -5*x + 15, 2*m + 2*x = -2*x + 12. Solve u*q - 1 = -z, 0 = -y*q - m*z - z for q.
1
Suppose -44 = -5*y + k - 2, -4*y + k = -33. Solve -3 = -3*o - 3*j, -o - y = -3*j - 2 for o.
-1
Let x(g) = -g**3 - 4*g**2 + 10*g - 10. Let o be x(-6). Solve -5*w - 30 = -5*t, 4*t - 10 = o*t for w.
-1
Let h(i) = -72*i + 290. Let x be h(4). Solve 3*m = -4*w - 8, -m = 4*w - x*m + 24 for w.
-5
Let f(c) = -c**3 + 5*c**2 + c - 2. Let k = -10 - -15. Let l be f(k). Let a = 4 + -4. Solve -l*p - 5*w + 0*w = -17, 4*p - 4*w - 12 = a for p.
4
Suppose -14*r + 343 = 259. Solve j + 7 = -3*n, r = -3*j - n + 1 for j.
-1
Let n(t) = -t + 7. Let x(v) = -3*v - 6. Let f be x(-3). Let y be n(f). Let k(b) = -2*b**3 - 2*b - 1. Let w be k(-1). Solve y*i - o + w = 10, 5 = i + 3*o for i.
2
Let y(h) = -h**2 - 3*h + 5. Let m be y(-4). Suppose 0 = -4*a + 20, -3*a = -4*f - 5 + 6. Solve 0 = k - f*o + 25, 4 + m = o for k.
-5
Let k(r) = -r**2 + 29*r - 165. Let t be k(21). Solve -2*q = 2*c + 8, -2*c + 0*c = t*q + 11 for q.
-3
Let a(y) = -10*y - 55. Let u be 6 + -4 + (-24)/3. Let d be a(u). Solve -c + k - 1 = d, 0 = 2*k - 10 for c.
-1
Suppose 4*n = n - 21. Let j = n + 18. Let z = 15 - 10. Solve f + 2*f = -g + z, 2*g + j = f for g.
-4
Let r be (-10)/2 - 14/(56/(-44)). Solve -q + r = -2*s, s = q + 2 - 5 for s.
-3
Let f be (21/(-35))/((-3)/15). Let b(s) = 3*s - 5. Let a be b(f). Let z be a/5*75/30. Solve 5*w = 3*v + 11, v + z*w - 1 = 10 for v.
3
Suppose 5*c = 5*u + 10, -3 = -2*c - 2*u + 5. Let n(o) = -o - 9. Let g be n(-10). Solve 2*j + 8 = -b, c*b = j + 3 + g for b.
0
Suppose 19*q = 18*q. Suppose 3*u + 3 + 3 = q, 5*l - 5*u = 20. Solve 4 = -l*i, -2*g + i = -4*i - 10 for g.
0
Let d be 0/((-12)/(-6) - -2). Solve 4*n + 2*h = -d*h + 2, 3*n + 4*h = 4 for n.
0
Suppose 0 = 5*g - h - 45, -5*g - 4*h = -31 - 39. Solve -2*d = 3*i + g - 23, -2*i = 2*d - 12 for d.
5
Let v = -828 - -830. Solve o + v = -i, -4 = 4*o + 3*i + 1 for o.
1
Suppose 17 = 3*y - 4*q, 0 = -y - 0*y - q + 1. Suppose 12 = 4*f - 4*a, y*a = -1 + 4. Solve -3*d - f = v, 4*d - 4 + 12 = -4*v for d.
-1
Suppose -27 = 7*h - 55. Solve y - p = -2 + 1, 5*y - 31 = -h*p for y.
3
Suppose -3*n + 28 = -4*w - w, -2*n - 23 = 5*w. Let y be (-4 - (n + -5)) + 4. Solve 21 = y*s - k, -s + 7 = -5*k - 22 for s.
4
Let t(p) = -3*p. Let g be 22 - 4/((-16)/(-12)). Let h = 9 - g. Let n be t(h). Solve 5*b - 13 = -38, 5*z + n = -4*b for z.
-2
Let g be (1 - 18/(-27))*3. Solve l = -5*j - g, 5*j - 1 = -2*l - 11 for j.
0
Let u(o) = -4*o**2 - 2*o - 3. Let j(p) = 5*p**2 + p + 3. Let r(x) = -3*j(x) - 4*u(x). Let f be r(-5). Solve -3*b + 18 = -f*g, 2*g - 3*b = 3 - 17 for g.
-4
Let j = -95 - -96. Let u be j/2*(1 + (0 - 1)). Solve 2*b + 3*y = 11, u = 4*b + 2*y + 10 - 28 for b.
4
Suppose -68 = -9*t + 5*t. Let l = t + -14. Let f(a) = a**2 + a + 20. Let j be f(0). Solve 3*z + 25 = 2*w, j = -z - l*z for w.
5
Suppose 5*i + 5*w - 40 = 0, 0 = 5*i + 2*w - 0*w - 31. Solve -5*u - 10 = 0, 2*u + i + 4 = -g for g.
-5
Suppose 9*k - 4 = 8*k, -5*k - 80 = -5*q. Solve -l + 4*o + 23 = -2*l, 0 = 4*o + q for l.
-3
Suppose -n + 3*n = 6. Suppose -n*l - 34 = -5*l. Suppose 3*v - 4 = -2*a, 5*v - 3*a - 32 = -0*v. Solve 2*z + 16 = 3*u + 6*z, v*u - l = -z for u.
4
Let g(c) = 15*c**3 - 16*c**3 - 2 + 11*c + 5*c**2 - 2*c**2. Let j be g(5). Let z = -4 - -4. Solve -3*p - i + 8 = z, -j*p = 2*i - 0*i - 13 for p.
1
Let x be (0*(-7)/14)/(-2). Solve 4*q - 3*u = x, 4*q - 2*q - 5*u = 0 for q.
0
Let g(q) = 2*q + 16. Let v be g(-8). Suppose -1 = -m + 3*i + 9, 3*i - 14 = -5*m. Solve -m*x = 4*z + 24, v = -0*z + z - x for z.
-3
Let u be (-4 + 3 - 1) + -12. Let r = -12 - u. Let n be (-2 + 1)/(-1 - 0). Solve w = -i + 2 + n, r*i = w + 3 for w.
1
Let v(x) = x + 8. Let z be v(-7). Let j be (14/(-7))/(z + -2). Let c = 1 - -1. Solve -4*s - j*k = -s + 7, -1 = -3*s + c*k for s.
-1
Suppose 2*t - 56 = -2*t. Let r = -21 - t. Let w = r - -38. Solve 0 = 5*o + 3*f + 4 + 2, 0 = w*f + 6 for o.
0
Let m be (4 - 0)*(3 + -2). Let v be (-4)/(1/((-3)/6)). Suppose 0*h - v*h = -8. Solve h*b + 16 = 0, 0*b = m*n + 2*b - 8 for n.
4
Let f = 10 - 12. Let a be -3 + 2 + f - 0. Let g = a + 14. Solve -4*k + g = -2*c + 7*c, -3*k = 3*c - 9 for k.
4
Let v = 166 - 148. Solve -7*b + 12 = -3*b - 4*u, 0 = 2*b - 5*u - v for b.
-1
Let x be (-105 + -3 + 3)*8/(-10). Let l = -83 + x. Solve z - l = 0, 2*g - 3*z = z - 14 for g.
-5
Suppose -6 = 3*c, -3*z + 2*c + 10 = -6. Solve -3*w - u + 3 = -0*u, -5*w + z*u = -22 for w.
2
Suppose 60 = 8*w + 20. Solve -5*h + 3*l + 10 = 0, h - 2*l + 0*l = -w for h.
5
Let v = 59 + -54. Suppose -v*p + 6*s = s - 30, s = -2*p + 3. Solve 4*z = -3*l - 8, l - 19 = -0*z + p*z for z.
-5
Let k = 73 - 71. Suppose 4*c + 12 = -3*x, -5*x = -7*c + k*c + 20. Solve -5*y - 1 = -3*j, j + 3 = 5*y - c*y for y.
1
Let w = -54 - -77. Let x(g) = 3*g**3 - g 