h - w + 7, 0 = -g*h - 0*w - w - 11 for h.
-2
Suppose b - 5*t - 44 = 0, -3*t + 304 = -2*b + 7*b. Let a = 61 - b. Suppose -3*g = -4*c + a, 3*c - 2*g + 0 = 2. Solve w - c*l = 1, -3*w - 25 = 2*l - 4 for w.
-5
Let z = 17 + -10. Suppose 16 = -3*t + z*t. Let b(u) = u - 1. Let x be b(t). Solve -4*q = -x*f - 8 - 1, -4*f + 3*q = 12 for f.
-3
Let m(d) = d**3 + 29*d**2 + 201*d - 30. Let u be m(-17). Solve 29 = 2*k - 5*v, -5*v - u = 2*k - 0*k for k.
2
Suppose -3*f - 4*r = -80, 2*r - 151 = -5*f - 27. Solve -4*h + 2*n - 102 = -106, 4*h + 3*n - f = 0 for h.
3
Suppose 4 = f + 1. Let q(g) = -5*g + 50. Suppose 25 = 5*o + 4*y, 2*y = 4*o + o - 55. Let n be q(o). Solve -m + t + 0 = -f, n = 2*m - t for m.
2
Suppose -36*w + 1280 + 1024 = 0. Suppose 0 = 3*c - 11*c + w. Solve 3*v + 5 = -4*m + c*v, -v = -5 for m.
5
Let k(r) = -2*r - 3. Let h be k(-3). Let p be (-27)/((-2)/(-8) - h/(-12)). Let f = p + 56. Solve -4*o + j - 6 = 0, -j - 2*j - f = -2*o for o.
-2
Let i be (320 - -2)*(-5)/(13 - 3). Let g = -160 - i. Suppose 4*p - 3*w - 24 = 3, 4*w = 4*p - 32. Solve 2*m = u - p, u - 4 = -m - g for u.
3
Let c(v) = -75*v - 372. Let m be c(-5). Solve o + m = -2*d + 14, 15 = 3*o for d.
3
Let n be (3/2 + -1)*(-6 + 114)/27. Solve n*t - 9 = -12*a + 9*a, -a + 3 = 0 for t.
0
Let s be (-33)/55*(630/(-5) + 1). Suppose -g + s = 14*g. Solve -5*t + 0 = 5*q - g, 4*q + 8 = 2*t for t.
2
Let d = -211 - -146. Let m = d + 72. Solve -c = 3*y + 13, -m*y + 4*y - 5*c - 17 = 0 for y.
-4
Suppose -5*y + 2*w + 174 = 0, 2*w = -5*y - w + 164. Suppose 2*o - 4*o = t - y, 3*t + 2*o = 90. Suppose 4*j = 11*j - t. Solve 4*u = 4*a + j, 0*u - 1 = -u for a.
0
Suppose -2*b - b = -c + 3, 0 = -3*c + 2*b + 9. Suppose -5*f = -5*k, 7 = -c*f - k + 15. Solve f*q + 2*s - 4*s = 12, -q - 5*s - 6 = 0 for q.
4
Let v = 17 + -2. Let u be (-3)/v - ((-16)/(-5))/(-1). Let z be 5 - 1 - 1 - 1. Solve z = -u*k - j, 21 = 4*k - 5*j - 8 for k.
1
Let g be ((0/12)/4)/1. Solve 4*s - 5*f + 20 = g, -2*s = -2*f - 3*f + 10 for s.
-5
Suppose -2*m - 2*p - 3 = -m, -2*m - 3*p - 1 = 0. Let u(r) = r - r**2 + m - 9*r + 0*r. Let f be u(-7). Solve 10 = 4*x + 2*s - 0*s, -2*s - f = -4*x for x.
3
Suppose 15 = -2*u - i, -2*i = 3*u + i + 18. Let o = u + 20. Let z = -284480 + 284483. Solve 7*c + o = 2*c - z*k, 32 = -5*c + 4*k for c.
-4
Let n be ((-14)/(-4))/(((-42)/5244)/7). Let m be n/(-207) - 4/(-18). Solve 4 = 4*l, -3*s - 3*l + m = -0*s for s.
4
Let j be (-82544)/2211*(-12)/14. Solve h - 2*q - 6 = 0, -4*q = j - 24 for h.
2
Let a be 7/((-154)/55)*(-16)/(-10). Let v be ((-9)/(-6))/(4*a/(-64)). Let j be 32/(-12)*9/(-12). Solve -12 = j*o - p, -v*o = -3*o + 4*p + 7 for o.
-5
Let w = 219553 - 219529. Suppose 17 = 3*g + 2. Solve 0 = 3*h - 4*p - w, -4*p - 4 + 12 = g*h for h.
4
Suppose w = 4*v + 23, w - 96 + 118 = -5*v. Solve -3*p + z = -12, w*z - 24 = 3*p - 6*p for p.
5
Let q(h) = -h**2 - 7*h + 117. Let n be q(7). Solve -4 + 2 = -r + x, -n = -5*r + 2*x for r.
5
Let j = 305 + 100. Let d = 408 - j. Solve 4 = 4*v, d*p = 2*v - 3 - 2 for p.
-1
Suppose 159*n - 63*n - 342 + 54 = 0. Solve 2*d = -n*x + 13, -5*x - 139*d + 134*d = -20 for x.
5
Let x(b) = -b**3 + 6*b**2 + 10*b - 25. Let y be x(7). Let p(c) = c**2 + 3*c - 1. Let g be p(y). Solve 3*d - g*z = 3, 0*z - 4*z + 11 = -d for d.
5
Let h = -15 - -28. Suppose 0 = -65*c + 87*c. Suppose h*p - 9*p = c. Solve -3*u + 3*l + 27 = p, 4*u + 2*l = 2 + 4 for u.
4
Suppose l + 16 - 20 = 3*o, -8 = -2*l - 2*o. Solve l*q = -5*t, 4*q - 16 = 3*t + 16 for q.
5
Let j be 32/112 + 2/(-7). Suppose j*l - 3*l = -24. Solve -14 = -4*b + 2*v, 0*b + l = b + v for b.
5
Let f(c) = 7*c**3 + 2*c**2 - c - 1. Let w be f(1). Let k be 7 + w + -11 - 0. Solve 0 = k*d, 0 = -4*b - 5*d - 13 + 5 for b.
-2
Let m = -427 - -426. Let q be (-2295)/(-1080) + 1*m/8. Solve -q*y + 10 = 2*b, 0 = 3*b + b - 8 for y.
3
Let r be 32 - (3 + -1)*161/46. Solve -2*l + 21*s - 8 = r*s, -2*s - 8 = 0 for l.
4
Let u(y) = -378*y + 9831. Let m be u(26). Solve 5*i - 5 = -m*w - 9, 4*w + 7 = -5*i for i.
1
Let d = -16434 + 16438. Solve 0 = 3*z - 3*x - 15, 4*z + d*x + 55 - 43 = 0 for z.
1
Let r(a) be the second derivative of 5*a**4/6 + 91*a**3/6 + 11*a**2/2 - 7*a. Let x be r(-9). Solve -2*m = -x*s - m - 8, -24 = 4*s + 2*m for s.
-5
Suppose -20 = -53*y + 48*y. Suppose -m - 2*f = 6, y*f - 2*f = 2*m - 12. Solve -o - 10 = 3*v + 10, m*o = 4*v + 10 for o.
-5
Suppose 3*b - 5*b = 3*r + 531, -187 = r + 4*b. Let w = -172 - r. Let o = 14 - 12. Solve -5*x - w*l = 11, -5*x - 2*l = o*l + 8 for x.
-4
Let j(l) = -l**2 + 7*l + 123. Let b be (22 - 37)/((-2)/(0 + 2)). Let h be j(b). Solve 18 = -4*u + 5*x, 2*u + x - h*x + 8 = 0 for u.
-2
Let i be (22/(-6))/(63/(-189)) - (-12)/(-2). Solve 6 + 4 = i*f + b, 10 = 5*f + 2*b for f.
2
Suppose -440*a = d - 438*a, 3*d - 22 = 5*a. Solve z + 13 = -3*m, -22*m + 25*m + d*z + 7 = 0 for m.
-5
Let p be 14/(-2) + 16/4 - -103. Let b = p + -66. Solve 4*q + 3*l - 32 = -l, 3*l - b = -5*q for q.
5
Let a = -175 - -179. Let w = 39 + -47. Let f be 2*2/(w/(-6)). Solve 3*g + v - 11 = 0, -a*g + f*v = -3*g + 13 for g.
2
Let i(n) = 2*n**2 + 45*n - 68. Suppose t = -2*y - 44, 4*y - 14*t = -19*t - 76. Let d be i(y). Solve 0 = -d*j + k + 25, 0*j - 4*j = -5*k - 45 for j.
5
Suppose 11*r - 17 - 16 = 0. Suppose 4*t - 1 + 15 = -2*q, 5*q - 30 = r*t. Solve -4*y + 19 = 3*d, -q*y = -5*d + 2*y - 15 for d.
1
Suppose 0 = 47*y + 24491 - 24632. Suppose s - a + 2*a = 0, 3*a + 10 = 2*s. Let m be s/(-6) - (-2)/6. Solve -y*i + 4*c = -m*i - 23, -4*i + 3*c + 26 = 0 for i.
5
Suppose w + 3*w - 12 = 0. Suppose 3*m = -w*s + 48 + 21, 4*m + s = 83. Solve -4*l + 5*l = 0, 4*v = l + m for v.
5
Let z(w) be the second derivative of 1/2*w**3 + 14*w - 13/2*w**2 + 0. Let r be z(5). Solve -3 = 3*q - 3*a - 0, -q + r = -2*a for q.
-4
Suppose -18*y - 4*o = -14*y - 56, -4*y - 3*o + 52 = 0. Solve -4*t - j + 25 = 0, 2*t + j - 5 = y for t.
5
Suppose 4*y - 10 = -v, 67*v - 63*v + 3*y = 92. Solve -v = -5*s + j - 10, 0 = -5*s + 3*j + 18 for s.
3
Let m be (-2562)/(-16) - 1/8. Let j = m - 160. Solve j = 3*p + 3, -4*n - 3 = -5*p + 4*p for n.
-1
Let t = -1073 - -1077. Solve t*h - g + 8 = h, h + 26 = 5*g for h.
-1
Let h be 8/(-44) - (-20)/(-11). Let l = h - 1. Let j be (4 + l)*(5 - 5). Solve 4*p - z - 7 = 0, -2*p - 3*z = -j*p - 21 for p.
3
Suppose 8*s = 11*s - 348. Suppose 62 = -9*p + s. Solve -2*o - 4*x - 6 = 0, -2*x = o + 3*o + p for o.
-1
Let z be 3/7 - 1696/(-224). Solve -q - 3*y = -z, y = q + 3*y - 7 for q.
5
Suppose 4*b + 7*q = 3*q + 12, 0 = 2*b + 5*q - 6. Suppose -b*v - 45 = -5*g + 2*v, -21 = g + 5*v. Solve -1 = -3*p + p + y, -2*p + g*y = -4 for p.
0
Let g(f) = -f + 8. Let z be g(8). Let x be 5/(-45)*-3*(-2 - -2). Suppose x = -8*y + y + 14. Solve z = 7*j - 2*j - y*d + 16, -2*d - 8 = j for j.
-4
Let x(z) = 3*z**3 + 13*z**2 - 13. Let n = 49 + -53. Let y be x(n). Solve -y*i - 2*i + 10 = 5*q, 2*q + 12 = 2*i for q.
-2
Suppose 19*t = -655 + 731. Solve i + 7 - 6 = r, 6 = 2*r - t*i for r.
-1
Let y be (-1 + -2 - -9)/(69/23)*2. Solve 0 = -y*h - 3*j - 8, -5*h - 3 = -j - 12 for h.
1
Let s = -12767 - -12772. Solve 2*t - f + 4 - 5 = 0, 37 = 4*t + s*f for t.
3
Let o(c) = -c**3 + 5*c**2 - 3*c - 4. Let f be o(3). Suppose 0 = 95*i - 271 - 14. Solve -g = i*g + 4*w - 16, f*g + 2*w - 11 = 0 for g.
1
Suppose -t = -5*t + 8. Suppose 4*q = t*o - q, -q = 4*o. Let v be -10 - (-6 + -3) - (-5)/1. Solve o = -2*f + 2*i - 6, 0 = -f - v*i + 2*i - 3 for f.
-3
Let z(x) = 16*x + 215. Let s be z(-13). Let p(y) = y**2 - 6*y + 5. Let f be (-3 + -2)*(-3 + 2). Let r be p(f). Solve h = 5*d + 29, r = 2*d - d + 3*h - s for d.
-5
Let i(n) = -21*n + 4. Suppose k = -4*d - 2, k + k = -d + 3. Let j be i(d). Solve 2*r + 6 = z, -z - 4*z = r + j for z.
-4
Let k = -160216 - -160218. Let d = 6 + -2. Suppose -m = -4*b - 0*b + 11, -22 = -5*b + d*m. Solve y - k*f = b, -6*f = -3*y - f + 5 for y.
0
Suppose -4 = -4*u + 2*h - 172, 4*h + 8 = 0. Let i be (-34)/((-34)/15) - -28. Let o = i + u. Solve 4*s + 2*z = -o*z - 14, 3*s + 10 = -z for s.
-3
Let x be ((-6)/(-9)*4)/(41/123). Suppose x*n + 6*n = 14. Solve w + 3*o = -n, 5*o = -4*w + 2 + 1 for w.
2
Let f(n) be the third derivative of -n**5/20 + 5*n**4/8 - 4*n**3/3 - 2*n**2. Let m be f(4). Let y = -67 - -70. Solve 6*b - 2 = 2*b - 2*r, -b + m = -y*r for b.
1
Let k(v) be the third derivative of 5*v**4/24 + 40*v**3/3 + 2*v**2 + 15. Let r be k(-15). Solve