 + 1 - (-7 + a - -6). Which is greater: 0.27 or h?
h
Let l = -221 + -149. Let b = -369 - l. Is 0.15 bigger than b?
False
Let y = 1121 - 1130. Is y greater than -15?
True
Let o = -9 - -13. Suppose 0 = o*m - 2*u - 6, 2*u + 5 + 1 = -3*m. Let r = -20593/14 + 1471. Which is smaller: m or r?
m
Let v = -5 - -13. Let d = 8.3 - v. Let h be ((-7)/266)/(5/20). Is h smaller than d?
True
Let k(t) = -5*t - 10. Let c be k(-3). Suppose 0 = -10*z + 8*z + 6, -c*i + z + 2 = 0. Is i at most as big as 8/21?
False
Suppose 129 = 2*a - 3*t, -406*a + 336 = -401*a - 3*t. Is a > 82?
False
Let k(l) = 27*l - 8. Let m be k(-1). Let o = 31 + m. Let j = 200 + -813/4. Is o at most as big as j?
True
Suppose -1107*n + 1109*n = 3*x - 338, -5*x = -n - 190. Which is smaller: n or -189?
-189
Let z(a) = -a - 5. Suppose -o = -4*q + 11 + 1, o + 6 = q. Let p be z(o). Let s be p/(51/9 + 1 + -4). Which is smaller: s or 0.3?
s
Suppose 748 = 4*j - 216. Let o = j - 125. Let d be (2 - 4) + (-2)/o*-118. Are d and 1 unequal?
True
Suppose 5*d - 81*c = -83*c + 23, -3 = 3*d - 3*c. Let x be 1*d + 10 + 16722/(-1287). Is -1 smaller than x?
True
Let o = -2.854 - -6.854. Which is greater: o or -431?
o
Let a(o) = 18*o - 107. Let i be a(8). Suppose -3*u = -5*k + 202, -2*k + 92 = -9*u + 5*u. Which is smaller: k or i?
i
Let s = -1461 - -983. Which is smaller: s or -477?
s
Let g(l) = -2*l**3 - 198*l**2 + 408*l + 113. Let r be g(-101). Which is smaller: -295 or r?
-295
Let l = 1349.439 - 1348.8. Is 0.1 < l?
True
Let s = 0.03 - -2.97. Let b = 302864 - 908590/3. Which is smaller: b or s?
b
Let p(m) = -2*m**3 - 5*m**2 + 8*m + 15. Let y be p(-3). Which is smaller: y or 2/11527?
y
Let x be (138/(-506))/(6/(-33)) + -2. Suppose -2*q = l + 4 + 3, 20 = -q + 5*l. Are x and q non-equal?
True
Let y = -23765393/516 - -46057. Which is smaller: y or 1?
y
Let l = 2718 - 10861/4. Which is smaller: -3/4 or l?
-3/4
Suppose -2*r - 31*c + 29*c + 432 = 0, r - 3*c = 216. Which is smaller: 218 or r?
r
Let w(b) = 2043*b + 8557. Let u be w(0). Is u > 8557?
False
Let r be ((-4174)/(-2))/(-30 - (-145)/5). Is r at most -2090?
False
Suppose 8*n = -2*n + 980. Let h be (-1204)/n + 4/14. Is -6 > h?
True
Let r be 6024/(-67474) + ((-2)/4 - (-2483)/4202). Which is smaller: -1 or r?
-1
Suppose -n = o - 17 - 6, 4*n - 89 = -3*o. Suppose -3*r + n - 32 = 0. Let p be (45/6)/((-33)/r). Is p smaller than 2?
True
Let m = 3.711 + -0.781. Which is bigger: 4 or m?
4
Let p be (-1256)/(-12768) - (-8 + ((-1089)/(-108) - 2)). Let s(c) = c. Let x be s(0). Let u be ((x/(-2))/1)/(-2). Is p at least u?
True
Let o(l) = -2*l**2 - 38*l - 16. Let i be o(-20). Let n(u) = 54*u - 16. Let j be n(13). Let v be (i/j)/(2/(-7)). Which is smaller: 0.18 or v?
0.18
Suppose 3*q + 3*f - 3 = -6, f = 2*q + 14. Let z be (62/12 + q)/(1/20). Let i = -4 - -6. Is z > i?
True
Suppose -q + 5*q = 20. Suppose -q*j + 124 = -91. Let z = 1576297 - 1576297. Which is smaller: z or j?
z
Suppose 0 = -4*b + j - 45, -24 = 4*b - 4*j + 24. Let x = -184956 - -184962. Does b = x?
False
Let c be 2 - 0*4/12. Let q(j) = 8*j**2 - j - 1. Let n be q(c). Suppose -m + 3*f + 31 = -2*m, 5*f + n = -m. Is -34 at least m?
True
Let i be (-6984)/(-970)*20/6. Is i greater than 104?
False
Let a be (-2)/4 - (36/(-231))/((-40)/(-140)). Suppose 3*w - 3 = 0, 5*h + 2*w = 5*w - 28. Let r be 0/(-1)*h/5. Which is bigger: a or r?
a
Let b(y) = -59*y**3 - 24*y**2 - 72*y - 7. Let a be b(-3). Which is smaller: a or 1585?
1585
Let f be 138/1311*(-513)/(-12). Let l = 0.8 - -0.1. Is l not equal to f?
True
Suppose 0 = -2*i - 2*u + 297 - 301, 5*u + 6 = -3*i. Is i at most -0.296?
True
Let c be (16 + 0)/2 + -4. Let i = -107 + 110. Suppose i*r + c*f = -20, -3*r + 0*f = 2*f + 10. Is r less than -4/9?
False
Suppose 66 = 2*c + 16. Suppose 0 = 3*a + 5*o + c, -2*a - 3*o = 2*o + 25. Is a equal to 30/49?
False
Let b be (-2)/((-4)/(-10)) + 54 + -51. Let u be ((-126)/45)/(b/150). Is u >= 210?
True
Suppose 64*m + 24 = 52*m. Let n be ((-24)/(-96))/(2*m/(-24)). Suppose -c + 2 = 3. Is n less than c?
False
Suppose -156*l + 71*l - 850 = 0. Which is smaller: -0.018 or l?
l
Let i(o) = -2*o**2 + 5*o + 7. Let p be i(3). Let g be (48/(-6))/p*(-1)/(-16). Which is greater: g or 0.137?
0.137
Let o = -56.0071 + 0.0071. Let f = -0.044 - 0.056. Which is greater: f or o?
f
Let p = -20 - -29. Suppose 4*f = p*f. Let k be (-3)/(4/(-4)) - f. Which is smaller: 5 or k?
k
Let s = -0.503 - 0.137. Let k = s - -1.14. Are -1/18 and k non-equal?
True
Let o = 320 + -236. Suppose 6*r = 54 + o. Let g = -34 - -57. Is r bigger than g?
False
Suppose -977*m - 14190 = -992*m. Is 947 >= m?
True
Let j = -2.1 + 19.1. Let a = -14 + j. Let c = 0.1052 - -8.8948. Which is greater: c or a?
c
Let p = -86 - -238. Suppose 150 = 2*h + p. Which is bigger: h or -1/57?
-1/57
Let f be (418/(-104) + 4)*-4. Suppose 0*q + 2*q = 0. Suppose 10*d - 6*d - 4 = q. Do f and d have the same value?
False
Let g be (2/(-226))/(((-3660)/(-18))/(-10)). Which is bigger: g or 1?
1
Let u = 2.2 + -36.3. Let i = 34 + u. Which is smaller: i or -14.7?
-14.7
Suppose 121*l = 126*l - 70. Let q be 84/24*6/l. Is q not equal to 2?
True
Let r = 16 - 17.2. Let i = r - -1. Let y = -26.805 + 14.805. Which is smaller: y or i?
y
Let v(y) = -7*y**2 + y**2 + 2*y**2 + 3 + 11*y - 10. Let a be v(2). Which is smaller: -2/219 or a?
a
Let h = -22.6514 + 0.0514. Let u = -8.6 - h. Which is greater: -0.6 or u?
u
Let p be 540/490*2 + 14/(-7). Suppose 3*g = 3*h + 9, -2*h - 7*g + 3 = -6*g. Which is smaller: h or p?
h
Let v = 3.739 + 1.261. Is v at most -10.72?
False
Let x = -12.444 - -12.644. Is -5.63 smaller than x?
True
Let l = 10 - 4. Let d be 24/(-4) + (-18799)/33. Let p = d + 582. Which is smaller: l or p?
l
Let b(p) = 59*p**3 - p**2 - p - 1. Let d be -1*(-1)/(1/((-3)/3)). Let t be b(d). Is 1 bigger than t?
True
Let h = -554/5 - 5027/10. Which is smaller: -614 or h?
-614
Let q = 4863 + -4744. Is q less than or equal to 101?
False
Let x be (-10)/1*3/(-2). Let t(q) = -3*q + 49. Let d be t(x). Suppose d = -4*f - 4. Which is bigger: -5/7 or f?
-5/7
Suppose -h + 17 = -5*l, 3*l + 0*l = -2*h - 18. Let q be 0*(6/(-4))/h. Let c be -11 + q + (-5)/(-5). Which is bigger: c or -8?
-8
Let n = 1 - 1. Let v(c) = -12*c + 153. Let i be v(-6). Let u be i/3060*3/(-5). Is u > n?
False
Let r(z) be the second derivative of 7*z**5/20 - z**4/12 - 2*z**3 + 21*z**2/2 + 27*z. Let a be r(3). Do 2/5 and a have the same value?
False
Let m be 62/(-50) - (4 + -28 - -23). Is -0.13 <= m?
False
Let p be (-7399)/112 - (6 + (-97)/16). Which is bigger: p or -584/9?
-584/9
Suppose -w - 548 = 2*r, 2*w - 62*r = -61*r - 1116. Are -558 and w equal?
False
Let v = -14.18 - -15. Let n = v + -0.74. Let z = n - 0.18. Which is bigger: 1 or z?
1
Let b = 21508 + -924837/43. Suppose 2*r - 2 = 3*f, 2*f - 5*r - 3 + 8 = 0. Is b smaller than f?
False
Let z be -4 - 448/223 - -6. Let t = -2.086 - -0.086. Is z greater than or equal to t?
True
Let k = -22.8 - 149.2. Let g = -0.0156 + 0.1156. Are g and k equal?
False
Let l = -124.75 + 122. Let n = l - -6.25. Is n at most -1/4?
False
Let b be 5*24/210 + 2536/(-28) + 6. Is -71 less than b?
False
Let u = 6914/9 - 72949/99. Which is smaller: u or 32?
u
Suppose 2*d = -2*v, 5 = 5*d - 2*v + 33. Let b(m) = -m**3 - 3*m**2 + 5*m + 6. Let f be b(d). Is f equal to 18/29?
False
Let t = -74 - -74. Suppose 0 = -5*h + 3*z - 51, t = -7*h + 2*h + z - 57. Is -12 > h?
False
Suppose -22 = -y + 2. Suppose -11*k + k = -290. Let b = y - k. Is b greater than -1?
False
Let m(y) = -554*y - 2230. Let o be m(-4). Which is greater: -29 or o?
o
Let u be (2/4)/((-2)/4). Let p be 6/(-14) - (-540)/(-210). Let v be (-30)/86 + (-3)/27*p. Is v < u?
False
Let i = 13924 - 974677/70. Suppose 0*f = -f - 1. Is i less than f?
False
Let j = -196 + 17641/90. Let g be ((-4)/(-3360))/(9/2244). Let d = j - g. Which is smaller: d or -3/7?
-3/7
Suppose -5 = 5*d, -2*d - 2*d - 7 = -3*f. Let o(q) = -q**3 + 8*q**2 + 2*q - 9. Let p be o(8). Suppose -2*m - 4*j - f - 7 = 0, -p = m + 5*j. Is m at least -1/3?
False
Suppose 402 = -10*m - 678. Let h be (-14)/18 + 24/m. Let a = -54306/31 + 1752. Which is smaller: h or a?
h
Let t = 98/73 + -6003/4526. Is 1 not equal to t?
True
Suppose 6*d - 76 = -28. Let y(f) = -17*f + 137. Let g be y(d). Let r be ((-8)/(-129))/((-2)/9). Is g != r?
True
Suppose -h = -4*o + 59, 2