 -2*l + 5, -2*k = u*l - 1 for l.
1
Let d = -30540 + 30542. Solve -m - d = p, 7*m - p = 6*m for m.
-1
Suppose -19*t - 61 = -4. Let y be (-13)/(13/(-9)) - (1 - t). Solve 33 = 5*l + o + 6, -y*o - 5 = -3*l for l.
5
Let c = -45084 + 45086. Let w = 3 + 1. Solve -r + 2*y + 2 = 0, 0*y + 4 = -c*r - w*y for r.
0
Suppose 8*v = -n + 5, 5*n + 4*v = 7 + 18. Solve -5*a + 3*b = -6*a - 7, -4*b = -n*a + 22 for a.
2
Let c be 16/(-3)*15/(-20) + 6. Suppose 24 = c*s - 16. Solve -z + s*w + 9 = 0, -4*z + 14 + 5 = w for z.
5
Suppose 5*v - 1995 = -5*o, 4*o + 1 = -7. Let d = v - 399. Solve 0 = 2*w - d*g, 2*w + 4*g = 2*g - 12 for w.
-3
Suppose -18*g = -g - 68. Let l = -148 + 145. Let j be 3 + 6*(-1)/l. Solve 0 = o, 8*s = 3*s + g*o + j for s.
1
Let h be (24 - 0)/((-2)/((-20)/15)). Suppose 11*m - h*m = 700. Let x be ((-33)/(-66))/((-2)/m - 0). Solve 0*v - 5*t + x = -5*v, 0 = 4*v + 5*t + 10 for v.
-5
Let f be 4 + ((-637)/(-7))/7. Suppose -f = -4*k - 5. Solve -c = -x - 3, 0 = -k*c - 0*c + 9 for x.
0
Let j = 750 + -748. Solve -2*o + 4*g - 8 = 0, -9 - 7 = 3*o - j*g for o.
-6
Suppose 4*h + 4*p - 108 = 0, 3*p = -7*h + 6*h + 29. Suppose -h*c + 561 = 171. Solve -4*a + 4*v = -12, 3*a + 3*v + c = -0*a for a.
-1
Let z(j) = -182*j - 908. Let h be z(-5). Solve h*d = -3*v + 7*v + 30, -3*v + 5*d - 33 = 0 for v.
-6
Suppose -5*x - 75 = -5*t - 0*x, -2*t - x = -9. Solve -2*c - 38 = 4*v, t*c - 5*c = -2*v - 29 for v.
-7
Let o = 963 - 241. Let j = o + -722. Solve j = 2*a + 6, 0 = 3*s - 2*a + 1 + 2 for s.
-3
Suppose 76*g - 80*g + 1336 = 0. Let s = g - 320. Solve 5*d + 3*k = -18 - 9, -s = 2*d + 2*k for d.
-3
Let r(x) = -x**2 + 9*x + 13. Let k be r(10). Suppose -b - 1090*w = -1086*w - 24, -5*w = -30. Solve b*o + o + 8 = -3*j, -k*j = -4*o - 2 for j.
-2
Suppose 0 = -i + 21 - 20. Suppose 0 = 2*h - 4, 0 = z + 5*h - 16 + i. Let p be 0/1*((-1 - z) + 5). Solve 0 = -5*v + 5*u - 25, p = -u - 2 + 4 for v.
-3
Suppose -4*c + a - 143 = -157, -3*c - 5*a + 45 = 0. Solve 0 = c*y + 5*v + 30, -3*y - 5*v - 27 = 1 for y.
-1
Let q(h) = -61*h - 2680. Let b be q(-44). Solve 4*u = -5*r - 27, -b*r + 0*r + 5*u + 3 = 0 for r.
-3
Let f(y) = -y**3 + 4*y**2 + 5*y - 2. Let l be f(4). Let z(h) = 2*h**2 - 3622*h - 7 - h**2 + 3588*h. Let v be z(35). Solve -2*k = k - g + l, -5*k = -g + v for k.
-5
Suppose -25 = 3*o - 31. Suppose -36*x + 34*x = -o*s + 4, -2*x = -3*s + 7. Solve -s*b + 4*w = -21, -4*b + w + 3*w + 24 = 0 for b.
3
Suppose 4*t - 38 = -3*x - 39, -3*t - 4*x - 6 = 0. Suppose t*b - 121 + 113 = 0. Solve -q + 12 = -b*j, j = 4*j - 3*q + 18 for j.
-2
Suppose 6*o - 16 = 14. Suppose 184 = o*m - 9*m. Let y = -45 - m. Solve -3*w + 4*l = -29, -3*w + 4*l - 6*l - y = 0 for w.
3
Let r(t) = t - 5*t - t + 69 - t + 215. Let h be r(47). Solve -l - 9 - h = -3*s, 3*s = -4*l + 31 for l.
4
Suppose -3*p = -7*p + 4. Let b be (-12 - -15)*(10 - p). Let g be -1 + (b/3 - 0). Solve 3*d = -4*i + g, -3*d + 3 = -0*d + 3*i for d.
-4
Let c = 7160 - 7155. Solve 0 = -c*w + 4*m - 30 + 2, 0 = -2*w - 2*m - 4 for w.
-4
Let t = -3608 - -3611. Solve -4*l + z = -21, 2*l + 3*z = -t*l + 5 for l.
4
Let m(a) = -86*a - 859. Let q be m(-10). Solve 4*s = 3*s + 3*x - q, -5*s + 2*x = -8 for s.
2
Let g(l) = l**2 + 10*l - 3. Let n be g(-6). Let k(o) = -o**3 - 28*o**2 - 25*o + 59. Let f be k(n). Solve -3*q + 3 = -f*x - 4, -1 = -x + 3*q for x.
-2
Let f be 3/3 + (-20 - 6/(-3)). Let c(l) = -l**3 - 18*l**2 - 15*l + 37. Let o be c(f). Solve 2*t + 10 = 0, -19 = -6*b + o*b + 5*t for b.
-2
Let x be 1/((-45)/(-25))*(18 - (-8 + 17)). Solve -15 = x*v + a, 87*v - 86*v - 1 = -a for v.
-4
Let t = -24164 - -24195. Let d be (0 + -1)*0/2. Suppose d = 2*n - n - 5. Solve -2*y - z + 13 = y, -n*y + t = 4*z for y.
3
Let a be 454/18 + (200/45)/(-20). Solve -4*w - 9 = 4*o + 11, -5*o + 2*w = a for o.
-5
Let c be (56/(-10) + (-2)/5)/(-1). Suppose -2*t + 10 = -5*z, 2*z = -c + 2. Solve 3*r = t, -3 = -4*p + 3*r + 5 for p.
2
Suppose -l - 24 = -4*j, 13*j - 8*j = 30. Solve l = -5*c + 6*c + 2*h - 4, 5*c - 20 = 2*h for c.
4
Suppose 2*n + 23 = 7, -s = n - 1. Solve 5*h - s*h = -i - 10, -18 = -3*i - 4*h for i.
2
Suppose 40 = 17*t - 0*t - 62. Solve a = 4*p - 7, -t*p - 2*a - 2 = -10*p for p.
3
Suppose 0 = 6*k - 14*k + 624. Let x be -2 + (-13)/(k/(-48)). Solve 5*g = 3*r - 0*g - x, -15 = 4*r + g for r.
-3
Suppose 0 = 2*g + 936 - 942. Suppose -4*w - 29 = -7*r + 2*r, 0 = -3*r - g*w + 12. Solve l - 4 = -5*a, -r*l + 4 = -4*a - 16 for a.
0
Let m(x) = -x**3 - 5*x**2 + 2. Let h be m(-5). Let v be (-22)/(-6) - h/3. Suppose -4 = u, -7*c + 5*u + 35 = -6*c. Solve -5*q = 0, 5*z + v*q + c = 5 for z.
-2
Let b be -19 + 20 + 11 + -1 + -1. Solve -4*w = o - 27 + 9, b = -o + 3*w for o.
2
Let t(f) be the second derivative of -1/2*f**3 + f**2 + 0 + 1/12*f**4 - 14*f. Let z be t(3). Solve o - z = -1, -4*x - 3*o = 9 for x.
-3
Suppose u - 5*u = -u. Suppose -5*c - 4 + 4 = u. Let q = -2 - -2. Solve c = -4*f + 4*r - 16, 3*r - 17 = -2*f - q*r for f.
1
Let r(i) = 2*i**3 - 5*i**2 + 6. Let x be r(2). Solve 77*z = 80*z + 9, -1 = x*c - 3*z for c.
-5
Suppose 3*v = -3*z + 39, 4*z = 2*v - 5*v + 50. Suppose z*h + 3*r = 8*h, 3*r = -h. Suppose 11*k - 2*k - 18 = h. Solve 5*u = 2*q + 30, -2*q - 4 + 2 = k*u for u.
4
Let u = 27 + -69. Let l be (10/4)/((-21)/u). Solve -5*j - 20 = 2*t - l*t, -3*t = -j - 4 for j.
-4
Suppose -10*v + 373 - 243 = 0. Solve 21 = h + 5*o, 5*h - 14*o + v*o = 1 for h.
1
Suppose 38*p + 2 - 458 = 0. Solve -6*o + 16 = 2*a, 4*a + 3*o = a + p for a.
2
Let x be (132/(-9))/(6/9). Let i(o) = -6*o - 59. Let t(h) = -h + 1. Let k(a) = i(a) - 3*t(a). Let r be k(x). Solve r*q = -b + 18, -5*q + 5 = -b - 13 for q.
4
Suppose 276 = 9*p + 3*p. Let f(x) = -16 - 4*x - 9*x + p*x - 8*x. Let t be f(8). Solve 2*d + 29 = -5*h + 4, 2*d = t for h.
-5
Let y = -1 - -13. Let z(d) = -d**2 + 15*d + 454. Let t be z(-15). Solve -12 = -w + t*i + 3, 0 = 3*w - i - y for w.
3
Let r(y) = 5 + 4*y + y**2 - 9*y + 0*y. Let t be r(5). Solve 0 = -3*u - 6, -c + 2 - 7 = t*u for c.
5
Let a = 82 + -88. Let g be (a/10)/(3/(-15)). Suppose -2*h - g*h + 7 = -3*n, 1 = n - h. Solve -f = -4*f + 4*c - n, 0 = -4*c + 12 for f.
2
Let u = -2 + 4. Let b(l) = -255*l - 25982. Let z be b(-102). Solve 4*f + 3*a + 0 = z, -f = u*a - 12 for f.
4
Let o(c) = -c - 10*c**2 - 6 + 11*c**2 - 3*c - 8*c. Let w be o(13). Suppose -8 - w = -5*f. Solve 6*t - f*t = -5*g + 40, -2*t + 35 = 5*g for t.
5
Let l(v) = -7*v + 7*v - 8 - 612*v**2 + 7*v + 615*v**2. Let u be l(1). Solve 4*f - u*s + 5*s + 14 = 0, 2*f + 4*s = -12 for f.
-2
Let s be 54/(-12)*4/(-6) + 1. Let x be 5/3 + -38*s/(-24). Solve 4*l + 0 = x, -2*u - l = -6 for u.
2
Let n be (-6)/(-3) + 9/(45/10). Suppose n*g - 11 = -3. Let w be (-2 + 21/5)*5. Solve -y + w = a + g*y, 2 = y for a.
5
Let m(h) = h**2 + 36*h - 32. Suppose 4*f = -3*t - 0*t - 136, -5*t + 205 = -5*f. Let q be m(f). Solve g + 28 = -5*x, 3*g - q*x = -x + 11 for g.
-3
Let c be (-7614)/(-235) + (-51)/15. Solve -4*n + 2*n = -4*w + 22, -5*w = -4*n - c for n.
-1
Suppose 0 = -2*f - 34 - 120. Let q = -69 - f. Suppose 0 = -q*w + 15*w - 14. Solve -3*i = j - 3, 0 = -w*i + 3*j - 0 + 13 for i.
2
Suppose 3*q - 126 = -0*q + 5*c, 2*c + 117 = 3*q. Suppose -3*f - q = -4*s + 2*f, -21 = -2*s + 3*f. Solve 25 = -4*u + 3*t, -4*t + s*t + 3 = 0 for u.
-4
Suppose 0 = 10*u - 72 + 2. Let g(c) = -c**3 + 7*c**2 + 5*c - 34. Let k be g(u). Let i be (-324)/(-20) - (-2)/(-10). Solve x = v - 2*v - k, 2*v + i = 5*x for x.
2
Suppose 1236 = 134*g + 19*g + 156*g. Let m = 14 - 10. Solve -m*h = -0*h + 12, -2*h = -g*l + 22 for l.
4
Let o = 78476 + -78473. Let j = 7 - 3. Solve -4*i - 27 + 7 = -5*v, j*i = o*v - 12 for v.
4
Let n(a) = a**2 - 2*a + 2. Let z be n(4). Let l(j) = 9*j - 5. Let y be l(0). Let v be ((-6)/y)/(18/45). Solve 3*s + s - 25 = -v*m, 0 = -s - 2*m + z for s.
4
Suppose -9*s + 104 - 131 = 0. Let y(q) = q**3 + 2*q**2 - 5*q - 3. Let c be y(s). Solve -31 = -5*m - 4*o, c*o - 2*o - 19 = -5*m for m.
3
Suppose -4*k + 2*k = 0. Suppose 6*w = 3*w + 18. Suppose -6*b + 3 + 27 = 0. Solve k = r + 5*l + 7, 3*r = w*r - l + b for r.
-2
Let v be (-47)/(-9) + (22 - (-3000)/(-135)). Solve -t - t = 2*q + 16, v*q + 20 = 0 for t.
-4
Suppose 3*l + 46 = 2*z, -3*z + 3*l + 133 = 2*z. Suppose 21*n = -z + 92. Solve -2*f - n*u + 16 = -6*f, -f + 5*u - 21 = 0 for f.
-1
Suppose -5*x - 5 = -5*h, 51*x - 46*x + 4*h = 40. Solve 0 = 2*w + u - x, -2*w - 20 = 5*u -