 = -2*i - k*v + 1 for i.
-2
Let q = -104 + 184. Suppose q*m = 79*m + 4. Solve 5*l + m = 3*k, l + 4*k - 11 = 2*l for l.
1
Suppose -44 = -47*q + 25*q. Solve -4*n = -y - 13, -4*y = q*n + y + 21 for n.
2
Let j(g) = 2*g - 24. Let d be j(0). Let y be (-1)/(2/d*3). Suppose -22 = -3*c + 2. Solve -2 = -5*m - 3*l - y, l = 2*m - c for m.
2
Suppose -2*y = -j - 2, 8 = 5*y - 4*j + 3*j. Suppose -2*d - 3*d = -10. Let o be (d/(-3))/((-16)/24). Solve -y*m - 3*h = o, 2*m - h + 8 = m for m.
-5
Suppose 12*a - 160 + 136 = 0. Solve -5*g + 2*o + a*o = -13, 0 = -4*g - 4*o - 4 for g.
1
Let h = 108 + -90. Solve -3*o = 2*y - h, -6 - 1 = -4*o + 3*y for o.
4
Let y = 146 - 80. Let b = 72 - y. Solve -d + 23 = -5*n, 0 = 3*d - b*n + 2*n - 25 for d.
3
Suppose -171 + 0 = -57*w. Solve -2*c - 2 - 8 = -4*o, -w = -c for o.
4
Let w = 12 + -8. Suppose n + 5 = w. Let b be (1 + n)/(2 + -1). Solve b*x = x + 3*d + 11, 4*d + 8 = 0 for x.
-5
Suppose -27*h + 365 - 41 = 0. Solve 12*d - 4 = 11*d + 5*u, 3*d + 2*u - h = 0 for d.
4
Let a(r) = 4*r + 6 + r**3 - r + 3*r**2 + 0*r**2. Let l be a(-2). Solve s + 0*s + 16 = l*w, 0 = -w + s + 7 for w.
3
Let d(q) = -q**2 - 7*q - 2. Let b(o) = -2*o**2 - 21*o - 5. Let f(r) = 3*b(r) - 8*d(r). Let i be f(4). Solve -5*w - i = 3*a + a, -10 = 4*w + 2*a for w.
-5
Suppose -4*f - 161 = -49. Let l be ((-18)/(-27))/((-1)/27). Let p = l - f. Solve 3*d - 2*h = 6, -h = 5*d - 3*h - p for d.
2
Suppose 5*i - 2 = k + 4*i, -20 = -5*k - i. Solve 3*g = 5*j + 3 + k, -6 = -3*g + 2*j for g.
2
Suppose -18*w = -10*w - 16. Solve -2*r - 9 = r - a, -w*r - a = 11 for r.
-4
Suppose -91*a + 452 = 22*a. Solve 0 = u - a*j - 7, -4 = -2*u + 13*j - 10*j for u.
-1
Suppose -3*y + 5*r = -3 - 16, -2*y + 4 = r. Solve 0 = 2*n - y*s + 18, 3*n - 5*s = -n - 32 for n.
-3
Suppose 5*r - 3*i + 30 = -9, -2*r = 5*i - 3. Let f = -52 + 48. Let v be (-20)/r + f/12. Solve 3*d = -2*b - 8, 3*b - d = v*d + 22 for b.
2
Suppose -2*f = -r + 15, -2*r - f = -6*f - 26. Let p = 36 - r. Solve 0 = 5*q + y - p, 2*y = 2*q + 3*q - 19 for q.
3
Suppose 2*w + 2 = 2*z, 0*z - 4 = 2*z - 4*w. Let m(n) = -z*n**3 + 6*n**3 + n**3. Let j be m(1). Solve -j*t + 5*f - 19 = 0, -5*t + 4*f - 12 = 11 for t.
-3
Let j be (-1)/(-9)*10*99/22. Solve 0 = 2*t + j*l + 13, 5*t - 3*l + 9 = 2*t for t.
-4
Let m = 236 - 234. Solve 0*k = m*k - 6, -5*a - 2*k - 9 = 0 for a.
-3
Suppose 2*c = -3*c + 2*h + 7, -3*c + 21 = 3*h. Solve 5*q - 14 = 2*t, q + c*q = -4*t + 28 for t.
3
Let r be (-2)/(-4) - 5/(-2). Let k = -33 + 59. Suppose 3*u + f = -u + 12, 5*u + 4*f - k = 0. Solve -r*b - u*b + 10 = 0, 4*t + 16 = 2*b for t.
-3
Suppose -5*k - 2*c = 107, -2*k - 5*c - 45 = -2*c. Let t be (20/14)/((-3)/k). Solve -5*d = 3*u - t, -4*d + 5 = -2*u + 5*u for u.
-5
Suppose 11*i - 6*i + 50 = 2*o, -3*i = -2*o + 30. Let q(w) = -w**3 - 8*w**2 + 19*w - 7. Let d be q(i). Solve 0 = 5*l + 5*x + 20, -d*l - 4*x - 17 + 0 = 0 for l.
1
Suppose x = h - 6*h + 52, 0 = 4*h - x - 38. Let d(y) = -y**3 - 6*y**2 - 2*y - 9. Let f be d(-6). Suppose f*m = 11 - 5. Solve h = m*l, 6*s - l = 3*s - 14 for s.
-3
Suppose 0 = -0*s + 4*s - 144. Suppose 14*r - 28*r = 630. Let n be (r/s)/((-1)/4). Solve -10 = -n*u - 5*f, 0*f = f for u.
2
Let a(g) = -8*g - 8. Let c(d) = 10*d + 8. Let z(k) = 4*a(k) + 3*c(k). Let t be z(-8). Solve 4*y - t*y + 5*h + 18 = 0, h = 5*y - 12 for y.
2
Suppose 18*b = 84*b - 198. Solve -b*i - 9 = 6, -j - i - 6 = 0 for j.
-1
Suppose 0 = 2*a - 174 - 40. Let f = 123 - a. Solve f = -4*m, -4*b + m + 20 = -3*m for b.
1
Let b(j) = 6*j**3 - j. Let m be b(-1). Let g(z) = 2*z + 12. Let t be g(m). Solve -t*l + 20 = -3*q, q + 0*q + 16 = 3*l for q.
-4
Suppose 0 = -5*p + 8*p + 21. Let a(t) = -5*t - 27. Let z be a(p). Solve -3*i + i = -4*r - z, i = -4*r - 2 for r.
-1
Let q = 21 + -18. Suppose 0 = -4*v - 4*g + 24, 0 = -2*v + q*g + 2*g - 16. Let t be 1 + (v - 0) + 0. Solve 0 = 4*u - k + t, 4 = u + 2*k - 2 for u.
0
Suppose 0 = -h + 4*x - 12, 0 = 3*h + h - 3*x - 4. Suppose a = 5*a. Suppose 0 = -a*y + 2*y - 10. Solve -3*k = -h*c + 4, -5*c + 5 = -0*k - y*k for k.
0
Suppose 4*c + 34 + 30 = 5*w, -5*w = -5*c - 80. Let f(k) = -k**2 - 17*k - 14. Let s be f(c). Solve -2*u - 2*h - 15 = -5, -2*h + 2 = -s*u for u.
-3
Suppose 3*f + 32 = 4*w - 30, 4*w + f - 54 = 0. Let j = -12 + w. Suppose 0 = -0*u + u - j. Solve u*r = 4*h, -r = 2*r + 5*h for r.
0
Suppose -b + 20 = w + 3*b, w - b - 45 = 0. Let n be 2/((-3)/6*(0 - 1)). Solve 0*t - 16 = 4*t, 5*t = -n*u - w for u.
-5
Suppose 3*w = -4*d - 3, -1 = -2*d + w + 10. Solve -2*r = 5*s + 15, d*r - 2*s + 4*s = -6 for r.
0
Let g = 75 + -97. Let r = 24 + g. Solve -5*u + r*u + 16 = -l, 3*u = -l + 14 for u.
5
Suppose 1069 = 6*j + 1057. Solve -j*s + 4*t = -s - 8, 2*s + 11 = -t for s.
-4
Let x(s) be the third derivative of -s**4/12 - 5*s**3/6 + 7*s**2. Let d be x(-6). Suppose -2*c + d*c - 15 = 0. Solve 2*r = h - 1, 5 = -c*h - 2*r - 8 for h.
-3
Let j be ((-726)/(-44))/(-33)*(-10)/1. Solve 14*i - 17*i + u + 7 = 0, -5*i + 25 = j*u for i.
3
Let o be (-15 + (-376)/(-24))/(6/45). Let m(r) = -r + 1. Let p be m(-2). Solve -p*k = -5*v - 0*k, -o*k = 4*v - 37 for v.
3
Suppose -3*i - 3*f + 3 = 0, -6*i + 2*f + 13 = -5*i. Solve h - 1 - 4 = 2*v, -2*h = -v + i for h.
-5
Suppose -20 = -4*p - 4*x + 8, 5*x = 15. Suppose -p*o + 11 = -17. Let b(w) = w**2 - 5*w - 9. Let r be b(o). Solve 4*k = h + r, 0 = -0*h + h + 1 for k.
1
Suppose -3*k = 5*i - 15, 0 = 4*i - 9*i. Solve 0*b - b = 5*t - 12, 0 = k*b - 2*t + 21 for b.
-3
Let t = 292 + -288. Solve -5*y = -3*i - 12 - 16, -i - y + t = 0 for i.
-1
Let o(l) = -l**2 - 14*l + 4. Let c be o(-14). Let d be 2*(30/4)/3. Suppose 0 = m + c*m - d. Solve -p = -2*u - m, 2*p = 6*p - 2*u - 4 for p.
1
Let x(b) = 3*b - 24. Let z be x(8). Suppose 0 = -z*v - 5*v. Solve s + 1 = -v*s - n, 0 = -5*s + n - 5 for s.
-1
Let o(w) = -2*w - 42. Let r be o(-21). Suppose 12*y - 15*y + 15 = r. Solve -y*g + 5 = -q + 1, 0 = -5*g + 5 for q.
1
Let o = 23 - 5. Let i = 20 - o. Suppose 2*p + 0*r = 5*r - 21, -i*r = -4*p - 2. Solve 2*b - 16 = 4*f, -3*f - f - p = 5*b for f.
-3
Let v(p) = -7 + p**3 + 0*p**3 - 16*p - p**2 + 3 + 13*p. Let n be v(3). Solve -4*u - 2*i = 3*i - 32, -23 = -n*u - 2*i for u.
3
Let m(t) = -47*t - 231. Let l be m(-5). Solve -l*u + 1 - 13 = -4*a, 0 = u + 5*a + 9 for u.
-4
Let j(a) = a**3 - 15*a**2 - 53*a - 11. Let u be j(18). Solve 0 = -4*n + i + 7, u = -2*n - 0*n - 3*i for n.
1
Suppose 3*c = -5*m + 9, 4*m - 4 = -3*c - c. Solve -p - 2 = -3*b, -m*b + 10 = p - 0 for p.
4
Let i(j) = -j**3 + 9*j**2 + 11*j - 5. Let v be i(10). Suppose 103*a - 106 - 418 = 197. Solve -4*g - 3*p + a = -0*p, v*p - 6 = -g for g.
1
Let n = 3 - 5. Let o be -15 - -2 - n - -1. Let t be 25/10*(-8)/o. Solve 4*d = 0, 3*d - t = 2*j - 0*j for j.
-1
Let u be -15*((-128)/(-12))/(-8). Solve -u = 6*p - 2*p + 4*z, z + 5 = 4*p for p.
0
Let v(d) = d**3 - 8*d**2 - 9*d + 14. Let c be v(9). Suppose 0*z - 2*z - 5*q = -c, 2*z - 2 = q. Solve x - b = z*x, -5*x = 2*b - 12 for x.
4
Suppose -5*l + 52 + 13 = 0. Suppose 5*p = 8*r - 3*r + 45, -2*p = -3*r - l. Solve 0 = -4*a - 0*a - 3*g + 13, 3*a - 2*g = p for a.
4
Let w(u) = 11*u + 225. Let p be w(-20). Solve -p*v + 2*g = 3*g + 11, -1 = v - g for v.
-2
Suppose -4*a + 0 = -4. Let r be (-40)/(-60)*(-6)/4. Let u = a - r. Solve 4*b - h = 0, -3*b + u*h - 17 = -3*h for b.
1
Suppose -301*v + 318*v - 306 = 0. Solve 3*y - 4*b = -v, -y + 5*b + 0 - 17 = 0 for y.
-2
Let r(i) = -i**3 + 11*i**2 - i + 14. Let k be r(11). Suppose g - 6*u = -7*u + k, -13 = -5*g - 3*u. Solve -g*j = 3*j + 2*m, 4*j - 2 = -2*m for j.
-2
Let v(x) = x + 60. Let b be v(-50). Solve 2*k = 2*q - b, 3*k + 3*q = 5*k + 12 for k.
-3
Suppose 3*s = 21 - 12. Solve -12 = 4*i, -2*i - 2 = r - s*i for r.
-5
Suppose 8 = -4*i - 4*i. Let d be 42/7 - (-2)/i. Solve 3*m = d*k - 14, 3*m - 2*m + 13 = 3*k for k.
5
Suppose 5*p - 100 - 25 = 0. Let s be (-18)/2*p/(-15). Solve -20 = -5*o, -w - s = -5*o + 10 for w.
-5
Let f(p) = p + 5. Let k be (-45)/(-15) - 8*1. Let w be f(k). Suppose -3*l = -w*l. Solve -4*v - i = v + 23, l = -3*v - 3*i - 9 for v.
-5
Let k(a) = -2 + 2 - a. Suppose 2*z = 30*v - 28*v, 0 = 5*z - v + 8. Let q be k(z). Solve 0 = -2*n, -4*n + q*n - 12 = 3*p for p.
-4
Let k(a) = -a**2 + 6*a - 6. Let i be k(4). Let r be 7 + (0 - (-4 + 6)). Suppose -29 = -h - 3*q - r, 0 = -2*h - q + 28. Solve -j = w + i*w - 10, h = 4*w for j.
1
Let t = -553 + 557. Sol