der.
z, 3, 1, -4
Let x = -1.5 + 3.56. Let t = x - 0.06. Put 1, t, 1/3 in descending order.
t, 1, 1/3
Suppose 6 - 60 = -2*t. Let o = t - 26. Sort o, 4, -3 in ascending order.
-3, o, 4
Suppose 4*p = 3*p + 5*d + 118, p - 68 = -5*d. Sort -0.2, 0, p in descending order.
p, 0, -0.2
Let x = -0.5 + 0.3. Let b = -15/8 - -21/8. Put x, b, 2 in ascending order.
x, b, 2
Let a(u) = 2*u + 1 + u**2 - 5 + 0*u + 5. Let g(q) = -4*q**2 - 7*q - 4. Let b(d) = -7*a(d) - 2*g(d). Let m be b(0). Sort 0.1, -4, m in descending order.
m, 0.1, -4
Let l(u) = -u**2 - u + 4. Let f be 6/4 + (-4)/(-8). Let h be l(f). Put 4, h, -15 in decreasing order.
4, h, -15
Suppose -70 = -j + 6*j. Let r be (-10)/j + (-4)/(-14). Let b = -0.02 - -2.02. Sort b, r, -0.2 in ascending order.
-0.2, r, b
Let i = -92 + 92.073. Sort i, 3, -3, 1/6.
-3, i, 1/6, 3
Let n = 0.93 - -0.07. Put n, 5, -0.16 in ascending order.
-0.16, n, 5
Let u be (-2)/(((-2)/(-4))/(-1)). Suppose -u*h + 22 = 2*l, -5*l + 22 = 4*h - 5*h. Suppose 5*o + 1 = m - 2, -m + 4*o = -2. Sort h, m, -3 in increasing order.
-3, m, h
Let a be (-2 - (3 + -7))*-2. Let h = 8 + a. Put h, 1, 3 in decreasing order.
h, 3, 1
Let i = 0 + 0.05. Let q = i + -2.05. Sort 0.3, 4, q in descending order.
4, 0.3, q
Let d = -7.4 + 11.4. Sort 0.03, d, -2/9, 2/5 in ascending order.
-2/9, 0.03, 2/5, d
Let m = 98 - 104. Sort m, 1, 0.1, -3.
m, -3, 0.1, 1
Let v = -3 - -3.4. Let t = 0.04 - -0.16. Let w = t - 1.2. Put -0.4, v, w in descending order.
v, -0.4, w
Let x(l) = -2*l - 2. Let z be x(1). Sort 14, 4, 1, z in decreasing order.
14, 4, 1, z
Suppose 2*n = n. Suppose -3*v - 12 = -t - n*t, 2*t = 4*v + 18. Suppose -t = -z + 2. Sort 4, -2, z in ascending order.
-2, 4, z
Suppose -5*u = -4*a + 2*a - 31, -4*u + 29 = -3*a. Suppose -2 = -2*y - 0. Sort y, a, 2.
a, y, 2
Let d = 34 + -69/2. Put 0.4, 3, d in descending order.
3, 0.4, d
Suppose 0 = 11*j - 2*j - 36. Put j, 5, 0, -2/5 in descending order.
5, j, 0, -2/5
Let h(f) = -2*f - 9. Let y(v) = v - 1. Let t be y(-5). Let i be h(t). Sort -2, i, 10.
-2, i, 10
Let k = 15 - 13. Suppose -3*u = -4 - 2. Suppose 2*l + m - k = 0, -5*l = m + u*m - 5. Put 0, l, 3 in decreasing order.
3, l, 0
Suppose 5*b + 20 = 5*h, -b - 1 = -5*h + h. Sort -13, h, 1 in descending order.
1, h, -13
Let x(j) = -j**3 - 5*j**2 - 6*j - 4. Let m be x(-4). Let n be ((-18)/4)/(15/20). Let o(l) = -2*l - 9. Let k be o(n). Sort k, 1, m.
1, k, m
Let b = 18 - 18.19. Put 0, -0.1, b in increasing order.
b, -0.1, 0
Let z = -0.2 + 0.3. Let s = 2 - 2.1. Let c = s - 0. Sort c, z, 2 in ascending order.
c, z, 2
Suppose 7 = -3*t + 2*l - 1, 2*t - 4 = -l. Let p be (24/18)/((6/(-18))/(-1)). Put 3, t, p in increasing order.
t, 3, p
Let m = -17 - -22. Sort -1, m, -3, 0.2.
-3, -1, 0.2, m
Let b be (12 + 2)*1/(-2). Put 5, b, -1 in descending order.
5, -1, b
Let i(g) = -g - g - 8*g**2 + 5*g + 5*g - 8 - g**3. Let w be i(-9). Suppose 3*q - 7 = z, 5*z - w = -3*q - 0. Sort q, -4, 4.
-4, q, 4
Let c = 24.4 + 0.6. Let f = c - 27. Sort f, -4, -5.
-5, -4, f
Let y be ((-2)/4)/((-1)/(-4)). Let o be y/10*25/20. Sort o, -1, 11.
-1, o, 11
Let k(u) = u**3 + 2*u**2 + 4*u + 3. Let f be k(-2). Put 0, f, -3 in decreasing order.
0, -3, f
Let l = 140 + -98. Let b be ((-2)/l)/(1/2). Put b, 1, 0.2 in decreasing order.
1, 0.2, b
Let x be (-152)/(-40) + 4/20. Sort -4, 12, x in decreasing order.
12, x, -4
Let g be 10/55 - (-53)/11. Sort g, -0.5, 0 in decreasing order.
g, 0, -0.5
Let z = -2/5 - -16/65. Sort -11, 3/2, z in descending order.
3/2, z, -11
Let v(n) = n**2 + n - 3. Let a be ((-2)/3)/((-2)/(-6)). Let k be v(a). Put 2, -4, k in ascending order.
-4, k, 2
Let y(o) = o**2 - 7. Let r be y(3). Put r, 0, 11 in increasing order.
0, r, 11
Let p = -0.1 - 0. Let j = 1.1 + p. Let q be (0 - -1 - -1)*-1. Put 0.1, q, j in ascending order.
q, 0.1, j
Let t = -0.35 - -0.05. Let r(u) = -u**2 - 6*u - 2. Let y be r(-6). Let n be y/7 + (-3)/(-84). Sort 3/5, t, n in ascending order.
t, n, 3/5
Let n = -170/7 + 24. Let v be (1/2)/(1/(-6)). Sort n, v, 1/4 in ascending order.
v, n, 1/4
Let g = 0.02 + 0.48. Let k = 1 - 1. Sort -3, k, g in descending order.
g, k, -3
Let y = 14 - 11. Let u = y + -2. Put -0.4, -1, u in decreasing order.
u, -0.4, -1
Let p = 18 + -20. Put -0.5, p, 2/13 in increasing order.
p, -0.5, 2/13
Let s = 5.3 + -1.3. Sort s, -5, 0, 3 in ascending order.
-5, 0, 3, s
Let p(g) = 2*g + 12. Let f be p(-4). Let n be 16 - (-2 + 1)/(-1). Suppose 4*o = -n - 1. Put -5, f, o in descending order.
f, o, -5
Suppose p + 3*q - 6*q + 6 = 0, -3*p + 4*q - 8 = 0. Suppose p = -3*u - u. Let x(h) = -h**2 - 23*h - 19. Let w be x(-22). Sort u, w, -2 in ascending order.
-2, u, w
Suppose -3*w - 1 - 2 = 0. Let t be (1 + w + -2)*-2. Sort 1, -3, t in decreasing order.
t, 1, -3
Let r = -2 + 11. Let a = r + -6. Sort 1, 0.1, a in decreasing order.
a, 1, 0.1
Suppose 3*z + b = 2*b + 7, z = -5*b - 19. Put z, 6, -3 in descending order.
6, z, -3
Let q = -6 - -8. Suppose -q = -t - 0*t. Put t, 3, -1 in descending order.
3, t, -1
Suppose -4*p - 2 = 2*z - 4, -3*p = 4*z - 9. Suppose 2 = 2*n - z*n. Let q = n + 4. Put q, -4, -1/8 in ascending order.
-4, -1/8, q
Suppose x = -4*k + 3*x - 34, x = 5*k + 38. Let h = k + 7. Put h, -3, 5 in descending order.
5, h, -3
Let j = 0.36 - 0.76. Put -1/3, -0.3, j in increasing order.
j, -1/3, -0.3
Let j be (-54)/48*4/(-6). Sort -2, j, -1.
-2, -1, j
Suppose -12 = -t - 4*m, 0*t + 5*t = m + 39. Suppose -t = -16*g + 14*g. Sort g, -9, -4 in decreasing order.
g, -4, -9
Let x(u) = u - 3. Let i be x(3). Suppose 0 = -2*t + d - 5, -2*t - d + 1 = -3*t. Sort i, t, 5 in ascending order.
t, i, 5
Let k = -0.8 + 1. Let r be 8/2 + (-23)/6. Put k, r, -1/5 in descending order.
k, r, -1/5
Suppose 6*t = 2*t - 12. Sort t, 3, 4.
t, 3, 4
Let x = -24 - -19. Put -1, x, 2, 0 in descending order.
2, 0, -1, x
Let x be -4 - ((-66)/5)/3. Sort -0.06, -2, 0.5, x.
-2, -0.06, x, 0.5
Let d = 0.2 - 0. Sort 1, 2, d in descending order.
2, 1, d
Let m = -107 - -2463/23. Sort 0.3, -0.4, -1/4, m.
-0.4, -1/4, m, 0.3
Let s be (-51)/(-187)*(-2)/3. Let n = 82 + -167/2. Put 3/7, s, n in increasing order.
n, s, 3/7
Let u = -688/5 - -137. Put -4/7, 5, u in increasing order.
u, -4/7, 5
Suppose -2*c = -3*y + 3, -3*y + 3 = -4*c + 8*c. Suppose p = -2*k + 13, 3*k + 0*k - 30 = -3*p. Sort p, y, 4 in increasing order.
y, 4, p
Let z be (-2)/8*8/(-10). Let r = 2/12809 - 2075068/64045. Let o = -33 - r. Put o, z, 1/4 in decreasing order.
1/4, z, o
Let c = 63 + -377/6. Sort -1/7, c, -1 in ascending order.
-1, -1/7, c
Suppose 12*o + 15 = -9. Let a(v) = v + 3. Let k be a(-6). Sort o, k, 2 in ascending order.
k, o, 2
Let m = -604/2163 - 2/309. Let t = -72 + 67. Sort 2, m, t.
t, m, 2
Suppose 2*p + 5*a = -3*p + 10, -p + 20 = -5*a. Sort p, -4, 1 in ascending order.
-4, 1, p
Let d(g) = g**3 - 31*g**2 - 34*g + 68. Let k be d(32). Put 0.02, k, -4 in ascending order.
-4, 0.02, k
Suppose -2*u - 2*u - 25 = -5*z, 0 = 5*z - u - 25. Sort z, -2, 3 in descending order.
z, 3, -2
Suppose 4 = -2*c - 5*r, 4*c + 1 = -4*r + 5. Sort 1, -1, c in descending order.
c, 1, -1
Let i be 0/(-13) - 3/6. Sort 0.1, i, -3/2 in descending order.
0.1, i, -3/2
Let j = -5.9 - 0.1. Let x = 5.8 + j. Suppose 2*w = -f - 5, -4 = -2*w - 3*f - 11. Sort x, -4, w in descending order.
x, w, -4
Let c be (-7)/(-3) + 2/(-6). Let v(l) = 0*l + 0*l - 1 - 1 + l. Let a be v(5). Put a, c, 1 in decreasing order.
a, c, 1
Let m = -6 + 9. Let w(c) = -2*c**3 + 2*c**2 + c + 2. Let v be w(2). Sort v, m, 1 in increasing order.
v, 1, m
Let x(q) = q + 3. Let b be x(-4). Let y be 26/4 - 67/(-134). Sort b, y, -3 in decreasing order.
y, b, -3
Let x = 9 - 9.4. Sort -2/3, x, 3 in ascending order.
-2/3, x, 3
Suppose 0 = 7*k + 3*k - 2*k. Let g = 19 - 13. Suppose 3*l + 9 = g*l. Sort k, l, -0.5 in decreasing order.
l, k, -0.5
Suppose -18 = -4*g + 2*g - 4*t, 0 = -3*t + 12. Let j(o) = o**2 - o - 1. Let d be j(3). Sort g, d, -0.3.
-0.3, g, d
Let x = -3.02 - -3. Let q = -0.05 - x. Let r = -6.6 + 6.5. Put r, -0.2, q in descending order.
q, r, -0.2
Let t = 0.8 + 1.2. Put t, 0.4, 1 in descending order.
t, 1, 0.4
Suppose 0*h + 23 = -s - 5*h, -4*h - 10 = 5*s. Let k = 11.2 - 11. Put s, -1, k in decreasing order.
s, k, -1
Let l(c) = -2*c + 2. Let j be l(2). Sort 1, j, -5.
-5, j, 1
Suppose 26 = 3*h - 5*b, 0*h + b + 6 = h. Let r = -5 + h. Sort 0.2, r, -0.4.
r, -0.