 w, 0.3, -0.4.
-0.4, w, 0.3
Let q = 24 + -29. Let r(j) = 2*j + 0*j - 1 - j + 5. Let s be r(-5). Sort q, -2, s in increasing order.
q, -2, s
Let a = 79 + -75. Let h(v) = -7*v + 11. Let l(u) = -10*u + 17. Let x(i) = 7*h(i) - 5*l(i). Let s be x(6). Sort a, s, 3 in increasing order.
s, 3, a
Let j(z) = -z + 1. Let q be j(0). Let i = -10474/11 - -951. Let m = i - -139/99. Put q, m, -5 in increasing order.
-5, m, q
Suppose 7 = 2*i + 2*i + 3*o, 0 = -5*i - o + 17. Put 2, 14, i in descending order.
14, i, 2
Suppose 2*a = -s - 2 + 12, -2*s = 3*a - 15. Suppose 3*x = 10 + 2. Sort x, -3, a in descending order.
a, x, -3
Suppose p + 0 = -2. Let f be 2/p*0/(-12). Sort 1, f, -2 in descending order.
1, f, -2
Suppose -3*t + 9*t = -30. Let k = 238/15 - 47/3. Suppose 2 = 2*j - 6. Sort j, k, t in descending order.
j, k, t
Let f = -1/61 - 107/915. Put f, -0.2, 9 in descending order.
9, f, -0.2
Let f be (6/(-9))/(10/3). Let x = -0.2 + -0.8. Sort -4, f, x in increasing order.
-4, x, f
Let d = 0.2 - 3.2. Let i = 3.5 + d. Sort i, -0.2, 1.
-0.2, i, 1
Let f = 8 + -11. Let y = -19 - -18.8. Let u = y + 0.7. Sort f, 2/7, u.
f, 2/7, u
Suppose 4*d - d - 5*h = -14, 0 = -4*d + h + 4. Let r(x) = x + 3*x + x**2 - 3*x**2 - 3. Let w be r(d). Put 5, 4, w in ascending order.
w, 4, 5
Suppose 3*t = -a + 7, -a + 2*t - 10 - 3 = 0. Sort -3, a, 4.
a, -3, 4
Let f = -0.2 + 0.2. Let h(b) = -2*b**3 - 12*b**2 + 2*b + 14. Let d be h(-6). Put 5, f, d in descending order.
5, d, f
Let q be -5 + (545/60 - 4). Sort 2, -0.5, q in ascending order.
-0.5, q, 2
Suppose 0 = 2*y + 2, 5*y = 5*m. Let f(a) = -2*a**3. Let q be f(m). Let n(v) = -v - 8. Let o be n(-7). Sort o, -5, q in descending order.
q, o, -5
Suppose 0 = -8*p + 6*p + 5*n + 35, 2*p - 2*n - 20 = 0. Put p, 1, 4 in descending order.
p, 4, 1
Let u(w) = -w**2 + 3*w - 3. Suppose 0 = 5*y - 3*y - 4. Let r be u(y). Sort r, -4, 5 in increasing order.
-4, r, 5
Let f = 10 - 12. Put f, 4, 2 in decreasing order.
4, 2, f
Suppose 0 = -3*j + 4*n - 1, 2*j = 4*n - 6*n - 10. Suppose 5*y + 9 = -16. Sort 0, y, j in ascending order.
y, j, 0
Let m be ((-24)/20)/((-3)/10). Put 3, m, 2 in decreasing order.
m, 3, 2
Suppose 1 + 2 = o. Let l be (-3 + -1)*6/8. Let c = -14 - -9. Sort l, c, o in increasing order.
c, l, o
Let k = 1.78 - -0.02. Let g = 1.8 - k. Put g, 2/5, -2 in decreasing order.
2/5, g, -2
Let l = 9 + -6. Let r = -14 - -14.5. Let q = 0.6 - r. Sort -3/5, q, l in increasing order.
-3/5, q, l
Let a = 10.7 - 3.2. Let g = -7 + a. Sort 2, 1, g.
g, 1, 2
Let z be (32/4)/((-2)/1). Sort -1, 5, z in increasing order.
z, -1, 5
Let v = -26.4 - -31. Let s = -5 + v. Let o be 46/112 - 2/7. Sort -1, s, o in descending order.
o, s, -1
Let k be (-4)/18*12/20. Let h be ((-4)/(-6))/(1/(-6)). Sort -3, k, h in decreasing order.
k, -3, h
Let k = 18 - 15. Let c be 2*1/((-2)/k). Put 4, c, -1 in descending order.
4, -1, c
Let a(g) = g**2 + 4*g - 9. Let s be a(-6). Let d be (-2)/(-2)*(-2)/(-2). Suppose 3 = 5*m + 13. Sort s, d, m in descending order.
s, d, m
Let g = 0.14 - 0.09. Let d = g - -2.95. Put d, 1, -5 in ascending order.
-5, 1, d
Let i = -11 - -6. Let p = -4.6 - 0. Let u = p - i. Sort 1, u, -1/2 in increasing order.
-1/2, u, 1
Let x be 3/(-5) - (-1 - 0 - 0). Sort -1, 1, 1/3, x.
-1, 1/3, x, 1
Let v = 0 - 1. Let w = v + 1. Put 0.2, 3, w in increasing order.
w, 0.2, 3
Suppose -3*c - 5*t = -5, -3 - 6 = -3*c - 3*t. Put -4/5, c, 7 in ascending order.
-4/5, c, 7
Let q = -1 + 4. Suppose -2 + 5 = q*i. Put 0, i, -7 in ascending order.
-7, 0, i
Let k = -3 + -1. Let d(f) = f**2 + 6*f + 5. Let w be d(k). Sort 0.2, w, -3/4 in increasing order.
w, -3/4, 0.2
Suppose 0*t + 14 = 3*g - t, -g - 2*t = 7. Let v = -1.1 - -1. Let r = -0.4 + v. Sort r, 1/4, g in decreasing order.
g, 1/4, r
Let z = 26 + -21. Sort -7/4, z, -4 in descending order.
z, -7/4, -4
Let j be 1/(1 - -4)*5. Let g be -1*j/2*-2. Sort 2, 3, g in decreasing order.
3, 2, g
Suppose 5*h + 8 = -12. Put -5, h, 0, -2 in decreasing order.
0, -2, h, -5
Let q = -0.06 - 39.94. Let y = -44 - q. Let v = -0.1 - 0.4. Put v, 0.4, y in decreasing order.
0.4, v, y
Let l = -1.22 - -0.27. Let k = -0.25 - -0.2. Let v = l + k. Sort v, -3, 5 in ascending order.
-3, v, 5
Let b = -32 - -28. Sort 4, b, 5, 1.
b, 1, 4, 5
Let w be 30/9*(-18)/15. Let c(m) = 7*m + 25. Let t be c(-4). Sort -5, t, w in descending order.
t, w, -5
Let z be (-2)/(3*(-8)/36). Suppose q + 2*q = -4*p + 1, -3*q - z*p - 3 = 0. Sort q, -1, 2 in descending order.
2, -1, q
Let t = -66/175 - -8/25. Put 4, t, -1 in descending order.
4, t, -1
Let t be 29/(-2) - 4/(-8). Let z be (-12)/(-8) + 25/t. Let m = 0.1 + 0. Sort z, m, -0.1.
z, -0.1, m
Let r(a) = a**3 - 6*a**2 + 5*a + 4. Let l be r(5). Sort l, -1, 20, -4 in ascending order.
-4, -1, l, 20
Let j = 10.94 - -0.06. Let d = -10.9 + j. Put 0.5, 0, d in decreasing order.
0.5, d, 0
Suppose 3*a + l - 3 = -4, -5*a - 5*l = -5. Sort -2, a, 0 in increasing order.
-2, a, 0
Let g be (-12)/54 + 20/63. Let i(k) = 29*k**2 - k. Let m be i(1). Let x = m - 86/3. Sort x, 4, g in decreasing order.
4, g, x
Let l = -0.1 - 0.1. Let g = -1.2 - l. Let k = -0.035 + 5.035. Put k, -0.1, g in descending order.
k, -0.1, g
Let f(o) = o**2 + 3*o - 1. Let v be f(-3). Let r(t) = 3*t**2 - 3*t + 1. Let z be r(2). Suppose 0 = 4*k - 13 - z. Put k, 0, v in decreasing order.
k, 0, v
Suppose 0 - 4 = -t. Suppose 2*u + 5*m - 4 = 0, 3*u - 3*m + 7 = -t*m. Put 2/9, u, -2 in increasing order.
u, -2, 2/9
Suppose -5*h = -m + 17, 2*h - 2*m - 7 = 3*m. Let i = -621/10 - -62. Sort -1, h, i in ascending order.
h, -1, i
Let y = -2 + 1.9. Let p = -0.3 + y. Sort p, 2, -2 in decreasing order.
2, p, -2
Let s be (-2)/5 - (-81)/15. Suppose -s*y - m = 9, 5*y + 4*m - 5*m = -11. Let c = 2 + y. Put 1, -1, c in descending order.
1, c, -1
Let z = 6 + -4. Let k = -1.9 - 0.1. Let n = k + z. Sort -0.2, n, 1/2 in increasing order.
-0.2, n, 1/2
Suppose 2*a = 2*v + 5*a + 22, v + 2*a = -13. Let o be (48/18)/((-2)/3). Let n = o - v. Put -1, -4, n in increasing order.
-4, -1, n
Let r(u) = u**3 - 2*u**2 - u - 3. Let c be 14/6 - (-2)/3. Let x be r(c). Suppose 62*a - 15*a = -235. Sort x, -4, a in ascending order.
a, -4, x
Suppose -8 = l - 3*l. Let x be l + 1 + (0 - 0). Suppose -2*p + 4*p - 6 = 0. Put x, p, -3 in ascending order.
-3, p, x
Let h(u) = -u**3 + 18*u**2 - 16*u - 16. Let x be h(17). Put 3, 0, x in descending order.
3, x, 0
Suppose -m = 5*y - 3*m - 22, 4*m = -4*y + 12. Let j be (-1)/1 - (-2)/2. Sort y, j, -1 in descending order.
y, j, -1
Let q = 18 - 16. Suppose -6 = 5*m + 4. Let s be 0*(m - 5/(-2)). Sort 1, s, q.
s, 1, q
Suppose 0 = -0*t - 5*t - 10. Let l be (0 - 1)*(-1 + 2). Sort l, 4, t.
t, l, 4
Suppose q = 2*l - 4 - 5, -4*q + 48 = 4*l. Suppose 6 = -2*c, -w + c - 2 = -l. Let v be (-1)/(-1) - (-28)/7. Sort w, v, -4.
-4, w, v
Let h(i) = 4*i + 4. Let c be h(-4). Let n be c/6 - (-4)/(-2). Let d be (-2)/5 - 34/(-10). Sort d, n, 4 in descending order.
4, d, n
Let f = 0 - 2. Suppose -6*a + 3*a + 6 = 0. Suppose -a*x = 4 + 2. Sort f, x, -5 in ascending order.
-5, x, f
Let b = 155 - 159. Sort 3, -2, b, -5.
-5, b, -2, 3
Let y = -15 - -61/4. Sort 3, 0.3, y in ascending order.
y, 0.3, 3
Suppose 3*d - 2*j - 16 = 0, -4*d - 5*j + 2*j = -10. Suppose 0 = -6*n + n. Sort n, d, -2.
-2, n, d
Suppose -6*j - 20 = -10*j. Let r(p) = p**2 - 6*p + 7. Let h be r(5). Put h, j, 4 in descending order.
j, 4, h
Suppose 2 + 3 = -r. Let t be 169/(-39) - (-5 - -1). Put r, t, 0.2 in decreasing order.
0.2, t, r
Let u = -8 - -11. Suppose 4*l - l + 15 = 0. Put 2, l, u in decreasing order.
u, 2, l
Let i be 2/(-8)*(-12)/(-4). Let u = 2.9 + -3.4. Sort i, u, -2/5 in ascending order.
i, u, -2/5
Let m = 28 - 31. Let x = 5 + -3. Let a(v) = -3*v**2 - 1. Let z be a(1). Sort x, z, m in decreasing order.
x, m, z
Let k = -3 - -3. Suppose k = r - 4, 0 = -n + r - 0*r - 7. Let v = 3 + n. Put 1, 5, v in descending order.
5, 1, v
Let m = 13 - 10. Suppose -x + m*x + 6 = 0. Let y(n) = 3*n**3 - 2*n**2 - n. Let q be y(-1). Put q, x, 4 in increasing order.
q, x, 4
Let h = 3 - -4. Suppose 3*s - h*s = -8. Suppose -5*p + 2*j = -14, 3*p - j + 3*j - s = 0. Sort 5, p, 1 in ascending order.
1, p, 5
Let u = -0.07 + 0.05. Let s = -0.08 + u. Suppose -5*l - 12 = q, 4*l - 2*q + 14 + 4 = 0. Sort s, 1, l.
l, s, 1
Let s be 1/6*(4 + -6). Sort s, 7, 0.2 in decreasing order.
7, 0.2, s
Let 