, 5*h - 22 = 2*d. Suppose 14 = -4*z - h. Put z, 2, -1 in descending order.
2, -1, z
Let m(g) = 7*g**2 - 12*g - 2. Let y be m(2). Let h be 0 - 2 - (-1 - 1). Put h, -5, y in decreasing order.
y, h, -5
Let t(x) = x + 6. Let l be t(-6). Let b be -23 - l - (4 - 2). Let m = -26 - b. Put -6, m, 1 in increasing order.
-6, m, 1
Let k be ((-4)/5)/((-6)/(-15)). Suppose -11*i = -i - 50. Sort k, i, 3.
k, 3, i
Let r = 0.577 + -1.577. Let o be (3/(-2))/((-15)/8). Sort o, -1/9, r in descending order.
o, -1/9, r
Suppose -10*c = 4*g - 64, 2*c - 2*g - 7 = 3*g. Sort 1, c, 5/6 in increasing order.
5/6, 1, c
Suppose -3*j - 50 = -z - 30, j = -z - 12. Put j, -32, 1 in descending order.
1, j, -32
Let f(x) = -3*x**2 - 81*x + 94. Let r be f(-28). Put -14, -5, r in ascending order.
-14, -5, r
Let t = -398 + 393.14. Let m = t - 0.14. Let h be 4/(-18) - ((-3393)/324 + 10). Sort -3, m, h.
m, -3, h
Let l = -199 + 204. Sort -6, -4, l in descending order.
l, -4, -6
Suppose -t = 5*a - 3 - 8, 4 = 4*t. Let i be (a + -7)*8/60. Put 3/4, 0.5, i in decreasing order.
3/4, 0.5, i
Let i = 3 + 1. Let c(l) be the first derivative of -l**3/3 + l**2 + l + 191. Let j be c(i). Sort 2, 5, j.
j, 2, 5
Suppose 2*q + 12 = w + 7*q, 0 = -7*w + 3*q - 30. Put -5, w, 3, -9 in ascending order.
-9, -5, w, 3
Suppose 0 = -0*v - 3*v + 3. Let w = -31/27 - -40/27. Sort v, 2/13, w in ascending order.
2/13, w, v
Let w = 9 - 4. Suppose -6*l + 156 - 90 = 0. Suppose 0 = 2*t + 3*x, -w*t + 2*x - 27 - l = 0. Put -2/9, t, 0.4 in increasing order.
t, -2/9, 0.4
Let t(j) = -27*j + 167. Let o be t(6). Put o, 8, 13 in ascending order.
o, 8, 13
Suppose 7*m = -83 + 97. Sort m, 1, -3, -9.
-9, -3, 1, m
Let u(f) = 12*f**3 - 3*f + 2. Let n be u(1). Sort -7, 4, -3, n.
-7, -3, 4, n
Let v(b) = b - 10. Let s be v(7). Let h = 65 - 65.054. Let z = 0.346 - h. Put 0.2, z, s in decreasing order.
z, 0.2, s
Let m be 2 - (0/(-2) - 3). Let s = -26 + 107/4. Put -0.4, m, s, -3 in increasing order.
-3, -0.4, s, m
Suppose -5*x - 7 = -r, -4*x + 2*x = -5*r - 11. Suppose -7 = -w - 12. Sort 39/5, -0.5, x, w in descending order.
39/5, -0.5, x, w
Let j be (-4)/10 + 24/10. Let i = 2 - 5. Let z = -0.283 - -0.083. Put z, i, j in decreasing order.
j, z, i
Let k = -61 + 86. Suppose -o - 2*o = -d - 15, 0 = 5*o + 3*d - k. Sort 0, 33, o in increasing order.
0, o, 33
Suppose -4*i - 4*o = -o + 79, 0 = -4*i - 5*o - 89. Let k be (24/(-96))/(14/i). Put -3, -1/15, k in decreasing order.
k, -1/15, -3
Let y = -2.4 + 16.4. Let w = -17.36 - -1.36. Let d = w + y. Put d, -4/3, 0 in descending order.
0, -4/3, d
Let l = -1115 + 1112. Sort 5, -2, 222, l in increasing order.
l, -2, 5, 222
Suppose -8*w + 4*w + w = 0. Suppose 6*z = 30 - w. Put -3, -2, z, 4 in decreasing order.
z, 4, -2, -3
Let g be (-3)/(-6) + 10/8. Let n = -13/12 + g. Let w = -373 + 371. Put -0.2, w, n in decreasing order.
n, -0.2, w
Suppose -2*q - 3 = -7. Suppose -3*n = q - 5. Let b(s) = -3*s - 11. Let r be b(-5). Sort r, -3, n in decreasing order.
r, n, -3
Let y = 209 - 212. Sort -1/9, -14/3, y in decreasing order.
-1/9, y, -14/3
Suppose -7 = a - 12, -3*u - 3*a = -18. Sort u, -31, -1.2, 5 in decreasing order.
5, u, -1.2, -31
Let d = 902 - 906. Sort -19, d, 5.
-19, d, 5
Suppose -22 = -2*w + 30. Let v be (-2)/5 + w/(-10). Let o be 2 - (-1 - 3)*-1. Sort -4, o, v in decreasing order.
o, v, -4
Let q = 0.0044 - -2.9956. Put q, 0.4, -209 in descending order.
q, 0.4, -209
Let y = -29 + -35. Let j = 61 + y. Put 2/9, 0.4, j in descending order.
0.4, 2/9, j
Let v = 911 - 757. Sort -5, v, -4, -2.
-5, -4, -2, v
Let r = 1 + -0.8. Suppose 5*g + 4*k = -7, 81*k - 78*k = -2*g. Sort r, g, 2/7.
g, r, 2/7
Let q be 2*3/(-2) - (-32)/10. Put -2/11, q, 0.06, -1/3 in increasing order.
-1/3, -2/11, 0.06, q
Let f = -131 - -128. Put 2, f, -5, 1 in increasing order.
-5, f, 1, 2
Let h = 1.93 + 0.07. Let r = h + -6. Let j = 7 + r. Put 0.2, 1, j in increasing order.
0.2, 1, j
Suppose m + 0*a - 5*a = 19, 20 = -5*a. Let c be (1 - (9 - 3))*(-168)/56. Sort c, 0, m in ascending order.
m, 0, c
Suppose 0 = -3*u + 4*f + 5 + 12, f = -2. Sort 1, 5, 2, u.
1, 2, u, 5
Let l(n) = -8*n**3 - n**2 + 1. Let i be l(-1). Let z be 34/i + (-5)/20. Suppose -3*m = -4*m + 4*r - 10, 0 = 2*r - z. Put 0, m, -1 in increasing order.
m, -1, 0
Let k be ((-15)/12)/(-5) + (-2633)/(-28). Let b = 94 - k. Sort 2, 7, 0.5, b.
b, 0.5, 2, 7
Let r = 2962.8 + -2963. Let j be 0 + 2*(-3)/6. Put -2, j, r, -3 in decreasing order.
r, j, -2, -3
Let z = 20 - 19. Suppose 3*g + 0 = -5*u + z, 0 = 2*u - g - 7. Let b be -1 + 0 - (-6)/(-3). Sort u, b, 4.
b, u, 4
Let h(m) = -m**2 - 6*m + 18. Let l be h(-8). Suppose l*s = -2*s - 4. Sort 23, 4, 2, s in ascending order.
s, 2, 4, 23
Let s = 27 + -33. Let a = -15.9 + 16. Sort -5, s, a in decreasing order.
a, -5, s
Let k = 2 + -5. Let h = 38 + -42. Sort h, 1, k.
h, k, 1
Suppose 0 = -2*y + 8*a - 5*a - 34, -4*y + 2*a = 60. Sort y, -9, -3, -1 in ascending order.
y, -9, -3, -1
Let w(r) = 1 - 4*r - 3 - 6 + 1. Let i be (1 + -3)/2 + -3. Let z be w(i). Sort z, 1, -3.
-3, 1, z
Let p = -2 - -2. Let u = 3532/222267 - 2/5169. Let c = -280/1419 + u. Put 5, c, p in decreasing order.
5, p, c
Let z = 1485/8 - 186. Sort -10, -1, z in descending order.
z, -1, -10
Let j = -24 - -26. Suppose 5*a + 420 = 3*u + 2*a, 4*u = -j*a + 542. Let s = u + -1369/10. Sort -0.1, s, 4 in descending order.
4, s, -0.1
Let u be (-1)/(-1 - (-10)/(-5))*0. Put u, -132, 1 in ascending order.
-132, u, 1
Let r be 9 + (-1)/((-7)/(-56)). Put r, 53, -1 in ascending order.
-1, r, 53
Let g = -2 + 7. Suppose -j - 75 = -g*k, 5*k - 84 = k - 4*j. Suppose m = 5*m - k. Sort m, 1, 3 in increasing order.
1, 3, m
Let g = -1005 - -1032. Put g, 0, -9 in decreasing order.
g, 0, -9
Suppose -2*b = -6, 173*v + 34 = 174*v + 3*b. Sort 4, -5, v in decreasing order.
v, 4, -5
Suppose -4*k - 50 = z - 43, -1 = z + k. Sort z, -112, -1 in decreasing order.
z, -1, -112
Suppose -26 = -7*x + 23. Suppose -o = -9 + x. Suppose 8 - o = 2*j. Put -3, j, 0 in descending order.
j, 0, -3
Let n be -1 + (-3)/(-5) + 48/20. Suppose -5 = -n*r - 17. Sort r, 8, 4, 3 in decreasing order.
8, 4, 3, r
Suppose -3*t + 22 = -4*m, 2*t = 2*m + 5*t + 20. Let q(x) = -x**3 - 7*x**2 + x. Let i be q(m). Sort -1, 4, i in ascending order.
i, -1, 4
Let u = 2.6 - -0.4. Sort -2/7, 2, u, 1/5 in descending order.
u, 2, 1/5, -2/7
Let i = 388 - 384. Sort -0.4, 0.111, i in ascending order.
-0.4, 0.111, i
Let b be 4/10 - (-432)/(-180). Put -42, -1, b, -3 in descending order.
-1, b, -3, -42
Let i = 4.1 + -0.1. Let q = -564.6 - -565. Let f = -7.5 - -7. Put i, q, f in decreasing order.
i, q, f
Let v = 0 + -4. Suppose -15*q = -18*q - 9. Put q, 5, v in decreasing order.
5, q, v
Let v(d) be the first derivative of 3/2*d**2 - 4/3*d**3 - d + 1/2*d**4 - 2. Let r be v(2). Sort r, 2, -1.
-1, 2, r
Suppose 8*d - 5*d + 5*z - 6 = 0, -4 = -2*d + 2*z. Let y = 13 + -8. Suppose -2*g + 4*l - 2 = 2, -y = 5*g - 5*l. Sort -1, d, g in ascending order.
-1, g, d
Suppose -4*w = 2*a - 18, -17 = 11*a - 16*a + 4*w. Let t = -8 + 12. Put 1, a, t, 11 in decreasing order.
11, a, t, 1
Let m = -8 + 5. Let k = -2.9 - m. Let w = -2.0855 - -0.0855. Put k, w, 1/4 in descending order.
1/4, k, w
Let l = 8 + -7.7. Suppose -110*r + 32 + 78 = 0. Sort -4/5, 0.1, l, r in descending order.
r, l, 0.1, -4/5
Let j = 306/7 - 44. Sort -4, -5, 19/4, j.
-5, -4, j, 19/4
Let u = 1956/77 + -174/7. Sort 1, u, 5, 0.4 in decreasing order.
5, 1, u, 0.4
Let q = -1735 + 1736. Let l be 1/(1 - 14/12). Let g = l - -10. Sort g, q, -5.
-5, q, g
Let h = -345 + 693/2. Put 9, -1, h in increasing order.
-1, h, 9
Let h = 239 - 239.1. Sort 1, h, -0.5, 0 in increasing order.
-0.5, h, 0, 1
Let d = 191 + -195. Let p(u) = u**3 - 6*u**2 - 6*u - 4. Let a be p(7). Suppose 8*q = a*q + 30. Sort q, d, -1 in ascending order.
d, -1, q
Suppose 21 - 41 = -4*q. Let g be ((-2)/(-75))/(2/(-6)). Put 0.2, q, 0.5, g in descending order.
q, 0.5, 0.2, g
Let m(k) = -k**3 + 5*k**2 - 4*k - 10. Let a be m(3). Sort -5, 23, a in ascending order.
-5, a, 23
Let w be 1/(-2)*-4*3. Suppose 34 = -4*l - 2*u, -4*u - 24 = 4*l + 12. Let r be ((-2)/(l/12))/3. Sort 4, r, w in decreasing order.
w, 4, r
Suppose -4*s = -0*s, 2*t - 3*s - 20 = 0. Let i(m) = m**3 - 11*m**2 + 12*m - 15. Let b be i(t). Sort -9/7, 0.2, b in descending order.
b, 0.2, -9/7
Let s = -1071 + 1071.02. Let 