t z = 30.8 - 34. Let b = -3 - z. Let n = -0.4 + b. Put -2, n, 2 in descending order.
2, n, -2
Let h = 29/20 + -6/5. Sort 1, h, -1/2 in increasing order.
-1/2, h, 1
Let y = -4.89 + -0.11. Suppose -d + 2*l - 2 = 3*l, -2*d + 5*l - 11 = 0. Let m be ((-5)/30)/(-1 - d). Sort -0.4, y, m in increasing order.
y, -0.4, m
Suppose -c = -5*c - 20. Put 3, -1, -4, c in ascending order.
c, -4, -1, 3
Let v = 1 + -2/3. Let i(u) = 3*u**3 + 2*u - 4*u**3 + 8*u + 11 - 7*u**2. Let r be i(-8). Put v, r, -4 in descending order.
v, -4, r
Let m = -333/5 - -67. Let s = 11 + -6. Sort -1, s, m in decreasing order.
s, m, -1
Let d = 14.3 + -14. Sort 2, d, -2/5 in descending order.
2, d, -2/5
Let r(u) = u**2 + 9*u + 11. Suppose -4*z - 24 = -4*y, 2*y = -2*z - 0*z - 20. Let h be r(z). Let x = 4 - 2. Put 4, h, x in descending order.
4, h, x
Suppose 30 = -5*t - 20. Let i be t/(-4) - 1 - 1. Sort 5, i, 0 in descending order.
5, i, 0
Let f = 1 + -1. Let o = -604/9 + 67. Sort f, o, -2 in increasing order.
-2, o, f
Let r be (-2)/7*(-35)/(-75). Put -0.01, r, -2, -5 in increasing order.
-5, -2, r, -0.01
Let r(z) = z + 5. Let p be r(-11). Suppose d = -5*h - 2 - 17, 3*h = 5*d + 11. Put 2, p, h in increasing order.
p, h, 2
Suppose -24 = 9*z - 3*z. Let q = -4 - -6. Sort q, 1, z in decreasing order.
q, 1, z
Let q be (8/30)/(2/3). Let p = -2 + 8. Let z = p - 6.5. Sort -0.1, z, q in ascending order.
z, -0.1, q
Let h = -64.5 - -64. Sort -0.2, h, 2, 10 in decreasing order.
10, 2, -0.2, h
Let l be 59/2 - (-1)/2. Let a be (2/(-1))/(l/(-9)). Let m = 5.03 + -0.03. Sort a, 4, m in descending order.
m, 4, a
Let y = -6 - -4. Let k(g) = -2*g - 3. Let n be k(y). Let o = -12 + 15. Put 4, n, o in increasing order.
n, o, 4
Let x = -0.27 + 0.3. Let b = 0.47 + x. Put 3, -0.5, b in increasing order.
-0.5, b, 3
Let n be 5*1 - (5 + -2). Let k = 15 + -7. Let p = k - 5. Sort n, p, 0 in descending order.
p, n, 0
Let u be (-2)/(-21)*(-6)/(-16). Let b = u - 2/7. Suppose 0 = 2*v - 7*v - 10. Sort b, v, -0.4 in ascending order.
v, -0.4, b
Let n be -1 - (-2)/(36/15). Sort 3/2, n, 4/3.
n, 4/3, 3/2
Let v(y) = -9*y + 31. Let x be v(3). Put -5, x, 3 in ascending order.
-5, 3, x
Suppose 3*y - 8 = 2*f + 3*f, 0 = -4*f + 4*y. Sort 2, f, -3 in decreasing order.
2, -3, f
Suppose 93*y - 89*y = 16. Sort y, -4, 23 in descending order.
23, y, -4
Let z = -5 + 5.4. Let n = -2286/11 - -208. Sort -5, n, z in increasing order.
-5, n, z
Let n = 10 + -9. Put 2/3, 1/4, n in descending order.
n, 2/3, 1/4
Suppose 4*o - 3*o - 2*g = 7, -3*o + 2*g + 25 = 0. Suppose 4*a - 11 = o. Put 4, a, -3 in decreasing order.
a, 4, -3
Suppose -4*u = 53 - 65. Sort -1, -5, u in descending order.
u, -1, -5
Suppose -29 = -5*m - 2*t, 2*t + 6 = 3*m - 5. Sort m, -4, 1/5.
-4, 1/5, m
Let p = 24 + -22. Put 3/2, 0, p in decreasing order.
p, 3/2, 0
Let z = 0.1 + 0.9. Let i = -2 - -5. Let u = i - 1. Put z, -0.3, u in increasing order.
-0.3, z, u
Let v = -2 + 7. Suppose 7*f - 8 = 3*f. Let p be 4/(-10) - (-17)/5. Sort f, v, p in ascending order.
f, p, v
Suppose 3 = 2*q - 7. Let v be 1/(-2 - (-5)/2). Put v, -5, q in decreasing order.
q, v, -5
Suppose -4*s = -0*s + 16. Suppose 3*m = 3*k + 2*k + 30, 0 = 2*m - 10. Sort s, -5, k in decreasing order.
k, s, -5
Let r = -30.7 - -31. Sort r, -3, -0.18 in descending order.
r, -0.18, -3
Let s = 22 - 21.87. Let t = s + -0.03. Let c = 2 + -3. Sort t, c, 3.
c, t, 3
Let c be ((-20)/25)/(2/(-5)). Suppose 0 = 3*l - c*l. Let j(h) = -h**3 - h**2 + 3*h + 1. Let x be j(-2). Sort l, x, -4.
-4, x, l
Let i = -0.5 - -0.6. Let m = -2.04 + 0.04. Let z = -23 - -23. Sort z, i, m.
m, z, i
Let i = 1.9 - 2. Let z = -0.75 - -3.75. Sort i, -1, z in ascending order.
-1, i, z
Let g = -0.06 - 1.94. Let x = -2.923 + -0.077. Sort g, x, -0.02.
x, g, -0.02
Let h = -2497555/88 + 28381. Let k = -1/10 + -1/40. Let p = k - h. Sort 0.4, 1/2, p in descending order.
1/2, 0.4, p
Let b be (1 + -1)*(-10)/30. Suppose b = -6*x + x + 40. Sort -3, x, -1/5 in increasing order.
-3, -1/5, x
Let t(n) = -n**2 - 11*n - 8. Let v be t(-10). Let k = v + -2. Put k, 3, -3 in ascending order.
-3, k, 3
Let q be (-2)/9 - (-170)/(-45). Suppose -d + 2 = 5*n, 4*n - 10 = -0*d + 2*d. Let l be 0 + 0 + n + -1. Sort l, q, 1.
q, l, 1
Let a = -0.36 + 0.06. Let o be (-8)/6*(-18)/(-44). Sort o, a, -2/13.
o, a, -2/13
Let k = -1.2 + 0.1. Let l = k - -1. Suppose 2*p + 5*o + 23 = 13, 0 = 5*o + 20. Put l, p, -1 in descending order.
p, l, -1
Suppose 0*a - 4 = 2*a. Let x(q) = 2*q**2 + 4*q + 3. Let p be x(a). Let m be -1 - p/(-9)*0. Sort 2, 3, m.
m, 2, 3
Suppose 3*k + 15 = 4*o - 0*k, -3*o = -5*k - 3. Let m be (-4)/(-12) + (-14)/o. Put -1, m, -5 in decreasing order.
-1, m, -5
Let g = 43/7 + -459/77. Sort -2/11, g, 2/7.
-2/11, g, 2/7
Let x = 5.4 - 0.4. Let w = 3 - x. Let l = 2 + w. Sort l, -1, -3/5 in descending order.
l, -3/5, -1
Let g be (-2)/5*(12 + -2). Sort -5, -2, g in descending order.
-2, g, -5
Suppose 8*x - q + 109 = 3*x, -2*x - 2*q = 46. Let d = x - -20. Put d, -3, 2 in decreasing order.
2, d, -3
Let q = -4 + 0. Let r = -3.4 - -1.5. Let c = 1.1 - r. Sort c, q, 0 in ascending order.
q, 0, c
Let j = 13 - 3. Let z(u) be the first derivative of u**4/4 - 11*u**3/3 + 5*u**2 - 4*u + 1. Let t be z(j). Put -2, 0.3, t in increasing order.
t, -2, 0.3
Let c = 4.8 - 4.3. Sort -1/2, c, -1 in decreasing order.
c, -1/2, -1
Let p = 0.32 - 0.22. Sort -2/7, p, 2/5 in descending order.
2/5, p, -2/7
Let h = 0 - -3. Let u = 6 - h. Put u, -4, 2 in increasing order.
-4, 2, u
Suppose 3*b = 5*b - x + 1, 3*b = 4*x + 11. Let d be 3/4*(-16)/(-42). Put d, b, -1/4 in decreasing order.
d, -1/4, b
Let b = -5.7 - -6. Put b, -0.02, 2/5, -0.3 in descending order.
2/5, b, -0.02, -0.3
Let b(n) = -n**2 + 7. Let p be b(0). Let o = 5 - p. Put 3, -1, o in ascending order.
o, -1, 3
Let b(t) = t**3 + 3*t**2 - 3*t + 5. Let s be b(-4). Let i = 1 + s. Suppose 3*z - 13 = i. Sort z, -1, -2.
-2, -1, z
Let u be 1/(4 - (-20)/(-12)). Sort -2/21, 1, 1/9, u in ascending order.
-2/21, 1/9, u, 1
Suppose 6 = 2*v + 2. Let w = v - 7. Suppose 2*l = -4*n + 18, 4*n - n + 4*l = 11. Put 2, n, w in decreasing order.
n, 2, w
Let x = 18 + -34. Sort 0, 2/3, x in increasing order.
x, 0, 2/3
Let x = 0.2 + -0.42. Let l = x + -0.18. Put -3, l, 5 in descending order.
5, l, -3
Let g = 0.1 - -4.9. Let u = -22 + 45/2. Let q = -6.6 - -1.6. Sort u, q, g in descending order.
g, u, q
Suppose 2*u - 1 = -3. Let g = -3 + 3. Put u, g, -4 in decreasing order.
g, u, -4
Let g(r) = r + 14. Let d be g(-11). Let a be (-12)/(-18) - 8/d. Sort a, -3, 4.
-3, a, 4
Let p = 33 - 32.7. Put -5, -3, 4, p in decreasing order.
4, p, -3, -5
Let u be (-42)/(-70) - 542/(-5). Let i = u - 765/7. Let q = -1335/7 + 191. Put i, 1/4, q in increasing order.
i, 1/4, q
Suppose -2 = -q - 2*n, 3*q + q = -3*n - 17. Let a = 5 + q. Suppose 0*g + 16 = -4*g. Put 0.5, g, a in descending order.
0.5, a, g
Let y(g) = -2*g**2 + 8*g + 5. Let d be y(5). Put 6, -2, d in decreasing order.
6, -2, d
Let n(d) = -1 - 7*d - d + 3 + d**2. Let p be n(7). Let j = 11.9 + -12. Put 0.1, p, j in descending order.
0.1, j, p
Let t be 60/(-140) - (-24)/7. Put -1, -4, -8, t in decreasing order.
t, -1, -4, -8
Let o be ((-9)/(-2))/(15/4). Put 1, o, -1, 4 in decreasing order.
4, o, 1, -1
Suppose -2*a + a - 1 = 0. Let l = 103 + -106. Sort l, a, 0 in descending order.
0, a, l
Let h = 0.07 + -0.07. Let m = -4 + h. Sort -3/7, m, 1/4 in decreasing order.
1/4, -3/7, m
Suppose a - 4*q = -21, -4*q = -a + q - 25. Let u be (-8)/(-24)*3/a. Put -1/2, -2/13, u in ascending order.
-1/2, u, -2/13
Suppose -2*w - 2*n - 3*n = 3, 0 = -3*w - 3*n. Put -0.5, -8, w in decreasing order.
w, -0.5, -8
Let w be -2 - (0 - -4)/4. Sort -1/9, -2/3, w.
w, -2/3, -1/9
Suppose 0 = 5*l + 4*k - 2, -3*l - 3*k = -2*l - 7. Sort l, 7, -1 in decreasing order.
7, -1, l
Suppose 4*n = -0*n + 16. Let l = n - 3. Let i(y) = 2*y**3 - y**2 - y + 2. Let t be i(1). Put l, t, 5 in descending order.
5, t, l
Let z = 0 + 1. Let l be 2*z + (7 - 9). Put 1, -5, l in ascending order.
-5, l, 1
Suppose 0 = -2*c + 2*l + 6, -2*c - 4*l + 12 = 2*c. Let y = 1 - -3. Suppose r - 3*t + 10 = 0, 2*r = -r + 4*t - 5. Sort y, c, r.
c, y, r
Let l = 0.02 + 5.23. Let c = l + -0.25. Put c, 0.3, 0 in descending order.
c, 0.3, 0
Let n be (-4)/1*(3/(-1) + 4). Suppose -v - 8*m + 27 = -3*m, 5*v + 4*m = 30. Put v, -2, n in decreasin