 in descending order.
d, x, -3
Suppose 0*r + 30 = 5*r. Suppose 0 = r*y - y - 3*b - 22, 0 = 4*y + 2*b. Sort y, -8, 1 in descending order.
y, 1, -8
Suppose x + 2*h = -0*h - 15, 0 = -h - 5. Let v = x - 0. Put v, 1, 2 in ascending order.
v, 1, 2
Suppose 0 = 6*t - 48 + 54. Sort -5, 2, t in decreasing order.
2, t, -5
Suppose -25 = -10*a + 15. Sort 0, a, 3 in descending order.
a, 3, 0
Let h be (-27)/(-6) - 2/(-4). Let z(p) be the first derivative of -p**4/4 + 2*p**3/3 + p**2/2 + 4*p + 7. Let w be z(3). Put -1/2, h, w in ascending order.
w, -1/2, h
Suppose 0 = -0*h - h + 18. Let y = h - 13. Suppose -2*m + y = -1. Put 4, -4, m in descending order.
4, m, -4
Let i be ((-1)/2)/((-2)/(-4)). Let l be 7 - 1/(1/7). Put i, l, 11 in descending order.
11, l, i
Let c = 0.8 + 0.2. Suppose 0 = 2*p - 3*p + 2. Let r = p + 2. Put -4, c, r in decreasing order.
r, c, -4
Let m(t) = -t**3 + 5*t**2 + 7*t - 1. Let p be m(6). Suppose -j = -2*o - 15, -5*j = o - p*o - 45. Sort 3, j, -1.
-1, 3, j
Let v = 8 + -5. Let q = v + -1. Sort q, 5, 0.1.
0.1, q, 5
Let x = -9 + 3. Let b = -246.4 - -246. Sort -4, b, x in ascending order.
x, -4, b
Suppose 12 = 3*b - 3*a, -b + 4 = -2*a - 5. Let v be 0/((-1)/(2/2)). Let x be ((-2)/(-4) + b)*v. Put -1, x, -4 in decreasing order.
x, -1, -4
Suppose -16*x - 1 = 63. Let z(d) be the second derivative of -d**5/20 - d**4/3 - d**3/6 + d**2/2 + d. Let c be z(-3). Sort c, 3, x in decreasing order.
3, x, c
Let a = 8 - -2. Let t = a - 19. Sort -3, t, -2/13 in descending order.
-2/13, -3, t
Suppose -3*c = -0*c - c. Suppose 4*f = -2*w + 6, 3*f + w = -2*f. Put f, c, -5 in decreasing order.
c, f, -5
Suppose -m + 2 = -2. Let f = 6 - m. Let c = f + 3. Sort -4, -2, c.
-4, -2, c
Suppose d - 5 = 16. Suppose -5*z - 57 = 2*r - d, 0 = -z - 3*r - 2. Let t be z/12*(-15)/2. Sort 1, t, -1.
-1, 1, t
Let y = -7.8 - -8. Let j = -0.7 + y. Sort j, -2, 0 in increasing order.
-2, j, 0
Suppose -179 = 7*r + 31. Let g = -30 - r. Sort -5, g, 3 in ascending order.
-5, g, 3
Suppose 4*n + 83 = -5*g, -n - 12 = -0*n + 3*g. Let a be 6/n - (2 - 2). Let f = -3 - -1. Sort f, 0.5, a in descending order.
0.5, a, f
Suppose 0 = 4*f - 3 + 15. Let b(p) = -6*p + 106. Let h be b(18). Put 2, f, h in decreasing order.
2, h, f
Let r = 128 - 133. Put r, 1/3, -2/11 in decreasing order.
1/3, -2/11, r
Suppose 6*m - 2*m = 0. Suppose m = -8*t + 6*t. Sort 5, 3, t in decreasing order.
5, 3, t
Let d = -7 - -7.4. Let y = 6.4 - d. Let x = y + -2. Sort -2/3, x, -4 in ascending order.
-4, -2/3, x
Let t = -11.1 + 11. Let a = -0.1 + 1.1. Let r = -0.6 + a. Put 0, r, t in ascending order.
t, 0, r
Let c = -0.33 + 4.33. Put c, 0.11, -4 in descending order.
c, 0.11, -4
Let m = -0.01 + 1.01. Let r = 0 + 1. Let j = r - 1.3. Sort m, 4, j in ascending order.
j, m, 4
Let l(x) = x**3 - 2*x**2 + 2*x - 2. Let k be l(2). Let z(d) = -d**2 + d**3 + 0 - k - 3*d**3 - d + d**3. Let r be z(0). Sort 0, 2, r in ascending order.
r, 0, 2
Let p be (-11)/(-9) + -1 - 91/(-117). Let t = 11 + -12. Put -13, p, t in descending order.
p, t, -13
Let i = 32/85 + -3/17. Put 2, 1/4, i, -1 in descending order.
2, 1/4, i, -1
Let h be (10/(-12) - -1)/(2/6). Let a = -4.5 + -0.5. Suppose 5 = 5*r - 5*i - 0, -4*r - 5*i - 23 = 0. Put a, h, r in ascending order.
a, r, h
Let z be 2*1/(-2) - -2. Let d be ((-35)/(-2))/(-7)*z. Let c = -114 + 572/5. Put -1/5, c, d in decreasing order.
c, -1/5, d
Suppose 2*s = -s. Suppose -p = 0, s*p - 4*p = 5*i. Sort -2, 4, i in descending order.
4, i, -2
Suppose -7*h - 3*x - 2 = -8*h, 0 = 2*h - 5*x - 5. Put -5, 2, -4, h in descending order.
h, 2, -4, -5
Suppose v = -4*r + 2, 3*v - r = 3*r - 58. Put -3, 1, v in increasing order.
v, -3, 1
Suppose -12 = 3*g, -2*l + 2*g - 10 = 6*g. Let p = 298 - 294. Put 2, l, p in descending order.
p, l, 2
Let y = 1 + -5. Let i(x) = -x**2 - 4*x + 1. Let h be i(-4). Put y, 3, h in descending order.
3, h, y
Let b = 280 + -6442/23. Put -2, -5, b in decreasing order.
b, -2, -5
Let d = 15 + -27. Let g be (3/d)/(6/4). Let u be ((-8)/(-110))/(6/15). Put g, u, -9 in descending order.
u, g, -9
Let z = 8 - 3. Let w = z + -2. Let y(n) = -n**3 - 6*n**2 - 5*n + 5. Let x be y(-5). Put w, 0, x in ascending order.
0, w, x
Let r(u) = u**3 + u**2 + u + 1. Let t be r(0). Suppose -3*f + 8*f = 20. Sort f, t, -4 in descending order.
f, t, -4
Let f be 1*(-4)/(-4)*-1. Sort 5, f, 3/8, -0.1.
f, -0.1, 3/8, 5
Let u be 4/(-6) + (-8)/6. Suppose -3*l = -l. Suppose -y = l, 0 = -2*k + 5*k + 5*y. Put u, k, -1 in increasing order.
u, -1, k
Let p be 4*(-3)/(4 - 1). Put -2, p, 15 in ascending order.
p, -2, 15
Let r = -0.61 + 0.71. Put r, -4, -0.3 in decreasing order.
r, -0.3, -4
Let x = -0.1 - 1.1. Let h = x + 4.2. Put -3, -0.4, h in decreasing order.
h, -0.4, -3
Suppose 57 = -p + 4*p. Suppose 4*n - p = 3*o, 15 = 8*n - 3*n + 5*o. Let f(k) = -k**2 + 11*k - 13. Let w be f(9). Put n, w, -4 in descending order.
w, n, -4
Let r = 22 - 45/2. Sort r, -3, -1/4, 3 in descending order.
3, -1/4, r, -3
Let z = 2.39 + -0.19. Let f = -2 + z. Sort 0.1, f, 1 in increasing order.
0.1, f, 1
Suppose 0*b = -2*b + 2. Suppose 0 - b = -o. Suppose 3*m = 5*i + 20, 2*i - 4*m = -0*m - 8. Put o, i, -2 in descending order.
o, -2, i
Suppose 0 = 5*m - 2*r - 35, 0*m - 40 = -5*m + 3*r. Sort m, -0.13, 3 in descending order.
m, 3, -0.13
Let q be 1*2/(-2)*-6. Suppose z + 2*z - q = 0. Suppose -z*k = 3*h + 12 + 1, 3*h - 3*k + 3 = 0. Put h, 1, 5 in increasing order.
h, 1, 5
Let q = -1 + 0.6. Let j = 1 - 0.9. Let u = q - j. Sort -4/3, 0.4, u in descending order.
0.4, u, -4/3
Suppose 0 = -0*k - k + 3. Let d = -4.46 + 4.76. Put d, k, 2/21 in ascending order.
2/21, d, k
Suppose w = -c - 2, -c + 2*c - 1 = -4*w. Sort 7, c, 2 in increasing order.
c, 2, 7
Let g = 5 + -5.2. Sort g, 5, -5 in decreasing order.
5, g, -5
Let d be 1 + -7 - (-6)/3. Suppose -4*w - 5 = -t, 3*t + 5 = -5*w + 7*w. Put w, d, 3 in increasing order.
d, w, 3
Let p(s) = -s + 8. Suppose -k + 4*z + 8 - 17 = 0, -4*k = 5*z - 48. Let i be p(k). Let c = 0.1 - -0.1. Sort i, -2/3, c in descending order.
i, c, -2/3
Suppose 0 = -7*w - 18*w - 75. Put 4, 5, w, -0.4 in increasing order.
w, -0.4, 4, 5
Let o(b) = b**3 - 9*b**2 - 1. Let g be o(9). Let t be -1*(2 - g)*-1. Put 5, 2, t in ascending order.
2, t, 5
Suppose 2*c = -4*c + 5*c. Sort 6, c, 5 in decreasing order.
6, 5, c
Let a = 2 + -6. Sort -2/7, 0, a.
a, -2/7, 0
Let r(h) = -2*h + 5. Let b be r(5). Put b, 4, 1 in decreasing order.
4, 1, b
Let g = -0.65 - 0.35. Let o be -1 + (-1 - -1) + 2. Sort g, -1/3, o in decreasing order.
o, -1/3, g
Let x = 9 + -7. Suppose -x*g + 3*g + 4*p = -12, 0 = -g + 4*p + 12. Sort g, 3, -3 in descending order.
3, g, -3
Let w(y) = y**2 + 4*y - 3. Let t be w(-5). Suppose -3*q - 11 = -t*q + 5*k, 0 = 3*q - 5*k - 27. Sort -5, q, -2 in descending order.
q, -2, -5
Suppose 0 = -x + 5*p + 2, -2*p = -2*x + p - 3. Let b = -8 - -10. Let h be (-28)/(-7)*1/b. Sort -2, h, x.
x, -2, h
Let f = 14 + -10. Suppose -1 = 3*d - 10. Sort f, d, 0 in increasing order.
0, d, f
Suppose -2*y = -10 + 2. Suppose -y*g - p = 35, -4*p = 4*g - g + 36. Let a = -11 - g. Sort 5, -4, a in increasing order.
-4, a, 5
Let x be 47/9 - (-4)/(-18). Suppose 2*o + 3*s = -0*s + 3, -5*o - 3*s = 15. Let i = 3 + o. Sort -2, i, x.
i, -2, x
Let a = 3 - 12. Sort -3, 2, a in decreasing order.
2, -3, a
Suppose -4*r + 20 = 3*w, -w - 5*r = -r - 20. Suppose 5*z - 12 = z. Let d be 0/(4/2) + 5. Put d, w, z in decreasing order.
d, z, w
Suppose -4 = -2*c - 10. Sort 1, -1, c, -5 in descending order.
1, -1, c, -5
Suppose -3 = -4*z - 19. Let p(m) = -3*m**2 + 19*m - 17. Let h(k) = k**2 - 9*k + 8. Let v(o) = -5*h(o) - 2*p(o). Let x be v(-8). Put x, z, 4 in descending order.
4, x, z
Let m(y) = y - 1. Let q be m(5). Suppose 0 = q*f - 5 + 1. Sort -4, f, 5.
-4, f, 5
Let m = 0.01 + -0.01. Sort -5, m, -5/2 in descending order.
m, -5/2, -5
Let p(v) = -9*v**2 + 1. Suppose 0 = -j - 3*j - 4. Let r be p(j). Let n be 2/r - (-4)/(-4). Sort 0.1, n, 5/4 in increasing order.
n, 0.1, 5/4
Let n = 0.02 + -1.02. Sort n, -5, 5 in descending order.
5, n, -5
Let v(m) = -4*m + 7. Let z be v(3). Sort -2, 2, 3, z in descending order.
3, 2, -2, z
Suppose -2 = 2*t + 4*m, 0*t - 2*t + 3*m + 19 = 0. Suppose 8*u - t = 9*u. Sort u, -4, -1 in decreasing order.
-1, -4, u
Let f = -6.8 - -7. Let y = f - -0.3. Let r = 1.1 - 5.1. Sort y, r, -1/4 in de