. Put d, -1/5, 0.4 in ascending order.
d, -1/5, 0.4
Let r = 0.5 - 0.3. Let o = r - 0.3. Let z = 0.22 + -0.22. Put o, z, 0.1 in ascending order.
o, z, 0.1
Let i be -2*(-1)/(-3)*3. Let m(u) = -2*u - 15. Let w be m(-10). Sort 3, w, i in increasing order.
i, 3, w
Let c be (4 + -1 - 0) + 0. Suppose 0 = -b + c - 1. Sort -3, b, -1 in increasing order.
-3, -1, b
Suppose 2 = 3*u + 17. Put -4, u, 4, -14 in increasing order.
-14, u, -4, 4
Let c = 3 + 2. Suppose x + 5*i - 2 = -18, 5*x = -c*i. Sort 2, x, -5 in decreasing order.
x, 2, -5
Suppose 0 = 5*b - 4*b + 3. Let c(z) = -z + 10. Let f be c(9). Sort f, b, 0 in ascending order.
b, 0, f
Let s be (1 - (3 + -2))/2. Put s, -2/3, -3, -0.1 in ascending order.
-3, -2/3, -0.1, s
Suppose 13*z + 3*z + 16 = 0. Put z, -4, 10 in increasing order.
-4, z, 10
Suppose 0 = -b - 3*r + 1, 2*b + 3*r - 4*r = 9. Let n(k) = -7*k**2 - k + 3. Let z(j) = -8*j**2 - j + 4. Let p(o) = 4*n(o) - 3*z(o). Let x be p(1). Sort x, b, 5.
x, b, 5
Let m be (-6)/9 + (-20)/(-3). Let w = -1 - m. Sort 4, -2/19, w.
w, -2/19, 4
Let a = 55 + -225/4. Put -5, -3, a in ascending order.
-5, -3, a
Let c be (-44)/(-4) - 3 - -1. Suppose 4*y - t - 13 = 0, -3*t = -0*t - c. Let f be (-4)/18 - (-141)/27. Put f, -2, y in descending order.
f, y, -2
Suppose -3*m = -6*m. Suppose -2*k - 5 = -3*w + 4, m = 2*k - 2*w + 6. Suppose k = -2*l + l. Put 2, -5, l in descending order.
2, l, -5
Let q = -1 + 1.4. Let v be (2/8)/(3/36). Let m = -1 - -1.5. Sort v, q, m.
q, m, v
Let t = -13 - -15. Let b(g) = g**2 + 1. Let j be b(2). Sort j, 4, t.
t, 4, j
Let b = 43 - 48. Sort 13, b, -3 in descending order.
13, -3, b
Let m be (0 + -10)*14/28. Sort m, 5, 10, -3 in ascending order.
m, -3, 5, 10
Suppose -h - 17 = -5*q, -4*h - 2*q = -3*q + 11. Sort -8, h, -3 in descending order.
h, -3, -8
Let h be 1 - ((-3)/(-3) - 1). Let v = -2 - 3. Put 0, v, h in increasing order.
v, 0, h
Let t be 0/(4 - (4 + 1)). Sort 3, t, 6 in ascending order.
t, 3, 6
Let u = 21 + -21. Put -4, u, -5 in ascending order.
-5, -4, u
Let t = 0.0685 - -5.9915. Let l = t - 6. Let w = 4.94 + l. Sort -2, 1/4, w in decreasing order.
w, 1/4, -2
Suppose 5*w + 2 = 12. Suppose 3*z = w*z. Suppose z*m - 17 = -m + 5*a, -3 = a. Sort -4, m, -5.
-5, -4, m
Suppose 3*i - 2*f = f + 12, -8 = -2*i - 5*f. Sort -3, -4, i.
-4, -3, i
Let w = -5 + 7. Let i = 23 - 28. Put w, i, -0.2 in increasing order.
i, -0.2, w
Let b = 6 + -1. Suppose 0 = -b*r + 20 + 15. Suppose -r*q - 16 = -3*q. Sort 0, -1, q in increasing order.
q, -1, 0
Let b(y) = -y - 5. Let s be b(-8). Let o be s*3/9 - -1. Suppose 0 = -5*d - 20, o*d + d + 12 = 4*m. Put -3, -2, m in descending order.
m, -2, -3
Let l(z) = -2*z - 2. Let m be l(-4). Suppose 4*h - 1 = 15. Suppose -h*o + m = -6. Sort o, 0.3, -1/7 in descending order.
o, 0.3, -1/7
Let p = 76/215 - -2/43. Let l = -11 - -10.7. Sort p, l, 1 in increasing order.
l, p, 1
Let k(g) = -g**3 - 17*g**2 - 4. Let z be k(-17). Sort z, -3/5, 3/4 in increasing order.
z, -3/5, 3/4
Let m(v) = v**3 + 6*v**2 + v + 1. Let n be m(-6). Suppose 2*q - q = -h + 3, -5*q + 15 = 0. Sort n, 1, h.
n, h, 1
Let u(c) = -c**2 + 12*c - 3. Let d be u(12). Sort 2, 1, d, -1 in decreasing order.
2, 1, -1, d
Let u = -10 - -8. Let j be 6*(-1)/(-4)*u. Let m = 35 - 176/5. Put j, 2/11, m in decreasing order.
2/11, m, j
Let z = 0.1 - 0.6. Let s = -2 + 0. Sort -0.4, z, s in decreasing order.
-0.4, z, s
Suppose -o = 3 + 1. Sort o, 4, 5 in decreasing order.
5, 4, o
Let z = -8 - 1. Let j be 2 + (-2)/((-6)/z). Let v = 9 - 6. Put 0, j, v in decreasing order.
v, 0, j
Let n be (0 + (1 - 6))*1. Let y(a) = -4*a + 5*a + 0*a + 12. Let l be y(-9). Put -2, l, n in decreasing order.
l, -2, n
Let t = 15.38 + -15. Let n = t - -0.02. Let u be (-3)/9 + 14/24. Sort n, u, -2/3.
-2/3, u, n
Suppose -49*q - 4 = -48*q. Let k = -6 - -8. Sort q, k, 3.
q, k, 3
Let z = 48 + -48. Put -5, 2, -2, z in decreasing order.
2, z, -2, -5
Let c(b) = 4*b + 72. Let g be c(-19). Sort g, -7, 1, -3 in ascending order.
-7, g, -3, 1
Let k be (-6)/(-4)*(-2)/(-3). Put k, -5, -1 in decreasing order.
k, -1, -5
Let j = -42 + 41.7. Sort 4, -1/4, 5, j in decreasing order.
5, 4, -1/4, j
Suppose 48 = 2*k + 14*k. Put -18, k, 5, 0 in decreasing order.
5, k, 0, -18
Let i = 499 + -11475/23. Let z = 0.2 - 0.1. Suppose x - 2*x + 5 = 0. Put i, z, x in ascending order.
i, z, x
Let o = 56 + -56.3. Let n be -5*((-8)/(-10))/(-2). Sort 4, o, n.
o, n, 4
Let j = -2.6 + 0.6. Let m = -0.42 - -2.12. Let a = m + j. Sort -5, -3/7, a in decreasing order.
a, -3/7, -5
Let g = -34 - -103/3. Let b = 13 - 7. Let c = -10 + b. Sort -0.5, g, c.
c, -0.5, g
Let k = 0 + -5. Sort 4/9, -0.1, k in descending order.
4/9, -0.1, k
Let l = -2 - -1.6. Let u = -10 + 12. Let b be 4/8 - (u + -2). Sort b, 2/3, l in ascending order.
l, b, 2/3
Suppose 3*y = -3*t + 36, t - y = 5 + 1. Suppose 3*b = 4*b - 3. Let r be (b/t)/((-5)/(-2)). Sort -0.5, r, 1/3 in increasing order.
-0.5, r, 1/3
Let b = 17.72 - 0.72. Put 0.4, -2/15, b in descending order.
b, 0.4, -2/15
Let n = -160 + 163. Put -6, 1, -4, n in increasing order.
-6, -4, 1, n
Let s = -1.86 - -6.86. Let g = -0.9 - 0.1. Let q = g + s. Put -2, -4/3, q in descending order.
q, -4/3, -2
Let r be (-3)/(6/(-8))*-1. Let t = 56/9 + -298/45. Sort -0.6, r, t in decreasing order.
t, -0.6, r
Suppose -d - 2 - 2 = 0. Let g = 61 + -62. Put 5, d, g in increasing order.
d, g, 5
Let p(d) = -d**3 + 2*d**2 + 2*d + 4. Let n be p(3). Let f be (-2)/(-8)*(7 - -5). Sort f, -3, n.
-3, n, f
Let c(p) = 6 + 2 + p**3 - 5*p + 5*p**2 - 1. Let i be c(-6). Let q(m) = m**2 + 2*m - 6. Let d be q(-4). Sort 4, i, d.
i, d, 4
Let t = -1 + -5. Let r be 6/(t*(-3)/(-12)). Sort -2/5, 2/13, r in decreasing order.
2/13, -2/5, r
Let w be 8/(-310)*(-5)/6. Let o = 12905885/186 + -69386. Let m = w + o. Sort -1/4, m, -2/7 in ascending order.
-2/7, -1/4, m
Let y = -5 - -3. Let n(z) = 2*z - 12. Let d be n(8). Suppose -h + 2 = 2*m, -3*m + 2*h = -2*h + 19. Sort m, y, d.
y, m, d
Let f = 14 - 10. Sort -0.3, 5, f.
-0.3, f, 5
Suppose -i = -2*d + d - 3, 23 = 5*i + 3*d. Suppose i = g - 0*g. Suppose 0 = 2*r + 5*f + 23, 0 = 2*r - g*r + 5*f + 7. Put r, 2, 5 in decreasing order.
5, 2, r
Let b be (2 - 4)/(0 - 1). Suppose c - b = -4. Let k be (-4)/(-14) - c/(-7). Put k, -5, -2 in ascending order.
-5, -2, k
Let o(f) be the first derivative of -f**4/4 - f**3 + f + 3. Let a be o(-3). Put 3, -4, a in descending order.
3, a, -4
Let f = 74 - 74.3. Put 1/4, -4, f, -2 in ascending order.
-4, -2, f, 1/4
Suppose 5*o + 9 + 1 = 0. Let j be -3 + 1 + (-2)/1. Put 4, o, j in ascending order.
j, o, 4
Let s be (3 - 0)*(-1 + 0). Let t(g) be the first derivative of -g**4/4 - g**3 + g**2/2 + 3*g + 3. Let l be t(-3). Put s, 5, l in descending order.
5, l, s
Let g = 2.532 - -0.398. Let b = -0.07 - g. Put -1/5, b, 5 in descending order.
5, -1/5, b
Let m(k) be the second derivative of k**5/20 + 3*k**2/2 - 2*k. Let s be m(0). Let z(p) = 2*p - 13. Let o be z(6). Put 2, o, s in descending order.
s, 2, o
Let v = 0 + -4. Suppose 0*p - 4*p = -u, -4*u = -p. Let d be -1 - -2 - (u - 2). Put d, v, -3 in decreasing order.
d, -3, v
Let x be (-2)/9 + 29/9. Sort -2, x, -4 in decreasing order.
x, -2, -4
Suppose 2 = 5*g - 8. Let o be ((-1)/(-150))/(1/121). Let p = -2/75 - o. Sort p, -0.3, g in descending order.
g, -0.3, p
Let a = 12.1 + -12. Put a, -1/10, 0.3 in descending order.
0.3, a, -1/10
Let c = -9 - -9.6. Let f = 1 - c. Sort f, -2/3, -0.2 in increasing order.
-2/3, -0.2, f
Let s be (-34)/(-28) + (-8)/(-28). Put s, 4, 5 in increasing order.
s, 4, 5
Suppose 0*x - 2*x = 6. Let v(r) = -r - 4. Let w be v(-8). Suppose 0 = -w*g - 2 - 14. Sort x, g, -5 in ascending order.
-5, g, x
Let t = 12.86 - 13. Let s = t + 0.64. Sort s, -5, 0 in decreasing order.
s, 0, -5
Let d(a) = a**3 - 4*a**2 + 4*a - 1. Let c be d(3). Suppose -20 = 7*q - c*q. Let z be (-35)/(-22) - (-6)/(-4). Sort z, q, 0 in ascending order.
q, 0, z
Let b = -3.6 + 0.6. Suppose 8 = -5*u - 2. Let g(j) = 2*j**2 + 3*j + 3. Let z be g(u). Sort z, 0.1, b in increasing order.
b, 0.1, z
Let c = 75 - 66. Sort 4, c, 1/5 in increasing order.
1/5, 4, c
Let f(h) = 2*h - 20. Let q be f(8). Sort q, 2, 1 in decreasing order.
2, 1, q
Let r(s) = s**2 + 2*s - 6. Let z be r(-3). Sort 0, -2, 2, z in descending order.
2, 0, -2, z
Let f = 44 + -49. Put f, -1, 3, 2 in increasing order.
