q - h = 8*y - 5*y for y.
0
Let z = -7 + 49. Suppose -117 = -5*k - z. Let r be -2*(0 + k/(-6)). Solve 3*x = r*x - 4*p - 10, 0 = 2*p + 2 for x.
3
Suppose 0 = -y + z + 1 + 14, 3*y + 3*z - 33 = 0. Suppose -5*d + 11 = 2*o + 2*o, -4*o = 3*d - y. Solve 3*f - 5*a = o*f + 13, f - 5*a - 17 = 0 for f.
2
Let j be (-8)/3 - (-4)/6. Let w be 4*-2*1/j. Solve -3*u + 4 + 5 = -o, 4*u - 28 = -w*o for u.
4
Suppose 3*o - 29 = 13. Let a(s) = s + 10. Let t be a(o). Solve 0 = -4*v - 2*h - t, -4*v + v + 5*h = -8 for v.
-4
Suppose -3*g + 2*v + 6 + 9 = 0, 2*g - 10 = -4*v. Suppose 11 = 3*t + g. Solve -3*m = -t*d + 14, -d + 2 = -3*m - 2*d for m.
-2
Let h = 21 - 14. Let j(k) = -k**2 + 11*k - 7. Let r be j(h). Let c = r - 11. Solve -5*o = -g + c, -31 = 3*o - o + 5*g for o.
-3
Let w(z) = 28*z - 3. Let f be w(1). Solve 0 = -5*v + 3*p - 0*p - f, -15 = -5*v - 5*p for v.
-2
Let b(n) = n**3 - n - 1. Let t(m) = 7*m**3 + 3*m**2 - 7*m - 4. Let l(d) = -6*b(d) + t(d). Let r be l(-3). Solve h + 3*c - 12 = 0, -2*h + r*c = h + 20 for h.
0
Suppose 0 = 2*x - 3*x + 2. Suppose -x*h = -0*h. Let l(p) = p**3 + 7*p**2 + 5*p - 6. Let v be l(-6). Solve h = 5*a + 5*m - 25, 2*a + v*m = m + 4 for a.
3
Let p = -11 + 28. Let m(c) = -3*c + 1. Let i be m(-1). Solve -1 = 3*r - i*r - 2*a, r - 4*a + p = 0 for r.
-5
Let k = 29 - 26. Solve 3*b - 18 = -0*b + k*m, -3*b - 3*m + 6 = 0 for b.
4
Suppose 5*g = -3*t - 145, -4*t + 112 + 36 = -4*g. Let k be g/(-12) + 4/(-6). Solve -3*o = 3*u - 5*o + 1, -k*u + 4*o + 2 = 0 for u.
-1
Let v(x) = 2*x - 9. Let n be v(7). Suppose 2*f = n*q - 123, 0*q + 38 = 2*q + 2*f. Solve 3*b = -c + 13 - 2, -4*c - 5*b = -q for c.
2
Let d(p) be the third derivative of p**6/120 - p**5/60 + 10*p**3/3 - 3*p**2. Let j be d(0). Solve 5*t = 3*i - 0 - j, t + 4 = 0 for i.
0
Let m(d) = -3*d - 10. Let v be m(-6). Suppose 3*o = -3*k, -3*o + 0*k + v = -k. Solve 2*b - z = 2*z + 6, o*z + 4 = 5*b for b.
0
Suppose 2*p - 9 = -p. Suppose -p*x - x = -84. Solve -6*y = -3*y + 15, -2*t = 3*y + x for t.
-3
Let u be 26/(-10) + 2/(-5). Let w be -4*-1*(-1 - u). Suppose 3*z - w = 4. Solve 5*j + 17 = 2*f + 2*f, 4*f = z*j + 12 for f.
-2
Suppose -25 = -5*v - i - 2*i, 4*v + i = 27. Solve -20 = -5*l + f + 4*f, 5*f = -l - v for l.
2
Let r(n) = n - 2. Let q be r(4). Solve -2*z + 2*g = 12, -2*z + q*g = -4*z - 4 for z.
-4
Suppose 0 = -3*a - 15, a - 15 = -g + 3*a. Solve 0 = 2*p - 0*p + 4, -2*k + g*p = -8 for k.
-1
Suppose -8*z = -7*z - 18. Solve 2*d + 4*y - 16 = 0, z = 4*y - 2 for d.
-2
Let r = 9 + -5. Suppose 5*d - 8 = 3*d. Let l = d + r. Solve -l = 2*u - 5*y, 0*u + 5*u - 4*y = -20 for u.
-4
Let u = -12 - -15. Solve -5*w - 2*h = 2*h - 37, -u*h = 3*w - 24 for w.
5
Let f be 3 - (2 - (-1 - 2)). Let n be (-3 - (f - 1)) + 7. Solve -13 = -2*g + t, t + 2*t + n = -2*g for g.
4
Let d(a) = 2*a**2 + 11*a + 5. Let v be d(-5). Let b be -6*((-10)/4 + 0). Solve -n + 4 = p + p, -3*n + 3*p - b = v for n.
-2
Suppose 2*n - 1 - 3 = 0. Solve 4*l - 2*r = 0, -5*r = -n*l - 0*l for l.
0
Let r(c) = -c - 1. Let z be r(-6). Let w be 9*(-2)/(-5 + -1). Let h = z - w. Solve -5*p - h*x + 18 = -17, -3*x + 40 = 5*p for p.
5
Suppose -4*b + 0*b = 16. Let v = b - -4. Let c be (-2 + v - -2)/(-2). Solve h + 10 = -0*i + i, -5*i + 25 = c for h.
-5
Let j = 30 - 12. Let u be ((-12)/(-10))/(j/45). Solve 2*c - 7*c - 7 = 3*p, 0 = -u*p + c + 5 for p.
1
Let y(q) = -6*q**2 + q + 9. Let z(l) = 5*l**2 - 8. Let t(r) = 4*y(r) + 5*z(r). Let h be t(-6). Solve -2*a - h = w - 5*a, 2*w - 2*a + 8 = 0 for w.
-2
Let v = -4 + 7. Suppose -8 = -i - v*i. Solve -2*d = -3*d + 3*j + 10, -i*d + j = 0 for d.
-2
Let h be (-5)/(-15) - 11/(-3). Suppose -z + 7 = 4*p, -h*p + 50 = 5*z + p. Let f be (-3)/(-9)*3*0. Solve f = 3*u + 3*g - 8*g - 27, g = 2*u - z for u.
4
Let s = -6 + 27. Suppose 7*y - 8 = 20. Solve -5*o + y = -4*k, -4*k + s = 5*o - 15 for o.
4
Let k be 1/(2 + 10/(-6)). Let b(j) = j**3 - 2*j**2 - j - 3. Let r be b(k). Solve 3*o - 5 = -2*d - r, 2*d = 8 for o.
-2
Let j be (-2)/18 - 181/(-9). Solve -2*x + 4*q = -j, 3*x + q + 7 = 2 for x.
0
Let u(n) = -n**2 - 3*n - 3*n + 0*n. Let d be u(-5). Suppose -3*f + 0*f + 74 = 2*m, 0 = -4*f + d*m + 91. Solve f = 2*i + 5*o, 0 = 3*o - 4 - 8 for i.
2
Suppose 5*s - 14 + 4 = 0. Suppose s*b + 2*b - 12 = 2*r, -r - 2*b + 10 = 0. Solve -5*n + 5 = 0, 3*x - 5 = -r*n + 6*n for x.
3
Let r be 3/(-4) + 15/20. Solve 4*x = -2*v + 11 + 11, r = 3*v + 4*x - 25 for v.
3
Suppose -2*h + 24 = 4*d, 0*h - h = -5*d + 37. Solve -3*g + k - d = -6*g, 0 = 2*g - 5*k - 33 for g.
4
Let i(w) = 5*w - 3. Let t(b) = 9*b - 7. Let c(x) = -7*i(x) + 4*t(x). Let k be c(5). Let j be (k/(4/6))/(-1). Solve -j*s - 2*s = -u - 3, -2*u - 6 = -3*s for u.
-3
Suppose 0 = -3*v + 6 - 3. Let y be ((-4)/(-6) - v)*0. Solve 2*n = -y*d - d + 2, n = 0 for d.
2
Suppose k - 15 = -2*k. Suppose 46 - 179 = -5*i - 4*h, -k*i - 5*h = -135. Solve -d = -2*r + 9, 4*r - i = -2*d - 3*d for d.
1
Suppose 4*d - 5 = 7. Suppose 2*n - 120 = -3*n. Solve -4*a = a + 3*m + n, m = 2*a + d for a.
-3
Suppose 0*l - l + 23 = 0. Solve 0*h - 14 = 4*y - h, -4*h + l = -5*y for y.
-3
Let v(g) = -g**2 - 11*g - 12. Let y be v(-8). Suppose y = -4*l + 20. Solve -l*p = 0, 6*p + 20 = 4*h + p for h.
5
Suppose -3*a + 12 = 0, -2*n + 20 = -n + 4*a. Solve -3 = -4*t - 4*g + 1, 4*g + 4 = n*t for t.
1
Suppose -17*h = -19*h. Solve 0*x - 4*x = 5*m + 3, h = 4*x + 4*m + 4 for x.
-2
Let f(u) = 17*u + 5. Let a be f(1). Solve -5*p + 4*s = a, -3*p + 5*s - 18 = 3 for p.
-2
Suppose -43*x = -41*x - 4. Solve -2*p = x*p - 3*j - 14, 4*j - 33 = -5*p for p.
5
Let x(b) = 3*b**2 + 4*b - 3. Let v be x(3). Let r be (v/(-126))/(1/(-7)). Solve -7 = -q + r*a, -q - a = -5*q for q.
-1
Suppose 4*g - 3*s - 6 = g, -3*s + 4 = 2*g. Solve -m + 2*l = -2*m + 6, 0 = 2*m - g*l for m.
2
Suppose -2*j + 4 = -2. Suppose u + j*w = 5, -w = 2*u + 3*w - 12. Solve 17 = 5*s + 3*a, -u = 5*s - 4*a - 32 for s.
4
Suppose 5*t + 0 = 10. Suppose 0 = -q + 3*q - 8. Solve t*n - 3*l = -n + 6, -n = 5*l + q for n.
1
Let n(x) = -x**2 - 9*x - 10. Let k be n(-8). Let m(q) = q + 2. Let z be m(k). Solve z*p - 10 = 5*p, -4*p - 8 = -3*o for o.
0
Suppose 5*v = -3*t - 126, 5*v + 111 = v + t. Let o = -14 - v. Solve 4*i + b + o = 0, -i + 3 = -3*i + 3*b for i.
-3
Let h(d) = -d**3 - 4*d**2 + 6*d + 6. Let l be h(-5). Let b = l - -1. Suppose -3*k = b*k. Solve -5*u + 2*x - 9 = -k*x, u + 9 = 4*x for u.
-1
Let f = 3 - 9. Let m(v) = v**3 + 7*v**2 + 5*v - 2. Let j be m(f). Solve 2*c = -4*i + 8, 4*i + 3*c - j = 2*i for i.
2
Let a be (14/(-3))/(6/(-9)). Let k = a + -5. Solve -k*h - 6 + 0 = 4*i, -4*h = -i + 21 for i.
1
Let o be (-2)/5*-2*15. Let h(q) = -q**3 + 6*q**2 + 2*q - 8. Let w be h(6). Solve -3*v - 3*y = -2*v + 9, -5*v = w*y + o for v.
0
Suppose t = -t + 8. Let d be (-2)/(-4)*t + 3. Suppose -o + 0 + 1 = 0. Solve o = -2*v + b, -v - 2 + 7 = d*b for v.
0
Let a(y) = -2*y**2 + 2*y - 1. Let s be a(2). Let r(d) = d**3 + 6*d**2 + 8*d + 3. Let w be r(s). Let o = 17 + w. Solve -5*c + o*n = 5, 0*c + 3*n = 2*c + 3 for c.
0
Let q = -5 + 10. Let r(n) = -n + 11. Let t be r(8). Suppose t*p + p = 0. Solve -f = 4*s - 8, p = q*s - f + 2*f - 10 for s.
2
Let u be 14/3 + 2/(-3). Let j be (u/(-5))/((-6)/15). Suppose j*p = 7*p - 20. Solve 0 = -4*t + 4*y + 12, -12 = -t + 5*t + p*y for t.
0
Suppose 2*v - 10 = -0*v. Let d = -2 + v. Solve 4*k + d = -p, 0*k - 2*k - 15 = 5*p for p.
-3
Suppose 2*v - 6 = 0, -2*u + 3*v = -6*u + 41. Solve 0 = 3*x - 2*j - 1, 2*j = -2 - u for x.
-3
Let p be (12/9)/((-2)/(-6)). Solve -24 = 4*g + 4*f, 0*f + 21 = -p*g - 3*f for g.
-3
Let c = -64 + 70. Let k = 6 + -2. Solve s = 2*o + 4, -k*s - c*o = -3*o + 6 for s.
0
Let c be -6*-2*4/12. Solve -19 + c = 5*y - 2*k, -3*y = k - 2 for y.
-1
Let c be ((-7)/(-2) - 5)*-2. Solve 4*p = c + 9, -3*y = -2*p for y.
2
Suppose -1 = c + 3. Let q = c + 15. Solve -5*j + 4*w + q = 2*w, -18 = -3*j + 5*w for j.
1
Let r(a) = -a - 7. Suppose -2*s - 5*m = 8, -s + 2 = m + 9. Let c be r(s). Suppose -2 = -2*g + c. Solve 0 = 5*n + 3*i + g, 0 = -5*n + i + 14 for n.
2
Suppose 2*h = 2*a - h - 5, -3*a = 3*h. Suppose 0 = -2*y - a - 9. Let z = y + 8. Solve 3 = -z*l + q - 0, -2*l + 2*q = -2 for l.
-2
Let z(i) = 8*i - 2. Let c be z(2). Suppose 0*h - c = -2*h. Solve 5*v + h = -m, -2*v - 3 - 1 = 0 for m.
3
Suppose -d - 5*p = 10, -4*p - 10 = -3*d + p. Solve -3*g - 20 = l, l + d = 3*g + 10 for g.
-5
Let y(g) = -g**3 + 7*g**2