-2*v - 32, 5*o = -3*v + 13 - 46. Let q = o - -6. Solve q = -2*m + 3*u + 13, -3*u - 17 = -4*m - 0*u for m.
2
Let h(i) = -i**2 + i + 47. Let k be ((-4)/(-2) - 2)/(-1). Let c be h(k). Suppose 0 = 4*d - 13 - c. Solve 0 = 3*f + 4*t - t + 27, d = f - 5*t for f.
-5
Let s = 31 - 19. Solve -4*n + 2*y - s = 0, 0*n + 2*n = -2*y for n.
-2
Suppose 19 = 2*q + 9. Solve m - q = -5*g, 2*m - 25 = -3*m + 3*g for m.
5
Suppose -7 = 5*h + 23. Let w = 10 + h. Suppose -w*t - 3*n + 16 = 0, 0*t = -t - 2*n + 4. Solve 2*j = -t, 3*z - 2*j - 15 = j for z.
3
Let u = 66 - 62. Let o = 19 - 11. Suppose c - o = -3. Solve p = -p - u*i, 3*i = -c*p for p.
0
Suppose -2 = 4*r + 6. Let y(m) = 2*m + 1. Let x(v) = 2*v + 1. Let h(u) = -4*x(u) + 3*y(u). Let b be h(r). Solve 30 = -b*s - 3*o, -s + 6*o - 3*o + 10 = 0 for s.
-5
Let x be 3 + 4 + -1 - 2. Suppose -x - 6 = -2*g. Solve 4*w - 25 = 3*a - 4, -a - g*w = -12 for a.
-3
Suppose 104 = 3*j - 160. Suppose 5*l - j = l. Solve -a = 2*a + 2*t + l, 0 = -a - 3*t - 19 for a.
-4
Let o be -3*1/((-3 + 2)*1). Suppose 3*t - 5 = n + 3, -24 = -4*t + 4*n. Solve v + o*v + h - t = 0, -4 = -4*h for v.
0
Let k(h) = h**2 + 3*h - 2. Let t be k(-4). Solve l = 4*l + w - 11, 3*l - 5 = t*w for l.
3
Let r = -28 + 17. Let y(z) = -z**2 - 11*z + 3. Let f be y(r). Solve 5*o - 5*a - 10 = 0, -3*o - 5*a + f = 13 for o.
0
Suppose -4*r - 2*x = 0, -r + 5*x + 15 = 4*r. Let q be (r + 0)*(4 - 1). Solve -3*k = -n - 5*k - 5, q*k - 3 = 2*n for n.
-3
Let o = -37 - -68. Suppose -5*x + 19 + o = 0. Let i be (-4)/(-10) - (-86)/x. Solve 5*b = -4*g + 1 + 16, i = 2*g + 3*b for g.
3
Let w(u) = -13*u. Let r be w(-1). Let f = r - 10. Solve -5*v - n = 2, 0*v - f*v = n for v.
-1
Let p = -18 + 20. Solve 3*n = p*i - 17, 8 = 5*i + 5*n - n for i.
4
Let f = -40 - -84. Suppose 4*x = -4, 5*x - f - 3 = -4*u. Solve -g = 4*c - u, 3*c - 2*g = 3*g - 19 for c.
2
Let u(o) = o**2 + 1. Let c be u(-2). Solve -20 = -c*m - 4*t, -4*m - t = -2*t + 5 for m.
0
Let q = 4 - 2. Suppose -5 = -3*g + q*g. Solve -g*k = -10 - 5, 2*k = -u + 9 for u.
3
Let y be (-5)/(-5)*(-4)/(-2). Let a be (y/6)/(1/75). Solve -5*p = 4*d + a, -6*p + p - 20 = 3*d for p.
-1
Let s = 4 - 3. Let g be (-3)/(18/4 + -3). Let r be (s - g)*(0 - -1). Solve r*h - 2*u = -0*h - 20, 3*h = -u - 8 for h.
-4
Let o(l) = -l - 3. Let a be o(4). Let y(f) = 2*f + 8. Let b be y(a). Let q(r) = -r - 3. Let v be q(b). Solve 0 = 3*w + 2*m + 1, m = -v - 2 for w.
3
Let p = 51 + -48. Solve -p*a - 7 = -j, 0 = -3*j + a + a for j.
-2
Let k = -193 - -221. Solve 4*h - 21 = -m, 3*m + h - k = -4*h for m.
1
Let a be (-10)/3*(-30)/25. Suppose 4*y - 66 = -u, -3*u + 62 = 4*y - a*u. Solve -4*q - 5*d = y, -4*q + 4*d - 3*d - 16 = 0 for q.
-4
Suppose 2*y - 2*f - 4 = 3*f, 3*f = y - 2. Solve -5*z = 10, -w + y*w = 3*z + 10 for w.
4
Let n be 1*2/(-8)*0. Let v(w) = 4*w + 4. Let f be v(-6). Let b be (-36)/30*f/6. Solve a + a - 2*k - 6 = n, b*a + k = -8 for a.
-1
Let k(x) = -x**3 - 9*x**2 + x + 14. Let c be k(-9). Solve -4*i - c*y + 16 = 0, -3*y + 5 = 3*i - 4 for i.
-1
Suppose 6 = b - 19. Suppose -2*u + 5*a = 8 + 6, 18 = 2*u + 3*a. Solve 5*z + g - 3*g = b, 0 = -4*z + u*g + 27 for z.
3
Let v(i) = i**2 - 13*i + 14. Let n be v(12). Solve -3*w - n*x + 9 = -16, -4*x + 40 = 4*w for w.
5
Let z(m) = -m**2 - 7*m - 6. Let w be z(-5). Solve 2*x - 5*g = 1, 1 + 5 = -w*x + 2*g for x.
-2
Suppose 4*s + 3*y + 2 = -30, 0 = -5*s - 5*y - 40. Let g(w) = w**3 - 6*w**2 - 4*w - 9. Let h be g(7). Let n = s + h. Solve -5*a + r = -7, a - r - n = -a for a.
1
Let q be (-4)/(-6)*(5 - -1). Suppose -100 = i - 5*i + q*l, -5*i + 4*l = -121. Solve 4*x + 20 = 0, -2*a + a - i = 4*x for a.
-1
Let w(n) = 5*n + 2. Let r be w(0). Solve 16 = -z - 3*d, 4*d = r*z - 2 - 6 for z.
-4
Let p = 3 - 3. Let q(l) = l + 16. Let w be q(p). Suppose -4*j + 24 = 3*z - j, 0 = -4*j + w. Solve 0 = 4*c - h - 11, 3*c + z = -2*h + 26 for c.
4
Let m be (0 - 1)*(-63)/9. Solve -4*i + g + 16 = 0, i - 12 = 4*g + m for i.
3
Let o be (-3)/(22/28 - 1). Let j be 3/(-9)*-9 + 3. Suppose -3*f = -j - 0. Solve -o = 4*c - 2*p, 5*p = -f*c + c - 20 for c.
-5
Suppose 17 = v + i - 1, 2*i + 69 = 5*v. Solve 5*o = 10, u - 6*o = -o - v for u.
-5
Let z(n) = 6*n - 3 + 9*n + 0. Let v be z(2). Suppose 4*r - 2*u - 14 = 12, 44 = 4*r + 4*u. Solve 0 = 2*x - r, 3*s + 2*s - v = -3*x for s.
3
Let k be -27*(-2 - 5/(-3)). Suppose 4*l - k = 3. Solve 4*s = -3*c - 3, 0 = 5*c - l*s + 2 - 26 for c.
3
Let s(p) = -6*p - 2. Let k be s(-2). Solve -2*q + 0 = -k, -5*f - 5 = -2*q for f.
1
Let r = 19 + -9. Suppose -3*k + r = -5*m, -34 = -3*k - 2*k + 4*m. Let t = k + -6. Solve 0 = c - u + 4, -4*c - 5 = -c + t*u for c.
-3
Let s = -43 - -47. Solve 9 = -5*d + t, 3*d - d + s*t + 8 = 0 for d.
-2
Let n = 15 + -10. Let b = 1 - 4. Let d = n + b. Solve 5*x + 2*j + 11 = -8, -d*j - 7 = x for x.
-3
Suppose 3*o - 12 = -o. Let j = -11 + 11. Suppose j = -3*n + 2*n + 4. Solve -o = i - 3*p - n, 0 = 3*p + 3 for i.
-2
Let u be (-208)/(-40) + 2/(-10). Let p(o) = o**2 - 7*o - 8. Let j be p(8). Solve -4*r + 5*t + 31 = j, r + 0*r + u*t + 11 = 0 for r.
4
Let y(z) = 2 - z + 0*z + 1. Let r be y(0). Let p = -2 - -10. Solve -2*g + 3*g - 5*x + p = 0, 4 = -g + r*x for g.
2
Suppose -2*l - 10 = -3*z, 2*l + 3*l = -4*z - 2. Solve 0 = 2*n + 4*q, 2*n - 4*n - z = 5*q for n.
4
Suppose -4*c = 3*o - 33, -3*c = o - 1 - 10. Let w(i) = -24*i**3 - 2*i - 1. Let m be w(-1). Let l = m - o. Solve -k - 4*f = -4, k = 4*k - f + l for k.
-4
Let x = -7 - -9. Solve 3*d + 2*o + 2 = x*d, d - 4*o - 10 = 0 for d.
2
Suppose 10 = 4*a + 2. Let v = 12 + a. Solve 0 = 3*r - 8*r - 4*i + 35, i = -3*r + v for r.
3
Let z(o) = -o + 1. Let b be z(-2). Solve -j + 24 = -5*x, -b*j - 4 = -4*x - 8*j for x.
-4
Suppose -5*o + 66 + 109 = 0. Solve -o = 3*b - 5*d, -4*b - 5*d + 5 = -b for b.
-5
Let i = 174 + -169. Let y = 3 + 1. Solve 2*d + 3 = -5*u + 11, -y*d = -i*u + 14 for u.
2
Let d(y) = 1 + 8 - 3*y + 2*y. Let t be d(7). Let w = -8 + 24. Solve -4*u + 22 = -t*b, 3*u - 5*b - w - 4 = 0 for u.
5
Let p(x) = -x**2 - 4*x + 5. Let l = -4 + 4. Suppose 5 = -l*d - d. Let h be p(d). Solve 2*z + 2 + h = 3*b, 5*z = 4*b - 12 for b.
-2
Let w(f) = f**3 - 5*f**2 + 3*f - 3. Let y be w(5). Let k be ((-4)/y)/((-2)/18). Let z(c) = c + 9. Let v be z(-7). Solve v = l + p, -k*l + p - 19 = -p for l.
-3
Let o = -147 - -155. Suppose 0*r - 4*r = -16. Let g be r*(-3 + 1 - -3). Solve -y + 4*c + o = c, -4*y - g = -3*c for y.
-4
Let n(t) = -3*t**2 - 17*t - 8. Let z be n(-5). Suppose 0*v = -5*v + 30. Solve z*c - v - 17 = -5*w, 2*w = -5*c + 26 for w.
3
Let s = 24 + -21. Suppose s*q = q + 26. Solve -4*m - q = -5*p, 0*m - 3*m = -4*p + 11 for m.
3
Let j be 5 + (-2 + 6)*1. Let a = -4 + j. Suppose 5*h - 12 = -2*y, -h + 4*h - 5 = y. Solve -u + 7 = -a*s, -u = -3*u + 2*s - h for u.
-3
Let x(t) = -t - 4. Let s be x(-3). Let h = 8 + s. Solve 5*z + 5*r = -35, z + h = -4*r - 6 for z.
-5
Let v = 42 - 7. Solve m - 13 = 2*s, -7*m + v = -2*m - 4*s for m.
3
Let f(z) = -8*z - 3. Let u be f(-1). Solve -3*b - 2*p - 4 = 13, -u*p = -b for b.
-5
Suppose 25 = 5*k + 3*p, 5*k - p - 8 = -3. Let v be 1 + (-1 - (k - 4)). Solve -v*q = -4*j + 8, 3*j = 5*q + 2*j + 2 for q.
0
Let h be (-1)/(-3)*3*2. Suppose a - 3*s - 37 = 0, -h*s - 2*s + 46 = 3*a. Solve -5*w + 4*q - 2*q = a, -17 = 5*w + 3*q for w.
-4
Let a be 1*-15*(-6)/18. Solve -7 = 3*x + a*o, -2*x + 6*x = -4*o - 4 for x.
1
Let y(p) = p - 2. Let d be y(-4). Let s be (-15)/(-9)*(0 - d). Suppose -2*x = 2 - s. Solve -x*b - j + 2*j = -25, -4*b + 5*j = -45 for b.
5
Let i = 31 + -26. Solve 0 = -5*u + i*a + 10, -3*a + a + 2 = 0 for u.
3
Let d = 11 + -7. Let c = 0 + d. Suppose 4*b + 8 = 5*p, b + b = 3*p - c. Solve -3*y - 3 = -5*a, p*a + 2*y + 2 = 3*a for a.
0
Let g be (-21)/(-2) + (-3)/(-2). Suppose -4*w + 14 = 3*n, 4*w - g + 0 = -2*n. Let c be 1/w*0/2. Solve 5*m + 4*l + 37 = c, 6 + 8 = -m - 3*l for m.
-5
Let z = -58 - -66. Solve -4*p - z = -4*a, -5*a + 4 + 3 = -4*p for p.
-3
Suppose 2*f - 7*f + 10 = 0. Let s(i) = i - 6. Let o be s(3). Let w = o + 5. Solve 3*v - 4*y - 17 = 0, y - f - 2 = -w*v for v.
3
Let k(l) = l**2. Let b be k(2). Suppose -4*m + 20 = -5*a, 2*a = -3*m - b - 4. Suppose 4*u - 11 = -3. Solve m = -3*t + 12, -2*q + u*t = -2 + 4 for q.
3
Suppose 60 = 5*h - 0. Suppose -6*m + h = -2*m. Solve -23 - 6 = -4*b + 5*c, b - m*c - 16 = 0 for b.
1
Let h = -15 - -23. Let u be (-6)/(-3*2/h). Let p be