= -3*i + 2 - v. Sort -3, 4, i.
-3, i, 4
Suppose 4*t - 39 = t. Suppose 0 = -3*n - 3*a + 18, -4*a + 2 = n - t. Let q = 6 - 10. Put q, 5, n in decreasing order.
5, n, q
Suppose -4*i - 46 = -6. Let o(k) = 2*k - 2. Let a be o(-2). Let d = i - a. Put 1, 0, d in descending order.
1, 0, d
Suppose 3 = g, -5 = 5*w - 0*w - 5*g. Suppose -p + 1 = -2*t, 5*p = -t + 3*p + w. Suppose v + 5 = 2*s, -2*s = 2*v - 4*s. Put v, t, 4 in increasing order.
t, 4, v
Suppose 2*s + 11 = 3*s. Let k = s - 6. Suppose k = 3*l - 2*l. Sort -1, l, 2 in descending order.
l, 2, -1
Let k = 917/191 + -406732/88815. Let r = k + -2/93. Put r, 1/2, 1 in ascending order.
r, 1/2, 1
Let a be ((-5)/15)/(2/(-36)*-3). Sort -1, 5, 3, a in decreasing order.
5, 3, -1, a
Let o(x) = x**2 - 5*x + 4. Suppose -2*s - 6 = -16. Let u be o(s). Sort u, -2, 2.
-2, 2, u
Let j = 18 + -17. Let o(p) = -p**3 + 4*p**2 - 1. Let m be o(4). Sort 0.1, j, m in increasing order.
m, 0.1, j
Let f(h) = 3*h - 1. Let k be f(1). Sort 1, k, -1 in decreasing order.
k, 1, -1
Suppose 28*m = 24*m + 20. Put -0.2, -2/9, m, -1/3 in decreasing order.
m, -0.2, -2/9, -1/3
Let a(q) = q**3 + 18*q**2 + q + 16. Let i be a(-18). Put 0, i, 4, 32 in ascending order.
i, 0, 4, 32
Let r = 6 - 12. Sort r, 3, 0 in decreasing order.
3, 0, r
Let w = 60 - 65. Put 3, -0.1, w, -1 in increasing order.
w, -1, -0.1, 3
Let c = 0.39 + -0.09. Put 1, -3/2, c in ascending order.
-3/2, c, 1
Let v(t) = t**3 + 9*t**2 - 12*t - 23. Let l be v(-10). Suppose 3*j - 5*s - 7 = 0, 4*s - 2 = 2. Sort 2, l, j in descending order.
j, 2, l
Let u(v) = v**2 - 11*v - 22. Let t be u(13). Sort -8, -2, t, 2 in increasing order.
-8, -2, 2, t
Let y = -5 + 8. Let u = y - 1. Sort 3, u, 0.3.
0.3, u, 3
Let d(v) = -v + 2. Let z be d(0). Let i be z/8 + (-3)/12. Let s = -0.1 - -0.3. Sort s, i, -1 in increasing order.
-1, i, s
Suppose -3*f + 7*f = -c + 2, 2 = c - 5*f. Let g be (-30)/(-26) - (-2)/(-13). Let d be (g/c)/((-5)/(-10)). Sort d, 5, -3 in increasing order.
-3, d, 5
Let f = 69 + -64. Let v be (-2)/(-6) + (-30)/9. Sort f, 2, v.
v, 2, f
Let p = -194/5 + 39. Let h(n) = -n**3 + 3*n**2 + 4*n + 3. Let j be h(-2). Let r = j + -11. Put p, r, -3/8 in increasing order.
-3/8, p, r
Let c = -18 + 18.5. Put c, 0.2, 5 in increasing order.
0.2, c, 5
Suppose j + 4 = 3*n - 10, 2*j = -n + 7. Put j, 10, -5 in decreasing order.
10, j, -5
Let c = -3 - -3. Suppose -4 = -c*x - x. Suppose 2*q = -4 + 14, 0 = 4*v + x*q - 36. Sort 3/2, -0.4, v in decreasing order.
v, 3/2, -0.4
Suppose 0*u - 12 = -4*u. Suppose h - 2 = 0, -u*r = 2*r + 4*h + 12. Sort r, -1, 2 in descending order.
2, -1, r
Let p = -98 - -100. Let q be (-1)/(15/6 + -2). Put q, -5, p in descending order.
p, q, -5
Let s = 0.2 - -0.2. Let b be ((-1)/(-5))/((-16)/(-120)). Sort b, 5, s in increasing order.
s, b, 5
Let k(p) = -2*p**2 - 16*p - 17. Let o be k(-7). Sort o, 1, 0, 2/7 in decreasing order.
1, 2/7, 0, o
Suppose 5*t - 2 = 3*t. Let k(i) = i**2 - 4. Let d be k(3). Put 0, d, t in ascending order.
0, t, d
Let c = 5 - 10. Sort 5, c, 2 in descending order.
5, 2, c
Let c = -78 - -78.43. Let m = -0.07 - c. Let p be 2/6 + 10/(-3). Sort m, 4, p in decreasing order.
4, m, p
Let v be (-2)/4 + 15/6. Put 4, v, -5 in decreasing order.
4, v, -5
Let p = 11 + -15. Let t = -21 + 13. Let l = t + 12. Sort p, 1, l in decreasing order.
l, 1, p
Let g = 28 - 24. Sort -0.1, g, 0.
-0.1, 0, g
Let z = -179 + 167.99. Let y = z - -11. Let j = 1.99 - y. Sort -1, -0.4, j in increasing order.
-1, -0.4, j
Let x = 0.41 + -5.41. Sort 3/5, 0.3, x in decreasing order.
3/5, 0.3, x
Suppose 0 = 2*i - 0*i + 5*s + 1, 29 = -4*i - s. Let d = 9 + i. Let l = -5.5 - -5. Sort 3, l, d in ascending order.
l, d, 3
Let z = 1179/7 + -169. Let y = -11.3 + 11. Sort 0.3, z, y in decreasing order.
0.3, y, z
Let p be (-4)/(-6)*63/588. Sort -2/13, -0.4, 3, p in increasing order.
-0.4, -2/13, p, 3
Let f be 18/(-20) - 1*-1. Let y = -0.08 - 0.14. Let p = 0.18 - y. Sort p, 0.3, f in increasing order.
f, 0.3, p
Let m be 124/(-30) + 4/30. Sort m, 1, 3.
m, 1, 3
Suppose 2*o + 55 = -17. Let a be 435/o*(-1)/60. Let n = 1/48 + a. Sort n, 2, -1 in decreasing order.
2, n, -1
Let c(h) = h**2 - 8*h + 3. Let q be c(7). Sort 0, q, -1 in descending order.
0, -1, q
Let u be (-58)/(-12) - (-5)/30. Sort -2, 16, u.
-2, u, 16
Let y(u) be the second derivative of -u**5/5 - u**3/3 + u**2/2 + u. Let c be y(1). Let t be (1/1)/((-1)/c). Put t, -4, 2 in ascending order.
-4, 2, t
Suppose o = 2*b + 9, 3*b - 14 = -3*o - o. Suppose 3*d = -3*a - 18, -4*d + 0*d + 5*a = -12. Put 4, d, o in decreasing order.
o, 4, d
Suppose 2 = -6*x - 10. Let s = x - 1. Sort s, 0, 2.
s, 0, 2
Let v be (-38)/95 - (-24)/35. Sort 1, 0.1, v in descending order.
1, v, 0.1
Let w be 29/(-6) + 2/(-12). Let k(s) = s**3 - 2*s**2 - 2*s - 1. Let d be k(3). Suppose -u = -5*x + 28, 0 = 4*u + d*x + 3*x - 13. Sort w, u, -2.
w, u, -2
Suppose 5*o + 6 = -4*r, -o + 2*r = -4*o - 4. Put -2/5, -0.1, o in descending order.
-0.1, -2/5, o
Let c be 1*(-3 + 0)*-2. Let a = -26 - -36. Let d = c - a. Sort 1, -3, d in descending order.
1, -3, d
Let q be -34*(-3)/6*1. Suppose 4*w = p + 16, -5*p + 3*p + 3*w - q = 0. Put p, 0, 1 in ascending order.
p, 0, 1
Let a = 0.3 - 0.4. Let t = -1 - -0.5. Let h = 0.3 + t. Sort 2, a, h in increasing order.
h, a, 2
Let t(g) = g**3 + g**2 - 4*g - 3. Let b be t(-2). Sort b, 2, 0 in ascending order.
0, b, 2
Let t = -0.35 + 5.35. Put -1/2, t, 0.3, 1 in descending order.
t, 1, 0.3, -1/2
Let z be -1 + (-6)/10 + (-54)/(-15). Put 20, -4, -2, z in descending order.
20, z, -2, -4
Let a = 0.2 + 0.2. Let m be (-16)/40*(-15)/9. Sort 2/13, m, a in ascending order.
2/13, a, m
Let h = 0 - 0.1. Put -0.3, h, 0.3 in decreasing order.
0.3, h, -0.3
Let a be ((-6)/(-4))/(2/4). Sort a, -3, 2 in decreasing order.
a, 2, -3
Suppose 0*q - 8 = 2*q. Sort 1, q, -6 in increasing order.
-6, q, 1
Let b = -22 + 20. Put b, 0, 4 in increasing order.
b, 0, 4
Suppose -22 = -4*v - 6, 0 = 2*n - 4*v. Suppose n*l + d - 25 = 3*l, 0 = -4*l + 5*d - 9. Suppose 9*q - 10 = 4*q. Put l, q, 1/2 in increasing order.
1/2, q, l
Let k(l) = 6*l**2 - 2*l + 1. Let z be k(1). Suppose -2 = 4*a - 2. Let q be (0 + 2)*(1 - 0). Sort q, z, a in descending order.
z, q, a
Let b = 28 + -27.9. Let t(s) = -2*s - 2. Let u be t(-3). Sort u, -0.3, b in ascending order.
-0.3, b, u
Let p = -28.5 - -10. Let o = -14 - p. Let y = -4 + o. Put y, 5, -0.4 in decreasing order.
5, y, -0.4
Let v = 20 - 21. Put v, 0, -5 in descending order.
0, v, -5
Let g = -0.862 - 0.048. Let l = g - 0.09. Let s = 9 - 6. Put -4/5, l, s in descending order.
s, -4/5, l
Suppose 35 = 2*m + 5*m. Sort 3, -4, -2, m in increasing order.
-4, -2, 3, m
Let w be ((-1)/1 - -5)*1. Let v(b) = b + 12. Let t be v(-9). Put -4, t, w in descending order.
w, t, -4
Suppose -2 = 3*x + a, 0 = -0*x - x + 5*a + 10. Sort 2, -4, x.
-4, x, 2
Let g = -0.5 + 0.3. Let z be 1 + -2 - 2/(-1). Suppose 1 = -2*v - z. Sort v, 3, g in decreasing order.
3, g, v
Let l = -0.01 + 0. Let y = 8 + -13. Put l, 0.3, y in descending order.
0.3, l, y
Let q = 1/100 - -59/100. Suppose 5*f + 4*i + 4 + 14 = 0, -5*f + i - 8 = 0. Let j be f + (-2)/6 + 2. Sort q, j, -0.3 in descending order.
q, -0.3, j
Let f = 7.4 + -6. Let y = f + -0.4. Let m(o) = -o. Let b be m(2). Sort b, 3/2, y in descending order.
3/2, y, b
Suppose 2 = -3*d - 2*u - 14, -3*u + 15 = -2*d. Suppose 5*y + 41 - 6 = 0. Let z = y - d. Sort -5, 0.1, z.
-5, z, 0.1
Let r(d) = -d**2 + d + 1. Let p be r(2). Let z = 2 - p. Suppose -u = -z*u. Put u, -4, 0.4 in decreasing order.
0.4, u, -4
Let d = -18.1 + 18.6. Sort 5, d, -1.
-1, d, 5
Suppose 0 = -2*d - 3*d + 15. Let z be (d/(-4) - -1)/(-1). Let t be 50/84 - (-2)/(-4). Sort z, 4, t in increasing order.
z, t, 4
Suppose 4*o = 2*o. Suppose o = -0*k - k, -5*k - 12 = -4*m. Sort 1, m, 2 in increasing order.
1, 2, m
Let b be (-5)/(-8)*4/(-20)*2. Sort 8, b, -0.5.
-0.5, b, 8
Suppose 5*l = -2*b + 2, 2*b = -3*l - l + 2. Suppose 4 = -w - l. Let a(x) = x**3 - 5*x**2 - x + 7. Let y be a(5). Sort w, 5, y in increasing order.
w, y, 5
Let d = -45/2 - -949/42. Put 0.3, -1, d in decreasing order.
0.3, d, -1
Let b = -21 + 26. Let z be 2/(-10) + (-48)/(-15). Sort b, z, -2 in increasing order.
-2, z, b
Let a = -1 + 5. Let b = -0.4 + -0.6. Let s = b - -1. Put -0.3, a, s in ascending order.
-0.3, s, a
Let c = -1 - -5. Let v(p)