1 + -2. Put d, c, 0 in descending order.
c, 0, d
Let u(v) = v**2 + v + 1. Let l be u(2). Suppose l = -3*n + 19. Suppose 0 = 5*c + t - 11, -2*c = 5*t + 9 - 18. Put n, c, 0 in descending order.
n, c, 0
Suppose 0 = f + 3*o + 13, 2*f - 47*o - 10 = -44*o. Suppose s - 12 = 5*i, 4*i - 2 = -s - 4*s. Sort f, s, 5 in descending order.
5, s, f
Let x = -1.48 - 0.42. Let r = 2 + x. Sort 4, r, -0.5 in decreasing order.
4, r, -0.5
Let h(w) = 3*w - 8. Let o be h(7). Sort o, 1, -4.
-4, 1, o
Let m be (-2)/(-1) + -1 + -3. Let r = -7 - -3. Sort m, 0, r.
r, m, 0
Let i(u) = u**3 - 2*u**2 - 6*u + 4. Let p be i(4). Suppose -4*b = -2*b - p. Suppose -m = 2*k - 3, -m + b + 1 = -2*k. Sort 2/7, -2/3, k in increasing order.
k, -2/3, 2/7
Suppose -4 = -2*u + 2. Suppose -37 = 3*y - 4*c, -c + 3 + 1 = 0. Let a = -11 - y. Sort a, u, -5 in increasing order.
-5, a, u
Let y = -49/22 - -30/11. Sort -5, 3/8, y.
-5, 3/8, y
Let x be (52/16 - 3) + 38/(-24). Let c = -0.04 + 0.64. Sort x, c, -2 in decreasing order.
c, x, -2
Let m = 13 - 9. Suppose a = w - 6, 0 = w + w - 5*a - 15. Let r(q) = q**2 - 6*q + 4. Let f be r(4). Sort m, f, w in descending order.
w, m, f
Let j be ((-7)/(-21))/(2/(-18)). Sort -5, 2/7, j, -1/7 in descending order.
2/7, -1/7, j, -5
Let w be (1/2)/1*(-7 + 33). Sort w, 1, 2, -2.
-2, 1, 2, w
Let w = 17 + -17. Put 1, 5, w, 3 in decreasing order.
5, 3, 1, w
Suppose 5*i - 4*g = -g - 7, 0 = 3*g + 3. Let t(m) = -m**3 + m**2 + m + 2. Let a be t(2). Suppose a = o - 4. Put o, i, -4 in decreasing order.
o, i, -4
Let d = -18 + 17.7. Sort d, 0.1, 4/5 in ascending order.
d, 0.1, 4/5
Let g = -17.4 - -17. Sort 2, 2/11, g.
g, 2/11, 2
Let f = -0.6 + 0.3. Let y = 0.1 + f. Let t be (-10)/15*15/2. Sort 5, t, y in ascending order.
t, y, 5
Let x(i) be the first derivative of 2*i**2 + 3*i - 2. Let k be x(-2). Put 0, k, 3 in increasing order.
k, 0, 3
Let a be 1/2*(-5 - -1). Let g(x) = 4*x**2 + 3*x - 2. Let j(b) = b**2 + b. Let k(n) = g(n) - 5*j(n). Let v be k(-3). Put a, v, -4 in decreasing order.
a, -4, v
Let s(z) = 3*z**2 - 2 - z**3 - 6*z + 2*z + 4*z**2 - 2*z**2. Let j be s(4). Sort 0.2, -1/5, j in decreasing order.
0.2, -1/5, j
Let n = 91 - 96. Let x = 1 - 2. Sort n, -4, x in decreasing order.
x, -4, n
Suppose -3*k = 1 + 2. Let t(w) = -w**3 - 8*w**2 - 6*w - 2. Let i be t(-6). Let q be (-1)/k*(-4)/i. Sort q, 0, -0.3 in increasing order.
-0.3, 0, q
Suppose 0 = 4*i + 5 + 11. Let y be 3/(-2)*(-2 + 0). Sort y, 0, i in descending order.
y, 0, i
Suppose 3*p = -2 + 8. Suppose 2 = -3*g + 5. Put p, 5, g in descending order.
5, p, g
Let a = 13 - 18. Sort 4, -6, a in ascending order.
-6, a, 4
Let m = -11 + 16. Let h = m - 9. Sort 3, h, -3 in descending order.
3, -3, h
Suppose -9*p = -10 - 8. Let m = 9 - 4. Sort p, -1, m in decreasing order.
m, p, -1
Suppose 3*n + 15 = -2*n. Let k be 1*-1 + (-1)/n. Let t = 4.27 - -0.73. Sort k, t, 0.2 in increasing order.
k, 0.2, t
Let p = 825/8 + -103. Let q = -2 - -3. Let d = 37 + -37. Put p, q, d in descending order.
q, p, d
Let o be (-48)/(-23) - (-8 + 10). Sort -1, o, 2/3.
-1, o, 2/3
Let i be (-18)/(-4)*(-12)/(-9). Let j = i + -2. Sort j, 1/4, 0 in ascending order.
0, 1/4, j
Let o = -14.2 - -1.2. Let y = 18.8 + o. Let m = -0.8 + y. Sort m, -4, 5/4 in decreasing order.
m, 5/4, -4
Let l = -0.24 + 0.17. Sort l, -4, 5 in increasing order.
-4, l, 5
Let n = -7 - -2. Let l(h) = -h**3 - 6*h**2 + 8*h + 9. Let d be l(-7). Sort d, n, -3 in descending order.
d, -3, n
Suppose -2*q = -2*j, 2*q - 5*q - 2*j = -20. Suppose 4 = q*i - 4. Let y be -7 + (0/(-2) - -2). Sort y, -3, i.
y, -3, i
Let i = -13 + 9. Let l = i - -4. Let n = 0 - l. Sort n, 0.5, 2/3.
n, 0.5, 2/3
Let y = 0.13 - -0.07. Let j(p) = 5*p**3 - p. Let h be (1/(-3))/((-3)/(-9)). Let r be j(h). Sort r, y, 2/13 in decreasing order.
y, 2/13, r
Let p(s) = s + 2. Let g be p(0). Suppose 3*n = -2*b + 3, 3*b - g*n - 9 = 2. Let h = b - 3. Sort -3, -2, h in decreasing order.
h, -2, -3
Let x = -3 - -1. Let s = x - -3. Suppose 3*r = -2*v - 1, 0 = -2*r - 0*v - 2*v. Sort s, -0.4, r in increasing order.
r, -0.4, s
Let o = -8 + 12. Sort -1, o, 3 in increasing order.
-1, 3, o
Suppose -2*k - 4 - 3 = -3*a, 3*a - 3*k = 9. Sort a, -4, -3.
-4, -3, a
Let y = -36 - -40. Put 2, 2/7, y, 2/5 in ascending order.
2/7, 2/5, 2, y
Let j be (-27)/6*8/12. Let u = 15 + -11. Let v be (-2)/((-2)/3) + -1. Sort u, v, j in descending order.
u, v, j
Suppose 0*v - 2*v - 10 = 0. Sort 5, 10, v, -1 in increasing order.
v, -1, 5, 10
Let b = -1 + 0. Let p = 2/53 + -59/159. Let k = -0.8 + 0.5. Sort k, p, b in decreasing order.
k, p, b
Let l be -3 + (-3)/(0 + -3). Put 2, -5, l in increasing order.
-5, l, 2
Let n = 1 + -5. Put -0.4, n, 0.4 in decreasing order.
0.4, -0.4, n
Let r = 2/45 - -127/180. Put -3/4, r, -3 in decreasing order.
r, -3/4, -3
Let x = 0.06 - 6.06. Let l = 5.9 + x. Suppose 0 = -3*i + i. Sort l, i, 0.1 in descending order.
0.1, i, l
Let z = -11 + 8. Suppose 0 = -2*g - 2*g + 20. Sort 2, g, z in ascending order.
z, 2, g
Let j(s) = 2*s**2 - s - 2. Let q be j(2). Suppose 0*v + 3*v = 9, -q*l + v - 23 = 0. Sort -1, 0, l in decreasing order.
0, -1, l
Let t = -12 - -17. Sort t, -5, 0.
-5, 0, t
Let q be -2 - 4*(-5)/(-10). Sort 6, q, 4 in increasing order.
q, 4, 6
Let c = 3.9 + -3.6. Sort 1/2, c, 1, -4 in descending order.
1, 1/2, c, -4
Suppose n - 4*s = -3, 3*s + 2*s = -n + 33. Suppose -7 - n = 4*m. Put m, -1, 5 in descending order.
5, -1, m
Let g be ((-3)/5 + 1)*5. Put 4, 5, g, 1 in decreasing order.
5, 4, g, 1
Suppose -2*z = -2*h - 10, -z + 10 = -2*h + 3*z. Let r = 4 + h. Let t = -1 + 4. Sort r, -0.5, t in descending order.
t, -0.5, r
Let u = -1 - -1. Suppose 26 = -3*l + 11. Suppose -5*w + 6*w - 2 = 0. Sort l, u, w in descending order.
w, u, l
Let i = 0.6 + -3.6. Let n = -5 - i. Put -6, 0, n in ascending order.
-6, n, 0
Let j = 0 + 2. Let o be ((-2)/(-12))/(1/(-8)). Sort j, o, 1 in decreasing order.
j, 1, o
Let a be (-5 - 1)*(-3)/6. Suppose 0 = a*f + 15. Sort 2/5, -0.2, f.
f, -0.2, 2/5
Let h = -47.2 + 41. Let q = h + 6. Sort q, 0.4, -0.4.
-0.4, q, 0.4
Let m = -10 + 12. Sort -4, m, -8.
-8, -4, m
Suppose -6*q - 14 = 4. Put q, -0.2, -5 in descending order.
-0.2, q, -5
Suppose 0 = -7*f - 138 + 138. Put -0.3, 4, -0.02, f in ascending order.
-0.3, -0.02, f, 4
Let k = 15 + -9. Put 3, -1, k in decreasing order.
k, 3, -1
Suppose 2*s = -5*p - 3*s - 5, 5*s = 4*p - 32. Sort 4, p, 5, 2 in ascending order.
2, p, 4, 5
Let c(q) = q + 1. Suppose o + 15 = -2*o. Let s = o + 4. Let g be c(s). Sort -1, -2, g.
-2, -1, g
Suppose 2*h - 5 = 3*f - 2*f, 4*f - 16 = -4*h. Sort f, 8, -3 in decreasing order.
8, f, -3
Suppose 4 = 2*c - 2. Suppose -11 = c*t - 4*w + 2, -3*t + 15 = 3*w. Suppose -t = d - 0. Put 1, 4, d in decreasing order.
4, 1, d
Let c = 3.5 + -3.8. Put 5, c, -0.1 in ascending order.
c, -0.1, 5
Let j be 1/(-3)*18/2. Let a be j*(-15)/18*2. Put a, -3, 4 in increasing order.
-3, 4, a
Let q be 3 - (-1 + (-264)/(-68)). Sort -0.5, 4, q, -3 in ascending order.
-3, -0.5, q, 4
Suppose 7*i = -13*i + 60. Sort 0, -13, -5, i in ascending order.
-13, -5, 0, i
Let l = -11 + 7. Sort l, 3, -3 in decreasing order.
3, -3, l
Let a = 55 + -58. Sort 4, a, 3, -5 in decreasing order.
4, 3, a, -5
Let k = -11 + 13.9. Let q = -0.1 - k. Let x be ((-3)/27)/(2/4). Put x, 4, q in ascending order.
q, x, 4
Let v = -4 - -4.4. Suppose -2*w + 20 = -3*l, 0 = 5*l - 4*w - 16 + 52. Suppose -3*i + 6 = 4*q, -3*q - 7 = -2*q + 5*i. Sort v, q, l in decreasing order.
q, v, l
Suppose 0*m + 3 = 3*m + 3*b, 3*m + 1 = -b. Suppose -5*t + 4*j + 30 = -23, 0 = -3*j - 6. Let o be ((-1)/(t/(-3)))/m. Sort 5, o, 1 in descending order.
5, 1, o
Suppose -14*t + 3*t - 11 = 0. Let r = 0.1 + -0.1. Sort t, r, 4.
t, r, 4
Let s = -0.04 + 3.04. Let i = 0.9 - 0.6. Sort s, 2/11, i in ascending order.
2/11, i, s
Let y = 40 - 36. Let b = -1 + 3. Sort 1, y, b.
1, b, y
Let h = 0 + -2. Suppose -r - 3*a - 11 = 1, -20 = -r + 5*a. Put r, -5, h in decreasing order.
r, h, -5
Let x = -10.8 - -11. Let n be 1/(((-15)/(-2))/(-3)). Sort 1, n, x in increasing order.
n, x, 1
Let v = 0.05 + 0.35. Let x = v + -0.2. Let s = -0.2 + x. Sort -1, s, -1/2.
-1, -1/2, s
Let h(y) = -4*y**3 + 2*y**2 - 1. Let r be h(1). Suppose -2*f = -2*w - 12, -4*f = -0*w - 2*w - 28. Suppose -p + f = -5*p. Sort r, 1, p in decreasing order.
1, p, r
Let y = -5 + 7.2. Let d = 0.88 + -0.08.