2). Which is smaller: g or r?
g
Let s = 26218 + -26227. Which is smaller: 0.059 or s?
s
Let o = -102 + 189. Suppose -3*y = -4*i - 6*y - 72, -5*i - o = 3*y. Let t be (7/21 + (-10)/3)*98/21. Are i and t unequal?
True
Let m = 58550 - 30211813/516. Which is smaller: m or -1?
-1
Let f(k) = k**3 + 4*k**2 - 3*k - 7. Let t be f(-4). Suppose -4*o = 5*z + 877, t*z - z - 3*o + 714 = 0. Does -0.1 = z?
False
Let d = 4 - 5.05. Let z = -0.05 - d. Let k be 3 + -1 + (1200/(-1692) - (-16)/(-12)). Which is smaller: z or k?
k
Let m = -0.3822 - -0.3822. Is m >= -121?
True
Suppose -5*n - 49*n - 83*n + 1918 = 0. Let s = 84 - 60. Let x = s - n. Is x > -2?
True
Let p(k) = 2481*k - 54. Let r be p(1). Is r bigger than 2426?
True
Let g = 556 + -552. Suppose -3*n = s + 270, 0 = 3*n + g*s - 2*s + 267. Which is smaller: n or -274/3?
-274/3
Let s = 104192 + -104243.7668. Let c = s + -0.0332. Let t = -54 - c. Which is smaller: t or 0.2?
t
Let d be ((492/10)/3)/(103/(-16480)). Is d != -2624?
False
Let w = 1917/5 - 7663/20. Is 7581 bigger than w?
True
Let y = 3541463473/197562 - 107555/6. Do 1 and y have different values?
True
Suppose a + 0 - 1 = 0. Let b = -49 + 51. Let o be (1 - 8/b) + (-1206)/(-342). Which is greater: o or a?
a
Let n be (-396)/153*1/(-4). Suppose 2*s - 16*s - 5*g = -8, -s = 2*g + 6. Does n = s?
False
Let o = -1017.63 + 1024. Let f = o + -4.37. Is -1/3 at most f?
True
Let u be 4 - ((-133700)/92 + -4)/(-1). Let q = 1453 + u. Is q < 0?
True
Suppose 4*z + 5*p - 1 - 9 = 0, 0 = 2*p + 4. Let d = 85436 + -85430. Which is smaller: d or z?
z
Let q = -3869 - -7511/2. Let k = 84 - 199. Which is smaller: k or q?
k
Let j = 235 - 282.9. Let x = -1.01 - 46.99. Let d = x - j. Which is smaller: d or 0.3?
d
Let i(n) = 15*n + 6641. Let f be i(-52). Is f > 5862?
False
Suppose -60*r = -64*r + 1732. Is r at most as big as 433?
True
Let x = 9563 - 9564. Do -108/767 and x have different values?
True
Let w(c) = 2*c**3 + 14*c**2 + 194*c + 920. Let f be w(-5). Do 8 and f have different values?
True
Let q = 217685/146 + -1491. Let c be (-6)/27 + (-4)/(-18). Which is greater: q or c?
c
Let k = -279.8 + 281.8. Is k smaller than -505?
False
Let v = 4191 + -4190. Which is smaller: v or -3/1931?
-3/1931
Suppose -4*b = 2*x + 606, -5*x + 76 = -b - 92. Let k = b + 152. Which is greater: -11/19 or k?
-11/19
Let j = 15891/184 - 689/8. Let u = j + 487/1426. Are 0 and u equal?
False
Let y be ((-3696)/70686)/(4/(-18)). Do y and -342 have the same value?
False
Let f(a) = -a**3 - 9*a**2 + 33*a - 256. Let p be f(-13). Let h be (-9)/2*2 - -1. Which is bigger: h or p?
h
Suppose 12 = c + 8. Suppose 0 = 7*r - c*r. Suppose r = 3*u + 5*s - 22, 0 = 5*u - 2*s + 7 + 8. Is u at least 2/37?
False
Let q = -6755.5 - -6757. Which is smaller: 0.56 or q?
0.56
Let q(x) = 2*x**3 + 2*x**2 - 6*x - 3. Let p be q(6). Suppose p + 445 = -13*w. Which is bigger: w or -72?
w
Let a(y) = 8*y - 33. Let s be a(4). Let f be (-74 - 0)*s/7. Let w = f - 21/2. Which is bigger: w or -1?
w
Let p(q) = -3*q**2 + 8*q. Suppose -2*b + 10 = 2*r, 0*r - 4*r = 2*b - 8. Let f be p(b). Is -59 at least f?
True
Suppose -5*y - 18*c = -17*c - 1872, -2*c + 1119 = 3*y. Let w = -373 + y. Is w less than 12/11?
False
Let i = -1 + -56. Let a = i + 11. Let c = -57 - a. Is -11 at most as big as c?
True
Let f = -2331 + 2982. Which is smaller: 649 or f?
649
Let c = -193186 + 7726901/40. Is -14 less than or equal to c?
True
Let m(t) = -79*t + 6714. Let s be m(85). Which is smaller: -44/435 or s?
s
Let r = 9562 - 9563. Which is smaller: 1416 or r?
r
Let r = 2630 + -52611/20. Let n = -17/20 - r. Is -4/9 at least n?
False
Let m(w) = w**2 + 15*w + 89. Suppose 6*t + 24 + 24 = 0. Let h be m(t). Is -0.03 < h?
True
Let u be (-1)/2*0/(-1). Suppose u = -5*d - 99 - 31. Let f = -26 - d. Which is smaller: f or 1/15?
f
Suppose -f - 4443 = -2*z, 4*f = -202*z + 197*z + 11062. Do -0.3 and z have the same value?
False
Let i = -444.1 - -448.1. Which is smaller: -76 or i?
-76
Let c = 5898 - 5896. Which is bigger: 13321 or c?
13321
Let h = -10649 + 16729574/1571. Which is bigger: 1 or h?
1
Suppose 4*d + 23 + 11 = 3*b, 5*b = 2*d + 24. Let k be 6*(-1)/7*d. Let r be 4/(-4)*(-3 - k). Which is smaller: 11 or r?
r
Suppose 5*z = 5*z - 10*z. Which is greater: -13/148 or z?
z
Suppose 0 = -149*j + 54*j - 11970. Which is smaller: 0 or j?
j
Let i be (9/4)/(10/8). Let t be 4 - (0/(-1))/3. Let f be (t + 0 + -8)*(-1)/2. Is i less than or equal to f?
True
Suppose 103*v = 98*v + 60. Which is smaller: 62 or v?
v
Let m(d) = -d**2 - 5*d + 9. Let l be m(-4). Let z(k) be the first derivative of k**3/3 - 15*k**2/2 + 25*k - 18. Let c be z(l). Are -1/75 and c equal?
False
Let m be (1 - -10)*(-21)/(-49). Suppose 0 = -62*q + 64*q - 4. Let a be 1/((-1 + q)*-2)*-8. Is a <= m?
True
Let y = -16513 + 9752. Is -6760 less than y?
False
Let i = 269.6 + -268.6. Let h = 2 + -9. Let v = h - -19. Is i less than v?
True
Let q = 3724 - 167578/45. Is -0.108 at least as big as q?
False
Suppose -792*r = -789*r - 30. Suppose 3*c - 8 - 7 = 0. Suppose c = 2*i - 3*q - 7, -4*i - q = -r. Are i and 1 equal?
False
Let f be ((-20)/(1 + 3))/(-1). Suppose p + f*p = -0*p. Is p at most 7?
True
Let z = 20589 + -20514. Which is bigger: 67 or z?
z
Suppose -4*p - 4*j + 15 = -21, -4*j = -4. Let w = -1243 + 1242.8876. Let o = 1.1124 + w. Which is smaller: o or p?
o
Let d = 3995 - 3994. Is 2/493 at least as big as d?
False
Let o = -0.872 + 0.772. Let m be (-6)/(-2100)*995 + (-8)/(-10). Is o greater than or equal to m?
False
Let x = -0.6 + -0.4. Let d = 3 + x. Let j = -710 + 710.3. Is d at least j?
True
Let t be (-1622)/3*(-180)/120. Which is smaller: t or 801?
801
Let b be (3 + -10 + 2)*1 + 456/96. Let w = -1 + 1. Let u = -0.1 + w. Which is greater: b or u?
u
Let j(k) = 32*k - 32. Let f be j(1). Which is smaller: f or -7/513?
-7/513
Let f = -0.411 + 0.211. Which is bigger: f or -0.0763?
-0.0763
Let i be (19 + -2 + 1)/2. Suppose -3*v + 4*r + i = 0, 1 = -4*v - 4*r + 13. Suppose 34 = -3*h + 28*h + 9*h. Which is bigger: h or v?
v
Suppose i = 183 - 125. Let f = 58 - i. Is 0.3 <= f?
False
Let a be (0/(-8))/(5 - 2 - 2)*-1. Is 2/813 smaller than a?
False
Let y(z) = z**2 - 4*z + 9. Let q be y(4). Let m(i) = -i + 4. Let t be m(-4). Let x = q - t. Which is smaller: -1/9 or x?
-1/9
Suppose 22*a - 15*a = 168. Let n be (5/3)/((-8)/a). Which is bigger: -29/5 or n?
n
Let h be (-7 + 181)*(1*-2 + (15 - 14)). Which is greater: h or -171?
-171
Let y(f) = 13*f**2 - 25*f - 7. Let w(v) = -2*v**2 + 1. Let l(p) = -6*w(p) - y(p). Let o be l(25). Which is smaller: -56 or o?
-56
Let y = -7452 - -5365439/720. Let u = 2591/720 - y. Which is smaller: -1/5 or u?
-1/5
Let d be (-112540)/80*2*-2. Let j = 2256424/401 - d. Are 1 and j nonequal?
True
Let o be (2 - 28)*663/(-26). Let w = -4639/7 + o. Are w and -13/4 non-equal?
True
Let z = 155 + -155. Suppose 22*b - 19*b + 63 = z. Is b smaller than -8?
True
Suppose 3*x - 5*y + y = -8, 0 = -5*x + 3*y - 6. Let c = 654367 + -393929311/602. Let w = c - -30/43. Which is smaller: x or w?
x
Suppose 0 = 4*x + 4*x - 16. Suppose 0 = x*v - 2*k + 54 + 22, 0 = -4*v - 2*k - 158. Is -36 at least v?
True
Let t = -0.012 - 0.016. Let r = 0.388 + t. Let v = r + 0.07. Is v greater than -1?
True
Let l(o) = -2*o**3 - 10*o**2 - 6*o - 9. Let d be -4 - 2 - 2*4/(-8). Let w be l(d). Let z(n) = -7*n - 19. Let h be z(-6). Is h < w?
False
Let l = -39283 + 116683/3. Is l <= 1?
True
Let i be (-345)/552 + 7669/(-20408) + (2 - 1). Is -1 <= i?
True
Suppose 4*r - 2*i = -6, -5*i + 7*i = -5*r + 15. Let t be ((-26676)/(-91))/6 - (r - -5). Which is smaller: 42 or t?
42
Let z be 180/(207/240 - 16/20). Let i be ((-1)/2 + 1)/(80/z). Is i smaller than 16?
False
Let d = 48.4 - 20.4. Let i = d - 28.07. Which is smaller: i or -5/4?
-5/4
Suppose 27*j = 22*j + 1085. Let k = j - 221. Which is bigger: -1 or k?
-1
Let k be 12/388*(-2)/(-3). Let f be (6 - 3)*1*41. Let d = f - 123. Which is greater: d or k?
k
Suppose -2794 + 23181 = -5*j - 2*b, -3*b + 4091 = -j. Does j = -4079?
True
Let l(b) = -4*b - 29. Let o be l(-6). Which is smaller: -123/29 or o?
o
Let a = 0.07 + 0.03. Let y be (-2)/(-12)*(-5192)/32450. Which is smaller: a or y?
y
Let a = 31.16 - 31.55. Which is bigger: a or 0?
0
Let x(w) = w**3 + 4*w**2 + 4*w - 1. Let k be x(-3). Let q be (10/k)/(18/72). Let s be -2 + (-24)/q +