 x
Let v be (-12)/(-10) + (-2)/10. Let t = v - 0. Sort 5, 2, t.
t, 2, 5
Let h = -0.8 - -0.5. Let i be -2 + 2 + -1 + 0. Let p be i*1 - 30/(-26). Put -1, h, p in ascending order.
-1, h, p
Suppose -4*d = 3*m + 23, m - 4*d - 19 = -0. Let f = -3 + 3. Put m, 2, f in descending order.
2, f, m
Let t be 2/(3*5/(-15)). Suppose -3*i - 18 = -3*j, 5*j - 14 - 11 = 4*i. Let x(g) = -g**3 + g - 5. Let c be x(0). Sort j, t, c in decreasing order.
j, t, c
Suppose 2*p = 4*p - 12. Let l = p + -6. Let y be -3*((-10)/(-3))/5. Put l, y, 4 in increasing order.
y, l, 4
Suppose 2*f - f = -2*o + 6, 0 = 2*o - 3*f + 2. Put 3, -5, o, 1 in increasing order.
-5, 1, o, 3
Suppose f + 5 = -4*f. Sort 0.2, f, 2/3 in descending order.
2/3, 0.2, f
Suppose -5*t = -4*u + 15, 0*u + 4*u = -2*t + 22. Put -3, -1, u in decreasing order.
u, -1, -3
Let i = 7 + -7. Let f = i + -0.5. Put -3, -1/4, f in decreasing order.
-1/4, f, -3
Let a = -2 + 14. Put -0.2, -2, a in descending order.
a, -0.2, -2
Let q(n) = -n**2 + 8*n + 1. Let y be q(8). Let o be 2/7 - (-24)/14. Sort -3, y, o in ascending order.
-3, y, o
Let y be (-3)/(6/(-4) - -2). Let k = y + 3. Let t(a) = a**3 + 7*a**2 - 8*a - 5. Let v be t(-8). Sort 2, k, v in descending order.
2, k, v
Suppose 0 = -3*d - 3, 5*d + 25 + 0 = -4*z. Put 7, z, 4 in descending order.
7, 4, z
Let p(c) = 6*c**3 - c**2. Let r be p(1). Suppose 4*a - r = -1, -5*k + a = 1. Suppose k*h + 2*h = 6. Sort 1, h, -5 in descending order.
h, 1, -5
Let j = -7.4 + 7. Sort -1/4, -3, j in decreasing order.
-1/4, j, -3
Suppose -f = 3*f - 16. Let z be 11 + -2 + (-2)/(-2). Let l be z/15 + 2/6. Sort l, f, -4 in decreasing order.
f, l, -4
Let w = 84 - 84.5. Sort -7, 2/9, w, 0.4 in decreasing order.
0.4, 2/9, w, -7
Let z = 2 - 6. Suppose -g + 9 = 5. Let r be (g/(-6))/(40/(-15)). Sort 2/7, r, z in ascending order.
z, r, 2/7
Let x be 5/2*24/(-20). Sort -5, 4, x, 0 in descending order.
4, 0, x, -5
Suppose 21 = -3*o - 24. Let s be (-6)/o - (-8)/(-10). Let c = -18 - -20. Sort 2/9, c, s in descending order.
c, 2/9, s
Suppose -1 - 14 = -3*d. Sort d, -1, -2, -3 in descending order.
d, -1, -2, -3
Let u = 16 - 16. Let b = -5 + 7. Put u, -2, b in increasing order.
-2, u, b
Let f be (-2)/(-2 - (-8)/(-2)). Let v = 1 + -0.9. Let i be (-1)/(-4)*(-2)/(-2). Sort f, v, i in descending order.
f, i, v
Let u = -131 + 130.8. Suppose -3*t = -4*r - 31, 8 = 2*t - 2. Let n be 1/3 - 2/2. Put u, n, r in ascending order.
r, n, u
Suppose -m = 3*m + 4*l - 16, 0 = -m - 5*l + 8. Sort 1, m, 4.
1, m, 4
Let n be (-424)/(-28) - (-1)/(-7). Put n, -2, 4 in decreasing order.
n, 4, -2
Let d be (0 - (2 + -2)) + -7. Let m = -6 - d. Sort m, 4, -1 in increasing order.
-1, m, 4
Let r = 19 + -20. Suppose -g = g + y, -3*g = -4*y. Let u be -1*(2 + 1 - g). Sort 5, u, r in decreasing order.
5, r, u
Suppose t = -4*t + 5. Let h(d) = -d**3 + 6*d**2 - 5*d - 1. Let j be h(5). Sort t, 0, j in descending order.
t, 0, j
Suppose 12 - 4 = -4*n. Let y(z) = z**2 + z - 3. Let c be y(0). Let a be (-4)/(-6) - (-39)/9. Put a, c, n in ascending order.
c, n, a
Let n be 10/6 + 0 + -1. Let i = -10.7 - -10.6. Sort i, n, 2 in decreasing order.
2, n, i
Let x = -24 - -23.8. Let g = -0.8 - -1. Let k = g - 3.2. Put x, k, 1/3 in descending order.
1/3, x, k
Let i(v) = -v. Suppose 5*x = 6 - 31. Let p be i(x). Put 3, 2, p in decreasing order.
p, 3, 2
Let o(t) = t + 9. Let k be o(-10). Sort k, -3, 4 in descending order.
4, k, -3
Let j = 0.5 - 0.6. Sort -2, -0.3, j in decreasing order.
j, -0.3, -2
Suppose 5 = -4*p + 1. Let n be -1*(2 - 1)*3. Suppose f - 21 = -2*f + 5*y, 5*f - 1 = -3*y. Sort n, p, f in increasing order.
n, p, f
Let g = -75 + 75. Put -5, -2, 5, g in increasing order.
-5, -2, g, 5
Let m be ((-12)/(-9))/((-2)/6). Let h(a) = a**2 + 5*a + 5. Let f be h(m). Put -3, f, -5 in descending order.
f, -3, -5
Suppose -5*t + 3*k = 25, 0 = 4*t + 3*k + 20 - 0. Put -0.3, -2/11, t in increasing order.
t, -0.3, -2/11
Suppose 0 = -2*z + 5*z + 15. Let j be 6/(-4) - (-3)/4. Put 1, j, z in descending order.
1, j, z
Let b(y) = y**2 - 15*y - 21. Let k be b(16). Sort 3, k, 14 in ascending order.
k, 3, 14
Suppose -3*l - 15 = -6*l. Suppose 0*s = -l*h - 3*s - 14, 2*s = -h. Suppose -6*t + 3*t = 0. Sort t, 1, h in descending order.
1, t, h
Let f = 0 - -1. Let a = -7 - -6. Let t be -1 + a + (-2)/(-2). Sort 5, t, f.
t, f, 5
Suppose 0 = 4*x - 3*x. Suppose -4*b + 5*b + 5 = 0. Sort -1, x, b in ascending order.
b, -1, x
Let c be 6/9 + 33/(-9). Put -2, 1, c in descending order.
1, -2, c
Let m = -3.3 + 11.3. Sort 4, 1, m in increasing order.
1, 4, m
Let p(v) = -v**3 - 2*v**2 + v. Let m be p(-2). Let k = m + 4. Sort 0.1, k, -5.
-5, 0.1, k
Let a(h) = -h**2 - 12*h - 6. Let u be a(-11). Let z = -8 + 6. Sort -5, u, z.
-5, z, u
Let w(n) = -3*n**3 - 2*n**2 - n + 2. Let c be w(-2). Let i be 4/c + 12/(-35). Put 3/5, -0.2, i in descending order.
3/5, i, -0.2
Let x be 18/12*(-3 + 1). Let m = 14 + -10. Sort x, 2, m in ascending order.
x, 2, m
Let r = 136 + -138. Sort r, -7, 2 in decreasing order.
2, r, -7
Let q = 126.7 - 127. Let t be ((-2)/3)/((-8)/12). Sort q, t, -0.1 in descending order.
t, -0.1, q
Let h = 1 + 2. Let t be 1/(-4) - 6*(-2)/16. Put -3, h, t in increasing order.
-3, t, h
Let u(d) = -d**3 - d**2 + 2*d. Let c be u(-2). Let g(k) = k + 9. Let q be g(-4). Suppose -20 = q*j - c. Sort 2, 3, j in increasing order.
j, 2, 3
Suppose 5*h + z + 8 = 0, 5 - 3 = -5*h - 4*z. Sort 3, h, -9 in decreasing order.
3, h, -9
Let c be 2/(2 - (-48)/(-21)). Sort c, -0.3, -5 in decreasing order.
-0.3, -5, c
Let n(c) = c**2 + 11*c - 22. Let z be n(-13). Sort z, -3, -1, -2.
-3, -2, -1, z
Let f = -2.947 + -0.053. Sort 0.2, -2/13, f, 4 in descending order.
4, 0.2, -2/13, f
Let z be 4 + (-6)/(24/20). Sort 4, -4, z in decreasing order.
4, z, -4
Let i(s) = -s + 5. Let c be i(1). Sort 0, 3, c, 8 in decreasing order.
8, c, 3, 0
Let t = -4.7 - -0.7. Let r = -16 - -20. Sort t, -3, r in descending order.
r, -3, t
Suppose 2*t - 2 = 8. Suppose 0*v - 20 = -5*v. Sort -3, v, t in decreasing order.
t, v, -3
Let t be 3 - (2 - 1) - -1. Let q = 3 + 0. Suppose -18 = 2*i - t*b, -q*b + b = -4*i - 20. Put 4, i, -5 in increasing order.
-5, i, 4
Let c be (-3 - (-14)/4)*0. Suppose c*o - o = -1. Put o, -5, 0 in increasing order.
-5, 0, o
Let c = 8.5 - 9. Put c, 2, 1 in descending order.
2, 1, c
Let r = -9 - -9.1. Put r, 2/19, -4 in increasing order.
-4, r, 2/19
Let n = -2 - -1.6. Let x = -5.14 + 0.14. Sort -0.3, n, x in descending order.
-0.3, n, x
Let y = 0.09 - -5.91. Let i = -6 - -10. Let x = i - y. Sort 1/6, -3/7, x in ascending order.
x, -3/7, 1/6
Let l(y) = -y**3 - 3*y**2 - 6*y - 3. Let f be l(-2). Suppose 4 = -3*a - 3*h - 2, -4*h = 0. Put 2, f, a in decreasing order.
f, 2, a
Let f = -17 - -17.4. Put f, -4, -3, 3 in ascending order.
-4, -3, f, 3
Suppose 2*a = -0*a - 64. Let v = a + 14. Let r be (3/30)/(3/v). Sort 0, r, -1/6 in increasing order.
r, -1/6, 0
Let i(b) = -b - 2. Let o be i(-2). Suppose -p - 2*d + 2 = 0, 2*p + 12 = d + 3*d. Let h be (-2)/p*(-5 + 0). Sort 1, h, o in ascending order.
h, o, 1
Let b(i) = -i**2 - 2*i - 1. Let o be b(-3). Let d = 7 + o. Let m(r) = r**3 + 5*r**2 + 3*r - 3. Let g be m(-4). Sort d, g, -4 in descending order.
d, g, -4
Let u = 1 - 0. Let l(w) = -w**3 - 2*w + 1. Let b be l(1). Sort b, 3, u in decreasing order.
3, u, b
Let d = 1.5 + -2. Let z = 4.101 - 0.101. Sort -1/7, d, z in increasing order.
d, -1/7, z
Let o = -7/36 + -1/18. Sort -3/7, 2, o.
-3/7, o, 2
Let d = 70 + -40. Suppose -d - 20 = -5*y. Suppose 5*a + y = u + 21, 3 = a. Sort 3, 0, u in ascending order.
0, 3, u
Let x = -29 + 28.6. Sort 1, x, 0.3.
x, 0.3, 1
Let b be 3 + (-1 - 1) + -4 + -1. Sort b, -48, -3 in descending order.
-3, b, -48
Suppose -96 = -3*x - 5*x. Sort -3, x, -5, -1 in ascending order.
-5, -3, -1, x
Let k(b) = 5*b + 1. Let p be k(-1). Let w = 246 + -245.9. Put w, p, 4 in decreasing order.
4, w, p
Let a = -0.5 + 0.3. Let r = -0.4 - a. Let x = 0.5 + -0.2. Sort x, 0.1, r in decreasing order.
x, 0.1, r
Let z = 76/265 + 6/53. Let g = -1.06 - -1. Let p = g - 0.14. Sort p, -5/6, z in descending order.
z, p, -5/6
Suppose -4*v - 4*q = -16, 0*q - 12 = 3*v - 5*q. Put -1, -5, v, 2 in ascending order.
-5, -1, v, 2
Let i = 4 + -14. Suppose 2*d = d - c - 5, -3*c + 20 = -4*d. Put 5, d, i in ascending order.
i, d, 5
Suppose 0 = 3*m - 5*m + 4. Su