a*t - 4 = -2*t - 5*p. Put -1, t, -11, 4 in decreasing order.
4, -1, t, -11
Let x(y) = y**2 - 5*y + 5. Let r(d) = d + 21. Let f be r(-10). Suppose -3*t + f = -4. Let j be x(t). Sort j, -3, -1 in descending order.
j, -1, -3
Let y = 5 + -13. Let a = 79 - 82. Put a, y, 4 in increasing order.
y, a, 4
Let h = 62.8 - 62. Let m = -0.92 + -0.08. Put -4, h, 2, m in ascending order.
-4, m, h, 2
Suppose -3*l - 12 + 0 = 0. Suppose 6*x - 2*x = 156. Let r be l + x/(-18)*-2. Put -2, r, -2/45 in decreasing order.
r, -2/45, -2
Let g = -12 - -25. Let t = -19 + g. Let d = -1.49 - -1.19. Sort t, d, -3 in decreasing order.
d, -3, t
Let u be (-22)/(-5)*15/(-6). Let s = 4 - 0. Sort 3, s, u.
u, 3, s
Suppose -31*f + 37*f = 372. Put 3, f, 1, 0 in ascending order.
0, 1, 3, f
Suppose x - r = 4, 2*x - 4 = -2*r + 4. Let n(y) = 2*y - 11. Let b be n(7). Sort -1, x, b.
-1, b, x
Let n = -838 + 837.6. Put 2/35, -3/2, n, -0.1 in decreasing order.
2/35, -0.1, n, -3/2
Let n = 3 + -8. Let q = 3 - 0. Let z be 150/90 + (-49)/24. Sort n, q, z in increasing order.
n, z, q
Let l be 214*(-9 + (-38)/(-4)). Put 3, 4, l in decreasing order.
l, 4, 3
Let v = 265/6 + -44. Suppose -3*z + 4 = 4*j + 1, -4*z = 5*j - 3. Sort z, v, 3 in ascending order.
z, v, 3
Let z be (1 - -1) + 3/1. Let q(n) = -n**3 + 3*n**2 - n - 2. Let r be q(3). Sort r, z, 2 in decreasing order.
z, 2, r
Let q = 3.211 + -73.251. Let g = -70 - q. Sort -4/5, g, -3, 0.1.
-3, -4/5, g, 0.1
Let s be ((-10)/(-4) - 1 - 48697/(-33022)) + -3. Suppose -r + 0*f + 2*f - 3 = 0, 0 = r + 4*f - 9. Put r, s, -2/15, 2 in decreasing order.
2, r, s, -2/15
Let l = -457 - -460. Sort -1, 34, l in increasing order.
-1, l, 34
Let x = -5.15 + 5. Let r be 3 + (4 - 3) + (-3)/3. Put 0.2, r, x in ascending order.
x, 0.2, r
Let o = -3.435 - -8.435. Let h = -4.4 + 4. Sort o, h, 0.2 in descending order.
o, 0.2, h
Let u = -40 + 36. Let a be 19/7 - (-4)/14. Suppose -a + 0 = 3*z. Sort z, u, 0.
u, z, 0
Let v = 540 + -540.076. Put v, 4, 0 in ascending order.
v, 0, 4
Let v(i) = -i**2 - 12*i + 13. Let n be v(-11). Suppose 5*x - n = -4*c + 2*x, c - x + 1 = 0. Let j = c + -6. Put -7, j, 2 in decreasing order.
2, j, -7
Let q = -31 + 71. Let w = q + -40.1. Sort 1, -0.12, w in descending order.
1, w, -0.12
Suppose 42*o - 6*o = -1152. Put -1, 2, o in descending order.
2, -1, o
Let k = -410 - -410. Put -15, 14, k in ascending order.
-15, k, 14
Let i = 37/162 - 1/162. Let d = -23 + 24. Let k = 0.25 - 0.05. Sort i, k, d.
k, i, d
Let l(y) = -y - 8. Let v be l(-6). Let n = -62.7 + 10.7. Let a = n + 51. Sort 0.5, a, v.
v, a, 0.5
Let h = -6 - -30. Let r = -20 + h. Let y = -3/37 - 96/185. Put -3/7, y, r in descending order.
r, -3/7, y
Let h(d) = -3*d**2 + d. Let u be h(1). Let y = -3 + u. Let r = 816 - 812. Sort 0.1, y, r in descending order.
r, 0.1, y
Suppose 5*a = -2*p + 13, 2*a + p - 5 = -0*p. Let o be 1*-3*(-10 + a). Let l be o/6 + 3/6. Sort 3, 0, l in descending order.
l, 3, 0
Let g(y) be the first derivative of -y**2/2 - 9*y - 13. Let o(b) = -b**2 + 5*b - 7. Let n be o(6). Let z be g(n). Put z, -1, 2 in decreasing order.
z, 2, -1
Suppose 46*d - 264 = 13*d. Put -2, 4, -5, d in decreasing order.
d, 4, -2, -5
Suppose -7*b + 30 = -12*b. Let q be 8 + -4 - (10 + b). Sort q, -2, -4.
-4, -2, q
Let f(g) = g - 25. Let i be f(24). Suppose 6*v - 8*v = 0. Sort v, i, -3 in ascending order.
-3, i, v
Let s = -0.35 - -0.84. Let o = s + 0.01. Let y = 1.1 + 1.9. Sort y, -5, o in decreasing order.
y, o, -5
Let n = 15 + -3. Let w = 41 + -57. Let i = w + n. Sort -0.5, -1, i in descending order.
-0.5, -1, i
Let p = -16 + 18. Let v = p + -3. Sort v, 3, 5, -7 in ascending order.
-7, v, 3, 5
Suppose -6*v + 3*v = h + 10, 2*v + 18 = 5*h. Suppose -9*y = h*y - 11. Suppose 6*m = 3*m. Put -1, m, y in descending order.
y, m, -1
Let t(n) = -n - 12. Let d be t(0). Let k be -27*(-3)/36 - (-6)/8. Let z be 0 - k/d*1. Sort -2/21, 4, z in decreasing order.
4, z, -2/21
Let n = 243 - 1697/7. Let j = 148.63 - 148.33. Sort 2, -12, j, n in descending order.
2, n, j, -12
Suppose -5*z = -15, -p + z - 5 = 2. Put 5, 4, -1, p in decreasing order.
5, 4, -1, p
Let x be 2*(-6)/7*14/(-8). Let v = 76 - 79. Put v, -5, 5, x in increasing order.
-5, v, x, 5
Let l(n) = -n - 4. Let s be l(-4). Suppose m + 2 + 1 = s. Suppose -c = 3*c. Put -1, c, m in ascending order.
m, -1, c
Suppose -9 - 1 = 3*s - 5*y, -20 = -4*y. Suppose s*p - 10 = -2*o + 14, 4*p - 18 = -o. Sort 5, -4, p, 8 in descending order.
8, 5, p, -4
Let n be ((-4)/5)/(1*1/(-110)). Let k be -2 + n/(-36) - -4. Put -2, 3/7, k in ascending order.
-2, k, 3/7
Let z be -1 - (-2 + (-3)/(-2)). Let w = 9.7 + -4. Let d = w - -1.3. Sort 3/2, z, d in ascending order.
z, 3/2, d
Let d be (48/(-15))/4*(-25)/2. Suppose w + 5*u = u - 4, -d = -2*w + u. Suppose a - 3*a - 2 = 0. Sort a, w, -4 in decreasing order.
w, a, -4
Let g = 6 - 6. Let b(u) = u**2 + 8*u + 3. Let m be b(-8). Let t be 8/(-3)*m/(-4). Put t, -4, g in increasing order.
-4, g, t
Let s = 1.11 + -0.81. Let g = 7 + -4. Put g, s, -4 in ascending order.
-4, s, g
Let s be (-6*2/(-10))/(28/140). Put s, -5, 5 in increasing order.
-5, 5, s
Let g = 107 + -112. Put 3/34, -3/4, g in descending order.
3/34, -3/4, g
Let i = -0.15 + 0.168. Let v = 0.482 + i. Put 0, v, -4, -3 in ascending order.
-4, -3, 0, v
Let t be ((-9)/12)/((-1)/(-4)). Let d be (-3 - -7)*(-8 + 6)/(-2). Sort t, d, -2 in descending order.
d, -2, t
Suppose 3*n - 3*y + 6 = 0, 0 = 3*n + 2*y - 18 + 4. Let u be (-3)/n - 11/(-10). Sort -3, 6, u.
-3, u, 6
Let u = 35.6 - 36. Let l = -12.7 + 13. Let w = 0 + l. Sort -0.3, w, u in decreasing order.
w, -0.3, u
Suppose 0 = -h - 25*o + 27*o + 12, -3*h = 2*o - 60. Put -1, 4, 2, h in descending order.
h, 4, 2, -1
Let z = 6 - 0. Let f = 108 + -107. Suppose 5*t - 2 + 12 = 0. Put t, z, f in increasing order.
t, f, z
Let j be (-12)/27 - 32/9. Let q(f) = -f + 4. Let m be q(0). Put m, j, -1 in descending order.
m, -1, j
Let d(b) = b**3 - 14*b**2 + 23*b + 17. Let f be d(12). Suppose -2*l - 2*j - 14 = 0, -10 = -2*l + j + 3*j. Let h be (2/l - -1)*f. Sort h, -0.4, -13.
-13, -0.4, h
Let y = 7 - 4. Let d = 2 - y. Suppose 43*z = 44*z + 5*t - 10, -4*z - t = -2. Sort d, 0.05, z.
d, z, 0.05
Let g = -1/112440 + -541103/1630380. Let x = 6/29 + g. Let y = -0.07 + 3.07. Put x, -0.5, y in decreasing order.
y, x, -0.5
Let d = -10 + 10.01. Let q = d - -1.99. Let r = -4.97 - 0.03. Sort 5/4, r, q in descending order.
q, 5/4, r
Let p be 27/(-11)*(-4 + 34). Let y = 25/22 + p. Let c = y + 74. Sort 2, c, 0.4 in ascending order.
0.4, c, 2
Let j = 562 + -572. Put -0.5, j, 0.05 in decreasing order.
0.05, -0.5, j
Let a = -96.9 + 83. Let l = 15 + a. Put -0.2, l, -0.3 in increasing order.
-0.3, -0.2, l
Suppose 3*r = -15, -f - 4*r - 8 = -3*r. Let d be (-111)/39 + (-6)/(-2). Put d, 1, f, -1 in descending order.
1, d, -1, f
Let d = 36 + -32. Let u = 15 + -17. Let w be u/(-39)*3 - 0. Put w, d, 3/5 in descending order.
d, 3/5, w
Let s = -6530 + 6528. Let j = -7 + 10.3. Let c = j + 0.7. Sort s, c, 2/3.
s, 2/3, c
Let w(f) = -f**2 + 13*f - 11. Let h(p) = p + 1. Let u(n) = 2*h(n) - w(n). Let o be u(10). Let r be (-1)/4 - 2/(-8). Put -3, o, r in ascending order.
-3, r, o
Let k = -1/920 + -4597/2760. Sort 0.1, -3, k, 1/7 in decreasing order.
1/7, 0.1, k, -3
Suppose 0 = -4*p + 6*p - 4. Let f be 6 + 1/2*-2. Suppose -o + 3*w = o + 3, f*o - 2*w = 9. Sort p, 1, o.
1, p, o
Let a be 3/(-3)*1/3. Let y be (-8)/(-28) - (-5)/7. Let f = a + y. Put 1, 0.05, f in descending order.
1, f, 0.05
Let m be ((1 - 5) + 1)*-1. Let r = m - 5. Suppose 0 = -25*u - 8 + 58. Sort r, -5, u in decreasing order.
u, r, -5
Let w(y) = 11*y - 227. Let t be w(21). Sort -5, t, -307, 1 in descending order.
t, 1, -5, -307
Let x(k) = k + 10. Let y be x(-10). Let g = 4 + y. Suppose 106*u - 109*u - 3 = 0. Sort g, 5, u in increasing order.
u, g, 5
Let w(j) = -j - 31. Let v be w(-29). Sort 5, 3, 1, v in ascending order.
v, 1, 3, 5
Let c be 6/(-9)*3 + (-130)/(-26). Put 6, c, -8 in descending order.
6, c, -8
Suppose 11 - 66 = -5*b. Put -2, b, 5, -5 in descending order.
b, 5, -2, -5
Let f be (2/(-8))/((-3)/60). Suppose -q + 4*r - 1 = 2*q, 0 = -5*q + r + 21. Suppose -6 = -3*g + 3*n, 0 = -3*g + g + q*n + 4. Sort f, g, -2 in increasing order.
-2, g, f
Let b = -0.451 + 0.951. Sort 1/4, -4.3, b, 4 in descending order.
4, b, 1/4, -4.3
Sup