 u = r*o - u - 16, 4*o - 10 = w*u for o.
4
Suppose -v + 4*p - 9 = 0, -2*v + 6*p = 3*p + 18. Let g = v - -13. Solve -3 = -g*t + 5*l, 5*l + 3 - 10 = -t for t.
2
Let d be 5/(15/(-6)) - -2. Let s be 0/(2 + d + -3). Let l(a) = -a**3 - 5*a**2 + 6*a + 6. Let k be l(-6). Solve 2*r + 2*r - 2*x = -k, -5*r + 4*x = s for r.
-4
Let x be 0/(2 + -2 + -3). Let a be 4/1 - 3/(-3). Solve -3*q - a*j = x, -4*q - 6*j - 8 = -2*j for q.
-5
Let p be ((-8)/3)/(10/(-15)). Suppose -t = -5 - p. Solve 4*c - 2*c + 3*f - 7 = 0, -f = -c - t for c.
-4
Let s = 15 - 11. Suppose 5*u = p + s*u - 1, -2*u = 2*p - 14. Let o(m) = -m**2 + 5*m - 1. Let j be o(p). Solve 4*h - 10 - 18 = 4*v, -v - h = -j for v.
-2
Suppose -2*r = -4*p - 6, 2*r - 7*r - 3*p + 28 = 0. Solve 4*v - j + 0 - r = 0, -4*v - 2*j + 2 = 0 for v.
1
Let m be (-56)/(-8) + 3/(-1). Let k(r) = -r**3 + 3*r**2 + 6*r - 6. Let t be k(m). Solve -3*j = -0*x - 3*x, -4*x + 12 = t*j for j.
2
Let w(b) = -b**3 - b**2 + b. Let u be w(0). Solve 3*n + 2*d - d - 16 = u, -3*d = -2*n + 7 for n.
5
Let k(q) = q**2 + 8*q - 6. Let v be (63/28)/(1/(-4)). Let l be k(v). Solve -3*g + 4 = -l*z + 5*z, 5*z - 31 = 3*g for g.
-2
Suppose 0*t = t + 5. Let i = 0 - t. Solve 18 = v - 4*j + 6, -i*v = -j - 3 for v.
0
Suppose 0 = -5*m + 2*y - 1 - 3, -3*m + 8 = 4*y. Solve -4*n = 2*t + 14, -t - 4*t + 3*n + 4 = m for t.
-1
Let v be ((-5 - 3) + 4)*6/(-8). Solve -v*w + 3*s = 6, 6*w - w + 5*s = 10 for w.
0
Suppose -f - 5 = -13. Solve -2*p - f = 0, 3*s + 4*p = 3 - 7 for s.
4
Let b = 6 + -3. Let w = 4 - b. Solve 2*l - t + w = -4, -5*t + 10 = -5*l for l.
-3
Suppose 5*c - 13 - 69 = a, 4*a - c = -309. Let k be a/(-14) + (-3)/2. Solve u = k*v + 16, -v + 3*u = v + 18 for v.
-3
Let i be 1*2/4*2. Let c(s) = 4*s**2 - s. Let y be c(i). Let u be 2 + -2 + (0 - -1). Solve -2*d + y*t + u = 0, -t + 8 = d - 0*t for d.
5
Let t = -17 + 14. Let b be (6/t - -2)*1. Solve 13 = 2*w - 5*w - h, b = -4*h + 8 for w.
-5
Suppose 5*o - 56 - 26 = -3*z, -z - 3*o + 34 = 0. Solve 2*g + 14 = 4*h, -g - z = 3*g + h for g.
-5
Let p be (-56)/(-10) - (-4)/10. Let l(j) = -j**2 + 9*j - 1. Let x be l(p). Solve m - 4*s + x = 0, -4*m - 2*s + 22 = -0 for m.
3
Let m be (4/(-1))/((-13)/13). Solve 1 = w - c, 3*w + m*c = w - 16 for w.
-2
Let p = -410 + 582. Let a be (-2)/(-11) - p/(-22). Solve 3*l = -x - 0*x - 8, 0 = 4*l + 2*x + a for l.
-4
Suppose 3*q = q + 4. Let c = 11 + -8. Suppose -c*t + 4*b = -8, t + 2 = -q*t - b. Solve 5*g - 2*a + 0 - 15 = t, -15 = -5*g + 3*a for g.
3
Let j(t) = t + 1. Let n be j(2). Suppose -b = n*b - 16. Solve -b*y = 2*i + 3*i - 3, -i = -2*y - 9 for y.
-3
Let i(n) = -n**3 + 6*n**2 - 3. Let m be i(5). Suppose 4*y = 7*y - 9. Solve 4*x = -5*z - 4, -m = -y*x + z - 6 for x.
4
Let o(g) = -g**3 - 9*g**2 - 13*g + 5. Let y be o(-6). Let c = -23 - y. Solve 0*i - c*x = 5*i - 21, 5*x - 24 = -3*i for i.
3
Let p(d) = -3*d + 6. Let o be p(-3). Solve z - 2*i + o = 0, 3*z + 9 = -i - 1 for z.
-5
Let u(s) = -s**2 + 10. Let c be u(0). Solve g + c = 3*x - 6, 3*x = -2*g + 4 for g.
-4
Let t(k) = k + 10. Let h = -39 + 95. Suppose -5*f - v - 2*v = h, 4*f = 5*v - 30. Let n be t(f). Solve -i + s - 5 + n = 0, -9 = i - 2*s for i.
-1
Let s = -59 - -41. Let f be 1/(-4) - s/8. Solve n - 4 = -2*i, -5*i + f*n = 7*n for i.
4
Let f = 18 + -10. Let c = f + -6. Let t(d) = 6*d - 1. Let p be t(c). Solve 3*n + 3 = 4*b, -p = -2*b + 4*b + n for b.
-3
Let j be 5/15 + 2/(-6). Let p = j - -2. Suppose -2*h - 31 = -p*l + h, 4*l - 54 = -2*h. Solve o - 4*o = z + l, -2*z + 4*o + 2 = 0 for z.
-5
Let p(d) = d**3 - 3*d + 1. Let j be p(2). Suppose -s = -j*l + 2*l, -4*s + 3*l + 5 = 0. Solve -s*m + 5 = -3*k + 15, 3*m + 2*k = -25 for m.
-5
Let v be (38/10 - 3)/((-2)/(-5)). Solve 10 = 5*a, 1 = v*r - 5*a + 13 for r.
-1
Suppose 2*t + 10 = 0, -4*j + 170 = j - 5*t. Solve 2*i + 8 - j = 5*f, i + 2*f = -3 for i.
3
Suppose 0*s - 2*k = 4*s - 4, 2*s - k = -6. Let p be s + 2/(-1) + 3. Solve 3*x - 2*r + 13 = p, 4*x - 4*r = -0*x - 16 for x.
-5
Suppose -5*c + 10 = -0*c. Suppose 0 = c*t - 6, d + 0*d - 40 = -3*t. Let r = 5 - 1. Solve 3*y = -5*a + d, a - 7 = 3*y - r*y for y.
2
Let c(w) = w**2 + w - 1. Let f be c(2). Suppose -f*d + 5*z + 25 = 0, 3*d + z + 5 = 2*d. Solve 2*r + d + 6 = 0, 0 = -3*o - 4*r - 15 for o.
-1
Suppose -n - 6 = -4*n. Suppose 16 = -b - 4*m, 4*m + 22 - 6 = 4*b. Solve -w + n*k + 1 = b, -3*k - k + 4 = 0 for w.
3
Suppose 0 = -5*h + 2*n + 99, -5*h + 42 + 47 = 3*n. Suppose h - 143 = -4*q. Solve -2*s - 2*s + 5*j = -1, -q = -4*s - 5*j for s.
4
Let c be 1/((-2)/3)*20/(-10). Suppose 6*n + 5*x - 37 = 2*n, 10 = -5*n + 5*x. Solve -s - 2 = -c*v, -s - 2 = 2*v + n*v for s.
-2
Let d be 248/5 + 2/5. Suppose -h = -c - 10, -3*h - 2*h + 2*c = -d. Solve 5*n + 12 = -s, -s - h = 4*n - 0*s for n.
-2
Let n = 3 - 5. Suppose 2 = 2*c - 3*c. Let f be (-6)/(n/c + -2). Solve p + 3*a = -0*p - f, -3*p + 5*a = -10 for p.
0
Let y(v) = 11*v - 21. Let c(h) = -17*h + 32. Let b(m) = 5*c(m) + 8*y(m). Let i be b(4). Solve 3*u - 5*g = 10, 4*u + i = -g + 2 for u.
0
Let f(t) = t**2 + 12*t - 28. Let u be f(-14). Solve u = 5*p + s + 16, 0*p + 5*s - 8 = -3*p for p.
-4
Let k be (2 + 1 + -7)*2. Let l = k - -8. Suppose -5*m + l*m + 150 = 0. Solve 5*t - 3*p + 5*p = 5, 0 = -5*t + 5*p - m for t.
-1
Let p = 9 + 0. Solve -4*b - 2*n = b + p, -2*n = b + 5 for b.
-1
Suppose -4*u + 5*y - 4 = 0, 0 = -3*u - y + 3*y + 4. Solve -3*t = -5*t + 3*q - u, -5*t - 10 = 4*q for t.
-2
Suppose -4*k + 5*i - 25 = 0, -i - 4*i = -25. Let h be ((-2)/(-8) + (-3)/4)*0. Solve k = j + 5*x - 18, -5*x + h = -5*j - 30 for j.
-2
Let n be (-18)/(-5) + (32/(-20) - -2). Solve 3*w - 3 = -w + 3*x, -5*x + 3 = -n*w for w.
3
Let z = -29 - -35. Solve -5*v - 15 = 5*k, z = 2*v - 3*k - 3 for v.
0
Suppose 4*s = -2*w + 5*w - 60, -w + 75 = -5*s. Let y = -9 - s. Suppose -y = -2*l + 4. Solve 2*a = -l*k - a + 20, 4*k - 2*a = 16 for k.
4
Suppose 4*c - 26 = -3*f, 23 = 4*f - 0*c + 3*c. Suppose 14 = b + 19. Let o(i) = 2*i**2 + 8*i + 5. Let m be o(b). Solve 5*k + 40 = -d - 2*d, -k - f*d = m for k.
-5
Let x(z) = -z**2 + 6*z - 5. Let y be (2/(-4))/((-4)/40). Let r be x(y). Suppose r = 3*n - 8*n + 120. Solve -2*o = 4*c + n, 3*o + 42 - 18 = -3*c for o.
-4
Let b(s) = s**3 - 3*s**2. Let a be b(2). Let g be 3*-3*a/18. Let w be ((-25)/(-10))/(1/g). Solve -7 = -3*f + 5*m - m, 4*m + 17 = w*f for f.
5
Let s = 53 - 53. Solve -19 = 5*r - i, s = 5*r + i + i + 22 for r.
-4
Let q = 4 + -1. Let w be 0/(1 - (q + 0)). Solve -3*a + 4 = c, 4*a + 4*c - 3 - 5 = w for a.
1
Suppose 5*g = 3*u - 2, -4*u - 9*g + 26 = -4*g. Let i be 2 + u/(1 - 3). Solve -3*c - 2*c = -5*l, i = -2*c + 4*l + 10 for c.
-5
Let z(l) = -2*l - 1. Let j be z(5). Let p = j + 13. Solve -8 = 5*t - 4*m + 8, -4*t - p*m - 18 = 0 for t.
-4
Suppose 0 = -2*k - 1 - 3. Let a be 6/(((-3)/k)/1). Let v be (-1)/(0 + -1) - 1. Solve a = -2*m + 3*h, 3*m - 4*h - 1 + 7 = v for m.
-2
Let z be (2/(-5))/((-2)/30). Solve -2*x - 3*d + z*d = 17, -2*x = -2*d + 12 for x.
-1
Suppose -3*j + 24 = -3*g, -g - 4 = -1. Suppose -j*z + 7 = -3. Solve 5*w + 3 = -b, z*w = 5*w + 2*b - 1 for w.
-1
Let w(s) = -7*s**3 - s**2 - s - 1. Let m be w(-1). Let h be (m - 0)/((-6)/(-4)). Solve 5*x - h*x + 4 = -5*a, 0 = 2*x + 2*a for x.
1
Let j(a) = a**3 - 5*a**2 - 9*a + 4. Let v be j(7). Suppose -5*q + v = 9. Solve 5*g = -h - 12, 5*g + q*h - h = 0 for g.
-3
Let z(v) = -v + 7. Let q be z(5). Solve -5*o + 2*o - 15 = 3*m, 5*o - q*m + 25 = 0 for o.
-5
Suppose 5*x - 29 = -4. Let l be x*(3 + 0 + -2). Suppose 0 = -4*m + 16 - 4, 5*m + 5 = 4*u. Solve p = -u*v + 8, 4*p - l*p + 3 = 0 for v.
1
Let y(r) = -2*r**2 + 17*r - 4. Let w be y(8). Solve -9 = -f - w*g + 8, f + 15 = 4*g for f.
1
Let y = -9 - -10. Let c be -1 - -1*(y + 2). Solve -z + r + 6 = 2, 10 = -c*r for z.
-1
Suppose -5*d + 4*x + 38 = 0, -7*x + 2*x = -5*d + 35. Solve -4*q - 5*t - 4 - d = 0, -t = 3*q + 5 for q.
-1
Let h = 3 + 0. Suppose h*y + 0 = 6. Suppose -2*a = y*a - 8. Solve -2*z - a = -8*m + 4*m, m + 5*z = -27 for m.
-2
Let j(x) = x + 17. Let h be j(-14). Let k be (0/1)/1 - -4. Let i be k/24 - (-1)/(-6). Solve i = -0*g - h*g + d + 7, 4*g - 12 = 2*d for g.
1
Let c(b) = 5*b. Let f(p) = p + 5. Let t be f(-4). Let s be c(t). Suppose k - 6 = -1. Solve 2*n - 13 = 3*g + 4*n, s = k*n for g.
-5
Let k = 10 - 6. Let v(c) = -2*c + 4. Let h be v(k). Let i be 2*(-2)/4*h. Solve 0 = 4*w - i*q + 3*q + 22, 15 = -w + 5*q 