 -5 + y. Sort j, -2/11, r in decreasing order.
r, j, -2/11
Let v be 2 + ((-10)/3 - 0). Sort v, 0.5, 0 in increasing order.
v, 0, 0.5
Let w be 2 + (-6)/(0 + 2). Let z = 1 + 0. Put 2, w, z in descending order.
2, z, w
Let t be 132/(-55)*(-10)/(-4). Let g be -5*(18/(-10))/3. Sort g, t, 4 in decreasing order.
4, g, t
Let k = -13 - -15. Let a be -2 + 10/6 - -1. Sort 0, a, k in decreasing order.
k, a, 0
Suppose 0 = -4*b + 12 + 8. Suppose 3*l + 6 = 5*l. Suppose 2*f - 3*f = 3, -3*i + f = -l. Sort b, i, -5.
-5, i, b
Let g be (5*3/45)/(2/(-30)). Put g, 0.2, -0.2 in descending order.
0.2, -0.2, g
Let m = -12 + 23. Let h = m + -8. Put h, 4, -0.1 in decreasing order.
4, h, -0.1
Let r = 129/10 - 27/2. Sort -1/3, -5, 2/9, r in descending order.
2/9, -1/3, r, -5
Suppose -82*r - 57 = -85*r. Put r, -4, 3 in increasing order.
-4, 3, r
Let l = 57 - 56. Let g = 2 - 3. Sort g, 1/4, l in descending order.
l, 1/4, g
Let i be 1 + 0 - (1 - -2). Let a be 0 + i*3/18. Put -2, -0.2, a in ascending order.
-2, a, -0.2
Let i = 5.84 - -0.16. Let x = -8 + i. Let a = 7 + -4. Sort 4/5, a, x in decreasing order.
a, 4/5, x
Let u = 15/7 + -68/35. Let x = 0.04 - 3.04. Put x, -0.2, u in ascending order.
x, -0.2, u
Let d(j) = -j**2 + 8*j - 6. Let i be d(7). Let g(l) = l**3 - 5*l**2 - 5*l - 2. Let w be g(6). Sort i, 0, w in ascending order.
0, i, w
Let r be 2 + 5 - 124/16. Let k = 0.06 - 9.06. Put r, k, 0.3 in decreasing order.
0.3, r, k
Let n(p) = -p**2 - 5*p - 7. Let y be n(-3). Put -4, y, 2 in descending order.
2, y, -4
Suppose -3*v - 2 + 8 = 0. Let i(u) = u + 4. Let t be i(-4). Suppose -p = -4*y - 5, t*p = 3*p - 3. Sort y, v, 1 in decreasing order.
v, 1, y
Let r = 19/75 - -2/25. Let d = 27 - 30. Sort r, 4/3, d.
d, r, 4/3
Let i be (4/2)/((-4)/3). Let a = 19 - 36. Let o = -16 - a. Sort o, i, -0.3 in descending order.
o, -0.3, i
Let c = -0.031 + -4.969. Put 4/3, 0.1, 2, c in increasing order.
c, 0.1, 4/3, 2
Let a = 1396/55 + -126/5. Sort 1/2, a, -2, -3 in increasing order.
-3, -2, a, 1/2
Let h = -24/25 + 269/150. Sort -2, -1, -0.4, h in descending order.
h, -0.4, -1, -2
Let w = 14 - 12.6. Let d = -0.4 + w. Sort -0.06, d, -0.1 in increasing order.
-0.1, -0.06, d
Suppose 2*c = 7*c. Put 7, c, 2 in descending order.
7, 2, c
Suppose -2*o = -4*v - 10, -2*v + 3*v = -o - 10. Sort o, 2, 0 in descending order.
2, 0, o
Let t = 108 - 99.4. Let j = t + 0.4. Let d = j - 4. Sort d, -0.4, 2.
-0.4, 2, d
Suppose -13*a = -10*a - 12. Put 0, a, 1 in descending order.
a, 1, 0
Let l = 0.2 + -0.1. Let o = -2.7 + 0.7. Put o, l, -2/5 in decreasing order.
l, -2/5, o
Suppose -9 = 3*b - 0, -5*k - 4*b = -3. Suppose -4 = -k*p - 10. Put p, 0, 4 in ascending order.
p, 0, 4
Let f = -2 - -6. Let v be (-46)/14 + (-6)/(-21). Sort -5, v, f in descending order.
f, v, -5
Let t = 2 - 1. Suppose 39 + 31 = 7*s. Put 3, s, t in ascending order.
t, 3, s
Let l = 0.165 - -3.185. Let z = 0.15 - l. Let i = 0.2 + z. Put i, -5, 0.2 in ascending order.
-5, i, 0.2
Let c be (-2)/8 - 210/24. Let m = -11 - c. Let i be m/8*-6*2. Put -3, 5, i in descending order.
5, i, -3
Let f be (-2)/10 - (-4)/20. Let j = -4 - -7. Suppose 0 = -3*h - 9, 4*b - 3*h = -b + 14. Sort j, b, f in decreasing order.
j, b, f
Let s(x) = -x**2 - 4*x + 6. Let p be s(-5). Suppose 2*z - p = z. Let i be (2/1)/((-2)/2). Sort 0, i, z in increasing order.
i, 0, z
Suppose 2 = -j + 5. Let k = -0.7 + 4.7. Sort 2, j, k in increasing order.
2, j, k
Let o(u) = -3*u**2 - 14*u - 2. Let x be o(-4). Put x, 4, -4 in ascending order.
-4, 4, x
Let f be -1 + -2 + 117/42. Let h = f + -2/7. Let t = 5 - 9. Sort 2, t, h in decreasing order.
2, h, t
Let w = 0.6 + -5.6. Put 4/5, w, -4 in increasing order.
w, -4, 4/5
Let t be 14/(-21)*(-27)/6. Let l(v) = 2*v. Let j be l(2). Put j, -4, t in descending order.
j, t, -4
Suppose 0*d + 15 = 5*d. Let q = d + -5. Sort -1, 0.5, q.
q, -1, 0.5
Let y = 2 + -2. Let g = 44 - 48. Sort g, -2/13, y.
g, -2/13, y
Let y = 111 - 114. Sort 0, 7, 2, y in descending order.
7, 2, 0, y
Let k be 1/((-4)/(18 - -2)). Sort k, 2, 1 in increasing order.
k, 1, 2
Suppose 0*x + 20 = 4*x. Suppose -x*l = -0*l. Let t = 5 - 2. Sort -2/3, t, l in increasing order.
-2/3, l, t
Let s = -16 + 9. Put -1/4, -0.4, s in descending order.
-1/4, -0.4, s
Suppose 0 = 2*v - 7 - 1. Let k be 7/(-14) + 6/(-4). Sort v, 0, k.
k, 0, v
Let l = 4.6 + -5. Let q = l + 1.4. Let n = q - 0.6. Put n, 4, 2 in ascending order.
n, 2, 4
Let c = 3 - 2.8. Let v be 76/8 + 2/4. Let f be 2*3/((-12)/v). Put 2, f, c in decreasing order.
2, c, f
Let r = 36.6 - 37. Put r, -5, -1 in ascending order.
-5, -1, r
Let i be 24/(-5) - (0 + -5). Put -16, -5, i, 4 in ascending order.
-16, -5, i, 4
Suppose 0 = 2*s - 3*i + 3, 4*i - 3 = s + 6. Sort s, 0.3, -1/4.
-1/4, 0.3, s
Let t be 6*(2 - 20/12). Suppose 3*a + 20 = -t*a. Put -1, a, 4 in decreasing order.
4, -1, a
Suppose 2*b + 2*u = 5 - 23, 4*b - 4 = 4*u. Let s be 21/4 + 1/b. Suppose d - s = 6*d. Sort -2, -4, d in descending order.
d, -2, -4
Let f = -4.3 + 0.3. Let s = -2.3 + 17.3. Let q = -17 + s. Sort f, q, 4 in decreasing order.
4, q, f
Let r = -15 - -15. Suppose q - 16 = m + 2*m, r = -m - q - 4. Sort m, 5, 2 in decreasing order.
5, 2, m
Let q(t) be the first derivative of t**2/2 + 6*t + 8. Let r be q(-9). Sort 1, -5, r in descending order.
1, r, -5
Let v be -2 - 1 - 6/(-2). Suppose 0*t - 4 = 2*t. Suppose -2*q + 2*o + 4 = 0, 6*q - 4*q = 5*o + 4. Sort v, t, q in ascending order.
t, v, q
Suppose -2*q + 4*u = q + 27, -5*u = 5*q + 10. Let z = -11 - q. Let a be z*(-5)/((-45)/(-6)). Sort a, 3, -3 in ascending order.
-3, 3, a
Let f = -136/3 - -45. Let c = f + 1. Put c, -3, 0.3 in descending order.
c, 0.3, -3
Let n = 17/21 + -1/7. Let y = 3 + -1.9. Let p = y - 5.1. Put -4/5, p, n in descending order.
n, -4/5, p
Let c = 0 + -0.5. Let z = -91 - -92. Sort c, -4, z.
-4, c, z
Suppose 2*i - 5*g - 3 = 0, 5 = 4*g + 1. Suppose 0 = -343*m + 344*m + 6. Put m, 0, i in decreasing order.
i, 0, m
Suppose 32*b = 30*b - 10. Suppose -3*w - 5*h + 1 = -16, w = 3*h + 1. Sort b, w, -2 in decreasing order.
w, -2, b
Let k be 26/20 + (-5 - (-42)/10). Suppose 0*x = -x. Sort x, k, 4 in decreasing order.
4, k, x
Let i = 45.6 + -46. Sort -15, 0, i, -0.1 in decreasing order.
0, -0.1, i, -15
Let v be 38/14 - 4/(-14). Suppose s + 3*q = v*s - 7, s - 6 = -q. Sort 0.5, s, 0.4 in increasing order.
0.4, 0.5, s
Suppose 3*k + 3*i = 8*k - 32, k - 12 = 2*i. Put -2, -12, -1, k in increasing order.
-12, -2, -1, k
Let k be (-1 - 0)*(-2)/(-8). Let c = -1.9253 + -0.0747. Put c, k, -2/3 in descending order.
k, -2/3, c
Let m(n) = n - 11. Let p be m(9). Let c(r) = -r - 6. Let a be c(0). Sort p, a, 5.
a, p, 5
Let p be (-16)/(-12)*(-6)/4. Let k be 1 + -5*(p + 3). Put 2, -1, k in decreasing order.
2, -1, k
Let c = 9 + -10. Put c, -5, 3 in decreasing order.
3, c, -5
Let s = 18 - 15. Sort 5, -3, s in decreasing order.
5, s, -3
Let t = -14 + 12. Sort -4, t, -3 in decreasing order.
t, -3, -4
Suppose -4*j - 43 - 133 = 0. Let c be (-4 - -8)*2/j. Sort 5, -5, c in descending order.
5, c, -5
Suppose -10 = -0*t - 2*t. Let a(b) = b**2 + 3*b + 1. Let h be a(-1). Sort t, h, -3.
-3, h, t
Let v(y) = 2*y - 15. Let g be v(8). Sort 5, g, 3 in decreasing order.
5, 3, g
Let u = -2.4 - -3.4. Let i = -10 + 6. Put u, -0.2, i in increasing order.
i, -0.2, u
Suppose -4*t + 12 = -0*t. Suppose -4*x - 3*m = -14, 0*m = 2*m - 4. Suppose 3*d - 2*r - 3*r + 11 = 0, 4*d = 2*r - 10. Put d, t, x in increasing order.
d, x, t
Let u = 0.03 - -0.06. Let k = 1.09 - u. Put 0.4, k, 2 in decreasing order.
2, k, 0.4
Let u = -7 + 10. Let t = -41/5 - -8. Sort t, u, 2 in ascending order.
t, 2, u
Let k(i) = i**2 - 2*i - 27. Let g be k(-4). Put -8, g, 5, 1 in descending order.
5, 1, g, -8
Suppose 0 = 11*u - 19*u + 16. Put 3, u, 7 in decreasing order.
7, 3, u
Let b be 10/(-24) - (-1)/(-4). Put -2, -10/9, 0.3, b in descending order.
0.3, b, -10/9, -2
Let p = -0.019 + 6.019. Sort p, 0.4, 2/7, -0.1 in decreasing order.
p, 0.4, 2/7, -0.1
Suppose -3*a - 35 = 2*a. Let t = a + 13. Let n be (1 + 0)/((-2)/t). Put n, 0, 2 in descending order.
2, 0, n
Suppose -5*m + 12 = 2*z, 0 = 6*m - 5*m + 4*z - 6. Let c be 6/(-2) + -1 + m. Put -4, c, -1 in descending order.
-1, c, -4
Let k be 3*(-2 - -3) - -2. Suppose 3*q = -2*q + 4*i + 15, 3*i + 13 = 2*q. Let a be q/5 + 21/5. Sort 0, a, k in descending order.
k,