, 4*u - 15 = -b. Suppose -g*a - 5*l = -6*l + 1, -3*l = b*a - 18. Is a < -2/19?
False
Suppose 5*z - 13 = 7*h - 4*h, 3*z + 3*h = 3. Suppose -11*g + z*o = -8*g + 97, -27 = g - 2*o. Let r = -58 - -25. Which is smaller: g or r?
g
Let l(i) = -1084*i + 9619. Let a be l(9). Suppose -2*u + 4*u = -276. Is u > a?
False
Let o = -237 + 239. Let f be -36 + o + (40/8)/(-1). Which is smaller: f or -37?
f
Let a = -22.377 + 24.377. Which is greater: a or 1172?
1172
Suppose -2*u - 288 = 6*u. Let q be (u/(-135))/(3*-5). Let s = q + -97/7200. Are s and -1 equal?
False
Let k(w) = -116 + 8*w**2 - 3*w**2 + 110 + 6*w + 5*w**2. Let f be k(-2). Which is greater: f or 2?
f
Let p(h) = 21*h + 8. Let u be p(17). Which is bigger: 367 or u?
367
Let l be (2 - -4)*42/1386. Which is bigger: 4/75 or l?
l
Let z be 6/(-8) - 11494/(-8). Let v = z - 222581/155. Which is smaller: 1 or v?
v
Let x be 4/10*2*15/12. Let u = -334930/389 + 861. Which is smaller: u or x?
u
Let f = -0.0058 - -0.0139. Is f <= -2?
False
Let g be 58/(-420) - (-1)/3. Let h = 29021/6 + -4837. Let f = g + h. Is f bigger than 0?
True
Let p = -962.738 - -0.738. Let v = -961.3 - p. Which is smaller: -5/4 or v?
-5/4
Let w = 928.8 + -929. Which is bigger: 2387 or w?
2387
Let a be 0/(-9) + 4/7 + 15980/(-28014). Which is smaller: 0 or a?
0
Let q = -5.895 - 0.035. Let z = q + 5.63. Is -1 smaller than z?
True
Let c be (-8)/(-10)*(-2 - -7). Let n(k) = 36*k**2 - 34*k**2 - 2602 + 2609 - 7*k + k. Let x be n(c). Are 12 and x equal?
False
Let a = -384332 - -127598077/332. Is 0 at most a?
False
Let s = 3309 - 3308. Which is smaller: s or 4/415?
4/415
Let q = 0.297 - 0.507. Which is bigger: -0.16 or q?
-0.16
Let r = 9293 - 9294. Which is smaller: -2/29139 or r?
r
Suppose -6 = -3*c, 4*t + 5*c - 849 = 777. Suppose 23*x - t = 27*x. Let f(k) = -13*k**3 + 3*k**2 - 9*k + 9. Let i be f(2). Do x and i have the same value?
True
Let q = -4046.3 + 4045. Is q < -1?
True
Let t = -600 - -618. Suppose -t*s = -26*s - 1648. Are s and -207 nonequal?
True
Suppose 9233 - 6197 = 12*x. Is x at least as big as 252?
True
Suppose 4 = 2*b + 4*c, 2 = c + 7. Let w = 0 - b. Let q(l) = -l**3 - 14*l**2 - 26*l - 6. Let x be q(w). Is 18 < x?
False
Suppose 4*l = 3*b - 14 + 6, 4*b - 14 = 2*l. Let x(t) = t**2 - 5*t + 7. Let a be x(-5). Let s be 12/(-10)*(-1)/a. Which is smaller: l or s?
s
Let a = 170143/4 + -42142. Which is greater: 395 or a?
395
Let z = -0.392 + 0.392. Let q = -29 - 34. Let s = 45 + q. Which is smaller: z or s?
s
Let q = 26.385 - 26.595. Which is smaller: q or 0.25?
q
Let a = -0.1 - -0.1. Let o = 19262 + -19264. Is o at most as big as a?
True
Suppose -3*u + 0*j + 178 = 4*j, -4*j = 20. Let b = -22831 - -22833. Which is greater: u or b?
u
Let y be -2 - (16/(-24) - 41/(-3)). Let w(o) = o**3 + 14*o**2 - 18*o - 37. Let z be w(y). Let p = -81 - -91. Which is smaller: p or z?
z
Let l = 426.177 + -426. Let t(r) = 1389*r + 4167. Let f be t(-3). Is f smaller than l?
True
Let b = 32.752 - 33.752. Is b < -19.576?
False
Let k(p) = 4*p**2 + p. Let o be k(-2). Let q be (-7)/87*(-4)/o. Let g = 145 - 144. Which is smaller: g or q?
q
Let n be (-3 - 26560/3315) + 13 + -2. Is n less than or equal to 0?
True
Let k(b) = -b. Let x be k(-3). Suppose 3*w + 2*v = 49, -x*w + 18 = -2*w - v. Let c(f) = -4*f**2 - 42*f + 214. Let i be c(-14). Which is smaller: w or i?
w
Let o = 133 - 89. Let s(h) = 54*h**2 + h. Let k be s(-1). Let l = k - o. Which is bigger: l or 15/2?
l
Let j = -186 - 114. Let x = j + 300. Is x >= 121?
False
Suppose -67*h - 84 = -79*h. Suppose -h*d = -15*d + 16. Is d greater than 8/3?
False
Let k be (42/(-56))/((-2)/1264). Let j be 168/k*(-44049)/(-12). Let o = 1301 - j. Is -1 at least as big as o?
False
Let u(q) = -57*q - 3962. Let d be u(-71). Are 677/8 and d nonequal?
True
Let i(l) = -80*l - 1759. Let j be i(-22). Is j smaller than 1/5628?
False
Let c = -0.487 - 0.143. Let t = 501.77 - 503. Let s = c - t. Which is bigger: s or 4?
4
Suppose -3*k = -a + 553, -5*a + 64 = 5*k - 2621. Is 520 smaller than a?
True
Let x = -390.2 + 390.212. Let m = -1 - -1.012. Let o = m - x. Which is smaller: o or -6/5?
-6/5
Let u = -1384 - -2053. Suppose 34*y - 249 - u = 0. Does y = 24?
False
Suppose -4*d + 5*y + 2809 + 6067 = 0, -5*d - 3*y = -11058. Which is smaller: d or 0.1?
0.1
Let g = -83 - -26. Let a(s) = -10*s - 343. Let m be a(-35). Let x be -56 + 3*m/(-21). Is g >= x?
True
Let w be (1 - -14) + (-756)/(-630) + (-118)/(-10). Suppose 0 = 2*o - 10, -5*o = 5*s - 204 - 11. Which is smaller: s or w?
w
Let u be (-2*(3 - -78))/((-9)/6). Suppose 12 = o - 114. Let r be (u/o)/(2/(-14)). Is r <= -9?
False
Suppose -58 = 256*j - 66*j + 132. Let w = -440900/52899 - -642/77. Which is smaller: w or j?
j
Let c = 0.7274 + -1.7274. Which is smaller: 1168 or c?
c
Let f be 287/(-1476)*(-3)/1351. Which is smaller: -1 or f?
-1
Suppose -37*v - 2*z = -39*v + 1140, 2*v - 1164 = -4*z. Is v greater than 576?
False
Suppose 273*b - 2208 = 241*b. Are 63 and b equal?
False
Suppose -5*a - 12 = -4*f - 4, 0 = 2*a + f - 2. Let q = -277/6 + 46. Are a and q equal?
False
Suppose -4*s + 9*k = 4*k + 24, -4*s - 3*k + 8 = 0. Let t be (-15*4/6)/(2*s). Suppose -g = 4*g - t. Which is bigger: g or 2/9?
g
Suppose -3*z - 5*h = -714, 8*h = 4*z + 11*h - 941. Let c = z + -237. Which is greater: c or 1/2?
1/2
Let v be (140/42)/5*6. Is 83/21 bigger than v?
False
Suppose 4*s - 7 = 13. Let v = 3.55 + -16.55. Is s <= v?
False
Let h(n) = 14*n**2 + 13*n - 50. Let m be h(6). Suppose 6*l + m = 10*l. Is 135 not equal to l?
True
Suppose -7*k + 11*k = 8. Suppose o - 5*v = -8, v + 6 = 2*o + k*o. Let d be 2 + o + 55 + 3. Is 62 bigger than d?
False
Suppose 5*g - 100 = 13*r - 9*r, 96 = -4*r + 4*g. Suppose 3*j - 6*j = -9. Let q(w) = -2*w**2 - 2*w + 5. Let a be q(j). Which is greater: r or a?
a
Let l be 0/13*(-1 - -2)/(-1). Let c = -162 + -91. Let s = c + 2279/9. Which is bigger: l or s?
s
Let b = 270 - 204. Is -0.103 at least b?
False
Suppose 21*j - 22*j + 12 = 0. Suppose 17*z - j = 5. Is -3/272 at least as big as z?
False
Suppose 3*v - 48 = 5*v - 3*i, -v = -3*i + 24. Let g = v - -15. Let m(c) = -15*c + 84. Let k be m(6). Which is bigger: g or k?
k
Suppose -18 = 17*j - 35*j. Let b be ((-89)/10 + (-2)/4)*j. Which is greater: -9 or b?
-9
Let w(g) = -2*g**3 + 21*g**2 - 64*g - 93. Let h be w(9). Which is greater: h or -427?
h
Let p = 1226/3 + -8606/21. Is p bigger than -4?
True
Let h be (-5)/2*((-69370)/(-23125) + -3). Which is smaller: -1 or h?
-1
Let i = 345883011962372410483876 - 411981257318265150338804303642130683/1191100005117. Let j = i - 1/61419069. Let c = j + -2/473. Is 0 at most as big as c?
True
Let l(t) = -2*t**2 - 36*t - 34. Let u(d) = d**2 + 20*d - 87. Let w be u(-23). Let m be l(w). Is -34 bigger than m?
False
Let v = 880.3 + -881. Are -11 and v non-equal?
True
Suppose 2*p - 18 = 3*q + 6, -5*p = -4*q - 60. Let s(t) = -4*t**2 - 159*t + 1313. Let v be s(7). Which is bigger: v or p?
p
Let o(v) = 11 + 19*v**2 - 20*v**2 - 21*v + 3. Let r be o(-22). Let x(b) = -b**3 - 7*b**2 + 9*b + 5. Let p be x(r). Which is smaller: -4 or p?
-4
Let b = -680763/2 + 332523. Is b smaller than -7859?
False
Suppose -6*z - 1694 - 538 = 0. Let t be (-55)/2*z/155. Is t != 68?
True
Let l be (16/64)/(1/20). Suppose 4*h - 7 = -3*x - 0, l*x = 5*h. Is x at most 5/218?
False
Let c = 14/45 + -52/135. Let m = -11.5 - 9.7. Let s = m - -21. Is c at most as big as s?
False
Suppose -m - 28 = -4*p - 18, -m + 3*p = 14. Is m equal to -137/5?
False
Let l(s) = -8 + 5*s**3 - 4*s**3 - 7*s**2 - 5*s - 7*s + 13*s. Let t be l(7). Which is greater: -36/23 or t?
t
Let w = -18 + 23. Let y(b) = b**3 - 4*b**2 - 7*b - 1. Let l be y(w). Let a be -5*3*(-6)/45. Which is bigger: l or a?
a
Suppose w = -t - 21, -5*w - 3 + 96 = -4*t. Suppose -2688 = -246*p + 240*p. Let o be (36/7)/((-96)/p). Which is smaller: o or t?
o
Let z be (1 + 0/1)/(-13 + 0). Let m = 47014937/572 - 82194. Let n = z - m. Which is greater: 1 or n?
1
Let v = 165 - 963/5. Is v bigger than 12?
False
Let i(a) = a**3 - 3*a**2 - 95. Let u be i(0). Let l be ((-81)/(-75) - 1)/((-1)/u). Is l at least as big as 9?
False
Suppose 1275 = 5*i + 5*a - 275, -5*i + 1574 = -a. Let y = i - 438. Is -122 bigger than y?
True
Suppose 2*x + 18 - 15 = g, -18 = -3*x - 3*g. Let z = 0.03 - 0.06. Let m = -0.09 - z. Which is smaller: x or m?
m
Supp