. Solve 1 = -3*t + k, -3*t + 27 = z*h for h.
3
Let w(z) = -30*z**2 + 62*z - 4. Let o be w(2). Solve 0 = 5*f + 20 - o, 5*f + 25 = -y for y.
-5
Let l be (-4 + 0 + 6 + -3)/((-9)/27). Let g(y) = y**3 - y**2 + y - 1. Let t be g(2). Solve 0 = s + l*v + 6, -3 = -t*s + 3*v + 3 for s.
0
Suppose 11*n = -2*n + 52. Solve 16 = n*t - 4*s, 5*s + 26 = 4*t - 5*t for t.
-1
Let m = 525 + -522. Solve 3*s - 4*b - 6 = -2*b, 0 = 5*s + m*b + 9 for s.
0
Suppose 0 = -g, q = 5*q - g. Suppose -u + 78 - 74 = q. Solve 3*a + 0*a + 3*m = 12, -18 = -u*a - 2*m for a.
5
Let l = 18 + -15. Let d = 62 - 42. Solve 34 = l*x + 5*f, 3*f = -f + d for x.
3
Suppose -5*l - 274 = h, 158 = -3*l - 0*l + h. Let g = 57 + l. Solve r + 2*w + 0 - g = 0, w = -5*r + 15 for r.
3
Suppose -2*j + 14 = -20. Let l be (423/6)/(-3)*-4. Let g be 4*(-5)/90 + l/18. Solve 5*u - g*t = 25, -1 = -4*u - 5*t - j for u.
1
Suppose 4*t - 6 = 2. Let d = -4140 + 4140. Solve 2*v + 25 = v - 4*l, v - t*l - 5 = d for v.
-5
Let t(i) = 3*i**2 + 2*i + 2. Let x be t(-1). Solve 9 + 6 = 3*w, 0 = 3*y - x*w + 30 for y.
-5
Suppose -w + h + 0*h = -10, 0 = -h - 5. Solve 2*j - 5*d - 5 = 0, w*j - d - 2*d - 22 = 0 for j.
5
Let m(p) = -24*p**3 - 2*p**2 - p + 1. Suppose 0*c = -10*c - 10. Let v be m(c). Solve -2*u - 5*n + 5 + v = 0, 5*n = 25 for u.
2
Let t be 695/20 - (-1)/4. Let i = t - 35. Solve 0 = -3*l + r, 0 = -i*r + r - 3 for l.
1
Let f be (-1)/5 + 3 + (-6)/(-5). Suppose -5*k = -f*k - 5. Solve 0 = -m - 4*m - 3*c + 40, c = k*m - 20 for m.
5
Let y = 1 - 1. Let n(g) = -g**2 + 2*g - 2. Let l be n(1). Let o be l + (-5 + 12 - 1). Solve 3*i + o*r + 12 = -y*r, -5*i + 2*r + 11 = 0 for i.
1
Let w = 116 - 111. Solve w*d + 2*p = 4 + 3, 4*d - 9 = -5*p for d.
1
Let a(h) be the first derivative of -h**2 - 6*h - 6. Let i be a(-5). Let l = 0 + 0. Solve -3*u + 7 = -i*q, l = u - 6*u - q - 19 for u.
-3
Let u(g) = -g**3 + 5*g**2 + 10*g - 11. Let s be u(6). Let b be s/2 + 7/(-14). Solve 0*d - 16 = 2*i - 3*d, -b = -5*i - 4*d for i.
-2
Let o = -2 - -6. Suppose 2 = -2*b - 12*c + 10*c, 2*c + 8 = 0. Solve 34 = b*g + 5*s, 0*g - o*g + 27 = 3*s for g.
3
Let g be ((-85)/(-15) - -5)/(2/3). Let b(h) = h**3 - 8*h**2 - h + 10. Let n be b(8). Solve -26 = 2*o + 4*i, -n*o + 0*o - g = 2*i for o.
-3
Suppose -33*o = 13*o - 92. Solve 15 = 5*c, o = -a + c - 3 for a.
-2
Suppose 4*o = -a + 4, -4*o + 3*a + 17 = 29. Solve o = 2*w + 4*u + u - 25, w + u = 5 for w.
0
Let m(k) = -2*k - 6. Let u be m(-8). Let v = u + -5. Let a be (-40)/12*(-36)/30. Solve -c = -v*t + 4*t, 0 = -3*t + a*c - 4 for t.
4
Let g = 732 + -727. Solve z - 11 = -4*q, -6*q - 1 = 4*z - g*q for z.
-1
Let p(m) = -2*m + 4*m + 5 + 0. Let d be p(-7). Let w = d + 11. Solve w*k - 16 = f - 5, -3*k + 3*f = -21 for k.
4
Let h(i) = -15*i**3 + i**2 + 2*i + 2. Let y be h(-1). Solve -3*k = -z - 12, 5*z + 4*k + 0*k = y for z.
0
Suppose 0*h - 18 = -3*h + 3*d, -8 = 2*d. Let f = -1 + 2. Suppose -5 = -h*v - f. Solve -2*p = 5*s - 2, 1 = v*p - 2*s - 1 for p.
1
Let c = -1 - 0. Let g = 3 + c. Let y = 2098 - 2095. Solve 0 = -m + 5*k - y, 6 = 2*m + g*k - 0*k for m.
2
Let f = -1 + -5. Let o be (2/f)/(3/(-18)). Solve -4*b - 4*q = -20, -o*b + q = -2*q - 10 for b.
5
Suppose w = 2*r - 1, -3*w - 28*r + 23*r + 30 = 0. Solve -31 = 4*n + 3*t, -4 - 1 = w*n - 3*t for n.
-4
Let r(a) = a**3 - 5*a**2 + 5*a - 4. Let j be r(4). Let z = -347 + 351. Solve -2*h + 0*d - d - 12 = j, -z*h = -4*d for h.
-4
Let q be (-3 + 20/8)*-36. Let s = 1 + -17. Let d = q + s. Solve d*u = -2*o + 4, -2 = u - 3*o + 4 for u.
0
Suppose 4*q = -30 - 62. Let w = q - -27. Suppose l - 5*l - 8 = -3*t, -t = w*l + 8. Solve -5*y + 4*y - o - 6 = 0, -y + o = t for y.
-3
Let k be (-222)/(-42) + (-4)/14. Suppose -k*u - 12 = 2*w - u, w + u + 3 = 0. Solve -4*q - 4 = -w*q - 2*v, 0 = q - 5*v - 8 for q.
-2
Suppose 0 = -517*p + 526*p - 18. Let d = -26 - -43. Solve -7*y + p*y = 4*j - d, 3*y - 2*j = -3 for y.
1
Suppose -4*r - 37 + 38 = n, 0 = -5*n + 5. Let s = -2 - -4. Suppose -4*b = -l - 4, -s*b - 3*b + 14 = l. Solve 10 = -5*k - 15, r = l*j + 4*k + 40 for j.
-5
Suppose -4*p - 7*i + 4*i - 5 = 0, -5 = p + 2*i. Let m be (-1 - -5) + 0 + p. Solve 3*d + 15 = -2*x + m, 15 = -3*x - 3*d for x.
-5
Let q be (-22 + 22)/(3/(-3) - 1). Solve 3*k + 15*o = 10*o - 14, k - 2*o - 10 = q for k.
2
Let k be (0 - -3) + 6*3/(-6). Suppose 2*d - 3*d = k. Suppose -2*u = 3*j + 9, 4*j + 24 + 8 = 4*u. Solve q - x = d, 0*q + 5 = -2*q - u*x for q.
-1
Let m(g) = -g**3 + 4*g**2 + g - 2. Let r be m(2). Suppose r = 3*v - 7. Let x be 1 - 0 - (-2 - -3). Solve x*d - v*d + 2*l = -25, 2*d + 5*l + 19 = 0 for d.
3
Let x(n) = n**3 - 12*n**2 - 15*n + 30. Let q be x(13). Let s(v) = 2*v - 4. Let k be s(q). Solve 2*a - 9 = -3*z, -2*z + k*a = -3*z + 13 for z.
1
Suppose -2*a + 65 = -5*b, -2*b + 116 = 4*a + 2*b. Suppose 3*y - a = -0*y. Solve 0*z + 4*z + 2*l = y, -z = l - 3 for z.
2
Let v(n) be the first derivative of 0*n**2 - 4*n + 1/3*n**3 - 3. Let k be v(3). Solve p + 16 = k*d, 0 = 3*d + 2*d + 3*p - 32 for d.
4
Let v be 13/11 - (-1)/((-22)/4). Suppose v + 2 = i. Solve -5*a + 2*l = 23, -i = 5*l - 2*l for a.
-5
Let a(z) = -3*z + 13. Let u be a(3). Let d(w) = -w**3 + 6*w**2 + w + 8. Let l be d(6). Suppose 5*o = 11 + l. Solve -o*m - 2*x = 0, 3*x + 19 = 6*m - u*m for m.
2
Let r(x) = -x**3 + 4*x**2 - x - 4. Let l = 17 + -15. Let z be r(l). Solve 0 = 4*p + 3*t - 12, t - z = p + 2 for p.
0
Let q = 57 + -51. Solve 0 = 4*l + 3*z + 32, -5*z = -l + q*l + 45 for l.
-5
Let g = -112 - -124. Let j(y) = 4*y**2 - 1. Let u be j(-1). Let v be 1 + 0 + 1 + 1. Solve 5*f = -z - 18, -4*f + u*f - g = v*z for f.
-3
Let i be (4 + -5)/(1/3). Let u be (-4 - 80/(-15))/((-1)/i). Solve -4*x + u*o = -20, x - 2*o = 4*x + 5 for x.
1
Let s = -649 + 659. Solve n + s = 2*n + 5*t, 5*n = t - 2 for n.
0
Suppose 10 = 6*u - 3*u - 2*k, 0 = 2*u + 2*k. Solve -2*j + 0*a + 7 = -a, 0 = u*j + 2*a - 10 for j.
4
Suppose 4*o - 6 = 4*x + 18, 3*x - 2*o = -21. Let c = -7 - x. Let i be (2/1)/((-1)/(-2)). Solve 0 = -i*u + c*q + 8, -u + 3*u + 4 = -q for u.
0
Suppose -3*f = 4*i, 5*i + 5*f - 7 = 3*f. Suppose -l = i*v + 4, 1 - 5 = 2*l + 5*v. Solve m + 3*b + 1 = 5*m, 4*b = 3*m + l for m.
4
Suppose -60 = -5*i + 4*p, 0 = -3*i + 4*p - 1 + 37. Suppose i*a - 17*a = -10. Solve 2*k - 10 = -3*k - 5*v, -a*k + 3*v + 9 = 0 for k.
3
Let r be 115/69 + (-8)/(-6). Solve -r*s - 9 = -c, -3*c + 4*c - 4*s = 13 for c.
-3
Let u = -86 - -145. Let h = u + -56. Solve -3*o + o + 3*g = 16, -10 = h*o - g for o.
-2
Suppose -2*q - 1 = -11. Let s be (10/(-4) - 0)*(-6)/q. Solve -2*r - u = 5, s*r - 3*u - 14 = 8*r for r.
-1
Let i(j) = -j**3 + 6*j**2 - 6*j - 3. Let d be i(5). Let v = d - -11. Suppose 0 = -v*m - m + 80. Solve 4*f - 4*u = u - m, 2*f = 2*u - 10 for f.
-5
Let x be 4/((-32)/10) - (-34)/8. Solve -x*t - 3*u = 2*t + 1, -6 = -3*t - 4*u for t.
-2
Let f be (-18)/4*(-14)/21 + -3. Suppose f = l - 4*p + 3, 0 = -14*l + 10*l - 2*p + 24. Suppose 4*z + z = 70. Solve 5*k + 2*q - z = l*q, -4*k + 18 = q for k.
4
Let p be (630/(-20))/((-12)/8). Solve 4*f = i + 14, 0 = -5*f - 0*i + 3*i + p for f.
3
Let w(u) = 22*u + 68. Let i be w(-3). Solve -10 = 4*m + i, 5*v = m - 17 for v.
-4
Suppose 0 = 4*o + 3*u + 2*u - 39, 0 = -2*o + 2*u + 24. Suppose 5 = 5*i + 2*n, -2*i + n + 0*n + o = 0. Solve -2*g + 20 = -5*v + i*g, 4*g - 12 = 0 for v.
-1
Let x(u) = 9*u**2 - 44*u - 5. Let g be x(5). Solve 4*n + 5*m + 14 = 0, g*m = -m - 2 for n.
-1
Let d(n) = n + 7. Let s be d(-2). Let z be 109/s + 3 - 3/(-15). Solve 0 = 2*f + p - 10, -4*f - f - p = -z for f.
5
Suppose -120*z = -123*z + 9. Solve n + n - 3 = i, -z*n - 3*i - 18 = 0 for n.
-1
Let b(h) = 2*h + 1. Let o = 3 + 5. Suppose -3*c - 5*l + 4 = -8, -2*c = l - o. Let r be b(c). Solve 4*z = -w - 0*w + 15, -2*z + r = -w for z.
4
Let l be (2 - 2) + -10 + 2. Let i = -3 + l. Let s = 15 + i. Solve 0 = s*h + 3*d - 35, 4*h = -3*d - 2*d + 45 for h.
5
Let s be 1/((-9)/(-4) - 2). Suppose 2*b = -0 + s. Let p be 31 - 2/(-2) - 4. Solve -3*k + 5*n = p, 0*n = -k - b*n + 9 for k.
-1
Let v(z) = 25*z - 47. Let u be v(2). Let j(q) = 5*q. Let h be j(1). Solve -c = -h*c + 5*w + 23, -5*w = u*c + 9 for c.
2
Let v be 11 + -2 + (-2 - -2)/4. Suppose 3 = 4*b - v. Solve c + 10 = b*u + 2, u = -c for c.
-2
Let c(l) = -l**2 + 15*l - 26. Let d be c(11). Let h = d - -7. Solve 4*o - 3*o = k + 2, 0 = 2*o + 5*k - h for o.
5
Suppose 3*y = -3*b + 3, b - 3*y