*v(y). Let w be x(-5). Put 5, w, 3 in decreasing order.
5, 3, w
Suppose 2*l = 7*l - 45. Suppose h - 5*h + 4*n = -28, -l = 3*n. Let z = 1 + -1. Put h, 1, z in decreasing order.
h, 1, z
Let s = -0.3 - 4.7. Let g = -0.61 - -0.11. Put 0.2, g, s in increasing order.
s, g, 0.2
Let a = 0.031 - -15.969. Sort 0, a, 3 in descending order.
a, 3, 0
Suppose -4*a - 10 = 6. Sort a, 0, -1, -13 in ascending order.
-13, a, -1, 0
Let k be ((-3)/(-6))/(2/(-16)). Let n be (1 + -4)*15/(-9). Put n, -3, k in decreasing order.
n, -3, k
Let o = -8 - -8.3. Let u = 0.1 - 8.1. Let t = -4 - u. Put t, o, -0.2 in decreasing order.
t, o, -0.2
Suppose -50 = -0*d + 5*d. Let l be 18/4*d/(-15). Let j(n) = n**3 - 5*n**2 + 5*n - 6. Let q be j(4). Put q, -3, l in increasing order.
-3, q, l
Suppose 4 = 5*q + 2*l, -5*q + 5*l - 9 - 1 = 0. Suppose -4*b = -q*b - 12. Suppose -y = 3*u + 12, u - 16 = 5*y + 5*u. Sort y, b, -5 in decreasing order.
b, y, -5
Let j = 0.1 + -0.1. Let b = 0.26 - -5.74. Let v = -10 + b. Put v, -0.1, j in decreasing order.
j, -0.1, v
Suppose 4*n = w + 3*n + 4, -4*n = w - 11. Suppose -4*l + 3*v = -2*v - 32, 3*v = -l - 9. Let h(a) = -a**3 + 2*a**2 + 3*a + 1. Let b be h(l). Sort 3, w, b.
w, b, 3
Let p = -25 + 35. Suppose -5*n + p*n = 10. Sort 3, n, -1 in descending order.
3, n, -1
Let l = 984/5 + -197. Sort l, -8, 2 in descending order.
2, l, -8
Suppose -2*j + 7*j + 5*h = 0, -3*j + 4*h = -35. Sort -3, j, 1 in descending order.
j, 1, -3
Let q = -148 - -1040/7. Sort 0.4, q, 4 in increasing order.
0.4, q, 4
Let j = -1 + -1. Let x be ((-4)/(-65))/(6/(-15)). Let k = x + 21/52. Put -1, k, j in descending order.
k, -1, j
Let k be 6/(2/(-14)*2). Let x be (-1)/(-2 - k/9). Let f be 3/(x/(-1)) + 1. Put -2, f, 4 in increasing order.
-2, f, 4
Suppose 10 = 5*m - 0. Let y be 2/(6/9)*m. Suppose y = 3*g - g. Put -1, g, 1 in decreasing order.
g, 1, -1
Let s(z) = -z**2 + 7*z - 9. Let m be s(6). Let f = m - -5. Put 5, f, 3 in ascending order.
f, 3, 5
Let l = -1.34 - -0.34. Sort 0.5, l, -0.1.
l, -0.1, 0.5
Let w be 4/(-36)*(12/(-15) + 2). Put -4, -3, w in decreasing order.
w, -3, -4
Suppose 0 = 6*a - 7*a + 4. Sort a, -13, 3 in ascending order.
-13, 3, a
Let g = 39.6 + -41.63. Let y = -0.03 - g. Let j = -30.6 - -31. Put 4, y, j in descending order.
4, y, j
Let h = -11 + 14. Sort -2, 5, 0.1, h in increasing order.
-2, 0.1, h, 5
Let f = -83 - -83. Let l(x) = x**3 + 4*x**2 - 2*x - 3. Let d be l(-4). Sort 2, d, f in decreasing order.
d, 2, f
Suppose 2*b - 38 = -2*l - 0*l, 5*l + 2*b - 86 = 0. Suppose 5*o + l = -6*p + 4*p, -14 = 4*o + p. Let s be -1 + -1 + (3 - 1). Sort o, -1, s in increasing order.
o, -1, s
Let g(d) = -d + 3. Let f be g(-5). Let n be 108/(-14) - f/28. Let w be ((-3)/(-10))/(6/n). Put w, 0.1, 0.2 in ascending order.
w, 0.1, 0.2
Let q be 5/(-33) - (-2)/(-11). Let r = -0.1 - -0.2. Sort r, q, 2/9 in decreasing order.
2/9, r, q
Let s be 9/(-12) - 1/4. Let p = 11 + -7. Let u = -15 + 12. Sort s, u, p.
u, s, p
Let s(m) = m + 4. Let h be s(-4). Let i = -0.33 - -0.26. Put i, 2, h in decreasing order.
2, h, i
Suppose 5*f - 6 = 3*f. Put f, 1/6, -2 in ascending order.
-2, 1/6, f
Let s be 3/(-12) - (-13)/4. Suppose -9 + 29 = -4*d. Sort s, d, 0 in descending order.
s, 0, d
Let w(d) = 2*d**2 + 5*d + 2. Let x be w(-3). Sort -14, x, -5.
-14, -5, x
Let u = 46 - 16. Suppose -i = 4*i + u. Let n(k) = k + 9. Let f be n(i). Sort 0, -5, f in decreasing order.
f, 0, -5
Let l = 22 + -18. Sort 0.2, 0.06, l in ascending order.
0.06, 0.2, l
Let q be 0 - (6/3 - 2). Let c = 3 + q. Let p = c + 0. Put p, -1, 1 in descending order.
p, 1, -1
Let o(r) = -r - 22. Let i be o(-20). Let j be (-7)/2 + (-2)/4. Sort i, 0, j in decreasing order.
0, i, j
Let j be (-38)/(-209) - (104/(-154) - -1). Let i = 5.1 - 5. Let s = 0.4 - 0.2. Sort j, s, i in ascending order.
j, i, s
Let i = 38 - 115/3. Put i, -1, -3 in increasing order.
-3, -1, i
Let u = 175 - 1227/7. Sort 3, 15, u in increasing order.
u, 3, 15
Let b = -39 - -40. Suppose z = -z + 2*i - 6, 3*z + 13 = 5*i. Let a be 1/(2 - (4 + z)). Put -2, a, b in ascending order.
-2, a, b
Let u = 5 - 4.9. Sort 3, u, -1.
-1, u, 3
Let d = -18 - -12. Let f = d + 5.7. Let w = 4 + -7. Sort w, f, -0.4 in increasing order.
w, -0.4, f
Let s = 187 + -193. Sort -12, -1, s in descending order.
-1, s, -12
Suppose 8 = -0*m + 2*m. Let x be (-40)/m*(-1)/2. Let w = 0 - 1. Put x, 1, w in descending order.
x, 1, w
Let v = 6.5 - 6.1. Let r = -21/13 - -19/13. Put r, v, 0.2 in descending order.
v, 0.2, r
Suppose -5*m + 0*m = -10. Suppose -4 + 10 = -3*v. Let o be -2 - (12 + 2)/v. Put -3, o, m in increasing order.
-3, m, o
Suppose -2*r - 10 = -2*o, -4*r - 2*o = -0*o + 2. Let a = -2.8 - -4. Let p = -0.2 + a. Sort -6, r, p in decreasing order.
p, r, -6
Let z = -52 + 49. Sort 2, 21, z, 5.
z, 2, 5, 21
Suppose 0 = 4*i + i. Suppose -2*s + 3 - 9 = 4*t, i = -3*t + 3. Sort 1, 3, s.
s, 1, 3
Let j be (1 + 4)/(0 + -1). Let k be (2/(-14))/((-10)/70). Put j, k, 2 in decreasing order.
2, k, j
Let d = -12 + 15. Sort d, -2, -1 in descending order.
d, -1, -2
Suppose g - 15 = -5*f, -5*g = -5*f + 3*f - 21. Let m = 5 + -14. Let z = 4 + m. Sort -4, z, f in decreasing order.
f, -4, z
Let m(c) = c**3 + 10*c**2 + 7*c - 13. Let p be m(-9). Suppose p*h - 10 = a, 4*a + 2*h + 4 = 4*h. Put -3, a, 5 in decreasing order.
5, a, -3
Let u(g) = -g**2 - 6*g - 6. Let k be u(-4). Suppose -4 = -k*h - 0. Suppose 0*w - 10 = h*w. Put w, 5, 4 in ascending order.
w, 4, 5
Let r be ((-2)/(-3))/((-4)/(-6)). Suppose r = -5*x + 6. Let y be (-23)/5 - 2/5. Sort x, -0.1, y.
y, -0.1, x
Suppose 4*o - 13 = r, 2*r + o = -o + 14. Put -2, r, -5 in increasing order.
-5, -2, r
Let i be ((-4)/(-9))/(-3 - -1). Sort 0.5, i, 0.
i, 0, 0.5
Let k = 0.7 - 2.3. Let b = k + 1.4. Suppose -3*d - 6 = -d. Sort d, -2, b in increasing order.
d, -2, b
Suppose -4*s - 14 = -g - 2, 8 = -4*s. Suppose 0*k = -3*k. Sort -2, g, k in decreasing order.
g, k, -2
Suppose 2*z - 19 - 23 = 0. Let y = z - 21. Sort y, -1, -2 in decreasing order.
y, -1, -2
Suppose -5*y = 25, -y + 6 - 31 = -4*t. Sort -5, t, 37.
-5, t, 37
Let q = -5.23 - 0.27. Let f = q + 0.5. Put 5, 1, f in increasing order.
f, 1, 5
Let g(k) be the first derivative of -k**4/4 - 8*k**3/3 - 3*k**2 + 4*k + 3. Let q be g(-7). Let n(i) = -i - 1. Let s be n(0). Put q, s, 5 in decreasing order.
5, s, q
Let d = -1 + 0. Let k be (d + -1)*(-6)/(-4). Let a be (-4)/(-16) - k/4. Sort 5, 3, a in increasing order.
a, 3, 5
Let c = -3 - -1. Let p = 2.4 + c. Sort 1/4, 2, p.
1/4, p, 2
Let n(a) = -a - 7. Let l be n(-7). Suppose -d = -5*d + 20. Sort d, 3/5, l in ascending order.
l, 3/5, d
Let y be 4/10 + -3 + (-172)/(-20). Sort 5, 2, -1, y in descending order.
y, 5, 2, -1
Let z be (-3 + 4)*(-2)/1. Put z, 5, -3, 0 in descending order.
5, 0, z, -3
Let s = 0.9 - 0.8. Put -3, s, 1/8 in decreasing order.
1/8, s, -3
Let w(f) = -f**3 - 5*f**2 - f + 8. Let h be w(-4). Sort 1, h, 3, -2 in descending order.
3, 1, -2, h
Let n = 39 - 40.85. Let q = n + -0.15. Put q, -0.4, -3 in decreasing order.
-0.4, q, -3
Let u be -5 - (-4 + (4 - 1)). Put 0.5, -5, u, 1/4 in descending order.
0.5, 1/4, u, -5
Let q = 8 + -12. Sort q, -3, -5 in decreasing order.
-3, q, -5
Let h = 52 + -12. Suppose h = -0*j - 5*j. Let t be (2/(-4))/(-1)*j. Put -1, 0, t in ascending order.
t, -1, 0
Let g(p) = -2*p**3 - 3*p**2 - 2*p - 3. Let x be g(-2). Let d = x - 1. Let o = d - 9. Sort o, 0, -4 in ascending order.
o, -4, 0
Let y = -30 + 31. Let b(d) = d**2 - d + 1. Let w be b(2). Sort w, 0, y.
0, y, w
Let g be 20/2 - (1 - 0). Suppose q - g = 4*q. Put 5, 9, q in decreasing order.
9, 5, q
Suppose m = -z - 2, -3*m - 4*z - 14 = -2*m. Put -5, -4, m in ascending order.
-5, -4, m
Let b = 2.936 - -0.064. Put 1, 2, b, 2/5 in ascending order.
2/5, 1, 2, b
Let i = -149 + 128. Sort i, 2, -2/5 in descending order.
2, -2/5, i
Let y = 7 + -7.6. Let v = -1.4 + y. Let t = v + 7. Sort -4, t, 1/4 in ascending order.
-4, 1/4, t
Suppose -25 = -5*l - 0*l. Sort -1/3, 0, l in descending order.
l, 0, -1/3
Let u = 177 + -177.5. Sort 27, 0.4, u, 1/8 in ascending order.
u, 1/8, 0.4, 27
Let a = 3 - -1. Suppose 0 = -0*k - a*k + 8. Sort -1, k, 4 in ascending order.
-1, k, 4
Let d = 0.041 - 21.041. Let v = d + 19. Sort v, 0.2, 0.1 in descending order.
0.2, 0.1, v
Let u = -8 + 8.4. Sort u, 5, 1/3.
1/3, u, 5
Let w = -0.29 - -0.3. Let