be ((-4)/58)/((396/(-9717366))/3). Let r = k + -5077. Which is smaller: 1 or r?
r
Suppose -80*h + 82*h = 24. Let i be (5 - 2)*40/h. Is i greater than 2/9?
True
Let c(b) = b**3 + 11*b**2 + 16*b + 6. Let x be c(-9). Let w = 23 - x. Let f be (-2 - -5) + -14 + w. Which is bigger: -10 or f?
-10
Let t be 0 - 1 - 46/(-44). Suppose -15*u - 229 = -4. Let n = 16 + u. Is t smaller than n?
True
Let o be (-1)/(-7) + (-6)/((-210)/205). Let b(i) = i**2 - 4*i + 2. Let v be b(o). Which is greater: v or -6?
v
Let z = -19437 + 18838. Are 0.06 and z non-equal?
True
Let n = 50.6 + -5.6. Let y = 43 - n. Is y bigger than -68?
True
Suppose -2*y + 273 = 4*i - 349, -4*i - y + 625 = 0. Suppose 0 = -2*d + 77 - i. Do -39 and d have the same value?
False
Let x = 21 - 15. Let p = 78 - 78. Suppose p = -v + 4*h + 4 + 16, -4*h = -4*v + 44. Which is smaller: v or x?
x
Suppose 4*y + 14427 = 3*w, 14436 = 3*w + 215*y - 216*y. Is w equal to 4813?
True
Suppose 0 = -q + 45 + 5. Suppose 26*f + 19*f - 2652 = -6*f. Which is bigger: q or f?
f
Let c = -111 + 112. Let z be (c + 5/(-2))*2. Which is smaller: -0.5 or z?
z
Let n(y) = y**3 - 32*y**2 + 436*y - 60. Let c be n(20). Is c at least 3861?
False
Let n be (18/168)/(15/(-40)). Which is smaller: 0.019 or n?
n
Let z be (-2460)/68*(-2)/3 + 4/(-34). Which is greater: 441/19 or z?
z
Let c(u) = 2*u + 2. Let n = -37 + 31. Let d be c(n). Let p be d/(-3) + 2*(-3)/2. Which is greater: -0.039 or p?
p
Let x = 861767/131 - 6578. Is 0 smaller than x?
True
Suppose f + 0*z = z + 98, 0 = z - 4. Let v be (220/(-60))/(10/(-282)) - 2/5. Which is greater: f or v?
v
Let r(w) = -w - 1. Let v be r(-3). Suppose 2 = m - v*m. Let k = -41695/7 + 41687/7. Which is smaller: m or k?
m
Let k = 118 + -250. Let m = -129.4 - k. Is m <= 5?
True
Let h = 3618 + -3490. Which is smaller: h or -1/7?
-1/7
Let z = -144 - -63. Let p = -8 + z. Let f = p + 63. Does f = -0.1?
False
Let l be 4/(-2 + 1) - -2. Let q be 40/24*(130/25 + -4). Suppose -20 = -2*s - 21*v + 26*v, q*s + v + 4 = 0. Which is smaller: l or s?
l
Let x be (-3)/4 - 915/3660. Let r = -9896/15 + 659. Which is bigger: x or r?
r
Let c(y) = -y**3 - y**2 + 80*y - 45. Let n be c(8). Let d = -48 - -90. Suppose d = 3*w - w. Which is greater: n or w?
w
Let x be (2731/(-4))/((-93)/4). Let z = 80/3 - x. Let u = -1/31 - z. Which is greater: u or 3?
3
Suppose -3*k = 3*d + 9, -3*d + 2*k + 6 = 2*d. Suppose d = 4*g - 4. Let b be (-7)/(g/(3 + -2)). Is b at most as big as -6?
True
Suppose 5*o - 4*j = -341, 1039 - 1307 = 4*o - 2*j. Which is greater: -85 or o?
o
Let g = -4515 - -3261. Is -1255 > g?
False
Suppose 3*l + s - 6*s = 159, 0 = -5*l - 4*s + 302. Suppose 4*j + 3*q = -l, 74 = -5*j + 4*q + 17. Which is smaller: j or -2?
j
Let n be (3/8 - 69/184) + 26/(-57). Which is smaller: -1 or n?
-1
Let k = 150.95 + -151. Let f = -0.074 - -0.574. Which is greater: f or k?
f
Let x = 12951 + -12951.05. Is x less than 0.0792?
True
Suppose 0 = -223*u - 58992 - 54292. Is -508 greater than u?
False
Suppose 5*n = -4*s - 63, -4*s + 3 = -n - 0*s. Let i = n - -12. Suppose 20 = -5*b - 2*c, 0 = -3*c - i + 16. Is 1 less than b?
False
Let w = 6 - -69. Suppose 5*q - 281 = 194. Let c = q + -20. Is w at least as big as c?
True
Suppose 0 = 2*w - 4*l + l - 16, -l - 7 = -w. Suppose -226 + 81 = -w*n. Let r be (-19)/n - (0 + -1). Which is smaller: 0 or r?
0
Let b be (7/84)/(11/(55616/24)). Which is smaller: b or -5?
-5
Suppose -2*a = -0*a - 4*u + 4, 3*a + 3*u - 3 = 0. Suppose -5*j + 534 = 109. Let p be -2 + (516/j)/3. Which is greater: a or p?
p
Let i = -14001/14 + 1000. Which is greater: -1413 or i?
i
Let j = 2011 - 1958. Let p = -1 + 53. Is j > p?
True
Let y = -112.3 + 112. Let j = -0.1 + -0.1. Let s = j - y. Which is smaller: -4 or s?
-4
Let q = 456 - 443. Suppose q*f + 2*p = 18*f + 14, 0 = -2*f + 5*p - 14. Which is bigger: f or -18/29?
-18/29
Let z be -2*-3*(-20)/(-3) - -2. Suppose -4*k + 4*r = -43 - 145, r + 2 = 0. Which is greater: z or k?
k
Let k(w) be the first derivative of 37*w**2/2 - 156*w - 186. Let n be k(-11). Which is smaller: n or -564?
-564
Let l = -37434 + 36326.3. Is l != 1?
True
Let v = -849 + 846. Suppose 6*s - 5 = s + 5*r, 2*r + 22 = -3*s. Let u be s/(4/12*-2). Is u > v?
True
Let q be (-9)/(-3) - 2/(-4). Let m(x) = x - 6. Let s be m(4). Let r be 2 + (-2)/s + 1. Which is smaller: r or q?
q
Suppose -3*f - w = -f - 111, -4*w = -2*f + 126. Let p = 64 - f. Let v(g) = -3*g + 25. Let b be v(6). Is p not equal to b?
False
Let n(t) = 30*t - 7. Let v be n(1). Suppose 19*o = v*o - 16. Suppose 0 = -o*z, 3*u + 9 = -5*z + z. Is -1 less than u?
False
Let m = -4.72031 - -0.12031. Does 118 = m?
False
Suppose -5*g - 937 = -110*a + 112*a, -185 = g - 2*a. Which is smaller: -189 or g?
-189
Let q = -303 - -340.2. Let b = 15.8 + q. Which is greater: -0.2 or b?
b
Let t(g) = g**2 - 59*g + 573. Let p be t(47). Which is bigger: p or 60?
60
Let h be 30/4 + (-2)/8. Let y = 1229 - 1222. Which is bigger: h or y?
h
Let l = -378569/2474598 - 2/25251. Is 1 less than l?
False
Suppose -50 = 6*j - 152. Suppose 23*t + j = 6*t. Do -1/386 and t have the same value?
False
Let h = -36 + 23.16. Let t = h + -0.16. Let w = 14 + t. Is 28 greater than or equal to w?
True
Let w be (-19530)/28*48/30. Which is greater: w or -1123?
w
Suppose 3*m = 756 - 75. Let b = m + -1132/5. Is 80 != b?
True
Suppose -2*i + 2 = -3*x + 5*x, 3*i = -4*x + 4. Let h = 34.9665 + 0.0335. Is x <= h?
True
Suppose -g = -190 + 233. Let s(i) = 3*i + 43. Let x be s(0). Let d = g + x. Which is smaller: d or -14/11?
-14/11
Let y = -7927 + 7082. Which is smaller: 2 or y?
y
Let y(x) = -3*x + 4. Let k(u) = -13*u - 14. Let s be k(4). Let o = s - -70. Let f be y(o). Which is bigger: f or -2?
-2
Suppose 2032*x = 2033*x - 1. Let t be (-2)/(-2)*148038/282. Let a = -525 + t. Is a greater than or equal to x?
False
Let r be 218 + 18*((-4)/(-3) + -1). Is 220 < r?
True
Let m be 19 + (-2 - (-3)/(5 + -2)). Let n be (m/14 + 3)/(9/63). Is 36 bigger than n?
True
Let h(r) = -r**3 + 74*r**2 + 233*r - 152. Let z be h(77). Which is bigger: -245 or z?
z
Let a = -416.1 - -416. Which is bigger: -28/33 or a?
a
Let d = -3/268 + 855/4556. Which is smaller: d or -8?
-8
Let d(c) be the third derivative of 17*c**5/20 + c**3/6 + 22*c**2. Let m be d(3). Let x = 7818/17 - m. Which is smaller: x or -1?
-1
Suppose 6*r - r + 4*y + 20 = 0, -y = -4*r + 5. Suppose -v - 579 = -6*s + s, r = -3*s + v + 349. Which is bigger: s or 117?
117
Let o be ((-1)/(-5) + 5054/(-70))/(-2). Suppose -o*v + 18 = -18. Is v != 1?
False
Let r be 1/1*(3 - 3). Suppose -195*z = -192*z + 5*m + 3201, m = 4*z + 4268. Let j = z - -137641/129. Which is greater: r or j?
r
Suppose -4*l + 2*k + 36 = -6*l, 4*k - 60 = 2*l. Let b be (l/(-6))/(5/15). Suppose -b*i = -165 - 44. Is i at least 21?
False
Let m = -44770 + 491985/11. Is m smaller than -43?
True
Let a = -11764 - -11761. Which is smaller: a or -200/133?
a
Suppose 2*j = -j - 4*w - 51, 0 = -2*j + 3*w - 17. Let o(x) = -4*x + 14. Let b be ((-20)/(-6) + -3)*(1 - -17). Let v be o(b). Which is smaller: j or v?
j
Let c be ((-117)/(-13) - 15)/3. Let r = -212 - -215. Are r and c nonequal?
True
Let g = 309 + -87. Let y = -222.093 + g. Are y and 0.1 equal?
False
Let a be (-2)/(-7) - 9/7. Suppose -2*h + 12*l - 9*l + 136 = 0, 0 = 5*h + l - 340. Let f be (69/(-70))/(-3) + h/(-170). Is f greater than a?
True
Let g = -134.98 + 153.98. Is g >= -2.89?
True
Let f be 16/(12 + 52) + 40/(-32). Is -55/378 > f?
True
Let h be ((-12)/(-27))/(10/45). Suppose h*l - 11 = -3*u, -10 - 10 = -4*u. Let f be (-2)/l - (-305)/(-300). Which is smaller: 0 or f?
f
Let j = -2 + 11. Let d(t) = -t**2 + 3*t - 60. Let a be d(0). Let z be (0 + (-9)/66)/(j/a). Is z greater than 0?
True
Let b = 2048 - 1905. Does b = 1?
False
Let v = 0.56 + -1.064. Let p = 0.404 + v. Which is smaller: -127 or p?
-127
Let m = 180 + -184.4. Let v = -12.4 - m. Let i = 25 - 22. Which is smaller: i or v?
v
Let y = -8.12271 + 0.06271. Is y < 2/7?
True
Let v(a) = 4*a + 29. Let i be v(0). Let m = i - 21. Let y be (-9)/((-63)/m) + 2/7. Which is smaller: y or -0.1?
-0.1
Let f(o) = -83*o - 1072. Let y be f(-13). Which is greater: -49 or y?
y
Let k be (-2)/(-5) + 2/(-5). Let s = -380509 - -144212909/379. Which is smaller: k or s?
s
Let i = -54 - -92. Suppose g = -26*a + 22*a + 139, -18*a + 723 = -3*g. Is a equal t