 -4*t + 4 = 0, -2*t + 8 = -2*h - c for h.
-4
Suppose 45 = 5*s + 3*o + o, -2*o + 20 = 2*s. Suppose 3*w = -s*i + 24, 2*i - 6*w = -3*w - 3. Solve -y = 2*u + u + 11, 5*u = -i*y - 17 for u.
-4
Let d be ((-25)/(-10) + 0)*2. Suppose 130 = 5*l + h, -d*l + h + 2*h = -110. Suppose -61 = -4*r - l. Solve i - 6*i = 5*s - 5, 3*i - r = 0 for s.
-2
Let g be (-735)/45 + 15 + (-26)/(-6). Solve -2*d - g*s + 3 = 0, -10*d - 5*s - 17 = -14*d for d.
3
Let n(v) = 9*v**2 - 3*v - 5. Let q be n(-2). Let l = 47 - q. Solve o - l = 5*i - 4*o, -i - 2*o = -10 for i.
2
Let m(h) = -h**2 + 5*h + 3. Let d = 14 + -9. Let z be m(d). Suppose z*y - 6*o = -3*o, -o = 3*y - 8. Solve 25 = -5*v, 1 - 26 = y*g + 3*v for g.
-5
Suppose -2*h = -21 + 9. Solve 2*o - 2*i - h = 0, 16 = -4*o + 3*i - 6*i for o.
-1
Let c(q) = q**2 + 7*q + 11. Let m be c(-5). Suppose 3*i - 3*z - 21 = 0, -4 = i + 2*z + m. Solve -h - 10 = j + 3*h, -j = i*h + 7 for j.
2
Suppose 13*j = 12*j - 3*v - 1, -2*j = -v - 5. Solve 4*h + 16 = 0, -j*h = -q + 3*h + 21 for q.
1
Suppose -4*a + 12 = -4. Let v(p) = -p**3 - 10*p**2 - 11*p - 13. Let x be (-56)/6 + (-5)/(-15). Let o be v(x). Solve 10 = -o*y + 3*y + a*u, -2*y - 7 = -u for y.
-3
Suppose -47 + 15 = -4*v. Suppose 0 = v*c - 6*c - 4. Solve 5*d - y - 6 - c = 0, -y + 4 = d for d.
2
Suppose t - 100 = -3*t. Let k(f) = -f**3 + 24*f**2 + 24*f + 30. Let i be k(t). Solve i*p + 5*m = -5, p - 1 - 1 = 2*m for p.
0
Let g(c) = c**3 - 5*c**2 + c. Let l be g(5). Let n = 9 - l. Solve -3*m + n*m = -2*i + 8, -m + 4*i - 22 = 0 for m.
-2
Let k = 2573 - 2553. Let w be 1 + 3 - 3/(-3). Solve 0*p - w*z + k = -p, -2*p = -5*z + 15 for p.
5
Let b be (3 - 33/(-6)) + (-3)/(-2). Suppose -3*v = -b + 4. Solve 3*f = -w + 8, v*f - 5*w - 11 = -0*w for f.
3
Let k(h) = h**2 - 17*h - 136. Let a be k(-6). Solve 3*v = -v + j + a, -v + 4*j = 7 for v.
1
Suppose 2*j + 13 = -s - 0*s, -2 = -2*j + 2*s. Let h be (-3)/(-2)*(j - (-16)/3). Solve -4 = -3*o + h*p, 0*o + 1 = o - p for o.
2
Let p be 712/232 - 8/116. Solve -3 = -p*w - 3*a, 0*w = -2*w - 3*a for w.
3
Let f(u) = -u**3 + 13*u**2 - 4*u + 26. Let z be f(13). Let r = z + 51. Solve p = 0, 2*d - p - r = -3*d for d.
5
Let w be (-4)/(-3 + (-3)/9*-3). Suppose -v - 3*j + 1 = -4, w*j = 5*v - 25. Solve -2*r = v*o - 14, o - r = -0*o for o.
2
Let k(y) be the third derivative of y**5/4 - 7*y**4/24 + 4*y**3/3 - 26*y**2. Let t be k(1). Solve -4*i = t, -4*c + 7*c = i - 11 for c.
-5
Let h = 554 - 551. Solve 14 = 5*s + h*l, 2*s + 10 = -0*l + 4*l for s.
1
Let n(m) = -m - 2. Let d be n(-6). Let s(q) = -q**3 + 4*q**2 + q - 1. Let j be s(d). Solve 6*x - 3*x = j*b, -2*b - 3 = -x for x.
-3
Let o(z) be the first derivative of 11*z**2 + z + 8. Let p be o(1). Solve -4*q + p = q - 3*i, -5*q = 4*i - 16 for q.
4
Suppose -4*o - 152 = -5*h, 2*h + 27 = -4*o + 71. Solve 3*a + 10 = 3*r - a, -4*r = 5*a + h for r.
-2
Let u = -32 - -34. Suppose -u*m + 4*z = -3*m + 12, -z = -m + 7. Solve -4*a - m = 4*l, 2*a + 6 = 4*a for l.
-5
Let s be (1 - -9)*(4 + 28/(-8)). Solve s*l - u = 2*l - 16, 2*l + u + 4 = 0 for l.
-4
Let y(n) = 21*n + 193. Let i be y(-9). Solve 4*h = 2*z + z + 13, i = h for z.
1
Suppose -16*c - 45 = -25*c. Suppose 0 = -0*y + 3*y - 6. Solve y*h = -4*d - 4, -4*h = c*d - 2 + 1 for h.
4
Let l(r) = r**2 - 25*r - 23. Let d be l(-1). Solve 8 = d*w + z, -w - z - 2 + 4 = 0 for w.
3
Suppose 65 + 481 = 7*l. Suppose 5*r - l = -53. Solve 4*t + 14 = -0*t + 2*m, r*m = 5*t + 10 for t.
-5
Suppose 0 = 4*k - 2*n - 44, 10 = k - 33*n + 32*n. Solve 2*x - 10 - k = -4*j, 0 = 4*j - 20 for x.
1
Let n(z) be the second derivative of z**4/12 + z**3/6 + 7*z**2/2 + 9*z. Let j be n(0). Solve -2*p - 4*x + j = 1, -5*x + 3 = -2*p for p.
1
Suppose 3*u = -5*s + 37, -14 - 7 = -4*u - s. Solve -5*y + u*d + 1 = 0, -y - 2 = -3*d - 0*d for y.
1
Let o = -118 + 121. Solve 3*r = 3*n + o, 3*r + 2*r + 35 = -3*n for r.
-4
Let j(a) = a**3 + 3*a**2 - 7*a + 9. Let r be j(-5). Let p be (2 + 0)*(-9)/r. Solve -2*k + 0*k - 6 = -2*m, k + 2*m - p = 0 for k.
-1
Suppose -3*t + c + 468 = 0, 3 + 9 = 4*c. Suppose 153*d + 12 = t*d. Solve -d*n - 15 = -4*p, -2*n + 7 = -5*p + 17 for n.
-5
Suppose 3*p - 18 = -q + p, 3*q + 2*p - 66 = 0. Let u be 6/(-12) - (-14)/(-4). Let n = u - -13. Solve 3*a + 3*r - n = 0, 3*a = a + 4*r - q for a.
-2
Suppose 4*g - 23 = 17. Let d(q) = q + 3. Let b be d(g). Solve -5*k - 16 = x - 0, 4*x + b = -3*k for k.
-3
Let i(d) = d**3 + 3*d**2 - 4*d + 5. Let o be i(-4). Let m(n) = -n**2 + 80*n + 164. Let l be m(-2). Solve c - 29 = -l*s + o*s, -35 = -5*c + 3*s for c.
4
Let m = 399 + -396. Solve -2*h - y = -m*y - 2, 4*h - 3*y - 3 = 0 for h.
0
Let g(q) = q**2 + 32*q + 194. Let h be g(-7). Solve -w - 7 = -5*o - h, 3*o = -3*w for o.
-2
Let o be (-2)/(-8) + (-1575)/(-420). Solve o*k - 20 = 4*x, 3*x - k + 19 = 4*k for x.
-3
Let q be 1/6 + (-14)/84. Suppose 4*w + 8 - 24 = q. Solve -w*m = -8, 6 = -k - m + 2*m for k.
-4
Let m be ((-48)/42 - -5) + 3/21. Solve -2*r + 1 = z + 4, m*r = 0 for z.
-3
Let w(h) = h**3 - 2*h**2 - 2*h. Suppose 4*a = z + 2*z + 27, -4*a + 17 = -z. Let k be w(a). Solve 0*t = -4*t + 4*l + 40, -k*l + 10 = 5*t for t.
5
Let m(o) = -o**2 - 11*o + 6. Let g be m(-8). Let u be 40*(-3 + g/8). Solve 58 = 4*z - 5*d + 23, -3*z + 5*d + u = 0 for z.
5
Let l be -7 - -5 - (5 - 10). Solve l*y = -5*x + 16 + 5, -2*y - 8 = -4*x for y.
2
Suppose -318 = v - 4*v. Suppose -103*m = -v*m + 15. Solve q = -r + 6*r - 16, m*q = 5*r for q.
4
Let y = 2 + -4. Let w = y - -12. Suppose 0 = -18*f + 20*f - w. Solve 0 = -n - f*i + 1 + 2, 5*i + 3 = n for n.
3
Suppose -13*k + 10*k - 4*n + 4 = 0, -5*k = 3*n - 25. Solve 2*p + k = 0, -2*p + 7*p = f - 22 for f.
2
Let y(f) = -f**2 - 2*f + 3. Let b be y(-4). Let q(m) = m**3 + 5*m**2 + 3*m + 3. Let j be q(b). Let g = j - -14. Solve -4*r + 2*w = -2, 5*w - 2 = g*r + 9 for r.
2
Suppose 11*z = -71 + 93. Solve 4*t = 4*g + t - 5, z*g - t = 3 for g.
2
Suppose 2*n - 3 - 29 = 0. Suppose -11*x + 7*x + n = 0. Let l be (0 - -1) + 1*4. Solve 18 + 8 = x*r + 2*d, 4*r - l*d = -9 for r.
4
Let r(n) = n + 4 + 5 - 3 - 5 + n**2. Let t(o) = 5*o**2 - 7*o - 4. Let g(d) = -6*r(d) + t(d). Let v be g(-11). Solve 0*m - 2*m + i + 1 = 0, 0 = -4*i - v for m.
-1
Let t(i) = i**3 - 17*i**2 + 54*i - 22. Let m be t(13). Suppose 0*k - 4*k + 45 = -3*f, -11 = -k + f. Solve 0 = -x + 5*h + 15, h + k = -m*x - 3*h for x.
0
Let i = 970 - 963. Solve -m = 12*y - 15*y - 19, -3*m + i = y for m.
4
Let j(f) = -f**2 + 7*f + 4. Let s be j(8). Let u = 10 + s. Let z = 8 - u. Solve 6*h + 3*r + 8 = z*h, h = 3*r - 2 for h.
-2
Suppose -4*x - x - 3*v = -25, 0 = -5*v. Suppose -5*c + 40 = -20. Suppose 0 = -j + x*j - 12, -2*p - 4*j = -c. Solve -f - 5*y = -0*y, f + 4*y + 1 = p for f.
-5
Suppose -5*j - 9 = 2*o + 7, -5*j = o + 18. Suppose -14 = -4*l + o. Solve y + 3*y + l = 0, 5*u = y + 6 for u.
1
Suppose -5*d - 24 = -39. Solve -2 = -d*n - v + 1, -v = -2*n - 3 for n.
0
Let m(u) = -2*u**3 - 3*u**2 - u. Let f = 126 - 127. Let t be m(f). Solve -12 = -t*g + 2*g - 4*o, -2*g - o + 3 = 0 for g.
0
Let u = -248 + 252. Solve -4*k - 20 = -u*f, -3*f - 2*k = -0*k + 10 for f.
0
Suppose -2*w = 9 - 17. Let y be (w - (4 + 0))*-1. Solve x + 3*j = -0*x, y = x - 2*j for x.
0
Let l(v) = -v**2 - 11*v + 10. Let m be l(-9). Solve z + 2*z + m = 4*c, -z + 5*c - 24 = 0 for z.
-4
Let d(r) = -r**2 + 13*r + 5. Let l be d(11). Suppose -o + l = 5*a, -2*a - 2 = -12. Suppose -m + 1 = -o. Solve 16 = -c + 4*u, 3*c - 16 = -u - m*u for c.
0
Let c = -2002 - -2005. Solve 4*f + m = 13, c*f - 33 = -f - 5*m for f.
2
Let l = -1 + 0. Let y(g) = -g - 1. Let i be y(l). Suppose -x + 3*x + 14 = 4*c, x = 5*c - 16. Solve 2*j - 4*k = -6, c*j + i*k - k = 1 for j.
1
Let x(p) = -2*p**3 - 4*p**2 - 2*p - 3. Let o be 63/(-14)*4/6. Let h be x(o). Let q be 14/h*(9 - 0). Solve q = 4*r + 2*b, 0 = 5*r + b - 0*b - 15 for r.
4
Let v(i) be the first derivative of -11*i + 3/2*i**2 - 9. Let a be v(5). Solve 10 = -3*b + b - 4*p, -15 = -3*b + a*p for b.
1
Let y be (-1 + 1)*(7 + -6). Solve -3*z = d - y + 9, -3*z - 15 = -d for d.
3
Suppose 8*v - 4*v + 6 = q, -1 = q + 3*v. Solve 4*i = t - 4, -q*i + 0*t = -t + 4 for i.
0
Suppose 71 - 197 = -42*w. Suppose -v + 1 = -3. Solve v*q = 4*i - 16, -w*q - 14 + 0 = -i for q.
-5
Let y(n) = -51*n - 100. Let r be y(-2). Solve -r*s - j - 26 = 3*j, -4*s + j - 7 = 0 for s.
-3
Let l(b) = b**3 - b**2 - b + b**2 - b**2. Let x be l(2)