ose 11*b = 9*b + 184. Let y be (-2461)/b*2*2. Is y not equal to -106?
True
Let j = -444.8833 - 0.1167. Is j at least -1/5?
False
Let t = 29530 + -148107/5. Let r = t - -92. Are 10 and r unequal?
True
Let s = 229 - 53. Is 172 <= s?
True
Let u be (-100)/25 + 5763098/1440773. Let g = -1713077117/475455090 - u. Let x = g - -40/11. Which is greater: x or -1?
x
Suppose 3*n = 8*n - 70. Let r = n + -14. Which is bigger: r or 2/11?
2/11
Let b be 6/(-1) - 12078/(-2007). Which is smaller: b or -1?
-1
Let p be (-6)/9 + (-47)/(-3). Suppose -p = -3*c - 2*c. Is 9 greater than or equal to c?
True
Let w = -12 + 24. Let j be (0 + -2)*-3*(-14)/w. Is -19/3 greater than j?
True
Let k = -202 + 193. Is -128/13 greater than or equal to k?
False
Suppose 0 = -8*u + 1 + 31. Suppose -a + r + r + u = 0, a = 4*r + 8. Suppose -4*x - 5*p = 14 + 3, 2*p - 13 = 5*x. Is a less than x?
False
Let c(l) = -l**2 - l. Let g(b) = -b**2 - 3*b + 18. Let y(z) = 2*c(z) - g(z). Let w be y(0). Is w < -18?
False
Let r = 196 - 194. Suppose 2*p - r = -5*l, l + 2 = 2*p - 0*p. Let s = 365/8 + -20789/456. Which is bigger: l or s?
s
Suppose 0 = -5*y - 5*i + 30, -3*i - 4 = y - 4*i. Is 15/11 bigger than y?
True
Let r = 7.24 + -7. Let p = -362/25 + 6904/425. Let h = p - 124/51. Are r and h nonequal?
True
Let x be 3 + (-4)/(-9) + (-6364)/387. Let o = -811/3 - -257. Is o > x?
False
Let m be 7/((-7)/2)*-1. Let u(x) = -x**2 + 6*x. Let a be u(5). Let v = m - a. Is -4 > v?
False
Let l = -984 - -984. Let x = 1/855 + 559/9405. Do l and x have different values?
True
Let o be (-4)/(-154)*25 - (-4)/(-14). Let b = -1 + 0. Which is bigger: b or o?
o
Let l = -0.8 - 3.2. Let f(s) = -s - 6. Let a = 14 + -20. Let x be f(a). Is x greater than l?
True
Let x be (-4)/((4/2)/4). Suppose 22 - 2 = 2*d. Let a = d + -18. Does x = a?
True
Let q(i) = -i**3 - 3*i**2 + i + 4. Let r(p) = p**3 - 7*p**2 + 5*p + 3. Let u be r(6). Let v be q(u). Let c be (3 + -10 + 75/9)*3. Which is greater: v or c?
c
Let p = 21 - 20.89. Let k = 8.11 - p. Let o = 488/5 - 98. Are k and o nonequal?
True
Let o = -2270.9 + 2271. Does -370 = o?
False
Suppose 5*g - 22 = 58. Let i be ((-24)/(-60))/((-2)/80). Let m = g + i. Which is smaller: 1/13 or m?
m
Let t = -4/17 + 37/85. Let h = 16 + -6. Let o be 2/4 + (-5)/h. Do t and o have the same value?
False
Let z(i) = i**3 + 23*i**2 + 36*i - 24. Let x be z(-21). Is 98 greater than or equal to x?
False
Let z = -15 - -15.1. Let c = 7.2 + -7.6. Which is smaller: z or c?
c
Let i = -55 + 40. Let k be (2*3/(-27))/(i/9). Which is smaller: 1 or k?
k
Let j = 29 + -25. Let p = 4 - j. Let l = 2.6 - -0.4. Which is smaller: l or p?
p
Let i(n) = -n**3 + 9*n**2 - 7*n - 9. Let u be i(8). Let f = -69/11 - -2382/385. Is f >= u?
True
Let o(u) = -u**2 - 9*u - 15. Let w be o(-6). Let g be (2*(-1)/w)/(55/(-22)). Let q be (-6)/(-27) + (-7)/(-9). Is q > g?
True
Let i(c) = -c**3 + 23*c**2 - 29*c + 93. Let z be i(22). Is z < -64?
False
Let s = -289 - -290. Are s and 4 non-equal?
True
Let s(t) = -55*t**3 - t**2 + t - 6. Let b be s(-3). Suppose 3*r - 6*r = b. Let q = r - -1481/3. Which is smaller: q or 6?
q
Let c(d) = 9*d**3 + 2*d**2 + 2*d + 1. Let n be c(-1). Let t = 942 + -946. Which is smaller: n or t?
n
Let u = -812543/1120 - -5078/7. Is u > -1?
True
Let o = -370.1016 - -0.1016. Is 0 less than o?
False
Suppose 5*r - 25 = 4*p, -4*p - 3*r - 22 = p. Is 79 >= p?
True
Let z be -10*(2 + (-16)/10). Let n be 51 + 0 - (7 + z). Suppose -2*b = -2*p - 16, 4*b + b - n = 3*p. Which is smaller: b or 1?
1
Suppose 8*g - 3760 = -8*g. Is g at least as big as 233?
True
Let q(m) = -m**2 - 41*m - 70. Let c be q(-37). Which is greater: c or 3?
c
Let t(y) = 2*y - y**2 + 4*y + 2*y**2 + y. Let x be t(-6). Let n be 39/(-33) + x/(-33). Is n not equal to -7/2?
True
Suppose 2*j - 5*z + 27 + 0 = 0, -3 = 3*z. Let c = 24 - 19. Suppose -3*k + 34 = -c*k. Is j not equal to k?
True
Suppose m + 2*a = -m - 34, -a - 53 = 4*m. Let y be 278/(-792) + (-3)/m. Let v = 1247/396 - y. Which is bigger: v or -2/5?
v
Let r be ((-9290)/(-125))/(4*753). Let m = r - -1/502. Let l(y) = -3*y - 5. Let b be l(-2). Is m equal to b?
False
Let x be 33 - -6 - (2 + -3). Let u be -9 + 12 - x/14. Which is bigger: u or 2?
2
Suppose -2*u = -2*j - 12, 16 = -j - 3*j + 2*u. Which is smaller: -2/3 or j?
j
Let a(h) = -h + 8. Let j be a(8). Let b = -5/4 - j. Let t = -2 + 1. Is b < t?
True
Suppose 0 = 2*q - 4 - 4. Suppose 11 = q*r - 9. Let o = -0.0902 - -0.2902. Which is smaller: o or r?
o
Suppose 8*x + 145 = 17. Suppose 0 = r - 3*r - 3*k - 45, 60 = -3*r - 3*k. Is r less than x?
False
Let r = 6 + 18. Let i(j) = -j**3 - j**2 + 5*j - 4. Let f be i(-3). Which is bigger: f or r?
r
Let q be (0/(4/(-12)*3))/3. Let g be 2/(-24)*(-3 + 4). Is g at most q?
True
Let v = 27812592/519167 - 23346/433. Let n = -2/109 + v. Which is smaller: n or -1/5?
n
Let d be 0/(-2*1 - -1). Let s = -4 - d. Let h = 239 + -243. Are s and h non-equal?
False
Let t = -107025/47 - -2277. Is -7 < t?
True
Let t = 1563 - 1557. Let d = 11 - 6. Which is smaller: t or d?
d
Let d = 168 + 30. Let m be (-3)/(-2)*4/d. Let g(q) = -q**2 - 4*q - 3. Let y be g(-3). Is m at most y?
False
Let f be ((-10)/6)/(2/(-6)). Suppose 3*l = 7 + f. Suppose -5 = -5*h, -l*h - 2 = 2*c - 0*h. Is c at most -3?
True
Let u(g) = 3*g**2 - 60*g + 57. Let v be u(19). Is v less than -559?
False
Let g = -2077/35 + 301/5. Let t(h) = 3*h**3 - 1. Let k be t(1). Is g at most as big as k?
True
Let b be (25 - 3)*(-261)/(-18). Is b at least as big as 318?
True
Let o = 3 + -6.8. Let s = -0.8 - o. Let m = 18/7 + -40/21. Is m < s?
True
Let j = 45 - 87. Let c = 124/3 + j. Let v = 8 + -8. Is c at most as big as v?
True
Let u be ((-18)/(-4))/((-273)/(-130)). Which is bigger: 1 or u?
u
Let l be -2 - -7 - 1287/253. Let r = -2 - -1. Is l bigger than r?
True
Let p = 111.1 - 111. Do 1/5 and p have the same value?
False
Let x be (-6 + 4)*(2 + -8). Are x and 9 non-equal?
True
Suppose m + 4*y = -12, 0 = 3*m - 5*m + 2*y + 6. Suppose 3*s - f + 40 = -3*f, s - 5*f + 2 = m. Which is bigger: -13 or s?
s
Let t be (11/(-2) + 0)/(79/(-5846)). Is 407 > t?
False
Suppose 3*p + 835 = -4*w, -2*w - 512 = -504. Which is smaller: -1364/5 or p?
p
Let q be (2/3)/((-2)/(-21)). Let o be 1/((-14)/18 - 2/(-3)). Let w = q + o. Is -8/9 >= w?
True
Let s = 211.6 - 74.7. Let i = -137 + s. Which is greater: -7/4 or i?
i
Let b = -21 - -21. Which is smaller: b or 3/572?
b
Let g = -4/4155 + -99508/220215. Which is bigger: 1 or g?
1
Suppose 0 = o - 2*o - 4, 3*i + o - 2 = 0. Suppose 2 = -i*a + 10. Let x be 1/(2/4*a). Which is bigger: x or -4?
x
Let n be (92/(-138))/(14/549). Which is smaller: n or -25?
n
Suppose -2*c - 3*g = -46, 0 = c - 3*g - 7 + 2. Let l be (-14)/119 + (-49)/c. Which is smaller: -1/3 or l?
l
Let t(g) = -34*g + 135. Let a be t(16). Which is greater: -408 or a?
-408
Let k = 149 + -151. Are 78 and k nonequal?
True
Suppose 3*t - 3*k = 81, 4*t - 2*k + 0*k - 108 = 0. Let g be 3/105 + t/(-63). Which is smaller: -0.5 or g?
-0.5
Suppose 48 = -x - 31. Is -77 greater than or equal to x?
True
Let t = -26 - -207/8. Let v be 2 + (-13)/(-6) - 4. Let s = v - 5/12. Is s greater than or equal to t?
False
Let v be (626/14)/(-1) + (-24)/84. Which is smaller: v or -41?
v
Let d = 7 - 22. Let k be 7/(-2)*20/5. Which is smaller: d or k?
d
Let l = -188 - 38. Let g = 6779/30 + l. Which is smaller: g or -1?
-1
Let v(y) = 11*y + 0*y**2 - 2*y - 4*y - y**2. Let j be v(5). Are j and -5/21 non-equal?
True
Let l be 3/9 - 20/15. Is 7 at least l?
True
Let o(i) = 5*i - 2. Let r be o(2). Let j be 4*2*(-2)/r. Is j equal to 2?
False
Suppose -227 = -11*o + 829. Which is greater: o or 93?
o
Let l be ((-2)/(-2))/(8/(8 + -944)). Is -112 smaller than l?
False
Let m = 16 + -9. Let s be (-4)/(-6) + (-128)/(-6). Let z be (-4)/s - 9/11. Which is greater: m or z?
m
Suppose 304 = -o + 867. Let m be o/630 + 12/(-42). Let b = -1/126 + m. Which is bigger: b or 0?
b
Let d = 1 - 3. Let i = -249 - -238. Which is smaller: d or i?
i
Let o = 513 - 341. Is 2/9 smaller than o?
True
Let i = 2750 - 2750.02. Which is smaller: -1/17 or i?
-1/17
Let c be 6/(-3) - 2/(-1). Let d = 0.1 + -0.04. Let t = 0.94 + d. Which is smaller: c or t?
c
Let m be (552/(-9430))/(4/(-10)). Which is greater: m or 0?
m
Let a = -1 + 1.15. Let v = 4537 + -4539. Which is greater: v or a?
a
Let j = -569 +