))/(x/9). Let g be 3 - (6/1)/2. Solve 4*y + z - 7 = g, 3*z + 2 - l = -y for y.
2
Let t(v) = -8*v**2 - 15*v - 5. Let z(x) = 3*x**2 + 5*x + 2. Let a(q) = -4*t(q) - 11*z(q). Let m be a(2). Solve -m = 2*k + w, 0*k = 3*k + w + 8 for k.
-4
Let z(b) = -b**3 - 2*b**2 + 2. Let m be z(-2). Let o(u) = -2*u + 7*u + u - 5 - u**2. Let j be o(4). Solve -f + 4*d = 4, -m*f - j = 2*f - 3*d for f.
0
Let z be (-4)/(-6) + 26/6. Suppose y - 6 = 2*y + z*t, 3*y + 5*t = 2. Suppose -2*h + 4 = -y. Solve 3*k = -2*b - 0*b - 17, 0 = -h*k - 20 for b.
-1
Let c = 10 - 5. Let m be (0/3 - 2) + c. Let t be m + 2 - 2 - -4. Solve 2*j + 23 = 5*w, -t - 14 = 4*j - 5*w for j.
1
Let a(u) = -u**2 - 11*u + 4. Let q be a(-11). Solve -20 = 6*w - 2*w - 4*k, 3*w - q*k = -16 for w.
-4
Let j(a) = -2*a - 3. Let m = -6 - -10. Let x be j(m). Let w = x - -18. Solve v = 3*s + 10, 2*s - 1 = -w for v.
1
Suppose v + 5 - 3 = 0. Let a be -5*(v - 24/(-15)). Solve -3*x = 6, 0*j + a*j - 2*x = -6 for j.
-5
Suppose 0 = -3*k + s + 11, -2*k + 5 = -2*s - 1. Solve 4*y + k - 1 = -3*z, -3*z = 5*y + 3 for z.
-1
Suppose 2*t - 12 = -2*t. Let l = 5 - t. Suppose l*n = -3*o + 6 + 7, 5*n - 39 = -o. Solve 2*h = p - 8, 0 = -4*p - n for h.
-5
Let x = 12 - 7. Suppose 5*d - 5 = -0*d. Let f be -4 + 2 + 4/d. Solve 0 = x*w - 5*m - 35, f*w + 3*m = 2*m + 5 for w.
4
Let t = 1 + 1. Solve -2*g = -2*z - t, -2*z - 2*g + 7*g = 14 for z.
3
Suppose g - 12 = -5*m, 4*m - 2*g - 27 = 3*g. Solve -2*d - 8 = -5*z + 7, 5*z - 20 = m*d for z.
1
Let k = 7 + -10. Let c = k - -8. Let j(a) = a - 1. Let u be j(c). Solve -3*i - 2 = u*n, 0*n - n = -3*i - 7 for i.
-2
Let h(r) = r**3 - 5*r**2 - 8*r + 16. Let k be h(6). Solve -4*m + 4*l - 32 = 0, -m + k*l - 5 = 12 for m.
-5
Suppose 2*n - 5*z + 19 = -0*n, 0 = -4*n + 5*z - 13. Solve -b - 5*w - 2 = n*b, 3*w + 16 = 5*b for b.
2
Let m be 3/((-9)/(-6)) + 0. Solve m*n = 0, 0 = -2*v - 2*v - n for v.
0
Let i be (3 - 3) + 1 + 1. Suppose -3*d = -4*v + 3*v - i, -v = -2*d. Let n be 4/(-22) + 2/11. Solve j + 2*m - 3 = n, -4*m = -v*j - 3*m - 6 for j.
-1
Let s(p) = p**2 + 0*p**3 + p**3 - 3 + 10*p - 11*p**2. Let x be s(9). Solve -2*n + 4*n + j + 7 = 0, x = -n - j for n.
-1
Let l be (1*-2)/((24/30)/(-2)). Solve -l*i = -0*u + u - 1, -4*i = 5*u + 16 for i.
1
Let s be -2 + (19 + -1)/3. Solve -2*a = 0, -3*a = -4*l - s + 16 for l.
3
Suppose -2*l + 19 = 3*d, 4*d + 5*l - 15 = 3*d. Solve 3*z + 1 + 1 = 4*o, o - d = 3*z for o.
-1
Let u(l) = -l**2 - 10*l - 10. Let d be u(-7). Let w = d + -9. Solve -2*z + 1 = 2*h - 1, -w = -2*h + 5*z for h.
1
Suppose 0 = -2*w - w + 81. Suppose -5 = 3*z + 4*b - w, b = 3*z - 17. Solve 3*r - 6 = 3*h, -5*r = -4*h - 0*r - z for h.
-4
Let b = 0 - 0. Let y be (1 - b)/(3/15). Suppose y*c + 5*u = 0, 0 = -3*c + u - 5*u - 2. Solve 0 = -4*z - g - 5, -z = 2*g + 1 + c for z.
-1
Suppose p = 2*y + 3*y - 16, 4*y - 24 = -2*p. Solve 16 = -p*c, 0*c + 1 = n - c for n.
-3
Let b(q) = 3*q - 5*q - 1 + 6*q. Let y be b(1). Suppose y*z - 2*u - 15 = 2*z, 3*u = 3*z - 30. Solve 0*o + 17 = -z*m + o, -m + 8 = -4*o for m.
-4
Let u(x) = -3*x - 9. Let z be u(-4). Solve 0 = -o - 5*r - 23, -z*o - 19 = -0*o + 5*r for o.
2
Suppose u + 20 = 5*u. Solve -3*d - u*s - 14 = 0, 3*d + 1 = 2*s - 6 for d.
-3
Let v = 39 - 14. Suppose -6*c = -2*c - 28. Let q = 12 - c. Solve u + i = -8, q*u + i = -i - v for u.
-3
Let m(n) = n**2 + 5*n - 1. Let c be m(-6). Suppose 4 = -4*r + c*r. Solve 0*j + 6 = 2*j + 2*t, 3*t - r = -2*j for j.
5
Suppose -3*j = -i - 15, -i - 23 = -4*j - 4. Suppose j*n + 13 = 5*t, 5*n = -2*t + 18 + 7. Solve -5*y = 5, n*y = k + 4*k - 23 for k.
4
Suppose q - 1 = 3. Solve -4*u = -3*o, 24 = -q*u - 5*o - 8 for u.
-3
Suppose 3*u - 12 = 3*i, -5*i - 3*u + 1 + 3 = 0. Let n be -2*(1 + -1 + i). Solve n*c = 4*k + 14, 2*c + k + 1 - 10 = 0 for c.
5
Let b be (-1 + 5)/((-4)/(-4)). Solve 0 = 3*d + 3*k + 3, 3 = b*d + 5*k + 6 for d.
-2
Suppose 4*d = 4, 0 = 4*m + 2*d - d - 61. Suppose 5*l + m = -5*q - 0, -2*l = q + 8. Let a be 8/10*(7 + -2). Solve q*c - c - 11 = 3*n, a*c + 4 = -4*n for c.
2
Let x be (-9)/(-30)*-4*(-20)/8. Solve 2*h + 2*r - 11 - x = 0, -4*r + 16 = 0 for h.
3
Let u be (-6)/24 - 9/(-4). Solve 26 = -2*l + 4*x, -u*l + 0*x + 2 = 3*x for l.
-5
Suppose -5*g = 3*i - 0*i + 3, 9 = -3*g. Suppose i*l - l - 27 = -p, 5*l = -5*p + 55. Solve 5*v - 4*v = 2*x - l, 3*x - 12 = -3*v for v.
0
Suppose -5*b - 2*n + 2 = -4*n, -5*n - 5 = 0. Solve 3*t - 4*i - 3 = b, -4*t = -0*t - 5*i - 5 for t.
5
Suppose -4*z + 4*b + 20 = 0, -5*b = 3*z - 6*b - 19. Solve 5*s - 17 + 4 = 4*x, 0 = -2*s + x + z for s.
5
Let c = 117 + -115. Solve 2*g = -2*r + 4, r + 0*r = c*g - 1 for r.
1
Let y(r) = -r**3 + 4*r**2 + 5*r + 3. Suppose -f + 7 = 2*d, -6*f + 5*d + 10 = -3*f. Let o be y(f). Solve 4*k = -3*w - 17, -5 = -o*w - 2 for k.
-5
Let m(s) = s**3 - s**2 + 3*s + 1. Let o be m(3). Let k be o/8 + (-1)/(-2). Solve 22 = z + 5*u, 5*u = k*z + u + 8 for z.
2
Suppose 2*o = 5*p - 2*p - 5, 5*p + o - 30 = 0. Let s = p - 6. Let g = 6 - s. Solve 3*x - 4 = y + 6, 2*y + 3*x - g = 0 for y.
-1
Suppose 0 = -5*k + 5 + 20. Suppose 0*f = -f. Let u be (-1 - (f - 5)) + 0. Solve k*i - 5 = -u*r, -3*i - 4*r = -4 + 1 for i.
1
Let k = -20 + 24. Solve 2*v + k = 2*r, -v + r = -2*v for v.
-1
Suppose 0 = -3*l + 9. Suppose -4*g - l*w + 43 = -0*g, -5*g = -5*w - 10. Solve 0*i - g = 3*i + 2*n, 12 = -4*i - 4*n for i.
-1
Let v = 10 + -6. Suppose v*q = 26 - 6. Solve -4*i - 12 + 0 = 0, 5*l - 25 = q*i for l.
2
Suppose 0 = -31*v + 29*v + 4. Solve 10 = 4*d + 2*b, -2*b + 0*b = -v for d.
2
Let h be 6*4/36*3. Solve -t - 5 = h*f, 2*f - 35 = 6*f - 3*t for f.
-5
Suppose 4*j + j - 55 = 0. Solve 0*w = -3*w + k + 1, w - 3*k = j for w.
-1
Suppose -3*j - 5*a = -15 - 17, -4*a = -16. Suppose -j*y + 26 = g + 4, g = 4*y - 18. Solve 4 = -2*s, -g*k + 3*s + 3 = -k for k.
-3
Let i = -31 + 52. Solve 5*l + 3*z + i = 0, 0*l - 5 = -l + 4*z for l.
-3
Let h = 8 + -6. Solve 0 = -5*n + 2*f - 15, -15 = -4*n + h*n + 5*f for n.
-5
Let d(f) = 8*f - 47. Let w be d(7). Solve 20 = 5*n + 5*a, 5*n + a - w = 3*n for n.
5
Suppose -5*p + 31 = -t, -2*p - 3*t - 15 = -4*p. Suppose 0 = -3*v + 9 + p. Solve 3*s + 4 = v*o, 2*o - 4*s = -2*s for o.
2
Suppose 3*v - x = 7, -3*v + 5*x = -2*v + 21. Solve 2*c + 2*t = -4, 0*t = -t - v for c.
2
Let a(t) = -3*t**3 - 2*t**2 - t. Let i(c) = -c + 2. Let h be i(6). Let g = h - -3. Let y be a(g). Solve -4 = -4*b - 4*d, 0 = -y*b + 3*d - 7 - 6 for b.
-2
Let i be ((-14)/(-8))/(4/(-16)). Let m = -4 - i. Solve p - 15 = 5*s, 2*p - 2*s = m*s + 20 for p.
5
Suppose 3*f + 7 = 2*f. Let s be (-21)/f + (-1 - -1). Solve 2*a + a = 5*d + 32, -5*a + 32 = -s*d for d.
-4
Suppose -7*x + 40 = x. Solve -x*r - 25 = -3*b, 3*r - 8 = -2*b + 2*r for b.
5
Suppose -5*u + 3 = v + 1, 0 = -2*u. Solve 3*j = 8*j - v*y + 20, 0 = 5*y for j.
-4
Suppose -k = 4*a - 5*a + 14, 3*a - 2*k = 37. Suppose -c + a = 2*c + m, -4*c + 12 = 5*m. Suppose -9 = -c*d - 0*d. Solve 6 = r + 5*f, 2*f = 5*r - d*r + 12 for r.
-4
Let f = 5 + -7. Let w(h) = 5*h**2 + 3*h + 1. Let q be w(f). Solve 5*i + q = -4*g, -2*i + 4*i = g - 6 for g.
0
Suppose 3 + 1 = -4*a. Let c be (a - -3) + -2 + 8. Suppose 3*b - c = 31. Solve 2 = 5*s - w + b, -5*w - 8 = -4*s for s.
-3
Let y be 2/(-11) - (-711)/99. Solve 30 = d - 5*o + y, -3*d + 25 = -4*o for d.
3
Let b be (-1)/6 + 78/36. Solve -b*p = -y - 2, y - 4*p + p = -3 for y.
0
Suppose 2*m + 8 = -0. Let x = 8 + m. Suppose 0 = -4*r + 3*l + 20, 4*r + l = -x*l - 12. Solve -2*w = -5*p - r - 3, 2*p + 2*w + 2 = 0 for p.
-1
Let k(l) = 4*l - 2. Let p be k(3). Suppose -2*m + 3*g = -5 + 23, m + g - 1 = 0. Let d = -1 - m. Solve -d*c - 3*x = -0*x - p, 0 = 2*c - 2*x for c.
2
Suppose -3*x = -48 + 18. Suppose -4*i + x = i. Let g = 32 + -23. Solve 2*j - v + 17 = -6*v, -i*v - g = 3*j for j.
-1
Let f = -11 - -18. Let p = f + -2. Solve r + 8 = -r, 0 = -p*d + 2*r - 17 for d.
-5
Suppose 0*j = -6*j + 6. Solve 21 - j = 5*u - 5*o, -3*u - o = -12 for u.
4
Suppose -3 - 3 = -2*r. Solve -a - 6 = 2*n, n + 3*a = 2*n + r for n.
-3
Let f be 6*(-1 + 0 + 0). Let b be (16/f)/((-6)/9). Suppose -r + 14 = 4*k, -3*k + 0*k - b*r + 17 = 0. Solve 4*s + 0*z = -k*z + 12, 5*s - 2*z - 15 = 0 for s.
3
Let f = 4 + -1. Let t(k) = -k. Let w be t(-3). Solve w*n = 5*v + f - 23, 4*v = -2*n - 6 for v.
1
Let b = -4 + 6. Solve -3*w + 4*y = -9 + 33, -2*w - b*y = 2 for w.
-4
Let m be (-36)/(-27)*(1 + 2). Let n = -2 + -2. Let g = m + 