t m = -217810/83 + 2625. Is 1 greater than m?
True
Let u be (0 + (-4)/(-3))/((-720)/6696). Which is bigger: -0.3 or u?
-0.3
Let a = -1958 + 3042. Which is smaller: 1083 or a?
1083
Let p = 40 + -10. Let l(k) be the first derivative of -3*k**2/2 + 58*k + 57. Let i be l(9). Is i less than p?
False
Let y be 33/21 + 2 + -1. Let o = 402 - 414. Let x = o + 13. Which is smaller: y or x?
x
Let c = 18045 + -37173/2. Is c >= -543?
True
Suppose 0 = 8*u - 13*u + 4*q + 33, 0 = -4*u + 2*q + 24. Is u smaller than -2/21?
False
Suppose 20 = -2*m - 3*n - 92, 0 = 2*m + 4*n + 114. Let k(v) = -3*v**2 - 9*v. Let w be k(-6). Which is bigger: m or w?
m
Suppose 18*x - 124 = 19*x. Let y = x + 124. Which is bigger: 9/7 or y?
9/7
Suppose -4554 = -17*c + 7*c - 23*c. Is c smaller than 128?
False
Let z(l) = -1426*l - 1426. Let n be z(-1). Is 3/901 bigger than n?
True
Let x be -1 + 4/2 - 3. Let c be (-1)/x*222/(-9). Let j(w) = w**2 + 214*w - 13212. Let i be j(-264). Is i > c?
True
Let u = -110.23 + -4.77. Let b = u + 112. Which is smaller: b or -0.18?
b
Let y be 6*6/162 - 290/9. Let u be 72/y*(-8)/6. Let n = 1.3 + -1.24. Is u bigger than n?
True
Suppose 3*i = -5*b - 173 + 117, -2*i - 24 = 2*b. Which is smaller: b or -237?
-237
Suppose 5*p + 0*k = 3*k + 160, 4*p - 2*k = 128. Let x be ((-984)/(-5))/6 - 8/(-40). Which is bigger: x or p?
x
Let j = -154 + -9. Let h be (4352/2176)/((-2)/165). Which is greater: j or h?
j
Let i be (-150987)/24 - 3/(-24). Let f be ((-2)/(-9)*-3)/((-18)/i). Let p = -1177/5 - f. Are p and -3 equal?
False
Let f = -3.5 - -0.5. Let t be (-2992)/(-308) - (-2)/7. Let j be (t/14)/(-1) + 1. Which is bigger: f or j?
j
Let m be (-9 - (-2 + -3))/2. Let y be (-2912)/40 - 4/(-40)*m. Which is greater: 2/5 or y?
2/5
Suppose 0 = 2*z + 551 - 575. Let l be ((-15)/(-2))/((-9)/z). Are -10 and l non-equal?
False
Let r = 810782 + -5693773/7. Let g = r - -2609. Which is greater: g or -4?
-4
Suppose -5*t + 4*t - 4*g + 822 = 0, 3*t = 2*g + 2536. Suppose -t = -11*m + 258. Is 100 > m?
False
Suppose 6468 = 4*q + 17*q. Let r be (-4)/22 + (3297/q)/(-3). Do r and 1/4 have different values?
True
Let c = -18 + 25. Let m(i) = i**3 - 5*i**2 - i - 18. Let r be m(6). Suppose f - 4*x + r = 0, -12*f + 2*x - 42 = -16*f. Is c > f?
False
Suppose 3*s + 91 = -5*w, 47*w + 158 = -6*s + 49*w. Suppose 5*y = 2 - 12. Which is bigger: s or y?
y
Let a = -218 + 244. Let x = a + -10. Is x at least 27?
False
Let z = -123 + -11721. Is z at most -11845?
False
Let w(r) = 32*r**3 - 21*r**2 + 14*r - 89. Let m be w(5). Are m and 1/4 equal?
False
Let s be -14 + 12278/924 - (-2)/3. Let b be 43/220 - 4/(-16). Let i = b + s. Is i smaller than 0.4?
False
Let o(q) = -267*q + 830. Let d be o(3). Let p = -2 - -7. Is p bigger than d?
False
Let u = -0.606 + 0.246. Let b = -0.64 + u. Which is greater: b or 1?
1
Let h = 2.28 + -178.28. Let a = 183 + h. Are a and 0.07 nonequal?
True
Let s be 2/(0 + (-38)/(-2)). Let c(j) be the first derivative of -j**3/3 - 7*j**2 - 41*j - 11. Let l be c(-10). Are l and s nonequal?
True
Let u be (-16)/(-4) - 5 - -35. Let a be (-4)/2 + (-1 - -1 - -35). Let m = a - u. Which is greater: -2/81 or m?
-2/81
Let w = 1065991/190645 - 509/91. Is w bigger than 0?
False
Let p = 439373 - 3958549/9. Let r = p + 465. Let z = 50 - 49.8. Which is greater: r or z?
z
Suppose -3*y + 4*c + 22 = 138, 2*y + c + 70 = 0. Let x be -1 - ((-8)/y - 1). Is x != -1?
True
Let p = -8929/3654 + -1/1218. Let h be 4 + 1 + -2 + -1. Suppose 5*s + 7 = h. Which is smaller: p or s?
p
Let m(g) = 445*g - 2*g**2 - 885*g - 1 + g**3 + 441*g. Let p be m(0). Is p not equal to -1/525?
True
Suppose -61400*z + 61257*z = 2002. Let x(v) = -v**3 - v**2 - v + 5. Let d be x(0). Let c = -21 + d. Which is smaller: c or z?
c
Suppose k + 2*z = -14, 0*k = -4*k + z - 65. Suppose 0 = -5*g - 20, 30 + 22 = -4*y + 2*g. Which is greater: y or k?
y
Let u = 7 - -6. Suppose -4*a = -3*j + 63, -83*j + 80*j = 3*a - 21. Is u bigger than j?
False
Let i be -3 - 10/14*55/(-11). Is -111 > i?
False
Let r = 845 + -395. Let o = r - 449.96. Which is smaller: o or -0.2?
-0.2
Let x = -12 + 12.52. Let w = 83 + -111.9. Let t = -28.8 - w. Is x smaller than t?
False
Suppose 2*g + 3 = -2*r - 153, 6*g = 18. Is r at most as big as -48?
True
Suppose -2*b + 4*z = 7*z + 57, 4*z + 4 = 0. Let i(a) = a**2 + 23*a - 86. Let u be i(b). Which is smaller: u or 25?
u
Let t be (-2625174)/10030 - 18/15. Let l = -263 - t. Is l greater than or equal to 0?
False
Let b be (2/(-1) - 1) + (-860)/(-70) + -6. Is 5 smaller than b?
False
Suppose 5*q + 3*y + 1 = -1, 0 = -q - 2*y - 6. Let n be (1/4*-2)/((-3)/q). Is 29 at least as big as n?
True
Let k(s) = 2*s**2 - 23*s + 12. Let q be k(11). Suppose 4*w - 13 = -q. Suppose -51 = -3*y + 2*f - w*f, 2*y = -5*f + 21. Does 18 = y?
True
Suppose 1510 = -5*u + 5*m, 637*u = 642*u + 2*m + 1475. Which is bigger: u or -305?
u
Let m = 0.0065 - -2.7935. Let d = 4.8 - m. Which is bigger: 1/7 or d?
d
Suppose -12*n = -35 + 3 + 20. Are -1754/3 and n unequal?
True
Let s(w) = w**3 - 12*w**2 + 16*w + 44. Let t be s(10). Let k = -4 + 6. Which is bigger: t or k?
t
Let a = -16.67 + 26.67. Which is bigger: a or 3/49?
a
Let w = 180 + -275. Let t = w + 95.02. Let u = 0.1 - -0.1. Which is greater: u or t?
u
Suppose -48*w = -195*w - 147. Is w at least -1/2695?
False
Suppose 5*z = -4*k + 41, 2*z - 5*k = z - 15. Let h be (0 + z)/1 + -4 + 2. Are h and 1 equal?
False
Let u be (-2565262)/(-3418280) - (-6)/(-8). Is 1 smaller than u?
False
Suppose 4*t - 5 = z, 3 = 3*t + z - 2*z. Suppose -5*g + 3*o = 5, g - 4 = t*o - 5. Which is greater: g or 2/179?
2/179
Let r = 33.96 + 7.04. Is r greater than 1/6?
True
Let p = 2258 + -2430. Which is greater: -859/5 or p?
-859/5
Let y = 13 + -45. Let x = y - -31.76. Let s = x + 0.24. Is 0 > s?
False
Let s = 14 - 13.63. Let w = s + 0.03. Let h = -1067018 - -1067023. Which is smaller: h or w?
w
Let k = -35 - -45. Suppose -7*c - 4 = k. Let l be 5/(-10) + c/(-12). Which is greater: 1 or l?
1
Let n = 1.1501 + -2.4501. Which is bigger: n or -427?
n
Let v(y) = -5*y**2 + 45*y - 277. Let x be v(7). Which is bigger: x or -206?
-206
Let j(r) = -201*r + 8. Let w be j(-2). Suppose 26 = -12*a + w. Let x be a/(-12) + 3 + 29/48. Is 1/2 <= x?
True
Let s be 25/10 + 3/6. Suppose -6 = -f - f. Suppose -2*v - 2*v - f*o - 13 = 0, s*o + 6 = -3*v. Which is greater: v or -8?
v
Let c = 18.6 + -47. Which is bigger: c or -0.7?
-0.7
Let r = -2159 + 2159. Is 190 < r?
False
Let q be (-5)/(2/14 + 16/(-14)). Suppose -5*n + 307 = 4*m, q*m = -n - 3*n + 395. Suppose k = -4*u + 331, 0*u - 2*k = 5*u - 416. Are u and m unequal?
True
Suppose 27 = -a + 99. Suppose -4*p + a = 2*q, -3*p - 2*q + 4*q + 61 = 0. Which is smaller: 27 or p?
p
Let t be 6/((-11)/(-6) - 2/(-12)). Let r(d) = -d**3 - 3*d**2 - 5*d + 3. Let s be r(t). Let h be s/12 + 5 - (-3)/2. Is 2/95 smaller than h?
True
Let p = -24 - -44. Let m = 19 - p. Let u = -25954/63 - -412. Which is smaller: m or u?
m
Let o = -13532 + 24540. Is 11008 < o?
False
Let v be (-329)/235 + (-22)/(-30). Is 1/17 at least v?
True
Suppose 5*b + p = 88, 5*p - 4 = 11. Suppose 56*j = 58*j + 4. Let t be (b/(-34))/(5/j). Do -11 and t have different values?
True
Let x(z) = -18*z - 3. Let t = 8 - 10. Let q be x(t). Let i be -5 - (3/(-39) - 2530/65). Which is bigger: q or i?
i
Let d(i) be the second derivative of i**4 - i**3/3 - 2*i**2 + 58*i. Let r be d(2). Which is smaller: r or 201/5?
r
Let f = 1193 - 2265/2. Let i = -62 + f. Suppose -2*w + 12 + 7 = -5*n, -4*w = -3*n - 3. Is n bigger than i?
False
Let v = 118/397 + -32617/20247. Is 2/7 less than v?
False
Let i be ((-5)/((-15)/(-6)))/6. Let y be -1*((-3)/(-10) + 0). Is i at least as big as y?
False
Let h be -1*(18285/1415 + -13). Which is bigger: h or -1?
h
Let i = -19667 - -19669. Which is smaller: -2789 or i?
-2789
Let d = -61 + 59. Let c be ((-3)/d)/((-3)/(-12)). Suppose -b + 14 = -5*i, -3*b + c = -2*i - i. Which is bigger: b or 2/5?
2/5
Let k(q) be the third derivative of q**5/60 + 5*q**4/12 - 25*q**3/6 + 24*q**2. Let u be k(-12). Is -6/77 equal to u?
False
Suppose 5*i - i = 0. Suppose c - h - 2 = i, 0 = 2*c - 5*h - 16 + 3. Which is smaller: 10/21 or c?
c
Let x = -3219 + 3182. Are 4/3 and x unequal?
True
Suppose -5*t = -g - 1514, 31*t + g - 1213 = 27*t. Are 306 and t non-equal?
True
Let y be (4/(-26) - (-17182)/14