ppose 11*o - 143 + w = 0. Solve 3*v = 3*h + n, 0 = 5*v - o - 15 for h.
3
Suppose 3*x + x - 12 = 0. Let z(b) = -b**2 + 30*b - 99. Let k be z(24). Suppose 2*g + o = 25, 4*g + 5*o = 4*o + k. Solve -x*v = 3*w + 3, 4*v + v + g = 0 for w.
1
Let c = -1 + 4. Let f(t) = t**3 + 6*t**2 + 9*t + 12. Let o be f(-4). Solve -6*h + o = -2*h + y, 13 = h + c*y for h.
1
Let a = -1226 - -1232. Solve a*o - o - 2*l = 0, 5*o + 25 = -3*l for o.
-2
Suppose 350 = 59*y + 173. Solve -w = y, 0*w + w = 5*m - 28 for m.
5
Let c(u) be the first derivative of -u**2/2 + 8*u + 9. Let v be c(8). Let t = -252 - -258. Solve -2*x - 8 = g - 4*x, v = 2*x - t for g.
-2
Let i be (45/63)/(5/35). Suppose -i*c - 11 = 4*m, 4*m + 6 = -3*c - 7. Suppose -g = -0 - 2. Solve g*l = -5*f + 6 + c, -5*l - 35 = -5*f for l.
-4
Let i(v) = -4 - 18*v + 13*v**2 - 2*v**2 - 6*v**2 - 6*v**2. Let x be i(-16). Let y = x + -24. Solve -y*b - 3*m + 7 = 0, 2*b + m = -m + 4 for b.
1
Suppose 5*n + 16*n = -98 + 413. Solve 16*j - 11 = -3*r + n*j, 20 = 4*r + 4*j for r.
3
Let s = -14369 - -14375. Solve 2*t - s*p = -7*p + 3, 5*t = 4*p + 40 for t.
4
Let c = -47 + 49. Let f be (-1)/((7/(-3) - c) + 4). Solve 3*r + i = -6, -r - f*i = 4*r + 6 for r.
-3
Let w(h) = -24*h**2 - 4*h - 3. Let r be w(-1). Let m(z) = 5*z + 121. Let y be m(r). Solve -5*a + 1 = -b, 13 = -4*b + y*b + 5*a for b.
4
Suppose -5*r = 649 - 804. Suppose -60 - 33 = -r*p. Solve -p*n - 23 = -4*d, -4*d - 5*n + 0 + 15 = 0 for d.
5
Let j be -1 + (-4)/(-2) - -1. Suppose 3*v = -5*y + 11, -2*v + 4 = j*y - 2. Let t = 3848 - 3844. Solve 3*m = t*n - 21, -1 = 2*m + n + v for m.
-3
Let y be -1 - -6 - (-5)/(-10)*292. Let v be (1/3)/(y/36 + 4). Solve 2*a - 10 - 2 = -v*c, 2*a = 5*c + 3 for a.
4
Let j(y) = 11 + 4*y**2 - 4*y - 67 - 4*y**2 + y**2. Let t be j(10). Solve 0 = -3*k - t*i - 19, 4*k - 8 = -0*k + 3*i for k.
-1
Suppose -4*x - 55 = 2*u - 129, -x - 2*u + 29 = 0. Solve -n - 4*a + 16 = -0*n, -x = -5*a for n.
4
Let h(z) be the second derivative of z**5/20 + z**4/12 - 5*z**3/6 + 14*z**2 - 45*z + 1. Let i be h(0). Solve 4*f + 0*f = x - 22, -4*f - i = -4*x for f.
-5
Let k(p) = -10*p**2 + 19*p - 57. Let r be k(6). Let o = r - -306. Let d be 6/12 + 54/4. Solve -o*j + 0*t + d = t, 0 = -4*j + 5*t + 6 for j.
4
Let m = -74 - -230. Let w = 169 - m. Suppose 0*l - 8 = -2*l. Solve -w = -n - 2*i, 2*n = l*n - 4*i + 6 for n.
5
Suppose 0 = 5*g - 78 + 150 - 82. Solve 0 = v + g*b - 1, -7*v - 5*b = -18*v - 70 for v.
-5
Let x be (-46)/(-8) + (-5)/(-20). Suppose -x + 2 = -k. Suppose 0 = -10*c + 315 - 15. Solve 2*l + c = k*n, -2*l + 0*n - 15 = -n for l.
-5
Suppose 0 = g + 4*i - 19, -4*g - 2*i + 96 = 76. Solve -8 = h - 5*u + 3, 0 = g*h + u + 1 for h.
-1
Let u = 6996 - 6994. Solve -h - u - 14 = 5*n, 3*h = -n - 6 for h.
-1
Let n(w) = -w**3 - 40*w**2 + 97*w + 96. Let h be n(-42). Let z = -435 - h. Solve -k - z = 5*a + k, 5*a + 15 = k for a.
-3
Let t = -23056 - -23059. Solve -b = -t*f, -5*b + 10*b - 5*f = 0 for b.
0
Let j(p) = -3*p**2 - 18. Let o be j(-8). Let d = o + 225. Solve -5*s - d = 0, -4*s + 10 = i + 26 for i.
-4
Let b = 16 + 10. Let k = 30 - b. Suppose 0 = -2*c - 6, -2*m - 6 + 24 = k*c. Solve 25 = -5*j + s, -2*s + m = -3*j - 3*s for j.
-5
Let o = -57 + 61. Suppose -3*q = 3*m - 27, -o*m - q = -21 - 0. Let v be (-2 + 5 - 8)*m/(-5). Solve 3*g + 7 = -2*t, -v*t = -8*t + 16 for g.
-5
Suppose 6 = -n + i, 22 = -5*n - 5*i + 2*i. Let a(v) = -v**2 + 102*v - 58*v - 51*v - 8. Let u be a(n). Solve -2*l = -u*g, 7*g - 4*g = -l - 8 for l.
-2
Suppose -26*n + 4*b = -25*n + 15, -5*b = -25. Solve 5*p = 3*d - 8*d + 10, n*p - 16 = -3*d for d.
-3
Suppose 2*m = -207 - 391. Let x = -274 - m. Solve 4*n - a + x = 0, a = -3*n + 6*n + 20 for n.
-5
Suppose 2 = b, 3*q - 21*b = -24*b + 15. Solve -3*p - 2 + q = -z, 3 = 3*p for z.
2
Let d = -509 - -944. Let y = 435 - d. Solve -3*z + z - 2*u = 12, y = -4*z - 2*u - 20 for z.
-4
Let r be ((-16)/6 - (5 + -7))*-9. Suppose 2*w - 5*w = 3*q - 15, -5*w - 3*q = -35. Suppose -w - r = -4*l. Solve 0 = -4*x - 2*m - 2 - 0, 2*x + 4 = -l*m for x.
0
Let i be 2/7*(-3 - -10). Let s(p) = p**2 - 9*p - 8. Let b be s(10). Let w = b + i. Solve -x = 4, 0*x - 5*x = -w*d + 8 for d.
-3
Let d = -1066 + 186. Let b = 883 + d. Solve b*p + 4*r = 0, r = 2*r - 3 for p.
-4
Let b(w) = w**3 - 11*w**2 + 37*w - 88. Let a be b(8). Solve 16*c + 23 = 3*h + 14*c, c - a = -4*h for h.
5
Let n = -29 - -32. Suppose -33 = -41*a + 30*a. Solve 5*g - 3*k + 21 = 0, -4*k + 11 = -a*g - n*k for g.
-3
Suppose -4*w = -3*g + 49, 3*w = -g + 7 + 18. Suppose -7*t + g + 16 = 0. Suppose 0*b + 5*b = -t*y, -y - 2 = 0. Solve 2*i - 7*i + 31 = -b*k, 7 = -4*k - i for k.
-3
Suppose -s + 7 = 5. Suppose -s*r = 13*r - 165. Suppose i = 4*h - 2, 5*h = -5*i + 2*i + r. Solve 4*a = -2*g + 2, g + 2*a = 3*g - i for g.
1
Let l be ((-2 - -3) + 4)/((-2)/(-8)). Suppose 0 = -5*n - 5*p - 20, 0 = -5*n + n - 5*p - l. Solve -2*o + 2*x = 0, n*x + x + 9 = 4*o for o.
3
Let i(a) = -a. Let m(h) = h - 3*h + 14 - 41 - 7*h. Let j(w) = 6*i(w) - m(w). Let l be j(-9). Solve -4*x = x - 3*k + 24, l = 5*x + 5*k for x.
-3
Let z = -1277 + 1280. Suppose 5*c + 11 = 5*q - 29, -4*q = 5*c - 14. Let i = 8 - q. Solve 0 + 6 = i*s, 0 = -4*o + z*s - 1 for o.
2
Let s be 1*3*((-272)/6)/2. Let k = 103 + s. Suppose -44*o + 49*o = k. Solve 28 = 2*i - 5*m, 17 = 4*i - 2*m - o for i.
4
Let c = 333 - 382. Let o = c - -52. Let z(l) = l**3 - 8*l**2 + 9*l + 7. Let w be z(7). Solve o*h - 1 - 3 = -2*s, -5*s - 2*h + w = 0 for s.
5
Let b = 1447 - 1444. Solve -2*d - 26 = b*d - j, 5*j = -5*d - 20 for d.
-5
Let w be -5 - 4 - 4/(-1). Let o be (20/2)/(-6*w/15). Solve -o*n + 5*t - 45 = 0, -4*n + t = -n + 19 for n.
-5
Suppose -v = -10 + 4. Suppose -180 = -10*s + v*s. Let f = -43 + s. Solve 7*m - 4*y - 28 = 3*m, -2*y = f*m - 6 for m.
5
Let a be 12 - 6/30*5. Solve 2*d = -14*r + a*r + 12, 3*d - 17 = -4*r for r.
2
Suppose 145*k = 148*k - 2*t - 13, 0 = 4*k + 4*t - 4. Solve -k*v - 32 = -7*v + 3*m, 4*v + 3*m - 8 = 0 for v.
5
Suppose 0 = q - 62*q + 305 - 0. Solve h - 3*h = 2*v - 10, -q*v + 3*h = -1 for v.
2
Suppose 0 = 4*n - 2*p - 18, 31*n + 15 = 26*n - 5*p. Solve 2*g = -7*d + 31, -n*g + 19 = 3*d - 4*g for d.
5
Let c(r) = 22*r - 33 + 17*r**2 - 4*r**3 + 22*r**2 - 3*r**3 + 6*r**3 - 32*r**2. Let i be c(9). Solve -3*o - o = 12, o - 9 = -i*g for g.
4
Let p(w) = 13*w - 101. Let n be p(-27). Let m = n - -455. Solve -5*s = -m*g, g + s + 4 = 4*s for g.
5
Let j be 2 + 21/6 - 70/(-60)*3. Solve -2 = h, -p - 11*h + j = -15*h for p.
1
Let d = 69 + -68. Let a be (d/4 - 4/(-16))*0. Let z be 111/6 + (a - 2)/4. Solve 5*j + 5*g - 10 = 5, 2*j + z = 4*g for j.
-1
Let j be 2 - 6*(4 + -3). Let d(a) = -2*a**2 + a + 41. Let v be d(j). Solve 0 = 3*p + 6, -v*u - 5*p = 35 for u.
-5
Let l = 173 - 167. Suppose 12*d - 30 = l*d. Solve 0 = -2*b + 7*b - d*n + 10, -2*b = 2*n + 8 for b.
-3
Suppose 3*k + 8*j = 4*k - 50, 4*j = -2*k - 20. Solve 5*b = 4*n + 10*b - 19, -5*n + b = -k for n.
1
Let v be 10/4*-10*(7 + 10). Let f = v + 432. Suppose 0 = -x - 2*x. Solve x = 2*a - 3*o - 14, -2*a + 5*o = -f*a - 15 for a.
1
Let o(w) be the first derivative of -3*w**2/2 - 21*w - 10. Let b be o(-7). Suppose -3*h + h + 4 = b. Solve h*m - 1 = q - 7, -4*q = -2*m - 18 for q.
4
Suppose 10*f = 5*f - 3*z + 44, f + 3*z - 4 = 0. Suppose f = -14*p + 66. Let h be -6*((-21)/6 + 1). Solve -5*i + 18 = 2*a - 7, -p*a - h = -3*i for i.
5
Let r be (-4)/(-18) - ((-174)/(-54) + 3). Let v be 29 + r/(2/1). Solve 5*u = 4*g - v, -g - 3*u = -3*g + 14 for g.
4
Let u(a) = -9*a - 364. Let m be u(-41). Solve 21 = -3*j + 6*j + 2*p, -p + 28 = m*j for j.
5
Let y be 2*(60/100)/((-12)/(-40)). Solve 0 = -4*z + 5*o - 15, 0 = -3*z - y*o + 9*o - 10 for z.
-5
Let v(n) = 184*n + 8. Let w be v(2). Suppose 5*a = 4*h - 444, 4*a + h = -h - w. Let x = -90 - a. Solve 5*t = -4*m + 37, -x = -2*t + 5*m - 7 for t.
5
Suppose 4*t = 2*x - 36, 3717*x - 3712*x + 5*t + 15 = 0. Solve 5*q = -4*b + 1, -5*b - 286 + 318 = -x*q for q.
-3
Let g = -29772 + 29776. Solve 0 = 3*o - 5*n + 9, -37 = 3*o - g*n - 28 for o.
-3
Let r = -242 - -238. Let p be r*((-10)/(-4) + -3). Solve -3*l = -p*x - 6, 0*l = -3*l for x.
-3
Let g be 0/(((-28)/(-2))/(-7)). Suppose g = 15*v - 43 - 32. Solve -2*r - p - 13 = 0, -5*r - 20 + v = -p for r.
-4
Let j = -1955 + 1892. Let x = 58 + 10. Let v = j + x. Solve 0 = 5*l - 2*l + q + 2, -2*l + v*q + 27 = 0 for l.
1
Le