w be x/5 + (-4)/(-5) + -1. Solve 0 = -2*v - w*f - 4, 0 = 7*v - 3*v + 5*f + 8 for v.
-2
Let o(z) = -6*z - 195. Let v be o(-33). Solve 4*s - 20 = 4*h, -1 - 9 = v*s + 2*h for s.
0
Suppose 0 = -4*w - 4*u, -3*w - u = 4*u + 4. Solve -x + 3 = w*t, t - 9 = -t + x for t.
3
Let d = -93 - -101. Suppose 0 = -d*s - 36 + 52. Solve -p = 2*i + 4 - 0, -5*p + 4 = -s*i for p.
0
Let x be 22/88 - (-142)/8. Let i(k) = k**2 + 6*k - 11. Let r(a) = -a**2 + a - 2. Let w be r(3). Let o be i(w). Solve -12 = -o*s + 3*y + 14, x = 4*s - y for s.
4
Let f be (-28)/(-21) - (-10)/6. Suppose -f*y + 8 = -2*y. Suppose -40 = -y*d + 4*d. Solve 0 = -4*k - 2*z - d, -20 = k - z - 2*z for k.
-5
Let v(p) = -p**3 + p**2 + p - 22. Let b be v(0). Let d = -19 - b. Solve 5*k + 8 - 1 = -d*q, -k + 3 = 5*q for q.
1
Let j be (-4 - -2)/4*-4. Let t(l) = 14*l - 235. Let s be t(17). Solve -14 = -2*p - 5*u, -j*p - p + s*u - 21 = 0 for p.
-3
Suppose -6*w = -4*w - 6. Suppose -w*r + 10 = -8. Suppose -n - n = -2*d, 5*n = 2*d + r. Solve 5*l + 1 = -n*t, -4*t - t - 20 = -5*l for l.
1
Let g be (28/(-3))/((-456)/342). Solve 3*q + 22 = 2*o, -2*o + o - g = 3*q for q.
-4
Let u be 10/(-35) - 20/(-105)*12. Solve u*l - 26 = 4*a, -2*a = l + 3*l - 2 for a.
-5
Suppose -15*a - 4 = -16*a, -3*l = -5*a + 8. Solve -l*m = -5*i - 13, -2*m - 3*i + 5*i + 4 = 0 for m.
-3
Let m be (2/(-4))/(4/(-16)). Suppose 0 = -4*r - 0*r - m*f + 18, -r + 6 = f. Let c be (-2)/4 + 10/4. Solve c*b + 2 + 4 = -4*d, -d = r*b - 1 for d.
-2
Let b(s) = 3*s - 16. Suppose -4*i - 3 + 31 = 0. Let u be b(i). Solve 4*m - 5*z - 35 = -2*z, m + u*z = -20 for m.
5
Suppose 16 = -4*r, -19 = -35*y + 30*y + r. Solve -1 = -o, y*o = 5*i - 2*o - 5 for i.
2
Let o = 55 - 2. Let s = -37 + o. Solve -2*h + v + 1 = -3, h + s = 5*v for h.
4
Let q = -150 - -155. Solve -5*u + 20 = q*p, -2*u - 2*u + 5*p + 7 = 0 for u.
3
Let q = -834 - -846. Solve 0 = 3*u + 12, 4*u = w - q - 0 for w.
-4
Suppose 242 = 14*a - 52. Suppose -a*v + 6 = -18*v. Solve 0 = 5*u + 5*j + 35, j = v*u - 0*j + 8 for u.
-5
Let r be -5 + 5 - (5 - 13). Solve 2*q + 5*s = 4, -2*q = 2*q - 4*s - r for q.
2
Suppose -21 = -20*z + 59. Solve -6*o + o + 13 = z*f, 0 = -5*o + 3*f + 34 for o.
5
Let f(r) = 2*r**3 + 58*r**2 + r + 32. Let l be f(-29). Suppose 0 = -l*j + j + 10. Solve 2*b + 3*u = -1, -3*b + j*u + 14 = 44 for b.
-5
Suppose 10 = 20*n - 15*n + 5*v, 2 = n - 5*v. Solve 3*b - n*b - 2*k + 4 = 0, 5*k = -2*b - 8 for b.
-4
Let z be 4/(-6) + (-11)/(-3). Suppose 11*t = 28 - 6. Solve z*y + t*c + 0*c = 19, 5*y - 19 = 3*c for y.
5
Let u be 0 - (-4 - (-39)/9)*-15. Let f be 38 + 5/u + -4. Solve -5*r - 5*c = -5, 2*r = 7*r - 5*c - f for r.
4
Let i be 16/(-6)*3/(-2). Let z(j) = -j**3 - 5*j**2 + 5*j + 2. Let p be z(-6). Solve -2*h - 2*k = k + 21, p = i*h - 4*k for h.
-3
Suppose 4*j + 4*o - 40 = 0, -o = -2*j + j + 16. Solve 0 = -4*s - 2*d - j - 3, -d = s + 6 for s.
-2
Let b = -10 - -16. Let m(v) = -v + 4. Let y be m(0). Suppose 0 = -y*j + j + b. Solve -d - 1 = -j*f, -f + 3*d - 5 = -3*f for f.
1
Suppose g = 5*p - 17, p + 3*p = 4*g + 4. Suppose 53*l + 16 = 57*l. Suppose 0 = u - 2*c + 1 - p, -5*c = l*u - 25. Solve -6*i - 3*x = -3*i + 6, 2 = i + u*x for i.
-3
Let s be 27/(-3) + 2 + -4. Let z = s + 15. Suppose -5*b = -4*b - z*v - 2, 3*v = -5*b + 10. Solve 4*i = b*i - 2*n, -4*i + 4*n = 0 for i.
0
Suppose -12*f - 18 = -18*f. Solve -p - f*l - 5 = -5*p, -4*p + 2*l = -2 for p.
-1
Let h(m) = 3*m**2 - 15*m - 16. Let l be h(6). Solve 3*d - g + 4 = -6*g, l*d + 2*g = -4 for d.
-3
Suppose 0 = -5*j - m + 123, 3*m - 5*m = -6. Suppose 4*i + 7 = -3*f, 2*f = -2*i - i - 4. Solve -4*p - 4*g = j, 7*g - i*g = p - 18 for p.
-2
Let u be -2 - (5 + -2 + -12 + 3). Solve -u*g - 10 - 2 = -4*w, -5*w - 4*g - 3 = 0 for w.
1
Suppose 21*t = 56 + 112. Let r be (-5 - 3/3) + 2. Let k(x) = x + 8. Let m be k(r). Solve -n - 2*n = 4*l - m, -4*n - 4*l = -t for n.
4
Let f(w) = 2*w**2 + 5*w - 27. Let i be f(-6). Solve 3*y = -5*a + 17, 0*a + i = 3*a + 3*y for a.
1
Let t = -141 + 133. Let r(x) = 4*x + 37. Let k be r(t). Suppose 5*s + 35 = 4*m + m, -4*s = 12. Solve 10 = 5*j, k*j - 9 = m*y + 9 for y.
-2
Let g be ((-5)/30)/((-3)/36). Solve -g*d = 3*h - d - 2, 0 = -3*h + 5*d + 8 for h.
1
Let b = 9 - -13. Suppose 0*a - a - p - 8 = 0, 0 = 3*a + 2*p + b. Let r be (-6)/(-1) + a + 4. Solve -q + r*l = -0*l + 23, 2*l - 16 = 2*q for q.
-3
Let z(b) = -2*b**3 - 21*b**2 - 38*b + 2. Let x be z(-2). Solve 2*u - 6 = 2*w, -2*u - x = -26*w + 28*w for u.
-1
Let k(j) = 2*j**2 - 45*j + 46. Let z be k(1). Solve 0 = -z*l - 15, 5*x + 2*l = -2*l - 30 for x.
-2
Let b be (-8)/(-3)*(-10)/(-80)*12. Solve 3 = -z + w, b*z - 1 = z + w for z.
2
Let r(z) = -z**3 + 11*z**2 - 24*z - 33. Let q be r(6). Solve -h = 2*h + 4*d + 9, q*h + 5*d + 12 = 0 for h.
1
Let v be (-2 - (-5 + 4))*(-10 - 6). Solve -3*l = -5*j + 8*j, -3*j = -5*l - v for j.
2
Suppose 0 = 2*r + 4*i - 8, 5*r + 10 = 4*i + 44. Suppose -11*f + 75 = -r*f. Solve -3*b - f = 4*k, -k = -4*k - 4*b - 20 for k.
0
Let w be ((-1)/(-1))/((-2)/10). Let j(m) = -m**2 + 4*m - 3. Let k be j(w). Let y = 71 + k. Solve -3*n = -4*v + n - 28, 0 = -2*v + 5*n - y for v.
-4
Suppose 5*v = -4*w, 3*v - 50 + 13 = 5*w. Solve 3*l = -2*l - v*m - 20, 5*l + 2*m = -10 for l.
0
Let c = 9 + -4. Suppose 2 + 3 = -5*b + c*x, -8 = -b - 2*x. Suppose -7 = -b*i + 15. Solve -z - 5*r = i, -z + 3*r + 7 = 2 for z.
-1
Suppose -4 = -2*a + 20. Suppose 0*i = -3*i - 3*o + a, 1 = i + 4*o. Solve 0*v - 5*v - j - i = 0, 3 = -4*v - j for v.
-2
Let q(i) = i**3 + 18*i**2 - 26*i - 130. Let g be q(-19). Solve -2*s + g*t - 13 = -0*s, -t + 6 = s for s.
1
Suppose 0*c - 8 = -w + 4*c, -5*c = w + 1. Suppose 0 = -2*d + d + 3*d. Solve 2*o = -a - 4*a - 14, d = -2*a - 4*o + w for a.
-4
Suppose -2*x - 2*x - 148 = -4*g, -5*g + 181 = -x. Suppose 0 = -5*q + 5*c, q + 4*c - g = -4*q. Solve -5*l + 14 = -z, q*l - 17 = 2*z - 7*z for l.
3
Suppose -15*o - 20 = -14*o. Let j be 2/(32/o - -2). Solve -2*u + s + j = 0, 3 = s + 2*s for u.
3
Let r be 2*2/3*3 - 0. Suppose j - 2 - r = 0. Solve 0 = 5*t + y - 5, -3*t - 5*y - 13 = j for t.
2
Suppose 4*m + 22 = 5*m + 4*o, 3*m - 16 = -2*o. Let i be (1/3)/((-4)/(-12)). Let t = i + m. Solve -5*r + 5 = -3*d, t*d = 4*d - 4*r + 4 for d.
0
Suppose 18*d - 72 = -0*d. Solve 2*o = v + 13, 4 = d*v + 16 for o.
5
Let f = 43 + -23. Let o be (18/12)/((-9)/48). Let m(k) = k + 12. Let i be m(o). Solve -2*d = 5*a, -4*d - 2*a - f = -i for d.
-5
Suppose 0*j - 4 = 4*j. Let d be (3/(-12))/(j/8). Solve 4 = -5*n + 3*u, 0 = n + 2*n - d*u + 2 for n.
-2
Let b(a) = 6*a + 24. Let i be b(-7). Let k = i - -22. Solve 28 = k*g - 4*x, -3*g - 5 + 14 = x for g.
4
Let l(m) = 3*m - 5. Suppose -1 = -2*x + 5. Let u be l(x). Suppose -2*d = y - 9, d - u*y + 6 + 3 = 0. Solve o + 6 = -2*i, -d*i - 4*o - 2 = 7 for i.
-3
Suppose -20 + 16 = -v. Solve 5*s - v*k = 29, 6*k - k - 10 = -3*s for s.
5
Let y = 21 + -25. Let l be (y - (2 + -7))*7. Solve 0 = 5*i - 5*w - 32 + l, 20 = -3*i - 4*w for i.
0
Let v be (-9)/4*4 - -14. Solve -3*d + v*c + 12 = 0, 0*d - 3*d - 6 = c for d.
-1
Let p(b) = -b**3 + 2*b**2 + 3*b + 2. Let d be p(3). Let i = 1901 + -1899. Solve d*h + 6 = -i*x, -h - h = -4*x - 6 for x.
-2
Suppose 38*t - 34*t = -52. Let h = t + 23. Solve -h = 5*j + k + 4*k, 5 = -2*j - 3*k for j.
-1
Suppose 23*r = -18 + 133. Solve 5*j = -2*x - 3, -j - 3*j + 1 = r*x for x.
1
Let k be ((-288)/128)/(2/40). Let g = k + 47. Solve 0 = -4*j - g*r - 26, 4*r = -4*j - 17 - 15 for j.
-5
Let m(v) = v**3 + 5*v**2 - 14. Let n be m(-3). Solve 0 = b + 3*b + 4*x + 8, -2*b + 26 = -n*x for b.
3
Let f = -173 - -177. Solve -3*l - 26 = 4*b + 2*l, f*b = l - 14 for b.
-4
Let a = -201 - -202. Solve -b - a = 5*c, -3*c + 4 - 2 = -2*b for b.
-1
Let u = 1908 - 1894. Solve -5*c + 7 = 3*r - 13, -c = -3*r + u for c.
1
Let j(c) = -3*c - 11. Let w be j(4). Let a = w + 23. Suppose 12 = 5*l - 3*d - 0*d, a = -4*d - 16. Solve -17 = -4*r - 3*n, r + 13 = 5*n - l*n for r.
2
Suppose -13*s + 7*s + 6 = 0. Let f be -2*(-2)/s + -2. Solve -3*j + 0*j - 3*m - 12 = 0, -2*m = -f*j + 12 for j.
1
Let r = 1512 - 1509. Solve 0 = 2*f - 6, -4*b + 4*f + 13 = r*f for b.
4
Let a be -5*(7 + (-612)/60). Solve -3*x = -m, 0 = 4*m - 4 + a for x.
-1
Suppose 11*y - 420 = -156. Solve 9 - y = -4*z - 3*j, -5*z - 5*j = -20 for z.
3
Let z = 23 - 19. Suppose 5*m = 3*q + q, 3*m = -z*q. Suppose 0*s - 5 = -4*s + 5*j, q = -4*s + 4*j + 8. So