0. Let l = -1.741 - -0.741. Which is smaller: i or l?
i
Let v(r) = r**3 + 34*r**2 + 3*r + 100. Let o be v(-34). Which is bigger: -55/23 or o?
o
Let g be (117/18)/13 - 3/30. Which is smaller: g or -1.5?
-1.5
Suppose 7*d - 8*d - 7 = 0. Let x be 2/d - 414/168. Which is greater: x or -3?
x
Let n = 60 + -55. Let i = -10 - n. Is i at most -15?
True
Let g = -11 - -13. Let z be 84/180 + g/15. Let k = -1/10 + z. Which is bigger: 2 or k?
2
Let b = -2735/244 + 28/61. Let y = 11 + b. Suppose 3*d + 4*l + 3 = 0, -5*d - 5*l - 21 + 16 = 0. Which is smaller: y or d?
d
Let n be (-3852)/(-138) + 11 - -1*2/23. Suppose -5*w = s - 30, -s = -4*w + 5*w - 38. Which is smaller: s or n?
n
Let c be ((-2)/5)/((-18)/(-10)). Suppose -11*x + 57*x = 0. Is c >= x?
False
Let k = 58 - 110. Is -154/3 at least as big as k?
True
Let f = 726.29 + -726. Is -2 bigger than f?
False
Let j be (110/275)/((-1)/45) - 2. Is j at least -48?
True
Let d = 177.7 - 177.4. Which is greater: 135 or d?
135
Let p(o) = o**2 - o. Let k be p(0). Is 40/27 > k?
True
Let m = -19 - -32. Let x(y) = y**2 - 10*y + 16. Let o be x(8). Which is greater: m or o?
m
Let o = -0.37 + 12.37. Let r = 5 - -6. Let k = r - o. Which is bigger: k or 13?
13
Suppose 3*v - 14 = 4. Let t = 2 - v. Let j be 2*(-1)/t*-1. Which is greater: 0.5 or j?
0.5
Suppose -5*x = -0*x - 5. Suppose k - 6 = -x, -v - 5*k + 20 = 0. Let t be v*6/20*2. Which is smaller: -2 or t?
t
Let o = 5.07 + -0.07. Let b = o + -8. Let h = 12.95 - 12.25. Is h at least b?
True
Let n be 4/6 - (-1 - -1). Let k = -5068.16 - -5068. Is k at most as big as n?
True
Let d = 33 - 33. Let c = 2159/133 + -114/7. Is d at most as big as c?
False
Let u(f) = -10 - 3 + 2*f - 5*f. Let m be u(-9). Let r = m + -12. Which is smaller: 4 or r?
r
Suppose 0 = 5*t - 5, -2*w + t - 2*t = 5. Let h = -20 + 14. Is w greater than or equal to h?
True
Let p be 0 + 0 + 2/(-8). Let t = -0.36 + 2.06. Let y = t - 0.7. Which is bigger: y or p?
y
Let n be 1*6/(-15) - 132/(-30). Suppose -2*i - u - 47 = 0, -n*i = -3*u + 2 + 77. Which is smaller: i or -24?
-24
Let q = -79 + 158. Let x = 78.7 - q. Is -1.8 >= x?
False
Let o = -1156 - -2249/2. Let f = 18 + -50. Let r = o - f. Is r less than or equal to 0?
False
Let o = 62 + -62.75. Let a = o + 0.85. Are a and -5 non-equal?
True
Let m = 2.557 + 0.443. Let x = -0.34 + -0.06. Which is smaller: m or x?
x
Suppose 46 - 170 = -4*z. Let m(g) = 12*g - 88. Let q be m(10). Which is greater: q or z?
q
Let b be (3 - (11 - 3))*-1. Suppose -b = 5*i + 50. Let m = i + 15. Are m and 4 equal?
True
Let k be 31/115 - (-4)/(-10). Let o be -3 - (-36)/6*(-3)/(-6). Is o less than k?
False
Let b = -2177 - -2178. Let g = -299/7 - -43. Is b less than or equal to g?
False
Suppose -3*f = -x + 7, -17 = x + 6*f - 3*f. Suppose -4*l + 2*t = 14, 5*t - 16 = 5*l - 6. Let p be (4/(-10)*l)/x. Is p at most as big as 0?
True
Let n be (-7)/(-49) + (-128)/14. Let x(i) = i - 15. Let z(f) = -f**3 + 4*f**2 - 2*f + 4. Let k be z(3). Let v be x(k). Is v greater than or equal to n?
True
Let y be (7 - 2) + 4/(-4). Suppose 24 - y = 5*z. Suppose 8 = -z*r + 4. Which is smaller: r or 2/9?
r
Let l = 19 - -2. Let m = l - 13. Let r = m + -9. Which is bigger: r or -6?
r
Let t be 0 + (-2)/(-1)*-4. Let p be 2002/70 - 20 - (9 + 0). Is t at least p?
False
Let i = -1222 + 3634/3. Let p be ((9/3)/(-6) - -1)*4. Suppose -n = w + n + 20, 3*w + 44 = -p*n. Which is bigger: i or w?
i
Let n = 14 + -3. Let t be 7 + 6*3/6. Which is greater: t or n?
n
Let m = -3 + 9/2. Suppose z - 2*z = -4*j + 9, 5*z - 4*j - 3 = 0. Suppose -z = 2*w - 3*w. Does m = w?
False
Let m be (-1)/((-46761)/37284 - (-10)/8). Which is smaller: 238 or m?
238
Let j = -247904 - -2731229/11. Let a = j - 389. Which is greater: 2 or a?
2
Let p(j) = -3*j + 36. Let b be p(12). Which is greater: b or -103?
b
Let w = -2/517 + 1084/12925. Which is smaller: -1 or w?
-1
Let p = -28 - -28.9. Let q = p + -0.8. Do 2/5 and q have the same value?
False
Let b = -776.981 - -776. Let x = b + -0.019. Which is bigger: x or 2/95?
2/95
Let k = 766 - 613. Do 154 and k have different values?
True
Suppose l = -0*l, l = -4*x + 36. Let j = -5 + x. Suppose 7 = -3*v + j. Which is greater: -2/47 or v?
-2/47
Let z = 308 - 235. Which is greater: 3 or z?
z
Let s = 26 + -32. Let h be 1/s - 63/(-108). Is 1 > h?
True
Suppose -a = 2*a - 2*j + 34, 4*a = -4*j - 12. Let d(u) = -u**2 + 4*u + 9. Let f be d(5). Suppose 3*v + 8 = -f, -2*v - 35 = 3*n. Which is greater: n or a?
a
Suppose -u = 8 + 2. Suppose 0 = -s - m - 9, -3*m + 12 = 0. Let i(y) = y**3 + 14*y**2 + 15*y + 16. Let d be i(s). Is u greater than d?
False
Let o(j) = -7 - 17*j - 18*j + 36*j. Let g be o(4). Which is smaller: g or 2/5?
g
Let u = 3 - 1. Suppose -3*t + 2*s - 3*s = -17, 0 = 5*s - 25. Suppose t = -o + 5. Which is greater: u or o?
u
Let u = -276450/511 - -541. Which is smaller: 1 or u?
u
Let f = 2939 - 2940. Is -1/49 != f?
True
Suppose 14*f = -5*f + 2679. Is 139 greater than or equal to f?
False
Let j = -3.337 - 0.063. Let h = j - -3.48. Is -5 greater than h?
False
Let p = 216 - 137. Let s = p - 76. Which is smaller: 1 or s?
1
Let p(g) = -5*g - 19. Let l be p(-12). Suppose 8*h = 1 - l. Is 3 > h?
True
Let i(x) = -2*x**3 - 7*x**2 - 6*x - 7. Let u be i(-4). Let f be 2/u*(-24)/(-400). Let s = -842/4675 + f. Which is smaller: s or 1?
s
Let y = -216674/111 - -1952. Let s(t) = -t**3 - 27*t**2 + 2*t + 54. Let q be s(-27). Which is bigger: y or q?
q
Let n be 2/4 + 1494/12. Does 125 = n?
True
Let j be (3 - 28/12)*15/506. Let l = j + 2227/2530. Is l greater than or equal to 2?
False
Let h be (1/2)/(7/392). Let b be (-14)/(-4)*2/h. Let m be (-2)/(-5) - 24/35. Which is bigger: b or m?
b
Let s(t) = 128*t**3 + 3*t**2 - 2*t + 3. Let h be s(2). Let b = 11393/11 - h. Which is smaller: 0 or b?
0
Let k = -5557/5 + 1111. Is 5 greater than or equal to k?
True
Let l be (-112)/6 - (-9)/(-27). Is -24 < l?
True
Let l(n) = 2*n - n + n**3 + 6*n**2 - 3 + 0*n**2 - 3*n**2. Let d be l(-2). Let a = -1 + 0.8. Is d greater than a?
False
Let m = 144 + -124. Which is bigger: 23 or m?
23
Let u = -28.044 - -28. Let w(k) = -k**2 - 4*k - 4. Let d be w(-3). Do d and u have the same value?
False
Let t be -1*4 - (-11)/1. Let o be (t - 4)*(3/54 - 0). Suppose 4 = 4*s - 0*s. Is o greater than s?
False
Let q = 348 + -233. Let r be (1 + (-140)/q)*1. Are 1 and r equal?
False
Let v be (-2 - (0 + 1))*344/(-516). Let i be (6/(-8))/((-11)/24). Is i >= v?
False
Let u = -0.24 - 1.76. Which is smaller: 22/5 or u?
u
Let x(y) = y**2 + y - 34. Let o be x(0). Let p = o - -33. Which is smaller: p or 0.1?
p
Let s(r) = r + 5. Let l be s(-5). Let q be (22 + -37)/((-3)/12*-3). Is q smaller than l?
True
Let t(g) = 36*g**2 + 10*g - 7. Let u(a) = -a**3 + 8*a**2 + 6. Let s be u(8). Let k be t(s). Let x = 17545/13 - k. Which is greater: x or 0?
x
Suppose -4*r + 6 = 2*r. Let y be r*-3 + -2 + 111/15. Which is bigger: y or 2?
y
Suppose 4*c = -3*n + 3372, 3354 = -0*n + 3*n - 2*c. Let u be n/14*2/6. Which is greater: u or 28?
28
Let g = -287/6 + 3755/78. Is g >= -1?
True
Let z be (-40)/28*435/(-25). Let f be -69*(298/462 - 1). Let t = f - z. Is t less than 1?
True
Let r(c) = c**3 - 5*c**2 - 9*c + 10. Let s be r(6). Let i be (-13)/26*s/2. Are i and 8/5 equal?
False
Let r be 2/(-4) - 98/(-212). Let x = 78 + -78. Suppose -y + x = -4*l - 3, 2*y - 1 = 3*l. Is y equal to r?
False
Let i be (-2)/(-4) - (25/(-14) + 2). Is 147 smaller than i?
False
Let s = 436 - 484. Let y(d) = 2*d**3 + 5*d**2 - d - 3. Let j be y(-4). Which is smaller: s or j?
s
Let p be (-756)/35 + -4 - (-4)/(-10). Which is greater: -25 or p?
-25
Let m = 616 - 616.1. Do m and -28 have the same value?
False
Let h = 1 - 1. Let c be ((-36)/(-27))/((-2)/(-60)). Let x = -40 + c. Are h and x unequal?
False
Let v = -1.35 - 0.15. Let d = 0.1 + v. Let z = -1.6 - d. Which is smaller: z or 0?
z
Let j be ((-4)/(-6))/(2/3). Let o(g) = g**2 - g - 6. Let z be o(3). Let r = z - j. Is 2/37 at least r?
True
Let d = 132.56 + -132. Which is smaller: 2/9 or d?
2/9
Suppose l + 3 = 0, -4*s + 7*l = 3*l - 20. Suppose -4*t = -8*p + 4*p - 20, -8 = -4*t - s*p. Suppose -5 = 4*k + t. Is k < 0?
True
Let q be (-2 - -9) + (-2)/2. Suppose q*t + 38 = 4*t. Which is greater: -18 or t?
-18
Let d = -0.533 - 0.467. Which is smaller: -457 or d?
-457
Let k be (2 - 0)*30/4. Suppose 3*r + r =