p = b - 1.12. Sort p, 2/3, -5.
-5, p, 2/3
Let h be -3 + (-2 + -8)/(-5). Put 4, 3, 2, h in descending order.
4, 3, 2, h
Let g = -0.13 - 6.87. Sort 1/4, g, -2/3 in decreasing order.
1/4, -2/3, g
Suppose -2*j + 2 = -0. Let t = -2 + j. Let v(k) = k**3 - 5*k**2 + 6*k - 7. Let b be v(4). Put -5, b, t in increasing order.
-5, t, b
Let c be 73*-2*(-2)/(-275). Let x = c - -22/25. Let b = 3 - 4. Put x, b, -4 in decreasing order.
x, b, -4
Suppose 3*a - 7*a - 16 = 0, -2*g + 5*a + 22 = 0. Let t = 4.05 - 4. Let l = t + -0.05. Sort g, 5, l in increasing order.
l, g, 5
Suppose 0 = -8*v - 15 - 137. Sort -1, v, 1, 0 in descending order.
1, 0, -1, v
Let n be 3/87*(-188)/12. Let w = n + 6/29. Let p = -2 + 0. Sort w, -1, p in decreasing order.
w, -1, p
Let p = 50 + -50. Put p, -1/2, -0.1 in ascending order.
-1/2, -0.1, p
Let x = 0.2 + -0.4. Put x, 2, 0 in decreasing order.
2, 0, x
Let c = -1.9 - 0.1. Suppose 0 = 8*q + 13 + 27. Sort -4, c, q in ascending order.
q, -4, c
Let w be (-2)/3 + 8/12. Sort w, -1, -5 in ascending order.
-5, -1, w
Suppose -2*c - 2 = -0*c. Suppose -2*d = 5*f - 5 - 12, -5*d = 4*f - 17. Put f, c, -4 in decreasing order.
f, c, -4
Suppose 5*q + 5*v - 15 = 2*v, -5*q = -5*v - 15. Put 4, q, 1/7 in descending order.
4, q, 1/7
Let o = -0.081 - -0.481. Sort 0.5, -0.03, o, -3/2 in descending order.
0.5, o, -0.03, -3/2
Suppose 19 = 5*o - 6. Let v(n) = n**2 + 3*n + 4. Let j be v(-3). Sort j, 2, o.
2, j, o
Suppose 3*d - 3 - 3 = 0. Suppose -4*k - 5 = 5*o + 3, -4 = d*k. Let z be o*(-3 + 5/2). Sort -2, -1, z in decreasing order.
z, -1, -2
Suppose 62*y - 10 = 64*y. Let k(u) = -u**2 + 4*u + 2. Let g be k(5). Sort 5, y, g.
y, g, 5
Let h be 152/(-11) - (-2)/(-11). Let i = -12 - h. Let y(c) = -2*c**2 - 4*c + 1. Let r be y(-3). Put 5, i, r in ascending order.
r, i, 5
Let t = -1.1 - -1.32. Let c = 0.02 - t. Sort c, -3, 0.2 in increasing order.
-3, c, 0.2
Let g = -20 + 24. Sort 0, 1, 3, g in ascending order.
0, 1, 3, g
Suppose 0 = 2*h + 3*h. Let p be (-6)/(-15) - 1 - h. Sort 2/3, -3, p in decreasing order.
2/3, p, -3
Let s = -3 + 12. Let a = -9 + s. Let x = a - 0.1. Sort x, 4, 2.
x, 2, 4
Let h = -12.5 - 0.5. Let k = -18 - h. Sort k, 5, -0.1 in increasing order.
k, -0.1, 5
Let l(i) = i**3 + 5*i**2 - 7*i - 3. Let c be l(-6). Put c, 1, 4 in descending order.
4, c, 1
Suppose 4 = 3*u - 8. Let j = 2 - 1.5. Sort -5, u, j in descending order.
u, j, -5
Let x = 0.14 + -0.12. Sort 5, x, -2/13 in decreasing order.
5, x, -2/13
Let i = 5.022 + -0.022. Sort 4, 1, 0.08, i.
0.08, 1, 4, i
Let h be 3 - (-5 + 3)/(-2). Put h, 4, 0, 3 in decreasing order.
4, 3, h, 0
Let v be (-5 + -1)*-1 - (-5 + 6). Let r = 5 + -4.7. Put r, -0.4, v in descending order.
v, r, -0.4
Suppose -4 = -2*x - 14. Let j = -3.1 + 0.1. Sort x, -0.5, j in descending order.
-0.5, j, x
Let n be (-2)/4 - 132/(-8). Let t be n/(-18)*5/20. Sort t, 1, -5 in descending order.
1, t, -5
Let g = -2/235 - 697/940. Let z = -6 - -8. Put g, -5, z in decreasing order.
z, g, -5
Let s = 354 + -359.07. Let z = s - -0.07. Sort z, 0.3, -3 in ascending order.
z, -3, 0.3
Let v be (-598)/(-4 + 8 + 1). Let d = 120 + v. Put d, -1/3, 1/2 in increasing order.
-1/3, d, 1/2
Let s be (15/(-10))/((-9)/6)*1. Suppose 4*l + 25 = -l. Sort -1, l, s in decreasing order.
s, -1, l
Let t = -4 + -1. Let c = -2.1 + -27.9. Let u = c + 35. Put t, -0.5, u in descending order.
u, -0.5, t
Let j(d) = 4*d**2 + d. Let t be j(-1). Suppose 2*i - 25 = t*z, -5*z - 3 = -i + 27. Let l be (1/2)/(3 + z). Put -1, -3, l in decreasing order.
l, -1, -3
Suppose -4*t + 9 = -t. Let z be -5*(1 - 6/3). Suppose -2*u - 8*v + 3*v = -z, -2*u + 5*v - 5 = 0. Sort t, u, -1 in ascending order.
-1, u, t
Let t = 14 + -14. Let a = t - 5. Put a, 3, -7 in descending order.
3, a, -7
Let w = 3.4 - 5.3. Let s = w + 2.4. Sort s, 0, 0.3 in ascending order.
0, 0.3, s
Let p = 153 - 158. Sort 3, -4, 1, p.
p, -4, 1, 3
Let g = -6 + 12. Suppose -2*c + g*c - 20 = 0. Put c, -3, -2 in decreasing order.
c, -2, -3
Let p = 18.65 + 0.35. Let w = p + -33. Let q = 9 + w. Put q, -4, -1 in increasing order.
q, -4, -1
Suppose 5*n + q = 28, -2*q = -0*n + 5*n - 31. Suppose 4*c - c = 5*g + 14, -3*g = n*c + 22. Sort -1, g, -3.
g, -3, -1
Suppose -4*o = -5*s - 8 + 36, -8 = -2*s. Let h = 4 + o. Suppose 3*r - 1 = -x, h*r = -x + r - 1. Put -1, x, 1 in increasing order.
x, -1, 1
Let i(v) = v**3 - 5*v**2 - 5*v - 5. Let d be i(6). Suppose -3 = 2*y - d. Suppose 0 = 28*x - 23*x. Put x, y, -2 in increasing order.
-2, y, x
Let h = 139/68 + -22/17. Sort h, 2/15, -4, -0.2 in increasing order.
-4, -0.2, 2/15, h
Let n = -1.9 - 0.1. Let j = 114 + -1256/11. Sort n, 1, j in ascending order.
n, j, 1
Let n be (2/(-27))/((-3)/9). Let m be 1*2/(-24)*2. Sort n, m, -2 in decreasing order.
n, m, -2
Let s be ((-55)/99)/(3 + -2). Sort s, 2, -1 in descending order.
2, s, -1
Let u = 16 + -19. Sort 0, u, 1/2.
u, 0, 1/2
Let l = 0.03 - 0.43. Let w = -1.3 + 0.8. Sort l, w, 3 in descending order.
3, l, w
Suppose 0 = 4*u - 8*u. Let o = 0 + -3. Let h be 3 + -1 + 0 + 0. Put o, u, h in descending order.
h, u, o
Let t = 2 - 1.5. Let i = 989 + -989. Sort 3/2, i, t in descending order.
3/2, t, i
Let c(z) = -z - 5. Let w be c(-3). Let d(i) = -i - 5. Let m be d(-8). Sort m, w, 2 in ascending order.
w, 2, m
Let z = 4 - 4.2. Let f = z - -0.2. Let r = f + -0.4. Put r, 2, -0.2 in decreasing order.
2, -0.2, r
Let l = -6 + 1. Let n(u) = -u**3 + 4*u**2 + 6*u. Let h be n(5). Suppose 2*k = -3*k. Put l, h, k in increasing order.
l, k, h
Let p = -19.5 - -19. Let b = -47/135 + 4/27. Put 1, b, p in decreasing order.
1, b, p
Suppose 20 - 11 = 3*g. Put -3, g, 4 in descending order.
4, g, -3
Let r be -1 - (1 - -1) - 31/(-9). Sort -0.4, r, -3 in descending order.
r, -0.4, -3
Let r = -313/6 + 52. Suppose 6 = 3*d - 0*d. Put 3, r, d in decreasing order.
3, d, r
Let b be (8/28*2)/2. Sort 2/3, b, -1/3 in ascending order.
-1/3, b, 2/3
Let p be 12/(-8)*2/(-6). Sort 0.4, p, 1/6 in ascending order.
1/6, 0.4, p
Let b(t) = -t + 9. Let c be b(5). Suppose -5*r - 20 = -0*r - 4*z, 4*r + z - 5 = 0. Put r, 2, c in decreasing order.
c, 2, r
Let w be (-36)/(-27)*18/4. Let x = 2 - w. Sort -3, -1, x in descending order.
-1, -3, x
Suppose -2*f = -6*f + 4. Sort 3, f, -2 in descending order.
3, f, -2
Let y(w) = 2*w. Let j be y(2). Sort -3, 1, j in descending order.
j, 1, -3
Suppose -4*w - 7 = m, w - 30 = -3*m + 6*w. Suppose -r + m*j + 15 = 0, 3*j + 25 + 6 = 5*r. Let i = 3 - 2. Sort 4, r, i.
i, 4, r
Let i be 4/40*-1*-2. Suppose 0 = 3*h - 4*n + 2*n - 10, 0 = 3*h - 5*n - 25. Sort i, h, 1.
h, i, 1
Suppose 0 = -2*m + 15 - 25. Put -30, m, 2 in descending order.
2, m, -30
Let c = 34 - 37. Sort 23, -4, c in descending order.
23, c, -4
Let g(j) = j - 2. Let b be g(-3). Let f be b/(-6)*8/(-15). Let c(k) = -k**3 - 7*k**2 - k - 3. Let o be c(-7). Sort -0.4, f, o in decreasing order.
o, -0.4, f
Let g = 8.2 - 8. Let j = 4.8 + g. Sort 3/7, 0, j in ascending order.
0, 3/7, j
Let s = -2.13 + 1.19. Let n = -0.06 + s. Let r = 0.03 - 0.33. Sort 2/17, n, r in decreasing order.
2/17, r, n
Let a be 70/9 - (-6)/27. Let u = -9 + a. Put 1/6, u, 5 in decreasing order.
5, 1/6, u
Let p = 997/12 - 83. Sort p, 0, 0.1 in ascending order.
0, p, 0.1
Let m = 0.04 + -0.54. Let t = 0.2 + m. Let k = 2.3 - 2. Put 0.5, k, t in increasing order.
t, k, 0.5
Let b be 1 + 8/(-4) - -1. Sort 1, b, -4.
-4, b, 1
Let b = -0.28 + -0.02. Let y = 0.4 + 5.6. Let g = y - 5.6. Sort b, g, -2 in decreasing order.
g, b, -2
Let d(t) = t**2 - 6*t - 7. Let i be d(7). Put i, -1, 3 in descending order.
3, i, -1
Let s(q) = q**3 - 8*q - 2*q**3 - 5 + 2*q - 5*q**2. Let p be s(-4). Suppose p*v = -v. Sort v, 5, -1 in increasing order.
-1, v, 5
Let f be 2 + ((-15)/4 - -2). Sort 3, f, 0.
0, f, 3
Let h be (-22)/(-6) - (-1)/3. Let q(g) = -g**3 + 9*g**2 + g - 3. Let s be q(9). Let a be (-2)/(-6) + (s - 6). Put -4, a, h in increasing order.
-4, a, h
Let q(d) = -d**3 + 4*d**2 + 3. Let u be q(4). Suppose 6 = -u*c - 0*c. Sort 4, c, 2 in ascending order.
c, 2, 4
Suppose 2*v + 5*o = 18, 2*v - 4*o = 7*v - 11. Let q(r) = r**2 - 5*r + 5. Suppose -2*c = 2*c - 20. Let p be q(c). Put -3, p, v in descending order.
p, v, -3
Let q = 33 - 58. Let k = 27.9 + q. Let v = -0.1 - k. Put 3/2, v, 0 in descending order.
3/2, 0, v
Let a(u) = 2*u**2 + u + 1. Let g be a(-1). Suppose 0 = 2*i + 4 - 0. Let