089 or o?
0.089
Let h = 0.07 + -0.15. Let i = 109.08 + h. Let o = i + -108.7. Which is greater: 0.9 or o?
0.9
Let u = -19961/7 - -2852. Which is smaller: u or 726?
u
Let b = 21180 - 107033/5. Is -228 not equal to b?
True
Let h = -42 + 102. Let i(c) = -5*c**3 - 6*c**2 - 9*c. Let p be i(-4). Let j be (-77 + p)*2/6. Is j < h?
False
Let j = -9761 + 9760. Which is greater: 9/1702 or j?
9/1702
Let g = -2855877/5 - -577013. Is g greater than or equal to 5839?
False
Let g = -1333 + 1331. Which is smaller: -0.1582 or g?
g
Let t = -1.29 - -0.29. Let z = -90 + 54. Let l = z + 35.83. Which is smaller: t or l?
t
Let c be (-4)/(-1)*(-1)/(16590 + -8). Let w = -16084/2064459 + c. Is w > 0?
False
Let f(m) = -m**2 + 53*m + 33. Let o be f(14). Let k = 4059/7 - o. Is 1 at most k?
False
Suppose 0 = u + 5*g - 97, 3*g = 2*u + 70 - 277. Which is bigger: u or 35?
u
Let s = -10 - -21/2. Let f be 0 - (-572)/(-496) - 7/56*-10. Which is greater: s or f?
s
Let o = -1.945 + 3.04. Let v = o + -0.095. Which is smaller: v or -0.006?
-0.006
Let f = 15132 + -15133. Is f != 1/163?
True
Let t = 4.67 + -53.87. Let i = -50.2 - t. Is -49 at most as big as i?
True
Let n(c) = 2*c - 66. Let u(p) = -2*p + 1. Let h(q) = -n(q) + 5*u(q). Let a be h(6). Are a and 2/13 nonequal?
True
Suppose 438 + 97 = n. Let a = n - 536. Are -31/5 and a equal?
False
Let p(h) = -2*h**2 + 15*h + 10. Let c be p(3). Do 53 and c have different values?
True
Let o = 1149 - 6667. Is 0 at least as big as o?
True
Let t be 0/((-6)/2) - -4. Suppose -39*c = -41*c - t. Let q(a) = -5*a**2 + a - 3. Let p be q(c). Is p < -25?
False
Let q be (1 - 1)/(-5 + 52/13). Suppose 5*y = d + 2*y - 12, -y - 4 = q. Which is bigger: d or -2/7?
d
Let y = 5 + -72. Let b = y + 58. Let x be b/56 - ((-25)/8 + 3). Which is smaller: x or 1?
x
Let q = 134 + -161. Let a be 0 - (65/78)/(4/q). Is a < 7?
True
Let h = 194 + -1272. Which is smaller: h or -2?
h
Suppose 244*d + 106*d + 8825 = -3*d. Which is greater: 52 or d?
52
Let w(p) = 2*p - 121. Let j be w(61). Which is bigger: j or -5655/4?
j
Let l(g) = -25*g**2 - 40*g + 44. Let o be l(-7). Is o < -0.1?
True
Let z = -7 - -7. Suppose 13*j + 56 - 4 = z. Let b(a) = -a**2 + 7. Let i be b(-3). Is j less than i?
True
Let v = 221.6 + -233. Let i = v + 116.4. Is i < 1/3?
False
Let d = 34195 - 34126.1. Which is greater: d or -3/2?
d
Let s = 5.1 - -0.9. Let m = -546727/36 + 60751/4. Which is bigger: m or s?
s
Let r(g) be the third derivative of -g**6/120 + g**5/5 - 7*g**4/8 + 3*g**3/2 - 5*g**2. Let h be r(10). Let n = -844/915 + 14/15. Is n at least as big as h?
True
Let c(b) = 11*b**2 + 59*b + 280. Let s be c(-5). Is 260 bigger than s?
False
Let r = 9.5 + -8. Let t = -2.8 + r. Let j be (52/234)/(4/(-6)). Which is greater: j or t?
j
Let v = 7247/13 + -557. Suppose 0 = -4*c - 4 + 32. Suppose -12*l - 5 = c. Are l and v nonequal?
True
Let f(w) = 2*w**2 + 5*w - 2. Let t(m) be the first derivative of m**3/3 + m**2 - m + 24. Let a(i) = 4*f(i) - 9*t(i). Let p be a(3). Is -7/10 > p?
True
Suppose 2*v - 4*d = -3 - 39, 4*v + 5*d = -84. Let w be 26/39 - (-296)/(-12). Which is greater: w or v?
v
Let q = 2707/282800 - -3/1616. Let d be 4/3 + (10 - 12). Which is smaller: q or d?
d
Let x(o) = -o**3 - 8*o**2 - 1. Let b = -16 + 8. Let j be x(b). Let a = 296.1 - 296. Does a = j?
False
Let o be (-15 + (-145)/(-10))*122. Which is smaller: o or 34?
o
Let m be 94907/31010 - 25/125. Let d = m - 3/886. Which is smaller: 2 or d?
2
Let c be (-40)/(-1) - 20/((-68)/17). Which is smaller: c or 1?
1
Let k(x) = -3*x**3 + 24*x**2 - 29*x - 13. Let b be k(9). Is -518 greater than or equal to b?
False
Let n(s) = -15*s**2 - 47*s + 263. Let t be n(7). Let u = -802 - t. Which is greater: u or 1/140?
1/140
Let j be 25/30 - 175/210. Which is bigger: j or -1408?
j
Let n be (5 + (-219)/42)*(63/(-162))/(-1). Which is smaller: n or 5?
n
Suppose -279 = 6*p - 291. Suppose -p*h + 3*n - 7 = 0, 2*n = -19 + 25. Is 2/35 at most as big as h?
True
Let l = 4945 + -5062. Are l and -116 non-equal?
True
Let n = 22256.44 - 22259. Are n and -9 equal?
False
Suppose -p - 49*k + 2 = -54*k, 0 = -4*k. Is p at most 1686?
True
Let d = 6380 - 6377. Let h be ((-6)/4)/((-9)/24). Which is smaller: h or d?
d
Suppose -43 + 15 = -7*h. Let n be ((-2)/2 - h) + (-16)/(-3). Is -15 less than n?
True
Let o = -52.35 + 53.35. Which is bigger: 5/207 or o?
o
Let r(b) = b**2 + 3*b + 2. Let q be r(-3). Suppose 2*h + 0 = -q. Let k = -199/579 + 2/193. Is k > h?
True
Let o(n) = -n**3 + 6*n**2 + n - 6. Let g(j) = j**3 - 20*j**2 + 5*j - 1. Let i be g(20). Let u = i - 93. Let b be o(u). Is b > -2/433?
True
Let o = -140 - -1961/14. Suppose 5*l - 2*a = -25 + 6, -5*a = 5*l + 40. Let b be -1*(3 + -7 - l). Is o > b?
True
Let u(s) = s**2 + s**3 - 4*s + 4*s - s + 3 + 3*s. Let y be u(-2). Let t be 43/10 - 1/y - -1. Do t and 5 have the same value?
False
Let s be (-2)/6 + 1352/78. Suppose -14*o - 62 = s*o. Is o at least as big as -9/14?
False
Let i(q) = q**2 - 15*q - 147. Let t be i(-7). Let s be (80/60)/(-1 - t/(-6)). Which is smaller: s or 5?
5
Let w be -1 + 1 - (-2 - 3). Let s(q) = q**3 + 11*q**2 - 4*q - 105. Let t be s(-10). Suppose 5*m + t = w. Is -10 at least m?
False
Let r = -205.4 + 1084.4. Let i = -863 + r. Which is smaller: i or 2/33?
2/33
Let r be (-798)/189 - (-4)/18. Let i(h) be the first derivative of h**3/3 + h**2 - 8*h - 8. Let p be i(r). Which is bigger: p or -2/69?
p
Let c be ((-309)/4)/(-3*(-7)/(-28)). Is c > -14?
True
Suppose -10*a - 1176 = -31*a. Suppose -3*h - 11 = -3*m - a, 3*m = 2*h - 46. Suppose g = -5*c + 5 - 94, 3*g = 5*c + 93. Does c = m?
False
Suppose -94*q + 84*q + 40 = 0. Suppose -2*l - 8 = 0, -5*z + 90 = q*l + l. Is z at least as big as -2?
True
Suppose -5*p = 3*k - 1777 + 4678, 0 = -2*p - 6. Let m = k - -735. Is -229 at least as big as m?
False
Let u(y) = y**3 + 12*y**2 + 15*y - 26. Let h(s) = 4*s**3 + 49*s**2 + 61*s - 105. Let b(p) = 2*h(p) - 9*u(p). Let a be b(-8). Is a greater than -6?
True
Let k = -2667 + 2664. Which is bigger: 388 or k?
388
Let i = -1198 - -561. Let k = i - -657. Suppose -4*n = -3 - 5. Which is greater: n or k?
k
Let g = 7 - 13. Let d = 4 + g. Let c be ((-174)/(-232))/((-30)/82) - 2/(-8). Is d bigger than c?
False
Let d = -7999 - -7469. Is -528 at least as big as d?
True
Let m(p) = -p**3 + 14*p**2 + 39*p - 9. Let s be m(-3). Let q = -114 + 57. Let w = -31 - q. Is s equal to w?
False
Let o(f) = 2*f**3 - 31*f**2 + 67*f - 777. Let d be o(15). Suppose 5*a + g + 1 + 2 = 0, 4*a - 15 = 5*g. Suppose -d*j - 3*j + 6 = a. Which is smaller: -5/19 or j?
-5/19
Suppose -53*a + 60*a = -217. Let h = -34 + 2. Which is smaller: a or h?
h
Suppose -76*w - 3 = -3. Which is bigger: 15/482 or w?
15/482
Suppose 0 = -25*r - 53*r - 156. Which is greater: r or 0.0239?
0.0239
Let n = -19 - -19.17. Let d = 3 - -4. Let h be -3*(-1 - d/(-6)). Which is greater: h or n?
n
Suppose 4*p = 4*f - f - 95, 3*p + 5*f = -93. Suppose 9*g = -196 - 182. Let i = p - g. Which is bigger: i or 18?
18
Suppose -11*d + 243 = 4390. Let y = d + 376. Which is bigger: y or -33/14?
y
Suppose 4*t = -244 - 772. Let u = -189 + t. Which is smaller: u or -442?
u
Let q be 234760/(-16770) + 15 + -1. Is -1 less than or equal to q?
True
Let j be (3*4/(-36))/((-2)/(-30)). Let v be ((-12)/(-30) + 7/j)*-23. Suppose 3*l + 110 = 5*s, 2*s - 2*l + 3*l = 55. Which is smaller: v or s?
v
Let d = -2904 + -1165. Let o be d/91 + (-4)/14. Is -44 >= o?
True
Let y = -549.7687 - -4.7087. Let a = y - -579. Let g = 34 - a. Which is greater: 0.02 or g?
g
Suppose -4*r - 610 = -5*x + 654, -4*r - 1264 = -3*x. Let g = 324 + r. Which is greater: 13 or g?
13
Suppose -26*f - 483 = -19*f. Suppose -4*v = 5*g + 11 - 1, g = 4*v - 2. Suppose -11*d - 703 - 67 = v. Which is smaller: d or f?
d
Suppose 4*s - 50 = -6*l + 8*l, 3*l - 4*s + 85 = 0. Let p be 26/78 + l/(-138). Which is smaller: p or 0?
0
Let u = 1146 + -1302. Is -1.8 less than or equal to u?
False
Let m = -10.4055 - -0.4055. Is 513 < m?
False
Suppose -3*k = -4*q - 9026, 107*q + 5*k - 9022 = 111*q. Do -2259 and q have the same value?
False
Suppose 0 = 4*n + 2*r + 8, -n - 20 = n + 5*r. Let b = -2/25007 + -12928607/150042. Which is bigger: b or n?
n
Let x be 332/36 + -9 - 120376/(-36). Are x and 3342 non-equal?
True
Let r(s) = s**2 - s - 10. Let h be r(-4). Let g = h - 153. Let u be (-21)/105 -