 u
Suppose -462 = 6*v - 468. Put v, 2, -1 in ascending order.
-1, v, 2
Suppose 5*x + 5 = -5*a, -4*x + 5 = -4*a - 7. Sort x, 40, 0 in descending order.
40, x, 0
Let s = -76 - -75.5. Put 2/5, -2/61, s in descending order.
2/5, -2/61, s
Let m = 4 + -2.5. Let n = 6.5 - m. Let o = 10 - n. Sort o, 0.4, 3.
0.4, 3, o
Suppose -53 = -5*a - 13. Suppose -3*w + a - 2 = 0. Suppose 0 - 19 = 5*q - p, p + w = -2*q. Put 3, 5, q in increasing order.
q, 3, 5
Let s be ((-35)/30 + 1)/((-1)/(-13)). Sort s, -0.4, -3 in increasing order.
-3, s, -0.4
Let a be 40/50 + 1/5. Let h be (-30)/21 + a + 2 + -2. Put 2/19, -3, -2/11, h in descending order.
2/19, -2/11, h, -3
Let w = -13 + 17. Let r = 736 - 737. Put r, w, -2 in decreasing order.
w, r, -2
Let w = 17 - 15. Suppose 0 = -2*y - 2 + 6. Let x = y - -3. Sort w, 1, x.
1, w, x
Suppose -t + 2*t = -1. Suppose 6*s - 3*s = -30. Suppose 76*a - 22 = 87*a. Put t, a, s in increasing order.
s, a, t
Let f = -0.019 - 1.981. Let o = -20 - -19. Sort o, 1/6, -1/3, f in descending order.
1/6, -1/3, o, f
Let w be (-9)/288*-28 + -1. Sort 1/5, w, 0.3, 9 in ascending order.
w, 1/5, 0.3, 9
Let o = -320 + 317. Sort -0.15, o, -1.
o, -1, -0.15
Let p be 4 + (-28)/4 + -1. Let l be 1 + (-1 - -1)/p. Let q be (-9 + 9)*1/2. Sort l, 2, q in decreasing order.
2, l, q
Let q = 2446 - 2444. Put 4, q, -4 in increasing order.
-4, q, 4
Let y(z) = z**2 - 11*z - 102. Let t be y(-6). Sort 4, -217, t in increasing order.
-217, t, 4
Let g = 113/333 - 2/333. Sort 0.4, g, 4/15 in descending order.
0.4, g, 4/15
Let o = -1.027 + -9.973. Sort -16, 3, o, 1/2 in decreasing order.
3, 1/2, o, -16
Suppose -78*t = -196 + 1756. Put -3, 10, 5, t in descending order.
10, 5, -3, t
Let x(k) = -37*k - 5. Let f be x(0). Put 6, -4, f, 15 in decreasing order.
15, 6, -4, f
Let t be (-3)/5 + 4/(-10). Sort -5, t, 6 in ascending order.
-5, t, 6
Let d = -548 - -551. Let s = -3 + -1. Let k = 1.3 + -1. Sort d, k, s in descending order.
d, k, s
Let p be (10/(-2 + -3))/2. Let t be 5 + (0 + 1 - p). Let k = t + -3. Sort 5, 2, k in ascending order.
2, k, 5
Let q(k) = -k - 4. Let g be q(-3). Suppose b - 11 = -4*w, 9 = -0*b + b + 3*w. Suppose -b*r - 2*r = -20. Put r, g, 1 in descending order.
r, 1, g
Let i = 7 - 10. Let o(x) = 2*x**2 - 4*x - 1. Let s be o(-3). Let y = s + -25. Sort i, y, -1 in descending order.
y, -1, i
Let q = 27 + -27.204. Let d = q + 0.084. Put -1, d, 1 in descending order.
1, d, -1
Let v = 0.14 + 0.02. Let t = 2.76 - 2.8. Let z = v - t. Sort -0.3, z, -5 in increasing order.
-5, -0.3, z
Let s be (-4)/(-10) + ((-168)/20 - -4). Sort 226, 2, s in increasing order.
s, 2, 226
Let r = 17/32 + -1/32. Suppose 3*q - 12 = 3, 4*q - 36 = -4*g. Sort r, -4/3, g in descending order.
g, r, -4/3
Let u = 2971/4 + -742. Let c = -0.2 + 1.2. Sort -3/5, u, 0.2, c in decreasing order.
c, u, 0.2, -3/5
Suppose -396*c = -403*c - 7. Put 42, 1, c in descending order.
42, 1, c
Suppose 7*r = -5*r + 12. Put 62, r, 5 in ascending order.
r, 5, 62
Suppose 711*y = 699*y - 36. Put y, -5, -0.3, 4 in increasing order.
-5, y, -0.3, 4
Let i(r) = r + 4. Let q be i(-7). Let u be (-6 - -4) + q/3. Let p be 12/(6 - 3) - 1. Sort 1, u, p in descending order.
p, 1, u
Suppose -3*u + 5*p - p - 68 = 0, 44 = -2*u + 2*p. Let t be u/(-30)*(-2 - 1). Sort 0, t, 1 in increasing order.
t, 0, 1
Let w = -17 + 58/3. Let a be 2/(-4) - (-2)/(-12). Suppose 0 = -4*d + 5*s - 18 - 1, -5*d - 2*s = -1. Sort w, d, a in decreasing order.
w, a, d
Let v = -20.8 - -22.8. Put -4, -2.7, v in descending order.
v, -2.7, -4
Let h be ((-780)/72 - -10)*(-4)/(-10). Put -5, 0.5, h in decreasing order.
0.5, h, -5
Let i be 13 + (-19)/(57/30). Sort -197, -4, 0, i in ascending order.
-197, -4, 0, i
Let x = 8 + -8.18. Let d = x - -5.18. Let t = -0.3 + 0.1. Sort d, 0.2, t in decreasing order.
d, 0.2, t
Suppose -2*k - 2*k - 12 = 2*n, 3*k + 4*n = -9. Let j(p) = -p**2 + 4. Let l be j(0). Put l, -80, k in ascending order.
-80, k, l
Let s be -10*((-6)/4 - -1). Let j = -769.4 + 769. Sort s, -3, j in increasing order.
-3, j, s
Let s be ((-48)/28)/(-6) - (-200)/(-14). Let a = -9 - -7. Sort s, -5, a, 5 in decreasing order.
5, a, -5, s
Let u be (-2 - -9)*2/7. Suppose -3*r - 5 = 2*n + 8, -u*r - 5*n = 5. Let g = -436 - -440. Sort g, -4, r in ascending order.
r, -4, g
Let s = 222 + -217. Sort -148, s, 3 in descending order.
s, 3, -148
Suppose -4*i = -9 + 29. Let o = -0.03 + 5.03. Let b be -1*(1/3)/1. Sort b, i, o in ascending order.
i, b, o
Let x = 109 + -111. Suppose -g = g. Suppose 2*v = -g*v. Sort 5, v, x in increasing order.
x, v, 5
Suppose -t + 43 = 29. Put 3, t, 2, -2 in descending order.
t, 3, 2, -2
Let s = -0.8 + 0.4. Let l = -4.7 - -2.7. Sort l, s, -2/13 in increasing order.
l, s, -2/13
Let a be 2/(((-20)/(-8))/5). Suppose w = -a*w - 20. Put -1, -5, w in descending order.
-1, w, -5
Let c = 116 + -95. Let s be 3/(c/(-68)) - (-2)/(-7). Sort s, 4, 0.
s, 0, 4
Let q be -5 + -83*(-7)/119. Put -1/5, 3/4, 1, q in decreasing order.
1, 3/4, q, -1/5
Let d be (-12)/(-30) + (-13)/(-5) - -1. Suppose -10*f + d*f - 12 = 0. Sort 1, f, -39.
-39, f, 1
Let o = -1317 - -1318. Sort -5, 21, o in ascending order.
-5, o, 21
Let n be 16/(-20) + 2040/(-200). Sort 8, n, -1 in ascending order.
n, -1, 8
Suppose 5*a + 1 = 4*a + 2*g, 0 = -2*a + 5*g - 3. Let y(d) = -2*d - 7. Let b be y(-5). Put b, a, 0 in decreasing order.
b, a, 0
Let l = -816 + 821. Sort -2/13, -5, 2/9, l.
-5, -2/13, 2/9, l
Let g = 456 + -457. Let c = 0.3 + -6.3. Let z = -4 - c. Sort g, z, 0.5 in descending order.
z, 0.5, g
Let o be (2/12)/(2/(-4)). Let q = -7 + 7. Let h = 7.9 - 8.4. Sort h, o, q in decreasing order.
q, o, h
Let d = 90 - 51. Let h = -34 + d. Sort h, 0.02, 2/3 in descending order.
h, 2/3, 0.02
Let w = 39719/7 + -5635. Let o = 39 - w. Put -5, o, 0.5 in ascending order.
-5, o, 0.5
Let u(i) = 2*i**3 - 2*i + 1. Let r be u(1). Put -4, r, 5, -1 in decreasing order.
5, r, -1, -4
Let v(i) = -i**2 + 3*i + 12. Let h be v(5). Let b be (-6)/4 - 3/(-3). Let l = -358/7 - -51. Sort l, b, h.
b, l, h
Let z be (23/4 + -6)*(0 + 1). Let g be 1/(-2 + 2 + -9). Sort z, g, -0.2 in decreasing order.
g, -0.2, z
Let v be 2/(-7) + 495/(-105). Let f(r) = r - 4. Let d be f(3). Sort d, 0, v, -4 in descending order.
0, d, -4, v
Let u = -6.1 - -6. Let d = -4.1519 + 0.1519. Sort u, -3, d, -0.3 in increasing order.
d, -3, -0.3, u
Let t = -8 + 7. Let o = -7 - -1. Let r be 2/4*o/9. Sort t, r, 0.04.
t, r, 0.04
Let m = -5.86 + -4.14. Let w = 0.035 + 9.665. Let r = m + w. Sort -2/13, 2/7, r in ascending order.
r, -2/13, 2/7
Let p = 3 - -1. Suppose 3*a - 3 - 3 = 0, -p*y + 2*a = 0. Sort y, -4/7, -0.5 in descending order.
y, -0.5, -4/7
Suppose -94*k = -q - 99*k - 25, -5*q = -2*k - 10. Let i = 2 - 1. Put q, i, -0.2, -5 in decreasing order.
i, q, -0.2, -5
Let g be 1 - (-4)/(4 + -8). Suppose g = -3*r + r - 22. Suppose 0 = 3*z - 15 + 9. Sort -4, r, z in decreasing order.
z, -4, r
Suppose -5*u + 14 = w + 4, -3*w + 10 = -5*u. Put 4, -5, -3, u in increasing order.
-5, -3, u, 4
Suppose -9*y - 10 = 26. Let g be (14/y - -3) + 1. Put g, -5, -4 in increasing order.
-5, -4, g
Suppose 22 = r + 40. Let i = -16 - r. Put i, -3, 3 in decreasing order.
3, i, -3
Let k be (-110)/(-25)*(-10)/(-4). Let g = 4 + k. Suppose 0 = w + 2*w - g. Sort w, 2, 4 in descending order.
w, 4, 2
Let o = -3.95 - -7.95. Let r(w) = 2*w - 6. Let f be r(7). Put -0.4, f, o in increasing order.
-0.4, o, f
Let v be -6 + -1 + (-106)/(-14). Sort -0.8, v, 2, -0.3 in ascending order.
-0.8, -0.3, v, 2
Suppose -5*y - s = -0*s - 91, 5*y - 93 = -3*s. Sort -1, y, -2 in increasing order.
-2, -1, y
Let u = 1.9 - -6.6. Let n = 2.5 + u. Let c = 11.4 - n. Put c, 3/5, -2 in descending order.
3/5, c, -2
Let o = -0.7 - -0.5. Let v = o - 0. Let i be 141/(-45) + 1 - (-16 - -14). Sort i, v, -0.03 in ascending order.
v, i, -0.03
Let v(i) = -2*i**2 - 6*i. Let u be v(0). Put -9, -6, 1, u in descending order.
1, u, -6, -9
Let y = 1361 - 28570/21. Sort 0.3, 0, -0.4, y in decreasing order.
y, 0.3, 0, -0.4
Let r(i) = -i**2 + 2*i + 5. Let z be r(3). Let c = -16 - -27. Sort z, 4, c, 0 in decreasing order.
c, 4, z, 0
Let l be (-9)/6*((-8)/3 + 0). Let g be (0/(-3 - -1))/2. Sort l, 3, g in descending order.
l, 3, g
Suppose 4*k = -3*x - 11, x - 3 = -2*x + 3*k. Let n = 2 + x. Suppose -h = -0*h + n. Sort h, 4, 0 in decreasing order.
4, 