t o be y(-7). Suppose -7 = 5*w + o. Sort l, w, 3 in descending order.
3, l, w
Let h = -3 - -3.04. Let f = 3.46 + -7.5. Let c = h + f. Sort c, -0.4, -1/2.
c, -1/2, -0.4
Let u be (-76)/(-6)*15/10. Suppose -i - 17 = -4*r, 0*r - i = 5*r - u. Sort 5, r, 0 in decreasing order.
5, r, 0
Let j = 1.12 + -1.42. Sort -3, j, 2 in descending order.
2, j, -3
Let u = 22 + -27. Let i = 254/5 + -51. Sort u, i, 2/5 in descending order.
2/5, i, u
Suppose -2 = v - 1. Let c(s) = s**3 + 7*s**2 + s + 11. Let t be c(-7). Sort t, -3, v.
-3, v, t
Let i = 0.16 - 6.16. Let c = -5.5 - i. Sort 2/5, c, 4/3 in descending order.
4/3, c, 2/5
Let n = -87 + 89. Sort 18, 3, n, -1 in decreasing order.
18, 3, n, -1
Let t = -10.8 - -11. Sort 0.3, -5, t in ascending order.
-5, t, 0.3
Suppose 2*x - 4 = -0. Suppose -5*s + n - 28 = -n, -2*n + 16 = -x*s. Let u(i) = -i**2 + i. Let v be u(-1). Put -1, v, s in decreasing order.
-1, v, s
Suppose 2*c + 1 + 7 = 0. Sort c, 1, 2 in descending order.
2, 1, c
Let d be (-9)/(-16)*(-4)/(-3). Let u be (-5)/(-30)*(1 + 3). Put -2/9, u, d in ascending order.
-2/9, u, d
Let x(l) = l**2 + 5*l - 6. Let v be x(-6). Suppose 0 = 10*p - 5*p - 45. Let z be p/4 - (-24)/32. Sort z, 2, v.
v, 2, z
Let a = 1 - 0.6. Suppose -3*z + 1 = -2*z. Let j = 2.2 - 2. Sort j, a, z in descending order.
z, a, j
Let f = 6 - 4. Suppose 0 = -5*t + 4*t + 1. Suppose -l = -f*l + t. Sort l, -1, 3 in decreasing order.
3, l, -1
Let f = 15 + -6. Suppose 5*o + 1 = -f. Let q(l) = l - 1. Let y be q(1). Sort 3, o, y in descending order.
3, y, o
Let k be 4/(-2) + 0/6. Let u(g) = g**2 + 4*g. Let n be u(k). Put -0.4, -1, n in decreasing order.
-0.4, -1, n
Suppose 6*r + 22 - 4 = 0. Let i = -9 - -14. Suppose -i*q - 3 = -3*o, 11 = -0*o - 2*o - q. Put r, 3, o in ascending order.
o, r, 3
Let t be (-1)/(-3) + 13/(-3). Let x be (-4)/(-5)*30/12. Let r = x + 1. Sort r, t, -2.
t, -2, r
Let g = 7226598/25 + -289665. Let b = g - -601. Suppose 0 = 5*o + 4*p + 41, p - 2*p = 3*o + 19. Put -1/2, o, b in ascending order.
o, -1/2, b
Let v = -16.6 + 11. Let w = -6 - v. Let x = -3 + 3.4. Put w, -3, x in ascending order.
-3, w, x
Let i = -1 - -1. Suppose i = -4*z - 4 + 16. Suppose 20 = 4*a + 4. Put z, a, -3 in ascending order.
-3, z, a
Let m be (-4)/(-4) + (1 - 0). Let d be 14*m/(-24) - -1. Let u be (4/18)/(2/4). Put u, d, 0.4 in decreasing order.
u, 0.4, d
Let k be 15/(-10) + 26/4. Sort k, -3, -1, -26 in decreasing order.
k, -1, -3, -26
Suppose h = 4*h + 2*s - 1, 1 = -s. Suppose 0 = -x - h - 0. Sort -3, -5, x in ascending order.
-5, -3, x
Let k be 4/10 + (-12)/5. Suppose 4*s - 11 = -p + 8, -4*s + 22 = 2*p. Sort k, s, 3.
k, 3, s
Let k = 0.006 + 0.404. Let d = k + -0.11. Put 4/5, d, 0 in increasing order.
0, d, 4/5
Suppose -3*c + 2*m = 14, -5*c + 4*m - 5 = 19. Suppose -3*g = -g + 2, g = 5*t - 6. Put -9, c, t in descending order.
t, c, -9
Let f be -2*3/6 + 5. Put f, 1, -7 in descending order.
f, 1, -7
Suppose -12*o = -9*o + 3. Let w(q) = -3*q**2 + 2*q + 1. Let s be w(o). Sort s, 1, 6.
s, 1, 6
Suppose -1 = -q, -3*o + 10 = -3*q - 2*q. Suppose o - 1 = 2*p. Let f be (p/7)/(12/(-28)). Sort 4, f, -1/6.
f, -1/6, 4
Let q = 7 + -12. Let v = -107 - -107.1. Let g be (4/(-3))/(4 - 2). Sort g, v, q in decreasing order.
v, g, q
Let k = -302 + 296.96. Let h = k - -5. Let g = 0.46 - h. Put g, 4, 1/4 in decreasing order.
4, g, 1/4
Suppose g = 2*g - 1. Suppose 4*d + 3 = -g. Put 1, d, -4 in increasing order.
-4, d, 1
Suppose l - 4*l - 3*g + 12 = 0, 2*l - 4*g = 32. Suppose 5*q - 2*v + 13 = 0, q - 2*v = 3*q + l. Sort 2, q, 3.
q, 2, 3
Let p = 0.7 + -0.9. Put p, 0.1, 5 in increasing order.
p, 0.1, 5
Let g = -1.7 + 6.7. Put 2/5, g, -0.1 in decreasing order.
g, 2/5, -0.1
Suppose -3*n + 5 = -1. Let v be (30/(-9))/(n/(-3)). Let i(h) = -h**3 + 8*h**2 - 5. Let c be i(8). Sort 4, c, v in descending order.
v, 4, c
Let j = 9137/15 + -609. Let u = 0.8 + 0.2. Sort j, -1, u in descending order.
u, j, -1
Let z(d) = -11*d + 3. Let c be z(4). Let o = c + 57. Suppose -o = -5*m + m. Sort m, 1, 5.
1, m, 5
Let x = -1.33 - -0.33. Put 0.4, 3, x in decreasing order.
3, 0.4, x
Suppose 3*j + 3*f = -2*j + 12, -4*f - 10 = -2*j. Sort -3, j, 2 in decreasing order.
j, 2, -3
Let p = -23 + 10. Let t = p - -18. Let h = 5 - 3. Put h, t, 1/12 in decreasing order.
t, h, 1/12
Suppose 3*l - 5 = 3*n - 2*l, 0 = 4*n - 5*l. Suppose 0 = 5*b + n, 2*k + 1 = -4*b + b. Let z be k/3 + (-15)/(-9). Sort 3, 1, z in ascending order.
1, z, 3
Suppose 2 = -l + 4. Let q = 30.5 + -25. Let w = q + -6. Sort w, 1/3, l in increasing order.
w, 1/3, l
Let o(w) = -w - 8. Let t be o(-4). Sort 6, 2, t in increasing order.
t, 2, 6
Let m = -0.4 - -0.6. Let i = m - -0.2. Sort i, 1, -1 in descending order.
1, i, -1
Let i be (0 + (-2 - -1))*-1. Suppose 2*d - 7 = 3. Sort 0, d, i.
0, i, d
Let f = 18 - 17. Put -3, f, 2 in ascending order.
-3, f, 2
Let b = -13 - -12. Put 2, 1, b in descending order.
2, 1, b
Let x be 6 - 1*(1 - -3). Sort 1, x, -2.
-2, 1, x
Suppose -3*x + 6 = -6. Sort -3, -5, x, 5 in decreasing order.
5, x, -3, -5
Let o(t) = -t**3 - 9*t**2 - 8*t + 1. Suppose 4*f - f = -a - 5, -25 = 3*a - f. Let y be o(a). Sort 0, 2, y in increasing order.
0, y, 2
Suppose 3*z - 8 = 5*m, -3*z + 3*m - 8 = 2*z. Let t be ((9/z)/(-3))/6. Put -5/6, t, 2 in decreasing order.
2, t, -5/6
Let u = 16 - 6. Let d = -11 + 5. Let a = d + u. Sort a, -3, -2/13 in decreasing order.
a, -2/13, -3
Let r = -46/33 + 8/11. Let c = 1361/5 - 273. Put -4, r, c in descending order.
r, c, -4
Let n = 0.2 - -1.8. Let v = 2.3 - n. Let l = v + -1.3. Sort l, 3, 0.
l, 0, 3
Let i be (-16)/6*3 + 1. Let g = 2 + i. Let y be (6/4)/(3/(-8)). Sort y, 5, g.
g, y, 5
Let x = -9.85 - 0.15. Let z = -15.5 + 15. Sort z, x, 0 in decreasing order.
0, z, x
Let f = -1 - -8. Let c = f - 7.4. Sort c, -4, -0.5 in descending order.
c, -0.5, -4
Let j(b) = 3*b**2 + 3. Let y(v) = v**2 + 1. Let h(t) = -j(t) + 4*y(t). Let r be h(-1). Let i be 3 - (2/r + 1). Put -0.1, -1/5, i in ascending order.
-1/5, -0.1, i
Let s(z) = -z**3 + 7*z**2 - 5*z + 3. Let j be s(3). Let q = -14 + j. Let b be ((-6)/75)/(2/q). Put 0.4, 1/2, b in decreasing order.
1/2, 0.4, b
Let s = 54.8 + -55. Sort 3, s, 5, -2 in decreasing order.
5, 3, s, -2
Let v(w) = w**3 + 6*w**2 + 7*w + 6. Let l be v(-5). Suppose 3*k = -2*n, 0 = n + 3*k - 1 - 2. Put n, l, -2 in increasing order.
l, n, -2
Suppose 0*g + 5*g - a = 7, 4*g - 3*a - 10 = 0. Let w = g + -4. Let u(m) = -m - 10. Let v be u(-6). Put v, 4, w in increasing order.
v, w, 4
Let s = 0.1 + -4.1. Let v = -2.9 + 4. Let a = -1 + v. Sort s, a, -1/2 in descending order.
a, -1/2, s
Let b = 5.6 - 4.2. Sort -0.3, b, -1/5.
-0.3, -1/5, b
Suppose v + 3 - 4 = 0. Put v, -5, 4 in descending order.
4, v, -5
Let j be -2 - -5 - (-2)/1. Let g be -5 + (-1 - 1 - -2). Let s(h) = -h**3 - 9*h**2 - 10*h - 13. Let q be s(-8). Sort j, q, g in descending order.
j, q, g
Let p be (0 + 2)/(1 + 2). Let m = -306 - -5816/19. Sort m, 4, p in ascending order.
m, p, 4
Let a = 16 - -8. Let t = a - 25. Sort t, -5, 0 in ascending order.
-5, t, 0
Let q = 0 + 2/3. Sort 4.7, q, -1/10.
-1/10, q, 4.7
Suppose 0 = d + 1. Suppose 30*f - 25 = 35*f. Suppose w + 2*z + 22 = -3*w, -3*w - 19 = 2*z. Sort w, f, d in increasing order.
f, w, d
Suppose -4*a - 8 = -0*a - 2*k, -4*a = 3*k + 8. Sort 1, a, 5 in descending order.
5, 1, a
Let w(l) = 12 - 7*l + 5*l + 1. Let j be w(9). Sort 2, j, 1 in increasing order.
j, 1, 2
Let m = 281 - 269.3. Let l = m + -12. Sort -0.4, l, -2 in ascending order.
-2, -0.4, l
Let v(x) = -x**2 - 7*x - 3. Let c be v(-6). Suppose 2*y - 5 = -1. Suppose -c*h + 15 = y*h, k + 11 = 4*h. Sort k, 0, -4.
-4, 0, k
Let j = 0.8 + -1.2. Sort 0, j, -1 in descending order.
0, j, -1
Let q be (-3)/1 - (-2 - -1). Put 5, q, -1 in increasing order.
q, -1, 5
Let x be (-2)/1*4/(-8). Let o(m) = -m + 7. Let j be o(5). Let n be -5 + j + (-6)/3. Put n, -4, x in descending order.
x, -4, n
Let s = 43 + -28. Let a be (0 - 0) + (-25)/s. Sort -3, a, 0.3 in increasing order.
-3, a, 0.3
Let w = 20 - 30. Let p = -10.3 - w. Sort p, 6, -4/3 in ascending order.
-4/3, p, 6
Suppose 0 = o + 2*o + 12. Sort 2, 1, o in decreasing order.
2, 1, o
Let o(p) = p**2 + 6*p - 2. Let b be o(-6). Sort 2, 6, b.
b, 2, 6
Let o be (30/(-3))/(2/1). Sort 1, o, -2 in decreasing order.
1, -2, o
Suppose y - 6*y + 20 = 4*q, -8 = -2*y - 3*q. Let c = -1.5 