e c + 3 + 5 - 2. Which is bigger: 16/9 or s?
s
Let c be (-184)/56 - (-2)/7. Let f(u) = u**3 + 4*u**2 + 5*u + 3. Let g be f(c). Let t be (-5 - g)/1 + 1. Which is smaller: -2/5 or t?
t
Let t be 7/21 - (-38)/(-6). Let n be t/(-8)*(-2 + (-25)/(-15)). Let u = -144/41 + 1/82. Which is bigger: n or u?
n
Let c = 287/11 + -1635/77. Is 1 greater than or equal to c?
False
Let x(f) = -2*f**3 - 3*f**2 - 2*f - 3. Let i be x(-3). Let r be (i/(-100))/(12/10). Let p = -0.99 - 0.01. Which is smaller: r or p?
p
Suppose 0 = 3*f - f - 4. Let g = -2 + f. Let t = 920.99 + -921. Is t bigger than g?
False
Let v be 2142/12 + (-2)/(-4). Suppose v = 3*x - 169. Is x smaller than 115?
False
Suppose 3 = -5*t - 3*j + 50, -4*j = t - 23. Let b be (4 - t) + (-24)/2. Let l be 6/b + (-4)/(-10). Which is greater: 1 or l?
1
Let g = -5305 - -31939/6. Is 17 greater than g?
False
Suppose 0 = -3*o - 5*d + 32 - 9, 3*d = 3*o + 9. Let c be (-8)/20*(-5)/23. Which is smaller: o or c?
c
Let y(h) = -h**2 + 25*h - 22. Let b = 196 + -172. Let z be y(b). Is 11/6 smaller than z?
True
Suppose -5*x = -4 - 1. Suppose k - 24 = -5. Let p = -58/3 + k. Is p < x?
True
Let c = 17 + -15.1. Let r = -3.9 + c. Let o = -0.01 + 1.01. Which is smaller: r or o?
r
Let g = -10.8 - -5.7. Let c = 6.9 - 11.9. Let o = c - g. Is 1/13 at least o?
False
Let x(p) = -5*p + 58. Let z be x(20). Let o be (-2)/7 + 114/z - 1. Is o <= -3/4?
True
Let s(u) = u**3 + 3*u**2 - 12*u - 18. Let x be (33/6 - 2)*-2. Let v be s(x). Is -131 not equal to v?
True
Let u = -185 + 200. Which is smaller: 18 or u?
u
Let m = 4205 + -567683/135. Is 1 smaller than m?
False
Let f = -22416/17 + 163412/187. Let y = -444 - f. Does 0 = y?
False
Suppose 5*k = -3 - 2. Suppose -17 = -3*l + n, 7*l = 2*l - 3*n + 19. Suppose -l*w - 29 - 6 = 0. Is w at least k?
False
Let o be ((-42)/7)/12 + (-3)/(-2). Is o < -4/15?
False
Let o(i) = i**3 - 6*i**2 - 6. Let f be o(6). Let w(c) = -c**3 - 5*c**2 + 3*c - 13. Let v be w(f). Which is greater: v or 3?
v
Let k = -139 - -154. Let r be (k - 1) + (-57 - -58). Let h be (-2)/3 + (-100)/(-6). Which is smaller: h or r?
r
Let z be (-4*10/(-16))/5. Is z < -3/11?
False
Let t be 8/(-20) - (-27)/5. Let u(x) = -x + 9. Let f be u(t). Which is greater: 5 or f?
5
Let f be (-582)/(-1596) - 2/7. Let s = f - -8/19. Is s equal to 7?
False
Let r = -366 + 366. Is r >= 2/1591?
False
Let k(n) = n + 1. Let b be k(-1). Suppose -4*m + 4 = -b. Which is greater: m or -1.2?
m
Let p = -0.2 - -1.4. Let a = -32 + 33. Let h = a - p. Which is smaller: 4 or h?
h
Suppose p = 2*p + 14. Let o(x) be the third derivative of x**6/60 + 2*x**5/15 + x**4/12 - 5*x**3/6 + 4*x**2. Let w be o(-4). Is p >= w?
False
Suppose -15 - 3 = 2*j. Let a be 114/36 + (-2)/12. Suppose 0 = -a*b + 3 - 27. Is b greater than j?
True
Suppose 3*o - 34 - 2 = 0. Let x be 8/o - 2/3. Is -1/36 greater than x?
False
Let r = -0.04 - -3.04. Let q = r - 3.2. Let v be 16/(-40)*5/(-4). Which is greater: q or v?
v
Let z(n) = -n**2 + 8*n - 12. Let w be z(5). Suppose -w*g + g = 0. Suppose 3*u + 17 - 5 = g. Is u at most as big as -3?
True
Let j be 2/6 - 14/42. Let k be -2 + (j - 24/(-10)). Which is greater: -2 or k?
k
Let l(f) = 35*f - 16. Let m be l(4). Is m less than or equal to 124?
True
Suppose -3*d + 4*y = d - 8, -3*d + 2 = y. Let q be ((-70)/(-25) - 2)/(0 + 4). Which is smaller: q or d?
q
Let s be (2/(-2))/(6/42). Let x be (6/s)/(3/21). Suppose 5*i = 5*u + 5, -2*i + 3*u - 5 = -7*i. Is x bigger than i?
False
Let r = 29.066 + -0.066. Let h = 29 - r. Let x = 0.1 - 0.15. Which is greater: h or x?
h
Let u = -0.0542 - 33.9458. Which is smaller: 2 or u?
u
Let i(o) = -6*o**2 + 8*o - 1. Let b be i(2). Let j(k) = -1 - k**3 - k**3 + k**3 - 9*k**2. Let s be j(b). Is -1/4 less than or equal to s?
False
Let c = -7 + 15. Let b = c - 8.6. Let i = b + 0.56. Is i > -1?
True
Suppose 2*v = -6 + 30. Suppose -14*t - v = -10*t. Which is bigger: t or -4?
t
Let t(r) = 9*r**2 - 2*r**2 - 8 - 25 + 9. Let f(v) = 8*v**2 + v - 25. Let a(l) = 6*f(l) - 7*t(l). Let y be a(9). Is y less than or equal to -10?
False
Suppose -5*v = 28 + 82. Let i = v - -31. Suppose -4*o + 3*y = -23, i = -4*o - 4*y - 3. Which is greater: o or 8/7?
o
Let j(f) = 4*f**3 - 3*f**2 + 4*f - 4. Let n be j(2). Let w(r) = r + 25. Let x be w(0). Which is bigger: x or n?
x
Let a(k) = -7*k**2 - 381*k - 157. Let m be a(-54). Let j be 2 - (5 + -1) - 1. Is m at most as big as j?
False
Let l be 4/(-10) + (-15922)/(-855). Let c = -18 + l. Is c smaller than -2/5?
False
Let y be (-33)/2*(-8)/(-24)*-6. Suppose -2*b + 168 = 5*s, -2*s = 2*s + b - 132. Which is greater: y or s?
y
Suppose -185 = -5*m + 5*y, 0 = 3*m + 4*y + y - 95. Is 28 greater than or equal to m?
False
Let z = 353 + -9883/28. Let g = z + -2/7. Let p = 4.4 - 6.4. Which is bigger: p or g?
g
Let k = 0.12 - 0.13. Let q = k + -1.79. Let a = -1.1 - q. Is a smaller than 1?
True
Let p = -213 - -205. Which is smaller: p or 1.7?
p
Let x = 164.4 + -164.31. Which is smaller: x or -1/2?
-1/2
Let b = -7/1153 - 372391/4612. Which is greater: b or -81?
b
Let g be (3/4)/((-1705)/(-220)). Which is bigger: 1 or g?
1
Let c = -85.58 + 0.58. Let i = 84 + c. Let u = -1.93 - -2. Which is bigger: u or i?
u
Let n = 146 - 267. Do n and -121 have different values?
False
Let n = -16 - -17. Which is greater: -1/471 or n?
n
Suppose -4*d + 1214 = 5*b, -b - 27 = -d + 272. Which is smaller: 303 or d?
d
Let m = 85221/1067 + -878/11. Let p = m - 23/2328. Do p and -1 have the same value?
False
Let i be 15785/3575 + (-1)/(-5). Which is smaller: i or 6?
i
Let s = 2 - -5. Let c = 0.134 - -0.066. Is s at most as big as c?
False
Let h = 3.8 - 1.8. Let g = h + -0.2. Let p = -0.8 + g. Is p >= -3?
True
Let u = -221326/13 - -16990. Which is smaller: -36 or u?
-36
Let k be -4*(-12)/16 + -6. Let p be (8/(-132))/(k/54). Is p at least as big as 2?
False
Let m be (-644)/(-805) + 1569/(-5). Which is smaller: -316 or m?
-316
Let f = -1637 - -1704. Let s be -134*(1/(-2) - 0). Is f greater than or equal to s?
True
Let p be ((-4)/(-12))/(1/3987). Which is bigger: p or 1328?
p
Suppose 20 = 5*j, x + 9*j - 11*j = -5. Let a be ((-2)/(-1) - x) + 2. Is a at least -1/46?
True
Suppose -9*m - 1686 = -3*s - 10*m, 2248 = 4*s + m. Which is smaller: -2/5 or s?
-2/5
Suppose -2*h - 264 = -5*t - 0*h, -2*h + 60 = t. Let u = -73 + t. Suppose -64 = 3*r - 5*l, 4*r = -l + 2*l - 74. Which is greater: u or r?
r
Let y be 1690/(-22) + 0 - 90/495. Do -77 and y have the same value?
True
Let c(h) = 2*h**2 - 3*h + 68. Let g be c(6). Is 123 at least g?
True
Let s be 126/15*(-25)/(-10). Which is bigger: 20 or s?
s
Let x(c) = -144*c + 58. Let w be x(1). Does -86 = w?
True
Let u(h) = h**3 + 8*h**2 - 10*h - 7. Suppose 0 = 6*w - 7*w - 9. Let x be u(w). Let k be (x - 4/10)*5. Is k less than 8?
False
Let h be -1 + -6*(1 - 0). Suppose 0 = -3*f - 4*x - 6, 4*f + 5 = -3*x - 3. Let m = -9 - f. Is m bigger than h?
False
Let d = 3/1664 + 214641/8320. Which is smaller: d or 26?
d
Let c = -89248680 + 10799239717/121. Let v = -1235 + c. Is 0 bigger than v?
False
Let b = 46 + -28. Let x = b + -18. Is -2/11 greater than x?
False
Let y(k) = 4*k + 34 - 32 - 3*k**2 + k**3 - 4*k. Let j be y(3). Which is smaller: j or -2/5?
-2/5
Suppose 0 = 923*o - 927*o. Is o at least as big as 3/286?
False
Let h = 16373/4 - 4093. Suppose 2*o - w + 6*w + 11 = 0, -2*o + 3*w = -29. Is o at most h?
False
Let n(k) = -4*k**3 + k**2 - k + 1. Let d be n(1). Let a(f) = f**2 - 8*f + 11. Let i be a(7). Let g be ((-12)/(-2) + i + -4)/(-1). Which is bigger: d or g?
d
Let g = -4 - -4. Let k be (-8)/5*43/(-516). Which is bigger: k or g?
k
Suppose t + 244 = 5*t. Suppose t = 5*s - 74. Suppose -s*w = -22*w + 45. Which is smaller: w or -7?
w
Let t = -1073.8 + 1075. Suppose 2*z - 2 = 2. Which is smaller: z or t?
t
Suppose 20*h + 50*h = -9380. Is h equal to -132?
False
Suppose 11*l - 13*l = -2*w - 6, 5*l - 14 = 4*w. Which is greater: 1/71 or w?
1/71
Let t(f) = -5*f**3 - f**2. Let i(g) = -3*g**3. Let h(u) = 7*i(u) - 4*t(u). Let r be h(3). Let w be (-38)/(-18) - 18/r. Are w and 0 unequal?
True
Let j be (-33 + 23)*((-456)/454 - -1). Let c = 1547/29964 - j. Which is smaller: c or 0?
0
Let y = -33 - -57. Suppose 4*q + y = q. Which is smaller: q or -10?
-10
Suppose f - 826 - 207 = 3*v, -2*f + v + 2086 = 0. Let t = f + -8345/8. Is 1 >= t?
False
Let m = -0.