. Sort -0.5, r, j in ascending order.
r, -0.5, j
Suppose -3*z = 4*t + 2, -2*t - 3*z - 11 = -7*t. Suppose 0 = q - 3 - t. Put -4, -3, q in decreasing order.
q, -3, -4
Let w = 3 + -1. Suppose -l - 4*l - 17 = 4*m, -5*m = w*l + 17. Let j = -201/7 - -29. Sort -4, l, j in descending order.
j, l, -4
Let l = -12 - -10. Sort l, 0.5, -4 in descending order.
0.5, l, -4
Suppose -5*l - 2*l + 35 = 0. Sort l, -35, 2.
-35, 2, l
Let t be (0 - 3) + 1 + 1. Suppose -35 = -4*w + 3*f, 3*w - 5*f = 6 + 34. Put 0, w, t in descending order.
w, 0, t
Suppose 4 = 2*c - 2. Let o = 23.3 + -23. Put c, 11, o in descending order.
11, c, o
Let i = 8 - 4. Suppose -2*k + 4 = -i*k. Sort -1, 5, k.
k, -1, 5
Let z be (-1723)/12 + (-3)/12. Let g = z + 143. Let k = 14 + -11. Put 2, g, k in decreasing order.
k, 2, g
Let s(n) = -2*n**3 - 14*n**2 - n - 10. Let f be s(-7). Sort f, 23, 5 in increasing order.
f, 5, 23
Suppose -3*g + 23 = -7. Suppose 0 = 5*b - 3*b - g. Suppose -h = -4*h - 9. Sort 1, h, b.
h, 1, b
Let f = 0 + 2. Let m be (0 + f/(-6))*-6. Suppose m*u = u. Sort -5, u, 2.
-5, u, 2
Let s be 8/2*(-5)/20. Sort -2, -3, s.
-3, -2, s
Suppose 2*k = -k + 6. Sort -1/8, k, -2/3.
-2/3, -1/8, k
Let c be (-1)/(-2) + 574/28. Put 5, 4, c in decreasing order.
c, 5, 4
Let h(b) = -b**3 + b**2 + 4*b - 3. Let l be h(3). Let i = l + 5. Put i, -2, 3 in descending order.
3, -2, i
Let f = 8 - 6. Suppose f*o = u - 4*u - 1, 5*u + 1 = -4*o. Put 0, u, -3 in decreasing order.
0, u, -3
Let h = -1.4 + 1. Let n(t) = 11*t + 10. Let x be n(8). Let w = 395/4 - x. Put h, w, -3 in ascending order.
-3, h, w
Let z = -23 + 19. Sort -0.2, -1, z.
z, -1, -0.2
Let o(z) = -z**3 + 5*z**2 - 7*z + 10. Let w be o(4). Put 1, -1, -3, w in decreasing order.
1, -1, w, -3
Let q be (5 - 3) + 1*2. Suppose 3 = -q*p + 3*m - 4, 1 = -2*p + m. Sort 4, -4, p in ascending order.
-4, p, 4
Suppose -2*c - 6*y + 11*y = 18, -c - 5*y = -21. Sort c, 5, -3, 23 in decreasing order.
23, 5, c, -3
Let s be (-20)/9 + (1 - 2 - -3). Put s, 5, -4 in decreasing order.
5, s, -4
Let n(s) = -s**2 + 8*s - 2. Let z be n(7). Suppose 4*b + y + 7 = 0, 1 = 4*b + z*y - 12. Put b, 0, -2 in descending order.
0, -2, b
Let w = -88 - -88. Sort 9, w, 1 in descending order.
9, 1, w
Let w(v) = v**3 + 3*v**2 - 3*v + 8. Let l be w(-4). Sort l, 1, -0.5 in ascending order.
-0.5, 1, l
Let q be 2/12*30/25. Sort q, 4, -2/7 in decreasing order.
4, q, -2/7
Suppose -2*c - 27 = 5*j - c, 5*c = 15. Let w(a) = -a - 4. Let t be w(j). Let o(b) = -b**3 - 7*b**2 - 5*b + 4. Let s be o(-6). Put s, -4, t in decreasing order.
t, s, -4
Let w = -1 + 8. Let x = w - 12. Suppose 8 = -3*z + 2, m - 4*z - 6 = 0. Sort x, m, 3 in descending order.
3, m, x
Let s(l) be the second derivative of l**4/12 + 4*l**3/3 + l**2 - 8*l. Let y be s(-8). Sort -2, y, -4 in descending order.
y, -2, -4
Let g be (12 - 2)/(-5 - -3). Put 0, g, -3 in decreasing order.
0, -3, g
Let s = -6.4 + 6. Let u = 0.2 - -1.8. Let i = 2.2 - u. Sort i, 0.1, s in decreasing order.
i, 0.1, s
Let n be 9/6*8/54. Let r = -25 + 473/19. Sort -0.4, n, r in decreasing order.
n, r, -0.4
Let z be (-1)/(-12) - (-1)/(-8)*2. Let g = -8 - -17. Let b = 4 - g. Put 1, z, b in decreasing order.
1, z, b
Let a be ((-158)/(-50) + -3)/((-6)/(-15)). Put a, -1/5, 0.3 in decreasing order.
a, 0.3, -1/5
Let y = 0.1 - -0.1. Let f = 8 + -9.5. Let c = f + 2. Put 2, c, y in ascending order.
y, c, 2
Let m = 68007/5765 - -4/1153. Let y = 57/5 - m. Let a = 300 - 3898/13. Put y, a, 2/19 in descending order.
a, 2/19, y
Let s = -0.4 - 0.1. Let a = -4.5 - s. Let k = -196 + 196.1. Put a, -0.2, k in descending order.
k, -0.2, a
Let i = 0 - 0.4. Suppose 0 = -3*o - 0 + 6. Put o, i, 0.5 in descending order.
o, 0.5, i
Let t(x) = x**3 - 3*x**2 + 3*x - 4. Let h be t(3). Suppose b - 6*b = 20. Sort h, -2, b in increasing order.
b, -2, h
Let t = -5.2 + 4.9. Let j be 0/(-1) + -2 + 1. Sort 1, t, j in descending order.
1, t, j
Suppose 28*a + 12 = 34*a. Put -4, -1, a, -5 in increasing order.
-5, -4, -1, a
Let y = -16 - -15. Put -1.7, -3, y in decreasing order.
y, -1.7, -3
Let c be 3 + (-1 + 2)/1. Suppose 0*p + 8 = -c*p. Sort 3, -1, p in descending order.
3, -1, p
Suppose 0 = -5*i - x + 2*x + 3, 2*i - 5*x + 8 = 0. Sort 7, i, -5.
-5, i, 7
Let l(b) = -2*b**2 - 7*b - 6. Let f be l(-4). Let d = f - -11. Let n(u) = -2*u + 5. Let c be n(4). Put d, c, 0 in ascending order.
c, 0, d
Let u(i) = -3 + 2*i + 2 + 0*i. Let d be u(-4). Let r = d + 6. Put 5, -5, r in ascending order.
-5, r, 5
Let u be (-4)/(-10)*(-1 + -9). Sort 1, u, 0 in increasing order.
u, 0, 1
Suppose 4*u + 5*v = -12, -4*u - v = 2 + 10. Let p be 1 + -3 + 2/2. Let i = 1 + p. Put -4, u, i in ascending order.
-4, u, i
Let p be (2 - -2)*(0 + 1). Let z be (2/p)/(-1)*-4. Let b = 6 + -8. Put z, 0, b in decreasing order.
z, 0, b
Let q = 17 - 15. Let p = -7 + 11. Sort 3, p, q in decreasing order.
p, 3, q
Let k = -1161 + 1156. Let t = 4 + -1. Sort 1, k, t.
k, 1, t
Let u(k) = k**2 - 6*k + 7. Let b be u(5). Let n = 629 - 629.4. Sort b, n, 11 in decreasing order.
11, b, n
Suppose k + 10 - 4 = 0. Sort k, 5, -5 in decreasing order.
5, -5, k
Let i = 4 + -6. Sort i, 0.4, 8 in descending order.
8, 0.4, i
Suppose -16 = -3*k - 1. Put -4, 4, k in increasing order.
-4, 4, k
Let o = -13 + 13.07. Let y = o - 0.77. Sort 2, 0.3, y.
y, 0.3, 2
Suppose 5*s - 27 = -47. Put s, 1, 10 in increasing order.
s, 1, 10
Let c = -0.66 - -0.9. Let t = 0.64 - c. Put -5, t, -0.3 in increasing order.
-5, -0.3, t
Let c be 2 - (-1 - 0 - 2). Suppose -c*u = -d + 16, u = 3*d - 11 + 5. Let r = -2 - u. Sort -3, -1, r in ascending order.
-3, -1, r
Suppose -4*d + 4*v = 4, 0*v + v = -4*d + 1. Suppose -5 + 1 = -4*p, 2*b + 4*p + 4 = d. Let k be 2 - (-1 - -2 - -4). Put 5, k, b in ascending order.
b, k, 5
Let z(l) = l - 5. Let n(g) = 1. Suppose -2*r + 14 = -0*b - 3*b, -4*b = r + 15. Let d(a) = r*z(a) - 3*n(a). Let f be d(5). Put 2, f, 1 in decreasing order.
2, 1, f
Let u = -0.1 - -0.6. Let q = 23.8 - 24. Sort u, 2, q in decreasing order.
2, u, q
Let h be -4 + (2 - ((-39)/15 - 0)). Sort 1/8, 1, 2/9, h in ascending order.
1/8, 2/9, h, 1
Let b = -42 - -42.2. Put -1, b, 3 in descending order.
3, b, -1
Let d = 11 + -6. Let u be -2 + d/((-10)/(-6)). Put 3, u, 2 in descending order.
3, 2, u
Let i = -87/332 + 1/83. Put i, 0, 5 in increasing order.
i, 0, 5
Let x = -12 + 16. Put 3, x, -4 in descending order.
x, 3, -4
Suppose -2*w + 7*w = -4*p + 66, -3*p = 4*w - 52. Let d be 1/(w/4 - 2). Put d, 0, -3 in decreasing order.
d, 0, -3
Let w(s) = s - 4. Let n be w(9). Suppose -b - 3*i + 4*i = 0, -4*i = -n*b + 1. Let f be (6 - 2)/(-2) + 2. Sort -3, f, b in decreasing order.
b, f, -3
Let q = -17 + 16.7. Let y = 2 + -3. Let t be 2/12 - 0/(-2). Put q, t, y in ascending order.
y, q, t
Let s = 0.6 + -6.6. Sort s, -4, -3.
s, -4, -3
Let l = 0.3 - -0.2. Let v = l + -4.5. Let y = -0.3 + 0.2. Put -1/2, v, y in descending order.
y, -1/2, v
Let w(a) = -a - 2. Let t be w(-4). Suppose 0*i = -2*i + t. Let x = -49 - -44. Sort i, -4, x.
x, -4, i
Let s = 11 + -7. Let t(g) = g**3 + 4*g**2 + 2. Let h be t(-4). Let a = 4 + -7. Sort h, s, a in decreasing order.
s, h, a
Let n = 33/2 - 15. Sort 1, 0.3, n.
0.3, 1, n
Let v = 4.453 + -0.053. Let i = -4 + v. Let c = i + -0.1. Sort c, 3/5, 1/4.
1/4, c, 3/5
Suppose 19 - 3 = 4*c. Sort -4, c, 0, 3 in decreasing order.
c, 3, 0, -4
Let f = 38 - 33. Let y(n) = -n**3 + 4*n**2 + 4*n + 3. Let i be y(5). Sort i, 0.2, f.
i, 0.2, f
Let s be (7 - 12) + 0/(-2). Sort -2, s, 1.
s, -2, 1
Let x be 45/20 - 1/4. Suppose 5*q + x = 7*q. Let w be (0 - (-4)/5)*-5. Sort q, 4, w.
w, q, 4
Suppose -6 = -2*f - f. Let s = -29 + 33. Sort 1, f, s in increasing order.
1, f, s
Suppose 2*j - 6*j = -12. Let w = -127/3 + 41. Put -5, j, w in descending order.
j, w, -5
Let y = -253 - -252. Suppose -4*n + 3*v + 7 = -0, -5*n = 5*v. Put n, y, -2 in decreasing order.
n, y, -2
Let b = -4.284 + -0.016. Let u = b - -4. Sort 0.4, 4, u.
u, 0.4, 4
Suppose 4*r + 3*j + 147 = -r, 0 = -2*r + j - 50. Put 2/17, r, 5/4 in increasing order.
r, 2/17, 5/4
Suppose -6*s = 1 - 13. Suppose -3*q - 25 = s*q. Sort 3, -2, q in decreasing order.
3, -2, q
Let c(x) = 2*x**3 - 3*x**2 + 3*x - 3. Let p be c(2). Suppose -3*m - 5*a = 19, 5*m - a - p = 4*m. Suppose 2*h - m = -0*h. Put -3, h, 5 in descending order.
5, h, -3
Suppose 3*k + 2*m = 11, 3*m + 0*m = 3. Let 