 0.3, v.
v, o, 0.3
Let v = -94 - -67. Let o = v + 36. Let h = 17 - o. Put h, -3, -4 in increasing order.
-4, -3, h
Let m = -14 + 23. Let c = 0.14 + -10.14. Let s = m + c. Sort 0.3, s, -0.4 in ascending order.
s, -0.4, 0.3
Let c be (-4)/((5 - 4)/((-1)/2)). Suppose -4*y = c*v - 6*v + 12, 0 = -3*v + 2*y + 5. Sort 1, 3, 5, v in descending order.
5, 3, 1, v
Let t = 519.2 + -519. Put -13, t, 3 in decreasing order.
3, t, -13
Suppose -5*r = 20*w - 16*w - 8, -5*r = w - 17. Suppose -b + 3*b = -10. Sort w, b, 6, 4.
b, w, 4, 6
Let m = 4.8 + -0.8. Let p = -5.318 + 5.518. Put -2/9, 1/3, p, m in ascending order.
-2/9, p, 1/3, m
Suppose 0 = 6*y - 44 - 22. Sort -2, -5, y in decreasing order.
y, -2, -5
Suppose 235 = -2*s + 241. Let g(b) = 2*b - 14. Let k be g(8). Sort -1, k, s in descending order.
s, k, -1
Let g = 27 + -28. Suppose 0 = -16*a + 17*a - 4. Put a, g, -2 in ascending order.
-2, g, a
Suppose t = -0*t + 11. Suppose t*w = 8*w - 9. Let p = w + 2. Sort -2, -3, p in decreasing order.
p, -2, -3
Let c = 289 + -296. Sort -5, c, -0.8, 2/19 in increasing order.
c, -5, -0.8, 2/19
Let g = -2.5 - 22.5. Let v = g + 25.4. Put -0.2, -0.5, v in ascending order.
-0.5, -0.2, v
Let h be (-92)/168 + (-4)/14. Let l = 82 - 97. Sort h, l, 2 in increasing order.
l, h, 2
Let v be 0 + 0 - (1 + -1). Suppose 2*q = -3*k - 3*q + 25, -q - 79 = -5*k. Suppose -2*t = -5*t - k. Sort v, t, -2 in ascending order.
t, -2, v
Let q be ((-136)/12)/((-2)/(-6) + 0). Let v = -39 - q. Suppose -3*l + 5 = -2*l. Put -4, l, v in ascending order.
v, -4, l
Let t = 5 + 1. Let k = t - 8. Let l = -1.1 - -0.6. Put 0.5, k, l in decreasing order.
0.5, l, k
Suppose 7 + 1 = 4*s. Suppose s*m = 8*m + 30. Sort -2, 13, m in descending order.
13, -2, m
Let p = -0.0819 - -15.0819. Sort -4, p, 2 in ascending order.
-4, 2, p
Suppose 2*d + 10 = 0, 4*c = c + 5*d + 16. Let v(p) = p**2 + 17*p + 74. Let y be v(-8). Put c, 0, y, 1 in decreasing order.
y, 1, 0, c
Let v = -9 + 4. Let w = 104 - 101. Sort 13, w, -1, v in decreasing order.
13, w, -1, v
Let l = 60 - 56. Let g(f) = f**3 - 11*f**2 - 2*f + 1. Let c be g(11). Sort -2, l, c in ascending order.
c, -2, l
Let l = -115 - -95. Let f be (2/(-8))/(-1*l/(-16)). Put -0.3, f, 2/5, -3 in descending order.
2/5, f, -0.3, -3
Let p = -829 + 828. Put p, -0.2, -12 in descending order.
-0.2, p, -12
Let q = 0.319 - -0.011. Let x = q - 0.63. Sort 2/15, x, 0.5.
x, 2/15, 0.5
Let h = -27 + 19. Sort h, -9, 4 in increasing order.
-9, h, 4
Let o be (12 + -9)/((-1 - 0)/1). Put o, -2, 2/821 in decreasing order.
2/821, -2, o
Suppose 7*f = 2*f + 5. Let s = 223 - 250. Sort -3, -2, s, f in descending order.
f, -2, -3, s
Let w(b) = -4*b - 8. Let m be w(-6). Suppose -2*n - 6*n = m. Let y be (-60)/(-14) + 4/(-14). Sort 1, y, n.
n, 1, y
Let l be 4/8 + (-2164)/2360. Let b = -1/59 - l. Sort -1, b, 0.3 in decreasing order.
b, 0.3, -1
Suppose 3*d + 0*d = -12. Let g(p) = -449*p - 2247. Let o be g(-5). Put o, d, 7 in descending order.
7, o, d
Let j be -1*20/9 + (-7 - -9). Sort j, -0.1, -10, 3 in descending order.
3, -0.1, j, -10
Let g(z) = 2*z + 1. Suppose 7*i = -m + 2*i + 35, -4*i + 16 = 0. Suppose 0 = -0*h - 5*h + m. Let c be g(h). Sort 3, c, -2 in decreasing order.
c, 3, -2
Let h be ((-30)/25)/(4/(-10)). Suppose -3*m + 0 = -h. Let f be -5*((-2)/10 - -1). Sort 2, m, f in decreasing order.
2, m, f
Let v(f) = -f**3 - f**2 - 2*f + 10. Let n be v(0). Suppose 65*o - n = 67*o. Sort 5, 1, 4, o.
o, 1, 4, 5
Let p be (-1)/(-8) - (-15)/8. Suppose -5 + 0 = -q, p*u = -4*q + 14. Put -4, u, -5, -6 in ascending order.
-6, -5, -4, u
Let b = 13.09 + -12.59. Put 0.3, b, 7/4 in decreasing order.
7/4, b, 0.3
Let x = -585.7 + 586. Put x, 2/7, 0.1, 4/5 in decreasing order.
4/5, x, 2/7, 0.1
Let g = 94 + -92. Suppose 4*v + 2*q + 52 = 0, g*v + 17 = -3*q - 13. Put 0, 2, v in ascending order.
v, 0, 2
Suppose -3*i + 5 = -1. Suppose 0 = h - q - 1, 4*q + i = 3*h - 1. Put -10, h, 3 in descending order.
3, h, -10
Suppose -808 = -340*u + 1188 - 296. Let w be (-10)/4*(-6)/5. Put w, u, 1 in descending order.
u, w, 1
Suppose 10 = -8*v - 30. Sort 3, v, -268.
-268, v, 3
Let z(h) = h**2 + 5*h - 24. Let t be z(3). Sort t, -1, 1, -4 in increasing order.
-4, -1, t, 1
Let m be (-6 - -1) + 34/(17 + 0). Let u(i) = i**2 - 6*i. Let p be u(5). Sort p, 3, m in decreasing order.
3, m, p
Let p = -2 + 1.5. Let m be (-2)/(-1) + 2080/(-936) - 80/(-36). Put 5, p, -2/3, m in increasing order.
-2/3, p, m, 5
Let d = 33 - 30. Put -3, 6, d in increasing order.
-3, d, 6
Let u = 0.0281 - 0.0281. Sort u, 0.4, 3, 1 in increasing order.
u, 0.4, 1, 3
Let i be (-9)/27*15 + 10. Sort 3, 7, 20, i.
3, i, 7, 20
Let o = -19 + 11. Let r(q) = q**3 - 10*q**2 - 12*q + 4. Let f be r(11). Let h = f - o. Sort -3/2, -3, h in ascending order.
-3, -3/2, h
Let t be 3 + (9/6)/((-18)/84). Sort t, 1, 3, -10 in decreasing order.
3, 1, t, -10
Let v = 52 - 20. Suppose -5*s + v - 22 = 0. Put s, 5, 3 in ascending order.
s, 3, 5
Let l = 5 + -3. Let s(t) = t**3 + 9*t**2 + 8*t + 8. Let m be s(-8). Suppose 3*i = 5*i - m. Sort i, 0, l.
0, l, i
Suppose -w = -x + 37, 3*x - 34 = -4*w - 147. Let r = -34 - w. Suppose 3*u + 5 = -2*u. Sort u, r, 5.
r, u, 5
Let g be 2/(-7) - 46/(-14). Let t = -0.12213 - 0.07787. Sort 5, 2/9, g, t in increasing order.
t, 2/9, g, 5
Suppose 4*w = 6*w + 2*r + 140, 4*r + 150 = -2*w. Let p be 50/13 - 10/w. Suppose -p*v = 21 - 1. Sort 5, v, -3.
v, -3, 5
Let a be ((-10)/4)/(9/(-18)). Suppose -3*g + 3*y = 4*y - 15, 0 = -2*g + 4*y + 24. Let i(n) = n**2 - 8*n + 16. Let c be i(g). Put -4, c, a in ascending order.
-4, c, a
Suppose 3*h + h + 5*s = -12, h = 4*s + 18. Let m be -5*(-3 + 2)*-1. Sort -6, m, h in descending order.
h, m, -6
Suppose -3*p - 17*p = 5*p. Sort -1/2, 3, -0.12, p.
-1/2, -0.12, p, 3
Let r = 0.23 + 0.17. Suppose 4*u = n + 11, n + 0*n - u - 1 = 0. Put n, r, -5 in decreasing order.
n, r, -5
Let l(z) = -2*z**2 - 10*z + 13. Let v be l(-6). Let a(y) = -2*y. Let f be a(v). Sort 5, -3, 0.4, f in ascending order.
-3, f, 0.4, 5
Let x be (-4)/15*(-6)/(-4). Let p = 885 + -884.7. Sort 1/5, x, p.
x, 1/5, p
Let a be -6 + -1 + (5 + 0 - 0). Put a, 4, -5, 2 in decreasing order.
4, 2, a, -5
Let t = 324 - 314. Sort 2/5, t, 0.5 in increasing order.
2/5, 0.5, t
Suppose -t + 125 = 24*t. Let f be 1/(4/3)*-4. Let k be (4/(-6))/((-1)/f). Sort 2, k, t in increasing order.
k, 2, t
Let j = 0.1 + -2.1. Let v = j - -1. Let b = 1.3 + -6.3. Sort b, -2/5, v.
b, v, -2/5
Let w(s) = 3*s - 8. Let u be w(3). Let v be 1 + (-2)/u - (-3 + 3). Suppose 2*g + 7 = -2*x - 5, 3*x = 5*g + 14. Put x, 3, v in decreasing order.
3, v, x
Let t = 539.3 - 539. Put -14, t, 3, -1/5 in decreasing order.
3, t, -1/5, -14
Suppose 2 = -20*w + 82. Let b be (3/(-2))/((-6)/(w - 16)). Let x(h) = -h**2 + 5*h + 2. Let a be x(6). Put 2, b, a in descending order.
2, b, a
Let i = 40 + -17. Let p be 140/(-8)*12/(-6). Let g = i - p. Sort -4, 0.3, g in ascending order.
g, -4, 0.3
Let q(s) be the second derivative of -s**5/20 - 7*s**4/12 - 5*s**2/2 + 4*s. Let u be q(-7). Let c be (1/5)/((-3)/u). Put -4, 1/6, c in ascending order.
-4, 1/6, c
Suppose 0 = 4*x + 33 + 3. Let t = -55 - -78. Suppose t - 8 = -3*n. Sort n, x, 1 in descending order.
1, n, x
Let o(m) = 2*m**3 + 7*m**2 - 11*m - 22. Let u be o(-4). Let t = -12 + 9. Sort 2, t, u.
t, 2, u
Let w be 24/(-6) + (-21)/(-3). Suppose 0 = -3*p + 3, 4*p + 2 + 0 = -3*f. Put -1, -18, w, f in decreasing order.
w, -1, f, -18
Suppose 20 = -4*a, -4*a + 0*a - 4 = 4*g. Suppose -3*j - 7 = g*j. Put 9, 1, j in decreasing order.
9, 1, j
Let z = -218.1 - -218. Sort -3, 0.45, z in ascending order.
-3, z, 0.45
Suppose 17*i = 19*i + 3*c + 27, 4*i - 2*c + 14 = 0. Put 2, i, -71, 4 in increasing order.
-71, i, 2, 4
Let v = -86 + 79.2. Let w = v - -7. Sort w, 1/3, 0.4, 0.3.
w, 0.3, 1/3, 0.4
Suppose 0 = 3720*x - 3717*x + 9. Put -1, x, 26, -2 in decreasing order.
26, -1, -2, x
Suppose 0 = 69*x - 14*x - 1705. Sort x, -3, 3 in decreasing order.
x, 3, -3
Let p = -26 - -29. Sort 1, p, -3.
-3, 1, p
Let d be 1 + -3 + 12/(-16) + 3. Let o = 309/5 - 62. Sort -1/8, d, o, 3.
o, -1/8, d, 3
Suppose 10 - 7 = -t. Let g = 664 - 663. Put g, t, -2, 4 in decreasing order.
4, g, -2, t
Let m be (-6314)/(-30) + (-5)/(-25). Let q = -213 + m. Sort -2, 2/9, q.
q, -2, 2/9
Let u(z) = -z**3 + 2*z**2 + z + 1. Let x be u(3). Let l = -246 - -250. Put 