= 3*a - 12. Put k, a, 1 in ascending order.
k, 1, a
Let q = -23/4 + 21/4. Let b be 2 - -2*(-8)/6. Sort 1, b, q in decreasing order.
1, q, b
Let o be 24/30 - 2/(-10). Suppose -2*u - o = 1. Sort u, -2, -3.
-3, -2, u
Let j = -34 + 34.3. Let x = -14.7 - -9.4. Let m = j + x. Sort m, -4, 4/5 in ascending order.
m, -4, 4/5
Let i = -11 - -7. Let m = 450 + -449.6. Put -2, m, i in descending order.
m, -2, i
Let t be (4/(-16))/(-1)*-1. Sort t, -1/6, 8.
t, -1/6, 8
Let p(g) = -g**3 + 8*g**2 + 4. Let y be p(8). Suppose 3*k = y*k. Put -2, k, 1 in decreasing order.
1, k, -2
Let u = -1 + 5. Let n be (u/12)/((-3)/9). Sort 5, -6, n in ascending order.
-6, n, 5
Let f = -1 + 0. Put -1/2, f, -3 in ascending order.
-3, f, -1/2
Let x be 121/(-7) - (-2 + (-60)/(-35)). Put -1, -5, x in descending order.
-1, -5, x
Let t = -14 + 13. Sort -4, t, -0.1.
-4, t, -0.1
Let i be (2 - 0)/(5 - 1). Put i, 2, -4 in decreasing order.
2, i, -4
Let u = -45 - -226/5. Let w(x) be the second derivative of x**3/2 - 2*x. Let d be w(-1). Put d, u, -0.2 in decreasing order.
u, -0.2, d
Suppose -3*z - 75 = -66. Suppose -2*a - 1 = t - 3*a, -4*a - 2 = -t. Sort 2, t, z.
z, t, 2
Suppose 5 = 2*o + 15. Put 2, o, 1 in ascending order.
o, 1, 2
Let h = -0.6 - -0.1. Let y = 7 + -5. Put h, 5, y in decreasing order.
5, y, h
Suppose -2*k - 2*k = -12. Suppose 0*l + 3*l - 4*c - 31 = 0, 3*c = k*l - 27. Suppose r - 10 = l*m - 5, -2*m - 5 = -r. Put 3, m, 5 in increasing order.
m, 3, 5
Let m = 3 + -2. Let j be (m - -4)*(0 + -1). Put 5, j, -1/6 in decreasing order.
5, -1/6, j
Let l = 0.5 + -0.1. Let f = 0.2 - l. Put f, -0.1, 1 in ascending order.
f, -0.1, 1
Let j = 57 - 56.9. Let m = 1 + -5. Sort m, j, 4 in decreasing order.
4, j, m
Let z = 13 + -9. Let d = 92 - 92.4. Put z, d, -5 in ascending order.
-5, d, z
Let x = -76 - -77. Put -2, 4, 0.04, x in descending order.
4, x, 0.04, -2
Let t = 8 - 13. Let s = -1 - t. Put s, 3, 1 in decreasing order.
s, 3, 1
Let a be (-4*1)/(-4) - 2. Let x be 2/10 - 18/(-10). Suppose c = l, x*l + 3*l = -5*c - 50. Put a, 5, l in increasing order.
l, a, 5
Let u = -748/667 + 30/29. Sort 3, u, -1/3 in increasing order.
-1/3, u, 3
Let h = 3 - 4. Let p = h + 1.4. Sort p, -5, -2/3.
-5, -2/3, p
Suppose 3*d + 6 = 5*d. Sort d, -1, -3 in descending order.
d, -1, -3
Let n = -5 - -1. Suppose -12 + 18 = -2*i. Sort 4, i, n in descending order.
4, i, n
Suppose -4*w = 4*c - 16, 0 = w + 4*c + 1 - 2. Let m = 3 - -1. Suppose 4*s - m = n, -3*n + 0 = -2*s + 12. Put n, w, 2 in ascending order.
n, 2, w
Suppose -6 = -8*f - 38. Let j be -3*(1 + (-1)/3). Sort j, f, 0 in ascending order.
f, j, 0
Suppose 4 = n + 2. Suppose 0 = -3*u - 7 - n. Sort -2/7, 3, u in increasing order.
u, -2/7, 3
Suppose -5 + 17 = 6*z. Sort -4, -0.07, z in ascending order.
-4, -0.07, z
Let w = 28.1 + -27. Let r = w - 0.1. Put -0.1, r, -3 in descending order.
r, -0.1, -3
Suppose 0 = 3*w + 2*t - 3, 3*w + w - 5 = -3*t. Let m = -0.2 + -1.8. Let r = m + 0. Sort w, 5/4, r.
r, w, 5/4
Let f be (-4)/6 - (-4)/6. Sort f, -4, -5, 4.
-5, -4, f, 4
Let f = -0.07 - 3.43. Let s = f + -0.5. Let d = -103/91 - -9/7. Sort s, d, -5 in ascending order.
-5, s, d
Suppose 10 - 15 = -g. Sort 13, -2, 2, g in increasing order.
-2, 2, g, 13
Let n be (-30)/(-135) - 16/(-9). Let f be 1/(-2)*(-2 + -2). Let b = -4 + f. Put -4, n, b in increasing order.
-4, b, n
Let m be 6/(-21)*-15 - (-1 + 5). Sort 0.4, 1/3, -4, m in increasing order.
-4, m, 1/3, 0.4
Suppose 2*d + 4*l - 16 = 0, 4*d = -0*d + 2*l - 8. Let g be (-3)/(-2) + (-2)/4. Sort d, g, -5.
-5, d, g
Let v = -15.989 - -16. Let l = v - 4.211. Let h = l + 4. Sort 0.3, 0.1, h in descending order.
0.3, 0.1, h
Let n = 0.08 - -2.92. Let j = n - 2. Let w = 3.8 - 3.7. Put j, w, -3/7 in decreasing order.
j, w, -3/7
Let u = 4.101 + -0.101. Sort -5, u, -0.4.
-5, -0.4, u
Let s = 4 - 4. Let q be 4/(-26) - (-136)/208. Sort -1, s, q in increasing order.
-1, s, q
Suppose 2*w - 18 = 4*m - 8, -4*w + 7 = 5*m. Sort -3, 3, 2, m in decreasing order.
3, 2, m, -3
Suppose 3 = -0*i - 3*i. Let u = 4 + i. Sort 0, -5, u in descending order.
u, 0, -5
Let n = 133/3 - 44. Put 1, n, 2 in descending order.
2, 1, n
Let k be (-17)/4 - ((-15)/12 - -1). Sort -3, 5, k in increasing order.
k, -3, 5
Let k be 2/(2/1 + -1). Suppose 2*s - 3*l + 8 = 0, -2*s + 4*s - 2*l = -8. Sort s, k, 1 in ascending order.
s, 1, k
Suppose -4*y = 2*z + 12, 0 = -y - 2*y - 2*z - 8. Sort 0, 5, y in decreasing order.
5, 0, y
Let q = 1.89 - -0.11. Let t = 5.5 + -0.5. Let f = -1 + t. Sort q, 1/6, f.
1/6, q, f
Suppose -4*t + 2*k = 6, t = 5*k - 2 - 4. Put 3, -2, t in ascending order.
-2, t, 3
Let f = -52 + 52. Put f, -5, 5 in decreasing order.
5, f, -5
Let v = 1240046/9 - 136397. Let c = v + -1427. Let b = 6272/153 + c. Put b, -1, 3/2 in ascending order.
-1, b, 3/2
Let w(a) = -a**3 - 9*a**2 + 10*a + 9. Let j be w(-10). Suppose -u - 5*l - 25 = 0, -1 - j = -3*u + 2*l. Sort -5, 4, u in increasing order.
-5, u, 4
Let y(m) = m**2 - 4*m + 1. Let t be y(4). Let c be ((-1)/1)/(-1) - 2. Sort c, t, -5.
-5, c, t
Let y(t) = -7*t + 2. Let c be y(1). Sort c, 0, 3 in descending order.
3, 0, c
Let z = 3.98 - -0.02. Suppose 0 = w + 4*w + 25. Let d(y) = y**2 + 6*y + 5. Let q be d(w). Sort z, q, 1 in ascending order.
q, 1, z
Let l = 80 - 82. Let z be (3 + 3)*2/(-3). Sort l, z, 4 in increasing order.
z, l, 4
Let g be 4/15*9/6. Let d = -3794/13 + 292. Put g, -5/2, d in increasing order.
-5/2, d, g
Let y = -43/57 + 8/19. Let x = 2.95 + 0.05. Let i = -4 + x. Put y, i, 2 in descending order.
2, y, i
Suppose n + 3 = -2*x, 3*x + 5*n - 13 = -0*n. Let w = 4 - 2. Let h be (-4)/8*2 + 0. Sort w, x, h in decreasing order.
w, h, x
Let g be ((-10)/6)/((-1)/(-3)). Put 1, 0, -3, g in decreasing order.
1, 0, -3, g
Suppose k - t + 6 = -0*k, 2*k = -3*t + 8. Let i(g) = -g - 4. Let j be i(-6). Suppose 7*z - 2*z = 0. Put k, j, z in descending order.
j, z, k
Let h be (-3)/((-18)/(-4))*-1. Let w = 21.3 + -21. Sort w, -2, h.
-2, w, h
Suppose -4*x = -0*x + 120. Let c be (2/(-4))/((-5)/x). Sort 0, c, 1 in decreasing order.
1, 0, c
Let o(m) = -m**3 + 7*m**2 - 4*m - 8. Let u be o(6). Let b = u + -1. Suppose 3*i + c + 3*c + 31 = 0, -2*c - b = -i. Sort -3, i, -2 in decreasing order.
-2, -3, i
Suppose o - 3 = -2*n - 0, -2*n = -2. Put o, 0.2, -1, 2/7 in increasing order.
-1, 0.2, 2/7, o
Let u be (-1)/(1*(-3)/12). Suppose 4*n - 5*q + 4 = 3, -4*n + u*q = 0. Suppose -n = -2*l - 3. Sort -0.1, 0.3, l.
l, -0.1, 0.3
Suppose 0*c - 4*t = -2*c - 6, -c - 4*t = -9. Let j be ((-2)/28)/((-1)/(-2)). Put 2/7, j, c in decreasing order.
c, 2/7, j
Let t be (-10)/(-4)*(-40)/25. Let y be 6/t*72/27. Sort 4, 3, y.
y, 3, 4
Suppose 6*f = 3*f + 3. Let o = -27 + 32. Suppose -b = -o + f. Sort b, -5, 1.
-5, 1, b
Let y = 70 - 66. Sort y, -3, 6 in descending order.
6, y, -3
Let d(g) = -3*g**2 - 1. Let h be d(-1). Let y be 7 - -4*1/(-2). Suppose 3*b = -2*i - 7, y*i = -5*b - 2 - 8. Sort -2, h, i in descending order.
i, -2, h
Let l = 4 - 2. Let k be -2 - (18/(-4) + l). Let z = 1858/11 + -169. Sort k, z, 4.
z, k, 4
Let d be (-27)/(-35) + 1*18/42. Sort d, -4, -0.4, -3.
-4, -3, -0.4, d
Suppose -i + 15 = 4*i. Suppose -3*r + 15 = 3. Suppose -r*h = -2*h. Put h, i, -2 in decreasing order.
i, h, -2
Suppose 18 = -2*c - 0*c. Let m = c + 6. Sort -4, m, 3 in descending order.
3, m, -4
Let q be 16/6*(-3)/(-2). Suppose 3*l = l + q. Let b = -7 - -5. Sort l, b, 4.
b, l, 4
Let w = -2.3 + 2.4. Sort w, -3/5, 1.
-3/5, w, 1
Let m = -0.236 + -0.064. Let y = 2 - 0. Sort -2, y, m in descending order.
y, m, -2
Suppose 0 = -3*v - 0*v + 5*j + 8, -6 = -5*v + j. Let u be ((-2)/2)/(4/(-220)). Let b = u + -277/5. Put v, 0.2, b in decreasing order.
v, 0.2, b
Suppose -7 + 15 = 4*n. Suppose -n*a = 2*s + 8, -4*a - 3*s - 16 = -2*s. Put a, 0, -1 in decreasing order.
0, -1, a
Suppose 5*w + 8 = -h, h + 3*w + 4 = -0*w. Let q = 42 - 37. Put h, -3/8, q in descending order.
q, h, -3/8
Let j = 37 - 113/3. Put 4, j, -13 in ascending order.
-13, j, 4
Suppose 11*a - 8 = 3. Let b(u) = u**3 - 4*u**2 - 1. Let g = 9 + -5. Let m be b(g). Put 0, a, m in increasing order.
m, 0, a
Suppose 2*k = 6*k. Suppose 5*z - h - 9 = k, 5*h + 21 = 1. Put -2, z, 4 in descending order.
4, z, -2
Suppose -2*l - 10 = -4*l. Suppose -4 = q - l*q. Suppose 2*w + 0*w = -4. Sort w, 3, q in descending order.
3, q, w
Let x = 8 - 5. Sort 0.2, x, 0.4 i