t g be (30/12 - 2)*(254 + 0). Suppose 103*a - 120 = g*a. Sort a, 1, z, 0 in increasing order.
a, 0, 1, z
Let v(p) = -3*p - 25. Let b be v(-7). Suppose 39*n = 40*n + 3*g - 13, n = -2*g + 8. Sort 6, n, 5, b in ascending order.
b, n, 5, 6
Let b = 3745 - 3745. Sort 1, b, 5, -1, -5.
-5, -1, b, 1, 5
Suppose -6*s - 70 = 8*s. Let o(m) = 165*m + 2479. Let t be o(-15). Sort 0, t, -6, s in descending order.
t, 0, s, -6
Suppose 9*j + 470 = 14*j. Suppose j*c = 91*c - 15. Sort c, 5, 4 in decreasing order.
5, 4, c
Let p = 996/119 + -135/17. Sort -0.1, -0.2, 42, p, -5 in descending order.
42, p, -0.1, -0.2, -5
Let b = -1.5 - -1.9. Let m = -88 - -194. Let d = m + -106.16. Put d, b, 0.2 in increasing order.
d, 0.2, b
Let f = -105.44 + 110.44. Put 2/5, -1/4, -4, f, -0.03 in descending order.
f, 2/5, -0.03, -1/4, -4
Suppose 5*f + 3*k - 68 + 0 = 0, -44 = -2*f + 3*k. Let t be (-264)/(-225) - 4/48*f. Put 1, 5, 2, t in ascending order.
t, 1, 2, 5
Suppose -8*z + 3*u = -z + 55, -5*z + 5*u - 25 = 0. Sort z, 2, -4, 0.
z, -4, 0, 2
Let h = -0.01 + -0.39. Let r be ((-18)/24)/((-9)/60). Let g be r/(-25) + (-6)/(-10). Sort -4, -1/5, h, g in decreasing order.
g, -1/5, h, -4
Suppose 6*h = -55 + 67. Sort h, -125, -1, -3 in increasing order.
-125, -3, -1, h
Let a = 10685 - 11229.3. Let y = a + 544. Sort y, -5, 0.4, 7.
-5, y, 0.4, 7
Suppose 2*a + 2 = 2*m - 2, m = 2*a + 6. Let n = -421 + 404. Let l = -11 - n. Put l, a, 4, -3 in descending order.
l, 4, -3, a
Let t = 20 + -18. Suppose -f - 2 = l - 1, 0 = -3*f + t*l + 2. Let r be 45/(-10)*(-10)/15. Put r, f, -3, -4 in ascending order.
-4, -3, f, r
Let t be 90/(-3)*(5088/60 - 17). Sort t, -2, 3 in descending order.
3, -2, t
Let v be ((-2)/15*-9)/(3/25). Suppose s - 2*m - m = -v, 4*s - 3*m = 5. Sort -1/6, s, 3, 4/3 in decreasing order.
s, 3, 4/3, -1/6
Let q = 1773 - 1777. Put 52, 7, q in decreasing order.
52, 7, q
Let t = -4313 - -4311.187. Let v = -0.187 + t. Sort 0.4, -3, v in ascending order.
-3, v, 0.4
Let q = 203.51 - 201.51. Sort -0.7, q, 0.0356, -2.
-2, -0.7, 0.0356, q
Suppose 5*i = 4*k + 3, 3*k + 0 = -3*i - 9. Put 9, 3, i in descending order.
9, 3, i
Let p = -0.104823 - 456.965177. Let z = 457 + p. Sort 7, z, 5, 2/7 in descending order.
7, 5, 2/7, z
Let m(n) = -53*n + 4606. Let b be m(87). Put -0.02, -0.6, b, 2, 2/13 in ascending order.
b, -0.6, -0.02, 2/13, 2
Let h = -8418 + 8427. Put -5, h, 47, 1 in decreasing order.
47, h, 1, -5
Let r(w) = -112*w + 900. Let x be r(8). Sort -16, -24, 2, x, -5 in increasing order.
-24, -16, -5, 2, x
Let x = 68 + -67.38. Let l = 0.38 + x. Let q = -14.9 + 9.9. Sort q, l, -0.2, 4.
q, -0.2, l, 4
Let u = -3.26556 + 0.26556. Put 1, 8, 13, u in decreasing order.
13, 8, 1, u
Let r(z) = -2*z. Let a = -24 + 23. Let t be r(a). Sort -0.3, t, -2/33 in increasing order.
-0.3, -2/33, t
Suppose -2*r - 28*f = -33*f - 43, -2*r - 5*f + 13 = 0. Let z = 2.7 + 0.3. Sort 5, 0, z, r in decreasing order.
r, 5, z, 0
Let m = 3.7 + -3.4. Let p = 0.06 + -0.66. Let v = p + -1.4. Put m, v, 4/9 in descending order.
4/9, m, v
Let p be (-3)/(15/(-41)) + 20/(-100). Suppose -x = -p*x - 0*x. Sort 5, -6, 2, x in descending order.
5, 2, x, -6
Suppose 60*l + 52*l = 448. Sort -4, l, 191, -2/7, 0 in decreasing order.
191, l, 0, -2/7, -4
Let u be (-2)/56*-12 + (-69)/(-35) + -3. Put 1/5, 1/6, -2, u, 3 in decreasing order.
3, 1/5, 1/6, u, -2
Let w(b) = -b + 23. Let j be w(0). Let v = -91/4 + j. Let q be (-160)/952 + (-20)/170. Put 0.4, 0, q, v in decreasing order.
0.4, v, 0, q
Let j be -2*-5*(-4 - (-96)/20). Suppose c - j = 5*c. Sort -3, c, 9, 2 in descending order.
9, 2, c, -3
Suppose 4*a + 18 = 38. Let b be (0 - -2)/(a + (7 - 13)). Let n be 7/(-5) + (-14)/(-35). Put 3, b, n, 9 in decreasing order.
9, 3, n, b
Suppose 33 + 17 = -10*m. Sort -2, -87, 1, m in increasing order.
-87, m, -2, 1
Let t be ((-22)/(-44))/(1 - (0 + 2)). Sort t, 1/3, -350 in descending order.
1/3, t, -350
Let u = 0.01279 + -0.41279. Put 0, -4, u, 362 in ascending order.
-4, u, 0, 362
Let o be ((-227)/908)/((-1)/(-12)). Put o, 10, -40, 1, 5 in decreasing order.
10, 5, 1, o, -40
Let c = 84.03 - 84.03. Sort -42, -0.2, c, -5, -2/9.
-42, -5, -2/9, -0.2, c
Let y = -60/11 - -562/99. Let x be (-8)/7*(-555)/(-1110). Put y, x, 1/5 in descending order.
y, 1/5, x
Suppose 1243*f = 1229*f. Put -3, 4, f, -1, -123 in descending order.
4, f, -1, -3, -123
Let v(u) = -u**2 + 25*u - 20. Let q be v(24). Suppose -q + 5 = z. Suppose l = -z, r + l - 5 = -3. Put r, 4, -3 in increasing order.
-3, r, 4
Let h(r) = -19*r - 1. Let w be h(-1). Let q be w/60*20/15. Sort -3/26, 5, q in increasing order.
-3/26, q, 5
Let k = -38.5 - -38. Let c = 7466 - 7470. Sort k, -5, 1.5, c in decreasing order.
1.5, k, c, -5
Let b be 6 - ((-4)/6 - 1274/(-147)). Put 5, b, -47 in ascending order.
-47, b, 5
Suppose -10*w + 25 - 55 + 30 = 0. Put -4, 8, w, -51 in decreasing order.
8, w, -4, -51
Suppose 0*u - 2*i = u - 2, -4*i + 4 = -u. Let v(x) = -x**3 - x - 5. Let k be v(u). Sort k, -7, 1.
-7, k, 1
Let n = 1133399/1619870 - 1124/2219. Let m = n + 1/146. Put m, -8, 0 in decreasing order.
m, 0, -8
Let f = 0.15 + -0.05. Let h be -2 + (-884)/(-425) + (-328)/350. Sort 2/7, 1, h, f in increasing order.
h, f, 2/7, 1
Let k = 150 - 213. Let i = k - -62. Let m = -4 - -10. Sort -5, i, m.
-5, i, m
Let z be (-32)/(-2) - (-8)/(-2). Let r be (z/8 - 2)*-2. Suppose -13*b - 40 = 25. Sort -2, r, -1, b.
b, -2, -1, r
Let w = -0.1 - 0.2. Let l = 33/2 + -493/30. Let p = -0.56 - -0.66. Sort p, 3, w, l in increasing order.
w, l, p, 3
Let u = 3988 - 3975. Put -9, 1, -4, -5, u in decreasing order.
u, 1, -4, -5, -9
Let j = 1182 - 1180. Suppose 0 = -5*u - 3*g + 27, 4*g - 23 = -4*u + 3*g. Sort 4, u, 1, j in ascending order.
1, j, 4, u
Let i be 1/(-10)*(-14 - -8) - (-12)/5. Sort -2, -24, i in descending order.
i, -2, -24
Let q be (-16)/(-3)*-6*2/(-4). Suppose -17 = -d - q. Sort d, -2, 4, 2.
-2, d, 2, 4
Let h = 66 + -46. Let c(a) = 2*a - 40. Let g be c(h). Suppose 4*y = -k - 17, g = y + 4*y - 5*k - 10. Sort 0.2, -2/13, y in increasing order.
y, -2/13, 0.2
Suppose q + 5*t - 30 + 85 = 0, -3*q = -t + 5. Suppose 2 + 0 = j, -3*u - 4*j = 1. Suppose w + 4*o + 1 = -2*w, 3 = 4*w + o. Put q, u, w in decreasing order.
w, u, q
Let h be 4 + (15004/84 - (-2)/(-7)). Let z = h - 178. Sort -0.3, -3, z in increasing order.
-3, -0.3, z
Let i = -15.87 - -15.37. Sort 0, i, 2/9, -4/15 in descending order.
2/9, 0, -4/15, i
Let i be (1 - (-18)/4) + -1. Let q be (-4)/8*(426/(-42))/(-1). Let u = i + q. Put 4, 3, u in descending order.
4, 3, u
Let w = 13.78 + -10.9. Let s = 1.12 + w. Put 0, 0.2, -8, s in descending order.
s, 0.2, 0, -8
Let v be ((-2)/3)/(-1 + (-40)/15 - -4). Sort v, 3, -104 in descending order.
3, v, -104
Let s(q) = -668*q**3 + 35*q**2 - 36*q + 1. Let j be s(1). Put -1, -2, 0, j in decreasing order.
0, -1, -2, j
Let q(j) = 5*j**3 + j**2 + j + 1. Let t be q(-1). Suppose 3 = -3*s + 4*s. Suppose -2*g = -g - s*m - 17, 0 = g - 5*m - 27. Put g, 8, t in increasing order.
t, g, 8
Let i(u) = -75*u - 80 + 143*u - 4 - 63*u. Let r(g) = g**3 + 10*g**2 - 13*g - 5. Let y be r(-11). Let m be i(y). Sort m, 13, -3, -4 in descending order.
13, m, -3, -4
Let x be -2 - (-16)/(-12)*-3. Suppose -16 = -x*b - 10. Let y be 1*(7/b + (1 - 3)). Sort 6/5, y, -3/7 in descending order.
6/5, y, -3/7
Let x be (2/3)/((-12)/30 + (-28)/105). Sort 0, -3, 53, x in increasing order.
-3, x, 0, 53
Let x be (29 + 3458/(-114))/(3*(-2)/(-9)). Let n = -25 - -29. Sort n, 0, x, 7 in increasing order.
x, 0, n, 7
Let l be -15*((-6)/(-15) + (-32)/30). Let v(h) = h**2 - 4*h - 58. Let g be v(l). Let q = 8 + -12. Sort g, 0, q, 1 in decreasing order.
g, 1, 0, q
Let c = -0.06 + -0.14. Let f = 5.168 + -0.168. Let b be 2 + 14/(-4) + 1/(-2). Sort 1/3, c, f, b in increasing order.
b, c, 1/3, f
Let n(l) be the first derivative of l**4/4 + 11*l**3/3 + 10*l**2 + 19*l - 29. Let u be n(-9). Suppose -18 = 2*o - 8. Put o, 5, u in ascending order.
o, u, 5
Let w be (264176/(-52832) - -5)/(1/(-4)). Let l = w + 1641/8255. Put l, -0.3, 0.4, 1 in descending order.
1, 0.4, l, -0.3
Let r = -1051/3171 + -2/1057. Sort -1, 156, r, -2 in ascending order.
-2, -1, r, 156
Let o be (-2)/12*(-94)/(-47). Let w = 115 - 573/5. Let l be (-6)/10 - 1411/(-2635). Sort w, o, l.
o, l, w
Let m = 7.88 + 0.12. Let j = -1081 - -1072. Let t = m + j. So