n = -117.759 - 0.241. Let u = -123 - n. Put u, 1, 3, 0.3 in decreasing order.
3, 1, 0.3, u
Suppose 3*v - 248 = -v. Suppose v*t + 10 = 57*t. Sort -1, t, 0 in descending order.
0, -1, t
Suppose -11*d + 10*d = 5. Put -7, d, 4 in descending order.
4, d, -7
Let q(h) = -3*h**2 + 1. Let i be q(1). Let l(g) = -g**3 - g**2 - g - 2. Let y be l(i). Sort y, -1, 1.
-1, 1, y
Let i be (20 + -19)/(2/12). Let x = i - 10. Sort 7, -1, x in decreasing order.
7, -1, x
Let a = 1696 - 1692. Let l be (-6)/4*(-2)/(-9). Put 0.03, a, l, -4 in increasing order.
-4, l, 0.03, a
Suppose 0 = c - 6*c + 3*x - 4, 4*x = -8. Let j(h) = 3*h - 24. Let v be j(10). Suppose 3*o = 5*o - v. Sort -3, c, o in ascending order.
-3, c, o
Let k = 0.38 + 0.12. Let i = -1 + 0. Let m = i + k. Sort 4/5, m, 0.5.
m, 0.5, 4/5
Let q = -0.2 - -4.2. Suppose 3*d + 9*n + 5 = 4*n, 4*n = 8. Sort d, 3, 5/6, q in descending order.
q, 3, 5/6, d
Suppose -48*l = -2*h - 52*l - 28, -4*l = -5*h + 14. Let j = 1 + -2. Sort 7, h, j in increasing order.
h, j, 7
Let o be -374*6/12 + -8. Put -5, o, 2 in descending order.
2, -5, o
Let c = 107 - 113. Sort 1, -4, c, -2 in decreasing order.
1, -2, -4, c
Let q(m) = -95*m + 64. Let d be q(3). Sort d, 1, 5 in ascending order.
d, 1, 5
Let o = -1454 + 1457. Put -2/5, 0.046, -0.2, o in decreasing order.
o, 0.046, -0.2, -2/5
Let n = 579 - 2315/4. Sort 3, n, 2/15, -0.09 in descending order.
3, n, 2/15, -0.09
Let t = 153 + -153.2. Sort t, 4/9, -0.09 in decreasing order.
4/9, -0.09, t
Let p = 255 + -258. Put 4, 0, -4, p in decreasing order.
4, 0, p, -4
Let n be (-126)/33 + 1 - (24 + -27). Sort -13, 2, n in decreasing order.
2, n, -13
Let g = 136/11 - 283/22. Sort 18, -4, g, 0.5 in ascending order.
-4, g, 0.5, 18
Let l(w) = w**3 + 7*w**2 + 11*w + 2. Let m be l(-5). Sort 62, m, 4 in descending order.
62, 4, m
Suppose -1040 + 1038 = 2*n. Let p be (-3)/(-2)*(-8)/18. Let z = 5 + -3. Sort z, p, n in ascending order.
n, p, z
Suppose -4*r - 41 - 1 = 5*z, -z - 3*r = 15. Let i be 2 + -2 + -7 + 1. Let v be i/6 + (1 - 4). Sort 1, v, z in descending order.
1, v, z
Let g(j) = j**3 + 8*j**2 + 10*j + 16. Let r be g(-7). Sort -96, -1, r.
-96, r, -1
Let p = -1674 + 1672. Sort -21, p, 1, -1.
-21, p, -1, 1
Suppose 18*z - 15*z = 3*a - 18, a - 4*z = 9. Sort -4, -244, a in descending order.
a, -4, -244
Let l(m) = 12*m + 9*m - 27*m + 19. Let c be l(3). Put -1, c, -5 in decreasing order.
c, -1, -5
Let p = 5 + -2. Let v = 25 - 53. Let z = v + 32. Sort p, 0, z in decreasing order.
z, p, 0
Let z = -0.37 + 0.07. Let o = -98 - -96.6. Put z, -4, o in decreasing order.
z, o, -4
Let k(x) = -2*x**3 + x**2 - 4*x + 3. Let f be k(1). Put -1/28, 1/3, 0.4, f in decreasing order.
0.4, 1/3, -1/28, f
Let k = 341 + -344. Sort 3, 9, k in increasing order.
k, 3, 9
Let g be 10 + -10 + 3*(-12)/(-9). Suppose -4*o = -g*b + 16, b + b - 11 = -o. Sort -2, b, 0.5, -0.2.
-2, -0.2, 0.5, b
Let u be 0 + 0 - (35 - 40). Let n = 6 - 3. Suppose 3*m - n*z = -6*z + 3, 3 = -3*z. Put m, 1, u in descending order.
u, m, 1
Suppose 3*z + 3 = 0, -2*z + z = 5*b - 49. Suppose b = 3*t - 2*l, t - 4*l = -2 - 8. Let a(o) = o - 6. Let y be a(t). Sort y, -3, 1/2 in ascending order.
-3, y, 1/2
Suppose -4*n + 2*n - 11 = -5*m, 0 = -2*n + 4*m - 8. Let t = -1.144 + 0.144. Put n, -0.3, t in increasing order.
t, -0.3, n
Let d = 686.8 + -687. Let l be (1/(-2))/(2/(-20)). Put 3/4, d, l in descending order.
l, 3/4, d
Let s = -60 + 64. Suppose 3 = f + s*j + 1, 5*j - 1 = -2*f. Sort 5, f, -4 in descending order.
5, f, -4
Let n = -1080 - -1082. Sort n, 0, -0.24 in decreasing order.
n, 0, -0.24
Suppose -4*i - 8*g = -7*g + 23, 0 = -4*i + 4*g - 8. Suppose 91 = 6*l - 7*l. Sort i, 1, l in increasing order.
l, i, 1
Suppose 189 = -9*a - 495. Let f = 75 + a. Put -0.2, 5, f, -0.4 in decreasing order.
5, -0.2, -0.4, f
Suppose -14*n + 68 = 54. Sort -2, 0, 8, n in decreasing order.
8, n, 0, -2
Let s(u) = -u**3 - 15*u**2 - 39*u - 28. Let x be s(-12). Sort -3, x, 4.
-3, 4, x
Let w(j) = 2*j. Let a be w(1). Suppose 12 = 3*n, 18 = a*t - 2*n + 6*n. Let c(x) = -9*x**3 - 67*x**2 - 31*x - 16. Let b be c(-7). Sort -1, b, t.
-1, t, b
Let c = -719 - -719. Put 2, c, 0.55 in ascending order.
c, 0.55, 2
Let t = -56.447 + 49.34. Let k = -0.107 - t. Put k, 1, -2/13 in decreasing order.
k, 1, -2/13
Let a(s) = -5*s**2 + 76*s - 14. Let r be a(15). Sort 2, 1067, r in ascending order.
r, 2, 1067
Let x = -189 + 188.5. Sort x, -5, -1/5 in ascending order.
-5, x, -1/5
Let d be 50/325 - 108/26. Put -5, d, -1 in ascending order.
-5, d, -1
Suppose -3 = -37*u - 3. Sort 3, u, 29 in decreasing order.
29, 3, u
Let u = 1.48 - 0.98. Sort 0.1, -2, u, 1/3 in descending order.
u, 1/3, 0.1, -2
Suppose -16 = -2*j + j. Let i be (((-8)/j)/(1 - 0))/2. Put 5, i, 18 in decreasing order.
18, 5, i
Suppose -4*k = 50 - 58. Let b(a) = -a**2 - 8*a - 7. Let x = 15 - 22. Let v be b(x). Sort 1, v, k in decreasing order.
k, 1, v
Let m = -325.002 - -324. Let a = m - -0.002. Let t = -1 + 2. Put -5, t, a in decreasing order.
t, a, -5
Suppose 4*d = 5*h - 15, 0*h - 3*d = 2*h - 6. Suppose 2*c + h*c - 25 = 0. Suppose -n - 2 = -c. Put 3/7, 0, n in descending order.
n, 3/7, 0
Suppose -111*d + 131*d + 420 = 0. Put -2, d, 3, -5 in decreasing order.
3, -2, -5, d
Let m = -1.5 + 2. Let w = -51/154 + 1/22. Let v = -5.49 + 0.49. Put w, m, v in descending order.
m, w, v
Let j be (-754)/(-1044) + 4/(-18). Put 3/8, 0.2, j in descending order.
j, 3/8, 0.2
Let g = 388 - 379. Put 34, g, -3 in descending order.
34, g, -3
Suppose -3*m = -2*q - 13, 4*m - q - 14 = -0*m. Suppose -16*k = -24 + 24. Put m, k, 5 in ascending order.
k, m, 5
Let z = -101/608 - -3/304. Let p = z - -121/160. Sort p, -4, 2/3 in increasing order.
-4, p, 2/3
Let v = 30.8 + -31.3. Sort 17, -2/17, 3, v in decreasing order.
17, 3, -2/17, v
Let i = 19.997 - -0.003. Let y = i + -25. Put -3, y, -0.01 in decreasing order.
-0.01, -3, y
Let r(y) = -y**3 - 12*y**2 + 11*y - 28. Let z be r(-13). Put -3, 4, 0, z in ascending order.
-3, z, 0, 4
Let f = 2025 + -14174/7. Put f, -0.2, -655 in increasing order.
-655, -0.2, f
Let n be (-48)/15 + -2 - 10/(-2). Put n, 10, 1, 0.1 in increasing order.
n, 0.1, 1, 10
Let j be -1 - (-5 - (1 + -2)). Let p = j - 7. Let x(l) = 5*l**2 - 80*l + 4. Let w be x(16). Sort p, 0, w in descending order.
w, 0, p
Let b = 49/246 - 15/41. Sort -3, b, 14.
-3, b, 14
Let x = -116/45 + 71/27. Let v be ((-4)/30)/(27/30). Let d = x - v. Put -2, -4, d in decreasing order.
d, -2, -4
Let s = -0.9 + 2.9. Let d = 13.56 - 13.38. Sort -1, 0.2, d, s in descending order.
s, 0.2, d, -1
Suppose 9*s = -51 + 150. Sort -3, s, 0.
-3, 0, s
Let j = 214 - 641/3. Sort -9, j, 0.4.
-9, j, 0.4
Suppose l - 4 - 1 = 0. Suppose 3*m = -1 - l. Let v(t) = -2*t**3 - 22*t**2 - 34*t + 20. Let c be v(-9). Put c, m, -1 in descending order.
c, -1, m
Let i = -6 - -7. Suppose -2*r + 4*l - 16 = 0, -2*l + 0 + 14 = -4*r. Sort -1, r, i in ascending order.
r, -1, i
Let m(s) be the first derivative of -s**3/3 + 5*s**2 + 11. Let z be m(10). Suppose z = -0*t + t - 2. Put -5, t, 0 in decreasing order.
t, 0, -5
Let s = -1/66 - 29/264. Let n = -1.5 - -1.8. Put s, n, -3, 3 in increasing order.
-3, s, n, 3
Let y be ((-1)/2 - -1)*(-34 + 42). Suppose 2*q - o = 4 + 1, -40 = -y*q - 4*o. Sort -8, -1, -3, q in descending order.
q, -1, -3, -8
Let c be 4/18 - 83/9. Let g be 5 - 5 - 2/c. Sort -2, 0.2, g in descending order.
g, 0.2, -2
Let s(x) = -x**3 - 4*x**2 + 4*x - 3. Let g be s(-5). Suppose 0 = g*y - 0*y. Sort -1, -5, y in descending order.
y, -1, -5
Let k(o) = -4*o**3 + o**2 - 1. Let b be k(-1). Suppose b*s = 1 + 7. Suppose 0 = 8*w - 18 - 30. Put s, 3, w in decreasing order.
w, 3, s
Let r = -69 + 0. Let j be (-23)/r - 1/3. Sort 0.4, -1, j.
-1, j, 0.4
Let g = -8.3 - -48.3. Let p = -43 + g. Put p, 0.4, -2/5 in increasing order.
p, -2/5, 0.4
Suppose 0 = -r - 4. Suppose -2*t = 6*n - 4*n + 10, 3*t + 3 = n. Sort r, n, 5 in decreasing order.
5, n, r
Let a = -682 + 681. Sort 5/4, -1/3, 1.4, a in descending order.
1.4, 5/4, -1/3, a
Suppose -2*i + 14 = -2*x - x, 5*x - 2*i + 18 = 0. Suppose 0 = q + 1. Let n = 128 + -133. Sort n, q, x in increasing order.
n, x, q
Let m = -3 + 2. Suppose 9*z - 10 = 4*z. Let w be -3 + (-1)/m - z. Sort w, 3, -3.
w, -3, 3
Let t = 504 + -490. Put t, 3, 4 in descending order.
t, 4, 3
Let m be -4 - (5 + 13)/(-3). Put -13, 