 t, l
Let q(a) = 5*a**3 + 4*a**2 + 3*a + 1. Let c be q(-1). Let g = 8 - 13. Sort c, g, 5.
g, c, 5
Suppose 0 = -5*c + 4 + 26. Suppose -2*x + 5*s - c = 18, -s - 4 = 4*x. Sort x, -5, 0.
-5, x, 0
Let y be 16/7 + (-10)/35. Put 4, y, 3 in ascending order.
y, 3, 4
Let r = -2/7 + 25/14. Put r, -1.8, 4 in descending order.
4, r, -1.8
Let x be (2/(-12))/(2/4). Suppose 2*c + 3 = -3*b - 2, c = -3*b - 4. Put b, -0.6, x in descending order.
x, -0.6, b
Let i(j) = 5*j - 78. Let l be i(16). Let z be 5/3 + (-2)/3. Sort l, -3, z in increasing order.
-3, z, l
Let p be (18/(-15))/((-3)/(-10)). Put -1, p, -2 in increasing order.
p, -2, -1
Let n = -131 - -135. Sort -9/4, -1/4, n.
-9/4, -1/4, n
Suppose 7 - 37 = -3*x. Let a be 2/x + 28/35. Put 2, a, -3 in ascending order.
-3, a, 2
Let j = 18 + -13. Sort -3, 0, j in ascending order.
-3, 0, j
Let y = -15 + 14.8. Sort y, -3/4, 0.5 in decreasing order.
0.5, y, -3/4
Let i(l) = -l**3 - 2*l**2 + l + 2. Let d be i(0). Sort d, 6, 1 in increasing order.
1, d, 6
Let y = -3 - -5. Let d = 4 + 0. Let c = -3.6 + d. Sort -2, c, y in increasing order.
-2, c, y
Let b(u) = u**3 + 7*u**2 - 2*u - 11. Let l be b(-7). Let f be 1 + l + 3 + -3. Let v be 4/(-6) + 20/(-6). Sort 2, f, v in decreasing order.
f, 2, v
Suppose o = 2 - 7. Let l = 32.5 - 32. Put o, 2/11, l in descending order.
l, 2/11, o
Let c be (-4)/6 - (-20)/12. Let h be (2 - (c + -2)) + -2. Sort 3, 2, h in descending order.
3, 2, h
Let g be 0 - (0 - 3/(-3)). Let y be -1 - g/(21/24). Let q = -4 + 2. Sort y, 1/3, q in increasing order.
q, y, 1/3
Suppose -5*q - 25 = -10*q. Put 0, q, -1 in increasing order.
-1, 0, q
Let p = 16 + -11. Suppose 0*i - 3*i = -12, 4*i - 1 = 3*x. Suppose 0 = z + 3*w - 16, -p*w + 11 = -z - x. Put 0, 5, z in ascending order.
0, z, 5
Suppose -9 = 3*f - x + 1, -4*x + 4 = 0. Let y(h) = 0 + 0 - 2*h - h**2. Let o be y(f). Put o, 0.4, 4 in decreasing order.
4, 0.4, o
Let q = -4 - -19. Let z = q - 10. Let d be 0/(-2) - (-2 + 4). Put z, 2, d in descending order.
z, 2, d
Let u = -144869/9 - -48607/3. Let q = -106 + u. Put -2/7, 2/7, q in increasing order.
-2/7, q, 2/7
Let x(r) = -r**3 - 13*r**2 + 27*r - 19. Let c be x(-15). Put -3, -2, c, 0 in increasing order.
-3, -2, 0, c
Suppose 23 + 27 = 5*b. Suppose -4*d - 5*a - 25 = 0, 3*d + 0*a = 2*a + b. Let n = -43 + 42. Put d, n, -2/5 in decreasing order.
d, -2/5, n
Suppose -4*c = -2*r - 18, 0*c - 2*c = -2*r - 8. Sort c, 0, 1 in decreasing order.
c, 1, 0
Let l(k) = -k - 6. Let s be l(-6). Let j(h) = -3*h. Let y be j(-4). Let i = -8 + y. Sort 2, s, i in increasing order.
s, 2, i
Let q be ((-12)/9)/4*-3. Sort -3, q, -5 in increasing order.
-5, -3, q
Let h = 35 + -21. Let q be 38/h + 10/35. Sort q, 4, 1.
1, q, 4
Let n = -0.06 + -0.02. Let g = n + 0.38. Put -1/5, -6/5, g in ascending order.
-6/5, -1/5, g
Let o = -9 - -17. Let a be (-305)/4*o/20. Let f = 31 + a. Sort -0.4, f, -0.2 in decreasing order.
f, -0.2, -0.4
Let z = 28 - 20. Sort 0.3, -4, z.
-4, 0.3, z
Let g = -1 + 0. Let u = 1.2 + 0.8. Let f = u + g. Put f, -2, 1/7 in increasing order.
-2, 1/7, f
Let s = -1 + -1. Let a be 4/(-14) + 0/s. Sort 5, a, -0.2.
a, -0.2, 5
Let h = 0.1 + 0.1. Let r = -0.3 - h. Let n = -52 + 51.7. Sort r, -2, n in decreasing order.
n, r, -2
Suppose 3*y + s = 11, 17 = 3*y + 5*s - 2. Let z be (-2)/4 + (-15)/(-6). Put -4, z, y in ascending order.
-4, z, y
Let q = -5 + 8. Suppose q*t + 4*o = -5, 5*o = 5*t - 28 - 22. Suppose -3*y + 15 = -5*u, 3*y - t*u - 15 = 6*y. Sort y, -2, -3 in ascending order.
-3, -2, y
Let h(a) = a**3 - 9*a**2 + 9*a - 8. Let w be h(8). Suppose c - 4 = -c. Let g be ((-2)/c)/(0 + 1). Sort w, 1, g in descending order.
1, w, g
Let h = 15.55 + -16. Let y = h + 2.75. Let d = 2 - y. Sort -4, -2, d in descending order.
d, -2, -4
Let a be -1 - (-1 + -4*1). Let t = -9.7 - -10. Put -2/9, t, a in ascending order.
-2/9, t, a
Let i = -8/25 + -12/25. Suppose -8*x - 5*u = -3*x + 40, 3*x - 2*u - 1 = 0. Put x, i, 0.6 in descending order.
0.6, i, x
Let v = -24598/23 + 13416053/12535. Let m = -1/109 + v. Let j = -0.1 - -0.3. Put m, j, -2/9 in ascending order.
-2/9, j, m
Let l(w) = w**2 + w - 10. Let q(b) = 3*b**2 + 4*b - 30. Let g(s) = 17*l(s) - 6*q(s). Let u be g(-8). Suppose u*i - 8 = -2*i. Put 5, 0, i in decreasing order.
5, i, 0
Let t(l) = l**2 - 5*l - 5. Suppose 0 = -i - 0*i + 5. Let h be t(i). Let q = -244 - -242. Sort q, -1, h in descending order.
-1, q, h
Let b be -4*4/((-8)/(-3)). Sort 0, 4, b in decreasing order.
4, 0, b
Let i(a) = -a**3 + 4*a**2 + 5*a + 5. Let f be i(5). Suppose f*y = 2*y - 33. Let v = y + 16. Put 0, -4, v in decreasing order.
v, 0, -4
Let q = -42 + 41. Put -3/5, -0.2, q, -0.5 in descending order.
-0.2, -0.5, -3/5, q
Let m(z) be the first derivative of -z**3/3 - z**2/2 + 3*z + 2. Let c be m(-3). Sort 5, c, -2 in ascending order.
c, -2, 5
Let w = 0.02 - -0.28. Suppose -5*c - n = -17 - 3, 15 = c - 2*n. Let l be 2/8 + 76/(-48). Sort w, c, l.
l, w, c
Suppose -5*l - 6 = -3*l - 2*u, 4*l = -2*u - 18. Let q be l - 2/(-2)*2. Put -1/6, -4, q in decreasing order.
-1/6, q, -4
Let m be 15*-2*(-2)/(-12). Let w = -12 - -6. Sort m, w, -3.
w, m, -3
Suppose 0*y - 3*a = -y + 3, -3 = -y - 3*a. Let l = 8 - 13. Sort l, y, 2 in increasing order.
l, 2, y
Suppose -2 + 0 = -2*p. Let h be ((-2)/5)/(4/(-40)). Put h, -1, p in ascending order.
-1, p, h
Let p be 46/(-40) - (-1)/1. Let c = -33/20 - p. Let f = 0.3 - 0.4. Sort 0.2, c, f.
c, f, 0.2
Let n(u) = -2*u - 5. Let a be n(-6). Let s(d) = 2*d + 2. Let m be s(-4). Let c = a + m. Put 5, -5, c in decreasing order.
5, c, -5
Let n be (-20)/15*(-9)/(-6). Sort -1, n, -4 in descending order.
-1, n, -4
Suppose 3*f = 3 + 3. Let b = f - -1. Sort b, 1, -5 in descending order.
b, 1, -5
Suppose w = -1 + 20. Suppose 2*t + 20 = 5*p, -5*p + w = -4*t - 11. Put -2, 5, t in decreasing order.
5, -2, t
Let b = -13.5 + 4.7. Let j = -9 - b. Sort 0, 5, j in ascending order.
j, 0, 5
Suppose -g + 3 + 0 = 0, 5*s - 2*g = -31. Sort 0, s, 4, -1 in ascending order.
s, -1, 0, 4
Let k(h) = -h**2 + 4*h + 4. Let w be k(4). Suppose w*q + 0*q = 2*c - 10, 0 = 2*q + 4*c - 10. Let i = -0.34 - -0.04. Sort -0.4, i, q in decreasing order.
i, -0.4, q
Let o be (60/1080)/((2/8)/1). Let n be (6/(-16))/((-6)/20). Put n, o, -5 in descending order.
n, o, -5
Let o(w) = w**3 - 18*w**2 - w + 17. Let a be o(18). Suppose 6 = l + 1. Put -4, l, a in descending order.
l, a, -4
Suppose 0 = -2*i + 5*i - 18. Let m be ((-4)/6)/(i - 2). Let o = 0.99 - 0.49. Sort m, o, -2/3 in descending order.
o, m, -2/3
Suppose -3*x + 6 = -9. Suppose 2*l - 3*l = 4*i - 9, 5*l - 3*i + 1 = 0. Sort x, -4, l in descending order.
x, l, -4
Suppose 2*l = -0 - 4. Let b be l/(-10) + 2 + -2. Put -3, b, 1/8 in increasing order.
-3, 1/8, b
Let k(d) = 3*d + 3 - 7*d + 0*d. Let i be k(2). Put 5, i, 2 in increasing order.
i, 2, 5
Let w(o) = o + 10. Let s be w(-9). Sort s, -0.2, -2/23 in decreasing order.
s, -2/23, -0.2
Suppose 3*x + 10 = 3*a - 2*x, 0 = 2*a + 2*x - 12. Put a, -2, 4 in ascending order.
-2, 4, a
Suppose -9 + 1 = -8*z. Put -2, z, 5 in decreasing order.
5, z, -2
Suppose 5*v = -22 - 23. Let z be ((-33)/v)/(1/3). Let r be (-2)/z + 9/(-11). Sort -0.3, r, 0.1.
r, -0.3, 0.1
Suppose -2*d = -2*r + 2, 0*d + 2*d + 6 = 0. Let u be (1/r)/(3/(-2)). Let p = 0.04 + 4.96. Put p, u, -0.3 in descending order.
p, u, -0.3
Let j = 46 - 45.9. Put -4, j, 1/4, -4/9 in ascending order.
-4, -4/9, j, 1/4
Let b(o) be the first derivative of o**3/3 + o - 2. Let t be b(0). Put 3, 0, t in ascending order.
0, t, 3
Let b = 95 - 379/4. Sort -2, b, 9, 1/8 in ascending order.
-2, 1/8, b, 9
Let i be (1 - 0)/((-5)/75*3). Suppose 7*n - 66 = 3*n + a, -2*a - 30 = -2*n. Let y = n + -12. Sort 1, i, y in decreasing order.
y, 1, i
Let f = 28 + -25.4. Let a = 5.4 + -6. Let c = a + f. Put -1, c, -0.5 in decreasing order.
c, -0.5, -1
Let h = 19 + -19.9. Let g = h - -0.6. Put -0.1, -4, g in ascending order.
-4, g, -0.1
Let y = -0.06 + -1.94. Sort 0, 0.3, y in decreasing order.
0.3, 0, y
Let h = -39 - -34. Put h, 0, 6 in descending order.
6, 0, h
Suppose y = 4*y - 12, 4*f + 4*y - 40 = 0. Suppose -2*b - 4*c + 20 = -f*b, -3*b - 5*c = 15. Let r = 55 - 57. Sort r, b, 2 in increasing order.
b, r, 2
Let p = -4 - -3.92. Let v = 0.38 + p. Sort 0.1, 0.4, v in decreasing order.
0.4, v, 0.1
Let a = -439/6 - -73. Sort -0.4, a, 2/9.
-0.4, a,