se -5*o + 37 = p. Put -1, 7, o, 2 in ascending order.
-1, 2, o, 7
Let q be (-12)/10 + 0 + (-13000)/(-2500). Put -2, -254, q, 0 in descending order.
q, 0, -2, -254
Suppose -5*h + t - 31 = 0, -6*t + 4*t = h + 15. Suppose -2*x + 8 = 0, -3*a + 3*x + 7 = -17. Sort -3, a, h in descending order.
a, -3, h
Let i = -26.07503 - -0.07503. Put 2/49, 2/31, i in decreasing order.
2/31, 2/49, i
Let m(d) be the first derivative of -d**2/2 + 7*d + 6. Let l be m(5). Let p = 4.178 + -3.778. Sort 1/4, l, p.
1/4, p, l
Let x be 1*-12*(-1)/(-2). Let u(n) = n**2 - n + 10. Let r be u(x). Suppose r*j - 16 = 50*j. Sort -3, j, 2/15 in ascending order.
-3, 2/15, j
Let b be -1*(-2 + (-5 - -11 - 0)). Put -5, b, -3, 2 in decreasing order.
2, -3, b, -5
Let f be 31 + -25 - ((-1)/(-1))/((-3)/(-6)). Sort f, 5, 3, -1 in decreasing order.
5, f, 3, -1
Suppose 0 = -3*k - 2 - 7. Suppose i + 40 = -4*i - 2*h, 3*i - h = -13. Let p be 1*(-24)/i - (1 + 1). Put 1, p, k in increasing order.
k, 1, p
Let i(s) = -s**3 + 6*s**2 + 2*s - 8. Let z be i(6). Suppose -15 = o - 2*a, 3*o + 0*o + z*a = 5. Suppose 110 = 62*k - 182 + 44. Put -1, o, k in descending order.
k, -1, o
Let r = 8 + -12. Let u = 5741 + -5746. Sort -2, 20, u, r.
u, r, -2, 20
Let v be 134/10 + 1/(25/(-10)). Let r be (-2)/3 - (-381)/45*v. Let s = 109 - r. Put 2/15, -0.1, s in ascending order.
s, -0.1, 2/15
Suppose k = 3*h + 4, h + 4*k + 1 = 17. Suppose h = -0*n + 12*n + 24. Sort 6, n, 4, -1 in increasing order.
n, -1, 4, 6
Let o be (((2 - 2)/(-4 + 3))/3)/2. Sort 1, o, 1019 in descending order.
1019, 1, o
Let x(m) = -m - 33. Let t(r) = 5*r + 132. Let s(f) = -2*t(f) - 9*x(f). Let o = -1107 + 1097. Let l be s(o). Sort l, 0, 2 in increasing order.
0, 2, l
Let o = -21480/143 + 10276675/68068. Let t = o - 2/119. Sort 1, t, -114 in decreasing order.
1, t, -114
Let b = -153 - -766/5. Let m = 71.4 + -71. Sort -2, 3, b, m in ascending order.
-2, b, m, 3
Suppose -5*i - 105 = 2*w - 109, 3*i - 4*w = 18. Sort i, 13, 4, 5.
i, 4, 5, 13
Let p = 1410 - 1408. Put -4, p, -26/9, 0, -0.03 in decreasing order.
p, 0, -0.03, -26/9, -4
Let l = 24 + -24. Suppose -3*i = 3*c - 15, 7*i + 22 = 2*c + 12*i. Put -2, 2, c, l in descending order.
2, c, l, -2
Let s be (201/(-134))/(1/(-16)). Let u be (-15 + 27)*-1*(-2)/s. Let t(l) = -l**3 + 4*l**2 + l - 4. Let d be t(4). Put d, u, 13 in decreasing order.
13, u, d
Suppose -3 = -10*o + 11*o. Let g be 1/(o/((-12)/4)). Suppose 6 = 3*d - 6. Put g, d, 2 in increasing order.
g, 2, d
Let y be -1 + -7 + (3 - 0). Let f = 1986 + -1986. Sort f, -35, y, 1 in descending order.
1, f, y, -35
Suppose -5*x = 4*a - 26, -138*a + 2*x = -134*a + 16. Let l = 0.46 - 0.06. Put -5, 1, a, l in ascending order.
-5, a, l, 1
Suppose -13*t = -15*t + 4*x - 74, -164 = 5*t - 3*x. Let d(p) = -p**3 - 33*p**2 - 63*p - 26. Let v be d(t). Sort -2, -20, v in ascending order.
-20, -2, v
Suppose -4*u - 13*l + 10*l = 468, 0 = 2*u + l + 234. Sort -0.2, 0.2, 0.3, u.
u, -0.2, 0.2, 0.3
Let s = 0.067 + 2.933. Let o = -372 - -1112/3. Put 5, 0, o, s in increasing order.
o, 0, s, 5
Let b = -100 - -128. Suppose 0 = 4*p - 4*g - b, -8*p - g = -7*p + 3. Let a = -68/55 - -18/11. Put p, 0.2, a in ascending order.
0.2, a, p
Let n = 25 + -33. Suppose 3*l + 4*t = -1, 0 = 4*l - 28*t + 32*t - 4. Sort -1, n, -4, l in decreasing order.
l, -1, -4, n
Let x = -431.04 + 9.04. Let q = x - -418.992. Let z = q + 0.008. Put z, -5, -0.2 in descending order.
-0.2, z, -5
Suppose 97 = 4*r + 6*r + 147. Sort 3, r, -7, 1 in decreasing order.
3, 1, r, -7
Suppose -v - 159 = -3*p - 10, 5*p = 3*v + 247. Let o = p + -43. Suppose 13*s - o*s = -24. Sort -1, 1, 9, s.
s, -1, 1, 9
Let l = 23273/2 + -11636. Sort 1/4, -1/4, l, -5, -1.
-5, -1, -1/4, 1/4, l
Let b = 32.768 + -0.368. Let n = 31.9 - b. Sort n, -1, -4 in descending order.
n, -1, -4
Let h = -1379.7 - -1380. Put h, 0.5, 343/5 in descending order.
343/5, 0.5, h
Let q be -2 + 224 - (-3 - 1). Let u = q + -228. Sort u, -20, 5 in increasing order.
-20, u, 5
Let j(g) = 222*g + 1553. Let d be j(-7). Let l = -250.02 - -253. Let q = 0.02 + l. Sort 0, -4/7, q, d.
d, -4/7, 0, q
Suppose -5*l - 26 = 4*q, -4*l = 2*q - 4*q. Let v be (-1)/((q/5)/4). Suppose 3*k - 3*t - 3 = -0*t, 5 = -4*k - 5*t. Put 2, v, k in descending order.
v, 2, k
Suppose 4 = -3*c - a, -2*c + 3*a + 12 = c. Suppose 2*v = 3*b + 8, -34 = 4*b - 5*b - 3*v. Put b, c, -6, -1 in ascending order.
-6, -1, c, b
Let t = -182 - -185. Sort 39, t, -0.01 in increasing order.
-0.01, t, 39
Let x = 924 - 950. Sort 0.1, -10, -0.4, x in descending order.
0.1, -0.4, -10, x
Let v = -2991 + 3395. Sort -1, 2, v in decreasing order.
v, 2, -1
Suppose -3*u = -5*i - 15 + 1, -2 = -i + 3*u. Sort -5, 0, i in decreasing order.
0, i, -5
Let g(z) be the third derivative of -23*z**4/24 - 193*z**3/6 + 170*z**2. Let p be g(-9). Sort p, -3, 0.
-3, 0, p
Suppose -5*c - 5*j = -230, -42 = 4*c + 5*j - 228. Let s = c + -49. Suppose 3*k + 18 - 6 = 0. Sort -3, k, s in ascending order.
s, k, -3
Let q be -3*(-3)/((-27)/12). Suppose 10*a - 9 = 11. Suppose -2 = -a*l - 16. Put 0, q, l in increasing order.
l, q, 0
Let m = -379/2 - -189. Let q = -8.155 - -0.155. Sort m, -2/21, -1, q in descending order.
-2/21, m, -1, q
Let y = 3858 + -3772. Put y, 0, 4, -2 in increasing order.
-2, 0, 4, y
Let r be 56/(-12) + 3 - -3. Let f = 5998.6 - 5999. Sort -0.07, f, r.
f, -0.07, r
Let l(b) = -b**2 + b + 5. Suppose 2*c = 3*n + 4, 8*c = n + 3*c + 23. Let k be l(n). Sort -1, -2, k in descending order.
k, -1, -2
Let r(i) = i**3 - 8*i**2 + 15*i - 14. Let y be r(6). Suppose j + 25 = y*v, 3*j + 15 + 4 = -2*v. Let n = 6 + j. Sort -1, n, -2.
n, -2, -1
Let v = -6603 + 6601. Sort -4, v, -1942 in decreasing order.
v, -4, -1942
Let m(r) = -r**2 + 43*r + 137. Let p be m(46). Put 159, -6, p in ascending order.
-6, p, 159
Let y(q) = -12*q - 135. Let b be y(-34). Let h = b + -275. Put -3, -6, 0, h in increasing order.
-6, -3, h, 0
Let q be (2/2 - 7 - 2)/(-1). Let h be 72/15 - (-16)/(-20). Put q, 1, h, -5 in descending order.
q, h, 1, -5
Suppose 2*h = 2, 0 = -5*g + 7*g - 4*h + 44. Let s be (144/(-40))/(6/g). Sort -4, s, 3, 1.
-4, 1, 3, s
Let m be ((-14)/(-6))/((-1)/(-3)). Suppose 2*s + 70 = 4*u, 3*s + 45 = -2*u + 4*u. Suppose 3*x - 3 = z, -m*z + 3*x - u = -2*z. Put z, -7, 2 in decreasing order.
2, z, -7
Let v(a) = a**2 + 2*a + 1. Let k be v(0). Suppose -2 = 2*m + 5*f, -3*m + 6*m + 3 = -4*f. Put m, 11, k in increasing order.
m, k, 11
Suppose l + m + 21 = 15, 0 = 5*l + 4*m + 28. Sort 27, -1, l in decreasing order.
27, -1, l
Let m(d) = d**2 + 391*d - 2784. Let a be m(7). Sort -4, 16, a, 4 in descending order.
16, 4, a, -4
Let z be 67/(-15) + -45*(-18)/486. Sort -2/11, 3, z.
z, -2/11, 3
Let p be 7/28*-4 - 1. Suppose 0 + 4 = 2*u. Suppose r - 18 = -2*r - 3*y, -5*r = 2*y - 39. Sort p, u, r, 4.
p, u, 4, r
Let m be 0 - (-418)/46 - (-20)/(-230). Put 4, m, 0 in decreasing order.
m, 4, 0
Let a(o) = o**3 + 2*o**2 - o + 4. Let t be (12/20)/((-1)/5). Let u be a(t). Let q = 0.11618 + -0.11618. Sort -0.3, u, -0.5, q in decreasing order.
q, -0.3, -0.5, u
Suppose -366 - 40 = 58*h. Sort -4, h, -84 in ascending order.
-84, h, -4
Let p be 4/(-10)*(1 - 22/2). Let u be 288/21 + (-2)/(-7). Put -4, u, p in decreasing order.
u, p, -4
Suppose -2*r + 50 = -7*r. Let x be 4/r + 135/25 + 5. Suppose -5*i - 15 = -x*i. Sort -5, 4, i, 2 in increasing order.
-5, 2, i, 4
Suppose -41*x - 60 = -26*x. Let v be (3 - 4)*(x - -5). Sort v, -3, 6 in ascending order.
-3, v, 6
Let f = 0 + -0.1. Let n(w) = -w**2 - 15*w - 14. Let k be n(-14). Suppose -4*l + 1 - 13 = k. Sort 2, f, l in increasing order.
l, f, 2
Let j = -15293 - -45875/3. Put 4, -0.4, j, 533 in decreasing order.
533, 4, -0.4, j
Let n be (-1)/(28 - 7)*-10158. Let o = n + -484. Let y = -13 - -8. Put 0.02, -2, o, y in decreasing order.
0.02, o, -2, y
Let o = -2.4 + 2. Let u = 43769 + -43768.26. Put 5, u, o in decreasing order.
5, u, o
Let r be (-2 + 44/6)/((-30)/(-495)). Suppose 93*o = r*o - 45. Put -3, -1, 2, o in descending order.
2, -1, -3, o
Let t be (-12)/1 - (4 + -3 - 8). Put 0, t, 1, 52, -2 in increasing order.
t, -2, 0, 1, 52
Suppose 0*v = 2*r - v, 5*v = 2*r. Let z(q) = 58*q - 168. Let n be z(3). Suppose 2*l + b = -3*b + n, 5*b = 5*l + 30. Put r, l, -2, 1 in increasing order.
l, -2, r, 1
Let b(f) = -314*f - 2198. Let j be b(-7). Put 1, -3, -2/7, j, -226