+ 5 + -8. Solve 10 = 3*n - t*k, k + k = 5*n - 14 for n.
2
Suppose 4 = -v + 4*a + 19, 4*v - 21 = 3*a. Solve d + x = -1, -v = 2*x - 1 for d.
0
Let p = 2 - 1. Let z = p + 8. Suppose 0 = 5*t + 4*r - 22, 5*t + 0*r - 3*r - 1 = 0. Solve -5*d - t*h - 3*h = 15, -5*h + z = -d for d.
-4
Let s = 6 - 0. Let c be 45/s - (-4)/8. Let o(g) = -g**2 - 4*g. Let q be o(-4). Solve m + 2*p - 5 = q, 0*m = -4*m - 5*p + c for m.
-3
Suppose 1 = -3*p + 7. Solve p*t - 12 = -4*d, -5*t = d - 6*d + 45 for d.
5
Let a be 8/28 + 108/14. Suppose 3*w = -3, 2*t - 3*w - 3 = -4*w. Suppose 2 = t*h - 2. Solve 12 = -h*j + 4*i - a, 0 = j + 4*i - 20 for j.
0
Let h(f) = -f + 12. Let s(u) = u**2 - 2*u - 6. Let j be s(5). Let i be h(j). Solve -4*k - 3*n = -1, -i*k + 7*k + 20 = 4*n for k.
-2
Let h = -88 + 91. Solve 5*z = -4*s + 26, -h*s + z + z + 8 = 0 for s.
4
Suppose 3*s = -0*s + 3*o + 12, 0 = -s + 4*o + 7. Suppose 5*l + 3*a + 0*a - 14 = 0, 0 = -l - s*a - 2. Solve -3*r + 17 = -l*t, 3*r + 3*t + 18 = -0*t for r.
-1
Suppose -4*t - 9 = -17. Solve -c - 4*b + 22 = -3*c, 4*c = -t*b + 6 for c.
-1
Suppose 0 = 4*g - 7*g + 2*k - 2, 0 = 5*g + k - 1. Suppose -5*p = -5 - g. Let i be 0 - -2 - 0/1. Solve -3*u = -5*l - 12, u - 4 - p = i*l for u.
-1
Let q(n) = -n**2 - 28*n + 4. Let f be q(-27). Solve -4*z - f = -3*g, -4*z = -3*g - 6*z + 7 for g.
5
Let v(x) = -2*x + 2. Let u be v(-5). Let l be (8/3)/(8/u). Suppose -4*w - 3*a = a - 84, 2*w = -l*a + 46. Solve -4 = -t, 5*t = q - 0*t + w for q.
1
Let q(o) = -o**2 + 5*o + 5. Let b be q(6). Let l be (b/3)/(3/(-36)). Solve 2*h = 4, h + l*h = 2*r for r.
5
Suppose 4*y = 5*k + 23, 2*y = 7*y - 2*k - 16. Suppose 7 = 3*c - y. Let d = -25 + 47. Solve -d = c*x - 3*u + 2, 4*x - u + 17 = 0 for x.
-3
Let n(h) = h**2 - 8*h + 5. Let r be n(8). Suppose -5*k - 5*b - 1 = 4, 5*k - 5 = r*b. Solve -5*s + 2*y - 19 = 0, 2*s + y + 3*y + 22 = k for s.
-5
Let g = 6 + -3. Let c(b) = -b**3 - 7*b**2 + 7*b - 10. Let y be c(-8). Let i = 9 + y. Solve g*a = -0*u - 4*u + i, 5*u - 9 = -4*a for a.
1
Suppose 0 = -4*d - 1 + 9. Solve -b + 4*q - 9 = 0, q - 23 = 4*b - d*q for b.
-5
Suppose 0 = a - 3. Solve t - 17 = 4*h, 15 - 1 = -a*h + t for h.
-3
Let s = -1 + -1. Let t be ((-2)/s)/((-2)/4). Let x be 14/4*(t + 4). Solve 24 = 4*q + z, 5*z - x = q + 8 for q.
5
Suppose -4*q + 11 + 7 = 5*b, 18 = 2*b - 2*q. Let i(n) = -5*n**2 - 3*n + 2*n - b*n + 9 + n**3. Let s be i(6). Solve 3*x = 4*j - 32, 2*j - 2 = -s*x - 4 for x.
-4
Let p be ((-12)/(-5))/3*-5. Let a(s) = -s**2 - 7*s - 2. Let z be a(p). Solve 3*w = w - 5*k + 35, -5*k + z = -3*w for w.
5
Let x(s) = -s + 2. Let j be x(-2). Suppose -q + j*q = 6. Solve q*w + 2 = 2*d, 2 = w - 3*d + 1 for w.
-2
Suppose 4*n - 5*c + 5 = 2*n, 0 = 2*c - 6. Solve 0 = 3*w - w + n*b - 10, 0 = -3*b for w.
5
Let k(d) = d**2 + 5*d + 6. Let m be k(-3). Solve m*f + 3*f = 2*u - 11, -12 = 4*f - 2*u for f.
-1
Let u(l) = l**2 - 16*l + 20. Let x be u(15). Solve 2*j = j + 3*m - 7, -25 = x*j - 5*m for j.
-4
Let p(h) = h**3 - 7*h**2 + 9*h - 8. Let t be p(6). Let g be 4/(-2)*(-25)/t. Solve 3*f + f + 5 = -g*k, 0 = -k + 2*f - 15 for k.
-5
Let s = 0 + 7. Let k = 9 - s. Solve -g - 4*h + k = g, -1 = -2*g - 3*h for g.
-1
Suppose -4*b - 64 = -4*u, 0 = 2*b - 4*b - 4*u - 32. Let a = 20 + b. Solve 0 = 5*f + 15, 2*f - 2 = -2*v - a for v.
2
Let j(w) = w**2 + w. Let a be j(1). Suppose 0 = l - a - 2. Solve -3*m = -n + 6, -4 = 4*m - l*n + 12 for m.
-1
Suppose 0 = 2*y - 28 + 10. Suppose s = 2*s. Suppose a - 1 - 2 = s. Solve v = -4*h - 7 - 0, -a*h - y = 2*v for v.
-3
Let s(m) = -1. Let z(l) = -l + 1. Let j(g) = 6*s(g) - 2*z(g). Let f be j(6). Solve -4 = -0*t + f*t - 2*u, -5*u - 8 = -4*t for t.
-3
Suppose 4*l - 3*l - v = 5, -l - 5*v + 5 = 0. Let u = 0 + l. Solve r = -4*f - 3, 3*r + u + 4 = 4*f for f.
0
Let n(l) = -l - 8. Let d be n(-11). Solve b + 0*b - 15 = -5*r, -d*r - 14 = -4*b for r.
2
Suppose -2*m + 12 = -0. Suppose -r = -4*r. Solve -v + y + 6 = m*y, r = 2*y - 2 for v.
1
Let z(v) = 2*v - 10. Let x be z(7). Suppose 27 = -4*q + 5*w, -15 = -q + 3*q - 3*w. Let n be 3 + q - 18/(-2). Solve 3*g = -3*k - n, x*k = -19 + 3 for g.
1
Suppose -2*q = -3 - 1. Solve 8*l - q*h = 3*l - 17, 0 = -2*h - 8 for l.
-5
Let z = 22 - 13. Solve 8 = -3*v - 4*q, -3*v - q = 2 - z for v.
4
Suppose -2*s = 2*w - 4, 3*s = -4*w + 4 + 1. Solve -1 - 1 = -u, 0 = -5*b + s*u - 6 for b.
0
Suppose r - 5*u - 8 = -0*r, 2*r + 5*u = 1. Solve r*k + 4*p = 20, -k = 3*k - p + 5 for k.
0
Let f be 120/21 - 4/(-14). Solve b = 4*h + 14, -5*h - b - 25 = -f*b for h.
-3
Suppose -3*c + 4*c + 6 = 0. Suppose 7*x - 30 = 2*x - 3*j, -x - 1 = 2*j. Let d = x + c. Solve 3*z = 12, 3 = d*a - 3*z + 18 for a.
-1
Let k = 2 - -2. Let h(z) = -z**3 + 4*z**2 + z - 3. Let a be h(k). Solve 5*u + 2 - a = v, -2 = -2*v - 5*u for v.
1
Let g be 1 - 3/(6/(-14)). Solve 13 = -3*f + 2*i - g, -i + 28 = -5*f for f.
-5
Let s be (-1)/(0 + (-1)/3). Solve s*f + 2*l = 2, -2*l + 0*l = 4*f for f.
-2
Let a(q) = -q**3 + 11*q**2 - q + 13. Let y be a(11). Suppose 2*o = 6*w - w - 25, -y*o + 3*w - 15 = 0. Solve 4 = 3*t + 2*u - 3, o = 2*t + u - 5 for t.
3
Let w be (-6)/4*2*-1. Let f(n) = -n + 4. Let k be f(w). Let l(a) = 3*a + 1. Let y be l(1). Solve -y = g - k, -5*m + 5*g = -30 for m.
3
Let a(b) = -b - 12. Let n = -16 + 4. Let g be a(n). Solve 3*x - x - 3*c = 6, -c = g for x.
3
Suppose -2*w + 40 = 3*w. Let m be ((-28)/w - -3)*-2. Solve -2*u = 2*o + 6, 2*u - o + m = 2*o for u.
-2
Suppose -4*f = -2*f - 18. Suppose -11 - f = -4*j. Suppose -j = g - 15. Solve -5*w - 5 = 0, 4*v - w + 3*w + g = 0 for v.
-2
Let b = 2 - 3. Suppose 0*r + 2 = -2*r. Let x be -2 + 7*b*r. Solve 0 = -a + 4*n - 25, 2*a - 1 = -x*n + 14 for a.
-5
Let r = 5 - 2. Let s = 1 + r. Let p be (-3)/6*2*-3. Solve -k + s*k = -a, -4*a + 15 = -p*k for k.
-1
Let z be (0 - 9/6)*-2. Let l be (1/z)/(2/12). Solve 2*p + l*p = -5*v - 5, 5*p = -3*v - 16 for p.
-5
Let v be -2*((-12)/8 + -8 + -3). Solve -5*y - v = 0, h - 4*h - 3*y = 15 for h.
0
Suppose -5*p + 2*f + 11 = 0, 0 = f - 0 - 2. Suppose -4*l - 3*d = -11, 5*d = l + p - 0. Suppose l = -5*t + 22. Solve -5*r = 4*x - t, -5*x - 2*r - r = 8 for x.
-4
Let t = -10 - -11. Let w be (t - 11)/(1 - 3). Solve 6 = w*i - 19, 4*m + 5*i = 17 for m.
-2
Let i be (-7)/(-2) + (-9)/6. Solve i*q + 2 - 7 = 3*j, -4*q + 15 = -j for j.
1
Suppose 0 = -7*t - 3*t. Solve 3*n - 9 + 1 = k, 2*k - 3*n + 10 = t for k.
-2
Let s(a) = a - 3. Let r be (1 + 0)/(4/28). Let x be s(r). Solve 2*l - 3 = -c, -x*l - 5*c - 9 = -0*c for l.
4
Let c(v) = v**3 + 4*v**2 + 4*v + 3. Let y be c(-2). Let r = 20 - y. Solve r = d - 3*f - 2*f, 3*d + f + 13 = 0 for d.
-3
Let f be (-2)/(-2) + 1 - -1. Suppose -2*y - 12 = -2*c, 2*y = -c - f*c. Solve c*r + 2*i + 1 = -1, 2*r + 4*i + 4 = 0 for r.
0
Suppose -46 + 10 = -3*t + 4*i, 2*t = 3*i + 24. Solve 2*y = 4*y - 5*r + t, -2*y = -4*r + 10 for y.
-1
Suppose -6*m + 37 - 25 = 0. Let k(l) = l + 4. Let q be k(-6). Let z be (-1 - 20)*q/6. Solve 5*u - 17 - m = -i, i - z = -u for i.
4
Let y(l) = 3*l + 14. Let g be y(-3). Solve -k = 2*k + g*w + 1, -3*k - 3*w - 3 = 0 for k.
-2
Let q be ((-8)/5)/(1/(-5)). Suppose -4*s + 5*p = -21, -s = -0*p + 4*p. Solve -2*l + s + 12 = -5*r, -2*r - 4*l + q = 0 for r.
-2
Let x = -5 + 7. Solve 2*q = x*f + 4, 2 - 4 = -q + 4*f for q.
2
Let l be (10 - 3 - 2) + -2. Solve 3*t + 12 = c, 4*c + l*t + 27 = -0*t for c.
-3
Suppose z = -v - 1, -1 + 11 = -z - 4*v. Suppose -z*p + p = -14. Let l be -2*(-2)/8*10. Solve -l*m + 25 = 0, -b + p = 3*m - 0*m for b.
-1
Let g be -3*((-2)/(-1))/(-2). Let x(w) = w**2 - 10*w + 18. Let b be x(8). Solve 1 = y + 3, g*z + y + b = 0 for z.
0
Let a be ((-12)/16)/((-1)/4). Suppose 2 = -m - a*f + 1, 0 = 5*m + 4*f - 17. Suppose -3 = h - m. Solve -h*j - 5*k = -15, j = -4*j + 4*k + 21 for j.
5
Let k be -2*1/2 - -1. Let n be (1 + k)/(3/6). Suppose -n*b + 7 = -b. Solve 4*w = b*s - 3*s, 5*w - 7 = -2*s for s.
1
Let j be 21/(-7)*(-1)/1. Let k be (3 - 24 - j)/1. Let z be (-1)/2*k/1. Solve 5*m - z = -3*t, -m + 6 = 3 for t.
-1
Let u(m) = m + 10 + 15 - 11. Let b be u(-10). Let h be 4/(-14) + 121/7. Solve i = -5*x + 4*i - 23, -b*x = -i + h for x.
-4
Let g = -9 + 13. Let r be 2/g*(3 - 1). Solve u = 2*c - 7, -c = 2*u + r - 7 for c.
4
Let z = -3 + 3. Suppose -2*m = 3*x + 1 - z, -3*m + 6 = 2*x. Let w be (-36)/(-2)*m/6. Solve -o - 5*u + w = 0, 4*o + u = -o + 12 for o.
2
Suppose -4*n = -n - 9. Let k = 13 +