1, 0.3, s
Let s = -907 - -909. Put s, -46, 5 in decreasing order.
5, s, -46
Let y be (-35)/(-136) - (-222)/1887. Let j = -2 - 0. Sort y, -1/9, -4, j in descending order.
y, -1/9, j, -4
Let v = 54.3 + -54. Let p = v + 1.7. Put 1/6, p, 4 in decreasing order.
4, p, 1/6
Let l(p) = 2*p + 16. Let b be l(8). Suppose 8 = a + i, b = 3*a + 6*i - i. Let o(k) = k - 11. Let g be o(8). Sort g, -4, a in decreasing order.
a, g, -4
Let p = 19 + -18. Let v be -3 + (90/12 - p). Put -2, -1, v in increasing order.
-2, -1, v
Let i = -0.0185 - -0.0185. Sort i, 3, 1.6 in descending order.
3, 1.6, i
Let j = 0.02 + -0.42. Let s(l) = -2*l + 67. Let c be s(32). Suppose 4*v - 6 = c*z, -v = 2*v + 2*z + 4. Sort v, 5, j in decreasing order.
5, v, j
Let q = 1142.1 + -1142. Let m = 14 - 2. Sort m, 2, q in increasing order.
q, 2, m
Suppose b + j = 6*j - 22, 5*b - 2*j + 18 = 0. Let z = -137/7 + 267/14. Sort 1, 0, z, b in ascending order.
b, z, 0, 1
Let p = -684.4 - -684. Let b = 3 + -2.84. Sort b, 2, p in decreasing order.
2, b, p
Let z(d) = -d + 2. Let r be z(1). Let s(b) = -5*b**2 - 2*b + 2. Let p be s(r). Let y = 10 - 6. Sort y, p, -6 in ascending order.
-6, p, y
Let q = -13.93 + 14.33. Put 8, 19, q in decreasing order.
19, 8, q
Let i = 14 + -12. Suppose a + 2 = p, 2*p = -2*a - 3*a - 17. Sort a, -2, i.
a, -2, i
Let z = 0.466 + -0.366. Let b = -3 + 0. Sort z, -5, b.
-5, b, z
Let f = 488 + -489. Let c = -3 + 3. Sort 3, c, f in increasing order.
f, c, 3
Let z be ((-3)/(-4))/(2/(-16)). Let v(j) = -j**2 - 8*j + 10. Let s be v(-9). Sort 0, s, z in ascending order.
z, 0, s
Suppose 5*j + 27*s = 31*s + 12, 3*s + 9 = -4*j. Sort j, -4, 3.
-4, j, 3
Let h(f) = 2*f - 19. Let r be h(11). Suppose 0 = 6*m - 3*m - 6. Sort r, 0, -6, m.
-6, 0, m, r
Let m be (-4)/(-6) + 6/(-18)*20. Let t be (2/m + 1)/((-32)/108). Sort 0, 5, t in increasing order.
t, 0, 5
Let z be (-265)/106 - (-1)/(-2). Let v be 1*3*(-2)/(-3). Put v, z, -4 in decreasing order.
v, z, -4
Let v be 2/9 - (-2)/(-90). Let a be (-3 - -5) + (-11)/7. Sort -1, 1/9, v, a.
-1, 1/9, v, a
Suppose t = -4*x - 13, 4*x + 14 = -0*t - 2*t. Let u = -7 - -7. Sort u, t, 4 in decreasing order.
4, u, t
Let a = 28.206 - 28. Let t = 0.006 - a. Sort t, -1/4, -6/5, -1/2.
-6/5, -1/2, -1/4, t
Let r(i) = i**2 + 3*i - 2. Let o be r(-2). Let s be -2*2*(-5)/o. Suppose -2 = 5*q - 2. Put q, s, -2 in increasing order.
s, -2, q
Let r be (-17)/(-4) - (16 + (-603)/36). Sort -3, 23, -4, r.
-4, -3, r, 23
Suppose 4 = -4*f, 0 = l + 2*l - 5*f + 7. Suppose -5*h - 5*a + 35 = -3*a, 2*a + 5 = 3*h. Let i be (-46)/10 - (-8)/(-20). Put i, h, l in decreasing order.
h, l, i
Let t = -4 - 39. Let r = 52 + t. Put 2, r, -1 in increasing order.
-1, 2, r
Suppose -q + 4 = 0, -5*k - 2*q = -0 - 3. Let f = 7 - 5. Let p be 1 - f - k*4. Put -1, -5, p in descending order.
p, -1, -5
Let j = 3 - 2. Let d be j/2*(0 + -2). Let h = -242 + 244. Sort 0, h, d.
d, 0, h
Let z = 1361 - 1363. Put -10, z, 21, 4 in descending order.
21, 4, z, -10
Let d be ((-4)/(-18))/((-2)/(-6)) - 0. Let w = -2.1 - 0.9. Sort 0, w, d.
w, 0, d
Let i(c) = c + 1. Let h be i(1). Sort -1, h, 10.
-1, h, 10
Let z(x) = -x + 16. Suppose 3*w = 5*r - 60, -4*r + w + 46 = -w. Let p be z(r). Suppose -3*b + p*b = 0. Sort b, 2, -3 in decreasing order.
2, b, -3
Suppose 0 = -3*a - 0*t - t - 48, -63 = 5*a - 4*t. Let b = -10 - a. Let w = -194 - -202. Sort w, b, -5 in descending order.
w, b, -5
Suppose 511*c - 527*c + 64 = 0. Sort -3, 26, c in ascending order.
-3, c, 26
Let v be 15/90 + 134/(-12). Let f = 13 + v. Put f, 1, -4 in ascending order.
-4, 1, f
Let y be 2*(-2)/(12/9). Let s be 33/9 + 2/y. Sort -10, 1/3, s in ascending order.
-10, 1/3, s
Suppose 5*c = 4*p + 42, c - 3*p - 18 = p. Suppose c = 5*n + 16. Sort n, 12, -1 in ascending order.
n, -1, 12
Let f = -19.16 - -23.16. Put 46, -0.1, 2, f in decreasing order.
46, f, 2, -0.1
Let l(o) = -4*o - 67. Let h be l(-18). Put -2, h, -8, 2 in increasing order.
-8, -2, 2, h
Let c = -138.4 - -138. Sort 5, c, -1/17, 3 in decreasing order.
5, 3, -1/17, c
Let h = -70.1 + 70. Sort -33/5, h, -4 in descending order.
h, -4, -33/5
Let v be -4*3/24*0. Suppose s + 2*s = 2*o + 10, -2 = -2*o - 3*s. Put v, o, 10 in ascending order.
o, v, 10
Suppose -a + 4*s - 76 = a, -5*a + s = 226. Let t be a/36 - (-4)/(-18). Let l = -64/471 - -2/785. Put -4, t, l in descending order.
l, t, -4
Let l be (-6)/((-1)/(-2) + -2). Let p be ((-12)/18)/(4/(-6)). Let w be (-5)/(-2) + p/(-2). Sort w, -1, l in decreasing order.
l, w, -1
Let p = 24.8 - 23. Let c = 1.1 - p. Sort -2, c, -5.
-5, -2, c
Let s = 21.41 + -21.61. Sort -5, s, 5, -779.
-779, -5, s, 5
Let b(y) = -y**2 - 7*y - 8. Let a be b(-6). Suppose 5 + 1 = -3*q. Let d = a + q. Sort -5, 5, d in increasing order.
-5, d, 5
Suppose 0 = -5*d + x + 8, 3*d - 2 = 2*x - 0. Suppose 7 - d = 5*i. Sort -0.5, 0.2, i in ascending order.
-0.5, 0.2, i
Let b(w) = -w**2 - 38*w + 546. Let h be b(-48). Sort h, -5, -2 in decreasing order.
h, -2, -5
Let r(l) = -3*l**2 - 22*l + 10. Suppose 0 = -3*h + 4*t - 36, 0*h + 2*t - 30 = 3*h. Let g be r(h). Put -2, -5, 5, g in decreasing order.
5, -2, -5, g
Let a(g) = -4*g + 9. Let x be a(-7). Let t = x - 33. Sort 1/3, 3, t in increasing order.
1/3, 3, t
Let m = -64.84 - -4.24. Let o = 61 + m. Put 0, 3, o, -16 in decreasing order.
3, o, 0, -16
Let v = 232 + -234. Sort -5, 3, v, -1/3 in decreasing order.
3, -1/3, v, -5
Let u(q) = q**2 - 4*q - 64. Let a be u(10). Let h be (a - (-14)/4)*2. Suppose 0 = -3*m - 2*m - 25. Put m, 1, h in decreasing order.
1, h, m
Let y = 123/460 - 2/115. Sort -1, 22, 3, y in descending order.
22, 3, y, -1
Let o = 14 + -14.08. Let d = -0.22 + o. Let u = -103/2 - -50. Sort 4/9, d, u.
u, d, 4/9
Let x = -41 + 39. Let z = -17 + 14. Let t be (0/(-1))/(5 + z). Sort t, x, 4 in ascending order.
x, t, 4
Let i = 233 - 234. Sort 2, 0, i, -4 in decreasing order.
2, 0, i, -4
Suppose -2*q + 0*h + h = 11, 0 = -q + h - 8. Let d be q + 1 + 10 + -3. Put d, -2, -3 in decreasing order.
d, -2, -3
Suppose -14*z = -18*z. Sort z, 4, -4, 1 in descending order.
4, 1, z, -4
Let g = 575/1146 - 1/573. Sort 0.3, 1/9, g, 1 in increasing order.
1/9, 0.3, g, 1
Let v(m) = -45*m - 133. Let g be v(-3). Let d = 1 - 1. Suppose 2*c - 14 = -d*c. Sort g, c, -5 in increasing order.
-5, g, c
Suppose -2*p + 17 + 1 = 3*d, 5*d - 3*p = 30. Suppose -n = -3*q + 7, 5*n + 15 = q - d. Sort n, 2, -1 in increasing order.
n, -1, 2
Let q = -2.4 - -2. Let f = 465 - 470. Sort f, q, 1.
f, q, 1
Let m = 7 - 7.5. Let j = 326 - 331. Put m, j, -4, -3 in ascending order.
j, -4, -3, m
Let v = 0.4 + -2.4. Let m = 0.3 + 0.2. Let w = -600 + 4203/7. Put w, v, m in increasing order.
v, w, m
Let v = 27 + -32. Let d = -5.4 - v. Let y be ((-2)/5)/(19/5). Put 4, y, d in increasing order.
d, y, 4
Let v = -17 - -45. Let p = -25.5 + v. Put p, -0.5, 4 in descending order.
4, p, -0.5
Let w = 6 - 6.2. Let o be ((-16)/(-360))/((-168)/985). Let s = o + 2/189. Sort w, 3, s in ascending order.
s, w, 3
Suppose 5*m - 3*g = 7, -4*m - 7*g + 3*g + 12 = 0. Let l be -8 + 1 + -2 + m. Let a = -12 - l. Put 1, 11, a in decreasing order.
11, 1, a
Let k be (-3 - 0) + 0 - -5. Suppose 0 = -k*g + 31 - 3. Let t be ((-3)/(-2))/((-7)/g). Sort -1, t, 5 in decreasing order.
5, -1, t
Let g = -2098 + 2100. Let c = -7 - -12. Put g, c, -4, 4 in increasing order.
-4, g, 4, c
Suppose -3*q + 2 = 2*v, -4*v + 10 = 16*q - 13*q. Sort 24, -3, v.
-3, v, 24
Let f = 77 + -80. Suppose -5*b + 16 = -b. Let q be 20/(-8)*(2 - b). Put f, q, -4 in descending order.
q, f, -4
Let v(p) = -p**2 - 6*p - 4. Let m be v(-5). Suppose 0 = -5*s + 5*l - 10, l + 6 = 7*s - 10*s. Sort m, s, -4 in increasing order.
-4, s, m
Let u = 3 - -3. Suppose 2*a = 4*h - 30, 2*h - 45 = -3*h + 4*a. Suppose -u*t = -h*t + 4. Put 0.01, -5, t in ascending order.
-5, t, 0.01
Let v = 0 + 5. Suppose x + 3*o - 3 = 3*x, 3*o = 3*x + 9. Let d = -10 - x. Put -1/7, v, d in ascending order.
d, -1/7, v
Let x(u) = -u**2 - 16*u - 50. Let g be x(-4). Let f = 5 - 9. Put 2, f, g in ascending order.
f, g, 2
Let j be 1/((-3)/6) - (9 + -98). Suppose 2*n + j = 97. Suppose 1 = g, -2*g + 25 = -5*h - 7*g. Sort n, 0, h in decreasing order.
n, 0, h
Let d be 54/243 - (68/(-18) - 0). Sort 3, d, -5, 0 in ascending order.
-5, 0, 3, d
Let z be (-6 - 0)*10/(-20). Suppose -5*k + z*v = 13, k - 1 = -k - 5*v. Put 4, -3, k in decr