2. Which is bigger: k or l?
k
Let b = -3468/7 + 495. Is -194 less than or equal to b?
True
Let c = 942 + -234563/249. Let b = 649870 + -649869. Which is bigger: b or c?
b
Let j = 38 + -60. Let h be (-3)/j*(1 - (-104)/(-72)). Let s be 12/18 - 2/(-6). Is h smaller than s?
True
Let k = -6481 + 6479.2. Let l = 0.2 + -0.5. Let v = 0.1 + l. Which is bigger: k or v?
v
Let z be ((-18140)/40)/((-3)/6). Suppose z = -56*f - 3853. Is f < -80?
True
Let f(q) be the first derivative of -3*q**2/2 - 116*q + 23. Let l be f(-32). Which is greater: l or -107/5?
l
Suppose 2*k - 5 = 5*o, 0 = -17*o + 15*o + 5*k - 2. Suppose -2*v = -2*d + 33 + 391, 4*d - 816 = -4*v. Is o greater than or equal to d?
False
Let f = -65/32 - -1721/800. Is 1 greater than or equal to f?
True
Let f(l) = -l**2 - 6*l - 16. Let p be f(-2). Let g be -1*(90/3)/5. Do p and g have the same value?
False
Suppose -2*a - t + 11 + 275 = 0, 3*a - 415 = 2*t. Which is smaller: 118 or a?
118
Let a = 3/1675 - -3329/11725. Which is greater: 6.465 or a?
6.465
Suppose -28*c - 148*c - 17248 = 0. Suppose 0 = -2*t - 5*n - 107, -2*t + 5*n - 173 = t. Let d = c - t. Is -42 less than d?
False
Let t be (-1)/(-9) - 3/(-9). Let j = -82 - -86. Suppose -2*a - 4*x = x + 20, j*x = a - 16. Which is smaller: t or a?
a
Let g be (-975)/420 - (-9)/(-21). Suppose -2*v = -2*t - 12, -5*t = -3*v - 0 + 26. Is t not equal to g?
True
Suppose 3*r + 138 = -5*v, -3*r - 138 = -10*v + 5*v. Let o = -4588 + 4587. Is o at most as big as r?
False
Let r(z) = 5*z**3 - 272*z**2 + 102*z + 133. Let a be r(54). Is a < -190?
True
Let g = 28 - 153.9. Let r = -126 - g. Does r = 0.0243?
False
Let f be (20/(-50))/(((-15)/3)/(-10)). Let b be ((-16)/(-12))/(6/(-9)). Which is greater: b or f?
f
Suppose -3*h - h = -16, -2*j - 26 = -2*h. Let q be ((-10 - j) + 3)*(-3)/(-146). Is q <= 0?
False
Let n(p) = 24*p + 1. Let w be n(1). Suppose 100 - 126 = -13*j. Suppose 2*i - i + j*r - 34 = 0, 3*r - 135 = -5*i. Which is bigger: w or i?
w
Let n = 12383 - 3913041/316. Is n at most as big as 0?
True
Let x = 15 + -2. Let q = x + -62. Let p = 51 + q. Which is bigger: 19 or p?
19
Let t be 155/30 + -5 - 7/6. Let u be t + 54532/34070 + 33/(-55). Let q = u - 6900/146501. Which is smaller: q or 0?
q
Let g = 77/4 + -397/20. Let s be (-2)/17 - (-15)/(-17). Let p be -4 - (-1 + 1/s). Which is smaller: g or p?
p
Suppose 18*o + 11273 + 8112 + 217 = 0. Which is greater: o or -1087?
-1087
Suppose -p + 3*p - 36 = 0. Suppose 22*n = p*n. Let o = -99 - -1084/11. Which is greater: n or o?
n
Let f(r) = -5*r**2 + 23*r + 12. Let n(v) = -6*v**2 + 23*v + 13. Let p(u) = 4*f(u) - 3*n(u). Let j be p(11). Suppose 0 = -j*t + 18*t. Which is smaller: t or 3?
t
Let f be -3 - (6 + -2 + 19). Let n be f/(-22) + 18/(-99). Let m = 519/440 + -3/55. Do m and n have the same value?
False
Suppose 73*g + 9555 = -74*g. Is g > -57?
False
Let l = -387.5 + 398.5. Which is smaller: -6.63 or l?
-6.63
Let d = -929.4 - 1393.6. Is d <= 0?
True
Let n be (-1)/(-2) + 352/(-656). Let f = 143/574 - n. Let g = 5.4 + 0.6. Which is greater: g or f?
g
Suppose 36 + 52 = 8*k. Suppose 30*f - 1387 = k*f. Are 72 and f equal?
False
Let h be ((-2)/(-4))/((-3)/(-2)). Suppose -4*k = -10*k - 18. Let r be 0/(-1*(-6)/k). Are r and h non-equal?
True
Let w be (12629/(-6) - (-4)/(-6))/(16530/6612). Is -843 at least as big as w?
False
Let z = -2.1 + 4.2. Let g = z - 1.9. Let k = -708 - -707.91. Which is greater: k or g?
g
Let x(z) = -20*z + 87. Let v(m) = -3. Let i(t) = 2*v(t) - x(t). Let j be i(4). Is -11 at least j?
True
Let t = 5494 - 5215. Which is bigger: 275 or t?
t
Let l = -9347 - -9348. Which is greater: 3/224 or l?
l
Let b = -73188 - -440543/6. Which is smaller: 0 or b?
0
Let d = -1276.79 + -46.21. Is d at least as big as 2/3?
False
Let n be 9*15/(-45)*(-2)/6. Let q = -1171431/362 - -3236. Which is greater: q or n?
n
Let a be (-3)/(-8 + 18956/2368). Is -592 >= a?
True
Suppose -4*c + 2*f - 30 = 0, 4*c - f - 16 + 47 = 0. Let k = -627 + 333. Let p = k + 287. Is c <= p?
True
Let j(c) = c**3 - 5*c**2 + 3*c + 4. Let o be j(4). Let g be ((-76)/(-114))/((-56)/(-3)). Do o and g have the same value?
False
Suppose 450 + 13 = h + q, 5*h - 2345 = q. Let g be 4/38 - h/(-247). Which is bigger: g or 10/3?
10/3
Let t be (-1)/(-5) + (3 - (-124)/(-20)). Let z(g) = 5*g**2 + 0*g**2 + 8*g - 3 - 3*g**2 + 8. Let j be z(t). Is j >= 1/20?
False
Let l(j) = 3*j**3 + 43*j**2 + 7*j + 55. Let p(n) = -n**3 - 10*n**2 - 2*n - 14. Let w(c) = 2*l(c) + 9*p(c). Let g be w(-3). Is g at most 41?
True
Let t = -161/68 + 123/34. Which is smaller: t or 1?
1
Let a = -1 - -3. Suppose -5 = -5*g + 2*y, -y + 14 = 5*g - 2*g. Let d be (-105)/(-450) + 2/g. Which is greater: d or a?
a
Let t(v) = 8*v + 19. Let y be t(-2). Suppose -4*g - 4*i + 388 = -y*i, -20 = 5*i. Do 101 and g have the same value?
False
Let n = -10740 + 10724. Which is smaller: n or -19?
-19
Let i be ((-3)/2)/(16/((-160)/15)). Is 4/393 greater than i?
False
Let p = -66 - -66.03. Let t = 0.03 - p. Let w = 2 - t. Is 2 greater than w?
False
Let a(o) be the second derivative of 2*o + 1/2*o**4 - 1/2*o**3 + 0 - 5/2*o**2. Let l be a(3). Are 41 and l nonequal?
True
Suppose -w - 33 = -2*w - 2*c, 51 = 4*w - c. Suppose -27 = -q - 2*q. Is w less than or equal to q?
False
Let r be (9 - 8)*-4 - 706. Which is greater: -711 or r?
r
Let o = -37.021 - -37. Let s = o + -0.079. Let d = 0.054 + -36.054. Is s equal to d?
False
Suppose m - 5*c + 5 = 0, -11*m + 7*m = 5*c - 30. Suppose -s = 5*z + m, 2*z = s - 6*s - 2. Is -3/226 at least as big as s?
False
Suppose -2*g + 95 + 87 = 5*g. Which is smaller: 300/11 or g?
g
Suppose n - p = -9 - 13, 122 = -5*n - p. Let t = n - -32. Let j = -29 - -38. Which is smaller: t or j?
t
Let m be ((-52)/(-65))/((-2)/(-125)). Let c = -65 + m. Let s be ((-10)/c)/(20/(-24)). Is s less than -2?
False
Let g = -15465 + 15482. Let o = -25 + 21. Is g > o?
True
Let b = -77413 + 77418. Let y be 1*(-3)/(0 - 1). Is y smaller than b?
True
Suppose 4*i - 4 = 3*i. Let t be -2 - (-16)/i - -3. Suppose 19 = 4*h + d, -3*h + 39 = h - 3*d. Which is smaller: t or h?
t
Let i be -4 - ((-258)/965)/((-2)/(-30)). Let s be (1*3/(-3))/(-1). Is s greater than i?
True
Let a be ((-3)/2*-2)/(981/30520). Which is smaller: 6/13 or a?
6/13
Let z be (2/5)/((-1089)/(-4472160)). Is 1644 at most z?
False
Let o = -27.1377 + 27.0477. Let v(b) = b**2 + b + 2. Let i be v(3). Is o > i?
False
Let i(p) be the first derivative of p**3/3 - 3*p**2 + 4*p + 2. Let c be i(5). Let x be ((-3)/c)/(21/98). Is x < 13?
False
Let s be (105/45)/((-484)/(-240) - 2). Let v = 156 - s. Which is bigger: -2 or v?
v
Let n be 1728/(-30)*(-260)/8. Let z be (n/30)/8*-5. Suppose 4*y + 42 + 118 = 0. Are y and z nonequal?
True
Let f = 95/3 - 32. Suppose -4*b = -4*o - 28, -1395*o + 1397*o + 5*b - 35 = 0. Does f = o?
False
Let l(y) = -y**3 + 10*y**2 + 10*y + 11. Suppose -5*i + 76 = 5*r + 616, 2*r = 3*i - 196. Let a be (-1183)/r - 3/8. Let j be l(a). Does 10/9 = j?
False
Suppose 3*t + 2146 = -4*f, 43*t + f + 714 = 42*t. Which is smaller: t or -711?
-711
Suppose -321 = 3*c + 4*u + 111, 0 = 5*c + 3*u + 720. Let l be 8/(-10) + c/(-80). Is l greater than or equal to 1/6?
True
Let k be 84/21*(-60)/(-96). Which is greater: k or 1/219?
k
Let l = -1 + 1. Let s(g) = -g + 5. Let w be s(l). Suppose -w*k = k + 120. Which is greater: k or 0?
0
Let p = 13561 + -13260. Let j = 957 - 656. Is j greater than p?
False
Let i(y) = -23*y - 138. Let x be (-27)/5 - (-36)/(-60). Let u be i(x). Is -2/2461 greater than u?
False
Let t(c) = -c**2 - 21*c + 19. Let r be t(-22). Let a be (5/(-2))/(r/(-120)*10). Do a and -6 have the same value?
False
Suppose 164*x + 25333 = 113462 + 19127. Are x and 0 non-equal?
True
Suppose 4*y = -3*c + 5*c + 60, -4*y = -3*c - 80. Which is greater: c or -244/13?
-244/13
Let l(o) = 24*o**3 - 5*o**2 + 15*o - 24. Let v be l(2). Which is smaller: v or 884/5?
884/5
Let r be (-2114)/175 + 12 - (-98)/1850. Let k = -23 + 24. Do k and r have the same value?
False
Let f = -35.5 - 5.5. Let z = f + 70. Let d = 29 - z. Which is smaller: d or 1/4?
d
Let c = 194.91 - 196. Let w = c - -3.09. Let h = 16 - 11. Is h >= w?
True
Let n be (1040 - (-140)/5) + 10/2. Which is smaller: 1076 or n?
n
Let y = -23 - -50. Suppose q = 48 - y. Suppose q*v + 252 = 15*v. Is v bigger than -81/2?
False
Let z(u) = -u + 19.