(2). Is l smaller than i?
True
Let c = 1184278/417 + -2840. Let d be (-6)/75*1765075/(-54210). Let v = d + c. Which is smaller: v or 4?
v
Let k(l) = -l**2 - 6*l - 2. Let w be k(-10). Let v = 6059 + -6105. Is w > v?
True
Suppose 6*s = -5*z - 55, 4*z + 7 = 3*s + 2. Which is smaller: 0 or s?
s
Let f(x) = x**3 + 12*x**2 - x - 9. Let h be f(-12). Suppose -h*b = -9 + 3. Suppose -4*z - 54 + 14 = 4*q, 5*q + b*z + 50 = 0. Which is greater: q or -8?
-8
Let t = -0.02 + -0.04. Let u = -0.04 + t. Let w be (88/1430)/(2/(-45)). Are u and w nonequal?
True
Let c be ((-3)/(-20))/((-468)/879450) - 2/16. Which is smaller: 4 or c?
c
Suppose -5*f - 12 + 7 = 0. Let t be (-6)/27 - ((-112)/(-9))/(-2). Let h = -5 + t. Which is smaller: f or h?
f
Let g be (25/1430)/((-225)/(-3060)). Which is smaller: g or -1?
-1
Let a(b) = -b**3 + 13*b**2 - 12*b - 8. Let j be 1 - (-2 - (6 + 2 - -2)). Let d be a(j). Let x = d + 343/2. Are 9 and x unequal?
True
Let k = -7.2 - -7.654. Let i = 0.354 - k. Which is smaller: i or -70/9?
-70/9
Let n(v) = v**3 - 27*v**2 + 111*v - 248. Let y be n(22). Which is greater: -216 or y?
-216
Let i be 281*(22 + -23)*8/(-10). Is 225 != i?
True
Let r = 2238 - 2239. Which is bigger: -4203 or r?
r
Let o(a) = -2*a**3 + 2*a**2 + a - 4. Let y be o(-2). Let d = 22 - y. Suppose 3*p = d*p + 4. Is p not equal to -4?
False
Let g(m) = -m**2 - 10*m - 6. Let t be g(-9). Suppose -54 = -t*c - 27. Let j = c - 18. Are j and -9 unequal?
False
Let c = 169260 + -1200899702/7095. Are c and 2 non-equal?
True
Let l = -9437 + 9437.0151. Which is smaller: l or 0.1?
l
Let b = -19 - -15. Let u(v) = v**3 + 5*v**2 + 5*v + 1. Let s be u(b). Let x be ((-2)/s)/(26/507). Is 15 smaller than x?
False
Let y(i) = 297*i + 5508. Let f be y(-19). Is f < -115?
True
Let f = -13270 - -114347591/8617. Which is bigger: f or 0?
f
Let w = -0.377 + -36.823. Let s = 2.8 - w. Let n = s + -47. Which is bigger: -2/3 or n?
-2/3
Let a be 7*1077/(-42) - 7/2. Is -182 >= a?
True
Let c(k) = -k**3 + k**2 + 9*k + 8. Let t be c(-6). Let y = -179 + t. Are y and 105/4 non-equal?
True
Let d = -247 + 255. Let t be (8/(-62))/((-8)/d). Suppose -3*b - 17 = 2*u, -2*u + 11 = -3*u - 2*b. Do t and u have the same value?
False
Suppose -33*l + 1196 - 1196 = 0. Which is greater: -29 or l?
l
Let l(r) = 2*r - 1. Let c be l(-1). Let d be 5/(-9 + 4)*-2. Suppose 2*s = 5*b - 2*s + 20, -5*s + 25 = -d*b. Which is smaller: b or c?
c
Let r = 23114 - 23123. Let p(j) = -j**3 - 3*j**2 - j - 1. Let d be p(-3). Let g = -7 - d. Is g <= r?
True
Let q = 98773/120 - 2470/3. Let r = q + -3/8. Let y = 41.32 + -37.32. Is y smaller than r?
False
Let w = 54 + -54. Let g = -1/4 + w. Let b = -5/12 + g. Is -0.2 smaller than b?
False
Let y(a) = 47 + a**2 + 19*a - 7 + 9 - 2. Let c be y(-13). Which is smaller: -29 or c?
c
Let v = -122 + 36. Let j = v - -81. Let f(g) = 2*g + 3. Let p be f(-5). Is j greater than or equal to p?
True
Let b be 14/1 + (0 - 1). Let l(j) = -3521*j - 66890. Let q be l(-19). Which is bigger: b or q?
b
Let c be 3/30*(160/(-12))/(-8). Does -60/23 = c?
False
Let k = -18 + 341/19. Let u be 5*(1*-1 - 143/(-55)). Let q be 3/((-6)/u*2). Which is smaller: k or q?
q
Let j = -541 - -441. Let z = j - -79. Which is smaller: 1 or z?
z
Let w = -1224 - -1173.1. Let s = -7.9 - w. Let q = 47 - s. Is 0.7 less than q?
True
Let g = 157 + -350. Suppose -13386 = 164*u - 95*u. Which is greater: g or u?
g
Suppose -3*v - 4*m = -3*m - 227, 5*v - 4*m - 384 = 0. Let q = 68 - v. Is q >= 5?
False
Let l be (-294)/140 + (-12)/30 + 18/(-4). Is 3/76 at most l?
False
Let t be -1520 - 38/(-57)*9/(-2). Is -1523 less than t?
False
Let a be 3/39 - (-357182)/(-1274). Which is smaller: 0 or a?
a
Let f be ((-50)/35)/((-4)/14). Let t be f/(-5)*92/(-8)*2. Which is smaller: 22 or t?
22
Suppose 0 = -12*d + 5*d + 28. Suppose 2*b + 52 = d*a, -2*a + 0*b = -4*b - 20. Let o be 1 + -1 + (15 - 0). Is o > a?
True
Let c(l) = l**2 + 3*l - 13. Let n be c(-6). Suppose -4*u - n*m - 99 = 0, 2*u + 18 = 5*m - 69. Let p = u + 10. Is -20 < p?
False
Let k = -3147 - -2780. Which is greater: k or -363?
-363
Let s be ((40545/(-7004))/45)/(-2*3/(-24)). Which is smaller: -2 or s?
-2
Let x be (4/(-18) - 215/(-117))/2. Suppose 0 = -f - 3*q, -2*f - 3*q = -0*f. Is x < f?
False
Let t be 0/2 + 6/3*66. Suppose -6*o + 4*y + 164 = -o, -4*o = -4*y - t. Suppose -2*q = -3*v + 40 - 8, -2*q - o = 4*v. Is q equal to -13?
False
Suppose 1583*v - 728 = 1587*v. Is v <= -190?
False
Let w(r) = -10*r**3 + 10*r**2 + 5*r - 14. Let z be w(-8). Let d = -3536 + z. Let q be d/(-91) - (-2)/(-13). Which is bigger: q or -22?
-22
Let d = 4981 + -4724. Which is bigger: d or 260?
260
Let f = 54.69 + -33.37. Which is bigger: -1/4 or f?
f
Let u(y) = -y**2 - y - 1. Let k be (-9)/(-3)*2/(-6). Let j(o) = 2*o**2 + 5*o - 2. Let a(x) = k*j(x) - u(x). Let q be a(1). Is q at least as big as -2?
True
Let p = 558 + -961. Let x be -39*p/(-156) + 1/(-4). Is -1 bigger than x?
True
Let l = 304 + -299. Suppose -4*c - 29*x + 30*x - 1 = 0, 18 = -3*c - l*x. Are c and 1/275 unequal?
True
Let d = 2585/39 + -9215603/139035. Which is smaller: d or 0.4?
d
Let b = 176 - 178. Let p be b*36/((-6)/1). Which is bigger: p or 15?
15
Let z be (24/(18 + -10))/30. Is -1.16 equal to z?
False
Let g = 11.274 - 8.274. Is g >= -245?
True
Let x = 24 + -46. Let l = x + 33. Let f = -2.7 + l. Is 1 at most f?
True
Let j(f) = f**2 - 19*f + 39. Let m be j(17). Suppose -2*x - 28 = m*x. Let l be x/((-8)/2) - 3. Is -7/5 at least as big as l?
True
Let g = -88653 + 48375. Let y = g + 604906/15. Let o = -158/3 + y. Which is bigger: -5 or o?
o
Let m be (480/85 + -6)*(-5)/(-3). Let n = 3.08 + -2.98. Is m at most as big as n?
True
Let p = 0.03862 - 7.63862. Let o = -5.4 + 12. Let s = o + p. Are 0.08 and s equal?
False
Let w(q) = q**2 - 13*q - 214. Let h be w(17). Is 12 smaller than h?
False
Suppose 16*k + 19*k + 49 = -14*k. Which is smaller: -1/402 or k?
k
Let r(v) be the first derivative of -v**3/3 - 11*v**2/2 - 15*v - 11. Let x be r(-9). Suppose a = x*k - 18 - 13, 0 = a - 5*k + 37. Is a bigger than -22?
False
Let v = 320212050184/219 + -7666853098597252/5243517. Let s = 50/7981 - v. Let t = s - 3044. Which is greater: t or 3?
t
Let k be 58/232 + 979/(-140). Which is greater: -7 or k?
k
Let w(t) = -1131*t + 671. Let j be w(7). Is j less than -7246?
False
Let t(s) = 2*s**3 - 124*s**2 + 40. Let d be t(62). Which is greater: d or 72?
72
Let j = 3755/136 + 93/136. Is 27 greater than j?
False
Let c(x) = x + 8. Let g be c(-7). Let b be ((-18)/(-24))/(2/(-130)). Let q = b + 4883/100. Which is smaller: q or g?
q
Let f(s) = 7*s**2 + 3*s + 6. Let k be f(0). Which is bigger: k or 7/79?
k
Let t be 0/(259/(-111)*24/28). Let d = -2 - -4. Which is smaller: d or t?
t
Let q = 1.126 + 6.884. Let z = 100.81 - q. Let v = 93 - z. Which is greater: v or 23?
23
Let x = 0.072 + 47.928. Let p = x + -58. Let h = -29 + p. Is 2/5 at most h?
False
Suppose 1863*f - 1864*f = 3977. Which is smaller: -3979 or f?
-3979
Let u = 31.7 + -2.7. Let k = u + 52. Let x = k + -79. Is x < 0.9?
False
Let c = 27797.07 + -27797. Is c < -39.1?
False
Suppose -5*m + m = 4. Let b = 32291 + -32236. Which is bigger: b or m?
b
Suppose -6*u + u = 15. Let p = 2/2011 - 26151/8044. Is p < u?
True
Let z be ((-5)/1 + 2)*(-70)/(-105). Let u be (3 - 12)*(-1)/3. Let p be (-2)/u + 8/(-12). Which is greater: p or z?
p
Suppose 370 = -5*w - 0*w + k, -5*k + 200 = -3*w. Let q be (-6)/(2 + w/39). Let v be (0 - 1) + q/(-84). Is -1 less than or equal to v?
True
Suppose -2*n = -7*n + 2555. Let t be 3/(-12)*-4 - n. Let b be 10/t - ((-8)/(-6) + -1). Which is bigger: b or 1?
1
Let f(g) = 19*g - 20. Let w be f(3). Suppose 33*i + 120 = w*i. Is i equal to 31?
False
Let k = -76.2099 + -0.1501. Let h = 78 + k. Let a = h - -0.36. Do -9 and a have the same value?
False
Suppose -7*v + 39 + 3 = 0. Suppose 4*u + v*u = 30. Suppose 7*z + u*t = 9*z + 52, 4*t + 61 = -3*z. Is z at most as big as -21?
True
Let s = 5639 + -5639. Which is bigger: s or 32/121?
32/121
Suppose -5*z = -25*z - 11*z + 20553. Which is smaller: z or 665?
z
Let n(t) = -t**2 - 85*t - 1104. Let x be n(-69). Which is greater: -3/5543 or x?
x
Let z = -5/46 + 347/230. Let u = 115 - 11. Suppose u*t + 3 = 107*t. Which is greater: z or t?
z
Suppose 112 = 57*o - 53*o. Let v be (3/(-6))/((-77)/o). Which is bigger: