 x = -3.43 - -4.13. Sort 1/4, o, x in descending order.
x, 1/4, o
Let n = -531 + 531.1. Sort -3/7, n, 1, -1 in decreasing order.
1, n, -3/7, -1
Suppose -4*q + 100 = -2*q. Let v = 35 - q. Let p be 27/v - 2*-1. Sort 4, p, -1 in descending order.
4, p, -1
Let h be (-10)/1*16/32. Sort h, -3, 2.
h, -3, 2
Suppose 0 = -3*y + 5*y. Suppose -3*n + y*n = 9, 2*l - 2*n - 14 = 0. Suppose -9*s + l*s = 25. Put -2, 5, s in descending order.
5, -2, s
Let r = -0.21 + -0.29. Put -2, 1, 13, r in decreasing order.
13, 1, r, -2
Suppose 6*i - 278 = -248. Put i, 17, -4 in ascending order.
-4, i, 17
Let l = -2093 + 2095. Let d = -0.44 - -0.04. Sort 0.2, l, 2/11, d in decreasing order.
l, 0.2, 2/11, d
Suppose 5*v + 30 = -s, 0*s - 3*s - 20 = v. Suppose 7*g - 2*y = 4*g + 7, -g + 3*y = -14. Put g, 3, v in increasing order.
v, g, 3
Let f = -59.21 + -16.79. Put -0.06, 1, f in descending order.
1, -0.06, f
Let q = -4.4 - -4.2. Sort -0.5, q, -2, -1 in decreasing order.
q, -0.5, -1, -2
Suppose 0 = -h - 4*j - 28, h = 6*h + j + 83. Let k = -16 - h. Suppose -x = -3*w - 1 - 9, -w + 4*x + 4 = 0. Sort k, 3, w in decreasing order.
3, k, w
Suppose -2*x + 0*l = 4*l + 12, 4*x - 15 = 5*l. Suppose -2*h - 5 = o, x = -4*o - h - 2*h - 15. Let i = -7 - -21. Sort i, o, 3.
o, 3, i
Let u = -1.4 + -1.6. Put u, 0.049, -0.4 in ascending order.
u, -0.4, 0.049
Let v = -11260 + 11255. Let l(r) = -5*r + 6. Let y be l(5). Sort -2, y, v.
y, v, -2
Let l = 588 + -593. Sort l, 1, -117.
-117, l, 1
Suppose -26*v + 184*v = -474. Let i = -1 + 11. Suppose 3*c = 8*c - i. Put c, v, 3 in ascending order.
v, c, 3
Let n = -244 - -246. Put 4, n, -0.6 in decreasing order.
4, n, -0.6
Let o(m) = 20 + 3*m**2 + 0*m**2 + 17*m - m**2 - 3*m**2. Let a be o(18). Let d(z) = z + 3. Let v be d(0). Sort -14, a, v.
-14, a, v
Suppose -m - 14 = -18, 3*m = 3*o + 6. Sort o, -2, 3, -4 in descending order.
3, o, -2, -4
Let p be 1 + 5 - (3 + (2 - -3)). Sort p, -1, -5/2, 0.1 in increasing order.
-5/2, p, -1, 0.1
Let z be (-20)/30*(22 + -1). Suppose -3*w - 2 = -2*r - 7*w, 4*r - 4 = -2*w. Sort r, z, 5 in decreasing order.
5, r, z
Let j = 684 - 681. Put -1, 0.21, j in decreasing order.
j, 0.21, -1
Let o be -1*5*33/(-55). Let a be 4/o*(-12)/(-56). Put 5, -5, a, 3 in ascending order.
-5, a, 3, 5
Let b be (-1)/24 + 21/(-252). Put -0.5, b, 0.1, 2/11 in decreasing order.
2/11, 0.1, b, -0.5
Suppose -2*q + a = -7, -q = 3*q + a - 11. Sort -5, -39, q in ascending order.
-39, -5, q
Let a(y) = -5*y**3 - y**2 - y - 1. Let t be a(-1). Let v = -245 + 250. Put t, 0, v, 7 in increasing order.
0, t, v, 7
Suppose -2*v = v - 2*p - 20, -p + 8 = 3*v. Let u = 15 - v. Suppose -6*b = -35 + u. Sort -3, b, -5 in ascending order.
-5, -3, b
Let u = 1840.9 + -1841. Let x be 4/33*(-3)/2. Sort 1.4, u, x in descending order.
1.4, u, x
Let p(k) = 6*k + 39. Let v be p(-12). Let d = v + 38. Sort 8, d, 1 in increasing order.
1, d, 8
Let i = -60.6 - -18.1. Let n = i - -43. Sort -3, 5, n.
-3, n, 5
Suppose -r - 10 = -2*s - 2*r, 5*r = 10. Suppose 0 = s*t + g + 7, -g + 1 - 5 = 3*t. Sort 14, -0.3, t in ascending order.
t, -0.3, 14
Let j = -0.2 + 2.4. Let r = 2 - j. Let l = -3700 + 3700.2. Sort l, -4, r in descending order.
l, r, -4
Let m(u) = 3*u - 31. Let x be m(9). Let o(g) = g**3 - g**2 - 4*g + 3. Let a be o(2). Suppose 4 - 1 = 3*f. Sort a, x, f in ascending order.
x, a, f
Let x = 68 + -72. Let z be 10/(-3)*(1 - 4). Let n be 1/(3 - z/4). Sort x, -5, n.
-5, x, n
Suppose 2*m + 5 = -5. Let p(y) = y**3 - 6*y**2 + 10*y - 3. Let u be p(2). Sort m, u, -1, 4 in descending order.
4, u, -1, m
Let u = -135 - -809/6. Let x = 12 + -13. Let o be ((-9)/54)/(x/(-5)). Sort o, u, 2/11 in decreasing order.
2/11, u, o
Let i be (-1 + 15/7)*7. Let h be (-4)/2 + 10 + i. Let l be 78/h + (-9)/(-72). Put -2, l, 3 in increasing order.
-2, 3, l
Suppose 3*a + 3 = -2*o, 0*a = a + 1. Let z(m) = -m**3 - 13. Let n be z(0). Let q be (n - -9)*(-2)/(-4). Put o, q, 1 in descending order.
1, o, q
Let t = 36 - 35. Suppose 8*r - 5*r = -3. Put t, -2, r, 5 in descending order.
5, t, r, -2
Let l be ((-1)/2)/(4/192). Let s be ((-3)/(-14))/((-3)/l*4). Let y = -0.7 - 2.3. Put 5, s, y in decreasing order.
5, s, y
Let v be 396/108 + -1*(0 - -3). Put v, -2/17, 9 in descending order.
9, v, -2/17
Let u = -345.06 - -345. Sort 0.3, u, -0.5 in ascending order.
-0.5, u, 0.3
Let w(d) = -3*d - 27. Let u be w(0). Let q = 24 + u. Sort 2, -5, q, 5 in ascending order.
-5, q, 2, 5
Suppose 4*o = 4*s - 141 - 155, 3*s - 143 = 2*o. Let d = -52 - o. Suppose -d = 5*r - 2*a, -3*a = -2*r - 0*a - 13. Put -3, -4, r in descending order.
-3, -4, r
Suppose 2*b + 2 = -8. Suppose 4*g + 3*j = 12, -4*g + 3*g = -j - 3. Suppose 0 = 2*s + 2, -19 = -2*i + 7*i + 4*s. Sort i, g, b in decreasing order.
g, i, b
Let h be (-4)/6*(-6)/8. Suppose 2*v = -v - 6. Let z be ((-39)/(-78))/((-35)/(-28)). Sort v, h, z in decreasing order.
h, z, v
Suppose 67*c + 15390 = 37*c. Sort 5, -2, c in descending order.
5, -2, c
Let r = 0.3 + -0.1. Let t = 28.01 - 31.01. Let w be (-4)/27*3/2. Sort w, r, t.
t, w, r
Let m = 459/10 + -46. Put m, -0.3, -4, 4 in descending order.
4, m, -0.3, -4
Let s be (-14)/28*(-1 + -7). Let r be (-4)/12 - 32/(-6). Put r, -2, s in increasing order.
-2, s, r
Let w(s) = s**2 - s. Let r be w(2). Suppose -7*b + 1021 = 944. Sort r, b, 1/4.
1/4, r, b
Suppose -2*m + 8 = 2*v, -3*m = v - 8 - 0. Suppose v - 11 = -3*w. Let a = 0 - -2. Sort -4, a, w in decreasing order.
w, a, -4
Let g = -0.2 + 1.2. Let j = -1.1 + g. Let o = 3.9 - 3.6. Put o, j, -5 in descending order.
o, j, -5
Let p = 5 + -10. Let w(v) be the first derivative of v**4/4 + 2*v**3 + 2*v**2 - 4. Let n be w(-5). Sort n, -3, p in descending order.
n, -3, p
Suppose -2*v = 3*p + 20, -5*v - p - 10 = 66. Sort -10, -2, v in decreasing order.
-2, -10, v
Let y = 6 - 5. Let k(l) = -2*l + 4 - 4*l + y + 5*l. Let j be k(6). Put 3, 2, j in descending order.
3, 2, j
Suppose 5*q - 62 = 3*z, -5*q - 39 = 3*z - 77. Let g(j) = -j**3 - 4*j**2 - 4*j - 4. Let r be g(-3). Sort q, -2, r, -4.
-4, -2, r, q
Let f be (((-1)/(-2))/(-1))/(5/(-50)). Sort f, 0.4, -2/61.
-2/61, 0.4, f
Let w = -39 - -42. Suppose 0 = -b + o + 2, -2*b - 3*o + 1 - 2 = 0. Sort 4, b, w in decreasing order.
4, w, b
Let o = 7 + -7. Suppose 209*c = 205*c - 16. Suppose -1 = -3*t - 7. Sort t, c, o in increasing order.
c, t, o
Let c be 8/6 + 84/(-8) + 9. Sort 1, -1/4, c, 10.
-1/4, c, 1, 10
Let p = 151.6 - 152. Suppose 0 = -4*c - 5*y + 3*y - 12, y = -5*c - 21. Sort 5, p, c.
c, p, 5
Suppose -4*p = -k + 24, 36*k - 25 = 31*k + p. Sort 12, k, 0, -13.
-13, 0, k, 12
Let y = 229 - 254. Sort y, -1, -3, 0 in descending order.
0, -1, -3, y
Let h = 0.1547 - 222.1547. Sort -0.5, -1, h in descending order.
-0.5, -1, h
Suppose -9 = -x + 3*v, v + 1 + 2 = -2*x. Suppose 0 = 4*c + 4*a, -5*a + 0*a = -2*c + 14. Suppose -4 - 8 = -3*r + 3*n, 2*r + 3*n + c = x. Sort r, 4, 7.
r, 4, 7
Suppose -2*d = -3*f - 17, 2*d - 3*d - 2 = 0. Put -3, 1, 5, f in ascending order.
f, -3, 1, 5
Let y be 0/2*14/(-14). Let o(n) = -n**2 + 5*n + 5. Let m be o(6). Put y, m, 4 in ascending order.
m, y, 4
Let h(g) = 8*g - 110. Let c be h(13). Sort -4, -2, c, -5 in increasing order.
c, -5, -4, -2
Let g = 21 - -1. Let a = g + -109/5. Let s = -4 + 7. Sort a, s, 2/3 in descending order.
s, 2/3, a
Let p = 2/187 - 392/1683. Put -9, p, 3, -5 in descending order.
3, p, -5, -9
Suppose 4*h + 7*x - 5*x - 10 = 0, -3*h + 2*x + 4 = 0. Suppose 5*l - 4*s + 6 = -s, 4*s = 4*l + 8. Suppose l = 4*b - b + 15. Sort h, b, 0 in descending order.
h, 0, b
Suppose 0*s = 5*s - 25, -5*d - 4*s + 80 = 0. Let h = -16 + d. Let n = -1691/7 - -241. Put n, h, -5/2 in descending order.
n, -5/2, h
Suppose -i + 6*i = 5. Let b = -3 + i. Let t(v) = v**3 - 3*v + 2. Let j be t(2). Put j, 1, b in descending order.
j, 1, b
Suppose 11*v - 8*v + 2*p - 19 = 0, -2*v - p = -11. Suppose 4*d - w - 15 = 0, 4*w = 5*d - d - 24. Suppose 4*s + 3*x = 0, -25 = d*s - 3*x - x. Sort v, s, -2.
s, -2, v
Let h = 8 - 19. Let r = h - -11.4. Suppose 3 = 2*a - 5*a, 5*a = -3*c - 8. Sort c, -4, r in decreasing order.
r, c, -4
Let i = 90 + -95. Let k = 4 + 3. Put k, i, -3 in decreasing order.
k, -3, i
Let c(w) = -w**2 - 5*w - 5. Let h be c(-2). Let l be (h/2)/((-184)/(-96) + -2). Suppose 5*q - 6 = -4*g, 2*q - g + 2*g - 3 = 0. Put l, -4, q in descending order.
q, -4, l
Let w be 34/30 - (-