= -n, -5*n + 8 + 7 = 0 for v.
-5
Let u be (-2)/2 - 24/(-8). Let r be 6/u - (-8 + 8). Solve -3*b - 3*q - 41 + 14 = 0, 12 = -r*q for b.
-5
Let t be (2/6)/((-2)/(-18)). Let a be 39/(-91)*(0 + -7). Solve -3*z + 4 - 10 = -t*x, -4*z + a*x - 5 = 0 for z.
1
Suppose -4*h + 3*b + 14 = 0, 2*h = 4*b - 5*b + 12. Suppose -3*c - 50 + 19 = -h*i, -15 = -i + 5*c. Solve 5*q - 41 = i*a - a, -3*q = -3*a - 27 for a.
-4
Suppose 0*o - 3 = -o. Suppose -3*v = -3, -o*h - 3*v - 2*v = -14. Let n = h - 1. Solve -g + n + 19 = -5*w, -25 = 5*g + w for g.
-4
Suppose 2*i - 78 = -4*i. Solve y + d + i = 4*d, -y + 4*d = 18 for y.
2
Let g = 11 + -6. Let x(i) = -5*i**3 - i. Let h be x(-1). Let o be 2/(4*1/h). Solve -4*n + 17 = -g*l, o*n - 2*l - 6 = n for n.
-2
Let w(a) = -a - 2. Let g be w(-4). Suppose 10 = g*k, d + 5*k = 25 + 2. Solve 4*t + 8 = 0, d - 3 = -3*p + 2*t for p.
-1
Suppose 5*z - 3 = 12. Solve 3*h + h - 11 = -z*b, 11 = 5*b + 3*h for b.
1
Suppose 5*g - 40 = 30. Solve -s + g = -3*f, s = f - 0*s + 4 for f.
-5
Suppose 2*k - 4 = s, 4*s - 19 - 9 = -3*k. Suppose 8*z - 16 = 4*z. Suppose z*f + 12 = 0, 4*f - 3 = j - 19. Solve 0 = -y - k*r + j, -3*y + 3*r = 8 + 10 for y.
-4
Let s(r) = r**2 - 6. Let n be s(3). Suppose 2 = -q + 5. Solve n*j = -q*w + 18, -3*j + 3*w + 3 = j for j.
3
Let y(c) = -c**3 - c**2 + 2. Let b be y(0). Let v = b - 2. Suppose v = -3*j + 4*j - 2. Solve -4*i = -j*o - 2*o - 12, 0 = 5*i - o - 3 for i.
0
Let q(h) = -7*h + 3. Let a be q(-4). Solve c = -2*i - 3*c + 24, -3*i = 5*c - a for i.
2
Let q = 56 - 52. Solve u + q*u - f + 26 = 0, 5*f = 5 for u.
-5
Let n be 3/(-6)*2 + 4. Solve -n*y = 2*g + 3, 0*y - 3*y - 9 = 0 for g.
3
Let r be -2 + -3*(-2 + 1). Let k be (-3)/(-3)*(r + 15). Solve -x = -0*g - 2*g - 1, -2*x - k = 2*g for x.
-5
Let y = 90 + -75. Solve 0 = d + 4*v - 10 - 9, -d + y = 3*v for d.
3
Let s = 23 + -11. Suppose -s = -6*g + 3*g. Let n be (-10)/4*(-2 + 0). Solve 4*p - n*i = 0, 0*i - 5*i - 40 = g*p for p.
-5
Suppose -5*m = -4*a + 37, -m - 19 = -5*a + 22. Suppose -9*n = -a*n - 3. Solve 5*t - 2*s = -10, n*t - 4*s - 4 = 4 for t.
-4
Let d = 7 - 4. Suppose 2*a - 4*p - 6 = -0*a, -2*p = -2. Let m(b) = b**2 - 3*b + 6. Let g be m(a). Solve o + 2*s + g = -o, 0 = -d*o - 5*s - 32 for o.
-4
Suppose 47 = 3*x + 2. Solve 2*l = -4*p + 2*p, 0 = -3*l - x for p.
5
Suppose 0 = -0*n - 3*n + 12. Suppose -3*r + n = -r. Solve r*d + 3 = o, 3*d + 0 = 5*o - 1 for o.
-1
Let u be (12/(-9))/((-2)/3). Let k(z) = 2*z - 5. Let r = -4 + 9. Let i be k(r). Solve 4*a = 2*v + 6, -14 = -u*v - 2*v - i*a for v.
1
Suppose 2*b + 2*j + 6 = -4, -2*b = -j - 5. Suppose -5*i + b = -10. Solve -4*l + x - 7 = 0, 0 = -4*l + 3*x + i*x - 19 for l.
-1
Let z = -40 + 57. Solve 0 = 2*a - 3*w + z, -3*w = a - 2 - 3 for a.
-4
Let g be (-1*1)/(5/(-25)). Let h be ((-30)/(-35))/((-4)/(-14)). Solve l - h = -3*y - 2*l, 0 = -5*y + g*l - 35 for y.
-3
Let m = -23 - -48. Solve 0 = 5*l + 4*n - 2, 5*l + 0*l + m = 5*n for l.
-2
Suppose 0 = -3*l + 2*l + 3. Let u = l - 3. Solve 3*p + u*p - 7 = -5*s, 3*s = -p + 1 for p.
4
Suppose 5*g - 22 = -2*b + 2*g, g = -3*b + 19. Solve u - 3*v = -b, 0*u - 2*v = 3*u + 4 for u.
-2
Suppose -5*l + 54 = -2*b, 4*l = 2*b - 4*b - 54. Let o = 45 + b. Solve -4*a - a + 3*h - 4 = 0, 0 = 3*a + 5*h - o for a.
1
Suppose -4*u + 16 = -3*r, 3*r = 4*u - 3*u - 4. Let j(o) = -2*o + 1. Suppose -2*f - f = 18. Let h be j(f). Solve 4*t - h = l, 2*l + 17 = 5*t - r*t for t.
3
Suppose 24 = 4*z - z. Suppose -3*o + 11 = p, -4*p + 3 = o - z. Solve x + o = -3*j - 3, -9 = -4*x - j for x.
3
Suppose -18 = 3*k - 75. Solve 0 = 3*i - 4*z + k, i - 4*z = -4*i - 21 for i.
-1
Let f be 2*(-1)/4*-4. Let q = f + 10. Solve -4*j - l = -q, 0 = -j - 2*j - 4*l + 9 for j.
3
Let s(m) = 5*m**2 - m - 2. Let j = -28 + 27. Let t be s(j). Solve 4*i + 3*r - 11 = 0, -4*r = -t*i + 15 + 17 for i.
5
Suppose 2*t - 12 = 3*o, -t - t + 14 = -4*o. Let p be o/(-4)*(2 - 6). Let v = p + 4. Solve v*k - m = 1, -3*m + 21 = 4*k - 2*k for k.
3
Let l be (0/1)/(-2*1). Suppose 4*a + 3*r - 20 = l, 4*r + 0*r - 16 = 0. Let s be -1 + -3*(-4)/2. Solve 2*z - 9 + 3 = -s*q, a*q = -z + 2 for z.
-2
Suppose 68 + 120 = 2*a. Let h be 17 + 2 + (-2 - -1). Let y be a/h - 6/27. Solve 3*v - 9 = -5*n, y*n + 0*n - 11 = -2*v for n.
3
Suppose -1 - 5 = -2*v. Suppose -5*z = 5, -4*d - z = -2*d - v. Solve -d*n - 15 = 5*k, 0*n = -4*n + 3*k + 35 for n.
5
Suppose 0 = 8*u - 4*u - 20. Solve -2 + 3 = 4*n + u*a, 4*n - 31 = 5*a for n.
4
Suppose -4*i + 9 + 1 = 2*u, i - 2*u = 15. Suppose -4*p - 24 = -4*a, -4*a + 3*p - 3 = -23. Suppose a*m = m. Solve -i*r - 18 = q, 3*r + 3*q + 0*q + 6 = m for r.
-4
Let h = -6 + 24. Solve 5*y + 27 = 3*n, 5*n = 2*n + 2*y + h for n.
4
Let o be 1/(-5) + (-21)/(-5). Solve -3*u + 4*s + 5 = 0, -3*u + o*u - s = 2 for u.
3
Let y(w) = -w**3 - 3*w**2 + 3*w - 2. Let q be (-2)/4*(11 - 1). Let f be y(q). Solve 3*k + 5*b - f = -k, 0 = 2*k - b + 1 for k.
2
Suppose 5*q + 3 - 13 = 0. Let y be ((-2)/(-1) + 3)*1. Solve -f = -0*f + y*a - 3, q*f = -5*a + 1 for f.
-2
Let g be (-3 - -4)/(0 + -1). Let z = g - -6. Solve 2*i - 7 = o + i, o + 5*i = z for o.
-5
Suppose 3*g + 2*g = 0. Solve 5*f + 5*q = -g*f - 35, -14 = -3*f + 4*q for f.
-2
Suppose 2*j - 7 = 3. Solve 3*h = j*v + 22, -5*v + 5*h - 16 = 4 for v.
-5
Let n(s) = s - 9. Let i be n(12). Solve i*p + 4 = -q, q - 1 = -4*p - 6 for p.
-1
Let c = 7 - 4. Suppose 7*k = c*k + 4. Suppose v + 2*v = 0. Solve -2 = q + h - k, v = 5*h + 5 for q.
0
Let y(i) = -3*i - 26. Let x be y(-10). Solve -x*v + 8 = 4*m, 3*v = -4*m + 7 + 2 for v.
-1
Let n(l) = 15*l**3 - 2*l**2 + 2*l - 1. Let i be n(1). Suppose -5*b = i - 59. Let o be b/(-6)*(-14)/3. Solve 2*d + 20 + 4 = -4*z, d = -z - o for d.
-2
Let q be ((-4)/(-10))/(1/5). Let h(j) be the first derivative of -j**4/4 + 2*j**3/3 + j**2/2 + j + 4. Let f be h(q). Solve -4*r - 3 = f*v - 8, -5*v = 5 for r.
2
Let w be -2 + (2 - (-3)/1). Solve -w*b - 3 = 3*h - b, 5*h + 5 = -5*b for h.
-1
Suppose -3*z = 4*c + 5 - 1, -5*z + 3 = -3*c. Suppose -3*q - 5 + 14 = 0. Solve z = -s - s - q*a, 2*a + 7 = s for s.
3
Let t be 27/6*-2 - -1. Let v be 3 - (t - (1 + -4)). Solve 5*b - 18 = -4*m, 5*m - 5*b - v = -4*b for m.
2
Let h = 1 - -1. Let a be ((-216)/40)/(-9)*5. Solve -h*l + l + 9 = -4*s, -a = -l + s for l.
1
Let o(k) = -4*k - 1. Let x be o(-1). Suppose 4*f = -6*s + x*s + 18, -11 = -5*f + 2*s. Solve 3*z - 22 = -2*j, 4*j - 27 = j - f*z for j.
5
Let n be (0/(-2))/(1 - 3). Let r = 0 + 0. Suppose 13*s - 9 = 4*s. Solve -u + f + s = n, 2*u + r*f - 4*f = 4 for u.
0
Let m = -24 + 29. Solve -2*r - 4*b = 10, -m*r - 3*b + 5 = -r for r.
5
Let t be (-1)/((4 - 6)/54). Solve -5*l = -15, 5*l - t = 6*a - 3*a for a.
-4
Let c = -16 - -25. Solve c*n - 2*j = 4*n + 9, 0 = -5*n - 5*j - 5 for n.
1
Let l be (-129)/12 - (-3)/(-12). Let j = l + 11. Suppose 83 = 4*n + 5*q, -n + q - 4*q + 26 = j. Solve 2*k - 10 = -0*m + 3*m, -5*m - n = -3*k for m.
-4
Let m be 1 + 1 + (2 - -1). Suppose c + 0*c - 3 = 0. Let t(g) = -g**3 + 4*g**2 + 2*g - 5. Let f be t(4). Solve 0 = -f*a - 2*u + m, -2*a + u = -c*u + 2 for a.
1
Let v(h) = -3*h - 12. Let p be v(-5). Solve 17 = -2*t + p*o, 19 = -0*t + t + 4*o for t.
-1
Let o = 17 + -8. Let n = 6 - 9. Let f be o*2*n/(-18). Solve 10 = -2*j - 2*r, 0*j = j + f*r + 7 for j.
-4
Let x = -10 - -14. Suppose 1 - 11 = -2*f. Solve -2*g - 3*p = -6*p - x, -f*g - 3*p = 32 for g.
-4
Suppose 6*d - 3*d = 9. Suppose 0 = -4*u - f + 65, u = d*u + 4*f - 36. Let c be (u/(-12))/(1/(-3)). Solve n + 5*s - 3 - 19 = 0, -c*n + 8 = 4*s for n.
-3
Let p(o) = -o**2 - 4*o + 4. Let l be -2 + 4/(4/(-2)). Let d be p(l). Suppose 5*i + 0*q = 2*q + 20, 4*i + 4*q = -12. Solve u + s = -0*s, d*u + 5*s = i for u.
-2
Let r = -8 - -11. Suppose 4*k + t = 5*k - 3, 5*t - 9 = -r*k. Solve -k*d - 4*m = -m, -3*m = d + 6 for d.
3
Let r(h) = -4*h - 15. Let p be r(-5). Let w(d) = d**2 + 5*d - 4. Let z be w(-6). Solve p*i = -z*o - 2*o - 28, 10 = -5*o for i.
-4
Suppose 5*u + 0*u - 2*o = 8, 4*o = 2*u. Solve -14 = -3*c - 4*x, 5*c - u*c = 5*x - 4 for c.
2
Let m = -50 - -55. Solve -n + m*w + 7 = 0, -5*w + 1 - 2 = -3*n for n.
-3
Let f = -10 - -1. Let s = f - -16. Suppose 3*h - 2 = s. Solve 3*u + h*z - 27 = 0, 3*u + 3*z - 37 = -2*z for u.
4
Let f = 11 + -5. Let z(p) = -3*p + 2. Let y(m) = -m + 1. Let r(d) = -17*y(d) + 6*z(d). Let w be r(-8). Solve 5*x - 10 = 0, 0 = w*j - f*j + 2*x + 5 for j.
3
Let d(t) = -2*