, -2*h = -2 for l.
-2
Suppose -2*w = -4*t, 0 = -t + 2*w + 3*w. Suppose -9*f + 25 - 7 = 0. Solve t = -k + 3*u + 1, u - 3*u = f for k.
-2
Let v(s) = -4*s + 10. Let j be v(2). Suppose 0 = -2*b + 8, 5*q - 5*b + j*b = 63. Solve 4*k - 2*k + 4 = 5*g, -5*k + q = 0 for g.
2
Let k = 514 + -669. Let x = k + 195. Solve -2*n - 5*p = n - x, -5*p + 25 = 0 for n.
5
Let y(z) = -2*z - z + 3*z**2 - 4 - z**3 + 5*z. Let q be y(2). Solve 4*m - 35 = 5*k - m, -4*k = q*m - 4 for k.
-3
Suppose 2*c + 7 + 5 = 2*s, 0 = -5*c - 20. Suppose -s*m = m + p - 303, m + 2*p = 96. Let z = m - 102. Solve -3*j + 4*b + 8 = z, 0 = -3*j - 0*b - b + 13 for j.
4
Suppose 3*s + 55 = 4*r, 10*s = 7*s - 3. Solve -3*l = 4*f + r, -3*f - 69 = 4*l - 54 for f.
-1
Let k = 682 + -576. Suppose 4*q + 94 = k. Solve 5*m - q*w = 2*w, -12 = 3*w for m.
-4
Let u be (7/((-105)/(-12)))/((-4)/(-10)). Let x(v) = 2*v - 6. Let a be x(4). Solve 3*q = q + a*s, 0 = u*s + 10 for q.
-5
Let v(l) = 6*l**2 - 70*l + 181. Let a be v(8). Solve 2*j - 4 + 12 = -4*i, 5*j - 25 = a*i for j.
2
Let u be 6/(-4) + 1431/6 + -6. Let i = 232 - u. Solve 0 = -2*x + 3*v + i, 2*x = x + 4*v - 2 for x.
2
Suppose 0 = 6*v + 6*v + 1884. Let x = v - -162. Solve -x*z = -5*u, 0 = -2*u + u + 3*z + 2 for u.
-1
Suppose 9*u = 37 - 19. Suppose 7 + u = 3*t. Solve a = 3*z + 3, -2*a = -t*a - 2*z + 3 for a.
3
Suppose 3*u = -2*u, -4*r = -3*u - 20. Suppose 4*x + 16*o - 18*o = 26, -x - r*o = 21. Solve x = -5*f + 3*n, -2*n = -3*f + 7*f - 10 for f.
1
Let v(j) = j**2 + 10*j + 20. Let h be v(-8). Suppose -h*b = 4 - 12. Let c be ((-1)/b)/((-9)/126). Solve i + 0*s - 5 = -s, 0 = -2*i + s + c for i.
4
Suppose 0 = -3*y, 0*o + 28 = 4*o - y. Suppose 0 = m - 2*r - 12, -r = 2*m + 3 - o. Solve m*a - 1 = 3*p, -4*a + 4*p = -3*a + 16 for a.
4
Let w(d) = -d**3 - 10*d**2 - 11*d - 238. Let h be w(-11). Solve -12 = -2*q + h*l, -8*l - 16 = -4*l for q.
-2
Let m(f) = 12*f + 28*f**3 + 8*f**2 - 15*f**3 - 8*f**3 - 7 - 6*f**3. Let w = -5 - -14. Let k be m(w). Solve -5*x + h + 26 = 0, 0*x - 5*h = -3*x + k for x.
5
Suppose 21*y + 2*g = 17*y + 16, 0 = -5*y - 2*g + 18. Suppose -y*x - 4 + 10 = 0. Solve -i - 10 = -3*s, 5*s - i = x*i + 12 for s.
4
Suppose -6 = -3*l + 51. Let r = l + -17. Suppose r*n = t - 3*n - 12, t - 4 = n. Solve -25 = -3*x - x + 3*c, 0 = -t*x - 5*c - 7 for x.
4
Let h = 3681 + -3678. Solve h + 10 = 3*q + 2*w, -6 = -3*w for q.
3
Suppose -4*d = -2*l - 20, -138 = 132*d - 168*d - 3*l. Suppose -3*v - j = -41, -v + 5*v + 4*j = 52. Solve d*t + 10 = -b - b, -5*t - 2*b = v for t.
-4
Suppose -4*v + 3*u + 15 = 0, -3*v + 0*u - 2*u = -24. Let n be (24/14)/(v/21). Solve -3*y - 3*g = -0*y - n, 0 = -y + g + 4 for y.
3
Let o(w) = 10*w**2 - 97*w + 65. Let v be o(9). Solve y - v*j = -1, y - j - 47 + 45 = 0 for y.
5
Let k be (8 - (-228)/(-30))/(6/(-90)) + 26. Solve -k*b + 17*b + 9 = -2*p, 0 = 2*b - 2 for p.
-3
Suppose -5*f - 3*x + 10 = 2*x, f - x - 6 = 0. Solve 2*h + v - 16 = -7, 11 = f*h - 5*v for h.
4
Suppose -423*k + 496 = -361*k. Solve 3*s - 6 = 2*c, 3*c + 4*s - 8 = k*c for c.
0
Suppose -6*x - 12*x = -90. Suppose -2*a - 25 + 123 = 5*g, -x*a + 95 = 5*g. Solve 4*f + 31 = 5*m, 0*f = 5*f + g for m.
3
Let u(r) = 311*r**3 - 2*r**2 - 2*r + 3. Let o be u(1). Let f = o + -306. Solve -d + 3*s = -0*s - 7, -f*d - 5*s = 23 for d.
-2
Let t = -111 + 218. Let j = t - 103. Solve 0 = -2*u + 2*k - 0*k, 0 = 5*u - j*k + 2 for u.
-2
Suppose 86*d - 59*d = 81. Solve -3*h + 0 - 13 = 4*g, -2*g + d*h = -7 for g.
-1
Suppose -3*l + 15 = 0, -6*c + 2*c - 4*l = -40. Solve -w - 2*w = -3, 0 = 4*x + c*w - 17 for x.
3
Suppose q = 3*s - 10, -5*q + 26 = -329*s + 333*s. Solve -q*r + 2*z = 0, -6*z + 4 = -4*r - 4*z for r.
-2
Suppose -4*o = -133 + 21. Suppose o = 2*y - 4*i, 4*y + 5*i = 2*i + 56. Suppose 0 = -12*l + 8*l. Solve -4*z - y = -3*m, -5*m + 3*z + 1 + 4 = l for m.
-2
Let j be ((-144)/30)/(2/(-5)). Suppose j*h = -h + 52. Solve 21 = f - 5*b, -h*f + f - 37 = 5*b for f.
-4
Let p(h) = -147*h + 86. Let c be p(4). Let a = c + 517. Suppose -6*d + 5*d = -5. Solve 0*m = -i - 2*m - 5, a = -5*i - d*m for i.
-1
Suppose 3*k - 5*y - 5 = 0, y = 2*k + 2*y + 1. Suppose k = 5*x + 15, i + 5*x + 3 = -8. Solve -v + 5*v + n = 4, 0 = -5*v - i*n + 16 for v.
0
Suppose 1573*j - 33 = 1562*j. Solve r + j*t - 30 = -16, -20 = -4*t for r.
-1
Let k(g) = g**2 + 125*g + 172. Let b(i) = -31*i - 43. Let p(d) = 9*b(d) + 2*k(d). Let o be p(16). Solve -4*f - q - 14 = -4*q, 0 = -f + o*q + 5 for f.
-5
Suppose 580 = 9*i + 562. Solve -5*b = -4*u + 37, -4*u + 14 = i for b.
-5
Let s be 0/2*(-3)/(-6). Let u be ((-36)/(-8))/(3/58). Let g = 89 - u. Solve j - 1 = 0, -d - g*d + j - 7 = s for d.
-2
Suppose -2*f - 18 = -2*s, f - 13 = -5*s + 50. Let m be (s/(-18))/(-2)*6. Solve -2*n - 6 = 2*d, -d + 3*n = -m*n + 15 for d.
-5
Suppose 5*f - 4*j = 20, 4*j - 2*j - 10 = 0. Suppose 6 = -f*v - 10. Let q be v + -1 + -3*(0 + -1). Solve 3*u + c = -q*u + 20, 3*u - 4*c + 5 = 0 for u.
5
Let k be 6*(0 + 2 + -1). Let i(y) be the first derivative of y**3/3 + 9*y**2/2 + 17*y + 50. Let v be i(-7). Solve -k = 5*z + v*r, 5*z - 4*r + 3 = 11 for z.
0
Let z be (-6)/20*-18 - 14/35. Suppose -z*m = -4*j - 25, j - 6*j - 20 = -4*m. Let d be (-1 - (j + 4))*42/(-105). Solve 2*o = -d*h - 2, 4*o - 3 = -3*h - 4 for h.
-3
Let h be (-20)/(-8)*((-58)/29 + (-8)/(-2)). Solve h*m = -2*k + k - 22, 14 = 3*k - m for k.
3
Suppose 5*r - 11 = 2*h, -4*h + 2*h + 10 = 2*r. Solve -3*f + 2 + 5 = -a, 0 = -r*a - 5*f + 35 for a.
5
Let i be 36/15 + (-6)/15. Suppose 5*p = i*p. Suppose -40*q - 1157 = -1237. Solve p = -3*j - 4*s + 20, q*j - 10 = -2*s for j.
0
Let p = -389 + -161. Let f = 555 + p. Solve 3*a + 16 = -a, 6 = -f*v - 4*a for v.
2
Suppose -k - 70*a - 6 = -66*a, 0 = k - 6*a - 14. Solve 12 = 3*y - 2*r + 8, k*r = 2*y - 2 for y.
2
Let x(t) be the third derivative of t**5/60 + 7*t**4/12 + 15*t**3/2 + 112*t**2. Let z be x(-4). Solve z*j + 18 = j + 2*c, 2*c = 10 for j.
-2
Let n(m) = -10*m**3 + 5*m**2 - 1. Let o be n(-1). Suppose 52 = 3*d - 4*c, -17*d + o*d + 77 = c. Solve -4*h + 5*j + d = 0, 2*h + 3*j + 15 = 5*h for h.
1
Suppose -5*c + 5 = -10, 2*w = -c + 11. Suppose -19*n - 5*j - 50 = -23*n, 2*j + w = 0. Solve -3*m - 10 = -x, -2*m - n = -m + x for m.
-5
Let b = 16556 + -16554. Solve b*y - 10 = -4*i, 5*y = 12 - 27 for i.
4
Suppose 5*l - 8 = 42. Suppose -4*d - 2127*s = -2124*s + 11, 0 = 3*d - s - 21. Let b be 27/12 + (-1)/4. Solve b*n = -d*y - 4, y + 4*n + l + 5 = 0 for y.
1
Let i be 2 - 3 - 14/(-2). Let u(v) = 36*v - 210. Let g be u(6). Suppose 0 = -g*n + 3*n + i. Solve 0 = 5*k - 2*x + 7, 0 = n*k - k + 4*x + 19 for k.
-3
Let d = 9078 + -9053. Solve -z + 6*z = -3*x + d, -3*x = 0 for z.
5
Suppose 1482 = 3*c - z, -z + 3*z - 1482 = -3*c. Let m = 513 - c. Solve 20 = 3*p + 5*q, -2*q + q = -4*p + m for p.
5
Suppose -l + 31 = 4*w - 12, -3*w + 11 = 5*l. Suppose 195 = w*f - 33. Suppose -18*m = -f*m. Solve -3*u + 6 = -3*p - 6*u, m = -p - 5*u - 22 for p.
3
Let m(i) = 4*i**2 - 17*i + 34. Let h be m(8). Let p = 156 - h. Solve -p*g - 3*u + 8 = 0, 5*g = u + 11 + 9 for g.
4
Let r(f) = f - f + f + 0*f + 17. Let n be r(-15). Let q = -39 + 43. Solve -v - 1 = -3*p - 6, -20 = n*p - q*v for p.
0
Suppose -160*o - 779 - 469 = -192*o. Solve b + 3*h = -9, -3*b - h + o - 50 = 0 for b.
-3
Suppose 0 = 5*x + 15, 4*u + x - 51 = -2*x. Solve 10*h = u*h + 2*g - 1, -4*h - 4*g = -8 for h.
-1
Suppose x + 285 = 5*k + 5*x, -202 = -4*k + 2*x. Suppose -51*q + 2922 = 678. Suppose 3*d + q = k. Solve 6 = -4*z + 3*n, 0 = -5*z + d*n - 5 - 1 for z.
0
Suppose -26 = -3*n - v, 30 = -5*n + 8*n - 3*v. Suppose -4*j = -n*j + 45. Suppose 6*y + j = 21. Solve -3*a - 14 = -y*r, 2*r - 5 = a + r for a.
-4
Let b = 1340 + -1340. Solve 0 = 4*s + 4*d + 24, -3*s + 3*d - 12 = -b*s for s.
-5
Suppose w = -5*s + 37, 0 = 6*s - s + 4*w - 58. Solve 18*v + 2 = -4*l + 21*v, -4*l = -5*v + s for l.
1
Let u(w) = w + 13. Let o be u(-8). Let j be (42/(-12) + 2)*(-4)/6. Let x = 725 + -725. Solve -j = c + i - x*i, c - o*i = -7 for c.
-2
Let v be (5 + -1 + 1)*(-13 - -12). Let s be (-4)/v - (-81)/5. Suppose -26 = -3*l - s. Solve -5*b + b = 5*y - 14, b - 2*y = -l for b.
1
Let q be ((-94)/(-8) - 1/(-4))*117/351. Solve 0 = q*z - 3*n - 11, 5*z - 15*n + 12*n - 16 = 0 for z.
5
Let i = -3 - -7. Suppose 20 = 3*g - 5*v, -34*g = -40*g + 2*v + 32. Solve g*b = -4*t - 15, -i*t + 7 = -2*b + 1 for b.
-3
Let n be (5 - -2 - 0