v - 3. Let x be w(4). Put c, -7, x in descending order.
x, c, -7
Suppose 0*w + 2*w - 3*z = 25, -25 = -w + 4*z. Let v = -19 - -27. Let x be (1 - -4)*v/(-10). Put 4, w, x in decreasing order.
w, 4, x
Let k be ((-6)/((-10)/(-5)))/(-1). Suppose -3*t = -k*q - 3, -t = -5*q - 4*t - 13. Sort -5, q, 3.
-5, q, 3
Let h = 130 - 132. Let i be -7*(3/3 + 0). Put h, 2, 0, i in increasing order.
i, h, 0, 2
Let i = -1336 + 1337. Sort -43, -3, i, -2 in descending order.
i, -2, -3, -43
Let k(c) = -c**2 - 4*c + 4. Let u be k(-4). Put u, -2, 1/6 in ascending order.
-2, 1/6, u
Let j(d) = d**3 - 8*d**2 + 2. Let o be j(1). Sort -89, -1, o.
-89, o, -1
Let k = 111.3 - 112. Let t = -0.6 - k. Let r = 0.3 - 0.32. Put r, t, 0 in increasing order.
r, 0, t
Let y = 0.075 + -0.175. Put 7, y, 0, -1/4 in descending order.
7, 0, y, -1/4
Let q = 35/3 - 236/21. Put q, 1/7, -5 in descending order.
q, 1/7, -5
Let l be (-1)/(((9 - 4) + -3)/(-10)). Sort 9, l, 1.
1, l, 9
Let s = 2/1660437743 - 886527636240986/307180982455. Let a = s - -2886. Let j = 408/3515 + a. Put j, -1, -5 in descending order.
j, -1, -5
Let c = 2.195 - -3.805. Sort 4, -8, 1, c in descending order.
c, 4, 1, -8
Let z = 1089 + -1088.7. Put -2, z, -22 in decreasing order.
z, -2, -22
Suppose -4*t + 20 = -4*a, -5*t = -0*t - 4*a - 21. Suppose 146*w - 43 = 687. Sort -4, w, t in decreasing order.
w, t, -4
Let n(h) = 5*h - 39. Let l be n(8). Let y be (-12)/(-5)*(-10)/(-3). Let s = -8 + y. Sort l, -5, s in descending order.
l, s, -5
Suppose 4*g = -n - g - 19, -4*n + 3*g + 16 = 0. Sort -89, -3, -2, n in decreasing order.
n, -2, -3, -89
Let d = -4.9118 - 0.0882. Put 4, d, -3/19, 0.3 in increasing order.
d, -3/19, 0.3, 4
Let h = -234.5 + 235. Sort h, 5, 0.3, -4 in descending order.
5, h, 0.3, -4
Let q = -4 + 9. Let l = q - 0. Put l, 3, 6, 4 in descending order.
6, l, 4, 3
Let d = 157 - 157.1. Sort 4, d, -2/9, 5 in descending order.
5, 4, d, -2/9
Let m = -0.015 - -0.815. Let t = -0.4 + m. Sort 1/3, 0.5, t.
1/3, t, 0.5
Let o be ((-280)/(-32) + -7)*1/7. Sort 2/15, 18, o in decreasing order.
18, o, 2/15
Suppose 14*w - 181 = -181. Sort w, -1, 5, -83 in decreasing order.
5, w, -1, -83
Let q = 9920/11 - 902. Sort -5, q, 79/3, 2 in ascending order.
-5, q, 2, 79/3
Let r = -0.18 + 0.75. Let i = 0.47 - r. Sort -3, -0.4, i.
-3, -0.4, i
Let p be -2 + (6/10 - (-8)/(-5)). Suppose -3*l + 3 + 3 = d, -17 = -5*d - 2*l. Let u = -6 + 2. Sort u, d, p in descending order.
d, p, u
Let j be (-104)/6825 - (-4)/(-50). Sort j, 3/4, -5, -0.5 in decreasing order.
3/4, j, -0.5, -5
Let p = -4007 - -4006. Suppose -3 = -2*v + 5. Sort p, v, -5 in increasing order.
-5, p, v
Let o = 234 - 234. Let c = -0.1 - 0.1. Let i be (-63)/42*((-1)/3 + 1). Sort o, i, c in descending order.
o, c, i
Let y = -639/4 + 159. Put y, 1, 2/19 in ascending order.
y, 2/19, 1
Let j(d) = 4*d**2 + 4*d + 3. Let r be j(-1). Suppose 4*b = r + 13, 0 = 3*q - 3*b + 57. Let a = -5 - -10. Sort a, q, 4 in descending order.
a, 4, q
Let m = 2/599 + 1184/4193. Sort m, -51/7, -4 in ascending order.
-51/7, -4, m
Let h = -57 - -57.23. Let z = -0.03 + h. Let w = 1.05 - 0.05. Put z, w, 3 in increasing order.
z, w, 3
Suppose 2 = -0*u - u. Let z = -7 + 26. Let d = 15 - z. Put u, d, 1/3 in descending order.
1/3, u, d
Let q = 1.27 + -0.9. Let s = 15.63 + q. Let r = s + -12. Sort 2/13, -0.5, r in decreasing order.
r, 2/13, -0.5
Let w be ((-1)/2)/(35/(-30) + 1). Suppose w*c + 0*c = 12. Put 0, c, -6 in decreasing order.
c, 0, -6
Let o = 195.3 + -195. Sort 2/3, o, 0.7, -3/4.
-3/4, o, 2/3, 0.7
Suppose -2*s + 4 = -6. Suppose 4*x = p - 1 - 0, -s*p = -4*x - 5. Suppose -4*f = 2*g + 16, -p - 1 = -2*g + 2*f. Sort g, 2, -4 in descending order.
2, g, -4
Let b be 34/(-9) - (-218)/(-981). Suppose -1 = 2*d + 1, -a + 2 = -2*d. Suppose 0 = -2*l + l - z - 2, -3*l + 2*z = -9. Sort a, b, l in descending order.
l, a, b
Suppose 4*u - j = 19, 0*u - 2*j = 4*u - 22. Let r = u + -8. Suppose 1 - 5 = -w. Sort 0, w, r in descending order.
w, 0, r
Let j be 4*-2*(-1)/(-6). Let t = -42 + 41. Let f be (-4)/(-16) + t + 140/144. Put f, 3, j in descending order.
3, f, j
Let p = -439 - -343. Sort -5, -4/7, 4, p.
p, -5, -4/7, 4
Let q = 59.4 - 83. Let s = q - -24. Sort 0, s, 0.5 in descending order.
0.5, s, 0
Let b = -435 - -380.8. Let m = b - -54. Put 4, m, 1 in increasing order.
m, 1, 4
Let k = 27.5 - 28.5. Sort k, -2/11, 2/3, 41.
k, -2/11, 2/3, 41
Let f = -3.904 - 0.096. Sort -0.5, -7, 0, f in decreasing order.
0, -0.5, f, -7
Let x = 6.4 + -6. Let y = -11/16 - -103/80. Sort y, -1/12, x in increasing order.
-1/12, x, y
Let t = -163526354/495 - -330356. Let u = t + 4/45. Put u, 4, -1 in increasing order.
-1, u, 4
Let p = -30 - -37. Suppose 10*r = p*r + 12. Suppose 0 = 2*w + 4*z - 12, -6 = -2*z - 0. Sort w, r, -2.
-2, w, r
Let l(d) = d. Let f be l(-1). Suppose i = 2*i. Suppose i*w = -2*w + 10. Sort f, w, -2 in descending order.
w, f, -2
Suppose -5*f - 3*t = -15, 5*f - 15 = 5*t - 2*t. Let u = -23 - -38. Suppose u = 5*d - 10. Sort d, f, -1.
-1, f, d
Suppose 8 = 3*o + 2*t, -3*t = -4*o - 5 + 27. Let x = -7 + 10. Suppose -3*y - 3*d - 32 = y, -7 = x*y - 2*d. Put y, 0, o in decreasing order.
o, 0, y
Suppose -p - 15 + 21 = 0. Suppose p*u = -36 + 6. Let y = 13 - 11. Sort -3/4, y, u in decreasing order.
y, -3/4, u
Let y = 208 + -324. Let m = y + 116. Put 12, m, 5 in descending order.
12, 5, m
Let z be (5 - 4)*(-2)/6. Let b = -32 + 28. Sort 4, b, z in decreasing order.
4, z, b
Let o(v) = v**2 - 10*v + 9. Let a be o(10). Suppose 11*b - a*b = 20. Suppose -3*w = -w - b. Sort 0, -3, w in descending order.
w, 0, -3
Suppose 61*c - 132 = 73*c. Sort c, -1, 5, 4.
c, -1, 4, 5
Let t = 24.66 - 25. Let b = -3.66 + t. Put b, 3/7, -1 in decreasing order.
3/7, -1, b
Let d(o) = -o**3 - 5*o**2 + 7*o + 7. Let m be d(-6). Put -2, -1, m in descending order.
m, -1, -2
Let r = -4.2 - -27.2. Let m = -27 + r. Let z = -1.3 + 0.3. Sort m, z, -3/7 in decreasing order.
-3/7, z, m
Suppose j - 8 = -4*a, 3*a + 2*j - 4 = 7*a. Sort 3, -1, -87, a.
-87, -1, a, 3
Let s be 5/(1 + (-160)/175). Let w = 57 - s. Sort w, 2, -4/7 in descending order.
2, -4/7, w
Suppose 4*t + 10 = x - 15, 5*x + 2*t - 147 = 0. Let d = -25 + x. Sort d, -1/3, -5 in increasing order.
-5, -1/3, d
Suppose 15 = -5*u - 5. Let n = -49 - -49. Suppose -5*w - 2*y + 1 + 9 = n, w = -2*y + 2. Sort u, w, 5 in ascending order.
u, w, 5
Let c = -143 - -227. Sort -2, c, 3 in descending order.
c, 3, -2
Let y(z) = z**3 - 6*z**2 - 6*z - 8. Let a be y(7). Let w be (-3)/(a/(8/(-12))). Put w, 4, -5 in descending order.
4, w, -5
Suppose 5*i + o + 3*o = 4, 0 = i - 5*o - 24. Put 11, i, 1 in ascending order.
1, i, 11
Suppose 118*x - 134*x = -16. Put x, -1, 4, 298 in decreasing order.
298, 4, x, -1
Let a = -200 - -190. Let l = -95/3 - -283/9. Let o be (-20)/5 + 7 - -1. Sort o, a, l.
a, l, o
Suppose -4*x + 20 = -8*x - i, 0 = -3*x - 3*i - 24. Let m = 8 + -4. Put m, -2, x, -10 in descending order.
m, -2, x, -10
Let p = 46 + -44. Let t = -220 - -1096/5. Sort t, p, -2/17 in descending order.
p, -2/17, t
Let h(f) = -f + 10. Let s be h(7). Let v be (s/(-4))/((-7)/4). Suppose 3*o - 127 + 112 = 0, 5*o = -5*a + 50. Sort 0.4, v, a in decreasing order.
a, v, 0.4
Let f = -32.101 + 0.101. Let q = 213 - 210. Put q, -5, f in increasing order.
f, -5, q
Let y be 13 - (-2 - -3)/1. Suppose i - y = -i. Sort i, 0.2, 2/13 in decreasing order.
i, 0.2, 2/13
Suppose -a - 19 - 1 = -2*h, 0 = -3*h + 12. Let c be ((-2)/a)/((-6)/12). Let u be 22/33 + (-8)/6. Put c, u, -6 in increasing order.
-6, u, c
Let t = 0.02469 - -0.47531. Let y = -9.2 + 10. Let g = -0.2 - y. Put 1/4, t, g in increasing order.
g, 1/4, t
Let l be (2 - 1)/(-1) + 7. Suppose -v - 5 = -l*v. Let r(h) = -5*h + 20. Let u be r(4). Sort u, 5, v in descending order.
5, v, u
Suppose 0 = 3*p + 3, -5*y - 13*p + 20 = -8*p. Put -3, y, 2, 162 in descending order.
162, y, 2, -3
Suppose 32*k - 2 = 30*k + 2*s, 3*k + 2*s = 8. Sort -2, k, 88, -1/2 in increasing order.
-2, -1/2, k, 88
Let u be 2/6 - (-342)/(-54). Let l be 9*(-2)/u*(-5)/(-3). Sort l, 0.4, 0.5 in decreasing order.
l, 0.5, 0.4
Let d = -0.6 + 1. Let f = -12556 - -12557. Sort 7/3, f, d in descending order.
7/3, f, d
Let l = -13 - -5. Let w be l/20 - 116/10. Let u be (w/(-18))/(4/(-18)). Sort 1, 5, u in increasing order.
u, 1, 5
Suppose -4*m + 3 = -5*u - 2, u + m = -10.