et f = -137/3 + 47. Let j = -33 - -36. Suppose -3*x = 2 + 7, j*x + 4 = -5*b. Which is bigger: b or f?
f
Let a be (2 - 0) + -4 - 105/(-21). Which is smaller: a or -844?
-844
Suppose -5*s + 6047 = -783. Which is smaller: 1369 or s?
s
Let n = 0.19206 + -0.39206. Let f = 0 - 0.1. Let x = -0.3 - f. Is x <= n?
True
Let u = -3208 - -3207. Which is smaller: -1/3467 or u?
u
Suppose 241952 + 189149 = -2635*a - 19579 + 95. Let h = 2.8 + -3. Which is greater: h or a?
h
Let o(l) be the second derivative of 3*l**3 + 271*l**2/2 + 151*l. Let r be o(-15). Is 6/457 at most r?
True
Let w = 661/4 - 331/2. Which is smaller: 231.3 or w?
w
Let p = -2/35011 + 9978151/280088. Is -11 greater than or equal to p?
False
Suppose -5*i - 4 = -4*i. Let b be i/(-6) + 420/(-639). Suppose 4 - 10 = c + z, 0 = 2*z + 12. Which is smaller: b or c?
c
Let f = 4 + -5. Suppose 2 - 4 = -4*u + 2*b, -4*b - 12 = -4*u. Let m be (3/15*f)/(-1)*u. Is -3 smaller than m?
True
Let n(l) = -6*l - 166. Let h be n(-30). Let w be h/(-3)*(-14)/(-147). Is w less than 0?
True
Let s = -7.903 + 0.013. Let u = s + 7.89. Which is smaller: -281 or u?
-281
Let i = -0.3 - -1.3. Let u = i - 1.2. Let l = -47 + 49. Is l less than or equal to u?
False
Let o(b) = -1185*b + 19000. Let g be o(16). Suppose 4*q - 93 - 55 = 0. Which is greater: g or q?
g
Let r = 3028798913/22600707 + -509/81591. Let u = r + -134. Is -1 > u?
False
Let h be 2/(-29) + (-206968)/(-1189). Which is greater: h or 178?
178
Let i = -340 - -127. Let c = i - -212.965. Is c >= -1?
True
Let q = 0.61 + -1.36. Let d = -0.29 - q. Let m = -0.16 - d. Which is smaller: 2/7 or m?
m
Let x be (-10)/7 + 260/280 + 1/(-2). Which is smaller: x or -84/199?
x
Let r(q) = q - 6. Let w be r(6). Let g = -4005.3 - -4007.3. Is g greater than w?
True
Let x = -2 + 7. Let q be 13 - (27 - 26)*(0 - -3). Let m be x/q + 98/(-12). Which is smaller: m or -7?
m
Let y = 2127047 + -1076286253/506. Let j = y + 1/46. Are -1 and j non-equal?
True
Let d(l) = -l - 4. Let y be d(-2). Let j = -3943681/36 - -109559. Let f = 47/4 - j. Is y > f?
False
Let a(q) = 138*q**2 - 19*q. Let w be a(2). Is w equal to 29?
False
Suppose 345 = 6*z - 189. Suppose -5*c + x + 116 = -0*x, 4*c + 3*x = z. Let o = -31 + c. Are o and -11 non-equal?
True
Let u be 923/(-1838) + ((-7)/(-2))/7. Let g = u + -1820/8271. Is 3/5 >= g?
True
Let v = -1 + -11. Let b(y) = 41*y**2 - 310*y + 159. Let l be b(7). Which is greater: v or l?
l
Let s be 32927/(-209) - (12/18)/((-22)/18). Do -141 and s have the same value?
False
Let g = -527 + 534. Let x(i) = 6*i**2 - i - 18. Let b be x(g). Which is smaller: 268 or b?
268
Let o(y) = 23*y - 66. Let l be o(6). Suppose -l*i = -79*i - 2562. Is -366 at least i?
True
Let n(z) = -z**2 + 10*z + 13. Let t(o) = 2*o**2 - 19*o - 26. Let v(j) = 5*n(j) + 3*t(j). Let g be v(9). Suppose 0 = g*c - 20. Which is greater: 19/4 or c?
19/4
Let p be ((-11)/((-33)/18))/(1/17). Let z = -102 + p. Let h = -37145/29 + 1281. Which is smaller: z or h?
z
Suppose -2*a + t = a - 31, -38 = -2*a + 5*t. Let k = 1858 + -1847. Which is smaller: a or k?
a
Let y(p) = p**3 + 18*p**2 - 4*p - 16. Let h be y(13). Is h less than or equal to -2?
False
Let g = -16 - -20. Let l be (52/164 - 1)/(g/2). Which is smaller: -1 or l?
-1
Suppose -71*g + 66*g + 75 = 0. Let p(u) = u**2 - 16*u + 32. Let a be p(g). Which is smaller: a or 16?
16
Let m(z) = 2*z**3 + 15*z**2 - 4*z + 8. Let q be m(-8). Let w be q/4*(-5)/10. Suppose 15 = w*v - 3. Which is greater: 3 or v?
v
Suppose -n - 13 = v, -6*n + n - 11 = 2*v. Let o = v + 17. Let h = -356 + 13174/37. Which is smaller: h or o?
o
Suppose 0 = -5*k - 3*t + 10, 5*t + 6 + 9 = -2*k. Suppose -k*i + 2*f + 27 = 566, -330 = 3*i + f. Which is bigger: -110 or i?
i
Suppose 5*s - p - 150 = 0, -p = -3 - 2. Suppose 35*c = s*c + 92. Suppose 48 = -0*t + 2*t. Which is smaller: c or t?
c
Let n = -229 + 228.8887. Let u = n + 0.0633. Do -2/5 and u have the same value?
False
Let v be 2/((-20)/2 - -3). Let h be ((-213744)/5376)/(-73) - ((-12)/(-7))/2. Are v and h equal?
False
Let r = -41136 + 41136.6. Which is smaller: r or 895?
r
Let s = -214/147 - -128076/87955. Is s less than or equal to 1?
True
Let k = 187631/3850 - -29/350. Let x = k + -49. Is 4/7 smaller than x?
False
Let f be (7821/(-66))/(10/(-8) + 2). Suppose -16*w - 1513 - 1031 = 0. Is w at most f?
True
Let j be 364/16 - (-12)/16. Suppose 156 = 6*x + 12. Is x smaller than j?
False
Let d = 52 - 53. Let g be (-1 - (1 - 3))*(-2)/d. Suppose -6 + 4 = g*h. Is 2/19 > h?
True
Let v be 2 - (22/(-1120))/((-9)/996). Let s = 8/105 - v. Do 1/4 and s have the same value?
True
Suppose 2*c - 1178 + 46 = -z, -4*z - 3*c = -4553. Which is greater: 1140 or z?
z
Let u(x) be the second derivative of x**3/6 + 65*x**2/2 - 96*x + 1. Let s be u(-5). Suppose -2*a = -0*a - 120. Is a equal to s?
True
Suppose 3*w + 64 = 94. Suppose -7*n + 10*n - 181 = 2*y, -w = -2*n. Is y smaller than -167/2?
False
Let a = 0.0919 - -0.1081. Is a greater than -1233?
True
Suppose -55*k = -53*k - w + 16523, 0 = -3*w + 15. Is -8259 < k?
False
Suppose -f - m - 80 = 0, 0*f + 4*f - 5*m = -338. Let p = f - -80. Let t = -25/2 - -12. Is t bigger than p?
True
Suppose -6958 = -7*c - 42*c. Is c at least 144?
False
Suppose -27*z + 915 + 1029 = 0. Let o be 12/14*z/(-108). Let k = -5 + 3. Which is bigger: o or k?
o
Let o = 37.2 + -3.2. Let a = o + -33.82. Let z = a + -0.08. Which is smaller: z or 0.04?
0.04
Suppose -4*n = 3*x + 11, -2*n + 7*n + x = 0. Let w = 15398 + -76621/5. Let z = w - 74. Is z < n?
True
Let y be 3/(-4) - (-2)/(-8). Suppose 4*m + 5*h = -9, -2*m + 68*h = 66*h + 18. Let u be (-2 + 1)/(-3 - 420/m). Which is smaller: u or y?
y
Let v be (0 + -16)/((-690)/(-3105)). Is v at least as big as -78?
True
Let t = 40 + -96. Let n be 8/4*3/t. Suppose -84 = -133*b + 49*b. Which is smaller: b or n?
n
Let b = -7782 + 31135/4. Let w = 195 - 1363/7. Which is bigger: w or b?
b
Suppose -4*j - 4*c = -304, -4*j - 2*c = -109 - 203. Suppose -15 = j*u - 77*u. Let y be 1/u - (-4 - (-640)/175). Which is smaller: y or 3?
y
Let j = -5.7 + -254.3. Let p = -259.66 - j. Which is smaller: p or 1?
p
Let l = 0.496 - -17.784. Let a = -24.6 + l. Is 0.1 smaller than a?
False
Suppose 4*z + r = -295, -3*r = -5*z - 4*r - 370. Let m be ((-174)/(-15))/(15/z). Which is smaller: -54 or m?
m
Let a(n) = n**2 - 53*n - 4849. Let c be a(101). Are -84/83 and c nonequal?
True
Let q be 36/12 + 475/(-60). Is q < -6?
False
Let y = 0.0309 + 169.9691. Do y and -2 have the same value?
False
Suppose -612*q + 14535 = 243*q. Let g = -18 - -18.22. Is g less than q?
True
Let q = -499.96 + 500. Let s = 0.18 - 0.1. Let j = -2.08 + s. Is q > j?
True
Suppose -5*o - 5 + 20 = 0. Let t(q) = -q**2 + 4*q + 4. Let w be t(o). Is w > 8?
False
Let a be ((-21)/7)/((-3)/1). Let s be a/((5/(-10))/((-1)/2)). Which is smaller: 6/83 or s?
6/83
Suppose 3*v - 13*v = -17120. Let k = v + -15427/9. Do k and -1 have different values?
True
Let z = -18/3575 + 129488/27137825. Which is smaller: z or 1?
z
Let h = 43.21 - 52.21. Let b = -97 - -95.01. Let u = b + -0.01. Which is bigger: u or h?
u
Let i = -2 + -206. Let z = 213.7 + i. Which is smaller: z or -0.1?
-0.1
Let l be -221 + ((-8)/76 + (-490)/399)*6. Is 19 greater than l?
True
Let s = -62470 + 62466. Let m = 25 - 508. Let c be (2/7)/(36/m). Do c and s have the same value?
False
Let b = 1516 + -1516. Which is smaller: b or -5/142?
-5/142
Let q = -71 + 89. Suppose -q*t + 12*t = 612. Which is smaller: t or -104?
-104
Let t(l) = 3*l**2 - 61*l - 8. Let n be t(24). Let i be 336/10 - n/32. Which is greater: 26 or i?
26
Let d = -270 - -131. Let w = 58 + d. Is 0 less than w?
False
Suppose 13*f - 9*f - 616 = -4*k, 0 = 2*f + 4*k - 304. Let w = -155 + f. Let z be 3 - (-27)/96*-10. Is w equal to z?
False
Let j be -5 + 49 + -7 - 37. Let z be 154/300 - 1/3. Is z greater than or equal to j?
True
Suppose 3*n + 147448 = -12*n - 23747. Is n bigger than -11412?
False
Let g = 648/19 - 672/19. Suppose 14*n + 10 = 7*n - 4. Which is smaller: n or g?
n
Let j(i) = -20 - 20*i**2 + 13*i**2 - 13*i + 6*i**2. Let u be j(-7). Suppose u = -v - 0*v - 5*m, -3*v + m = 2. Which is bigger: v or -30/17?
-30/17
Let p(q) = -2*q**3 - 17*q + 35 + 3*q - 13425*q**2 + 13438*q**2. Let o be p(6). Which is bigger: -8 or o?
-8
Let u = 118 + 226. Let q be 24/288*(u - -1). Which is 