 15, 4*x + 25 = -5*t. Sort -3, 9, t in descending order.
9, -3, t
Let g = 2 - -3. Let s be (-6)/15 - ((-332)/5)/(-4). Let y = s + 12. Put y, -4, g in decreasing order.
g, -4, y
Suppose -3*d = -4*c + 1, d + 4*c = -3 + 8. Suppose -6*f + 5 = -d. Let i(g) = g**2 - 8*g + 3. Let s be i(7). Sort s, -5, f in descending order.
f, s, -5
Let z be 8/(-8)*(6 - 1). Sort -3, 3, z in decreasing order.
3, -3, z
Suppose -8 = -2*h, 2*m - h = -94 + 88. Put 9, -3, m, 4 in descending order.
9, 4, m, -3
Let y = 2471 + -27178/11. Sort -2.5, y, -2/5 in increasing order.
-2.5, -2/5, y
Let t = 0.1 - 0.1. Let a = -11.75 + 13.75. Sort t, 0.3, a.
t, 0.3, a
Let t be ((-18)/6)/(3/3) + 14/5. Let z = 5 - 1. Put -5, t, z, 3 in increasing order.
-5, t, 3, z
Let h = -2059 + 2059.3. Let d = -3 - -3. Sort d, h, 5/2 in decreasing order.
5/2, h, d
Let k = 63 + -60. Suppose 42 = 5*o - 18. Let v = 8 - o. Sort k, 1, v in increasing order.
v, 1, k
Suppose 2*a - 2 + 35 = 5*o, -4*o = 4*a - 4. Sort a, -6, -2 in decreasing order.
-2, a, -6
Let w(g) = 4*g + 20. Let n be w(-4). Sort -3, 31, 5, n in descending order.
31, 5, n, -3
Let t = -496 - -474. Sort -5, 0.1, 7, t in increasing order.
t, -5, 0.1, 7
Suppose 0 = d + 3*d + 5*v - 45, -2*v + 10 = 0. Let h = -47/264 - -857/1848. Sort 8, h, d.
h, d, 8
Let n = -439.94 - -440. Sort 2, 0.4, n, 4 in increasing order.
n, 0.4, 2, 4
Suppose 483*j = 485*j + 8. Sort -2, j, -187, -4/3.
-187, j, -2, -4/3
Let t(q) = q**3 - 34*q**2 - 37*q + 65. Let w be t(35). Sort 18, w, -3.
w, -3, 18
Suppose -5*v - 2 = -r, 4*v + r = -0*r - 7. Let o = -8 - -6. Let k = 0 - o. Put k, -2/7, v in decreasing order.
k, -2/7, v
Suppose 5*k + 3 = 3*a, 4*k - 4 = -5*a + a. Let c = 6 - 5. Let i = c + -6. Sort i, a, -2 in decreasing order.
a, -2, i
Suppose 0*q - 14 = -2*q. Suppose 0 = -o - 4*n - 2 - 0, n - q = -4*o. Suppose 0 = 5*v - o*v - 9. Sort v, -4, 4 in descending order.
4, v, -4
Let n = -611 + 607. Sort -0.3, 13.1, n in decreasing order.
13.1, -0.3, n
Let u be (5 + 184/(-36))*1. Sort u, 32, 5 in increasing order.
u, 5, 32
Let f(z) = 3*z**3 - z**2 - z. Let x be f(-1). Let n(w) = w + 4. Let k be n(x). Suppose 0 = -5*v - k - 14. Sort v, 0, -4 in ascending order.
-4, v, 0
Suppose 12*b + 31 = 79. Put 24, b, 5 in decreasing order.
24, 5, b
Let h = -3/11 - -26/55. Let l = 0.135 - 0.905. Let m = l - -0.27. Put m, -1/8, h in increasing order.
m, -1/8, h
Let i(f) be the first derivative of f**2 + 22*f - 4. Let j be i(0). Suppose 4*v + r = j, 2*v + 2*r = -3 + 17. Sort v, -4, -3.
-4, -3, v
Let r = -53 - -103. Suppose 14 = 6*u + r. Put 4, 2, u in decreasing order.
4, 2, u
Let h = 2 - 3. Suppose 18*x = 2*x + 64. Let o be (-28)/(-16) + (-1)/(-4). Sort h, x, o in ascending order.
h, o, x
Suppose -16*d = 3*h - 21*d + 57, 2*h + d = -25. Sort 1/13, -0.3, h in ascending order.
h, -0.3, 1/13
Suppose 0 = 10*k - 7*k - 9. Let p = -1 - 4. Let x be 1/(-2) - (-5)/(-2). Sort x, k, p in increasing order.
p, x, k
Let c = -3 + 2.9. Let i = 560 - 559.8. Put i, c, 3, -1 in decreasing order.
3, i, c, -1
Suppose 51 + 33 = 4*s. Suppose -2*a - 21 = -l - 0*l, a - 4*l = -s. Put a, -1, -2 in decreasing order.
-1, -2, a
Suppose 21*o - 9 = 30*o. Put 0, o, 42 in decreasing order.
42, 0, o
Suppose -g = 5*u + 15 + 4, 3*u = -9. Sort 4, 8, 1, g in descending order.
8, 4, 1, g
Let i = 0.29 + -27.29. Let x = -31 - i. Sort x, -2, -1/9 in descending order.
-1/9, -2, x
Let l be (-2)/(-4) + 33/(-6). Let w be (-5)/10 - (-6 + (-76)/(-8)). Put l, 4, w in ascending order.
l, w, 4
Let h = 0.37 - -0.13. Let z = -287 + 292. Put -0.4, z, 12, h in decreasing order.
12, z, h, -0.4
Suppose -7*j + 9*j + 2 = 0. Let d = 6 - 3. Suppose -d*b = -5*h - 25, 5*b - 26 = 4*h - 6. Sort j, b, 1 in decreasing order.
1, b, j
Let a(p) = -p**3 - 14*p**2 - 16*p - 19. Let t be a(-13). Suppose -12*n = -7*n + t. Sort -5, n, 0.
-5, n, 0
Let b = 56 - 54. Let s = 319/5 + -64. Let l be -3 + 2*(0 + 2)/(-4). Sort b, s, l in descending order.
b, s, l
Suppose -14*h + 8*h + 30 = 0. Put -4, h, 0, -7 in ascending order.
-7, -4, 0, h
Let b be (-21)/(-12)*(-4)/(-28). Let g = -27 - -27. Put b, 0.5, g in descending order.
0.5, b, g
Let t(s) = -s**2 - 6*s - 13. Let n be t(7). Let u = n - -107. Let y be (6/(-9))/(1/(-6)). Sort -3, y, u in decreasing order.
y, u, -3
Let t = -158 - -156. Let n(m) = -8*m**2 - 2*m - 1. Let c be n(-1). Sort t, c, -5.
c, -5, t
Suppose -2*y - 5*j - 21 = 0, 6*y - y = 2*j - 9. Let z(q) = 2*q**2 - 21*q - 216. Let k be z(17). Put -2, y, k in increasing order.
y, -2, k
Let v = -2.04 - -0.04. Let q(t) = 6*t + 38. Let p be q(-9). Let k be p/16*(-2)/1. Sort v, -0.4, k.
v, -0.4, k
Suppose h - 2*h - 5*n + 73 = 0, -3*h + 4*n = -314. Let l = -125 + h. Sort -4, 1, l, 2 in increasing order.
l, -4, 1, 2
Suppose 6*j = 2*j - 20, y - 99 = -8*j. Sort y, 3, 1 in increasing order.
1, 3, y
Let k = 153/112 + -31/16. Let d = -12 + 7. Let z = 0.05 + -3.05. Sort d, k, z in ascending order.
d, z, k
Let o be ((-5)/(-20)*100)/1. Sort o, 5, 1, 4 in decreasing order.
o, 5, 4, 1
Suppose 5*g = f + 2*f + 133, -93 = 2*f + g. Let l = -51 - f. Let v(n) = 2*n - 2. Let c be v(2). Sort l, c, 1 in ascending order.
l, 1, c
Let j = 1.72 - 1.79. Sort -3/5, j, 0.2, 3 in descending order.
3, 0.2, j, -3/5
Suppose 26 = t + 4*w, -5*t + 6 = w - 29. Suppose i = -2*f, 3*f - i + 4*i = -t. Suppose v + v = -f. Sort 3, v, 7 in increasing order.
v, 3, 7
Let l be (-5)/(-20) - ((-17)/4 + 5). Sort -2/7, -0.21, l in descending order.
-0.21, -2/7, l
Let l = 150 - 186. Put 0.2, l, -0.05 in increasing order.
l, -0.05, 0.2
Let l = 1.9254 + 0.0746. Let j = 4.06 + -0.06. Let d = 394/927 - -2/103. Sort l, j, d in decreasing order.
j, l, d
Let g be (-9219)/878 - (-1)/(2/3). Sort -2, g, 3, -6.
g, -6, -2, 3
Let p = -497 - -492.7. Sort 1, -1/5, p, 0.4.
p, -1/5, 0.4, 1
Let w = -4/39 + 10/39. Sort 2/15, w, -1/3, -0.52 in increasing order.
-0.52, -1/3, 2/15, w
Let z be 782/161 + 1/7. Let y = 101/124 - 2/31. Put z, -3, y, -4/3 in descending order.
z, y, -4/3, -3
Let f = 377/750 + -1/375. Let b = 1/4 + -7/12. Let y be (-2)/(-10) - 6/130. Sort y, b, f in decreasing order.
f, y, b
Suppose 18*y + 182 + 52 = 0. Sort 4, y, -5 in increasing order.
y, -5, 4
Let l = 202 + -205. Let h = -9.03 + 9. Put l, h, 2, 2/19 in decreasing order.
2, 2/19, h, l
Let c = 227/10 + -49/2. Let i be 2*(-2)/(-12)*-6. Let j = i - c. Sort j, -0.02, 4 in ascending order.
j, -0.02, 4
Suppose 588 = -2*c - 4*t, -4*c - 1164 = -0*c + 5*t. Let y be c/(-6) + (7/(-3))/(-7). Sort 5, y, 2, -3.
-3, 2, 5, y
Suppose -2*z = -8, 7 = 3*k - 5*z + 90. Put -3, k, -2 in increasing order.
k, -3, -2
Suppose -2*f + 6 = -4*q, 3*q + 2*q = -3*f + 9. Suppose q = 3*p + 22 - 28. Sort p, -4, 11 in ascending order.
-4, p, 11
Let n = 1 - 0. Let x = 292.6 - 293. Put -3, x, n in decreasing order.
n, x, -3
Let h = 0.056 + -0.09. Let z = -4.134 - h. Let i = -0.1 - z. Put 0.4, -0.03, i in ascending order.
-0.03, 0.4, i
Suppose 0 = -86*m - 3*m + 53489. Sort 2/7, m, -0.3.
-0.3, 2/7, m
Let a(l) = -21*l - 1088. Let w be a(-52). Put 969, 2/7, w in descending order.
969, w, 2/7
Suppose -2*v - 4*o = -2*o - 26, -v - 5*o = -1. Let n(c) = -c**2 + 16*c + 5. Let x be n(v). Let r be (-2)/5 - (-22)/5. Put x, 1, r in increasing order.
1, r, x
Let z(i) = i**2 + i - 1. Let f be z(1). Let v be 261/(-15) + 3 - 6/10. Put 5, f, -5, v in descending order.
5, f, -5, v
Let q(j) = 19*j**2 - 7*j - 3 - 20*j**2 + 1. Let y be q(-2). Suppose -3*s - y = 7. Sort s, -4, 2 in increasing order.
s, -4, 2
Let d = -486 + 485.8. Put 1/8, d, 118 in descending order.
118, 1/8, d
Suppose 0 = -25*f + 22*f - 12. Let z be 16/6*(-5 - -2). Sort -1, f, z, -2 in increasing order.
z, f, -2, -1
Let t = -0.00462 + -0.29538. Let x = -0.2 + -0.3. Sort x, -1, t in descending order.
t, x, -1
Let p be (-10)/6*(-6)/10. Suppose -5*i + 0*i = -155. Suppose -s - 4 = 0, -2*c - 5*s - i = -7. Sort -1, c, p in increasing order.
c, -1, p
Let i be (-30)/(-24)*6/15. Put i, -8/7, -0.3 in decreasing order.
i, -0.3, -8/7
Suppose -163 + 43 = 40*b. Let z(q) = -q**3 + 4*q**2 + 2*q - 5. Let c = -3 + 7. Let g be z(c). Put 7, b, g in increasing order.
b, g, 7
Let u be 7 + (-3 - (-3 + 2)). Let c(l) = 4*l + 2. Let b be c(-3). Let q = b + 8. Sort -3, q, u in decreasing order.
u, q, -3
Let t = 111 - 127. Let z be 4*12/t + 2 + -2. Sort 0, -5, z.
-5, z, 0
Let n = -12.937 -