4). Suppose 30 = g*l + 10, -2*l = -2*v. Solve -v*h + 2*q = -17, -2*h - 3*h - 2*q + 33 = 0 for h.
5
Let m(t) = 15*t + 320*t**2 - t**3 - 162*t**2 - 11 - 145*t**2. Let h be m(14). Let b be (5/(-2))/(2/(-4)). Solve 2*z + 11 = 3*k - 0*k, -b*k = h*z + 7 for k.
1
Let u(d) = 3*d**2 - 44*d - 13. Let s be u(15). Suppose 2*a + 12 = i, 4*a + 30 = 3*i + s*i. Solve f + 6 = -4*b, -i*b + b = 5*f + 11 for b.
-1
Let u(k) = 261*k + 5. Let v be u(0). Solve -4*o + 3*x + 6 = v*x, -o - 21 = 5*x for o.
4
Let a = 52 + -47. Suppose 5*s + j = a, -2*s + 3 - 1 = -2*j. Solve 0 = 2*u + 6, -4*y - 12 = -3*u - s for y.
-5
Let s(r) = 2*r**3 - r**2 + 5*r - 2. Suppose 0 = -8*m - 130 + 138. Let u be s(m). Solve -i = 4*y + 14, u*y + 11 = -2*i - 5 for y.
-3
Suppose -72*m + 108 + 36 = 0. Solve -m*h - 12 = -5*z, 0 = z - 2*z + 4*h - 12 for z.
4
Let t = -10 + 15. Suppose -t*u + 0 + 4 = -2*v, -5*u = -5*v + 5. Let r be 2/v - (-37)/3. Solve -2*j = -4*j - 3*h - r, 3*j = 3*h + 18 for j.
1
Let j be (12/21)/((-128)/(-448)). Solve 0 = -x + 5, j*g = -2*g - 2*x + 14 for g.
1
Let j(q) = -6 - 8*q**2 + 2*q**2 - 3*q + 0*q**3 - q**3 + 10 - 17. Let u be j(-6). Solve 0 = f, -f - 2 = -x - u for x.
-3
Suppose -11*b + 109093 = 109038. Solve 20 = -a - b*j, -3*a - 2*j + 5 = -0*j for a.
5
Suppose -4*q + 16 = -0*q + 4*k, -6 = -q - 3*k. Suppose 0 = -q*t - 5*j + 32, 4 = 5*j - 4*j. Solve -4*y + n - 29 = 6*n, 19 = y - t*n for y.
-1
Let s be 20/(-16)*(5 + -17). Suppose s*w = 23*w - 256. Solve -5*i + 3*j = -w - 3, 4*j = -i - 16 for i.
4
Let s(w) = -5*w**3 - 34*w**2 - 22*w + 15. Let n be s(-6). Solve -n*q - 9 = v, 2*q + 4*v - 5*v = -6 for q.
-3
Suppose -j = d, 275*j = 279*j - 5*d - 36. Solve 5*t = -2*s - 19, -7 = -j*s - 2*t + 7*t for s.
-2
Let f = -264 - -148. Let u = -108 - f. Solve 5*g - 3*d = -12, 2*g - 2*d + u = 3*g for g.
0
Let k(w) = -157*w - 78. Let x be k(2). Let c = x - -394. Solve 3*s - 23 = -6*t + c*t, 0 = -3*t - 3*s + 18 for t.
5
Let d = -10 - -12. Suppose -u + 3 = 2*h - 2, 5*u + 23 = 2*h. Solve -3*f + 1 = c, h = d*f - 3*c - 4 for f.
1
Let p be (2/3)/((-16)/(-48)). Solve -3*m - m = p*v + 14, 5*v + 25 = 0 for m.
-1
Let j = 136 + -123. Suppose -48 = -i - j. Solve 0 = 5*n - 25, -i = 5*s - 3*n for s.
-4
Let m(w) = -17*w - 18 - 6*w - w**2 - 18. Let q be m(-8). Suppose q = -46*z + 49*z. Solve 4*x = v - 5*v - z, 0 = -3*v - 5*x - 27 for v.
-4
Suppose 6 = 10*k - 7*k. Let q = 2304 + -2286. Solve -5*b = -k*x - q, -x + 3*b - 2*b - 3 = 0 for x.
1
Let y(x) = x**3 - 10*x**2 - 10*x - 6. Let o be y(11). Suppose -4*q + 6*q - 44 = -5*z, o*q - z - 56 = 0. Solve 4*p + q = -2*n, 2*n - 35 = -3*n + 3*p for n.
4
Let j(m) = -9*m**3 + 516*m**2 - 170*m - 49. Let a be j(57). Solve 2*t - 8*p = -4*p - a, 0 = 2*t - 2*p + 4 for t.
0
Suppose -4*k = -5 + 13, -4*k - 128 = -5*n. Let o be n/12 - (-2 - 0). Solve 4*r - 16 = -o*s, 5*s - r - 20 = r for s.
4
Let x be 1/(2/(20 + -2)). Let q = x + -2. Suppose 0 = -4*a + q*a - 12. Solve -4*v = a*z + 36, -3 = -v - 0*v + 2*z for v.
-5
Suppose -10*y = -3*y - 322. Let q = 74 - y. Let t(z) = -z**2 + 8*z - 10. Let o be t(6). Solve k = p, -7 = o*k + 5*p + q for k.
-5
Let g = 33 - 5. Suppose -3*w - y - y = -g, w - 31 = -5*y. Let t be (0 - 60/(-18))*w/5. Solve 3*p + 12 - 27 = -2*s, -5*s - 20 = -t*p for p.
5
Let x = -48 + 46. Let r be (8 - 2)*3/(-9)*x. Suppose 0 = -21*n + 20*n + r. Solve -12 = -n*w, -2*j + 7*j + w = -12 for j.
-3
Let r be 3*(1 + (17 - 8)). Solve 0 = -5*w + r, 4*p + 2*w = 17 - 25 for p.
-5
Let y be (-18)/(-7) - (-40)/(-70). Suppose j + 8 = -3*k + 6*k, 5*j - 12 = y*k. Solve 12 = -k*b + 3*q, 2*b - 2*q = 3*b - 8 for b.
0
Suppose -2*t - 3 = 1. Let q = t + 20. Let j = -18 + q. Solve 0 = 4*r - 4*i + 4, r + 6*i - 3*i - 3 = j for r.
0
Let o = -53 + 53. Suppose -m = -t + 58, m - 1 + 3 = o. Let x = t - 52. Solve 2*c + 4*n + 28 = 0, 0 = c - x*n - 4 - 12 for c.
-4
Let c(s) = s**3 + 5*s**2 + 4*s + 3. Let d be c(-4). Suppose 13852 = -8*r + 516. Let n = r - -1669. Solve -m = 5*x + 22, n*m + x = -d*m - 14 for m.
-2
Suppose c - 30 = 2. Suppose 6*j - 3*j + 81 = 0. Let k = c + j. Solve k = 4*g + 5*p - 12, -2 = g - 5*p for g.
3
Let b = -187 + 194. Suppose s + 11 = 2*s. Let u = s - b. Solve -j - 6 = -4*w, -2*w + u*j = 3*w - 13 for w.
1
Let t(o) = 9*o + 104. Let k be t(-12). Let h be -3 - (-4 + k)*5. Solve -4*p + 5*f + h = 0, 4*f + 11 + 24 = 5*p for p.
3
Let m = 4608 - 4606. Solve v + m*g + 328 = 337, 3*g = 2*v + 3 for v.
3
Suppose 0 = 29*j - 33*j - 56*j + 180. Solve -4*w = -3*x - 17, -j*w + 1 + 15 = x for x.
1
Let o(u) be the third derivative of -u**6/120 + u**5/20 + 3*u**4/8 + 5*u**3/6 - 123*u**2 + 2. Let f be o(5). Solve -4*a + f - 6 = -2*i, -4*a - 16 = 0 for i.
-5
Let y be -7 - ((2 - 4) + -14). Suppose -3*d + y*u + 6 = 14*u, 0 = -3*u. Solve -2*o - j - d*j + 7 = 0, 4 = o + j for o.
5
Suppose -80 = -6*v + 2*v. Let h(f) = f - 16. Let p be h(12). Let b = 11 - p. Solve -3*i = -5*r + b + v, 0 = 3*r + 3*i + 3 for r.
4
Let b(c) be the first derivative of c**4/4 + 5*c**3 + 12*c**2 - 16*c - 63. Let k be b(-13). Solve 0 = 5*g - 4*x + 5, 0*x - k = -5*g + x for g.
3
Suppose i + 3*i = -4*a - 16, -i = 2*a + 4. Suppose -r + 4*d - 10 + 13 = a, 4*d + 15 = 5*r. Solve -3*y = r*l + 3, -8 + 6 = -5*l + 2*y for l.
0
Let u be 27/18 - (-2)/4*321. Suppose 2*h - 170 = -u. Solve -3*o = -5*g - 28, 5*o = -2*g + h*g + 15 for g.
-5
Let n be ((-15)/(-45))/((-1)/408). Let y = -136 - n. Solve y*l - l = -3*z + 20, -4*l = -4*z + 40 for l.
-5
Let f = -10593 + 10595. Solve 2 = -f*w + 2*q, -3*w + q + 2 + 5 = 0 for w.
4
Suppose 4*k + 3*i = 19, 3*k - i + 11 = 5*k. Solve 3*z + 3 = -3*r, 0 = -2*z + k - 15 for r.
3
Let h be (-340)/15*3/(-2). Suppose 6*w + 21*w - 324 = 0. Suppose -h*v + w = -30*v. Solve r - 5 = -2*r - 5*c, v*r = -4*c + 4 for r.
0
Suppose -60*l + 39 + 157 + 44 = 0. Solve u - 20 = l*z, -13 = -2*z + 5*u - 23 for z.
-5
Let g = 16 + -5. Let u be (14/(-6))/(14/(-12)). Let a be (174/406)/(u/14). Solve -3*k - 22 - 3 = 4*t, -a*k + g = -5*t for t.
-4
Let j = -83 + 79. Let w be j*1/2 - -7. Solve -a = -4*t - 23, -w*t + 2*a - 6 = 25 for t.
-5
Let w = -2906 - -2914. Let z = 24 - 20. Solve 0 = 2*f + w, z*c + 3*f + 12 = 0 for c.
0
Let m(t) = t**3 + 12*t**2 + 12*t + 12. Let i be m(-11). Let k be 41/(i - 0/(-6)). Solve -6*r = -r + 4*h - k, -5*r - 2*h + 33 = 0 for r.
5
Suppose 4*w - 26 = -23*c + 20*c, 2*w - 20 = -5*c. Solve -c*h - 1 = -n, -2*h + 3*n = 4*n - 9 for h.
2
Let u = -195 - -195. Suppose -5*k + 54 + 41 = u. Let a = -1 + 4. Solve -k = -a*c - 2*c + 2*t, 4*c + 3*t - 29 = 0 for c.
5
Let i(n) = 5*n + 40. Let l be i(8). Let q = l - 72. Let x = 14 - 11. Solve -x*w = -q*w - u - 15, 37 = -3*w + 5*u for w.
-4
Let j be 9/54 + 3/3 + (-58)/(-12). Solve -301*i + j = -298*i, -i + 2 = -4*n for n.
0
Let t be (3 - 102/17)*4/(-2). Solve o + x + t - 13 = 0, x = 3 for o.
4
Let w be ((-10)/(-19))/((-209)/(-3971)). Solve 3*u - b - 13 = 0, 13*b - 8*b = w for u.
5
Suppose 16*a - 108 = -28. Suppose 3*w + l = 9, 3*l - 20 + 1 = -a*w. Solve -3*h - 17 = -4*g + 2*h, w*h = g - 8 for g.
-2
Suppose 105*r = 163 + 152. Solve 4*x + 5 = -5*l + 20, -3*x - 9 = -r*l for x.
0
Let w(g) = g**3 - g**2 + 3*g + 5. Let a(k) = -k - 2. Let v(h) = a(h) + w(h). Let p be v(0). Solve o = -2*z - 2, 0 = 5*z + p*o + 3 + 1 for z.
-2
Let o(c) = -39*c - 116. Let h be o(-2). Let f(s) = -3*s**2 + 3*s - 5. Let m be f(4). Let q = h - m. Solve -4*b + 1 - 17 = -4*l, 0 = -q*l - 3*b - 18 for l.
-1
Let g(y) = -y**2 - 24*y + 119. Let o be g(-28). Let t be (o - 9)*3 + 18/2. Solve -c = -4*r - 12, t*r - 4 = 4*c - 0 for c.
-4
Let j be 3 - 7/5 - (-14)/35. Solve 0 = 5*d + j*y + 4, -4 = -4*d + 2*y - 18 for d.
-2
Suppose -48*c + 53*c - 13 = 3*r, -5*c - 3*r = -7. Solve -2*q + 6*q = -4*o + 16, c*o = q - 4 for o.
0
Suppose 0 = -65*j - 52994 + 53579. Solve -4*n = 0, -j = 4*l + 3*n - 5 for l.
-1
Suppose 0*l = 2*l. Suppose -4*c + 4*v = -60, -165*v - 103 = -5*c - 164*v. Solve l*h - 4*h - 2*x = -c, 0 = 5*h - 3*x for h.
3
Let d = 57 - 78. Let v be d/(-8) - ((-116)/(-32) - 4). Solve 0 = -4*m + 3*w - 24, 5*m = -4*w - v + 4 for m.
-3
Let p be 537/(-12) - (-1)/(-4). Let c = -474 + 432. Let u = c - p. Solve -8 = u*l + l - 3*o, -4*l - 4*o = -20 for l.
1
Suppose -4*m + m + 180 = 6*m. Solve 4*p = -3*o + 5, -15*o + m*o - 3 = -4*p for p.
2
Let r be ((1 + (-85)/17)*6/(-8))/1. Solve 40*v = 41*v - y - 3, -6 = -2*v - r*y for v.
3
Let m(o) = -4*o