-5*x = 2 + 3. Let a = 11 + -6. Sort u, a, x in decreasing order.
a, x, u
Suppose -28 = -4*r + 2*r. Put r, 2, 5, 4 in descending order.
r, 5, 4, 2
Let r be 4/6 + (-28)/51. Let j = -4.7 - -5. Let t = -0.3 + j. Put t, 4, r in decreasing order.
4, r, t
Let z be (-2)/(-4)*(-4)/(-14). Put -4, z, -1/3 in decreasing order.
z, -1/3, -4
Let p = -0.5 - -0.3. Let v = -2.2 - p. Put 3, -1/5, v in decreasing order.
3, -1/5, v
Let i = 2.2 - 0.2. Let y = 6.7 - 7. Let d = 1.1 + -5.1. Sort y, i, d in decreasing order.
i, y, d
Let n = -1858/7 + 265. Put -4, n, 2/7 in decreasing order.
2/7, n, -4
Suppose 4*g + 4 = -4*b, g + 12 - 3 = -3*b. Let m be (-22)/77*(-6)/b. Put m, 5, -0.5 in decreasing order.
5, m, -0.5
Let w = 0 - 0. Suppose c + 6 = h, w*c - h = -3*c - 8. Let p(t) = t**2 - 16*t + 23. Let d be p(14). Put 2, c, d in descending order.
2, c, d
Let b = 18 - 18.38. Let z = b - -0.08. Put z, 5, -1 in descending order.
5, z, -1
Let h = 130 + -135. Let x be (-23)/45 - 4/(-10). Let j = -11/18 - x. Sort -2, j, h.
h, -2, j
Let u be (-2 - 5/(-2))/(3/6). Let w = 5 + -10. Sort u, -3, w.
w, -3, u
Suppose -4*a + 13 = -r - 0*a, 4*a = -3*r + 9. Put r, -3, 5 in ascending order.
-3, r, 5
Suppose -2*t = t + 3*x + 3, -x + 3 = 3*t. Suppose 4*n = t*z + 12, -5*z - n = n - 18. Sort -5, 3, z.
-5, z, 3
Let h = 4 + -7. Let q = 1/13044 + 765245/39132. Let r = -172/9 + q. Sort h, r, 0.4 in ascending order.
h, 0.4, r
Let q(i) = i + 3. Let v be q(4). Let j = -7 + v. Sort 5, j, -1 in increasing order.
-1, j, 5
Suppose 2*l - 3*v = -0*v - 3, 0 = 4*l + 4*v - 4. Sort 1, l, 4.
l, 1, 4
Let u be 6/15*2*(8 - 3). Let v be ((-2)/4)/(2/(-8)). Sort v, u, 8.
v, u, 8
Let k = -7 + 12. Suppose -k*u = -u. Let j = 3 - 0. Sort j, -1, u in decreasing order.
j, u, -1
Let s = -2202/7 + 314. Let r = -0.782 + 0.782. Let v = 8 + -5. Put r, s, v in decreasing order.
v, r, s
Let p = -1 - -1. Suppose -5*h - 15 = -p. Sort 0, h, -1.
h, -1, 0
Let g be (-36)/54*30/4. Put 4, g, -9 in increasing order.
-9, g, 4
Let q = 254 - 257. Suppose 6*w = w + 35. Let z = -4 + w. Put 2, q, z in descending order.
z, 2, q
Suppose 6*i + 24 = 3*i. Let g = -8 - i. Let u = -3 + g. Put 0, 5, u in decreasing order.
5, 0, u
Let x = 0.7 + -0.6. Let b = 1.6 - 2. Let m = 0.6 + b. Sort m, x, 0.4.
x, m, 0.4
Let i = 0.62 - 0.22. Sort i, 0.2, 0, 0.5.
0, 0.2, i, 0.5
Suppose 0 - 3 = -f. Suppose 3*k + 5*c + 18 = -7, f*c = -2*k - 15. Put -1, 4, k in decreasing order.
4, k, -1
Let u = -293/480 + 1/96. Sort -3, -1, -5, u.
-5, -3, -1, u
Let u(n) = -n**3 - 5*n**2 - 3*n + 2. Let f be u(-4). Put 5, 1, f in ascending order.
f, 1, 5
Let f = -4/5 - -33/35. Let x = 848/5 + -23799/140. Let p = f + x. Sort 3/4, 2/5, p in decreasing order.
3/4, 2/5, p
Let b = -44 - -50. Sort b, 0, 2, 5.
0, 2, 5, b
Suppose 5*a - 3*y = 2*a + 6, -2*a - 31 = 5*y. Sort -19, -4, a in decreasing order.
a, -4, -19
Let p = 7.5 + -8. Sort -4, 3/7, p in decreasing order.
3/7, p, -4
Let r be 4/(-14) + (-48)/(-21). Suppose 0 = r*u - u. Suppose 0 = -2*t + 2, 2*t - 7 = 2*g + 5*t. Put 4, u, g in descending order.
4, u, g
Suppose 4 = 4*l - 16. Let z(w) = w**3 - 5*w**2 - 7. Let b be z(5). Let i(x) = -x**2 - 5*x + 10. Let a be i(b). Sort l, 4, a in decreasing order.
l, 4, a
Let c = 2/29 - -13/232. Let y = -85 - -87. Sort y, -4, c in decreasing order.
y, c, -4
Let l = 2 - 1. Let d(v) be the first derivative of v**4 - v**2 + v + 2. Let o be d(1). Put o, 0, l in decreasing order.
o, l, 0
Let j(t) = -t**3 + 7*t**2 + 8*t + 2. Let y be j(8). Let d = 7.9 - 10. Let i = d + 2. Sort i, y, -3.
-3, i, y
Let q be (-36)/(-21) - (-2)/7. Suppose -q*m = -5*k - 5, 0*m + 13 = -k - 2*m. Put 4, k, 3 in increasing order.
k, 3, 4
Let d(r) be the first derivative of -r**2/2 - 9*r - 4. Let y be d(-10). Sort -5, 5, y in increasing order.
-5, y, 5
Let i = 11 - 9. Sort i, 5, -4, -5 in descending order.
5, i, -4, -5
Let n be (-2)/3*(-9)/6. Let y(h) = 2*h + 1. Let q be y(-1). Sort n, q, -2.
-2, q, n
Suppose x + 2*g = 5*x - 20, 2*x = -4*g. Suppose -2*b + 15 = 5. Put b, x, -2 in descending order.
b, x, -2
Let y = 1.9 + -1.4. Let g = 5 + -4.8. Let t = 0 + g. Sort -1, y, t.
-1, t, y
Suppose 4*l = -3*b - 36, -5*b - 24 = -3*b + 3*l. Let r be 4/(-20) - b/10. Sort -1/9, r, 0.4 in decreasing order.
r, 0.4, -1/9
Let o(n) = -n**2 + 4*n - 6. Let v be o(6). Let w be 12/54 + (-50)/v. Sort 1, 4, w.
1, w, 4
Suppose -2*z + 2 + 0 = 0. Put 9, z, -5 in increasing order.
-5, z, 9
Let a = 3 + 1. Let b = -14 - -14.1. Sort -1, b, a in descending order.
a, b, -1
Let t = 0.108 + -0.508. Sort 5, -6, t, -1/8.
-6, t, -1/8, 5
Let i = -25 - -23. Sort i, 4/7, 2/21 in increasing order.
i, 2/21, 4/7
Let r = 0.84 - 0.14. Let a = r + -0.5. Put 4, -5, a in ascending order.
-5, a, 4
Suppose 7*u = 3*u. Sort -5, u, -2 in descending order.
u, -2, -5
Let s = 4.96 - -0.04. Suppose m = 2*m + 2. Let q be (m/(-20))/(2/8). Sort q, -1, s in decreasing order.
s, q, -1
Suppose -5*i + 16 = -2*b, -b + 4*b - 6 = 0. Suppose -5*y - n - 16 = -5*n, i*n - 16 = 3*y. Put 4, y, 2 in descending order.
4, 2, y
Let o be -2 - (3 - -1)/2. Let p(a) = -3*a**3 + a**2 - 2*a + 1. Let l be p(1). Put o, l, -2 in increasing order.
o, l, -2
Let p = -0.98 + 1. Let t = 10 - 10.38. Let v = p - t. Put v, 0.3, 1 in descending order.
1, v, 0.3
Suppose -2*l + 0*y = 3*y - 9, -3*l + y = 3. Sort -3, -1, l, 5 in descending order.
5, l, -1, -3
Let z be 10/(-3)*12/(-10). Suppose -z*c = -c - 15. Put c, 2, -5 in decreasing order.
c, 2, -5
Let a(r) = r**3 + 8*r**2. Let x be a(-8). Let c = -7 - 0. Put c, x, -5 in decreasing order.
x, -5, c
Let f = 2.38 - -1.62. Sort 0.2, -5, f in decreasing order.
f, 0.2, -5
Suppose 0*p - 4 = -4*p. Let o = -1.2 - 0.4. Let h = o + 1.9. Sort p, -2, h.
-2, h, p
Suppose 7*j = j + 18. Sort -1, 4, j, 17 in descending order.
17, 4, j, -1
Let s be (-4)/18 - 160/(-72). Put -5/3, s, -7 in ascending order.
-7, -5/3, s
Suppose -a - 3*a = 0. Let w be (9/6)/(9/30). Put w, -5, a in ascending order.
-5, a, w
Suppose -3*v + 10 = 2*v. Suppose 5*o + 9 = v*o. Let q = 51 + -53. Sort q, o, -4.
-4, o, q
Let z(j) = j**3 - 6*j**2 + j - 4. Let w be z(6). Let b be (-2)/((-1)/(w + 0)). Let t(f) = -f - 6. Let r be t(0). Sort -3, b, r in decreasing order.
b, -3, r
Let s(t) be the first derivative of t**2/2 - 5*t + 9. Let b be s(8). Sort 1, 0, b in descending order.
b, 1, 0
Suppose 2*u - 3*u + 3*n = 3, 2*n = -5*u + 19. Suppose -5*v = -2*q + 13, 5*v = -0 - 5. Suppose -2 - q = -u*p. Put p, -2, 1 in descending order.
p, 1, -2
Let g(q) = q - 14. Let l be g(6). Let j = l - -12. Suppose 16 = -0*t - j*t. Put 3, t, -2 in decreasing order.
3, -2, t
Let a = 5 - 8. Let d be (-3)/(-12 - a)*0. Suppose 0*q + 3 = -q. Sort 4, d, q in descending order.
4, d, q
Let u(f) = f**3 + 5*f**2 - 6*f + 2. Let r be u(-6). Let o be 3*(6/r)/3. Put 4, -6, o in descending order.
4, o, -6
Let a be (-27)/5 - (-5 - (-184)/40). Sort 3/2, 0.1, a in descending order.
3/2, 0.1, a
Let j = -8 - -6. Sort 0.3, -0.4, j in increasing order.
j, -0.4, 0.3
Let c = -70 + 68. Sort -0.3, c, 0.7, -3.
-3, c, -0.3, 0.7
Let v be (-3)/(-2) - (87/14 - 5). Sort v, -3/5, -0.5 in increasing order.
-3/5, -0.5, v
Let d = -2/1307 + 2644/19605. Suppose -5*z - 45 = -0*z. Let k be 20/z - 2*-1. Put d, k, -4 in descending order.
d, k, -4
Let g(a) = -a - 1. Let p(m) = m - 4. Let x be p(0). Let j be g(x). Sort 4, -5, j in decreasing order.
4, j, -5
Let r = -7 + 4. Let t = -9 - -8. Put r, t, 5 in increasing order.
r, t, 5
Suppose o + 0 = 4*r + 14, -2*o = 4*r - 28. Suppose -4 = -2*a + 2*u, 0 = 4*a + a - u - o. Sort a, 5, -5 in descending order.
5, a, -5
Let q = 0.12 + -0.22. Put 0.5, q, 3 in decreasing order.
3, 0.5, q
Let o(n) = -n**3 - 7*n**2 + 11*n + 13. Let c be o(-8). Put -4, c, 3 in descending order.
3, -4, c
Let v be (0 + 4/18)/(4/(-30)). Let s = -343/5 - -69. Sort -0.3, v, s in ascending order.
v, -0.3, s
Let a = 199520/7 + -28421. Let x = 82 - a. Let v be (3/(-15))/((-4)/(-10)). Sort -1/4, v, x in descending order.
x, -1/4, v
Let f(l) = l - 3. Let w be f(0). Suppose p + 6 = -t - p, 0 = -4*t + 4*p - 48. Let z = t - -9. Sort 3, w, z in decreasing order.
3, z, w
Let w = 0.1 - 0.2. Let f = w + 0.1. Let j = -0.366 + -0.034. Sort 1/2, j, f.
j, f, 1/2
Suppose -3*h + 2*h + 3*a + 17 = 0, -4*h = 3*a + 7. Suppose -42 = 5*n - 2*l, -l - 2 = 2. Let f = -6 - n. Sort f, -1, h in decreasing ord