). Suppose 2*i - 4*s - h = 0, -s = 5*i - 5*s - 32. Solve -4*r = i*u + 12, -4*r + 4*u = 2*u + 24 for r.
-5
Let w(f) = -f + 3. Let g be w(3). Suppose g*r - 15 = -5*r. Solve -9 = 3*p - l, 2*l - 4*l - 18 = r*p for p.
-4
Let d be 19/6 + (3 - 57/18). Solve -q - q + 19 = -d*y, 3*y - q = -17 for y.
-5
Let y = -8 - -14. Let r(g) = 2*g - 7. Let k be r(y). Solve 4*a = 3*d - 9, 2*d - a - k = 1 for d.
3
Let f be (-1 - 2) + 0 + 8. Solve -5*u - 20 = -5*d, 2*d = -f*u + d - 14 for u.
-3
Let m be (-3 - -5)*9/6. Solve o + 20 = m*g, g + 0 - 10 = o for o.
-5
Let a = 22 - 20. Solve -r = c - 6, 3*r + a*c - 20 = -2*c for r.
4
Suppose -5*d + 4*u = 25, -2*d + 4 = -5*u + 14. Let j be d/(-2) - (-2)/(-4). Let n be 0/2*j/(-4). Solve 4*m + 5*y = 10, y = 5*m - n*y + 2 for m.
0
Let b be (1 - (-2 + 2)) + 1. Suppose 0 = 7*o - b*o - 10. Let f be (-5 + 1)/(-2) + 0. Solve -o*p = f*q - 8, -3*p + 12 = -0 for q.
0
Suppose 6*a - 52 = -16. Solve 5*q + 27 = 4*i - i, 0 = 2*q + 3*i - a for q.
-3
Suppose 2*w = 4*w - 6. Suppose 1 = q - w. Suppose -4*d + q = -4. Solve s + 4*b + 13 = 0, d*s = s + 4*b + 11 for s.
-1
Suppose 30*i - 32*i + 10 = 0. Solve 5*j = 5*f - 35, -i*j - 3 = 3*f - 0*f for j.
-3
Let f be (12/(-2))/(12/(-8)). Suppose -f*w = 2*r - 8, -5*w + 6*r - 2*r = -23. Solve k - 25 = 4*c, 0*c - 5 = w*c + 2*k for c.
-5
Suppose -v = -4*v + 30. Solve 0*l = 2*l - v, 0 = 4*y + l + 3 for y.
-2
Let k be (4 + -3 - 3) + 7. Suppose -k*g = -20 - 5. Solve -5*f + 4*c - 2 = -6, f = -5*c - g for f.
0
Suppose -2*f = 3*f - 55. Let s = f - 11. Solve s = 2*h + r + 13, 19 = -5*h - 2*r + 4*r for h.
-5
Let z be (-2)/(-6)*1*3. Let m be (-5 + 4)*z*-5. Solve 3*d - 20 = 4*y + d, -2*y - m*d - 10 = 0 for y.
-5
Suppose 0 = -3*j + 2*j - y + 15, -6 = -2*y. Solve -m = -0*m - 5*a - j, 0 = 3*m - 2*a + 3 for m.
-3
Let f = 23 + -21. Solve 3*y = 7*y + 3*b - f, 0 = -2*y + 4*b + 12 for y.
2
Let j be (-11 + 12)*(-1 - 0). Let h be 2*(-2 + 3) - j. Solve -2*d = -2*p + 6, 10*p - 15 = 5*p + h*d for p.
3
Suppose -17*f + 2 = -16*f. Solve -f*g + 4*g = 10, 0 = 3*k - 3*g + 24 for k.
-3
Let k be (-34)/(-5) + 4/20. Suppose 4*d - 5 = k. Let p be 8/d*6/4. Solve 0 = -i + p*y - 1 - 6, y + 17 = 4*i for i.
5
Let w be 2/8 - (-297)/12. Suppose -4*s - s = -w. Let j be 87/27 - 6/27. Solve z - s = -3*z + 5*v, -4*z - j*v = 35 for z.
-5
Let z be ((-6)/(-10))/(9/(-5) + 2). Solve 3*u = 5*p + 11, -z*u - p = 3*p + 25 for u.
-3
Let h(l) = -l**2 + 6*l + 5. Let g be h(6). Solve 0 = -3*o + 5*f + 6 - 0, 15 = -g*f for o.
-3
Let l = 26 - 10. Solve 3*m = -m + v - 4, -3*m + 4*v = l for m.
0
Let h(q) = 4*q**2 - 4*q + 3. Let w be h(1). Solve 3*c + 17 = -2*d, 5*d + c + 7 = -w for d.
-1
Suppose 0 = -3*k + 4*k - 19. Solve 2*q - 7 = l - k, -2*q + 4 = 3*l for l.
4
Let m be -3 - (-1)/(2/6). Suppose -i = -f + 3*i + 14, 0 = f - 5*i - 17. Solve f*p + 3*a = -m + 5, -5*a + 3 = -2*p for p.
1
Let d = 0 - -1. Suppose 2*v + 10 = 4*l, 0*v + v = l - d. Solve -4*o - k = -4*k - 22, v*o - 8 = -2*k for o.
4
Let c = -207 + 211. Solve 0 = d, 0 = -3*t + c*d - 9 - 0 for t.
-3
Suppose 17*v = 12*v + 100. Solve -3*c = -4*w - 6 - 5, 5*c = 5*w + v for w.
1
Suppose 5 + 7 = -4*j. Let b be (-3 + j)/((-3)/8). Suppose -5*w + b = -29. Solve -6*k + k - w = -2*z, -12 = 5*k - z for k.
-3
Let y be (4/(2 + -1))/2. Solve 5 = -5*i, -2*i - y*i = -3*c - 11 for c.
-5
Let i(s) = 2*s**2 - 2*s - 2. Suppose -3*m + 0 = -15. Suppose -m + 9 = 2*t. Let q be i(t). Solve 4*v = q*g + 3*v - 1, -2*v + 19 = 3*g for g.
3
Let x = -2 + -6. Let w = -5 - x. Solve r = -w*f - 7, r - 1 = 2*f + 2 for r.
-1
Let n(a) = a + 4. Let l be n(4). Suppose 3*y = 2*o + 2, 2*o = y - 4 + 10. Suppose o*v - 5 = 10. Solve -q - 2*w = -l, -v*q = -w - 3*w + 16 for q.
0
Suppose d - 2 = 9. Let i = 18 - d. Suppose 2*a - 5 = z, 0 = -z + 4*a - 22 + i. Solve -2*n - 5*v - 11 = 0, 3*v = 4*n + z + 4 for n.
-3
Let n(z) = -7*z**3 - z**2. Let w be n(-1). Let m = w + -4. Solve -m*l - 5*y - 15 = 0, 3*y = -4*l - 0*l - 9 for l.
0
Let q(p) = 4*p + 4*p - 2 + p - 8*p. Let a be q(5). Solve 0 = -a*l - 4*s + 4 + 1, 4*s - 7 = -l for l.
-1
Let z be 5/2*24/20. Let f = 7 + -2. Suppose -f*c + a = -a - 66, 5*a - 10 = 0. Solve -2*n = -n + 3*g - c, 4*n + z*g - 29 = 0 for n.
5
Suppose 8*q = -48 + 200. Solve 3*n - 14 = 2*o, -n = 3*n - 3*o - q for n.
4
Let d = 10 - 6. Suppose 2*l + 0*l + h - 110 = 0, 0 = l - d*h - 73. Let t be (l/(-3)*2)/(-2). Solve 3*f - 5*f = -5*v - 1, t = 4*v + 5*f for v.
1
Let c = 45 + -43. Solve -3*d + 6 = -c*l - 4, -l - 5 = 3*d for d.
0
Suppose -3*c - 42 = -5*v - 8, 0 = 5*v - 5*c - 40. Solve l = 5*l + v*q - 9, 2*l + q + 3 = 0 for l.
-4
Let h = 14 + -10. Let d be h + 2 + (0 - 1). Suppose -d*c + 21 - 1 = 0. Solve -4*s - 2*r - 8 = 0, -2*r + 9 = -c*s - 15 for s.
-4
Suppose -4*r + 3*i = 71, -41 = 3*r - 3*i + 10. Let c = r - -26. Solve 3*y = h - 6, h - 3*h - c = 3*y for y.
-2
Let z(b) = b**3 + 4*b**2 + b - 4. Let l be z(-3). Solve -8 = -l*p + 4*t, -4 - 9 = 5*p + t for p.
-2
Let q be (-62)/22 - (-4)/(-22). Let u be -2 - -9*(-2)/q. Solve u*w = 8, -8 = -2*i - i + 2*w for i.
4
Suppose -5*y + 15 = -4*w, 5*y - 11 = w + 4. Let a be 3 - (1 + w + 0). Solve 0 = -5*k + 25, -k + 1 = -3*t - a*k for t.
-2
Suppose -5*o = -2*t + 6*t - 4, 0 = 5*o - t + 1. Solve o = 4*g - 2*g, -q - g + 5 = 0 for q.
5
Let k(a) = -a**3 + a**2 + a. Let s be k(2). Let o be 83/7 + s/(-14). Solve 0 = -4*l - 3*c + o, l - 12 = 6*l - 3*c for l.
0
Let s = -12 + -12. Let h = -21 - s. Solve 0 = -2*v, a - 2*v = h*v - 1 for a.
-1
Let x be (-15)/10*(-38)/3. Let c = -11 + x. Solve 4*h - m = 4*m + c, -10 = -5*h - 2*m for h.
2
Suppose -3*j + 8 = -i, j = -3*j - 3*i + 28. Solve a + 8 = 4*h, -2*h - 2 = 2*a + j for a.
-4
Suppose -6*k + 7*k - 4 = 0. Let i = 2 - -1. Solve -22 = -i*z + k*h - 5, 5*h = z - 24 for z.
-1
Let o(c) = -c**3 - 9*c**2 + 2. Let m be o(-9). Solve -2*a - 16 = -m*s, 3*a = 3*s - 6*s for s.
4
Let m(v) = 6*v - 101. Let x be m(23). Solve -13 = 3*p - 9*b + 4*b, -5*b + x = 3*p for p.
4
Let w be 6/(-4)*18/(-9). Solve -2*h + h = -w*k - 17, 2*k + 10 = 0 for h.
2
Let a be 2 - (-2 + 2)*-1. Suppose 5*i - 16 = 2*g, -4*i + 4*g + 12 = a*g. Let s = -5 + 8. Solve -3*d = -i*v + 2*d + 17, d = 4*v + s for v.
-2
Let l be 6/(-33) - (-57)/11. Solve l*i - w = -15, 5*i + 12 = 2*w + 2 for i.
-4
Suppose 0 = -3*k + 28 - 7. Solve 0 = 3*r + 4*s - k, -3*s = -3*r + 2*s + 25 for r.
5
Let j(p) = 3*p**3. Let t be j(1). Suppose 4*v + 6 = 6*v. Solve -5*k - 6 = 4, v*k + 9 = -t*w for w.
-1
Suppose 2*d + 6 = -4*t + 72, 2*t - 30 = 2*d. Suppose -7*b - 2 = -t. Suppose 0 = 5*c - 62 + 12. Solve -b*x - 10 = w, 0*w + c = w - 2*x for w.
0
Let t be (2/10)/((-2)/(-10)). Let y(s) = s**3 + 9*s**2 - 2*s - 13. Let j be y(-9). Solve -t = f, -38 + 13 = 5*r + j*f for r.
-4
Let m(z) = 2*z + 2. Let c be m(9). Let w = c + 0. Suppose t - 2*t + 3 = 0. Solve t*h + w = -4*j, -5*j - h - 2*h = 22 for j.
-2
Suppose -342 - 22 = -13*r. Solve -5*f - 3*g + 32 = 0, 2*g - r = -4*f - g for f.
4
Suppose 0 = 2*i + 4*p + 16, 2*i + 2*i = 3*p + 12. Solve 3*h - 8 = -y, 2*y + i = -h + 11 for y.
5
Let r = -106 + 111. Solve -2*n + r*t = 30, -4*n + 3*n - 3*t = -7 for n.
-5
Let i(v) = v**2 - 2*v - 6. Let s be i(4). Solve -2*u + 6 = 0, s*u + 2*u = -5*q + 27 for q.
3
Let s(d) = d - 2. Let h be s(4). Solve -6 = -3*w, 4 = 4*u + 5*w + h for u.
-2
Suppose u - 8 = -3. Let f be 4/(-2) - u/(-1). Solve 5*i - i + 3 = -f*r, -2*i - 4*r + 6 = 0 for i.
-3
Let h = 5 + -2. Let i = -7 + 12. Solve 6*c - 2*c = i*j + 29, j + 2 = -h*c for j.
-5
Let i(u) = 4*u**2 + 1. Let d be i(-1). Let g = -1 + d. Suppose -4*t - 5*b + 25 = -0*t, -5*t + 4*b = -21. Solve g*s + 8 = v, s - 2 - t = -2*v for s.
-1
Let j = 24 + -19. Solve -2*c + 9 = v, -2*c - 10 = -j*v - 1 for v.
3
Suppose -6*h + 104 = -2*h. Let d = 39 - h. Solve 0 = k - 3*g - 14, d = 5*k - g - 1 for k.
2
Let p(m) = -m**3 + 7*m**2 + m + 2. Suppose f - 6 = 1. Let k be p(f). Solve -g + 4*q = -k, 0 = 4*g - q - 4 - 2 for g.
1
Let q be 12/(-9)*(-3)/1. Let x be (-6)/q*(-2)/1. Solve -7*c = -x*b - 3*c + 7, -4*b - 5*c = 32 for b.
-3
Let m(h) = 0*h + 2*h**3 + h**2 + 4*h - 4*h. Let b be m(1). Solve -b*l + 28 = 4*c, 0 = -2*c - 3*c + 3*l + 8 for c.
4
Let h = -15 + 31. Solve -h = 5*n - 4*f, -4*f + 17 - 1 = 4*n for n.
0
Let m(o) = -o**2 - 11*o - 6. Let r = -20 + 10. Let i be m(r). Suppose i*u = -2*n + 56, n + 3*u - 34 = -u. Solve 0 = -3*s - 0*w + 5*w + n, -3*s + 2 = 5*w for s.
