-2*q, 0 = -q - 5*f + 695 + 438. Is 1109 >= q?
True
Let k = -85615 + 85619. Let l = 1 - 1.06. Is l at least k?
False
Let h be ((-6)/(-18))/(2/(-18)). Let p be (-7)/7*(-2 + 4 - h). Let v be 1 + (-5)/(p/(-2)). Is v bigger than -1/18?
False
Suppose -3*w - 6 = 41*c - 38*c, -3*w - 11 = -2*c. Which is smaller: 1/4518 or c?
1/4518
Let j = -696 - -704. Let k = 20 + -13. Which is smaller: k or j?
k
Suppose 210 = 156*s + 134 - 236. Is -227 greater than or equal to s?
False
Suppose 2*k - 2*f - 592 = -f, -5*k + 2*f = -1481. Let m = k - 20494/69. Suppose 2*r - 8 = 4*u, -3*u = -r - 3*r + 11. Are u and m equal?
False
Let q(s) = -s**3 - 9*s**2 - 5*s + 9. Let w be q(-8). Let m be 6*((-3110)/w)/(-1). Let j = -8723/7 - m. Which is smaller: j or -2?
j
Suppose -3*r = 20*p - 22*p + 53, -7*r = -5*p + 131. Is p > 16?
True
Let r(i) = -6*i**2 + 98*i - 33. Let n be r(16). Which is bigger: n or 2/12665?
2/12665
Let w be 3/(-1) + (0 - -86)*1. Let t be 2 + 1/(1/w) + -2. Let d = t - 87. Does d = 5?
False
Let m = -0.082 - 12.918. Let x = 43 - 33. Let k be (x/(-80))/(2/(-4)). Which is greater: m or k?
k
Let a = -265.8 - -265.77. Let f = -6.88 + 7. Let d = f + -0.1. Is a bigger than d?
False
Suppose -5*c - 10 = 0, -131*u + 18538 = -127*u - 3*c. Is u equal to 4633?
True
Let c(b) = b**3 + 9*b**2 + 5*b + 31. Let f be c(-9). Let d be (5 - -1)*15/(315/f). Which is bigger: 8 or d?
8
Let i be (-453)/3322*8332/3. Which is smaller: i or -379?
-379
Let l = 296192/35 - 8462. Is l equal to 0?
False
Let y = 0.238 + -0.223. Let k = -0.123 - y. Is 0 != k?
True
Let x(w) = 358*w - 1766. Let u be x(5). Is 31 at least as big as u?
True
Let i = 0 + 1. Suppose -5*s = 2*m + i, m + 2*s = -0*m. Do 80 and m have different values?
True
Let p = 25 - 21. Suppose o + 67 = -5*y, -3*o + y - 12 = 157. Let n = -59 - o. Is n less than p?
True
Suppose 237 = -4*j + c, -5*j - 244*c - 291 = -240*c. Which is bigger: -2.4 or j?
-2.4
Let y = -23771 + 35870435/1509. Are -1 and y non-equal?
True
Let o = -252 - -7813/31. Suppose 0 = 5*d - 20, -3*m - 46 + 57 = 2*d. Are o and m equal?
False
Let k = 6987365854/29207 + -239236. Let t = k - 7564619/87621. Is t equal to -87?
False
Let a(d) = -d**2 + 11*d + 14. Let u be a(12). Suppose -u*o + 90 = 180. Is o != -46?
True
Let a = -20823/901 + 390/17. Let i = a - -395/2014. Which is bigger: 0 or i?
i
Let j = -24958 - -24962. Let l be 2/(-8)*(-50)/4. Which is bigger: l or j?
j
Let v = -7193 + 532275/74. Is v equal to 1?
False
Let f(b) be the first derivative of b**4/4 - 10*b**3/3 + 6*b**2 - 22*b - 16. Let g be f(9). Suppose 20 = -g*n + 6*n. Are 20 and n nonequal?
False
Let r = 146 - 68. Suppose b + r = -b - x, -b + 3*x = 46. Let i be ((3 - 1) + -1)/((-5)/195). Is b smaller than i?
True
Let o(g) = g**3 - 5*g**2 - 10*g + 13. Let r be o(-6). Let l = r - -237. Is -85 > l?
True
Let r be (-3)/(-9) + 30233/21. Suppose -r = 32*y - 24*y. Is -181 less than y?
True
Let l = -439845/26 + 32295/2. Suppose -5*v + 0*v = 4*d + 3857, -4*d = -3*v - 2295. Let b = v - l. Is 0 less than or equal to b?
True
Let s = -0.1 + -0.1. Let u(v) = -2 + 2*v + 7*v + 10*v - 17*v - 31. Let w be u(32). Is w != s?
True
Let v(z) = -5*z**2 + 4*z + 10. Let f be v(-3). Let a = 43 + f. Are -10 and a unequal?
True
Let g be -2 + 32206/4292 - (-231)/(-42). Which is greater: g or -1?
g
Let s be ((-9)/(-15))/(93/(-155)) + 1. Let t be ((-6)/9)/((-514)/(-3)). Which is greater: t or s?
s
Let m = 19 - -49. Suppose -39*h + 671 = -1981. Is m bigger than h?
False
Suppose 8*u = 14*u - 10*u. Let y be (592/7 - u) + (-28)/49. Let k = -76 + y. Which is bigger: -1 or k?
k
Suppose -5*g = -z + 15 + 1, -3*g = -z + 6. Let y = -251 - z. Is y > 2/5?
False
Let v be -25*(4 + (-90)/25). Let n be 5/v*(-4)/2. Which is bigger: 1/108 or n?
n
Let f = -1/710 - 353/1420. Which is bigger: 170 or f?
170
Suppose z + 475 = 6*z. Let x(q) = -q**3 + 11*q**2 + 22*q - 148. Let m be x(11). Are m and z equal?
False
Let n = 859 - 884. Which is greater: n or -22?
-22
Let h = -5722 + 5688. Let j(i) = -i**3 - 8*i**2 - 5*i - 4. Let z be j(-3). Is h at most as big as z?
True
Suppose -4*o = -j - 13, -58*o + 62*o = 2*j + 22. Is o greater than -43/122?
True
Suppose 0 = -20*l - 39*l + 1612 - 1671. Is l greater than -1/58?
False
Let g = 210 - 90. Let l be (80/(-12) - -7) + (-7948)/66. Let a = l + g. Is -1 not equal to a?
True
Let f = 249 + -243. Let o = -3.9 + 2.4. Let z = -1.4 - o. Is z > f?
False
Let u = -12468 - -12642. Which is smaller: 526/3 or u?
u
Let a(u) = -u**3 + 6*u**2 + 7*u - 5. Let c be a(-2). Let s(z) = 3*z**2 - 43*z + 53. Let r be s(c). Are r and 34/27 non-equal?
True
Let r be 58/6 - 3/(-9). Let k be -72 + (-5)/(r/6). Suppose 5221 = -46*w + 1771. Are w and k equal?
True
Let u be (-88)/(-6)*3/(-2). Let d = -2145 + 2124. Is u at least d?
False
Let g = -6012 + 6010. Which is smaller: g or 246?
g
Suppose -33*b = -51 + 51. Let z = 14825/6477 + -39/17. Let o = -244/1905 + z. Which is smaller: o or b?
o
Let k be 20/200 + 226/40. Let s = -17 - -18. Suppose 4 = v - s. Which is smaller: v or k?
v
Suppose 9 = -34*r + 35*r. Suppose -15*g = -r*g - 18. Suppose g*w + w = 4. Is w != -6/17?
True
Let m be ((-10)/150*5)/(1/(-1647)). Suppose 230 + 143 = -2*w - s, 3*w + 5*s = -m. Does w = -188?
True
Suppose 6*u - 3*u + 2*c + 13878 = 0, u + 4626 = c. Let d = u - -1096364/237. Are d and 0 unequal?
True
Let i = 377/1344 + 1/192. Suppose -12*y = -160 + 64. Is i greater than or equal to y?
False
Let o(q) = -q**3 - 90*q**2 + 90*q - 380. Let t be o(-91). Which is smaller: -4 or t?
t
Let u be (-128)/(-130) + 1 + -2. Let f = 409/732 + -55/244. Is f less than or equal to u?
False
Let y = 855.7 - -144.3. Is y >= -2?
True
Let k = -4036 - -5326. Is 1289 less than k?
True
Let f = 22 + -37. Let t be (0 - (-3)/f)*(-14)/4. Suppose 16 = d + 4*j, 5*d - 5*j = -6*j + 4. Is t at least as big as d?
True
Let s = -6 - -12. Suppose -s + 46 = 2*y. Suppose -190 = -y*k + 15*k. Do 37 and k have the same value?
False
Let w(p) = 4*p**2 + 7*p - 25. Let s be w(2). Suppose -d + s*y + 45 = 0, 3*d + 4*y - 107 = 9. Which is smaller: 42 or d?
d
Let b be 1*(-216)/56 - -4. Is b < 1?
True
Suppose k + 64 = -12*l + 11*l, -2*l = 4*k + 126. Which is smaller: -459/7 or l?
-459/7
Let p(l) be the first derivative of -l**2/2 - 14*l - 20. Let h be p(-7). Let w be 6/4*(-8)/30. Is w equal to h?
False
Suppose -11*a = -8*a. Suppose a = -3*f - 9, 0*f + 392 = 5*r - 4*f. Let g = r + -78. Which is smaller: g or -4?
-4
Suppose -801*z - 15 = -800*z. Suppose -4*m + 62 = -3*o, -2*o + 4*m = -13 + 61. Is o less than z?
False
Let r be 1113/1 + (-315)/(-15) + -15. Which is smaller: r or 1124?
r
Suppose 57*m = 96*m - 351351. Which is bigger: m or 9010?
9010
Let q be (-3740)/(-33154) - 1/11. Let g be 1 + 1*2/(-2). Are g and q unequal?
True
Let k(i) = 3*i**2 + 41*i + 40. Let v be k(-17). Let a = 209 - v. Is -3/25 at most a?
False
Let a = -174 - -373. Let h = a - 201. Let n = -0.2 + -0.8. Which is smaller: h or n?
h
Let c be -61*9/108 + 5 + (-1270)/24. Let d(l) = -l**3 - 3*l**2 - l + 4. Let j be d(3). Is c bigger than j?
False
Let t be (1/(-40))/(13 + 804/(-48)). Which is smaller: t or -1?
-1
Let k be (33/132 + (-2)/(-8))/((-2)/(-4)). Is k at least as big as 18/23?
True
Let z be 7/(175/(-10)) - 276/10. Let v be (z/(-6))/((-56)/84). Suppose -2*d = c + 2*c + 17, -c + 1 = 0. Which is smaller: v or d?
d
Let t = 580 + -518.1. Let u = t + -62. Let r = -0.051 - -0.151. Is r less than or equal to u?
False
Let p = -95.21641 + 0.21641. Which is smaller: 1/60 or p?
p
Let i be (28/121)/(6/(-15)). Let m = i + 22852/39083. Which is smaller: m or 1?
m
Let q be 155/93*(-1)/(-5) - (-10532)/(-31380). Which is smaller: -1 or q?
-1
Let o(l) = 8*l**3 - 11*l**2 + 10*l - l**3 - 2 - 21*l**2 - 3*l**3 + 6. Let z be o(8). Which is greater: 85 or z?
85
Suppose 0 = -2*q + 7724 + 11008. Let g = q + -3306196/353. Let r = 756/8825 - g. Which is greater: -1 or r?
r
Suppose 2*l = -2*z + 35 - 89, 76 = -3*l - 2*z. Let m be (0 - -1)/((-1)/(-4)). Are m and l non-equal?
True
Suppose 3*b - 9 = -3*u, 5*b + 11 = -3*u + 6*b. Let a = -461/238 - -9/14. Which is smaller: u or a?
u
Let p = 11 + -12.1. Let y = 14.151 - 13.3. Let r = 0.951 - y. Which is smaller: p or r?
p
Let i(k) = k**3 + 4*k**2 - 11*k + 9. Let n be i(-6). Suppose -g = -6*g - 5*d - 80, n*g + 76 = 4*d. Which is smaller: g or 3?
g
L