h*n - 11, -2*y + 2*n + 16 = 0 for y.
5
Let c(w) = -3*w**3 + w**2 - 3*w - 3. Let b be c(-1). Solve d - b*u = 17, 7 = -7*d + 2*d - 3*u for d.
1
Let w be ((-4)/3)/(2/(-6)). Let f = w + -1. Suppose 5*n - 5 = 0, a + 8*n = 13*n. Solve 5 = a*y - 0, -2 = g + f*y for g.
-5
Suppose -3*p + 87 = 18. Let f = -13 + p. Let l be (f*-1)/5*-1. Solve -5*n = -d - 15, 4 - 8 = -l*n for d.
-5
Let w(m) = 8 + 7*m - m**2 - 5*m + 10*m - m. Let p be w(7). Solve -g = -3*j - 17, 3*g + p = -4*j + 7*g for j.
-4
Suppose 3 = 4*u + 23. Let z be 2 - 82/u - 6/(-10). Solve -2*t - 14 = -m + 5*m, -4*t - 5*m - z = 0 for t.
-1
Let i(w) = 10*w - 158. Let v be i(16). Let k(c) = -c**3 + 4*c**2 - 5*c + 4. Let h be k(3). Let z be 1/((-1)/v) - h. Solve z = l - 4, 4 = 3*u + 2*l - 4*l for u.
4
Let g be (-8)/3 - 6/(-9). Let z be (10/7)/(g/(-28)). Suppose -5*c - l - 2 = -32, 4*l = 2*c + 10. Solve -c*m - 4*d = z, -m - 4 = 3*d - 4*d for m.
-4
Let x = -48 - -82. Suppose x = 2*w - 4*h, h = 4*w + 3*h - 18. Let y = w - 7. Solve y = 4*p - 4*j - 0*j - 16, -2 = -3*p - 2*j for p.
2
Suppose 4*d - 16 = -0*v + v, 4*d - 8 = 3*v. Solve -v*b = 3*x - 31, 5*x = -7 + 32 for b.
4
Let o = 13 - 8. Suppose 3*z = o*z - 180. Let p be (-4)/30 - (-102)/z. Solve -2 = 4*q + y, -2*q - 2*y + p + 1 = 0 for q.
-1
Let n = -2 + 5. Let v(h) = -h**2 + 2*h - 1. Let p be v(-5). Let i = 39 + p. Solve 9*z - 4*z = -w + n, -2*z = i*w + 4 for z.
1
Suppose 4*o - 32 + 6 = -5*u, 0 = -4*o + 16. Let i be u/2 - (2 - 4). Solve 4*d + i*q + 8 = q, 0 = d - 3*q - 5 for d.
-1
Let m = 156 + -144. Solve -p - m = 3*o - 4, -12 = 3*o for p.
4
Let f(o) = o + 8*o - 11*o + 5. Let b be f(0). Solve 25 = -5*h + 2*n, 4*h - b + 42 = 5*n for h.
-3
Let f be (-1 - -2)*6/3. Let g(l) = -2*l**2 + 4*l**2 - f*l**2 + 5*l - l**2. Let c be g(5). Solve -2*r - 5*i + 4 = c, i = -3*i for r.
2
Let t be 1/(0 + 1)*1. Let m(j) = j + 1. Let v be m(t). Suppose -4*l = -4*q + 4, 5*q + 0*q - 12 = -v*l. Solve 4*h + 4*p = q*p + 20, -2*p = h - 5 for h.
5
Let f = 260 + -260. Solve 4 = 2*x + p, 0 = -f*x + 4*x - 4*p - 20 for x.
3
Let q(m) = m**3 - 5*m - 9. Let u be q(3). Solve -22 = 5*y - a, u*a - 1 = 3*y + 5 for y.
-5
Let t(p) = -p**3. Let c be t(0). Suppose c = -2*n - 2*j + 6 - 20, -n = -j + 13. Let b be 12/15*n/(-4). Solve 3*y + 11 = -m, 2*m + b*m + 12 = -4*y for m.
1
Let w(m) = -m**3 + 7*m**2 - 9*m + 5. Let j be w(6). Let h = j + 29. Let b = h - 16. Solve -3*g + b*k + 4 = -2*k, 23 = g - 5*k for g.
-2
Suppose -4*o - 12 + 30 = x, 3*x - 6 = 0. Suppose 0 = -o*u - 4 + 16. Suppose 0 = 2*n - n. Solve 5*k = k + 2*b + 2, n = -3*k + 3*b + u for k.
0
Let c = 15 + -21. Let t(k) = -k**2 - 7*k - 1. Let q be t(c). Suppose a - 3*l = 4, 5*l + 2 = 3*a - 10. Solve -2*d + 2*n + 9 = q*n, 3*d + a = -n for d.
-3
Let b = 105 - 105. Let g be (-6)/(-30) - 24/(-5). Solve -5*a - g*p + 20 = b, -a - 5*p = -5*a - 11 for a.
1
Let v be 85/75 - 1 - 174/(-45). Solve 2*s - 5*i = 21, s + 4*i + 14 = v*s for s.
-2
Suppose -b + 20 = 5*r, -b + 5*b = -3*r + 12. Solve 0*o + 5*o + 30 = -r*x, -3*x - 15 = 0 for o.
-2
Suppose 7*s - 55 = -27. Solve s*u + 4*t = 12, 5*u + 4*t - 12 = -1 for u.
-1
Let b = -4 + 4. Let w be (-1 + 2 - -3) + b. Suppose -m = w*m - 55. Solve 2*a = 5*x + m - 1, -a = 0 for x.
-2
Let z(f) = 7*f - 52. Let r be z(8). Let v be 6/r - 6/(-8)*2. Solve -20 = -5*j + 2*t + 3*t, 3*t - 12 = -v*j for j.
4
Let z be (-17)/51*(-2 + -13)*1. Solve h = 2*b - 15, z*h = -0*h - 5*b for h.
-5
Let l(s) = -2*s**3 + 2*s**2 + 7*s - 3. Let u be l(2). Solve 0 = -2*y - g + 5, 4 + 1 = u*y + 4*g for y.
3
Let f(x) = -x**2 + 6*x - 2. Let t be f(4). Let u be 8/6*t/4. Solve -u*o + 3*l = 5 + 2, 4*l = -3*o - 2 for o.
-2
Let v = 971 - 968. Solve -v*o + 2*o - 6 = 4*u, -o = 2 for u.
-1
Suppose y + 28 = -3*y + 4*b, -y + 13 = -5*b. Let u = y + 13. Let h be 4*u/(2 + 0). Solve -13 = -a + 5*t - 0*t, -a = h*t + 1 for a.
3
Let s = 23 + -17. Suppose 57 = -3*b + s*b. Let v = b + -15. Solve 0 = -5*x - f + 21, -v*x + f + f + 14 = 0 for x.
4
Suppose 0 = 3*p + 8*p - 66. Let u = p + -1. Solve -5*r - 2*h = 3, 5 = -0*h + u*h for r.
-1
Let t = -14 - -26. Suppose 2*c + 2*f - t = 0, 0 = c + 2*c - 5*f - 2. Solve -2*d = -2*h + 8, -d + c*h = 4*d + 17 for d.
-1
Let x(g) = g**3 + 8*g**2 - 20*g. Let z be x(-10). Solve 3*o = z, 2*o = p + 3 + 2 for p.
-5
Suppose -5*q - 4*a + 16 = -3*a, 0 = 2*q + 3*a - 9. Solve t + u + q*u = 14, -4*t = u - 11 for t.
2
Let o = -41 + 22. Let y = -39 - -26. Let b = y - o. Solve 2*r = b + 2, 3*r - 9 = x for x.
3
Suppose 5*s + 3 = 13. Suppose -5 - 5 = -s*o. Solve 3*z + o = c + 4, -4*c + 4 = 2*z for z.
0
Suppose 2*l - x - 11 = -0*x, 28 = 5*l - 3*x. Suppose 0 = l*h + 6 - 21. Solve -4*s - 2*t + 7 = -h*s, -2*s = t - 8 for s.
3
Let i be 6/(-4)*968/(-132). Suppose 5*k + 78 = i*k. Solve -4*p = 5*f + k, -3*f = 4*p - p + 9 for p.
-2
Suppose -4 = -2*l + 4. Let u(r) = -r**2 - 2*r - 9. Let y be u(-6). Let p = y + 35. Solve l*z = -2*s - 8, z - 8 = p*s - 3*z for s.
-4
Suppose -b - 5*t + 30 = 4*b, 2 = t. Suppose 20 = 5*l + 5*z, -4*l + z = b*z - 15. Solve 4 = -a + j + l, 8 = 2*j for a.
3
Let a be -1 + 6 + 0/(5 + 1). Solve 0 = -5*z - 5*o - 15, 2*z - 5*z = 2*o + a for z.
1
Let s = -6 + -1. Let v be s/((-14)/(-4)) + 4. Solve -2*t = 2*r - 6*r - 8, -v*r - 2*t + 2 = 0 for r.
-1
Let i be 14/(4 - 2) - 2. Let l be (3/5)/(i/25). Solve 0 = 5*x + 2*k - 15, x - 13 = k - l for x.
5
Suppose u + 3*u - 4*a = 8, 3*u + 3*a = 24. Let r be (-2)/(-1 + 0) + 13. Solve 3*y - 4*y - 7 = 5*h, r = -5*y - u*h for y.
-2
Suppose 13 = 3*k + l, 3*k - 3*l = -8*l + 5. Suppose -k*t - 3*o + 39 = 0, -2*o = -t - 7*o + 21. Solve -4*x = 4*z + 16, -t*z + 3*z + 28 = -5*x for z.
1
Let p(g) = g**2 - 9*g - 2. Let l be p(4). Suppose 34*f = 43*f + 261. Let n = l - f. Solve -2*k - z = -n, 4*k + z - 11 = 2*z for k.
3
Let s(o) = -3*o**2 + 2*o + 1. Let h be s(-1). Let q = h - -34. Let c be ((-2)/(-2))/(6/q). Solve -4*y + 8 = t - 0, c*t - 8 = -4*y for y.
2
Let u = 16 + -14. Let d be u + -2 - 12/(-3). Suppose 10 = 5*m - 4*t, t - 35 = -9*m + d*m. Solve j + 10 = -3*r - m, 4*r = -2*j - 22 for j.
-1
Suppose -k = 2*w - 5, 3 + 3 = 3*w. Let t = k - -1. Suppose -7*v + t*v + 10 = 0. Solve 0 = 5*n - 2*g + 3*g, -4*n = -v*g for n.
0
Let u = -40 - -29. Let v be (-2)/u + 876/22. Suppose 20 = 6*p - 2*p, 5*l - v = -5*p. Solve -5*r = 0, -l*r + 5*r = -5*c - 5 for c.
-1
Suppose 5*l - 78 + 58 = 0. Suppose 5*g = 3*g + 6. Let b = g + 1. Solve l*m + b*y = -32, m - 22 = y + 4*y for m.
-3
Let w(f) = -f**2 + 7*f + 8. Let b be w(8). Suppose -5*s + 19 - 9 = b. Let m be s + 0 - (4 + -14). Solve 4*y + 9 = 3*r, 2*r = -r - 3*y - m for r.
-1
Let h(p) = -3*p**2 + 14*p + 6. Let o be h(5). Suppose 2*s = o + 7. Solve k + 3 = -l, -s*l - 2*k - 1 = 1 for l.
2
Let d = -92 + 94. Solve 0 = 4*j + 7*z - d*z + 16, -j + z = -5 for j.
1
Suppose 21*c - 19*c = 12. Let s be -14*(27/c)/(-9). Solve -5*h + 6 - 19 = p, 2*h + s = -p for p.
-3
Let z be (2/11 + 2/(-11))/(-2). Suppose -19*c + 14*c + 60 = z. Solve -c = -2*j + 2*x, -3*x - 16 = 2*j + 2*x for j.
2
Suppose 0 = -42*o + 10*o + 224. Solve -b = -4*j - o, 8 = -4*j - 5*b + 19 for j.
-1
Let s(a) = 17*a - 252. Let c be s(15). Solve -q = -5*b + 4, -2*q = 5*b - 4 - c for q.
1
Suppose 273*d = 298*d - 125. Solve d*q + 4 - 9 = -5*s, 3*s - 19 = 5*q for q.
-2
Suppose 2*n = -2*w - 18 + 48, 3*w = n - 3. Solve n = -2*t + 5*u - 3, 5*t + 23 = -2*u for t.
-5
Let q = 55 - 55. Let c(f) = -f**2 + 6*f + 2. Let o be c(6). Suppose o + 0 = s. Solve -5*x + s = v, 0 = 2*x + 5*v - 10 - q for x.
0
Let t be (20/(-6) - 0)/(4/(-6)). Suppose t*p - 18 = -p. Solve -m = -5*j - 25, -p*m + 25 = -0*m - 5*j for m.
0
Suppose 4*w + 64 = 76. Solve 4*y - 35 = 5*v - y, -w*v - 3*y - 9 = 0 for v.
-5
Suppose -40*j - 3 = -41*j. Solve 5 = 2*s + 3*s - 5*q, -j*s + 3 = -4*q for s.
1
Suppose 5*x - s = 3*s + 4, 3*s = 3*x. Solve -25 = x*v - 5*p, 2*v + 5 = 3*p - 8*p for v.
-5
Let s be (1 - 4) + (6*3 - 3). Suppose j + s = 4*j. Solve -5*b - 3 - 2 = 5*k, -j*b - 2 = 2*k for b.
0
Let y be 2 + (0 + -3 - -1). Let u = -13 + 17. Solve -27 = 3*r + 5*i - y, -2*r + u*i = -4 for r.
-4
Let k(n) be the first derivative of n**4/4 + 5*n**3/3 + 2*n**2 - 11. Let i be k(-4). Solve g + 24 = -4*f + 3*g, i = 5*f + 4*g + 17 for f.
-5
Let f = -34 + 38. Suppose -2*u - x = -7, 2*u - 5*x = 7*u - 20. Let s be 16/u - 1/3. Solve -32 = -4*d + f*w, -s*d + 6*w - 3*w + 32 = 0 for d.
4
Let i = 54 + -15. Let