= 2*x + 4*x - 30. Sort -1, x, -4, -2.
-4, -2, -1, x
Let p(h) = -3*h**3 - h**2 + h. Let r = 3 + -2. Let i be p(r). Let v = 2.05 + -2. Sort 5, v, i.
i, v, 5
Let m be (-10)/6*6/(-4). Let n = 5.008 + -0.008. Sort n, -0.5, m.
-0.5, m, n
Let g = -21 - -20.6. Sort 0.3, -0.2, g, -2/9.
g, -2/9, -0.2, 0.3
Suppose -c = 2*c. Put 9, -3, c in decreasing order.
9, c, -3
Let n = -7.8 + 7. Let k = -0.68 - n. Let v = k + -5.12. Sort 0.3, v, -2/3 in increasing order.
v, -2/3, 0.3
Let w = 9 + -14. Let p = w - -3. Put -3, -1, p in increasing order.
-3, p, -1
Let u(g) = -3*g - 26. Let v be u(-7). Let f(a) = -2*a - 7. Let d be f(-6). Sort v, -2, d in increasing order.
v, -2, d
Let t = -2/111 + 347/777. Suppose 0 = -5*b + 3*r - 33, -r - 35 = 3*b + r. Let d = b + 4. Sort t, -1, d.
d, -1, t
Let j = 18 + -21. Let o = 5 + -1. Sort j, o, -5 in increasing order.
-5, j, o
Let f be (0 + (-2)/7)/(4/(-28)). Let h = 1.9 - 2. Put h, 1/4, f in decreasing order.
f, 1/4, h
Let n = 21.6 + -22. Put 8, n, -2 in ascending order.
-2, n, 8
Let u = -129 + 131. Sort 5, u, 19 in increasing order.
u, 5, 19
Let x = -0.7 - 0.3. Let y = 6.84 - -0.16. Let h = -6.7 + y. Sort x, 0, h in decreasing order.
h, 0, x
Let g = 14.7 + -0.7. Let b = 13 - g. Put 2/7, b, 5 in ascending order.
b, 2/7, 5
Suppose -3*c - 4*g = -6 - 18, -5*g = -15. Let v(j) = -6*j - 1. Let z be v(-1). Sort z, -7, c in descending order.
z, c, -7
Let c = 0.63 + -0.33. Let h = -2733/65 - -211/5. Put c, h, 3 in decreasing order.
3, c, h
Let l be 0/(-2) - 4/(-18). Suppose 0 = 4*a - 2*m - 20, 3*m - 5 = -0*a - a. Sort l, a, 3 in increasing order.
l, 3, a
Suppose 18 = 4*k - 2. Sort 2, 3/11, 0.2, k.
0.2, 3/11, 2, k
Suppose 4*x + 4*q - 8 = 0, -2*x - 3*q - 3 = -5. Suppose -x*n + 24 = -0. Suppose r + 15 = n*r. Sort r, -1, -3 in decreasing order.
r, -1, -3
Let n = 7 - 2. Let c = 75 - 73. Put c, -3, n in descending order.
n, c, -3
Let m(r) = r**2 - 7*r + 4. Let p be m(7). Suppose -i + 2*b - 9 = 0, -p = -0*b - 2*b. Sort 2, i, -2 in increasing order.
i, -2, 2
Let a = 2 + 1. Let q be 2 + ((-9920)/252)/(-5). Let f = q - 94/9. Put f, 5, a in ascending order.
f, a, 5
Suppose 0 = -g + 5*g + 2*m - 16, -5*g + 3*m = -9. Let z = -1 + 1. Sort -2, z, g.
-2, z, g
Let m be 3/2*4/(-3). Let k be (-1 - m)/((-3)/(-3)). Suppose p - 4*i = 19, -6*i - 28 = 3*p - i. Sort 5, p, k in descending order.
5, k, p
Let m be (-2 + -10)/3 - 12/(-2). Sort 1, m, 4, -5 in increasing order.
-5, 1, m, 4
Suppose 6*b + 3 = 3*b. Put 2, b, -5 in ascending order.
-5, b, 2
Let r = 5 + -5. Let v = 0 - 4. Let o = v - -9. Put -6, o, r in descending order.
o, r, -6
Let p(k) = -2*k - 4. Let v be p(-3). Suppose 5 = c + u + 3, -c + 7 = v*u. Let m(y) = y + 1. Let z be m(-2). Put -5, c, z in decreasing order.
z, c, -5
Let b be (2/(-10))/((-1)/5). Sort -2, b, -5.
-5, -2, b
Let y = -16 - -31. Let p = y + -10. Let i = -0.1 + -0.9. Sort 2, p, i in decreasing order.
p, 2, i
Let b = 0.2 - 0.6. Let q = -1.6 + b. Let c = q - -2.2. Sort 1, 4, c in descending order.
4, 1, c
Let j = 4 - 8. Let x(l) = -l + 5. Let n be x(0). Sort -2, j, n in descending order.
n, -2, j
Let b = -4 + 0. Let h be (6/b)/((-99)/(-12)). Put -4, 0.3, h in ascending order.
-4, h, 0.3
Let t = -0.5 - -0.5. Let x = 0.1 - -0.4. Let o = t + x. Sort o, -2/7, -0.2 in increasing order.
-2/7, -0.2, o
Suppose -2*t - 2 = -u, 0 = -2*t + 3 - 9. Sort u, 1, 0.4 in descending order.
1, 0.4, u
Let o = 0.77 - 0.97. Sort 5, 0, 2, o in descending order.
5, 2, 0, o
Suppose 0 = 5*a + 5*m - 35, 0 = 5*a - a - 3*m - 14. Sort -2, a, -4.
-4, -2, a
Let r = -4 + 7. Let v be (-9807)/(-70) + (-1)/2. Let k = v - 140. Put r, k, -0.1 in decreasing order.
r, -0.1, k
Suppose -4*t + 4 = -5*a, -4*a + 7 - 31 = 2*t. Sort -1, 5, a in descending order.
5, -1, a
Suppose 5*k + 2*t = -23, 3*k + 3*t + 7 = k. Suppose -6*q + q = -0*q. Sort k, -3, q in ascending order.
k, -3, q
Let t = 38 - 38. Let a = 3 - 2.8. Let k = 0 + a. Sort 1, t, k.
t, k, 1
Suppose 2*f + 9 = -f + 2*d, -4*f - 5*d = 35. Let o(b) = -b**2. Let u be o(1). Put u, f, -2 in decreasing order.
u, -2, f
Let n(b) = -6*b**3 - b**2 + 2*b - 1. Let h be n(1). Let q be ((-8)/6)/(4/h). Let c be (2 - 1) + -1 - 3. Sort 0, c, q.
c, 0, q
Let r be -7 + 3 + (-1 - -4). Put r, -3, -8 in descending order.
r, -3, -8
Let r be (-3)/24 - 14/16. Put -15, r, 3 in descending order.
3, r, -15
Let r = 0.43 + -0.53. Put 4, 0.05, r, -5 in decreasing order.
4, 0.05, r, -5
Let z(c) = -c**2 - 5*c - 4. Let y be (0 - 2)*20/8. Let u be z(y). Sort u, -3, -2 in increasing order.
u, -3, -2
Suppose -4*r - 4 = -2*r. Let n = -13 + 8. Suppose 2*f - 3 = x + 3, 2*f = 2*x + 6. Sort n, x, r in ascending order.
n, r, x
Suppose 3*n - 2*x - 23 = 0, -3*x = 5*n + 2*x - 5. Put 4, 3, n, -1 in decreasing order.
n, 4, 3, -1
Suppose j - 2*j - 5*h = -19, -2*h = 2*j - 14. Suppose 4*p + 12 + 9 = i, -p = -j*i + 24. Sort -2, -1, i.
-2, -1, i
Let c be (-80)/(-48)*6/4. Put -1/4, 4, c in increasing order.
-1/4, c, 4
Let p be ((-2)/(-4))/((-3)/(-30)). Suppose 5 + 0 = p*i. Sort i, 2, 3.
i, 2, 3
Let d = -5 + 0. Let o = -149 + 1641/11. Suppose 0 = 3*h - 2 - 13. Sort o, d, h.
d, o, h
Suppose -2*k - 4*c - 2 + 14 = 0, -10 = -2*c. Let n = -2 - k. Suppose -2*v - 4*t - n = -0*v, -5*v + 11 = 2*t. Sort -5, 5, v.
-5, v, 5
Let p = 2 + -3. Let r(h) = h**2 - 6*h + 6. Let d be r(5). Let s be d*(1*-6 - -1). Put s, 1, p in increasing order.
s, p, 1
Let k = 4.2 - 0.2. Let q(o) = o**3 + 6*o**2 + 5*o. Let m be q(-5). Let s(d) = -d. Let c be s(m). Sort -0.4, k, c in descending order.
k, c, -0.4
Suppose 12 = -i - i. Let o be (i/12)/((-1)/48). Suppose -2*v - l + 5*l + o = 0, -15 = -5*v + l. Put -1, v, 1 in descending order.
v, 1, -1
Let c = -0.5 - -0.53. Let u = c - -2.97. Let q be -1 - -2*(-14)/(-24). Sort q, -1/2, u.
-1/2, q, u
Let q = -16 - -18. Sort 3, -2, q.
-2, q, 3
Let t be ((-4)/18)/((-3)/423). Let z = t + -32. Let x = -36 - -395/11. Sort 1/4, z, x in increasing order.
z, x, 1/4
Suppose -4*b = q - 0*q + 18, -2*b = -q + 6. Suppose -24 + 4 = -4*f. Sort 1, q, f in decreasing order.
f, 1, q
Let l = -32 + 37. Put l, 3, 4, -3 in decreasing order.
l, 4, 3, -3
Let p = 2 - 5/2. Put 2/13, 4, p in decreasing order.
4, 2/13, p
Let j be (-14)/(2/(-1)) + -2. Suppose 29 = -j*l + 4*a, -4*l + 9 - 26 = 3*a. Let g = 0.21 + -0.21. Sort -0.5, g, l in ascending order.
l, -0.5, g
Let m = -4 + 9. Suppose 0 = -m*f - 25, -39 = -4*o + 2*f + 27. Let l be ((-2)/(-7))/(2/o). Sort -0.4, -4, l in ascending order.
-4, -0.4, l
Let s be (78/(-12) - -8)/(3/4). Let i = 8 - 4. Suppose -f - 3 = 2, -f = -4*c + 1. Sort c, i, s in descending order.
i, s, c
Suppose 2*v - 5*z = 4, v - 2*z - 1 = 1. Suppose -12 = 3*d - 0. Sort d, 0, v in increasing order.
d, 0, v
Let w = -3 - -9. Let m = -6.02 + w. Let h = m + 3.02. Sort h, 0.1, 0.4 in increasing order.
0.1, 0.4, h
Let l be -2 - (22/(-10) + 0). Suppose 10 = k - 3*d, -k = -2*k + 2*d + 8. Sort k, l, -0.4 in descending order.
k, l, -0.4
Let t = -3.5 + 3.4. Sort 0.5, -3, -1, t in descending order.
0.5, t, -1, -3
Let h = 0.11 - 0.1. Let v = 78 - 81. Let m be ((-4)/(-36))/(1/3). Put m, v, h in ascending order.
v, h, m
Suppose -5*q + 12 + 12 = 4*f, 13 = 2*q + 5*f. Sort -1, q, 1.
-1, 1, q
Let w = 0.03 + -0.23. Let g = 5.1 + -5. Put w, -1/2, g in increasing order.
-1/2, w, g
Let k = -50 - -57. Put 5, k, 2/19 in decreasing order.
k, 5, 2/19
Suppose -g = -2*g - i + 3, -5*g = -2*i - 15. Suppose -3*o - g - 12 = 0. Let t = 2 + 0. Sort t, -2, o.
o, -2, t
Let o be (1/2)/((-2)/(-4)). Let z be o/2*6 - -2. Put z, 1, 3 in increasing order.
1, 3, z
Let s = 1 - 1.2. Let k = 0 + s. Let c = 74/657 - -8/73. Sort 0.2, c, k in descending order.
c, 0.2, k
Let n = 5 + -3. Suppose 0 = f + 2*i - 13, 23 = 4*f - f + n*i. Sort -5, 4, f in descending order.
f, 4, -5
Suppose 10*v = 7*v - 12. Sort 3, v, -2.
v, -2, 3
Let u = -2 + 0. Let f(o) = 4*o + 93. Let z be f(-24). Put z, u, 0 in descending order.
0, u, z
Let q = 1 - 4. Let t(w) = 2*w + 3. Let r be t(3). Let h be q*3*1/r. Sort 4, h, -4 in decreasing order.
4, h, -4
Let t be (2 + 0)*3/(-2). Let f = t + 0. Suppose -v - 3*v = -12. Sort f, v, 0.
f, 0, v
Let f = 0 - -1. Let o be f/2 - (-54)/12. Let z(n) = n**2 - 8*n + 4. Let k be z(8). Sort k, 3, o in decreasing order.
o, k, 3
Let h = -7 + -6. Let j = -11 - h. Sort 5, 0.4, j in ascending order.
0.4, j, 5
Let i = 0.007 + -0.0