6, -l = 3*l - z*v for l.
3
Let d = 24 + -6. Let k(r) = 16*r + 82. Let g be k(6). Let s = g + -175. Solve -d - s = 3*h + 3*t, h - 4*t = 3 for h.
-5
Let p(n) = 4*n + 34. Suppose -5*d = d - 138. Suppose -b = b + f + 18, -b = 4*f + d. Let i be p(b). Solve -2*r - 3*s - i = 0, -r = r - s + 6 for r.
-3
Suppose 1 = d - 0, -4*r + 4*d + 108 = 0. Let y be (-2)/7 - (3 + (-456)/r). Suppose 0 = 2*w + 7 - y. Solve 3*a - 4*x = -7*x - 21, w*x = a - 5 for a.
-4
Suppose -3*i - 4*x = -7*x - 183, i = 5*x + 41. Solve i*t - 61*t = 3*m + 17, -15 = -3*m - 3*t for m.
1
Suppose 312 = 1844*y - 918*y - 918*y. Solve -f + 1 = k, f - y = -4*k - 23 for k.
5
Let n be 339/7 + 1*(-12)/28. Suppose -n*o + 4 = -47*o. Solve -o*d + 0*a - 32 = 3*a, 0 = -d - 4*a - 21 for d.
-5
Suppose 0*n + 19 = 3*n + 4*t, 2*n = 2*t - 6. Let d(p) = 13*p**2 - 3*p + 4. Let k be d(n). Let m = k + -8. Solve -5*a + 30 = 5*l, 2*a = -5*l + m*a + 21 for l.
5
Suppose 600 = -5*v + 5*a + 695, 4*v = a + 52. Solve v = -5*l + 16, 0 = -i - 5*l + 7 for i.
2
Let n be 50/(-20)*(-84)/5 - 3. Suppose 5*c + f - 21 = 28, 4*c - n = -f. Solve -c = s - 2*s + 2*i, -s - 3*i - 10 = 0 for s.
2
Suppose 0 = -0*w + 10*w - 80. Let q(f) = -2*f**2 - 10 + w*f**2 - 5*f**2 - 3*f + 0*f**2. Let v be q(6). Solve 0 = 4*x - 0*x + 3*h - 12, 3*x = -2*h + v for x.
0
Let r = 199 + -194. Let g be (((-20)/6)/r)/(68/(-306)). Solve -2*i - g*p + 1 + 0 = 0, 3*p = 9 for i.
-4
Let k be 34/3*(-828)/(-184). Solve k*h - 15 = -5*a + 50*h, -5*h = -5*a + 15 for a.
3
Let f(t) = -167*t + 681. Let i be f(4). Solve -s - 4*q - i = 0, 2*s + s + 18 = -5*q for s.
-1
Let x = 9435 - 9423. Solve 7*h - x*h = 5*m, -8 = -4*m - 2*h for m.
4
Let r be (-4)/((-4 + -14)/9). Solve 2*q - 5*t + 8 + r = 0, q + 5 = t for q.
-5
Let a be (4 + -7)*(20/(-3))/(-5). Let b be (6/a)/((-3)/8) - 2. Suppose z - 6 = -o, -b*o = 6*z - 2*z - 20. Solve z*h = -4*n, 3*n + 2*h + 1 = -0*h for n.
-1
Suppose -3*i - 5 = -52 - 13. Solve -2*v - 35 = -5*b, 2*b - 3*v = -v + i for b.
5
Let q be 26/(-26)*(-5 - 1). Let g = 12 + 15. Suppose g = 4*b + 11. Solve 3*s - b*o - o - 5 = 0, -2*o - q = -2*s for s.
5
Let x = -21 + 35. Let v(b) = -b**3 + 13*b**2 + 13*b + 14. Let p be v(x). Suppose p*t - 20 = -5*t. Solve -5*f - 10 = 5, -22 = -t*c + 2*f for c.
4
Let g = 454 + -449. Suppose -20 = 4*n + 5*y, 8 = 4*n + 3*y - g*y. Solve -3*f - 11 = q - n*f, 3*q - 4*f - 6 = 0 for q.
-2
Suppose 4*f + 84 + 232 = 0. Let c = f + 91. Solve 0 = -3*p - r - 4*r - 15, -p + 4*r = -c for p.
0
Suppose 0 = -25*a + 184 - 84. Solve -2*j - 14 = -q, -2*q = j - a*q + 13 for j.
-5
Suppose u = 4*m - 248, 0 = -21*m + 16*m - 5*u + 335. Let y be m/(-45) - 74/(-10). Solve -16 = y*p - 2*p + l, 5*l + 11 = 3*p for p.
-3
Let x(t) = t**2 - 3*t - 2. Let q be x(-5). Suppose 0 = -2*l + 8 + q. Let r = l + -19. Solve -2*o + r = 4*k, -2 = -o + 4*o + 2*k for o.
-2
Let s = 6847 - 6845. Solve 6*p = 5*g + s*p - 45, 20 = g - 3*p for g.
5
Suppose -37*j - 28 = -30*j. Let a be ((-12)/3 - j)/1. Solve -3*m - 4*p + 8 + 9 = a, 0 = -2*p + 4 for m.
3
Suppose 4*m = -f + 2*m - 17, 5*m = -5*f - 70. Let w(u) = -2*u - 15. Let k be w(f). Let d be 10 - k - (0 - 2). Solve -5*z + 23 = -2*l - 0*l, 5 = 2*z - d*l for z.
5
Suppose 3*k + 3*p = -0*k + 111, -4*k - 3*p + 147 = 0. Suppose -5*v + k - 6 = 5*g, -2*v + 3*g = 3. Solve 3*n = -5*o + 5 - 42, -v*n + 4*o + 8 = 0 for n.
-4
Let l(x) = -x**2 + 17*x - 54. Let p be l(5). Solve -4*i + 2*w = -14, 0 = -3*i + 2*w - 5*w + p for i.
3
Let v(k) = k**2 + k - 4. Let f be v(-3). Let s = 2332 - 2330. Let g be 1/3*(f - s). Solve 5*u = -5*i + 10, g*u - 18 = -5*u + 3*i for u.
3
Let j = -68 + 73. Suppose -1 = -j*r - 1. Suppose -3*g + 32 + 4 = r. Solve -3*d - 2*n = -g, 6*d = 2*d - 4*n + 16 for d.
4
Let s = 23149 + -23144. Solve 22 = 2*p - 4*m, 26*m + 15 = s*p + 24*m for p.
1
Let d(j) = -j**3 - 5*j**2 - 6*j - 4. Let m be d(-4). Suppose 12*x - 8*x + 16 = 2*g, m = -g - 2*x. Solve -b = g*v - 5, 5*b = -3*v + 7*v - 3 for v.
2
Let v = -19518 + 19540. Solve 4*m + v = -3*p, 5*p - 5*m - 24 = 7*p for p.
-2
Let d = 111 + -103. Suppose -4*a - d = 3*y, -a - 2 = -6*y + y. Let f(s) = 2*s**2 + 3*s. Let u be f(a). Solve -5*j - u*m - 9 = 9, -2*m - 10 = 3*j for j.
-4
Suppose -2*s + 3*c - 81 = -330, s = -2*c + 135. Suppose -351 = -11*a + 8*a. Let g = s - a. Solve 0*d - 2*d - g = -2*j, -4*j + 12 = -d for j.
2
Suppose 4*w - 18 = -60*f + 62*f, 0 = -5*w - 5*f. Solve 2*r = -y + 5 - 8, -w*y - 6 = 3*r for r.
-1
Let p(g) = 2*g - 3. Let q = -488 + 491. Let o be p(q). Solve 5*b - 3 = o*v, 0 = 4*v + b - 2*b + 4 for v.
-1
Let d(v) = -v + 1. Let t(i) = -2*i**2 - 17*i - 11. Let r be t(-7). Suppose 60 = -5*m + r. Let q be d(m). Solve 3*h + 21 = -0*h + 3*g, -q = -3*h - 5*g for h.
-3
Suppose 6*n - 7*n + 12*n = 0. Suppose n = -25*u + 36 + 89. Solve -o = -3*d - d + 15, 0 = -3*o + u*d - 24 for o.
-3
Let w be (-115)/138 + (-95)/(-6). Solve c + w = 3*m, -3*m - m + 22 = -2*c for m.
4
Let r(d) = -7*d + 155. Let u be r(9). Let q = u - 42. Solve h - 2*o + 15 = 6*h, 0 = 5*h - 5*o - q for h.
5
Let l = -455 - -480. Suppose l - 70 = -9*s. Let o be (-6)/((-1)/(-3)*-2). Solve -2*z - o + 3 = -4*u, -5*u + 15 = -s*z for z.
-3
Let n be -6*(-7)/42*8. Suppose -24 = -n*j - 0. Solve 0 = -2*i - 8, -k - j*k = 3*i for k.
3
Suppose -8*o + 20*o - 24 = 0. Let k(h) = 11*h**2 - h - 2. Let l be k(o). Solve 0*b - 23 = 3*b + 2*m, 4*b + l = -5*m for b.
-5
Suppose -19592*h + 19583*h = -36. Solve 0*n + 2*k - 18 = -5*n, -h*n - k = -15 for n.
4
Suppose 659 = -3*f - 103. Let u = 256 + f. Solve u*k + 0 = 4*j - 6, k - j = -3 for k.
-3
Suppose 3*c = 15 - 21. Let m be 253/11 - (-1 - 1 - c). Let h = m + -21. Solve k + 0*z + 11 = -3*z, 3*k + 12 = -h*z for k.
-2
Let b = 12 + 96. Let d = -108 + b. Solve d = -m + 5, 3*m = -2*s - 0*m + 13 for s.
-1
Let d = 65 + -62. Let m be (2*d)/(14/7). Solve -3*h - m*l = 0, 4*h - 2*l = -3*l - 3 for h.
-1
Let i be (-45)/(-20)*56/42. Solve -2*s - 42 = j - 38, -i*j - 4*s = 10 for j.
-2
Suppose 24*r + 29*r = -108*r + 322. Solve -2*h = -r, -14*x = -17*x - 2*h - 19 for x.
-7
Let j be 20/2 + 4/2. Let u = -56 - -38. Let x be (u/(-15)*(-5)/(-2))/1. Solve h + 14 = -2*m, 0 = x*h + 2*m + 34 - j for h.
-4
Let a(c) = 130*c + 74. Let t be a(-5). Let h be (2/4 - 0)/((-32)/t). Solve -3*n + w + h = 0, -n - w = -6*w + 11 for n.
4
Suppose 2*b + 126 = -4*t, b + 3*b = -3*t - 102. Let h(f) = -2*f**2 - 60*f + 3. Let u be h(t). Solve u*l - 3*d = l - 21, 2*d - 19 = 3*l for l.
-3
Let r(m) be the first derivative of m**2 + 7 - 2*m**3 + 1/4*m**4 - 7*m. Let w be r(6). Solve 0 = -2*g + w*d, 2*g + 5*d + 20 = -0*g for g.
-5
Let a = 22 + -12. Let v be (-11)/(-55) - (-88)/a. Solve 0 = -o - 5*j, 2*j + 2*j - v = o for o.
-5
Suppose -2*y = -14*u + 11*u - 33, -27 = 3*u. Solve -y*v - 11*s = -6*s + 6, 4*v = -5*s - 8 for v.
-2
Suppose v - 13 = 4*r, -2*v - 38*r + 6 = -36*r. Solve 30 = 2*i - 8*l, 24 = 8*i - 5*i - v*l for i.
3
Suppose 164*j - 2940 = -46*j. Solve 0 = 3*u + r - j, -3*u - u - r = -18 for u.
4
Suppose -8*w + 12*w - 760 = 0. Let c be ((-2 - -3)*3)/(15/w). Let k be c/2 - -4 - 4. Solve -5*z + k = -a, 3*z + 5*a + 10 - 27 = 0 for z.
4
Let y(j) = 78*j - 6080. Let t be y(78). Solve b = 3*v - 11, -5*v + 3*v + 4*b + t = 0 for v.
4
Let b = -23 - -9. Let t be (-62)/b + (-6)/14. Suppose 11 + 3 = 5*j + t*r, 16 = -4*r. Solve -4*s + 16 = -5*o, -2*s = -2*o - 0*s - j for o.
-4
Let p(t) = t**2 - 3*t + 2. Let u be p(3). Let y be (2/u)/(-5 - (-12)/2). Let k(j) = -j + 1. Let i be k(y). Solve 3*a - 4 = a - 2*h, i = h + 3 for a.
5
Suppose -198 = -134*m + 68*m. Solve f = -v + 6, -6*v + 2 = -5*f - m*v for f.
2
Suppose -2*x - 5*b + 330 = 0, 4*b = -3*x + 291 + 197. Let h = x + -157. Solve -2*g - h = 3*r + 1, 0 = -r for g.
-2
Suppose 209 = 28*y + 97. Suppose -4*o + 2*m = -7 - 19, -4*m - 37 = -5*o. Solve -j + 5*j = -8, -y*j = -o*q - 2 for q.
-2
Let t = 40896 + -40892. Suppose -5*h - 3*p - 7 = -31, h - 3*p + 6 = 0. Solve -h*r + 5*d = t, 5*d + 20 = r - 6*r for r.
-3
Suppose 40*k + 45*k = 73*k. Solve -3*j - 5*f = 0, -3*j - 18 = -f - k for j.
-5
Suppose -8*q + 2 = -7*q. Let y be (-10 + 1)*(20/(-3))/q. Suppose -4*h - y = -9*h. Solve 3*s - h = -3*k + 2*k, s = 5*k + 18 for s.
3
Suppose 0*x + 24 = 4*u + 4*x, 0 = -3*u - 5*x + 16. Suppose -4*y + 12 = -0. Suppose -y*p + u = -5. Solve -2*j + 4*n = -4*j + 2, 0 = 4*n + p for j.
3
Suppose 1318 = 8*m + 534. Let q = m - 96. Solve 0 = 4*