2, z*v - f*j = -4*v + 8 for v.
4
Let n(x) = x**3 - 16*x**2 + 15*x + 3. Let s be n(15). Let m be (-88)/8*(2 - s). Suppose -m = -6*c + 7. Solve 5*t + 2 = 5*v - 3, c*v - 5*t - 7 = 0 for v.
-1
Let i(l) = -l**3 + l**2 + 6*l - 4. Let p be i(4). Let r = 28 + p. Solve -5*y + r*y + 20 = 5*k, -4 = -y + 2*k for y.
4
Suppose -3*f + f - 3*z - 9 = 0, 0 = 3*f + z - 4. Solve -5*m + m = -x - f, 0 = -m + x + 3 for m.
0
Let r = 35 + -30. Suppose -h - b = 0, 0 = -4*h - 2*b + r*b. Solve m = 2*w + 1, h = 2*w - 0*w + 2*m - 14 for w.
2
Suppose -7*v = -10*v + 63. Solve 0*r = -4*r - t - 17, v = -5*r - t for r.
-4
Suppose -10 = -3*h + 2*w, 5*h - w = -12 + 31. Solve 8 = -o - o - 4*g, 0 = 2*g + h for o.
0
Suppose 109 + 39 = 4*p. Suppose -4*z - 3 = p. Let h be (-4)/(-2) + z + 11. Solve -2*g = -h*n - 1, n + g - 8 = 5*n for n.
-3
Let w(s) = s**3 + 18*s**2 - 174*s - 5. Let z be w(7). Solve -15 - 4 = z*o + 3*v, -v = -3*o - 1 for o.
-2
Suppose -5*p + 50 = 5*u, -5*u + 5*p = 9*p - 46. Solve -3*a + 15 = -3*b + u, 3*b - 4*a = -9 for b.
-3
Let k = 13 + -33. Let l = k + 23. Let x be 1*-3*(-50)/30. Solve 11 = -0*f + x*f - 3*q, 2*q - 18 = -l*f for f.
4
Suppose 0*z = 6*z - 24. Let g(c) = 2*c**3 - 5*c**2 + 3. Let y be g(4). Suppose 34 = 5*f - y. Solve 14 = -5*j - 2*a + a, z*j - 5*a + f = 0 for j.
-3
Suppose 2*a + 4 = -4*f, -5*a + 30 - 7 = -f. Solve 16 = -4*d - a*y, d - 4 = 4*y - y for d.
-2
Suppose -i = -0 - 2. Let z(f) = 2*f - 2*f**3 - 3*f**3 - f**i - 3*f + 15 + 4*f**3. Let o be z(0). Solve 2*t + 9 = -h - 2*h, 3*t = 5*h + o for h.
-3
Suppose d = -4*c + 8, 19*c - 14*c = 3*d + 10. Solve i + 6 = -y, -2*y + d = -5*i - 2 for y.
-4
Let v be (10 + 0)/((-6)/45*-5). Let d be 12/((-19 + v)*(-1)/2). Solve -l - 2*r = 5, 0 = -l - 3*l - r - d for l.
-1
Suppose -59 = -2*v - g + 90, 3*v - 211 = g. Let p = 73 - v. Solve 0*m - m + p = -x, -5*m - 11 = -x for m.
-3
Let m be ((-8)/18)/((-64)/288). Solve m*w = -3*s - 10, s = -2*w - 10 + 4 for w.
-2
Suppose -3*b - 4*n + 5*n = -30, -3 = -n. Let x(h) = -10*h + 84. Let t be x(8). Solve t*y - 4 + b = 3*v, 2 = -3*y - v for y.
-1
Let a = -100 + 107. Let i(g) = 6*g**2 + g. Let f be i(1). Solve 2*s = -b + f, 3*s - 4*b - 18 = -a*b for s.
1
Suppose 0 = -d + 5*i - 7, -3*d - 2*i = 1 - 14. Solve -4 = -5*t + 3*j, -t = -0*t - d*j - 8 for t.
-1
Let f be 45/60*(6 - 2). Solve -f*n = 15, -6*n + 7*n = 4*z - 13 for z.
2
Suppose -4*s - 16 = -8*s. Suppose -v + x + s = 2*v, 6 = -2*v + 5*x. Suppose -4*u = -v*u. Solve u = c + t + 5, c + 25 = -0*t - 5*t for c.
0
Let w = 4 + 0. Let c = 37 - 32. Let p be c + (-4)/(-2) - 2. Solve -n = -5*n - 5*u - p, -4*n - w*u = 4 for n.
0
Let d = -136 - -41. Let l = 97 + d. Solve -l*t - 23 = -5*k, -t + 6*t + 29 = 3*k for k.
3
Let q(u) = u**2 + 73*u + 702. Let z be q(-62). Let f = -117 + 201. Let x be f/z*50/15. Solve -3*a = -g, -5*g = -a - 0*a - x for g.
3
Let w = -12 + 19. Let a be (w + -5)/((-6)/21). Let o(i) = -i**3 - 7*i**2 - i + 8. Let q be o(a). Solve u + 23 = -5*k - u, 4*k + 5*u = -q for k.
-5
Suppose 0 = -4*t + 4*u, 5*u - 4 = 4*t - 1. Solve -2*d - 21 = 5*w, -t*w - 29 = 2*w - 2*d for w.
-5
Let o be (-1 - 5)/(10 + -12). Solve q = -3*s + 13, -5*s + 9 = -o*q - 8 for q.
1
Suppose 28*u - 45*u + 68 = 0. Solve -3*y + 3*s = -12, 0 = -y + s + u*s + 16 for y.
1
Let j = 4 + -2. Let y be -1 + 2 + j + -1. Let n = 8154 - 8151. Solve -y*q + 0 = w + 4, n*w = -12 for q.
0
Let b(t) = -t**2 - 3*t - 3. Let y be b(-1). Let l be -1 - y - (-14 - -11). Solve -l = 4*c + h + 18, 2*h + 7 = -c for c.
-5
Let c(k) = -3*k + 1 - 4 + 5*k - 3*k. Let m be c(-6). Suppose -5 = -2*h + h. Solve 4*j + h = m*n, 0 = 5*n - 0*n - 4*j - 3 for n.
-1
Let i(n) = n**3 - n**2 + 2. Let u be i(-2). Let j(p) = -p**2 - 13*p - 21. Let g be j(u). Solve -3*o - 5 = d, -3*o + 4*d - g = d for o.
-2
Suppose -13 = -7*c + 8. Suppose -z + 16 = c*m - 0*z, 0 = -4*m + z + 12. Solve -m*p - x + 16 = 0, -5*x = -2*p - 3*x + 8 for p.
4
Suppose -27 = 2*b + 5. Let p be (8 - 0)/((-32)/b). Let x(y) = y - 2. Let r be x(2). Solve -n + 7 = p*c - r*c, 4*c - 5*n = -11 for c.
1
Let x(v) = 8*v - 13*v + 2 + 22*v**2 + 2*v + v. Let l be x(1). Let n be (-4)/14 + l/77. Solve -7*f + 3 = -2*f + 3*d, -2*d + 2 = n for f.
0
Suppose -3*x - 5*h - 11 = -0*x, 3*h = -3. Let w be 48/18*(-3)/x. Suppose 0*n = -4*n + 12. Solve n*i - 5*l = -9, 7*l = 5*i + w*l - 1 for i.
2
Let u = 1780 + -1780. Solve 4*i - n + 13 = 0, i - 2*n + n + 1 = u for i.
-4
Let d(q) = q**2 - 2*q + 2. Let i be d(2). Let o = 62 - 57. Suppose -38 = -2*l + 18. Solve -k + 4*w = -0*k - 20, -o*w = -i*k + l for k.
4
Suppose -13 = -13*f + 13. Solve f*u - 3*c + 2 = c, 2*u - c - 4 = 0 for u.
3
Let y be 392/48 - 8/48. Solve -5*a + 4*i + y + 20 = 0, 0 = 5*a - 5*i - 30 for a.
4
Suppose 6 + 14 = 4*l. Solve 4*c + 6 = 6*c, 4*c = l*s + 2 for s.
2
Suppose -5*n + 5 - 1 = -j, -3*n + 12 = j. Let c(o) = -o**2 - 7*o + 104. Let u be c(7). Solve -3*s - 5*l - j = 0, 0 = 2*l - 0 + u for s.
3
Let w = 581 + -551. Let g be 32/18 + 2/9. Solve -f = -x - 5*f - 15, 4*f + w = g*x for x.
5
Suppose -3*j - 1 = 29. Let h = 13 + j. Let k be ((-3)/12)/((-1)/12). Solve h*b + 21 - 3 = k*q, -5*b = q for q.
5
Let a be (15/(-30))/(2/(-48)). Solve 4*y - 3*c = -a, 5 - 20 = 5*y + 4*c for y.
-3
Let i(d) = -d**2 - 14*d - 11. Let a = 65 - 78. Let n be i(a). Solve -4*q + 14 = -n*m, -2*m = 4*q + 3*m + 21 for q.
1
Let l = 2702 - 2699. Let o(z) = -z**2 + 6*z - 5. Let h be (-3)/9 - 26/(-6). Let u be o(h). Solve 15 = -n - u*k, -k - 5 = l*n - 0*k for n.
0
Let t(o) = o**2 + 53*o + 364. Let l be t(-45). Solve -3*x + 7*y - 1 = 3*y, -l*y + 21 = x for x.
5
Let k be (3*(-3)/15)/(32/(-480)). Solve 4 = -2*p - 2*f, k*f + 10 = -2*p + 4*f for p.
0
Let k = 19 + -14. Suppose -2*j - 26 = 3*h, j - 4*h = -2*j - k. Let i = j - -11. Solve 0*x + i*d + 12 = -3*x, -5*x - 2*d - 20 = 0 for x.
-4
Suppose -7*d = 3869 - 3883. Solve 2*h - 3*g = 7, d = 2*h - g + 1 for h.
-1
Let k be (-5 + 3)*(-3)/2. Suppose 5*u - 4*p = 99, 0 = -4*u - 0*p - p + 75. Solve b + b = -5*a - u, -3*b - k = -a for a.
-3
Let b be (-11)/5 + 2 - (-124)/20. Let m = 4 - 2. Let x be 0 + b*1/m. Solve -5 + x = y + p, 0 = 4*y + 3*p + 11 for y.
-5
Let f(s) = 2*s + 17. Let z be f(-7). Solve -y = -d + y + 3, -3*y - 12 = -z*d for d.
5
Let u be (-11)/(44/12) - -5. Solve w + u*w = -3*v - 12, -5*w - 11 = -4*v for w.
-3
Suppose 11*l + 36 = 91. Solve 7*d - 10*d + 5*r = -24, -l*r = 4*d + 3 for d.
3
Suppose 3*x = 2*x + 6. Suppose -16 = -2*h - x. Suppose 36*l - 30 = 6*l. Solve 2*r - l = r + h*q, 0 = -4*q for r.
1
Let p(r) = -r**3 + 8*r**2 - r + 16. Let z be p(8). Solve 4*k + a = 13, 5*a + z = 3*k + 4 for k.
3
Suppose -4*x = -4*h + 24, -4 = -3*h + 4*x + 17. Solve -2*k = 4*d - 2, -5*k - h + 16 = 2*d for k.
3
Suppose -55 = 18*s - 29*s. Solve -s*b = 4*u - 26, -5*b + 2*u + 2 = -0*u for b.
2
Let g = 120 - 180. Let v be 258*(0 + 3/9). Let l = v + g. Solve -2*t = 5*n - l, -5*n + 0*n + 35 = 5*t for n.
4
Let k be (2 + (9/(-1))/3)*-5. Solve -3*d - k*z + 10 = 0, -3*z + 4 = -4*d - z for d.
0
Let i = 80 - 62. Let b(d) = -2*d**3 + 35*d**2 + 19*d - 18. Let v be b(i). Solve v*u + u = -5*p - 2, p + 2 = -u for u.
-2
Suppose -4*p + 27 = 5*k - 4*k, -5*k = -4*p + 9. Suppose p*o - 7*o = -7. Suppose -o = -r - 3. Solve -r*v + 8 = 4*c, -8*c + 10 = -4*v - 3*c for v.
0
Suppose -y - 4*i - 11 = 0, -2 - 5 = 2*y + 5*i. Solve 4*r - 7 = -3*o, -4*r = 6*o - o - y for r.
1
Let s be 5 - 1*0/(-2). Let q = s + -2. Suppose 571 - 539 = 8*n. Solve -p - 5*r = q*p - n, -2*p + 5*r + 2 = 0 for p.
1
Let f be 4/(12/9)*(5 + -4). Solve 0 = -4*b - b - f*y + 15, 5*y - 25 = 3*b for b.
0
Suppose -1 = -l + 5. Let q(r) = 2*r - 8. Let u be q(l). Suppose 0 = 3*i - 5*x, -2*x + u*x - 26 = -4*i. Solve -3*h + 4 = -2*h, 0 = -4*w - i*h for w.
-5
Suppose -2*y - 5*d - 23 = -0*d, -135 = 5*y - 3*d. Let x = 31 + y. Solve p = 4*u - 17, 3*p - x*p = -u + 23 for u.
3
Suppose -20 = -4*w - w. Suppose -36 = -w*j + 4*q, -11 = -4*j + 2*q + 15. Solve 4*t + 17 = 3*c, j*t - 2*t = 2*c - 10 for c.
3
Let n(c) = 132*c + 411. Let u be n(-3). Suppose 5*g - 35 = -10. Solve p + 4*k = 5*p + 32, -g*k = -u for p.
-5
Let c = -182 + 189. Solve -2*u = k + 5, 2*k = -5*u + c*k - 5 for u.
-2
Let x be 4*2/(-4) + 4. Suppose 15 = -4*d + 5*b, -13 + 16 = d + b. Solve w = -d*s + 4*s + 12, 2*w = x*s for s.
-4
Let g(w) = -5*w + 5. Let i be g(1). Suppose 6*s - 9*s + 6 = i. Solve s*z = 3*d - 16, 5*d + 7 = 6*d