et x(s) = 2*s + 17. Let r be x(-9). Let k be (2 + 1)*(r + 2). Solve 4*v + 10 = 5*y - 0, -k*v = 4*y - 8 for y.
2
Let u(g) = g**3 + 8*g**2 + 7*g. Let t be u(-7). Solve t = a - 0*c + 4*c, c + 3 = -a for a.
-4
Suppose 3*s - 3 = 2*s. Suppose -2 = 2*l - s*l. Suppose 7*i = l*i - 5*q + 30, i - 4 = q. Solve -2*x - 4*t = -8, -4*x = i*t + 2 - 9 for x.
-2
Let f be -8*((-2)/(-4) + -2). Let v = -8 + f. Solve 0 = 2*j - 5*j + 5*i - 37, 0 = -5*j + v*i - 40 for j.
-4
Suppose i = -4*i - 75. Let m = i - -30. Suppose 0 = -8*a + 3*a. Solve a = j + s + 4 + 6, -s = -4*j - m for j.
-5
Let z = 0 + 0. Suppose z = -7*n + 3*n + 12. Suppose n*r - 3*x = 18, r = 2*x + 15 - 5. Solve 0 = -r*p + 4*b - 4, p + p = -4*b - 4 for p.
-2
Suppose o - 10 = -5*d + 10, 2*d = -2*o. Let b be 1 + 0 + (-3 - -2). Suppose 1 = -4*l + 9. Solve -4*u = -d*f - b*u - 30, -14 = 2*f - l*u for f.
-2
Let g = -35 + -1. Let h be (-1)/3*(-1 + 4). Let m be h/(-5) + g/(-20). Solve -10 = -5*x + 5*o, m*x + 5*o + 26 = -x for x.
-2
Let n be (-33)/(-22)*(-8)/(-6). Suppose 0 = -c + n. Let m = 0 + 0. Solve 0 = 5*y + 5*z + 22 - 2, -2*y + c*z - 4 = m for y.
-3
Suppose 4*f - 17 = -5. Let g = -6 - -9. Let a = 0 + g. Solve a*c + 5*u - f*u = -16, -3*c + 3*u = -9 for c.
-2
Let b(c) = -c**2 + 7*c - 6. Let w be b(6). Suppose -4*v + 0*v = 4, -4*a + 4*v + 84 = w. Solve i - 2*t = 6, 0*i + a = 4*i - 4*t for i.
4
Suppose -7 = 2*w - 1. Let z be ((-1)/w)/((-1)/(-12)). Solve 17 = -z*s + 3*y, -2 = -2*y + 4 for s.
-2
Let x = -79 - -79. Let h(l) = l**3 + 18. Let u be h(0). Suppose x*z + z = u. Solve 4 = -2*d + 2*r, r - z = -d - 3*r for d.
2
Suppose 6*j + 28 = -2*y + j, 36 = -4*y - 5*j. Let q be (2 + y)*9/6. Let l be (q/(-9)*0)/(-2). Solve 10 = 4*n - 2*w, 2*n + n - 2*w - 7 = l for n.
3
Suppose 3*m = 5*n - 52, -3*n - m - 3*m = -8. Solve 0 = 2*f - 10, n = -2*x + 2*f - 2 for x.
0
Suppose 4*j = 6*j - 22. Suppose -3*k - j = -4*k. Solve 0 = 4*l + 3*t - 2*t + 13, l + 5*t = k for l.
-4
Let x(i) = 4*i**2 - 1. Let c be x(-1). Solve c*v = 4*z + 14 - 2, -2*z + 2*v - 8 = 0 for z.
0
Suppose -4*q = -0*q + 4*r - 24, -3*q = 2*r - 15. Solve 18 = -5*l - 3*d, 4*d = q*l + 1 + 4 for l.
-3
Let c = 32 - 27. Solve -6 = -3*i, c*q + 5*i = 8*i - 11 for q.
-1
Let f(t) = t + 4. Let z be f(-4). Suppose z = -q + 4*q - 15. Suppose -q*k = 0, 3*y + 2*k + 3*k = 0. Solve 0 = -4*i - 4*j - 4, -4*j + y*j + 23 = -5*i for i.
-3
Let u be 1 + 1 - 4 - -7. Suppose -5*x - t + 3*t = -68, 4*t - 44 = -u*x. Solve x = -5*i - 4*k, 2*i - 2*k - k - 9 = 0 for i.
0
Let r = 8 + -2. Solve -4*d - 3*t - r = -7*d, -3*d - t = -14 for d.
4
Let y(s) = s**3 + 8*s**2 + 5*s - 9. Let a be y(-7). Let k be 2*(-1)/a*-5. Solve 0 = h + 2*x - 1, -7*h = -k*h + x - 14 for h.
3
Let r = -9 + 15. Suppose -r*v + 3*v = -111. Solve 0 = -5*q - 3*z - z + v, -15 = -5*z for q.
5
Let n = 15 - 11. Let o = 13 - n. Solve 4*x + 2*u = -4, 5 = -5*x + 2*u - o for x.
-2
Suppose 12*i = 8*i + 28. Let n = -16 + 26. Solve f + f = c - i, -3*f + c = n for f.
-3
Suppose -2*x = -4*j + 12, -j - 3 = -3*x - 1. Solve 4*m + j*d - 5 = 15, d = m - 3 for m.
4
Suppose -57*o = -54*o - 21. Solve 0 = -p + 2*h + 2 - o, -3*h = 0 for p.
-5
Suppose -4*b + 98 = -3*m, -74 - 37 = -5*b - 2*m. Suppose -2*c + b = -4*v + 71, -3*v - 4*c = -14. Solve -4 = -4*n + 3*o - 0, -n = 2*o + v for n.
-2
Let k(w) = -10*w + 0*w**2 + 17*w - w**2 - 8 + 2*w**2. Let n be k(-8). Solve 5*p - 5*s - 10 = 0, p + p - s = n for p.
-2
Let o = 37 - 35. Solve 0*a + o*a = -m, -5*m = 0 for a.
0
Let a = 19 + -14. Solve -2*t = 3*s - 7*s - 20, s - 6 = -a*t for s.
-4
Suppose -9*k = -6*k - 15. Let j = -3 + k. Solve -v + 5*m - 27 = j*v, v + 16 = 4*m for v.
-4
Let l be 0/(6/(1 - 4)). Suppose 17 = 3*y + 2*v, l*v + v = 2*y - 2. Suppose y*o + o - 16 = 0. Solve 0 = -o*s - a - 14, -s = -2*s - a - 5 for s.
-3
Let i = -6 + 10. Suppose 4*u - 4*p = -5*p + 289, -p + 73 = u. Suppose 5*v + 7 = u. Solve i*b + g - 1 = 2*g, -2*b + 3*g + v = 0 for b.
-1
Suppose -12 = 2*k - 4*y, 5*y = -0*y + 20. Solve 0 = -f + 2, -3*c + 3*f - k = c for c.
1
Suppose x = 9 - 3. Suppose -x*p = -7*p + 1. Solve 0 = 5*y + s + 4*s + 5, p = -5*y - s for y.
0
Suppose -4*v = 3*i - 32, 0 = 3*v + v - 5*i. Suppose 4*s = 4*k, 2*k = 3*k - 3*s + 4. Solve v = f + 3, -p - f = -k for p.
0
Let m be 7/2*16/28. Suppose -m*c + 4*c - 2 = 0. Solve 4*y = 2*d, 3*d - 3 = 5*y - c for y.
2
Let v(w) = -2*w**3 - 12*w**2 + w + 13. Let x be v(-6). Solve -5*c + x - 3 = a, c = -4*a - 3 for c.
1
Let h = 11 - 4. Solve -r = -d - 4*r - h, -5*r - 17 = 3*d for d.
-4
Suppose -4*x = -2*x - 4. Suppose 4*n + n = 15. Suppose -4*i = -8*i - 2*m + 10, n*m = -i - 5. Solve -3*s + x*y = -3, i*y + 3 = 3*s - 0 for s.
1
Let n(z) = -7*z**2 + 2*z + 1. Let p be n(-1). Let d(c) = -c - 5. Let v be d(p). Solve 0 = -a + v, -19 = -h - 3*a - 2*a for h.
4
Let v = -16 - -16. Solve -3*i = -v*i - 6, 2*y - 2 = -5*i for y.
-4
Suppose -5*x - 12 = -3*x. Let l(q) = -2*q - 7. Let b be l(-6). Let t be b/15 - 16/x. Solve -5*o = 5*r - 5, -o - 15 = -t*r - 0*r for r.
4
Let v = 33 - 22. Solve 3*c = -2*f - 7 - 0, c + v = -5*f for f.
-2
Let l(i) = -i**2 + 0*i**2 - 5 - 7*i + 5 + 1. Let n be l(-4). Solve n = 3*p - 4*r, 0 = -5*p - r - 0*r + 14 for p.
3
Suppose 2*o + y = 41 - 10, -3*o + 48 = 2*y. Suppose -7 = -4*c - 3. Let i = o - c. Solve 5*d = -2*n + i, d - 5*d = -5*n + 16 for d.
1
Let n(r) = r**2 + 9*r + 6. Let p be n(-8). Let i be p*-3*3/6. Suppose 3 = i*a - 3. Solve 5*f - 8 = y + a*f, 2*y + 3*f + 7 = 0 for y.
-5
Suppose 6 = 3*x - x. Suppose -3*n = -6*n + x. Solve 3*p = -q + n, 3*q - 5*q = -4*p + 18 for q.
-5
Suppose 5*p - 4*b = 7 + 5, -5*b + 26 = 4*p. Solve -k - 4*k = -2*z + 7, k = p*z + 13 for z.
-4
Let k(x) = -x**2 - 5*x + 6. Let f be k(-7). Let t = f + 23. Solve 3*s - t = -4*r + 10, -2*r + 3*s = 1 for r.
4
Let f(k) = k**2 + k. Let p be f(-1). Solve -6 = 5*z + 3*h, 4*z + 3*h - 2*h + 9 = p for z.
-3
Let m(t) = 6*t**2 - t. Let n be m(-1). Suppose 0 = -5*f + 4*s + 32, 3*s - 14 = -2*f + 8. Solve -n = 3*k - 4*j - 1, -2*k - f = -4*j for k.
2
Suppose -3*h = -5*h + 4. Solve y = -3*y + 5*a - 3, -y = -4*a - h for y.
-2
Let n be ((-9)/15)/((-2)/10). Suppose -n*f = 2*l + 23, -5 = -2*f + 5*l + 5. Let s(z) = -z - 2. Let a be s(f). Solve 0 = d + 2*p + a, -2*d + 0*p - p = 3 for d.
-1
Suppose -3*f - 3*y + 15 = 0, -5*y - 6 = -2*y. Suppose 8*r = f*r + 2. Solve 3 = -r*a - v, -5*a - 6 = -2*a + v for a.
-3
Suppose -3*n - 3*b + 45 = 0, 3*b + 36 = 4*n - b. Let q = 17 - n. Solve 5*p = q*u - 0*u - 10, -3*u = -4*p - 7 for u.
1
Let g be 2/((-9)/((-27)/2)). Solve 0 = -g*j - 4*k + 5, 4*k = 2*j - 0*j + 10 for j.
-1
Let v(k) = k**2 + 4*k + 3. Let s be v(-1). Solve s = -2*z - 3*z + 2*u - 16, 5*z + u = -22 for z.
-4
Let r be -3 - -2 - (-1 - 6). Let i be (-3 + r)/((-3)/(-5)). Solve -2*c - 9 = -5*z, -4*z - i*c = -25 - 2 for z.
3
Let g be 108/26 - 12/78. Let w = 20 - 20. Solve 0 = -2*j - w*c - 4*c + 4, 4*c = -g for j.
4
Let x = 7 + -15. Let g be 7/((-14)/x) - -12. Solve 3*c = 4*z + g, 5*z - 2*z = 5*c - 12 for z.
-4
Let n be (-57)/38*22/(-3). Suppose 0 = -2*q + 14. Let o = 12 - q. Solve -a - 1 = -g, -o*g = -3*a + 6*a + n for a.
-2
Let m be 0 + 8/44 + 27/33. Solve 5*x + 5*u = 5, -6 = -2*x - 3*u - m for x.
-2
Suppose -g + 5*g = 3*d - 24, g - 3 = 0. Suppose -2*s = -2*k - 8, -3*s + 3*k = 4*k - d. Suppose 0 = -4*x + 5*x. Solve x = -v + s*v - 6, -2*t + 8 = -v for t.
5
Let d be (-36)/8*(1 - 7). Solve -2*q - 6 = -x, 7*x = 4*x - 3*q - d for x.
-4
Let i = -14 + 26. Solve 0 = -4*r + k + 15, r + 4*k = 5*r - i for r.
4
Suppose 10 = 3*g + 4. Solve -5*b - g*y = -14, 3*y = -2*b + 4*y + 2 for b.
2
Let p(o) = -o**3 - 32*o**2 - o - 29. Let y be p(-32). Solve 17 = -4*a + u, -4*a - y*u = -1 - 2 for a.
-3
Let i be 2/(1 - 3/5). Solve -i*t - 4*o = -5*o, -2*t + 8 = -2*o for t.
-1
Suppose 0 = 4*g - 5*f - 1, 0*f = g - f - 1. Let b = 16 + -14. Suppose g*r = b*t - 50, -3*r - 75 = -4*t - 0*t. Solve -d - 11 = 2*d + 2*v, -t = -d + 4*v for d.
-1
Let y(a) = -a + 12. Let x be y(10). Let d be 4/10 - 306/(-10). Suppose x*z = -0*m + m + d, -5*m + 27 = 3*z. Solve -z = -3*t + o, -3*o = 2*t + t - 18 for t.
5
Suppose -b + 20 = 4*j, b = -4*j - 3*b + 32. Solve 2*w - j*k = -3*w, 4*w + 2*k = 0 for w.
0
Let l be ((-3)/(-2))/((-24)/(-32)). Solve 5*o = -4*y - 12, -3*y + l*o + 14 + 0 = 0 for y.
2
Suppose 5*q - 5*t = 6*q + 5, t - 11 = -q. Suppose 2*j = 8 + 4. Suppose -j = 2*s - 30. Solve 7*c