4, 1, g, -3
Suppose 0*v - 18 = -2*x + 2*v, x + v = -1. Suppose -n + 2*t + 9 - 12 = 0, t = 3*n + 14. Put n, 2, x in descending order.
x, 2, n
Let t = -11 - -10.3. Let c = t - -4.7. Sort 0.3, c, -2/9 in descending order.
c, 0.3, -2/9
Let x be 6*(-4 - (-14)/3). Sort 0, x, 5, -4 in decreasing order.
5, x, 0, -4
Let d(k) = k**2 + 2*k - 17. Let v be d(-4). Sort v, 1, -5.
v, -5, 1
Suppose 0 = a - g - 5, 5*a + 2*g - g = 25. Let z(q) = 1 - q**2 - 2*q**2 + q - q**2 - q**2. Let o be z(-1). Put a, 4, o in ascending order.
o, 4, a
Let p = 0.84 - -0.16. Put 3/8, p, -2, -3 in descending order.
p, 3/8, -2, -3
Let l = 16 - 21. Sort l, 1, 2.
l, 1, 2
Suppose 17 - 7 = 2*y. Let s(w) = w**3 - 6*w**2 + w. Let p be s(6). Suppose -p = 2*r - y*r. Sort r, -1, -3 in descending order.
r, -1, -3
Let s = 8 - 10. Put -4/7, s, -0.3 in descending order.
-0.3, -4/7, s
Let k = 497/8 - 62. Suppose -q + 4*q - 3 = 2*m, 0 = -q - 2*m + 1. Let c = -0.6 + 0.2. Sort c, k, q in decreasing order.
q, k, c
Let q = -0.1 - -0.1. Let n = -0.16 - 0.84. Sort 4, n, q in ascending order.
n, q, 4
Let d = 3 - 3.3. Let g = 1.3 + d. Let l = 0.3 + -0.7. Sort 4, l, g in decreasing order.
4, g, l
Let i = 5 + -1. Let w be (24/(-9))/i*-3. Suppose 0 = -f + 3*m - 2*m - 4, -w*f - 3*m + 2 = 0. Put 0, -4, f in decreasing order.
0, f, -4
Suppose 0*l = 4*l - 80. Suppose -4*u - l = u. Suppose -2*d + 0 - 6 = 0. Put 5, d, u in decreasing order.
5, d, u
Let o be -1*0/((-6)/(-3)). Suppose -8 = -o*w - 4*w. Sort 1, 3, w in increasing order.
1, w, 3
Let w be 6 + 2 - (2 + -3 + 3). Let o be 11/(-4) - (-1)/(-4). Sort -5, o, w.
-5, o, w
Let x = 60 + -62. Sort -4, x, 1 in increasing order.
-4, x, 1
Let h = 10 + -10.3. Suppose 0 = -k - 0 + 1. Put k, h, -3 in descending order.
k, h, -3
Let q(v) = -4*v - 3. Let f be q(-2). Suppose -20 = -5*n - 4*d, -2*d + 20 = -n + 2*d. Let w be (7 - (-23)/(-7)) + (-2)/(-7). Sort w, f, n in decreasing order.
f, w, n
Suppose 5*t = 2*m - 2, 4*m - 3*t - 2 = -26. Sort -1, m, 1 in increasing order.
m, -1, 1
Let f be (18/12)/(1/(-2)). Put 2, 0, f in descending order.
2, 0, f
Let x = 1.6 + -1.7. Let l = 0.7 - 0.4. Let j = x + l. Sort -0.5, j, -2/11 in ascending order.
-0.5, -2/11, j
Let i = 0.28 + -0.08. Let d = i - 0.7. Sort 0.1, d, 0.
d, 0, 0.1
Let t = 36 - 23. Suppose -4*v - 13 = 2*w + t, -2*v = -5*w - 17. Let o = 1 + v. Put 2, o, 0 in descending order.
2, 0, o
Suppose d = 4*d + 15. Sort -8, -2, 0, d in decreasing order.
0, -2, d, -8
Suppose 41*p - 40*p - 2 = 0. Put -10, 5, p in ascending order.
-10, p, 5
Suppose 0 = 6*n - 4*n + 2*a - 6, -n - 3*a = -3. Sort 4, 2, 0, n.
0, 2, n, 4
Let i = -16.9 - -2.9. Let u = 8 + i. Let n = u + 3. Sort -1, n, 1 in increasing order.
n, -1, 1
Let x be (-3 - -2 - -3) + -2. Let u = 0 + 1. Suppose -f + 2*i = 1, 0*f + u = -3*f + 5*i. Sort f, -2, x.
-2, x, f
Suppose -16 + 61 = 5*v. Let l = v - 7. Sort -1, 3, l in descending order.
3, l, -1
Let a be 16/(-6) + (-2)/6. Suppose 9 = -l + 2*t, -2*l - 4*t + 12 = -2*t. Let z be (-2 + -4)*2/3. Put a, z, l in descending order.
l, a, z
Let j = 46 + -21. Suppose 3*t - 9 = -3*a, 2*a + 5*t = 7*a + j. Sort 2, -3, a in increasing order.
-3, a, 2
Let f(s) = -3*s + 6. Let n be f(3). Let m(v) = 3*v + 3. Let d be m(n). Put d, -5, 3 in descending order.
3, -5, d
Let m = 12.85 - -0.15. Let t = 11 - m. Put t, -2/5, 1/4 in descending order.
1/4, -2/5, t
Suppose -r = g + 3 - 0, 0 = 4*r - 3*g - 23. Suppose -3*d + 9 = 0, 3*i - 2 = 4*d - 5. Put -3, i, r in increasing order.
-3, r, i
Let y = -0.17 - 2.83. Sort 3/5, y, 3 in ascending order.
y, 3/5, 3
Let s = 0 + 2. Suppose -2*z = 5*m + 5, -4*m + m + 23 = -4*z. Let x be m*(2 + -2 + -1). Put x, s, -4 in descending order.
s, x, -4
Suppose 0*p + 25 = -5*p. Let b(u) = -10*u**2 + 4*u**2 - 2 - u**3 - 2*u + u. Let x be b(-6). Sort p, x, 1 in descending order.
x, 1, p
Let h = 11.5 + -11.7. Put -0.1, h, 5, 0.3 in decreasing order.
5, 0.3, -0.1, h
Let z = 27 + -29. Sort z, -6, -3, -1.
-6, -3, z, -1
Let k(p) be the second derivative of -p**4/12 + 2*p**3/3 + 3*p**2/2 - p. Let g be k(4). Let f be -3 + g/3 - -1. Put f, -0.5, 1 in decreasing order.
1, -0.5, f
Let w = 14 - 10. Suppose r - 2 - 3 = 0. Put -3, r, w in decreasing order.
r, w, -3
Let s be (5/2 - 2)*8. Let i = -24 + 34. Suppose 0 = -11*p + i*p - 1. Put 2, p, s in ascending order.
p, 2, s
Let n be -9 + (-1)/(-2)*6. Sort -1, n, 3.
n, -1, 3
Let l = -8 - -7. Let q = 4 - l. Suppose 0 = c + 4*p + 8 + 3, 0 = -p - 2. Put -1, q, c in descending order.
q, -1, c
Suppose 0 = -7*c + 2*c. Suppose c*z - 20 = -4*z. Sort z, -5, 0.
-5, 0, z
Let m = -19.1 - -16.1. Let t be (1 - -1) + 2/(-2). Put m, t, -1/6 in ascending order.
m, -1/6, t
Let v = 94/165 + 1/33. Let c = 10 - 10.1. Put 3, c, v in ascending order.
c, v, 3
Let v = -49.6 - -50. Put v, -3, 0.3, 4/7 in increasing order.
-3, 0.3, v, 4/7
Let a(v) = -v - 1. Let u be a(3). Suppose 3*i = 2*i + 18. Let x = 13 - i. Put 3, x, u in increasing order.
x, u, 3
Let c = -86 - -76.4. Let r = 9 + c. Let i = r - -0.4. Put i, -0.5, 0.5 in increasing order.
-0.5, i, 0.5
Suppose 6 + 6 = -3*o - 3*c, 0 = o - c. Let l be 0 + o - (-1)/1. Let g = 2 - l. Sort -4, g, 4.
-4, g, 4
Let w be 1 + -8 + 2 + 2. Let d(l) = -l**2 - 3*l + 4. Let r be d(-3). Sort r, -1, w.
w, -1, r
Let z = -0.1 + -0.2. Let h = -7 - -3. Sort h, 7, z in increasing order.
h, z, 7
Suppose -10 = -s - 2*z - 2*z, 3*s - 2 = 2*z. Sort 3, 0, s in descending order.
3, s, 0
Let t = 0.04 + -0.84. Let z = -0.7 - t. Let b = -3 - -3.3. Put z, b, -0.2 in increasing order.
-0.2, z, b
Let k = 1 + -2. Let a = -1.7 - -2. Let p = -5 + 3. Sort p, a, k in ascending order.
p, k, a
Suppose -t = -4*t. Let q be t*(-3)/6 - -1. Let z be -5*q/2*2. Sort z, 4, -1 in descending order.
4, -1, z
Let f = 43 + -31. Suppose 0 = 2*i - f - 20. Let t be -2 - 1/(-7)*i. Sort t, 0.2, 0.1.
0.1, 0.2, t
Let n = -0.01 - 1.99. Let u = 982/7 + -140. Let r be (-2)/6*(-6)/9. Sort r, n, u.
n, r, u
Suppose -2 = 2*b - 4*k, 2*k = 6*k - 8. Sort 5, -1, b.
-1, b, 5
Let f = 0.3 + -3.3. Sort -2/9, -5, f, -4/5 in descending order.
-2/9, -4/5, f, -5
Let d = -51 + 46. Put d, 2, -2, 5 in ascending order.
d, -2, 2, 5
Suppose -26*g = -19*g + 28. Let d be (2/4*4)/(-2). Let c = 2 + d. Sort -2, g, c.
g, -2, c
Let d = 0.4 - -0.1. Suppose -4*v + 2*v = 14. Let l = v + 10. Sort l, -0.4, d.
-0.4, d, l
Let j = -2 - -5. Suppose h + j + 2 = 0. Sort 1, h, -0.5.
h, -0.5, 1
Let c = -2 - -1.9. Put c, 2, -2, 0.4 in descending order.
2, 0.4, c, -2
Let c = 1 + 2. Let i = c - -2. Sort -5, i, -0.3 in descending order.
i, -0.3, -5
Let c be (-2*4/(-34))/2. Let y = -439/8 + 221/4. Sort 0.3, y, c in decreasing order.
y, 0.3, c
Let n = -4 + 3.9. Let p = n + 4.1. Sort -0.3, p, -1/2 in increasing order.
-1/2, -0.3, p
Let g = 9 + -8.8. Let z = -0.4 - -0.2. Let j = -60 + 241/4. Put j, g, z in ascending order.
z, g, j
Let c = -8 - -13. Suppose 6*u = 9*u - 6. Sort 1, c, u in decreasing order.
c, u, 1
Suppose -2*b + 4*t = -32, 5*b - 36 = -t - 0*t. Suppose -w + b = w. Let r be w/(-14) - 46/(-14). Sort r, 5, -3 in decreasing order.
5, r, -3
Suppose -2*i - 2*i + 20 = 0. Let s(n) = n**2 + 5*n + 2. Let v be s(-5). Sort -4, v, i in ascending order.
-4, v, i
Let i = 100.9 + -101. Put i, -26, 2/7, 3 in increasing order.
-26, i, 2/7, 3
Let s = -6 + 4. Put s, 1/5, -5 in decreasing order.
1/5, s, -5
Let w = 2 + -1. Suppose -6 = 4*m + 6. Let l be 5*((-65)/(-25) - 2). Put w, m, l in descending order.
l, w, m
Let d = 298 - 289.98. Let f = d + -8. Put 0.2, f, 0.1 in decreasing order.
0.2, 0.1, f
Let t = 2 - 5. Let o(k) = 2*k - 16. Let s be o(7). Sort 2, t, s.
t, s, 2
Let t = 23 + -19. Suppose 4 + 0 = t*p. Suppose 3*l + 12 = -0*w + 3*w, 0 = 2*w - 5*l - 11. Sort w, p, -3.
-3, p, w
Let a(l) = 2*l**3 - l**2 - l + 2. Let c be a(2). Suppose 4*p = 0, -4*s + c = -7*p + 3*p. Put s, 0, -5 in descending order.
s, 0, -5
Suppose -2*m = -4*c + 10, 4*c - 4*m - 7 = -3. Suppose -3*d + 47 = -4*r, 0 = -5*d + 2*r - 3*r + 63. Let v = d - 8. Put -2, c, v in decreasing order.
v, c, -2
Let u = 1 + 0. Let z be ((-2)/(-4))/(1/(-6)). Put z, 0, u in decreasing order.
u, 0, z
Let a = 1.15 + -0.15. Put -0.4, a, -2 in increasing order.
-2, -0.4, a
Suppose 5*s - 2 = 3*s. Let k = -0.8 - -1.3. Let y = k + -4.5. Sort 0, s, y in ascending order.
y, 0, s
Suppose -3*c + c + 12 = 2*w, 2*w + 5*c - 24 = 0. Let u be w/8 - 