. Let k = -0.3 - -0.26. Let d = k - y. Put -4, d, 2/3 in ascending order.
-4, d, 2/3
Let z = 4/59 - -27/472. Suppose -u = -5*u - 4. Let g be ((-1)/(-5))/(u/3). Sort 1/7, g, z in descending order.
1/7, z, g
Let c = 47 + -42. Put -2, c, 3, 1 in ascending order.
-2, 1, 3, c
Let q(m) = -m - 1. Let s be q(-5). Suppose -s*i - i + 20 = 0. Suppose -4*r - i = -6*r. Put -4, r, -2 in ascending order.
-4, -2, r
Let y(t) = -2*t + 10. Let q be y(7). Let k = -156 - -163. Sort k, -0.3, q in ascending order.
q, -0.3, k
Suppose -5*y = -5*j - 4*y, -4*y = 0. Let l = -0.4 - -0.3. Let s = -0.9 + l. Put s, -4, j in descending order.
j, s, -4
Let s be (3 + -9)*6/(-9). Let p = 0 + s. Sort -5, p, 0 in increasing order.
-5, 0, p
Suppose -2*a - 15 = 5*n + 1, -3*n - 9 = a. Suppose -2*r + 6 = r. Suppose -4*g + 2*w - 7*w + 5 = 0, r*g + w - 1 = 0. Sort g, -4, n in ascending order.
-4, n, g
Let s be 2/4*4 + 2. Suppose 2*g - 21 = 29. Suppose -4*w - a - g = 0, 3*w + 0*w = 2*a - 5. Put w, 1, s in decreasing order.
s, 1, w
Let g = 1/110 + -21/110. Suppose 2*w - 2 = 2. Sort 4, g, w in ascending order.
g, w, 4
Suppose -3*p - 51 = -4*i, -5*p + 7 = 4*i + 60. Sort 4, p, -5, -0.2 in descending order.
4, -0.2, -5, p
Let m = 1 + 6. Let g = m + -2. Sort 1, -5, g in decreasing order.
g, 1, -5
Let a = 2 + 9. Let i(n) = n - 12. Let t be i(a). Suppose 2*y + 0*y - 8 = 0. Put t, 3, y in increasing order.
t, 3, y
Let a(c) = 58*c**3 - c. Let l be a(-1). Let p = 229/4 + l. Let y = -6 - -5.7. Sort 0.1, y, p in decreasing order.
p, 0.1, y
Suppose 7 = -5*w - t - 3, 0 = -3*w + t + 2. Let b be 1/(-8)*(-3 - w). Suppose 9*q = 3*q - 6. Sort -4, q, b.
-4, q, b
Let n = 2 - 1. Let c be (30/4)/(132/(-88)). Put n, c, 3 in increasing order.
c, n, 3
Let f = -4 - -1. Let y = -3 - f. Sort 3/5, 2/5, y in descending order.
3/5, 2/5, y
Let c = -132 - -662/5. Let v be (-2)/(-3)*6*1/(-8). Put -3, c, v in descending order.
c, v, -3
Let v = 16 - 10. Let o = v + -2. Let d = 1 + -4. Put o, 0.1, d in ascending order.
d, 0.1, o
Let m be 18/108 - (-1 + 1). Sort -1, m, -0.3, -0.12.
-1, -0.3, -0.12, m
Let q = 27 + -25. Let w = 2 - 3. Let n be w/(2/4) + 0. Sort n, 0, q in descending order.
q, 0, n
Suppose -4 = -3*a + 8. Put -3, -1, -1.1, a in decreasing order.
a, -1, -1.1, -3
Let u = -3 + 11. Let x = u - 3. Sort 0.1, 0.4, x.
0.1, 0.4, x
Let p = 0.04 + 0.26. Suppose -4*m - 3*b = -19, -4*b = 5*m - b - 20. Sort p, m, -2 in ascending order.
-2, p, m
Suppose 6*v = 5*v. Suppose -5*c = 5*n, -n - 2*c + 5*c + 16 = v. Sort -4, -3, n.
-4, -3, n
Let o(f) = -2*f - 7. Let g be o(-6). Suppose -g*d = -3*d - 10. Let w = 8 + -4. Sort 3, d, w in ascending order.
3, w, d
Let r = -249.89 + 246. Let w = r + -0.11. Put w, 3, -3/4 in ascending order.
w, -3/4, 3
Let y = 4.6 + -7.6. Put 3, y, -0.5 in increasing order.
y, -0.5, 3
Let y(c) = c**2 - 7*c - 2. Let j be y(8). Sort -5, j, -1 in increasing order.
-5, -1, j
Suppose -4*d - 9 = -5*p, -5*d = p + 22 + 11. Let m = d - -8. Put m, 1, 3 in decreasing order.
3, m, 1
Let k = 4 - 1. Suppose -5*x = 4*l - 16, -4*l + 10 = -4*x - 6. Sort 2, k, l.
2, k, l
Suppose -d + 2*d = 4*d. Sort d, -3, -1 in decreasing order.
d, -1, -3
Let y(q) = -q**2 + 6*q - 4. Let a(c) = -c**3 - 7*c**2 - c - 2. Let i be a(-7). Let k be y(i). Put -4, k, 0 in increasing order.
-4, 0, k
Let q = 2 + -4. Let p = -641/4082 - -1/314. Put 0.4, p, q in ascending order.
q, p, 0.4
Let i = -1.3 - 0.3. Let s = i + 2. Put -0.3, s, -5 in decreasing order.
s, -0.3, -5
Let u = -1013/5 - -202. Put u, -0.4, 12 in ascending order.
u, -0.4, 12
Suppose -k - 2*u + 7*u = -22, -k + 4*u = -18. Let r = -3 + k. Sort 4, 2, r in decreasing order.
4, 2, r
Suppose z + 20 = -4*z, 4*u - 4 = 3*z. Suppose -9 + 1 = 2*h. Let g be ((-10)/h)/((-6)/12). Sort g, u, 3 in increasing order.
g, u, 3
Let z = -47 - -71. Let o = z - 19. Suppose 2*k - 1 - 3 = 0. Put 3, o, k in increasing order.
k, 3, o
Let p(b) = -2*b - 13. Let m be p(-8). Suppose 0 = -l + 3, -3*t - 1 = m*l - 4. Sort 4, 0, t in descending order.
4, 0, t
Let s = 36 - 40. Put -3, s, 3 in increasing order.
s, -3, 3
Let v be 1*-6*2/(-8). Let p = -0.5 + 0.4. Let t = p + -0.9. Put 4/5, t, v in ascending order.
t, 4/5, v
Let x = 24 - 20. Let o = -5.8 - -0.8. Sort x, 4/5, o in increasing order.
o, 4/5, x
Let r = 13 - 10. Sort -2, r, 2/15.
-2, 2/15, r
Let r be (-3)/(45/6) - (-5)/25. Sort -0.3, -2, 2, r in descending order.
2, r, -0.3, -2
Suppose -b + 3*t = 2, 0*t = 2*t. Put 5, 3, b in descending order.
5, 3, b
Let l = 171/2 - 85. Sort 0.2, 4/7, 13/3, l in descending order.
13/3, 4/7, l, 0.2
Let d(z) = z**3 + 4*z**2 - 8*z - 6. Let l be d(-5). Let i = l + -4. Put 1, -5, i in descending order.
i, 1, -5
Suppose 0 = f + 2*f. Let o = -3 + 1. Suppose -4*x = x - 5*p - 50, -3*p = 5*x - 10. Put o, f, x in descending order.
x, f, o
Let a be ((-12)/21)/((-4)/(-14)). Sort 3, a, 13 in descending order.
13, 3, a
Let q(h) = -h**3 + 5*h**2 - 4*h - 1. Let b be q(3). Let o = -1 + 4. Sort b, -5, o in decreasing order.
b, o, -5
Let d = 6 - 10. Let z(n) = -n**3 - 5*n**2 - 5*n. Let p be z(d). Suppose 29 = -5*r + p. Sort 5, r, 1 in increasing order.
r, 1, 5
Let y = 47/3 + -52/3. Sort y, 0.4, 3/4 in decreasing order.
3/4, 0.4, y
Let k(p) = -4*p**2 + 2*p - 1. Let f be k(1). Suppose 2*i = 6*i - 8. Sort 5, i, f in ascending order.
f, i, 5
Let j = 6.7 + -6. Let i = j - 0.2. Put -5, i, -4 in ascending order.
-5, -4, i
Let h = 10 + -6. Let n = 0 - -8. Suppose h*a + 0*a = -n. Sort 1, 4, a.
a, 1, 4
Let b = -5 + 5. Put 0.4, b, -3 in decreasing order.
0.4, b, -3
Let i = -19 - -24. Suppose 0*h - 3*h + 2*m - 19 = 0, -3*h = -3*m + 21. Let q be ((-2)/4)/(2/8). Sort i, q, h.
h, q, i
Suppose 0 = -0*i - i + 3. Suppose i - 5 = a. Let h = a - -2. Put 2, h, -5 in decreasing order.
2, h, -5
Let y = -6 + 11. Suppose -9*c + 2 = -11*c. Sort c, y, 1 in descending order.
y, 1, c
Let x be (2 + -3)*763/(-17). Let c = x + -45. Let s(m) = -2*m + 9. Let v be s(6). Sort v, c, 3.
v, c, 3
Suppose -4*o + 0*o = -12. Suppose 16 = -o*r + 1. Put r, 4, 0.5 in ascending order.
r, 0.5, 4
Let y = -338.02 + 348. Let p = y - 10. Put -4/3, p, -3 in increasing order.
-3, -4/3, p
Let r = 0.7 - 5.7. Let z = -0.08 + 3.08. Sort r, -2/3, z in ascending order.
r, -2/3, z
Suppose 2*u = -w + 27, w - 3*w = 2*u - 30. Suppose -7*q = -3*q - u. Suppose -5*r + 8 + 2 = 0. Sort -5, r, q in ascending order.
-5, r, q
Let l = -30 - -16. Let u = l - -11. Sort u, 1, 3 in descending order.
3, 1, u
Let m = 44 - 40. Sort -2/9, 0.4, m, -4 in increasing order.
-4, -2/9, 0.4, m
Let c be 9/(-2) + -1*(-3)/(-6). Put -1, -1.2, c in ascending order.
c, -1.2, -1
Let c be (-3 - -2)/(3/15). Let y(z) = z**3 + 4*z**2 - 3*z + 6. Let s be y(c). Sort -1, s, 3.
s, -1, 3
Suppose 0 = z - 2*v + 4, 8 = -3*z + 6*z + 4*v. Suppose y = 4*d + 8, 4*d = 2*y + 2 - 10. Put z, -5, d in increasing order.
-5, d, z
Let d = -0.313 + -0.087. Sort d, 4, 5.
d, 4, 5
Let k be 2 + (-3 - (0 - (1 - -2))). Let i(w) = -w**2 - w. Let o be i(0). Put k, o, -1 in decreasing order.
k, o, -1
Let t = -7.6 - -8. Let n(o) = 2*o - 2 + 0 + 0*o. Let v be n(3). Sort t, v, -3 in ascending order.
-3, t, v
Let w = -1.9 - -0.8. Let n = -1 - w. Let z = 413 - 408. Sort n, z, -0.5 in increasing order.
-0.5, n, z
Let w = 96 - 97.98. Let k = w + -0.02. Let y = -1.3 - -1. Sort y, -0.5, k in increasing order.
k, -0.5, y
Let r = 0.4 + -1.4. Let v = -6 + -1. Let l = -7.3 - v. Sort l, 2, r.
r, l, 2
Let j be -1 - -3*(-1 + 2). Let n be 10/15 - 34/6. Let s(h) = h + 6. Let a be s(n). Sort a, j, 0 in decreasing order.
j, a, 0
Let q(f) be the first derivative of -f**3/3 + 2*f**2 + 2*f - 1. Let v be q(5). Let t be 1/((1 + -3)/(-2)). Sort v, t, -1.
v, -1, t
Let z be -3*5/12*-4. Put -2, 3, z in decreasing order.
z, 3, -2
Let d = -0.22 + -3.78. Put 7, d, 2/13 in descending order.
7, 2/13, d
Let w = -3 + 5. Suppose -3*m + 8 + 1 = 0. Sort -5, m, w in increasing order.
-5, w, m
Let x = -1.8 + 2. Let j = 8.2 + -8. Let v = x + j. Put -2/9, v, 0 in descending order.
v, 0, -2/9
Let j(f) = 14*f**2 - 2*f + 3. Let d be j(1). Put d, -4, 1, 3 in increasing order.
-4, 1, 3, d
Suppose 2*t - 3 = -2*x + 9, 3*t - 13 = 2*x. Put 4, 3, t in increasing order.
3, 4, t
Let t be 0 - (2/(-3) + 0). Let d = -1591/9 + 177. Put -1, t, d in decreasing order.
t, d, -1
Let p be (-4)/(-14) - 37/7. Let o = 0.22 + -0.12. Let d = 2 -