= t + -3. Put -2, w, 0.1 in ascending order.
-2, w, 0.1
Let q be (-4)/(-16 + (-6)/(-3)). Sort q, 1, 9 in decreasing order.
9, 1, q
Let t = 0 - 0.3. Let g be (1/5)/(5/25). Sort t, 4, g in increasing order.
t, g, 4
Suppose -7 = -3*a - 19. Sort 5, 3, a in descending order.
5, 3, a
Let s be (-1)/(-2) + 30/4. Let r be (-2)/s + 1/4. Let u = 4 - r. Put 3, -3, u in increasing order.
-3, 3, u
Let p be 0 - (0/1 + -3). Suppose -5*z + 2*z + p = 0. Sort 2, z, -3 in increasing order.
-3, z, 2
Suppose 5*d = 7*d - 8. Sort d, -4, -3 in descending order.
d, -3, -4
Let x = -0.17 - -7.17. Put 3/5, x, -3 in decreasing order.
x, 3/5, -3
Let t be 3 - (-1)/(1/(-18)). Let g = t + 13. Sort -5, -1, g in ascending order.
-5, g, -1
Let w be (1 - 2)*-1 + -5. Let o be (-27)/(-36) + (-9)/w. Sort o, 4, 5 in increasing order.
o, 4, 5
Let j = 0.14 + -6.14. Let p = j + 2. Sort 4/3, p, -5.
-5, p, 4/3
Let u(j) = -3*j + 22. Let c be u(6). Put -5, c, -2 in decreasing order.
c, -2, -5
Let u be 2/(-15) - (-160)/75. Put -4, u, 5 in descending order.
5, u, -4
Let x = -8 + 5. Let z be (1/1)/(7/35). Sort 4, x, z in descending order.
z, 4, x
Let a be (1/(-3))/(1/15). Let b(c) = c + 1. Let d be b(a). Let x = d + 9. Sort x, 1, -1 in increasing order.
-1, 1, x
Let x = 0.27 - 0.07. Put -3/7, x, 5 in decreasing order.
5, x, -3/7
Let h = -52 - -52. Put -0.2, 3, h, 1 in decreasing order.
3, 1, h, -0.2
Let y = 29 + -29.3. Let w(m) = 5*m**2 + m + 1. Let d be w(-1). Suppose 5*r - 4*r - 3 = -h, -d*h - 5 = -5*r. Put y, h, -2 in ascending order.
-2, y, h
Suppose 0 = 3*g - 4*g - 1. Let x = 16 + -22. Let v = x - -4. Sort g, v, -3 in decreasing order.
g, v, -3
Let y = -7 + 2. Let s be 1*(-2 - -1)*1. Sort s, y, -3 in descending order.
s, -3, y
Let d(s) = -s**2 + s. Let y be d(-1). Let r = y + 2. Let x(l) = 2*l + 19. Let p be x(-9). Sort -1, p, r in descending order.
p, r, -1
Let o be 1/(-3) - 28/6. Let a(s) = 4*s**3 - s**2 + s - 1. Let b be a(1). Let m be 15*(4/6)/2. Put b, m, o in descending order.
m, b, o
Let s(m) = m - 8. Let a be s(8). Suppose 2*b = -a + 4. Put b, 1, -4 in descending order.
b, 1, -4
Let w be 2/1 + 12 + -1. Let r = 8 - w. Sort -2/7, r, 2.
r, -2/7, 2
Let w = -9 - -11. Let x(a) = -a**3 - 12*a**2 + 14*a + 8. Let j be x(-13). Put 1/4, j, w in descending order.
w, 1/4, j
Suppose 0 = -d - 2*d - 4*c + 7, -3*c = -d + 11. Sort 3, -0.1, d in descending order.
d, 3, -0.1
Suppose 4*x + 1 = -3*d + 24, 3*x + 5*d = 31. Let p be (-2)/6 + 8/6. Suppose y + 4*w + p = 0, -4 = 3*y + y - 3*w. Sort 1, y, x in decreasing order.
x, 1, y
Suppose -5*d = -0*d - 10. Suppose -4 = -2*t - d. Sort t, -0.4, -4 in descending order.
t, -0.4, -4
Let y(b) be the first derivative of -b**2 - b + 6. Let m be y(-2). Sort m, 2, -2 in decreasing order.
m, 2, -2
Suppose 0 = 5*h + 9 + 1. Let w be 2*h/8*-2. Sort -1, -3, w in increasing order.
-3, -1, w
Suppose 2*z + 2 = 0, 8 = 5*i - 2*z - 4. Let q(m) = -2*m**2 + 3*m - 2. Let t be q(2). Sort -3, t, i in decreasing order.
i, -3, t
Suppose -4*u - 5*p = -25, -3*u + p + 16 = 2*p. Put -5, u, -3, 8 in descending order.
8, u, -3, -5
Let k = -0.077 + 0.067. Sort 1/6, -2/7, 2/5, k in descending order.
2/5, 1/6, k, -2/7
Suppose q = 9*q - 32. Sort 5, q, 3 in decreasing order.
5, q, 3
Let y = -753/5 - -150. Sort y, -1/5, 0.5 in increasing order.
y, -1/5, 0.5
Suppose 3*x - 12 = 5*w, 3*w + 2*x + 12 = -x. Sort w, -5, 4, 1 in increasing order.
-5, w, 1, 4
Let l = -3 + 8. Let i(d) = -8 - d**2 - 2*d + 9*d + 2. Let p be i(l). Sort p, 3, -0.1.
-0.1, 3, p
Suppose 0 = 11*f - 10*f - 3. Put f, -4, 0.3 in increasing order.
-4, 0.3, f
Let t be 1 + -2 + (-5489)/19. Let i = -290 - t. Sort 2, -1, i in decreasing order.
2, i, -1
Let d be (2 - 16/10)*2. Suppose 30 = -4*o - 2*o. Let p = -54 + 272/5. Sort o, p, d.
o, p, d
Let y = -153 - -155. Put -10/3, -0.3, y, -0.1 in descending order.
y, -0.1, -0.3, -10/3
Suppose -p + 5*h = -3, 5*h = -p - 2 - 5. Put p, 1, -0.2 in increasing order.
p, -0.2, 1
Let z(f) = f + 19. Let q be z(0). Let k = 34 - q. Let y be 1/(-2 - k/(-6)). Put -2, y, 1/2 in decreasing order.
y, 1/2, -2
Let r = 0.058 + -0.158. Sort -0.4, r, -10 in decreasing order.
r, -0.4, -10
Let d = -4.1 + 0.7. Let j = -0.4 - d. Let r = 5 - j. Sort r, -5, -3.
-5, -3, r
Let z = 34 - 33.8. Sort -1, z, 4, 2.
-1, z, 2, 4
Let k(q) = -q**2 - 5*q - 1. Let g be k(-5). Suppose -11*x - 42 = 13. Sort g, 3, x in descending order.
3, g, x
Let l = -22 + 111/5. Put 4, -3/8, l in decreasing order.
4, l, -3/8
Let m be (2/3)/(10/(-75)). Suppose -7 = -3*u - 4*i, 0 = 3*i + 9 - 3. Suppose q - u = 2*v, -q = -5*v - 3 - 5. Sort v, m, 5 in decreasing order.
5, v, m
Suppose 11*y + 25 = -5*j + 9*y, 0 = -2*y. Sort 6, -1, j in descending order.
6, -1, j
Suppose 2*t = 7*t + 15. Suppose -2 = -4*u - 22, 5*c - u = 10. Sort c, t, -2 in decreasing order.
c, -2, t
Let a = 1 + 1. Suppose -a*u = -4*u - 4*d - 22, 4*u + 19 = -3*d. Sort 5, u, -3 in descending order.
5, u, -3
Let q = -1 - -0.6. Let t be 112/392*2/(-4). Put -0.2, q, t in ascending order.
q, -0.2, t
Let r = 2.9 + -3. Let l be (2/20)/(2/4). Let t = 0.39 + -0.09. Sort t, l, r in decreasing order.
t, l, r
Suppose -5*b = -y - 4*y, 0 = 4*b - 2*y + 2. Sort b, 1, 0.3 in decreasing order.
1, 0.3, b
Let y = -2142667/4 + 2858318219/5336. Let f = y + 1/232. Sort f, -5/4, 0.1.
-5/4, f, 0.1
Let l be 1*(-4 - (0 - 1)). Let w = 4 - 9. Let z = 0.2 - 0. Sort l, w, z in decreasing order.
z, l, w
Let t = 133 - 130. Let r = -31/10 + 18/5. Sort r, 2/7, t in increasing order.
2/7, r, t
Let u(k) = -k**3 - 6*k**2 - 7*k - 6. Let c be u(-4). Let f = c + 15. Suppose -3*a = 1 + f. Sort -1, a, 2.
a, -1, 2
Let v = -72 - -72. Sort 1/2, 0.1, -3, v in descending order.
1/2, 0.1, v, -3
Suppose -8 = 2*c - 4*z, 3*c = -2*c + 3*z - 13. Suppose 2*i + i + 15 = 0. Put -1, i, c in ascending order.
i, c, -1
Let m = 292 + -3210/11. Let y be 0 + (-2 - (0 + -3)). Let f = -0.5 + 4.5. Put m, y, f in decreasing order.
f, y, m
Let c = 1.5 - 1.4. Let u be (3/(-90))/(1/(-19)). Let z = u + 1/6. Sort c, z, 2/3 in decreasing order.
z, 2/3, c
Let w = -1 - -7. Let c = -6.1 + w. Sort -1/3, 3/4, c in decreasing order.
3/4, c, -1/3
Let z = 8 - 8.3. Let p = 9 + -5.7. Let s = p + z. Sort 0.4, 0, s in ascending order.
0, 0.4, s
Suppose 4*g + p = 11, 0*p - 5*p - 20 = -5*g. Let n = 3 - 0.2. Let f = n - 3. Sort 2, g, f in descending order.
g, 2, f
Let l be (-170)/240 + (-4)/(-6). Sort -2, -5, l in descending order.
l, -2, -5
Let v = -1.9 - 0.1. Suppose -5*h + 16 = -h. Suppose -h*o = -2*o. Sort v, o, 5 in decreasing order.
5, o, v
Let a = -8 - -8.55. Let b = a - -0.05. Let z = b - 0.1. Sort 4, 0, z in descending order.
4, z, 0
Let b = -26 - -26.7. Let g = 1.2 + -1. Let f = g - b. Put 4, f, -0.2 in descending order.
4, -0.2, f
Suppose -3*c = -6 - 3. Put c, -2, -3 in descending order.
c, -2, -3
Let g = 15058/2925 + -16/225. Let y = -488/91 + g. Put -2/5, 2, y in ascending order.
-2/5, y, 2
Let o be (-8)/15*(13 - 10). Sort -0.2, o, 0.1 in decreasing order.
0.1, -0.2, o
Let r = -9/14 + 8/7. Suppose -6*z + 3*z = 12. Let l be z*1 + (-300)/(-78). Sort r, 5, l.
l, r, 5
Suppose 5 = -3*w + 20. Suppose 13*u - 8*u = 0. Sort 4, w, u in decreasing order.
w, 4, u
Let i(p) = -p**3 + 4*p**2 + 4*p + 4. Let o be i(5). Let j be -4 + 3 + o - -2. Suppose 9 = 3*d + n, 3*d + 5 = n + 14. Sort 4, d, j in ascending order.
j, d, 4
Let g be -1*-4*(-5)/20. Put g, 0.08, 3, 0 in descending order.
3, 0.08, 0, g
Let y = 2.8 - -0.2. Let j = 0.2 - -0.8. Put y, -5, j in ascending order.
-5, j, y
Suppose 5*p - 13 = 3*u + 6, u - 22 = -4*p. Let m be 2/3*3/u. Let l(i) = -i**3 - 8*i**2 - 7*i - 3. Let x be l(-7). Sort 3, m, x in decreasing order.
3, m, x
Let u(g) = -7*g + 9. Let p be u(2). Sort 2, -7, p, 5 in decreasing order.
5, 2, p, -7
Let b(a) = 5*a - 34. Let k(t) = -t + 7. Let h(p) = -2*b(p) - 11*k(p). Let j be h(4). Sort -0.4, j, 1/3 in increasing order.
j, -0.4, 1/3
Let m(j) be the second derivative of -j**3/6 + 4*j**2 - j. Let b be m(6). Let d = -2 - -3. Sort b, -3, d in descending order.
b, d, -3
Let n = -3 + 1. Sort -3, 1/2, n in descending order.
1/2, n, -3
Let t = -6 - -25. Let k = -14 + t. Sort -5, k, 2.
-5, 2, k
Let t = -0.74 + 0.14. Put 4, -5, t in increasing order.
-5, t, 4
Let y = -3.3 - 0.7. Let g = y - -8. Sort g, -2, -4 in ascending order.
-4, -2, g
Let x = 0.6 - 4.6. Let c = -3