 h*f, 0 = -3*c + 5*f - 0 - 6 for c.
3
Let q(n) = -n + 6. Let i = -11 - -17. Let f be q(i). Solve -v + 4 = f, 5*w - 5*v + 11 = 2*w for w.
3
Suppose -3*r = -4*f - r + 12, -3*f + 9 = 5*r. Solve 4*l - 15 = f*d, 0 = 4*l - 2*l + 4*d + 20 for l.
0
Let b = 4 + 1. Suppose 0 = -b*v + 4 + 31. Let l = -5 + v. Solve 0 = -5*o - 5*q + 10, 5*o - 13 + 38 = l*q for o.
-3
Suppose 0 = -m - 3*n - 11 - 2, 0 = -n - 5. Suppose -m*j + 10 = -6. Solve p = -2*g - j, -2*p + 4*p - 2 = 5*g for g.
-2
Suppose -3 = 5*o - 58. Solve 7*u - 4*u + 21 = -3*z, 0 = z + 3*u + o for z.
-5
Suppose -4*j + 7 = 39. Let q be (-2)/j - (-45)/12. Let z be -1*(-3 + q/(-2)). Solve 2*t = 3*l + z + 9, -24 = 4*l - 4*t for l.
-2
Let y(q) = -q + 5. Let m be y(5). Suppose -2*o + 3*f = 4*f - 3, -5*o = -3*f - 35. Solve m = 4*r - 4*l - 12, -6 = 2*r - o*r - 2*l for r.
3
Suppose 11 - 7 = c. Solve 3*i - 15 = 5*j + 2*i, c*j + 12 = i for j.
-3
Suppose 0 = 5*i - 4*i + 11. Let t = -8 - i. Solve -4*j = t*c - 4, -8 = -2*c + 2*j + 4 for c.
4
Let i be (5 - 5)/(-6) - -3. Solve -5*l = -i*a + 21, a - 2*l - 4 = 4 for a.
2
Let u be ((-18)/(-15))/(4/20). Solve -q = -2*p + 3, -4*q = p + 27 - u for q.
-5
Suppose -2*r + 19 = 5*y, r + 1 = -0*y + y. Let g be -2 - (-1 + -2 + 1). Suppose g = -y*j - j. Solve 2*v - 3*v - 3*f + 7 = j, -3*v - 3*f = -15 for v.
4
Let f = -7 - -11. Suppose 2*c + 4*z - 2 = 4*c, 0 = 4*z + 4. Let r(d) = -d - 3. Let j be r(c). Solve -5*m + j - 1 = q, 2*m = f*q + 4 for m.
0
Let a = 18 - 9. Let f(n) = -3*n - 5. Let p be f(-6). Suppose -a - p = -y. Solve -z + 4*m - y = -5, -2*z - m - 7 = 0 for z.
-5
Let o(s) = 4 + 3 - s - 5. Suppose 4*c = -c. Let z be o(c). Solve 3*l = 2*p + z*l + 12, 4*l = -2*p + 8 for p.
-4
Let r be 2/4*0/1. Suppose 1 = -3*a + 2*a. Let f be (r + a)/(1/(-4)). Solve 2*o + 2*i = -12, f*o + 4*i - i + 21 = 0 for o.
-3
Suppose -3*s + 0*s = j - 10, 0 = s - 4. Let l(v) = v**2 - 4*v - 2. Let a be l(6). Let m = a + j. Solve 0*z - 4*z - 3*t = -7, 4*z = -4*t + m for z.
1
Let x be ((-224)/(-21))/(-8)*(-6)/4. Solve 3*j = -3*u - 3, -2*j - 3*u + x*u - 2 = 0 for j.
-1
Let q be 6*(-3 - (-76)/(-6)). Let y be q/(-5) + (-1)/(-5). Let a(r) = r**2 - 6*r + 4. Let t be a(6). Solve 3*i + y = 4*v + 4*i, 19 = 3*v - t*i for v.
5
Suppose 0 = 2*n + t - 2, -2*n - 2*t - 6 = t. Solve 3*r - 1 = -z + 16, -3*r + n*z = 3 for r.
4
Suppose 0 = n - 8 - 0. Solve t - 4*t - k = -n, 3*k - 12 = 3*t for t.
1
Let x be 3 - (-16 + 2 - 3). Suppose b + x = 6*b. Solve -4*f - 2*k - 28 = 0, b = -2*k - 4 for f.
-5
Suppose 3*o - 14 = 2*o. Solve 7*d + 5*j = 4*d + 20, -3*d = -j - o for d.
5
Let w(t) = t**3 - 13*t**2 + 13*t - 6. Let d be w(12). Solve -3*l + 2*i - 7 = 0, i - d = 4*l - 0 for l.
-1
Let l = -5 - -12. Suppose -5 - l = -4*o. Solve -o*q + 0*q + 9 = 3*w, -2*w = 4*q - 8 for q.
1
Suppose -5*l + u = -2*u + 51, 5*u = -4*l - 26. Let r(d) = d**3 + 10*d**2 + 8*d - 1. Let w be r(l). Solve 3*n - w = -4*k, 0 = k - 3*n + 4 + 9 for k.
-1
Suppose -k + 1 + 1 = -o, -14 = o - 4*k. Suppose -o + 14 = 4*t. Suppose 4*z = 4*a + 4, 2*a + t = 3*z - 2. Solve 20 = -4*g + a*i, -2*g + 1 - 3 = i for g.
-3
Let b(c) = -c**3 + 4*c**2 + 2*c - 2. Let g be b(2). Let u = g + -5. Solve -q - d + 4 = q, 3*q - u*d - 32 = 0 for q.
4
Let m(y) = -2*y - 1. Let p = 9 - 11. Let f be m(p). Solve 5*q = 3*s + 7 + 3, -f*q + 5 = -2*s for q.
5
Let w(s) = 3*s**2 + 2*s. Let f be w(-2). Suppose l - f = -l. Let r be -6*((-2)/6 + 0). Solve -a = l*a + r*c + 3, -c + 1 = 0 for a.
-1
Let z = 16 + -14. Solve 0 = 3*r + 4*s + 12 + 4, -s = z*r + 4 for r.
0
Let d(o) = -o**2 - 5*o - 4. Let b be d(-3). Let l be 309/21 - b/(-7). Solve 20 = -3*r + r - 4*j, -5*j - l = 0 for r.
-4
Suppose 2*v - 54 + 14 = 0. Solve 5*k + 19 + 6 = u, 0 = u - 4*k - v for u.
0
Let o(b) = 7*b - 23. Let p(u) = -11*u + 35. Let m(n) = 8*o(n) + 5*p(n). Let d be m(5). Let i = 8 + d. Solve -5*s + 0 = -4*a - 8, -i*s + 2*a = -10 for s.
4
Suppose 3 + 32 = 5*s. Suppose -16 = -s*b + 19. Solve -3*x + 5*n + 20 = 0, 2*n + 3 = 5*x - b for x.
0
Let w = 8 + -7. Let r be w/(-3) + 52/12. Solve -3*t - 3*z - 9 = 0, 0*t = 5*t - r*z - 3 for t.
-1
Let v(o) = 11*o**2 - 1. Let r be v(1). Let g be r/(-5*(-8)/20). Solve 2*x = -s + 6 - 3, 5*s = -5*x - g for x.
4
Let h be 0/(-1 + (3 - 4)). Suppose 2*p - 37 + 11 = h. Solve 2*f - f + 2*y - 1 = 0, -2*f - p = -y for f.
-5
Let a = -20 + 29. Let n = a - -10. Solve -m = -3*o + 14, 0*o - 4*m + n = 3*o for o.
5
Let d(j) = 13*j. Let u be d(2). Suppose 0 = -2*c + 3*a + 16, -3*c = -8*c + 4*a + u. Solve -3*t - c*m - 3*m - 13 = 0, -m - 5 = 3*t for t.
-1
Let q be (-16)/(-5) - 2/10. Suppose 11 + 1 = -q*k. Let v(f) = -2*f - 3. Let w be v(k). Solve -w*x = -4*b + 10 + 2, b = 4*x + 14 for x.
-4
Let v be 0/(-4 - (-5 + 2)). Let a(b) = b**2 - b + 5. Let n be a(v). Solve n*f + 2 = 4*r, -2*f = -0*r - 2*r for r.
-2
Suppose 8*h = 6*h. Solve -3*l + 4*d - 9 - 4 = h, -l = 3*d for l.
-3
Suppose 0 = y - 7*y + 12. Solve -y*c + 3*w + 5 = -3, 5*c - w - 20 = 0 for c.
4
Let h = -119 - -123. Solve -c = -3*v + h*v, -4*c = 3*v + 5 for c.
-5
Let d = -51 + 54. Solve 2*s - d*f = -0*f - 2, 4*s = f - 4 for s.
-1
Let u be (-8)/(-20) - (-7)/(-5). Let y = u - -1. Suppose 4*b = -y*b. Solve -4*i - 4*f - 15 = -7, b = -4*f - 12 for i.
1
Let v(l) = -2*l - 12. Let n be v(-6). Solve 0 = 2*f + 3*c - n*c - 6, 0 = -4*c + 16 for f.
-3
Let b(h) = h**3 + 4*h**2 - 5*h + 3. Let g be b(-5). Let o(k) = 6*k - 3. Let d be o(2). Solve 2*u + 3*j = g*u - 1, -j + d = -5*u for u.
-2
Let k = -2 + 8. Suppose -k = -2*t - 2. Suppose 0 = 3*h - 6 - 0. Solve -3*i - 19 = t*z, -z + h*i = 6*i + 17 for z.
-5
Let x(j) = -j**3 + 6*j**2 + 6*j + 9. Let l be x(7). Solve -5*v = -5*m - 20, 3*v - 2*m = l*m + 11 for v.
5
Suppose 3*w + 9 = s + 29, 2*s + 4 = 0. Solve -5*r + 25 = -5*q - 5, 0 = -2*r - q + w for r.
4
Let j be 0*(15/(-6) + 3). Let p be 1 + (j + -1 - 0). Solve -3*a = -2*u + 11, p = -2*a - 2*u - 7 + 3 for a.
-3
Suppose -4*x - 4*x + 32 = 0. Solve 2*w = 5*y - 21, 9*w = x*w - 15 for y.
3
Let o = -2 - -6. Let f be ((-2)/o)/((-9)/36). Solve -f*s + 5*m - 5 = 0, 4*s + 1 - 9 = 4*m for s.
5
Suppose 0 = k + k + 26. Let i = -4 - k. Solve 3*n + i = 3*w, 2*n + 0*n - 2 = 0 for w.
4
Suppose -5*p + 33 = 4*z, 4*p + 2 = z - 1. Solve 22 = -2*l - y + 5*y, z = -5*l - 2*y for l.
-3
Let n = -21 + 10. Let t = n - -16. Let l(w) = -w - 4. Let g be l(-6). Solve g*i - 20 = -2*i + s, 0 = t*i + 3*s - 8 for i.
4
Let s(r) = r + 9. Let k be s(-7). Suppose -5 = -k*y - 3*y. Solve 4*i - d - 2*d = -y, 5*i - 7 = d for i.
2
Let k = -2 + 4. Suppose -k = 2*v + 3*j - 1, 3*v - 2*j + 8 = 0. Let y be v*(-1 + -1 + 1). Solve 3*h = y*i - 2, -5*i + 4*i + 4*h = -1 for i.
1
Suppose 7*v - 20 = 2*v. Solve -m = 2*t - 13, -3*m + 0*t + v = -t for m.
3
Let n(t) = -13*t - 5. Let z be n(-1). Solve -g - 3*u = 6, -4*u - z = 4*g - 2*g for g.
0
Let k = 21 - 14. Solve -3*t - k - 9 = -4*d, 2*d = 2 for t.
-4
Let a(n) = n**2 - 1. Let b be a(2). Suppose -8*d + 5 = -b*d. Solve 3*c + 3 = -3*m, -m + d = -5*c - 4*m for c.
1
Suppose 2*j + 3*l - 2 = l, 0 = -5*j + 2*l - 9. Let d = -2 - j. Let u = d + 2. Solve -3*n - 7 = 4*r, 0*n = -3*n + 4*r + u for n.
-1
Let o(x) = 14*x**2 + 1. Let t be o(1). Suppose -2*k - 3 = -t. Solve 5*g - 5*z = 10, 2*g = k*g + z + 7 for g.
-1
Let o be 8 + (0 - 8/2). Solve l = p - 2, 3*l - p - p = -o for l.
0
Let z be (8/20)/(3/15). Solve x - 3*u = -9, -3*x + z*u = -4*x + 1 for x.
-3
Let v = 3 - 0. Solve -z + 3*x = 4*x + 1, z - 11 = v*x for z.
2
Suppose -z = 4*z. Solve 2 = -h - 2*s - 2, z = -h + 2*s + 12 for h.
4
Let s = -13 - -2. Let n = -7 - s. Solve -2*x - 20 = 3*g - 8, 2*g - n*x + 8 = 0 for g.
-4
Let t = -57 + 62. Solve 5*z - 13 = v, 7*v = 2*v + 5*z - t for v.
2
Suppose x + 0*l + 5 = -3*l, -3*x = -3*l - 9. Let s be 10 - 11 - (-4 + x). Solve -3*r = -4*o + 10, 0 = r - s*o + 2 + 2 for r.
-2
Let n be (2/4)/(2/4). Let a(q) = -q + 3. Let f be a(4). Let c be f/2*(-2 + 2). Solve -3*l = -v - n, c*l + 5*v + 16 = 4*l for l.
-1
Suppose -4*n + n = 4*s - 69, 5*s - 2*n = 69. Suppose -11*i = -9*i. Solve i = 5*l + 15, -2*j + 0*j - 5*l - s = 0 for j.
0
Let y = -53 - -57. Solve 0*j + 2*r = -4*j - y, j - 2*r = -1 for j.
-1
Suppose g = 5 - 2. Let r be 558/24 - g/(-4). Solve 0*p + t + r = 5*p, 0 = -p - t + 6 for p.
5
Let h be 2/(-3 + (-50)/(-18)). Let c = h - -17. Solve -2*o = v + 3, -3*v - 2*v - 3*o - c = 0 for v.
-1
Let k(n) = -n**2 - 4*n + 1. Let u(i) = 2