w) = -w**3 + 19*w**2 - 10*w + 97. Let k be f(18). Suppose -27*n = -k + 52. Which is smaller: 37/6 or n?
37/6
Suppose -5*x - 12 = -3*x - 2*l, x + 4 = -l. Let i be 0 + 1 + x + (-270)/(-66). Which is bigger: -0.2 or i?
i
Let m = -0.91 + 0.11. Let i = m + -0.2. Let s = -0.11065 - 0.28935. Is s >= i?
True
Suppose 0 = 2*s + 5*l - 131, 77*s - 5*l = 75*s + 81. Let u(a) = -4*a**2 - 5*a**2 + 2*a**2 - 2 - 8*a - a**3. Let n be u(-7). Which is greater: s or n?
n
Let i be (10/(80/(-24)))/(-1*1). Suppose -o = 5*m - i*o + 23, -5*m - o = 11. Is -39/10 > m?
False
Let v be (486/(-4) + -1)*(-292)/(-365). Is v less than -103?
False
Let p = 65879/14 + -4693. Which is smaller: p or 12?
12
Let p be 576752/(-58) + -3 + -22. Is -9969 less than or equal to p?
True
Let v = 2204 - 41867/19. Let x = 334 - 331. Suppose 0*m - 12 = x*k - 3*m, m - 6 = 3*k. Which is smaller: v or k?
k
Suppose 27*z - 588 = 21*z. Suppose 2105 - 665 = 15*w. Which is smaller: z or w?
w
Let t = 1983.1 - 1982.0841. Let l = 0.0159 - t. Which is smaller: -146 or l?
-146
Let f = -60.15 - -61.15. Which is smaller: -39/61 or f?
-39/61
Let r = 3522993282 + -1800247328358/511. Let w = r - 33379/73. Let j = w - 3939. Are -16 and j unequal?
True
Let o be 395312/39536 + (10 - 5)*-2. Which is smaller: o or -1?
-1
Let d(t) = 1399*t + 22377. Let c be d(-16). Let i = 5 + -3. Suppose 3*y + 2*x + 7 = 0, -2 = -i*y - 2*x - 8. Is c < y?
True
Let y be 104/6 + ((-100)/(-15) - 6). Suppose z + y = 17. Let f be 1*z/5*45/36. Is 94 smaller than f?
False
Let o(g) = -g**2 - 2*g + 1. Let i be o(-2). Let q = -1025.457 + 1025. Let f = q - -0.439. Is f equal to i?
False
Let x = -3 - -5. Suppose 2*j + 12 = -0*j + 2*b, 3*j + 3 = -x*b. Let o = 2168 - 19538/9. Is j < o?
True
Let t be 30 + -25 + 1*-6. Let b be -5*27/225 + (-718)/(-1230). Which is smaller: t or b?
t
Let z(g) = g**3 - 45*g**2 - 189*g - 371. Let b be z(49). Is b bigger than -47?
True
Let j(v) = -28*v - 58. Let f be j(-2). Which is bigger: -13/7 or f?
-13/7
Let v(g) = -11*g + 425. Let q be v(30). Suppose -f = q + 637. Is f equal to -731?
False
Suppose 1626*n = -3*j + 1631*n + 407, -3*n + 145 = j. Is j less than or equal to 138?
False
Let f = 286 - -121. Suppose 10*s + 2077 = f. Which is smaller: -168 or s?
-168
Let f = -680 + 650. Are f and -257/9 non-equal?
True
Let y = 4 - 11. Let o = 307.3 + -306.3. Which is smaller: y or o?
y
Let b = 18116393 - 25775835. Let q = b + 11581075745/1512. Let n = q - 1/189. Which is bigger: -2 or n?
n
Let r = -6107.688 + 6145. Let d = 0.312 - r. Which is bigger: d or -1?
-1
Let z = -22 + 73. Let n = z + -44. Suppose n*t + 1 = -13. Which is bigger: t or -20/11?
-20/11
Let h = 238 + -273. Let p = -40.6 - h. Are p and 1 equal?
False
Let w = 32.4103 + 0.5897. Which is greater: w or 82?
82
Suppose 5*m = w + 4, -14 = -2*m + 5*w + 6. Suppose 4*j - 3*j - 11 = -3*d, -69 = -5*j - d. Let u be ((-2)/22)/(j/(-126)). Which is smaller: u or m?
m
Let i = -31 + 29.701. Let y = 0.099 + i. Which is smaller: 4/7 or y?
y
Let i = -342784 + 342714. Suppose -8 = -o - 5*d, 4*d = -4 + 12. Let l be -1 + (o - 0) + -66. Which is greater: i or l?
l
Let k be (-5612)/2530 + (-12)/(-5). Which is smaller: k or -1808?
-1808
Let m(u) be the first derivative of 3*u**2/2 + 5*u - 1. Suppose 11 = -45*h + 60*h - 19. Let r be m(h). Is r at most as big as 10?
False
Let z be ((-1)/95)/((-3)/(-6)). Let t be 12 + (1 - 3) + 3608 + -3618. Is t >= z?
True
Let m(x) = -x**2 - 105*x + 135. Let o be m(-93). Which is smaller: 1248 or o?
1248
Let l = -1164 - -1495.4. Is 0.1 not equal to l?
True
Let t = -3383.01 + 3410. Let x = -41 + 68. Let s = x - t. Which is bigger: -1 or s?
s
Let w = -0.107 + 8.107. Let k = w - 8.1. Let p = -89 - -64. Is p at most k?
True
Suppose 29*o - 1176 = 26*o. Let c = 551 - o. Is c equal to 160?
False
Let b be ((-169)/(-104))/((-9)/108). Is -14 at least as big as b?
True
Let h = -952 + 245623/258. Which is bigger: h or 1?
1
Let a = 164.53 + -313.67. Let v = a - -149. Let r = 5.9 - 6. Is r not equal to v?
True
Let f be ((-1220)/(-70))/(108/(-21) + 5). Suppose -4*r + 4*u = 512, 16 = -2*u + 6*u. Which is greater: f or r?
f
Let c be 6/(-4)*(-86)/(-21). Let h = -1178 + 1171. Which is bigger: c or h?
c
Let l = 79/9 + -6505/738. Let v be (297/(-55) - -5) + 173/(-5). Let u = v + 36. Do u and l have the same value?
False
Let x = -5978 + 5977. Which is smaller: -59/10 or x?
-59/10
Let o = -150 + 153. Suppose -c = -o*u - 18, -3*c + 6*u - u + 58 = 0. Is 19 greater than c?
False
Let z = -52 - -44. Let f = 15 + z. Let u be -3 + 2 - (0 - f). Is 7 <= u?
False
Let h(f) = 2*f**2 + 5*f. Let o be h(-3). Let k(u) = -2*u**2 + 7*u - 1. Let a be k(o). Let s be ((-2)/a)/(204/202 - 1). Which is bigger: -102 or s?
s
Let d be ((-4)/(-3))/((-8)/(-72)). Suppose 2*p - 2 = -2*y, -2*p + 3*y + 15 + d = 0. Suppose -11*k = -17*k + p. Is 6 greater than or equal to k?
True
Suppose -h = -2*p - 2*h + 4, 0 = p + 4*h - 2. Let m be ((-68)/10 - p)*(-15)/(-2). Let x = m + 72. Is x greater than -0.06?
True
Let f be (-27)/243 + (-86)/(-9) + 0. Let w(u) = -u + 30. Let l be w(22). Is f bigger than l?
True
Suppose 0 = -18*x + 14*x + 32. Suppose 4*w - 2 + 16 = -5*u, 0 = -4*u - x. Which is bigger: w or -1/40?
-1/40
Let n be (-2)/6 + 14/24. Let m = -50.471 + 0.471. Let o = 50.08 + m. Which is smaller: n or o?
o
Let f = -2914.7 - -2917. Is f greater than 0.1?
True
Let k = 706 + -704. Suppose k = -2*z - 0*z. Is z at most as big as 8/113?
True
Suppose -15*i + 3*i - 9996 = 0. Let a = i - -511. Is a at least as big as -322?
True
Let a be -82*(-246)/12*(-13 + 14). Does a = 1684?
False
Let b be ((-4)/(37*-100))/(-6 + 5). Which is smaller: b or -1?
-1
Let l be (-1)/((-144)/2752) + -15. Let v = 67 - 63. Are v and l nonequal?
True
Suppose -6*h = d - 9*h + 18, 0 = 2*d - 3*h + 21. Which is smaller: -371 or d?
-371
Let m be (-1*(-6)/(-15))/((-2)/5). Let w be -20*((-32)/(-5))/(-2). Let l be (-8)/w*(-1)/(-5). Are m and l nonequal?
True
Let z = 10792 - 10781. Which is bigger: 162/13 or z?
162/13
Let t = 192652 + -192652. Let k = 95.59 - 97. Let m = 1.2 + k. Is t at least as big as m?
True
Let x(u) = -u**3 - 5*u**2 - 16*u - 27. Let i be x(-3). Suppose 0 = 4*w + 5*z - 294, 0 = 2*z - i + 7. Is w >= -1?
True
Let o = 1530423/325 + -4709. Let d be 1/(-9) - (-18)/(3580200/(-128299)). Let l = d - o. Is -1 smaller than l?
True
Let j(v) = 4*v**2 + 8*v - 104. Let i be j(9). Let f = -291 + i. Which is bigger: f or -1/432?
f
Let t = -73 + 134. Suppose 4*x - t = 227. Suppose -3*c = -7*c - x. Is c at most as big as -18?
True
Let w = 4516 - 4930.4. Let q = 414 + w. Which is greater: q or 2/9?
2/9
Let x be (15/(-4))/((-90)/144). Let f be x/260*(-48)/(-2). Do 1 and f have different values?
True
Let s be (-100056)/352*88/(-3). Is -2/7 greater than s?
False
Let b be ((-271911)/(-3890))/((-39)/(-4)). Which is bigger: 7 or b?
b
Let y be (34/(-136))/(2/(-48)). Suppose -y*v + 2*v = 24. Is -9 at least v?
False
Let h = 74.83 + 0.17. Let j = 75.78 - h. Which is smaller: 0.1 or j?
0.1
Let y = -136 - -137. Let l(v) = -27*v**2 + 4*v - 2. Let f be l(y). Is f at least as big as -22?
False
Let y = 184 + -183. Let v(q) = -q + 2. Let d be v(y). Which is smaller: -2/319 or d?
-2/319
Suppose 2*n = 6*n - 4. Let p be 1/n*30/2. Suppose -3*f + 21 = 0, 3 = -19*v + 21*v - 3*f - 6. Is v at most p?
True
Let h be 15/6*32/10. Suppose 556 = h*g - 1220. Let s = 7771/35 - g. Is s bigger than 1?
False
Let m = -25 + -397. Let x = 373 + m. Is x greater than or equal to -2?
False
Let s be (337/(-2))/(5/(-10)). Let m = s + -201. Which is greater: m or 137?
137
Let u be -1 + -2 - (-8 + 0). Let j = 8 - u. Let n = -12503/5 + 2505. Is j at most as big as n?
True
Suppose -x + 2*f - 15 = 0, 9*x + 5*f = -61 + 87. Which is greater: -5/1292 or x?
-5/1292
Suppose 9*f - 28*f - 57 = 0. Let l be ((-16)/6852)/((-2)/f). Which is smaller: l or -0.1?
-0.1
Suppose -4*b + 2*t = 71770 - 254, -4*t + 16 = 0. Which is bigger: b or -17876?
-17876
Let r be (9/15)/(322/(-35) + 9). Is 5 greater than or equal to r?
True
Let f = -27 + 29. Let t = 4719.995 - 4720. Is f != t?
True
Suppose -4*c - 6 = -10*c. Let a be c/5*(-15)/(-6). Is a less than -6?
False
Let z be (0 + (-1)/(-23))*6. Let l = z - 136/345. Let s be (-10)/(-45) - 2/(-72). Is l at most as big as s?
True
Suppose -3 = -2*b - 7. Let v be b + 3 - (1 - 4). Su