*v - 3, -a*v = -5*s + 13 for s.
2
Let v be -7 + (-17)/(-2) + 921/6. Let r = v + -152. Suppose 0 = -4*y + 16, x - 5*y + 8 = -2*y. Solve -4*m - x = 0, 0*w - 3 = 4*w + r*m for w.
0
Suppose 30 = 2*c + 2*w, 5*w = -11*c + 9*c + 42. Solve -4*a + 2*u - 22 = 0, -u = -4*a - 8 - c for a.
-4
Let w(a) = a**2 + a - 7. Let u be w(0). Let h = -2 - u. Let c(n) = -n**2 + 58*n + 2767. Let g be c(-31). Solve -4*f - g = -4*i, -4*i = -0*f - h*f - 5 for f.
3
Let m(j) = -7*j**3 - 177*j**2 - 50*j + 4. Let z be m(-25). Solve z*d = -8, -2*k + 4*k - 6 = 4*d for k.
-1
Let h = 5143 - 5118. Solve 32*c + h = 30*c - 5*a, 3*a = 2*c - 15 for c.
0
Let r = -1062 - -1064. Solve -2*p + 14 = r*m, m + 7*p = 10*p - 13 for m.
2
Let i(d) = d**2 + 2*d + 1. Let o be i(-2). Let w be (1 - (o + -14))/((-26)/(-13)). Solve -w = -2*l - y, 2*l = -11*y + 8*y + 1 for l.
5
Suppose -3*r + n - 5 + 0 = 0, -5*n - 7 = r. Let z(i) = 4*i + 12. Let p be z(r). Solve -3*g + 20 = 5*h, 5*h = 2*h + p*g - 17 for h.
1
Let v(w) be the second derivative of w**5/20 + 23*w**4/12 + 29*w**3/3 - 19*w**2 - 178*w. Let i be v(-20). Solve 0 = -2*f + z - 5, -6*f = -f - i*z + 15 for f.
-5
Suppose -2*o - 4*u = -12, -4*o - 5*u = -18 - 6. Suppose 21*s - o = 23*s. Let a be -3 + s/9*-21. Solve -2*q - 5*b = 7, -9 = a*q + 2*b + 3*b for q.
-1
Let h = 78 - 18. Suppose -60 = 4*y + 4*p + 76, 0 = 3*y + p + 94. Let m = h + y. Solve -3*z - x = 10, 3*z - 6*z - m = -3*x for z.
-5
Suppose 41 = -2*x + r, -5*x + 3*r = r + 101. Let n(f) = f**3 + 19*f**2 + 10*f + 190. Let v be n(x). Solve 5*k + 2*o + 10 = v, -k - 2*o = -5*o + 19 for k.
-4
Let d be (-6958)/(-284)*(-3)/(84/(-160)). Solve d*h - 142*h + 3*y - 19 = 0, -3*y + 5 = 5*h for h.
-2
Let n be (11/((-66)/(-32)))/(8/(-12)). Let a be ((-54)/8 - n)*(-1 + 5). Solve -a*d + 4*g = -8 - 2, 2*g = 2*d - 4 for d.
2
Suppose -3*j + 24 = -4*t, -j - 76*t + 24 = -80*t. Suppose 2*f - 4*z - 12 = 0, -3*f + 3*z + 17 = -2*z. Solve f*r = j, h + h + 10 = 3*r for h.
-5
Let n = -2135 + 2142. Solve -3*r + 5 = -j, -n = -5*j - 2 for r.
2
Suppose 413 = 96*d - 42 - 25. Solve 29 + 1 = -5*s + 2*o, 0 = -3*s + d*o - 37 for s.
-4
Suppose 7*d + 0*d - 175 = 0. Let f = 31 - d. Let h be 490/18 + -2 + f/(-27). Solve 4*v = 3*y - 2 + h, -v + 1 = 4*y for y.
-1
Suppose 0 = -5*z + 122 + 63. Let s = -121 + 125. Solve 5*n = 4*b - z, 36 = -3*n + s*b + 9 for n.
-5
Let b(a) = -a**2 + a. Let f(v) = v**2 + 53*v + 71. Let z(k) = -3*b(k) + f(k). Let d be z(-11). Solve -5*g = -5*o - 20, 2*g - d*o = 3 + 2 for g.
5
Let i = 176 - -86. Let s = i - 260. Solve u - 2*l = 0, u + s*l - 4 = 6*l for u.
-4
Let v(s) = 4*s - 6. Let c be v(4). Suppose 0 = 283*p - 277*p - 24. Solve 2*h + 4*g = -g - c, 0 = 4*h + 4*g - p for h.
5
Let j = -1826 + 1826. Solve 2*y + j*y + 4*i + 16 = 0, -y = 5*i + 20 for y.
0
Let b(m) = -m**2 + 2*m + 199. Let a be b(-13). Solve 5*w = -17*v + 20*v + 16, 0 = -2*v + 2*w - a for v.
3
Let b(r) = -r**2 + 12*r - 28. Let u be b(6). Let s be (-6)/(2/(1/(-6)*u)). Solve -g - 11 = s*v - 4*g, -12 = 4*g for v.
-5
Suppose 4*u + 35 = 3*l - u, -3*l + 3*u = -27. Suppose -k - 3 = -l. Let w(i) = 4*i**2 + 4*i - 4. Let t be w(1). Solve k*f - t*v - 16 = v, -13 = -f + 5*v for f.
3
Suppose 940 = -43*y + 90*y. Solve -h + 5*v + y = -0*v, 3*h = 2*v + 21 for h.
5
Let m be -7 + 1 - (112 + 4 - -10). Let p = -127 - m. Solve 5*l + p*i - 35 = 0, -24 = -2*l - 5*i + 2 for l.
3
Let s be (2 + -6)/(((-35)/56)/5). Suppose j = -15*j + s. Solve 3*w + 29 = 5*q + 9, 5*w + 23 = -j*q for q.
1
Let z be ((-3627)/(-31))/(9/6). Suppose 5*p - 83 + z = 0. Solve 2*a - 1 = -c, 4*a = 4*c - 3 - p for c.
1
Let k = 458 - 672. Let c = 217 + k. Solve -c*x = w - 18, 2*x - 1 = w + 2*w for x.
5
Suppose 4*v - 89 + 29 = 0. Let j be 1*(0 + 1)*5. Let w = -138 + 144. Solve 3*s + 3*p + v = 0, j*p + w = -14 for s.
-1
Suppose 32*c - 69*c - 107*c = 32*c. Solve -w + 5*v + 30 - 15 = c, 5*w + 2*v = -6 for w.
0
Let n(i) = -i**3 - 8*i**2 + 32*i + 5. Let o be n(-11). Suppose o*p - 46 = -7*p. Let r be 136/36 - (-4)/18. Solve -r*h = -3*g - 22, p*h + 0 - 8 = 0 for g.
-2
Let v(b) = b**2 - 1325*b + 11. Let x be v(0). Solve y - 3*f - 17 = 0, 112*f = y + 116*f + x for y.
5
Let a(n) = -18*n - 22. Let o be a(2). Suppose -2*m = 3*d - 28 + 212, d = -3*m - 52. Let v = o - d. Solve -3*w + v = -3*k, 3*w - 4*k - 11 = 2*w for w.
-1
Let z be (-5)/2*(2 - 70/25). Solve -2*w - 14 = z*q + 3*q, -5*w - 5*q = 5 for w.
3
Let a = -8193 - -8205. Solve -i - 18 = -4*w - w, a = 4*w for i.
-3
Let i = 353 - 202. Let s = i + -147. Solve u + 5 = 5*q, 5*u = q + 27 - s for u.
5
Suppose -6*t - 767 = -71. Let r = t + 119. Solve -2*z + 4*m = -6*z, -z - 8 = -r*m for z.
-2
Suppose 14*m = 58 - 324. Let g(k) = -k**3 - 17*k**2 + 37*k - 16. Let s be g(m). Solve -2*f = -w - 9, -13 = -3*f + s*w - 2*w for f.
4
Suppose 0 = 4*o - 12 - 8. Let w(g) = -g**3 + 4*g**2 + 6*g - 5. Let a be w(o). Suppose a = 6*c - 5*c - 11. Solve -5*p - 4*y + 2 = 0, y = 4*p - c + 1 for p.
2
Let a be 3 + -1 - (-293 - -290). Solve 2*v - 12 = -8, -y - 12 = -a*v for y.
-2
Let q(r) = -74*r + 1486. Let d be q(20). Solve -5*m = 3*z - d, 5 = -4*m + 5*z + 32 for m.
3
Suppose 0 = 20*z - 15 + 75. Let h be z/2*16/(-6). Solve -4*s + h*c + 32 = 0, -2*s - s + 2*c = -21 for s.
5
Let m = -88 - -87. Let r be -1 - -3 - (-5 + 6) - m. Solve r*p + 2*p + 8 = -3*w, -2*w = -2*p + 10 for p.
1
Suppose 3*x + 9*x - 288 = 0. Let v(h) = 22 + 19 + x*h - 22*h. Let j be v(-19). Solve -j*r + 9 = 0, 0*n - 1 = 2*n - r for n.
1
Let t(w) = -5*w - 74. Let u be t(-7). Let k be ((-15)/10)/(-1 + u/(-48)). Solve -4*a = q + k, -4*q - 8 = 4*a - 0 for q.
0
Let x(s) = 11*s + 6. Let j be x(-2). Let p(y) = -16*y - y**2 + 8 + 1 - 2 - 3. Let n be p(j). Solve -3*c + 5*g = -6, g + 9 = -n*c + 2*g for c.
-3
Let f be 2 - (-1 + 2)/((-4)/28). Let r = -108 + 113. Solve r*n + k - f = -k, -21 = -3*n + 4*k for n.
3
Let u be (-65)/(-4) - (-10)/(-40). Let z be (-24)/(-14) - u/(-56). Suppose 0 = 2*b - 2 - z. Solve -4*w = -7*x + b*x - 30, -15 = -3*w for x.
-2
Suppose -211*k = -236*k + 50 + 50. Solve -k*j + 9*j - 3*v - 30 = 0, 4*j - 2*v - 22 = 0 for j.
3
Let s be ((-8)/16)/(2/24). Let z(b) = b + 10. Let a be z(s). Solve d = 0, -5*p - d + 10 = a*d for p.
2
Suppose -936 = -83*d + 5*d. Solve -5*l - 5 = 5*x, 0 = 4*x - 5*l + l - d for x.
1
Let x be (-51)/(-45) - 1 - (-4814)/1245. Solve 4*f + x = -4*h, -4*h + 0*h + 1 = 5*f for h.
-6
Let c(b) = b**3 - 4*b**2 - 22*b + 68. Let k be c(4). Let o be 16/k - 4/(20/(-19)). Solve -u + 2*i + 3 = 0, 5*u - o*i + 0*i = -13 for u.
-5
Let z be 2 - (-1 - 2 - (15 - 18)). Let a be (-2)/(6 - 2)*-4. Solve -c - d + z = 0, a*c - 4 = -d - 3 for c.
-1
Suppose 5*v = 40*m - 35*m - 25, -3*v = 5*m - 9. Solve 0 = -3*a - 5*z + 1 + m, -2 = 2*z for a.
3
Suppose 5*n + 86 = 4*h + 51, n = -4*h - 7. Solve -2*c + 3 = -2*z + 3*z, -3*z + 5*c + 9 = h for z.
3
Let f be 1029/33 + 4/(-22). Let u(i) = -2*i + 18. Let x be u(-13). Let l = x - f. Solve 5*g - 7 = 3*a + l, -5*a - 4*g = 21 for a.
-5
Let g(x) = x + 1. Let k(w) = 59*w + 4. Let j(r) = 5*g(r) - k(r). Let z be j(1). Let y = z - -57. Solve 0 = 4*s + y*n + 32, 2*s + 4*n + 37 = -3*s for s.
-5
Let p(k) = 2*k**2 + 31*k - 54. Let s be p(-17). Let u(v) = -2*v**2 - 10*v - 12. Let z be u(s). Solve -5*m + 14 = 3*b - 5, z = 4*b + 2*m - 2 for b.
-2
Let h = -54 + 54. Suppose h = 56*z - 57*z + 9. Suppose z*i - 151 + 7 = 0. Solve 4*l = 3*u - 1, -2*l - 4*u + i = -0*l for l.
2
Let z be (28 + -27)*(0 + 0 - -8). Suppose 5*y = 4*r + 3, -r = -2*r - 3*y + 12. Suppose 1 - 13 = -r*w. Solve 4*x = f + 4*f + z, -8 = 3*f - w*x for f.
0
Suppose -3*c - 4*n + n = 108, -3*c - 96 = -n. Let h = -3 - c. Suppose h = 3*i - 0. Solve 5*f - 20 = 4*t - 0, 0 = 4*f + 2*t + i for f.
0
Let x = -6 - -11. Let i(k) = -k + 8. Let b be i(x). Let w = 649 + -624. Solve 5*o - 25 = -b*n, -2*n = -n - 5*o + w for n.
0
Let x be (4 - (-1 + 4) - 7)/(-1 + -1). Solve 29*r + 7 = x*n + 27*r, -5*n - r = 10 for n.
-1
Suppose -4*m = -5*m - 396. Let l = m + 400. Solve 2*h + l*v = 2*v + 8, v = 3 for h.
1
Suppose 0 = 3*t - 3*g + 12, 5*t + 3*g - 12 = 4*t. Suppose t = -35*p + 33*p + 32. Solve 2*m - 4 = -4*w, 3*m - 3*w + p - 4 = 0 for m.
-2
Let d(q) = -3*q + 16. Let m be d(4). Suppose 18 = -a + 5*l, -3*l + 0*l + 20 = m*a. Solve -3*r + a*w = -2*w - 6, 3*r - 5*w = 9 for r.
-2
Suppose 5*n + 42 = 12. Let w be (-5)/(-15)*n/2 + 43. Let l = 44 - w. Solve -2*b + 3*b = l