080. Is 1857 >= r?
False
Suppose -u + 2*y = -20361, -4*u - 59*y = -55*y - 81444. Is u < 20361?
False
Suppose 11*h = -4*h + 2790. Suppose -38*v + 36*v + h = 0. Let g = v - 95. Which is smaller: g or -1?
g
Let j = -1928 + 2214. Are j and 8 equal?
False
Let q = -397.12 - 426.88. Is q > -0.21?
False
Let i = 24.528 - -14.472. Is i at most -21/4?
False
Let w = -5.7 + 5.57. Let x = 1.07 - w. Let a = x + -3.2. Is a <= -1?
True
Let w(y) = -y**2 + 6*y + 1. Let i be w(6). Let n be 12/8*i/(-3). Suppose 956*o = 948*o - 16. Which is greater: o or n?
n
Let t be (3 - 2)*160/(-160). Which is smaller: t or 3/2783?
t
Let j = -63 - -122. Let x = j - 47. Let r be (-12)/72 + (-22)/x. Which is smaller: r or -3/4?
r
Let s = -25938/5 + 5181. Suppose -2*z - 20 = 2*l, -2*z - 5*l - 36 + 10 = 0. Which is greater: s or z?
s
Let j = 30.778 + 2.992. Let b = 0.77 - j. Let h = b - -55. Which is greater: -0.3 or h?
h
Let q be 2/(-4) - (-52)/8. Suppose 2*y = 3*z, q*y - y = 4*z - 7. Let l = z - -17. Is 15 at least as big as l?
True
Let f = 53895257/258 + -208896. Which is bigger: f or 0?
f
Let t(f) = f + 10. Let s be t(-7). Let j be 3 - (s - (-2)/(-32)). Let q = -140.3 + 140.3. Which is smaller: q or j?
q
Let d be 1*-1 - (-3114)/28731. Let l = -54/61 - d. Suppose y = p + 9, 421*p - 418*p + 25 = y. Which is smaller: l or y?
l
Let w = -5829 - -2663857/457. Which is greater: w or 0?
w
Let l be ((-17738)/6566)/(4/(-3 + -1)). Is 3 greater than l?
True
Let h(y) = -2*y**3 + 15*y**2 - 2*y + 10. Let j be h(7). Let a be (j - 45)/(-1*1). Which is greater: a or -3/148?
a
Let c be 184/18 + (-12)/54. Suppose 5*l = -5*k + c, k = 3*l - k - 16. Suppose 93 = -r + l*r. Which is greater: 1 or r?
r
Let s be 96853*(-6)/(-30) + (-12)/20. Let v = s - 19815512/1023. Which is smaller: v or 1?
v
Let x(s) = s**2 - 2*s - 8. Let y be x(5). Let q = 32 + -35. Let z be 19 + ((-12)/q - y). Is z greater than or equal to -1?
True
Let o = 1392 - 1393.366. Let i = -1.4 - o. Is i less than or equal to 2?
True
Let m = -18683 + 18683.3. Are 4.367 and m equal?
False
Suppose -l - 106 = p + 45, 3*l = 4*p - 488. Let q be -4 - (24/l - (-1762)/(-546)). Which is bigger: -1 or q?
q
Let w = -624/30889 + -2/391. Suppose 14*k - 16 = -2. Is w equal to k?
False
Let j be 2*(15/6)/(-5). Suppose -o - 9 = 2*c, -9*c = -o - 7*c + 7. Let a be j*(-2)/o*-1. Is -0.01 equal to a?
False
Let j be (9/(90/(-688)))/((-23)/115). Is 344 at most as big as j?
True
Let o(h) = 480*h - 2400. Let f be o(5). Which is smaller: 3/1940 or f?
f
Suppose 0 = -6*a + 4*a - a. Suppose a = 7*c - 3*c + 180. Let i be (-24)/120 + ((-2)/c)/(-2). Which is smaller: i or 1/3?
i
Let z be ((-360)/270)/((-56)/150). Is z less than or equal to 236?
True
Let a(z) = 1329*z + 5042. Let u be a(-4). Is -234 at most as big as u?
False
Let h(x) = x**2 + 17*x + 6. Let z be h(-20). Let l = z + -66. Let w = -6 - -12. Is w at most l?
False
Let r = 3285 - 3291. Is r at least 1.07?
False
Suppose 0 = 5*a + 3 + 2. Let k be 1 - (-102504)/(-4656) - -21. Which is bigger: a or k?
k
Let l = -1086 + 733. Let q = 343 + l. Which is greater: 9 or q?
9
Let n(p) = p**2 + 72*p + 1293. Let j be n(-35). Let y = 0.1 - -0.08. Is j != y?
True
Suppose 4*i + y - 1058 = 0, -72 = -5*i - 3*y + 1261. Which is smaller: i or 262?
262
Let a = 222 - 27. Let w = -187.1 + a. Let l = -9.9 + w. Is l >= -1/3?
False
Let t = 78.62 + -78.1. Which is greater: t or -1/8?
t
Let f(q) = q**2 + 9*q - 42. Let g be f(-22). Let y = -244 + g. Which is greater: y or -6/95?
y
Suppose -11 = -a - 191*p + 187*p, 5*a + 4*p = 7. Which is smaller: a or 1/3942?
a
Let h be (16 + -19)*(4 - -2). Which is bigger: h or 6?
6
Let t = -2403.1 - -2739. Let j = t + -336. Is j != 27/5?
True
Let j be 32/30 - (-4)/(-10). Suppose -4*f - 4*y = -6*y - 26, 0 = 4*f + 2*y - 14. Suppose 5*m + f*t = -255, 5*m + 51 = 4*m + 5*t. Which is bigger: j or m?
j
Let b(x) = x**3 + 14*x**2 - x - 17. Let l be b(-14). Let m be 160/(-50)*84/l. Which is smaller: m or 91?
m
Let w(g) = g**3 - g**2 + 3*g - 2. Let k be w(3). Suppose -5*i - 10 = -5*d, k = 6*i - i + 2*d. Let h be 0*i/9*1. Which is smaller: 2/11 or h?
h
Let l be (-1)/(-6)*(-84)/(-14). Which is bigger: 24/1433 or l?
l
Let i = -1076.6 - -362.4. Let o = 714 + i. Does o = -0.31?
False
Suppose -4*z = 5*x + 17, -51 + 67 = -x - 5*z. Which is bigger: 5/827 or x?
5/827
Let p = -3543 + 3542. Is -21.21 not equal to p?
True
Let w be ((-4)/(-5)*(-3190)/(-4))/(-1). Let u = 639 + w. Which is smaller: u or 3/44?
3/44
Let b(f) = -414*f + 4327. Let l be b(14). Which is smaller: -1464 or l?
l
Let u = 139 - -197. Let o be (4515/63)/43*(6/(-15))/(-1). Which is bigger: o or u?
u
Let m(c) = 73*c**3 - 19*c**2 + 15*c - 11. Let b(g) = 36*g**3 - 9*g**2 + 7*g - 5. Let u(r) = 13*b(r) - 6*m(r). Let w be u(-1). Which is smaller: -2 or w?
w
Let g(r) = -19*r - 23. Let p be g(-16). Suppose -10*m + p = -409. Let b = m - 69. Is -2/43 at least b?
False
Let z = 0.29418 - 0.59418. Let x be (-5)/2 - 9/6. Which is bigger: x or z?
z
Suppose -45*v + 116*v = -8804. Which is smaller: -125 or v?
-125
Let q = 3053 - 3030. Is q at least 8?
True
Let x(m) = 2*m**2 + 167*m - 296. Let h be x(-84). Which is bigger: h or -217?
h
Let x(i) = 28*i - 673. Let m be x(31). Is 178 greater than or equal to m?
False
Let a = 1979 + -1592. Is a >= 1?
True
Let i(k) = -2*k**3 - 3*k**2 + 21*k + 53. Let n be i(-3). Suppose -1859 - 2119 = -n*m. Which is bigger: 233 or m?
m
Let q = 54 + -46. Suppose 6*p + 2 = q. Suppose -j + p = 5*f, f + j - 1 = -0*f. Does f = 3/28?
False
Let x be ((-2)/4)/((-1742)/152 - -10). Let h = x - -7054/1443. Which is greater: h or 5?
h
Let p be (16*477)/8 - 0. Suppose 0 = -9*o - p + 9. Which is smaller: -106 or o?
-106
Let y = -1008 + 1009. Which is smaller: 36/107 or y?
36/107
Let r be (-30)/1512*((-4)/30)/((-56)/(-126)). Which is bigger: 0 or r?
r
Let k(u) = 18*u**2 - 117*u + 56. Let f be k(6). Which is greater: f or -169.4?
f
Let l be 5/12*(-1200)/(-6). Let b(d) = -24*d**2 + 149*d - 61. Let y be b(5). Are l and y equal?
False
Suppose -8*o - 2*v = -3*o - 64, 5*v = 4*o - 38. Suppose -4*k + k - o = 4*f, -5*k - 9 = 3*f. Are k and -20 equal?
False
Let x = -217 - -347. Let i = -603 - -607. Suppose 9*f - i*f = x. Is 26 > f?
False
Let v be 1/4*-4 + 4. Suppose 6*z - v = 3. Which is bigger: -85 or z?
z
Suppose -13*k + 8*k = -495. Let w be (7/3)/((-3)/k). Let j = 87634/3 - 29212. Which is bigger: w or j?
j
Let q = 30 + -117. Suppose t = -5*o - 66, 3*t - 6*o + 7*o = -254. Which is smaller: t or q?
q
Let y be 56/126 - 397256/72. Is y < -5518?
False
Suppose 0 = 5*n + 2*a + 255, 5*a + 64 = -n + 13. Which is bigger: -403/8 or n?
-403/8
Let b(d) = -203*d + 2. Let v be b(2). Let k be (15/(-9))/(-5)*(7 - v). Let w = 148 - k. Which is greater: 12 or w?
12
Suppose -3*i = -4*v + 8, -5*i - 370*v + 364*v + 12 = 0. Which is greater: i or 69/127?
69/127
Let b be (-2)/6 + (-11)/(66/28). Let n(g) = -g**2 - 10*g - 16. Let f be n(b). Let j be ((-3)/f)/((-580)/(-24)). Is j at least as big as 1?
False
Let z = -1.91 - -1.61. Suppose -s + 1 + 2 = -2*n, s - 3 = -2*n. Suppose -s*t - 9 = -48. Which is bigger: z or t?
t
Suppose 5*m = -4*r - 2, 2*m + 4*r = m - 10. Suppose -96 = 4*g + m*g. Let q be -5 - 84/g - 1/(-2). Does q = 0?
False
Let f = -9383241585563/485463926248 - -1/175194488. Let u = f - -329/17. Which is bigger: 0 or u?
u
Let d = -0.48 + 0.55. Let r = -50.93 - d. Let a = -48 - r. Which is bigger: -8 or a?
a
Let k(h) = 5*h**2 - 13*h - 5. Let n be k(-2). Which is bigger: n or 37?
n
Let m = -6511/175 - -261/7. Suppose 12 + 8 = 5*t. Let l be (-7)/t + 2 + 2/(-8). Which is bigger: m or l?
m
Let z = -6389/5 + 1279. Let s = 35 + -41. Does z = s?
False
Let o be ((-13)/(-2))/(21/(-36)). Let b be 5/1 - 12/(-3). Suppose -109 + 1 = b*t. Which is smaller: t or o?
t
Let k = 536 - 535. Let p = 139 - 209. Which is smaller: p or k?
p
Let s = -28389 - -32767. Is 4378 at most as big as s?
True
Let g = 45 - 48. Let y(f) = f**2 - 8. Let m be y(g). Let j be (2/20)/(m/2). Is 1/3 greater than or equal to j?
True
Let a = 21.6 - 21.4624. Let q = a - 125.5376. Let r = 125 + q. Which is bigger: r or 0.3?
0.3
Suppose 38*s + 1088 = -7781 - 593. Which is smaller: 14 or s?
s
Let r be (6*2/(-1890))/((-4)/161583). Let x = -513/2 + r. Let s be ((-2)/(-2) + -2)*1. Is x != s?
True
Let a = -811636/13326771 + -5/18957. Is -1