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