r - u + 8 for r.
-3
Let r = -4 - -6. Suppose -3*d - r*d + 3 = c, 5*c - 4*d = 15. Let f be (0 + 1 + -5)*-2. Solve c*s + 17 = 5*z, -2 - f = -2*z + 2*s for z.
1
Let f(p) = 9*p - 2. Let m be f(1). Solve -y - m = -4*r, -y + 0*y + 3 = r for r.
2
Let b(t) = -2*t - 13. Suppose -18 - 4 = 2*x. Let o be b(x). Solve -p + 1 = 5*y - 6, -3*y - o = 5*p for p.
-3
Let l be ((-4)/6)/(11/(-33)). Suppose 4*z + 13 = -3*b, 2 - 1 = 5*b + z. Let c = l - b. Solve -a + 2*p = 3 + c, -2*a + p = -4 for a.
4
Let w(y) = -y**3 - 6*y**2 - 4*y + 7. Let u be (1/2)/((-1)/10). Let k be w(u). Suppose -k*c - 5 + 77 = 0. Solve 2*p = -3 - 7, -4*f + 4*p = -c for f.
4
Let h be 406/(-21) - 1/(-3). Let w = -11 - h. Solve 5*a = 2*p + 28, 2*p + w = 4*a - 16 for p.
-4
Let s(l) = l**3 + 7*l**2 - l - 3. Let i be s(-7). Suppose -v + i*w = 17, 2*w = -0*v - 2*v + 16. Solve 3*r + 4*f + 8 = 0, v*f = -4*r - 4 - 2 for r.
0
Suppose 0 = -4*k + l + 69, -4*k + 5*l - 5 + 78 = 0. Let t = k + -10. Solve -t*n + 2 = -3*x - 3*n, -x + 3*n - 4 = 0 for x.
2
Let q be (-2)/6 - (-95)/15. Suppose 0 = -3*o - q. Let n be 0 - -1 - (-2 + o). Solve 0 = -d - r - 6 + n, 4*d = 2*r - 28 for d.
-5
Let p(y) = y - 3. Let f be p(3). Suppose 5*m = 3*m + 32. Solve k + 4 = 4*c, 5*c - 4*k + f = m for c.
0
Suppose 6*x = -7 + 7. Solve -5*b + u + 25 = x, 3*b + 3*u = -2*u - 13 for b.
4
Suppose -5*x = -2*x. Solve -3*u - 2*s = -11 + 5, -3*u - 5*s + 15 = x for u.
0
Suppose 0 = 2*z - 4*v + 14, v - 20 = 4*z - 9*z. Let q be (5/15)/((-1)/6). Let b = q + 3. Solve -j + 7 + b = 5*t, z = 3*t for j.
3
Let s = -1 + 5. Solve 3*v + 2*v + 5*o = -35, 0 = s*v - 3*o + 7 for v.
-4
Suppose 2*t + 16 = -3*u + 5*u, 2*u - 4*t = 8. Let k(n) = n**2 - 2*n - 3. Let z be k(-2). Solve -3*q - 3*o - u = 0, z*q - o = -4*o - 18 for q.
-3
Let n be 0 - (-1 + 2)*-6. Let m = -4 + n. Solve m*b = 5*o - 6 + 1, 0 = -2*b - 10 for o.
-1
Suppose 3*k - 96 = 2*k. Let y be k/9 - 4/6. Suppose -g - y = 5*z + 2, -3*z = -5*g + 24. Solve 5*p + i = -g*i - 18, 0 = -3*p + i - 4 for p.
-2
Let t = 6 + -5. Let l(n) = n**2 - n. Let a be l(t). Solve 2*z + 4*u - 5*u + 5 = a, -5*z + 5*u = 20 for z.
-1
Let c(p) = 2*p + 4. Let n be c(-4). Let v be 38/9 + n/18. Solve -3*b = -v*o + 12, -3*b + 12 = 2*b + 4*o for b.
0
Let i(d) = -2 - 10*d + 0*d + d - 4 - d**2. Let y be i(-6). Solve 3*b - y = -3*f, -3*b = b - 20 for f.
-1
Suppose -5*s = 132 - 192. Solve -s = -4*n - 4*m, 2*n - 18 = 4*m - 0*m for n.
5
Let q(h) = -h + 28. Let o be q(20). Solve 3*s - b = -s - 20, 0 = 2*b - o for s.
-4
Let x(k) = -k**2 + 9*k. Suppose -4*l + 12 + 8 = 0. Let j be x(l). Solve 0 = i - 5*i + p + j, -2*p - 20 = -4*i for i.
5
Suppose 14*p = 65 + 5. Solve 0*w - 4*w - 17 = -p*r, 2*r = -w - 1 for r.
1
Let j = 8 + -25. Let k = -37 + 25. Let f = k - j. Solve 4*n + 5*o - 5 = 0, -f*n + 38 = -o + 10 for n.
5
Suppose -6*o + 148 = -212. Suppose k + 27 = -5*z + 10, -5*k + 4*z = -o. Solve 4*y - k = -2*t, -3*t - 2*t - 16 = y for t.
-4
Suppose -4*c + 3*s + 3 = 0, -c + 5*s = -4 + 16. Solve c = 2*g - 3*n, 3*g + 2*n + 3 = 1 for g.
0
Suppose 0 = 4*g - d + 5*d - 12, -2*g + d - 3 = 0. Suppose -w - 1 = -g, 3*i - 32 = -w. Solve v + 4*v = 15, i = -o + 3*v for o.
-2
Let x(u) = -u**2 - 6*u - 5. Let o be x(-5). Suppose -4*m + o*m + 48 = 0. Solve 5 = -4*r - 11, 2*g - 3*r - m = 0 for g.
0
Let d(i) = i**2 - 4*i + 5. Let v(a) = -a - 7. Let k be v(-3). Let y be (1/(-2))/(k/32). Let c be d(y). Solve -3*b + 10 = -c*j, -5*b + b - 20 = 0 for j.
-5
Let j(y) = y**2 - y - 4. Let k be j(3). Solve -k*w + 3*b - 3 = 3*w, b = -4 for w.
-3
Let x(m) = -m + 11. Let t(d) = -4*d + 44. Let y(i) = -2*t(i) + 9*x(i). Let c be y(9). Solve -2*z - 3*g - 2 = 0, 3*g + 0*g - c = -z for z.
-4
Let q be 1/(-3)*(-15 - -6). Suppose -4*t = -t. Suppose 2*l - 3 - 19 = t. Solve l = -b + 3*h, 0*h = 5*b - 2*h + q for b.
1
Suppose 5*b + 32 = r, -r - b - 82 = -4*r. Let k be r + 0/(1/(-1)). Suppose -k = -3*y + 5*g, -2*y + y = g - 1. Solve 2*p - y*j = -28, -5*j = 4*p - p - 13 for p.
-4
Let y(k) = 17*k**2 + 9*k. Let c(p) = 9*p**2 + 5*p. Let r(w) = -7*c(w) + 4*y(w). Let l be r(-1). Solve -4*n - 17 = -5*d, 2*n = d + l - 5 for n.
2
Suppose 0 = 11*d - 26 - 18. Solve -3*n = -d*g - 15 + 4, -5*n + 23 = -2*g for g.
1
Suppose 4*b - 9 - 31 = -2*k, -b - k + 12 = 0. Solve 4*j = c + b, 5*c = -j + 29 - 6 for j.
3
Let b be 9 - 1*(-3)/(-3). Let n(h) = h**3 - 7*h**2 - 7*h - 3. Let t be n(b). Suppose o - a = 1, 0 = 5*a - 6 - 4. Solve 2 = -o*d + p, -3*d + 4 = -t*p + 2 for d.
-1
Suppose -3*t = -4*i - 3 + 6, 2*i - 18 = -4*t. Solve i*h = 4*a - 16 - 19, 5*h + 3*a + 10 = 0 for h.
-5
Suppose -u + 37 = -5*x + 13, -4*u - 5*x - 4 = 0. Solve 2*o + n = u*n - 12, 4*o + 8 = -2*n for o.
-3
Suppose 7*p + 3 - 24 = 0. Solve -3*m + 3 = -p*z - 6, -5*m + 15 = z for m.
3
Let r be (1 - 0)/((-2)/(-546)). Let s be 1/((-543)/r - -2). Suppose s = 5*i - 2*t, -3*i = 2*t - 25 - 36. Solve 5*c - 6*c = -5*x + i, 0 = 4*x - c - 15 for x.
4
Let w = -2 + -3. Let d = 7 + w. Solve -4*k - a - 14 = 0, 0*k = d*k + 4*a for k.
-4
Let h be 8/2 - 5 - -5. Solve 0 = -3*p - h*q + 3*q + 15, 2*p - 4*q = 10 for p.
5
Suppose -5*a + a + 28 = 0. Suppose 3*r - 20 = -4*o + a, r + 10 = 5*o. Suppose h = 2 + 17. Solve t - 3*d = -o + 10, 0 = 5*t + 3*d + h for t.
-2
Let k = 15 - 13. Let v = 11 + -5. Suppose 6*p = -2*q + 3*p - 6, 3*q - 3*p = v. Solve q = -5*f + b - 10, 3*f - 8 = f - k*b for f.
-1
Let f be -2 - (35/(-5) - 0). Solve 5*d - 23 = -f*j + 4*j, -3*d = -2*j - 6 for d.
4
Suppose 0 = 2*n + 4*c - 8, 3*n = -5*c - 4 + 15. Solve -2*v + 2 = -4*i, -2*i + n*v = 6*v - 4 for i.
0
Let u be 6/21 - (-52)/14. Let o(k) = -k**2 + 6*k + 5. Let p be o(u). Let f be 38/9 + 2/(-9). Solve -2*j - p = -3*b, -f*b + 0*j + 21 = j for b.
5
Suppose k = -0*f - 4*f - 10, 0 = -k - f - 1. Solve -4*x + k*t = -4, -t + 6 - 2 = 4*x for x.
1
Let i(c) = -c**2 + 5*c - 2. Let x be i(2). Suppose 0 = -5*u + 10. Let v be u/(-3)*-6 - -2. Solve 4*f - 2 = -a, a + v = x*f - 0*a for f.
1
Let t = -5 + 2. Let v be (-24)/8*8/t. Solve -5*a + 5*c = -a - v, -3*c - 2 = -a for a.
2
Suppose 0 = -2*d + 5*y + 13, 2*y + 9 = d - 3*y. Suppose 2*s = d + 10. Solve -s = -5*p + 3*f, 2 = 3*p + 5*f + 25 for p.
-1
Let y = 11 + -10. Suppose 7 = 2*i - y. Solve -12 = 4*j - i*w, 2*j + 3*j = 4*w - 10 for j.
2
Let a(c) = 6*c - 1. Let d = 1 + 0. Let q be a(d). Solve q*r - w + 3 = 2*w, 3*r - 3*w + 3 = 0 for r.
0
Suppose -j - 2 = 0, 5*j + 4 + 2 = -2*s. Solve 3*i + 0*i + 10 = 2*l, 2*i = s*l - 10 for i.
0
Let s = 6 + -3. Suppose 0 = -s*c + 3*i - 6 + 33, -5*i = 5*c + 5. Suppose 0 = c*v + v - 20. Solve -v*g + 15 = k, -3*k - 2*g = 3*g - 17 for k.
-1
Suppose -434 = -4*q - 50. Let z = q - 67. Suppose -4*f - 3*v - 6 = -z, -2 = -f + 3*v. Solve -3*t = -7*t - 2*c + 22, 27 = 3*t + f*c for t.
4
Suppose 5 = 5*x - 20. Solve -4*n = -x*z - 5, 0 = 5*n + 3*z + z + 45 for n.
-5
Suppose u - 13 = -0*u + 2*n, -22 = -4*u + 2*n. Let r = 0 + u. Solve 3*m = -4*a - 25, 3*m - a = r - 8 for m.
-3
Suppose -5*y + 2*p - 5*p - 44 = 0, 0 = -y + 2*p - 14. Let f(j) = -j - 10. Let c be f(y). Solve c*v - 4 = i + 2*v, -3*i + 2*v - 4 = 0 for i.
-2
Suppose 3*k - 16 = -2*y, -2*k + 3*k - 27 = -5*y. Suppose s = 2*q - 10, 2*s - 1 = -q - k*q. Solve 0*j - 3 = -q*j, -2*j = -3*n + 4 for n.
2
Let l(w) = -w**3 + w**2 + w - 1. Let n be l(1). Solve n - 3 = 3*a + 3*i, 8 = 2*i for a.
-5
Let p = -6 - -11. Suppose p*w = -3*f + 3 + 13, 0 = -5*w - 4*f + 13. Solve -3 = -u - 4*d, -4*d - 15 = -w*u - 0*d for u.
3
Let d(p) = 2*p**2 - p - 10. Let z be d(3). Solve 2*x + 3*i = 8*i + 16, -z*i = 20 for x.
-2
Let z(m) = m**2 - 2*m + 3. Let p be z(2). Let u(h) = h + 5. Let k be u(-7). Let i be -9*(2/3)/k. Solve 5*o + 5*g + 7 + 13 = 0, -i*g - 18 = -p*o for o.
1
Suppose -s + 2*i + 52 = 2*s, 4*s + 2*i - 88 = 0. Solve 3*f + 4*l = 7*f + s, -2*l + 10 = 3*f for f.
0
Suppose 5*t = -2*b + 18, -2 + 8 = -t + 2*b. Solve -m = 2*x + 3*m - 10, 0 = 3*x - t*m - 15 for x.
5
Let p be ((-96)/(-60))/((-3)/(-15)). Solve -5*f - 2*q - 7 = 0, -3*q + p*q + 5 = 0 for f.
-1
Let r(a) = a**3 - 8*a**2 + a - 4. Let h be r(8). Solve -h*d + 1 = -4*l - l, -d = 5*l - 19 for l.
3
Suppose -2*q + q - 2*n + 12 = 0, 2*n = q + 8. Let d = -64 + 96. Suppose -2*i + d = q*i. Solve 2*w = -h - 1, 3*w - h = 4*h - i for w.
-1
Let c(f) = 10*f. Let h be c(3). Let v be 4/h*33*5. Solve 3*l + 6 = 0, 0*l - v = 5*n + l for n.
-4
Let z be 2*(-2)/(24/(-18)). Solve -3*v - 40 = -6*x 