3, 0.055, s, -3 in ascending order.
-3, 0.055, 1/3, s
Suppose 925*i - 30 = 920*i. Put 0, i, -1, 1 in increasing order.
-1, 0, 1, i
Let x(b) = b**2 + 7*b + 7. Let o be x(-7). Suppose -5*t = -10*t. Suppose -5*u - 4*m + 7*m + 23 = 0, 0 = -m - 1. Put u, t, o in increasing order.
t, u, o
Let v = -20 - -39. Suppose -v = -4*h - 7. Suppose -h*c + 15 = 0, -p + 3*c + 3 = 25. Put -1, p, -2 in increasing order.
p, -2, -1
Suppose -58 = -30*p + p. Put 0.3, p, -5, -0.14 in decreasing order.
p, 0.3, -0.14, -5
Let y be 2 + (-1)/(-2 + 1). Let h = -3 + y. Put h, -5, 15 in decreasing order.
15, h, -5
Let z = 0.44 + -0.629. Sort 5, 2, z in descending order.
5, 2, z
Let c = -0.438 - -0.4. Let h = 4.962 - c. Put -3, -0.2, -2, h in descending order.
h, -0.2, -2, -3
Let h = 250 - 497/2. Sort -234, h, 0 in decreasing order.
h, 0, -234
Let u be 6/(-9) - 17/(-30). Let j(x) = -x - 8. Let z be j(-10). Put u, 1/5, z in ascending order.
u, 1/5, z
Let r = -862/3 - -287. Sort 1/2, 3/4, r, 5.
r, 1/2, 3/4, 5
Suppose -3*n + 2*v = -5, 2*n + 9 = -v + 24. Let k be (-2)/12 - (-14)/12. Sort n, k, -9.
-9, k, n
Let y be (-4)/(-6) + (-44)/30. Let q be 4/4 - (-1 + 2). Suppose 2*n - 4*n - 10 = q. Sort y, -0.3, n in descending order.
-0.3, y, n
Let u be (-32)/10 - (-3)/15. Suppose 4*z - 5 = 3*z. Sort z, u, 4 in decreasing order.
z, 4, u
Let x = -190 - -190. Put x, 1, -2, -12 in decreasing order.
1, x, -2, -12
Let w = -2 + 2. Suppose w = 5*s - s + 8. Let m be 1/(-4) + (-90)/(-936)*13. Put s, 5, m in descending order.
5, m, s
Let z be (-10)/((-50)/(-15)) + 6/2. Put 3, 5, z in decreasing order.
5, 3, z
Let h be 2 + -2*2/(-4). Let r(w) = -w + 1. Let l(y) = 5*y - 10. Let d(o) = -l(o) - 3*r(o). Let z be d(6). Sort -3, z, h in decreasing order.
h, -3, z
Let i be (-18)/(-52) + -4 + (-54)/(-13). Sort 5, 0.01, i, -4 in ascending order.
-4, 0.01, i, 5
Let x = 2 + -2.4. Let b = 0.31 - -1.69. Let w = b - 8. Sort w, -2, x in descending order.
x, -2, w
Let t = 20.4 + -20. Let q = 1.4 - t. Let m = -7 - -3. Sort 4/3, m, q in decreasing order.
4/3, q, m
Let s be (-10 + 3)*(1 - 0). Suppose 5*j - 9 = -9*a + 7*a, -2*j = -5*a - 21. Put s, j, 0 in ascending order.
s, 0, j
Let x = -81 + 49. Let s = 32.1 + x. Put -0.2, -3/2, 0.4, s in increasing order.
-3/2, -0.2, s, 0.4
Let j = 144 - 87. Let k = j + -45. Put -2, -5, k in increasing order.
-5, -2, k
Let b = 4.3 - 4. Let z = 314 + -204. Let v = z - 105. Sort b, 0.4, v in descending order.
v, 0.4, b
Let o(v) = v**3 - 2*v**2 - 2*v + 3. Let w be o(2). Let l(n) = -5*n. Let m be l(w). Suppose i = -m + 7. Put i, 0, -4 in decreasing order.
i, 0, -4
Suppose 20 = o + 19. Sort o, 4.4, -2.
-2, o, 4.4
Suppose 4 = 6*m - 8*m. Let l be 279/62*m/(-3). Let p(c) = -c**2 - 4*c + 1. Let u be p(-5). Sort l, -1/12, u.
u, -1/12, l
Let x(q) = -q**3 - 9*q**2 + 12*q + 32. Let r be x(-10). Sort 2, -4, r, 0.
-4, 0, 2, r
Suppose -243 - 27 = 135*w. Suppose -3*a + 8*a + 3*d - 3 = 0, -5 = -a - 5*d. Sort a, -7, w in descending order.
a, w, -7
Suppose 3 = -3*b + 15. Let f(q) = 4*q + 4. Let z be f(b). Suppose -11*a = -15*a - z. Sort a, -2, 3 in increasing order.
a, -2, 3
Suppose -4*a = -3*r - 40, -a + 7 = 2*r - 3. Suppose a*w - 50 = 15*w. Sort w, 0, 5.
w, 0, 5
Let u be (-4)/(-18) + (-1800)/81. Let q = u + 19. Let p(r) = r. Let o be p(3). Sort 4, q, o in ascending order.
q, o, 4
Let y = 380 + -380. Let t = 1.2 - 1. Put y, -0.05, t in ascending order.
-0.05, y, t
Suppose 4*z + 60 = 4*i, -i + 5*z - 3 = -34. Put 12, 3, i in decreasing order.
12, i, 3
Let l = 1491 + -1488. Let f = 38.4 - 16.8. Let s = -20 + f. Put l, -0.5, s in increasing order.
-0.5, s, l
Let u = 1120 + -1123. Put -1/7, 245, u in descending order.
245, -1/7, u
Let n(v) = v**2 + 21*v + 100. Let j be n(-14). Sort 5, j, -1, -57 in ascending order.
-57, -1, j, 5
Let y = 0.137 + 0.063. Sort y, -1, 3/2, -8 in descending order.
3/2, y, -1, -8
Let w(g) = 7*g - 2. Let l be w(1). Let j be ((0 - -1)*0)/2. Suppose -2*x + 5*x - 3 = j. Sort l, -3, x in ascending order.
-3, x, l
Let f = 446 + -3123/7. Put 4, f, -4 in descending order.
4, f, -4
Let m = -40 + 42. Suppose 4*p + p - 13 = m*q, 3*p - 11 = -2*q. Sort 2, q, -1.
-1, q, 2
Let n = -250/3 - -83. Sort 0.3, -1, 30, n in decreasing order.
30, 0.3, n, -1
Let m = 181 + -177. Put m, -4, 3 in increasing order.
-4, 3, m
Let b = -6 + 43. Let t = -36.9 + b. Let f be ((-3)/(-6))/((-1)/(-10)). Sort f, t, -4 in increasing order.
-4, t, f
Let h = 224.05 + -224. Put h, -16, -2 in descending order.
h, -2, -16
Let n = -535.2 + 535. Let p = 5.01 - 0.01. Let o be (-16)/90 - 2/(-5). Put p, n, o in decreasing order.
p, o, n
Let v = -651 - -642. Sort 8, v, 4, -4 in ascending order.
v, -4, 4, 8
Suppose v + 3*g = 5*v - 10, -5*v + 5*g = -15. Suppose -3*m = 3*m + 12. Sort v, 5, m in decreasing order.
5, v, m
Suppose -4*l = 6 - 2. Suppose 0 = 5*w - 2*c + 14, -5*c = -0*c + 15. Put w, l, -2 in ascending order.
w, -2, l
Let b(p) = -p + 1. Let a be b(0). Suppose m - a = 2*m. Suppose -8 = -0*u - 4*u. Sort m, -0.5, u in decreasing order.
u, -0.5, m
Let x(v) = -v**3 - 6*v**2 + 2*v + 3. Let p be x(-6). Let h(a) = -2*a**2 - 18*a - 5. Let m be h(p). Sort m, -1, 1, 3 in decreasing order.
3, 1, -1, m
Let r = -707 + 704. Sort 1, -1, r, -0.036.
r, -1, -0.036, 1
Let m be ((-17)/(-51))/((-3)/27). Let b be 1 + -3 - (-2 - -5). Put -2, m, b in ascending order.
b, m, -2
Let s = -0.032 - -73.032. Let g = s - 70. Let l = 383/5 - 77. Sort g, l, 2/9 in descending order.
g, 2/9, l
Let v be (6/(-9))/(-4 - (-310)/75). Let k = -54 - -53. Sort v, k, -2, -3 in ascending order.
v, -3, -2, k
Let l(f) = 46*f**2 - 10*f - 9. Let q be l(-1). Put q, 2, -1, -2 in decreasing order.
q, 2, -1, -2
Suppose -2*j + 6*j = 20. Let a(h) = -2*h**2 + 22*h + 2. Suppose 6*u - 5*u = 11. Let t be a(u). Put j, t, -1 in decreasing order.
j, t, -1
Suppose 0 = 5*p - p - 20. Suppose -p*c + 8 = -7. Put c, 22, 4 in ascending order.
c, 4, 22
Let l(g) = -3*g**2 + 5*g - 6. Let o be l(2). Let q be (-5 - -2)/(6/o). Sort 1/3, -5, q in increasing order.
-5, 1/3, q
Let g be -3*3/18*66. Let l = g + 31. Put l, -3, -1 in decreasing order.
-1, l, -3
Let g = -1011 - -1010. Sort 2, 36, g, -4 in decreasing order.
36, 2, g, -4
Let k be ((-3)/6)/((-3)/168). Suppose 2*v + 4*i = k, 3*i - 20 = -i. Put 5, v, 6 in increasing order.
v, 5, 6
Let b = 67.54 + 1.46. Let h = -49 + b. Let d = h - 19. Put d, -5, 5 in decreasing order.
5, d, -5
Let r be -4 - ((2 - 2)/(-1) - -1). Let i be 8*5/(-10) + 6. Put i, r, 0, -3 in descending order.
i, 0, -3, r
Let h be (3*5/(-30))/1. Sort -2, h, 2/5 in decreasing order.
2/5, h, -2
Let q = 259 + -258. Put q, 0, 1/9 in descending order.
q, 1/9, 0
Let h(b) = 61*b**2 + b + 1. Let z be h(1). Let k = z + -64. Put 0, k, 9 in decreasing order.
9, 0, k
Let x = 47.6147 + -0.0147. Let v = 48 - x. Sort 7, v, 3 in increasing order.
v, 3, 7
Suppose 4*q - 5*d + 29 = 0, q - 3*d + 16 = -0. Put 1, 3, q in increasing order.
q, 1, 3
Suppose -3*d - 17 = -20*d. Put -46, d, -5 in ascending order.
-46, -5, d
Let y be 2/(-2 - 0)*1. Let q be 1/(-5*(-2)/40). Suppose -3*n - 9 = -x, 5*n + 9 = 2*n - q*x. Put y, n, -2 in increasing order.
n, -2, y
Let r = -7 + 11. Let u be ((-24)/(-20))/((-2)/(-30)). Let t = -19 + u. Put t, 3, r in descending order.
r, 3, t
Suppose 6 = 6*b, -104 = -3*y - 4*b - 103. Suppose -8*k + 4*k = 0. Sort -5, y, 1, k in increasing order.
-5, y, k, 1
Let b(g) = g**3 + 4*g**2 + 4*g + 2. Let q be b(-3). Suppose 4*x = n, 3*x - 4*n = -6*n. Let z = -16 - -17. Sort x, z, q in decreasing order.
z, x, q
Suppose 42 = 15*b - 48. Sort b, -4, 0.
-4, 0, b
Let w be 16/(-136)*(-2 - (-3)/3). Let f = -0.23 + -0.07. Let r = f + -0.7. Put w, -0.1, r in decreasing order.
w, -0.1, r
Let i(v) = -v**3 - 4*v**2 + 3*v - 6. Let a be i(-5). Let t be ((-12)/10)/(a/(-20)). Let l be t*((-6)/3)/20. Sort l, -4, 1 in ascending order.
-4, l, 1
Let h = 4 + -6. Let p be (0/(-2))/(-9 - -5). Suppose m = -p*m - 4. Sort h, m, -5 in decreasing order.
h, m, -5
Suppose -133*t - 40 = -137*t. Suppose t = x - w - 4*w, 0 = -2*x + 3*w - 1. Let r = 1 - -1. Put x, r, 4 in decreasing order.
4, r, x
Let g be -4 + (1 - -1) + 6. Let q be ((g + -4)/5)/(-4). Sort 12, 2/23, q.
q, 2/23, 12
Suppose 10*f - 32 = 6*f. Suppose -2*i - f = -4*u, u - 2*i - 10 = -4*u. Let h = u - -3. Sort -1, h, 4 in increasing order.
-1, 4, h
Let f be 22/(-3)*