1 in increasing order.
x, t, 1
Suppose -4*h = m + 23, 0*h + 11 = -4*h + 3*m. Sort h, 3, 2.
h, 2, 3
Let s = 0.4 - 0.45. Let m = s - 0.25. Let d = 4.9 - 0.9. Put -1/10, m, d in descending order.
d, -1/10, m
Suppose g + 2*g = 0. Let a = -7 + 11. Suppose 2*t + 4*j = 9 + 3, 0 = -a*t + j + 15. Sort g, t, -5.
-5, g, t
Let x = -0.079 + 0.079. Put -2, 0.5, x, 1 in descending order.
1, 0.5, x, -2
Let f(j) = j**3 - j**2 + j - 40. Let w be f(0). Let b = -25 - w. Suppose 2*o - b = 7*o. Put -5, -2, o in ascending order.
-5, o, -2
Let c = -12 - -13. Suppose -3 + 0 = b. Sort c, b, -2.
b, -2, c
Let p be 16 - 0/(-1 - 1). Put -5, 4, p in descending order.
p, 4, -5
Let u(t) = -t + 2. Let m be u(-2). Put 5, 2, -5, m in ascending order.
-5, 2, m, 5
Suppose 3*b = 3*j - 21, -24 = -5*j + 2*b + 17. Put j, -3, 0 in ascending order.
-3, 0, j
Let j(y) = y + 4. Let c be j(-6). Let k be 0 - ((-8)/2 + 2). Sort k, 1, c in ascending order.
c, 1, k
Suppose 18 = 4*x - 3*r + 2*r, 0 = -4*x + 5*r + 10. Let m be 6/8*4 + -13. Let i be (-2)/m - 2/10. Put x, i, 4 in decreasing order.
x, 4, i
Let i be (-4)/2*(-4)/28. Let v = -3/14 - i. Suppose -g + 7 = -2*z, 3*g - 2*g + 5 = -z. Put v, z, -3 in increasing order.
z, -3, v
Suppose 2*f + 2*f = -5*q + 22, -16 = -2*q - 4*f. Suppose 0 = -4*c + 3*c - q. Let s(i) = -i - 18. Let h be s(-15). Put c, h, 0 in descending order.
0, c, h
Let a(x) = -4*x**2 + 5*x**2 + 0*x**2 + 1 - x**3. Let i be a(0). Sort 0.4, i, 2/11 in descending order.
i, 0.4, 2/11
Let a(l) = 5*l**2 - l - 1. Let z be a(-1). Let n be ((-2)/2)/((-1)/12). Let p be (-1)/(-2 + 21/n). Put p, z, -3 in ascending order.
-3, p, z
Let r = 339/5 - 68. Sort r, -1/6, -0.3 in increasing order.
-0.3, r, -1/6
Let c(r) be the second derivative of -1/6*r**3 - 1/2*r**2 - 5/12*r**4 + r + 0. Let a be c(-1). Sort a, 2, -1 in ascending order.
a, -1, 2
Let m(i) = -42 + i**2 + 5*i + 38 - 2*i**2. Let r be m(4). Put 1, 3, r in descending order.
3, 1, r
Let p be 5/6 - (-6)/(-9). Sort 1/2, p, -1.
-1, p, 1/2
Let g = -77 - -77. Put -2, -5, g, 1 in descending order.
1, g, -2, -5
Suppose 0 = -o + f - 1, -2*o = 5*f - 33. Suppose o*v + v = 25. Sort -2/15, 1, v in ascending order.
-2/15, 1, v
Suppose 0*t + 2 = -2*t. Let r(i) = 2*i. Suppose -2*q + 6*q - h = -1, h + 1 = 2*q. Let f be r(q). Put f, t, 0 in ascending order.
f, t, 0
Suppose -4*j - 3*j + 14 = 0. Suppose -5 - 10 = 3*q. Sort j, -4, q in decreasing order.
j, -4, q
Let u = 4 - -1. Let n = -5 - 8. Let z = -18 - n. Sort 1/2, z, u in descending order.
u, 1/2, z
Let b(t) = -t + 2. Let j be 3/6*-2*3. Let y be b(j). Put y, 1, -5 in decreasing order.
y, 1, -5
Suppose -2 = -i + 2. Suppose -2*u = -i*u + 4. Let w be u*1 + 12/(-8). Put 3/2, 3, w in decreasing order.
3, 3/2, w
Let b = 0.6 - -2.4. Let h = -3 + 2.8. Let p = h + 0.5. Put b, 0.1, p in descending order.
b, p, 0.1
Suppose 5*z - 147 - 43 = 0. Let n be z/9 - 4/18. Let v(r) = r**3 - r**2 - r + 3. Let u be v(0). Put -5, u, n in descending order.
n, u, -5
Suppose -3 = y - 5. Suppose y*c - 24 = -64. Let t be (c/(-6))/(4/(-6)). Sort 1, -2, t.
t, -2, 1
Suppose 27*k - 180 = 9*k. Sort -1, k, 2, 3 in decreasing order.
k, 3, 2, -1
Let d = -23 - -19. Let r be (-2)/d*(-6 - -6). Sort -5, r, 5 in descending order.
5, r, -5
Let z = -86.3 + 86. Put -7/6, z, 0 in increasing order.
-7/6, z, 0
Let y be (25/2)/((-4)/(-8)). Sort -3, 1, y in ascending order.
-3, 1, y
Let k be (2 + 5)*-1 - -2. Suppose -17 = 3*b - 2*i, 2*i - 5 = -3*b + 2*b. Sort -4, b, k in ascending order.
k, -4, b
Suppose -5*t + 4*y - 8 = 12, 2*t = 5*y - 25. Let v = -1 - t. Suppose 8*n = 11*n. Sort v, 3, n.
v, n, 3
Let s be (-10 - -1)*(-28)/21. Let q = s - 13. Sort -4, q, 3 in increasing order.
-4, q, 3
Let n = 7 + -25. Let s be 34/(-70) + n/(-90). Put s, -4, -2/3 in descending order.
s, -2/3, -4
Suppose 0 = -19*q + 14*q + 20. Sort -3, q, -6 in ascending order.
-6, -3, q
Let m = -6.1 - 1.9. Let n = -21 - -9. Let a = n - m. Put 0, a, -3 in increasing order.
a, -3, 0
Let s be (2*(-22)/(-8))/(-4) + 1. Put s, -10, -1/5 in decreasing order.
-1/5, s, -10
Let o be 1 - -5 - (-4 - -5). Sort o, -5, -0.4 in ascending order.
-5, -0.4, o
Let v = 1 - 6. Let r(q) = q**3 + 4*q**2 - 2. Let g be r(-2). Let n be g/v*(-3)/(-9). Put n, 4, 0.3 in decreasing order.
4, 0.3, n
Let s be 6/2 + -3 + 2. Let r = -23 + 28. Put 3, r, s in descending order.
r, 3, s
Suppose -g + 4*h - 1 = 0, 0 = -6*g + 5*g + 5*h. Let t be (1/1)/1 - 1. Let b(m) = -m**2 - m - 2. Let j be b(t). Put 5, j, g in descending order.
5, j, g
Let l = 67 + -76. Sort 1, -0.2, 0.2, l.
l, -0.2, 0.2, 1
Suppose j = 2 + 1. Put j, 0, 5 in descending order.
5, j, 0
Let d = -6 + 9. Let f(n) = n - 2. Let k be f(0). Sort d, k, -4 in descending order.
d, k, -4
Let u = 25 + -27. Let m be -1 + -1 + 8/5. Sort u, 3/5, m in increasing order.
u, m, 3/5
Let i(r) = r**3 - 2*r**2 + 1. Let m be i(1). Let o be m - -4 - (-1 - 0). Let d = 3 - 0. Sort o, -4, d in ascending order.
-4, d, o
Let w = -0.6 + -0.4. Let k = -0.6 - w. Sort k, -2/9, -1 in descending order.
k, -2/9, -1
Let g(x) = -x**2 + 8*x - 14. Let v be g(6). Sort v, 4, 2.
v, 2, 4
Let d be 4/16 - 38/128. Let k = -107/448 + d. Put -3, 1, k in descending order.
1, k, -3
Let v = -11 + 10. Let i = -3 - -2.4. Let c = i - v. Put 3, c, -1 in ascending order.
-1, c, 3
Suppose 3*z - 3*m - 1 = -2*z, -3*m = 5*z + 11. Let b = 8 - 4. Suppose -2 = b*t + 5*u + 1, -6 = 5*t + 4*u. Sort t, -3, z in decreasing order.
z, t, -3
Suppose 4*n = -5*z + 85, -3*z = n - 5 - 11. Suppose -y = 4*y + n. Put y, 3, -1 in descending order.
3, -1, y
Let z = -72 + 68. Put -3, -5, z, 4 in decreasing order.
4, -3, z, -5
Let b(u) = u**3 + 2*u**2 + 3*u + 2. Let x be b(-2). Let a be -1 + 3/(-2)*x. Sort 3, -3, a.
-3, 3, a
Let q(i) = 2*i - 27. Let r be q(13). Sort 2/3, r, -1/4, -3.
-3, r, -1/4, 2/3
Let a be (-13)/(-2) + (-9)/6. Sort a, 0.1, 0.07.
0.07, 0.1, a
Let d(q) = -2*q**2 - 2*q + 2. Let s be d(-2). Let y(u) = u**3 + 3*u**2 + u + 2. Let l be y(s). Let t = -83 + 80. Put l, -2, t in descending order.
l, -2, t
Let q be -2 + (-4*1 - -3). Let s be (-3 - -5)*q/3. Let h = -16 + 11. Put h, -4, s in increasing order.
h, -4, s
Let d = -20 - -15. Let b(q) = -7*q**2 - q - 1. Let u be b(-1). Sort u, -1, d in increasing order.
u, d, -1
Let v = 0 - -0.4. Let r = v - 0.6. Put 4, 1/2, r in descending order.
4, 1/2, r
Let d = 3 + -5. Put d, 8, 5 in decreasing order.
8, 5, d
Let a = -0.06 + 5.06. Let h = 5 - a. Let r = -8 + 6. Put 3, r, h in descending order.
3, h, r
Let b be 60/5*(-1)/(-3). Sort b, 6, 1 in ascending order.
1, b, 6
Let k = -17 + 15.7. Let m = 0.3 + k. Let d = 25/294 + 4/49. Put 5, d, m in decreasing order.
5, d, m
Let h be (-88)/(-14) - 2/7. Suppose -4*r + h = -6, r - 7 = -t. Let k be (-48)/119 + t/14. Sort -0.4, k, 3 in decreasing order.
3, k, -0.4
Let l be 30 + (0 + 2)/(-1). Let i be 7/l + (-1)/(-4). Sort -1/5, -4, i in increasing order.
-4, -1/5, i
Let v = 6.5 + -6. Let b = -0.1 + v. Put b, 1, -0.2 in increasing order.
-0.2, b, 1
Suppose 4*p - 5*p + 5 = 0. Let j be (-8)/(-5)*p/2. Let k = 38 + -38. Put -4, j, k in ascending order.
-4, k, j
Suppose 3*h = -2*t + 6*t + 19, 3*t + 3*h - 12 = 0. Suppose -5*f - 12 = -2*b, b + f - 12 = 5*f. Put -2, b, t in ascending order.
b, -2, t
Let w(k) = 2*k - 4. Let d be w(-4). Let u = d + 6. Let p(z) = z + 1. Let m be p(u). Sort 4, 2, m.
m, 2, 4
Suppose -4*n - 2*y = -14, n - y - 3 = -1. Let z be (n/(-45))/((-2)/(-5)). Let b = 0.2 + -0.3. Sort 2, z, b in ascending order.
z, b, 2
Let i be 5/(-10)*(0 - 1). Let g = -1 + i. Let w = 0.15 + -0.1. Put -2, g, w in increasing order.
-2, g, w
Suppose 4*w = 0, -2*q - w + 32 = 2*q. Sort q, 3, -5.
-5, 3, q
Suppose 0 = -5*p + 3*p + 12. Sort -1, 2, p in descending order.
p, 2, -1
Let w = 93/2 + -48. Let a = 2.9 - 3.3. Put -0.1, a, w in ascending order.
w, a, -0.1
Suppose -f = -3*f - 8, 4*f + 4 = 3*q. Let j = 5 + q. Put 0, 2, j in descending order.
2, j, 0
Let s be 6/4*16/(-6). Let c(d) = 0*d**3 - d**3 - 3*d + 0*d**2 - 3*d**2 - 2*d**2 + 3. Let x be c(s). Sort 3, x, -2 in decreasing order.
3, x, -2
Suppose 0*b = -3*b + 6. Let m be (b/(-55))/(1/5). Let y = 29/85 - -1/17. Sort -2, m, y.
-2, m, y
Let k be 4/12 + 22/6. Suppose 15 = 4*n - 5*u, 9 = -k*u + u. Put -3, n, -4 in increasing order.
-4, -3, n
Let l(w) = w**2 - 4*w + 4. Let v be l(3). Let z be 1*1*(-1 - -28). Let 