4*h. Solve 4*s + d - f = 0, -5*s + h*d = 5*d for s.
1
Let q(u) = u + 1 + 5 - 2. Let z be q(0). Suppose -z = -3*i + 5. Solve -2*a + 2*y - 1 = -13, 2*y - 3 = -i*a for a.
3
Let c(w) = -w - 1. Let o(u) = u**3 - 9*u**2 - 5*u - 7. Let m(v) = 4*c(v) - o(v). Let g be m(9). Solve g = -4*h - 5*p + 39, -h - 3*p + 12 = 0 for h.
3
Let g be (2 - 0)*(-21)/(-14). Solve 3*h = -4*p - 17, 0*h = -3*h + 3*p - g for h.
-3
Suppose 0 = v - 6 - 4. Let o be (-2)/(-1)*-2 + 9. Solve 0 = 4*x + 5*k - 0*k + 30, 4*x = o*k - v for x.
-5
Let w be (-1)/(-3*3/(-36)). Let f = 7 + w. Let n be 2/(-4) - 9/(-2). Solve 2 = -2*p - n*y - 0, -p - 4*y - f = 0 for p.
1
Suppose -9*u = -4*u - 20. Suppose -3*a + 0*a = -p - 10, 4*a - 14 = 2*p. Solve z = 3*z - a*x - u, 3*z + 4*x = -28 for z.
-4
Suppose 4*f = f + 4*r + 32, -5*f - 5*r = 5. Solve b - 5*b = -5*i + 32, 4 = -f*b - 2*i for b.
-3
Let x = -42 + 44. Solve 0 = -12*t + 7*t + 2*w + 15, 0 = t - x*w - 3 for t.
3
Let y(c) = -3*c**3 + c**2 + c. Let v be y(-1). Let t(f) = f**3 - 4*f**2 + 4*f + 1. Let n be t(v). Solve 24 = -5*o + r, 2*o - n*r + r + 7 = 0 for o.
-5
Let s(g) = -g**3 + 10*g**2 + 9*g + 26. Let d be s(11). Solve -2*v - 12 = -d*y, -2*y - 3*y + 10 = 0 for v.
-2
Let t be 1*(-4 - -2 - -4). Solve -t*j - 10 = -u, -2*u + j + 0*j + 5 = 0 for u.
0
Let w = -29 - -34. Solve -x - 12 - 1 = 3*p, 0 = w*p + 4*x + 17 for p.
-5
Suppose -4*t = -6*t - 72. Let d be 8/t + 29/9. Solve 5*g + 5*z = 0, 0 = d*g + z - 0 + 2 for g.
-1
Let t(c) = c**2 - c - 9. Let p be t(4). Solve 3*w + 5*f - p + 10 = 0, -5*f = w - 1 for w.
-4
Let b be (-4)/(-1) + 3 + 2. Let w be (-1)/3 + 48/b. Solve -w*j - 45 = -5*z, -2*j + 0*z - z = 3 for j.
-4
Let z be 1*7 - (7 + -2). Solve -17 = t + 6*x - 2*x, 3*x = z*t + 1 for t.
-5
Suppose -16 = 4*q - 24. Solve 5*x = q*y - 10, 3 = -2*x - 3*y + 4*y for x.
-4
Suppose 0 = -5*l - 4*u + 32, -5*l - u + 26 = u. Solve m = -3*y - 5, -l*m - 2*y + 3 + 7 = 0 for m.
4
Let m(k) = 2*k**3 - k**2 + 1. Let o be m(1). Suppose 3*v = 3*i - 9, 5*i + v - o*v - 11 = 0. Solve 2*d - d + 4*n = 0, 0 = i*n for d.
0
Suppose z - 4 = -3*z, 4*a - 2*z = 14. Solve -3*y + 3*m = -2*y + a, y + m + 4 = 0 for y.
-4
Let m = -36 - -12. Let l = 28 + m. Solve -2*q = 4*r - 20, -3*q - l = -q - 4*r for q.
4
Suppose -12 = -2*d - 4*k, 2*d + 5*k + 41 = 3*d. Let w = 23 - d. Let n = -4 - -6. Solve -4*r + w = -3*b + 20, 11 = -3*b - n*r for b.
-1
Let u = -4 + 4. Suppose -5*r + 6 + 4 = u. Suppose 5*g - 3*p - 58 = 0, -4*p - r = -2*p. Solve 2*d - 4*b = 4, 4*d + 5*b = 5*d - g for d.
-4
Let v(g) = -2*g + 2. Let p be v(1). Let f be 8/(-1*4/(-10)). Suppose p = u - 6*u + f. Solve 4*t = u*l - 20, t = -2*l + 1 + 9 for l.
5
Let x(w) = w**2 + 4*w + 4. Let h be x(-2). Solve -d = 5*u - 0 - 20, 2*d = h for u.
4
Suppose 15 + 0 = 3*h. Solve 0 = h*b - 5*x + 5, 7*b - 3*b - 2*x = 0 for b.
1
Let y = 38 - 36. Solve 3*j - 2 = 3*z + 1, 0 = -y*j - z - 4 for j.
-1
Let v(m) = -2*m**2 + m - 2. Let k be v(2). Let f be (-43)/(-9) + k/(-36). Solve -p + 6 = 2*p + f*o, p - 4*o + 15 = 0 for p.
-3
Let p = 5 - 4. Let x be p*(-4 + 3)*0. Suppose x = -4*a + 6 + 6. Solve g + 3*g + 6 = -3*m, -a*m - 6 = g for m.
-2
Suppose -12*q + 2 = -11*q. Solve i + a - 2 = 4*a, -q*a = -5*i - 3 for i.
-1
Suppose 3*s - 4*j = -16, 4*j - 16 = -0*j. Let k be s + 5/(10/6). Let i be (-1 + 0)*1 + 1. Solve 0 = 3*c + 2*v - 4, -v - 1 = k*c - i*v for c.
-2
Let h(z) = -z**2 + 2*z - 4. Let p be h(0). Let b be 2 - (0 - -3) - p. Let w be -1*1*(-3 - -2). Solve b*x = -4*u - 3 + w, 16 = 5*x - 3*u for x.
2
Let d = 5 - -7. Let p be 4*(-5)/((-80)/d). Solve -5*t - x + 1 + 1 = 0, -10 = -p*t - 5*x for t.
0
Let g be 16/(-24) - 14/(-3). Suppose 0*z + g*z - 3*l = 15, -3*z - 5*l = 25. Let c = z - -2. Solve 0 = 5*r + 4*p, -r + c*p = 8 + 6 for r.
-4
Suppose -2*c - 2 + 0 = 0, 2*c = -4*p + 14. Solve 0 = p*z + 2*h - 12, 4*z + 3*h - 2 = 2*z for z.
4
Let c(f) = -f**2 - 5*f - 1. Let t be c(-4). Let r = 7 + t. Solve 2*g = -4*q - 20, -g + r = -4*g - q for g.
-2
Let y(x) = 7*x**2 + 7*x + 2. Let u(g) = -15*g**2 - 14*g - 3. Let r(w) = 6*u(w) + 13*y(w). Let k be r(-6). Solve 0 = k*f + 4*t - 4 + 10, -f = 4*t + 1 for f.
-5
Suppose 4*w - 40 = -2*u, -w + 2*w = 4*u - 35. Let h be ((-32)/u)/((-13)/65). Solve 2*q + m = -3*m + h, -m = -2*q + 6 for q.
4
Suppose -31 = -2*d - 3*i, 2*d - i - 9 = 34. Suppose 2*k - d = -2*k. Solve -3*z + 0 - 6 = 3*b, k*b + 31 = 2*z for z.
3
Let j(i) = -i**3 - 5*i**2 - 3*i - 2. Let k be j(-5). Suppose 7 - 3 = 4*c. Let q be 1/c*0 - -2. Solve t + 8 = v, 5*t = q*v - 6*v - k for t.
-5
Let h be 74/2 + 0/1. Let c = h + -22. Solve -5*p + c = m, -m + 5*p - 3 = 2 for m.
5
Let c = 4 - -2. Let r = 11 + -8. Suppose -r*f = -2*i - 4, 3*i = 5*f + i - 8. Solve 3*n - x = x - c, n + f = -5*x for n.
-2
Suppose -c + 3 = 4*g, c - 2*g - 3*g - 12 = 0. Solve -3*f + f - c = 3*m, -15 = 5*m + 4*f for m.
1
Let p(y) = 3*y**2 + 2*y + 1. Let k be p(-1). Solve -5 = -g, 0*g = -k*m + 4*g - 22 for m.
-1
Let c = 12 - 9. Solve 4*f + 16 = w - 0*f, c*f + 12 = -5*w for w.
0
Let a be (-7)/(-21) - (5/(-3) - -2). Solve 2*h = -4, -4*j - 3*h + 8 - 30 = a for j.
-4
Let d = 28 - 24. Solve 0 = -b - 4*u + 2 - 6, 3*b = -d*u - 4 for b.
0
Let o = 32 + -30. Solve -w - 2*q = -o, -w + 0*q - 8 = -3*q for w.
-2
Let w(k) = k + 7. Let i be w(-5). Let l be i - 1*(-2)/1. Let m(z) = 2*z**2 - 6*z + 3. Let f be m(3). Solve 0*h - 4*s - 28 = -f*h, -2*s - 24 = -l*h for h.
4
Suppose 7*x - 3*x - w - 4 = 0, -4*x + 4*w = 8. Let v be 16/2*x/4. Solve 0 = v*g - 8, -22 = -4*d - 5*g for d.
3
Suppose -12 = 5*p - 27. Solve -3*k + p*f + 11 = 5, -4*k + 5 = -f for k.
1
Let m be 1 + (-2)/(3/(-3)). Let j be 0/(-3) - (m + -6). Solve -5*o - 1 - 1 = -2*l, 2*l + j*o = -14 for l.
-4
Suppose m = -3*j + 1 + 1, 5*j + 5*m = 10. Suppose j = b + 2*b. Suppose b = c - 5*w + 21, -3 = -4*c - w + 18. Solve 6 = -2*s - 3*p, -2 = 2*s - 4*p + c for s.
-3
Let c(a) = a**3 - 7*a**2 + 7*a - 2. Let g be c(6). Suppose -g = -f - 0. Solve -2*i + 6*i - 32 = -f*t, 0 = 3*i + 2*t - 19 for i.
3
Let m be 3 + 2 + 1 + -2. Suppose -3*o + m*v = -3, -v + 1 = -o + 3. Solve o + 0 = 5*w + 5*a, 0 = -5*a - 15 for w.
4
Suppose 0 = -2*u + 6*u. Let a be 1 + (u - (2 - 3)). Suppose 4 = -3*i + 3*p + p, i + 3 = 3*p. Solve -3*s + a*b + i*b - 15 = 0, 5*b - 6 = -3*s for s.
-3
Let h = 5 + -3. Solve -h*o + 4*b = 0, 0*o + 14 = -3*o - b for o.
-4
Let o be (6/12)/(1/14). Suppose -4*y - 54 = -o*y. Solve 2*m + 4 = 4*v - y, 4*v - 21 = m for v.
5
Let z(w) = -w - 1. Let k(l) = l + 8. Let y(x) = -k(x) - 2*z(x). Let r be y(8). Solve m = -0*b + r*b - 10, 5*b = 15 for m.
-4
Suppose 3*q = -2*q + 105. Let m = q + -14. Suppose -y + 2 = v, 2*v - m*v + 8 = 4*y. Solve 4*l = -8, y*l - l + 5 = -3*p for p.
-1
Let o = -8 - -12. Suppose o*g = -l + 4*l - 7, -5*g - 4 = l. Solve 2*d - 15 = 5*w, 0 = 3*d - 4*w + l - 20 for d.
5
Let s(p) = -p**2 + p + 2. Let g be ((-3)/2)/((-3)/6). Let l be s(g). Let z = l + 7. Solve 0 = 5*y + 3*q - 40, -q - 30 = -z*y - 4*q for y.
5
Let z(c) = c**2 + 5*c - 19. Let k be z(-8). Solve x = -4*y - 7, -3*y - 4 = -k*x - 16 for x.
-3
Suppose -9 = -3*v + 3, 0 = 2*i + 3*v - 8. Let w be (-8 - -11)/(i/(-2)). Solve 0 = -f - w*u - 19, -21 + 1 = 4*u for f.
-4
Suppose 0 = -19*l + 5*l + 42. Solve -5*m + 1 = -4*t - 0, -2*t + 5 = l*m for t.
1
Let v(t) = 10*t**2 + t**3 - 10*t**2 - 5 + t. Let f be v(0). Let b(o) = o**3 + 5*o**2 - 2*o - 1. Let z be b(f). Solve 3*w + z = 3*d, -3*w + 5 = 6*d - 2*d for d.
2
Let j(z) = -2*z**2 + z - 1. Let h(u) = -u**2 - 1. Let k(a) = -13*h(a) + 6*j(a). Let p be k(-6). Solve -3*x = -3, -n + 2*x = -0*n + p for n.
-5
Suppose 5*a + 17 = -q, 6*q + 5*a = q + 15. Let v be -6*(-4)/q + 1. Solve -3*m = -v*x + m - 16, -5*x = -m for x.
1
Let r be ((-14)/(-4) + -4)*(-1 - 3). Let i be (-1)/(2/150)*-1. Suppose w - i = -r*w. Solve w = -2*v - 3*v + 5*t, -2*v - 4 = 4*t for v.
-4
Let a = -5 + 8. Suppose 0 = -5*v + 3*k - 4*k - 140, -24 = v + k. Let l = v + 43. Solve 0 = -2*j - 4*o + 4, 2*j - a*o = l - 3 for j.
4
Let r be (14 - -1)/((-3)/202). Let u be 2/13 - r/26. Suppose 0 = 4*x + 3*n - 153, n = -x - 0*n + u. Solve 4*v = -5*i + x, -1 = 3*v - 5*i + 7 for v.
4
Let q = 1 + -2. Let c(x) = -7*x. Let v be c(q). Let w(r) = r + 3. Let s be w(-3). Solve -3*f = -m - v, s*m + 3*f = -5*m + 1 for m.
-1
Suppose -d = -k - 3, 0*d = 5*d + 4*k - 33. Let v(u) = -u**2 + 3*u + 2. Let x be v(-2). Let y be (3/(-2))/(6/x). Solve 4*r