*b = -k - 132. Let h be (-6)/(-5)*(-20)/(-6). Is h less than b?
True
Let x = 1 - 0. Let n = 5471 + -82033/15. Let i = n - 154/75. Do i and x have different values?
True
Let b be (9 + -36)*-11 + 4. Let h = 330 - b. Is h > 1?
True
Let v = 33 - 32. Let h = -5323/80 - 182/5. Let t = h + 103. Which is greater: v or t?
v
Let p(v) = 2*v**2 + 10*v - 12. Let w be p(-6). Suppose w = 31*m + 9*m + 1640. Let q = -126 - -87. Which is greater: m or q?
q
Let a(m) = -32*m + 370. Let q be a(18). Which is bigger: q or -237?
q
Let r = -14737 - -5202155/353. Let k = -580/7413 + r. Suppose 2*f = -2*f - 4. Does f = k?
False
Let b be -3*1 - (-926730)/309120. Which is bigger: b or 1?
1
Let u = -553 + 550. Let g(r) be the third derivative of r**6/120 - r**4/12 - r**3/6 - 2*r**2. Let c be g(2). Which is smaller: u or c?
u
Let i = -26.004 + 30.086. Is -2/3 != i?
True
Suppose 5*k = -49 + 314. Suppose k = -d + 2*d. Suppose -3*v = -2*v - 52. Which is smaller: v or d?
v
Let b be 2/4 - 5005/(-14). Let q = b + -308. Which is smaller: q or 2?
2
Let o be ((-66)/(-24) - 4)/((-1)/4). Suppose 4*q + 5 = o*f + 1, -q = 2*f + 1. Is -5/46 not equal to f?
True
Let y(j) = 31 - j**2 - 17*j + 11*j**2 - 5*j**2 - 6*j**2. Let l be y(-18). Let m = 16 - l. Which is greater: m or 12?
12
Suppose -19*a = -16*a + 4*p + 210, a + 5*p = -59. Is a <= -69?
True
Let d = 7383 - 7380. Is d at most as big as 20/7?
False
Let b(c) = -7*c**2 - 16*c + 47. Let m be b(6). Let u = -382 - m. Let a(k) = -11*k - 3. Let f be a(7). Is u > f?
False
Let m(c) = -30*c + 59. Let r be m(2). Which is smaller: -2/6411 or r?
r
Let z be ((-156)/18 + -5)/((-1902)/(-252) + -8). Which is greater: z or 31?
31
Let c be (2 - 2)/(130 - 124). Which is bigger: -3/865 or c?
c
Let p be 3/10*40/496. Let j = p - 393/868. Which is greater: j or -1?
j
Let p = 1727/5 - 53777/155. Which is greater: -3 or p?
p
Let o = -5 + 4.6. Let k = o - -0.3. Let b = -2.4072 + -5.5928. Which is bigger: b or k?
k
Suppose 24*v - 9 = -j + 27*v, -4*v = 8. Suppose 0 = 5*b, -5*b - 165 = -5*a + 10. Suppose -j*c - 5*s = a + 32, 4*c + 76 = -4*s. Is c <= -14?
True
Let v = -3995 - -1514113/379. Which is smaller: 0.1 or v?
v
Suppose 0 = -2*h + 5*l - 35, 3*h = -l + 4*l - 39. Which is bigger: h or -206/21?
-206/21
Let t = -3.4 - -32.4. Let f = -14 + t. Let l = f + -14.98. Which is bigger: 0.2 or l?
0.2
Let w = -6 + 60/11. Let v be 2/(-1) - 1 - -32. Let p = -31 + v. Which is greater: w or p?
w
Let d be 291/2 - (6771/(-74))/61. Is 733/5 > d?
False
Let f = -21268 - -21264. Let l = 52 + -99. Which is greater: l or f?
f
Let s = -820837/1624 + 3538/7. Which is bigger: -1 or s?
s
Let j = 272 - 177. Suppose 16*z = -3*z - j. Which is bigger: z or -2?
-2
Let w = 113584 - 2609397/23. Let l = w + -132. Let a be ((-2)/8)/(4/(-16)). Is a greater than or equal to l?
True
Let u = -13.364 + 0.264. Let y = -9.1 - u. Let l = 0 - 0. Is y greater than or equal to l?
True
Suppose -6*f + 646 = -1430. Let x = 2059/6 - f. Is -3 not equal to x?
True
Suppose 29*z + 5*z = -7*z. Let l be (-1)/2 + (-1032)/(-16). Let a = -767/12 + l. Which is smaller: z or a?
z
Let t = -24 + 26. Let p be -5 + -3 + t + 1. Let m be (60/(-13))/(3 + -2). Is m at least as big as p?
True
Let l = -157/8 - -23401/1192. Let n = 2828/447 + l. Is 7 equal to n?
False
Suppose 0 = -n - 4*i - 4, -5*n - 4*i = 36. Let l be (-86)/n + 15/12. Which is greater: 11 or l?
l
Let z = 297.6477 - -0.4523. Let g = 297 - z. Let k = 3.8 + -3.9. Which is bigger: k or g?
k
Suppose -15*g = 2*y - 17*g - 4, 0 = -2*y + g + 4. Suppose 3*r - 13 = 4*s, 0*r + y*s = 5*r - 31. Which is bigger: 11 or r?
11
Let l(y) = 443*y - 4063. Let u be l(4). Which is bigger: -2293 or u?
u
Suppose -6*v + 44 - 26 = 0. Suppose 6*h - 10*h = 0, -5*h - 3 = -v*i. Is i greater than or equal to -5/51?
True
Let g be 2/19 - 527/1938 - (-5)/(-42). Which is smaller: g or -0.1894?
g
Let a = -45.9 - 9.1. Let x = -55 - a. Let j = -7827/25 - -313. Which is bigger: j or x?
x
Suppose 5*n = -2*h - 3*h - 5, -4*h + 20 = -4*n. Suppose h*g - 5*g = -g. Which is bigger: -2/9 or g?
g
Suppose -3*j = -d - 4*j + 8, -3*d + 31 = 4*j. Let x = -3377/12 - -281. Is d greater than or equal to x?
True
Let v = -120.4631 + -1.1169. Which is smaller: v or -1?
v
Let h = -2114.56 + 2117. Is h equal to 1.2?
False
Suppose -8*q + 50 = -10*q. Let n = -73/4 - 237/44. Which is greater: n or q?
n
Let a = -231 - -9931/43. Let f(m) = m**3 + 7*m**2 + 20*m + 84. Let s be f(-6). Which is bigger: s or a?
s
Suppose 15*i = 26*i - 19*i. Which is smaller: i or -31/26?
-31/26
Let p(a) = 11*a - 33. Let l be p(16). Let s be l/77 + 3*2/(-2). Is 0 < s?
False
Let i(r) = 8*r + 543. Let s be i(-42). Let b = -184 + s. Let c = 0.1 - -0.1. Is c not equal to b?
True
Let v be 108/198 - 246/(-33) - 7. Which is smaller: 1/51 or v?
1/51
Suppose -6*r + 610 = 2*x - 2*r, 3*x - 2*r = 899. Let l be (-45537)/x - 4/(-14). Are l and -150 equal?
False
Suppose -68 = -20*r - 88. Are r and 2/6025 equal?
False
Let w(b) be the second derivative of -b**4/2 + b**3/6 - b**2/2 - 7*b. Let x be w(3). Let g be -2 + (x/(-12))/((-2)/(-6)). Which is smaller: 1 or g?
1
Let z = 6553 + -6553.1. Are -179/9 and z nonequal?
True
Suppose -116*b + 1624 = 149*b - 62*b. Let r be (56/6 - 0)*3. Let g = r - 17. Is g >= b?
True
Let h(i) = -2*i + 47. Let c be h(-2). Suppose 0 = -2*v - l + 114, 52 = v - 3*l + l. Is c less than v?
True
Let x be (4/(-35))/(78/195). Let k = 1 + -1.6. Let u = -0.65 - k. Is u < x?
False
Let z be ((-500)/(-184))/5*(-1536)/(-120). Which is smaller: z or 8?
z
Let r = 2393.9 + -2394. Is r <= 198?
True
Suppose 3*m + 173*z = 172*z - 250, -5*m + 3*z = 412. Which is greater: -1505/18 or m?
m
Let b = 640.7 + -420.69. Let y = -220 + b. Which is smaller: -2 or y?
-2
Let d = -14352347/1127 + 12735. Which is smaller: -1 or d?
-1
Let k = -201 - -209.7. Let m = 5.5 - k. Let l = -1.9 - -1.8. Is l > m?
True
Suppose 56*y + 3*m = 54*y - 349, -4*m + 4 = 0. Which is smaller: -202 or y?
-202
Let r = -49 - -83/2. Let i(x) be the first derivative of x**4/4 - 7*x**3/3 - 7*x**2/2 - 15*x - 8. Let y be i(8). Which is smaller: y or r?
r
Let r = -815 - -814. Let g be -8*((-14)/(-21) - (-3377)/(-5052)). Is g less than or equal to r?
False
Let t be ((-460)/14145)/(3/387). Is t greater than -4?
False
Suppose -129 + 63 = -3*c. Let h be (667/(-23))/(c/4). Is -6 less than or equal to h?
True
Let c be (-2 - -4)*1/(-2). Let s = -99 - -139. Let x be ((-8)/s + 0)*(-1)/(-4). Is x >= c?
True
Let j be 1/(2/1 - 33). Let w = -487 - 233. Let r = w - -720. Which is smaller: r or j?
j
Let h be 0/((-3)/(12/(-8))). Suppose h*c = 5*o - 3*c + 104, 2*o + 4*c = -52. Is -22 greater than or equal to o?
True
Let z = -2.62 - -2.09. Let x = z - 1.47. Which is smaller: 2/41 or x?
x
Let f be ((-585)/(-260))/(5/144). Is f bigger than 65?
False
Let h(v) = -54*v + 485. Let s be h(9). Which is greater: -1/1045 or s?
-1/1045
Let j be 4 - (-5 + 3 - 214). Let d be j/66*2*27/30. Which is greater: d or 0.1?
d
Let c(y) = -72*y**2 - 6*y + 6. Let i be c(1). Let s = i - -77. Do 5 and s have the same value?
True
Let m = -0.14759 - 1346.85241. Which is greater: 3 or m?
3
Suppose a - 12 = -0*s + 2*s, -7*a = -2*s + 24. Are -415/43 and s equal?
False
Let s = 1321/5272 - 3/5272. Which is bigger: 2/35 or s?
s
Let u(c) = -2*c + 5. Let s = 124 - 85. Suppose 10*x = -3*x + s. Let v be u(x). Is 0 greater than v?
True
Suppose -o + 14 = l, 4*l + 0*l + 88 = 4*o. Let u(s) = -59*s**2 - 414*s - 9. Let j be u(-7). Let w be 1/(-2)*j*o/18. Which is smaller: 6 or w?
w
Let z = -151 - -150. Let k = -2/953 - -1123/81005. Which is greater: z or k?
k
Suppose -226*r - 147*r + 87*r + 17155 = 79*r. Suppose 0 = l - 4*m - 35, 194 = l + 3*l + 2*m. Is l less than or equal to r?
True
Let i be -2 + 10/22 - 138/(-253). Which is greater: i or 47/614?
47/614
Let o = -3602 + 1190. Is -2411 smaller than o?
False
Let v = -3629.9 - -3630. Is 1421 at most as big as v?
False
Let g(r) = -13*r + 21. Let f be g(-22). Let k(l) = -1 - 150*l - 145*l + f*l - l**2. Let s be k(12). Which is greater: s or -16?
s
Suppose 2*b + m = -379, 0 = 5*b - 5*m + 1444 - 519. Do b and -180 have the same value?
False
Let m = -105 + -6. Let n = m + 100. Which is bigger: -9 or n?
-9
Let s = -0.05508 - -0.10508. Is 20.9 >= s?
True
Let d = 0.9 + 0.1. Suppose -7*l - 17 = -45. Let h be 3/l + (-8)/((-288