t as big as b?
True
Let i = -74 + 29. Let n = 105 - 106.012. Let x = 0.012 + n. Are x and i equal?
False
Let z be (-30)/(-9)*45/(-6). Let l = -27 - z. Let h be (-3 + (-5)/l)*-2. Does h = 2/71?
False
Let h(u) = -3*u**2 + 8*u - 3. Let t be h(2). Are t and 3/199 unequal?
True
Let v(s) = 9*s**2 + 2. Let d(m) = 11*m**2 + m + 2. Let w(p) = -5*d(p) + 6*v(p). Let t be w(-4). Suppose 5*n = 4*x - t, -3*n - 6 = x - 16. Is n > -3?
True
Suppose -24*d + 19*d - 2*v + 80 = 0, -d - 4*v = -16. Suppose 3*o + d = -i, 0 = -3*i + 2*o + 2*o + 17. Which is greater: 18/55 or i?
18/55
Let d = -5.7 + -28.3. Let c = -34.3 - d. Let t = -16/9 + 130/63. Which is greater: c or t?
t
Let o be (-15470)/30930 - 1/(-2). Is o >= 0?
False
Suppose -75 = 2*f + 13. Let c = 272 - 616. Let y be 13/11 - (8 - c/f). Which is smaller: y or 3?
y
Let a be 1634*4298/438928 - 16. Is 1 smaller than a?
False
Suppose -2*g - 41 = 3. Let r be (-74)/(-132) + 11/g. Let h = 3068 + -3068. Which is greater: h or r?
r
Let v = 204.0478 + -0.0478. Let f = v - 211. Is 0.01 > f?
True
Let a(x) = 41*x**2 + 5*x - 14. Let c be a(2). Let m(o) = -o**3 - 31*o**2 - 67*o - 100. Let l be m(-29). Is l at most c?
False
Let d = -21 - 44. Let h = d + 109. Let m = -43 + h. Which is smaller: 4/7 or m?
4/7
Suppose 0 = 7*i - 2*i, 0 = 3*k + i + 3. Let a = 4351 + -504719/116. Let z = -8/29 - a. Is k at most as big as z?
True
Let m = 40725.5 - 42227. Which is smaller: 2 or m?
m
Let g = 1386 - 1385. Is g at least as big as 7953?
False
Let q(b) be the third derivative of -5*b**4/8 + 10*b**3 - 208*b**2. Let k be q(4). Which is greater: 4/171 or k?
4/171
Suppose -2*p = -3*l + 260 + 169, 5*p + 420 = 3*l. Suppose 2*k + 2*d - 8 = 0, 2*k + 3*d = 16 - 3. Which is smaller: l or k?
k
Let x(j) = -2*j - 74. Let q be x(-33). Let v(o) = o - 16. Let a be v(q). Let s = a + 23. Which is smaller: s or -6/29?
s
Let w be (1 - 1)/(3 + -1). Suppose 6*d + 25 - 1 = w. Let r be (-12)/(-7) + (-1)/14*d. Which is greater: 1 or r?
r
Let k = -9.76 + 6.77. Let n = k - 0.01. Let p be 72/81*90/600. Which is bigger: p or n?
p
Let n = -9790 - -9790. Are 7/9 and n non-equal?
True
Suppose 5*j + 47*i - 52*i = 20, 0 = 2*j - 5*i - 17. Is j at most -2495?
False
Let y = 219 + -289. Let p = y + 66. Suppose 0 = -b - 8. Is b less than p?
True
Let i = -128 - -84.6. Let u = i + 44. Let m = 44 + -43.9. Do m and u have different values?
True
Let u = 7853 + -7843. Is 55/12 greater than or equal to u?
False
Let s = 0.20434 + -0.10434. Let m be (-2)/10 + (-6)/45. Which is bigger: s or m?
s
Let u = 301 + -295. Suppose -5*r + 244 = 8*s - u*s, -2*r + 91 = 3*s. Is 51 less than r?
False
Let l(s) = -18*s + 52. Let f be l(6). Let z be (-6)/(-9)*402/4. Suppose -3*a = 101 + z. Are a and f unequal?
False
Suppose -2*k = 4*r - 82, 0*k - k = -r + 10. Is r bigger than 318/19?
True
Let j be (37/(-7) - -5) + (352/(-14))/(-4). Let d(w) be the third derivative of 5*w**4/24 - 31*w**3/6 + w**2. Let o be d(j). Is o < 2/75?
True
Let c = -3/7738 - 1933/3869. Are 133.95 and c equal?
False
Let a be 11/4 + (-9)/(-36). Let q be -2 + (-3)/(-7)*a. Let l = -96 - -94. Are l and q equal?
False
Let h(w) = -w**2 - 7*w - 6. Let n be h(-5). Let y(f) = 2*f + 6. Let x(a) = a. Let k(q) = -12*x(q) + 3*y(q). Let s be k(n). Is s less than -7?
False
Let w = -9/5624 + 14616803/16872. Does w = 866?
False
Let w(r) = 9*r - 633. Let l be w(60). Which is greater: -472/5 or l?
l
Let q be (-32)/57 - (-2)/3. Let a = -517 - -506.38. Let r = a + 12.62. Is q at most r?
True
Suppose 9*u - 5*q + 3080 = 6*u, -1015 = u - 4*q. Are u and -1036 equal?
False
Let x(t) be the third derivative of t**4/6 + 13*t**3/3 + 2*t**2. Let n be (-3*4)/((-1 - -7) + -5). Let j be x(n). Are -21 and j nonequal?
True
Let w be 2/1*(9108/18018 - (-3)/(-7)). Are w and -5/1162 equal?
False
Let n be 15726/(-84) - 4/14. Let f(t) = -7*t**2 + 65*t + 306. Let l be f(-5). Let g = l - n. Is 1/4 greater than g?
True
Let b = -122/83 + 26884/18177. Which is smaller: b or -3?
-3
Let q = 0.156 + -8.156. Let r = q + 1.7. Is r greater than 0.1?
False
Let b be ((-2)/((-32)/(-12)))/(-96). Let t(p) = -24*p + 1. Let f be t(0). Is b > f?
False
Let o = 244445/13 + -18804. Which is greater: o or -2?
o
Let f = 190285.96 - 190286. Let a = 0.76 + -0.6. Is f >= a?
False
Let t = 13346 - 13356. Is t less than -808?
False
Suppose -7*p + 4*p = 2*p. Suppose p = -255*z + 253*z - 616. Is -308 less than z?
False
Let s = -1.1 + -0.7. Let x = 2.5289 - 0.5289. Let u = s + x. Is 1 not equal to u?
True
Let m = -1694 - -22046/13. Suppose 0 = -44*a + 19 + 25. Do m and a have the same value?
False
Let s = 0 - -1. Let j = 2164/7 - 10063/28. Let h = j - -51. Is h >= s?
False
Suppose -24*s - 27424 = -8*s. Is s <= -1715?
False
Let b be ((-3151718)/4609)/((-4)/22). Is b greater than or equal to 3761?
True
Suppose -2*m = -4*s + 95 - 41, 3*m + 36 = -3*s. Let b = 0 + -12. Which is bigger: m or b?
b
Let s = 1952404/317 - 6159. Which is smaller: s or -1?
-1
Let v be -2 + 1 - (-1 - 0). Let o = -101603 + 103127047/1015. Is o at least v?
True
Let a = -7836 + 21337429/2723. Which is bigger: a or 0?
a
Let o(v) = -40*v + 2761. Let k be o(69). Is -2/6715 smaller than k?
True
Let p = 0.5987 - -0.4013. Is p at most 1957?
True
Suppose 5*p = 2*n + 259, 4*p = 4*n + 309 + 215. Which is bigger: -155 or n?
n
Suppose -5*z - 56 = 49*a - 53*a, -28 = 3*z - a. Suppose 0 = -2*m + m - 11. Is m less than z?
True
Suppose 5*p = 2*v + 14, -13 = -5*p + v + 4. Let j be 1 + 7 + -4 + 4. Is j equal to p?
False
Let a = -35.34 + 36.34. Let o = -0.047 - 3.053. Which is smaller: a or o?
o
Let h = 3.05 - 3. Let t(w) = -2*w**2 - 49*w - 72. Let c be t(-23). Let o be -8 + c + 8 - 6. Which is bigger: o or h?
h
Suppose 0 = -4*a - 5*w + 9 - 3, a - 6 = w. Let m be (0 + 1)*a*(-4)/(-16). Which is bigger: 4/15 or m?
m
Let w = -0.7 + 0.89. Let l = 0.22739 - -0.06261. Let k = w - l. Which is smaller: k or -28?
-28
Let p = -29 + 34. Suppose p*l - 17 - 3 = 0. Let k be (l/24)/((-2)/(-4)). Which is smaller: -1 or k?
-1
Let z = 0.13 + -74.13. Let f = -114 - z. Are 0.03 and f equal?
False
Let w be (2 + -1)*-1*5/15. Let h = -121 + 249. Which is greater: h or w?
h
Suppose 2*f + 7 = k, 4*k = 8*k - 5*f - 28. Let u be (2 + k - 0)/(0 + -1). Let y be 4/1*(u/6 + -2). Which is smaller: y or -18?
-18
Let b(a) = -a**3 + 74*a**2 - 138*a - 856. Let g be b(72). Which is greater: g or -425?
g
Let q(r) = 2*r**2 + r - 91. Let t be q(-7). Which is smaller: -26/57 or t?
-26/57
Let u be (-39)/(-65) + (-41)/85. Suppose -40 = -12*c + 17*c. Let t be (-7 - c)/(-1 - 0). Which is smaller: t or u?
t
Let k be 4 + (-14 - -13)/((-1)/(-10)). Let z be (k/4)/(2/(-112)). Is 85 bigger than z?
True
Let c be 3/(-77)*(5 - (-1038372)/(-54)). Let w = -749 + c. Are 1 and w equal?
False
Suppose -4*t + 20484 = -4*a, 19*t - 18*t = 4*a + 20469. Which is greater: -5118 or a?
a
Let s = 240 - 141. Let x = s - 113. Let t(z) = -z**3 - 14*z**2 + 2*z + 30. Let h be t(x). Is -18 at least h?
False
Let z(g) = -7*g + 3. Let n be z(-25). Suppose 3*m + 4*r - n = 0, -6*r - 112 = -2*m - 2*r. Which is bigger: 57 or m?
m
Suppose 0 = 5*i - r - 49, -5*r - 3 = i + 8. Suppose 4*s = -2*x + 20, 12*x - 57 = i*x + 3*s. Is 15 at most as big as x?
True
Suppose 140 = -5*z - 91*l + 96*l, 0 = -3*l - 24. Which is bigger: -1.1 or z?
-1.1
Let z be (-108)/(-234) + 12/(-26). Is 1768 smaller than z?
False
Let n = 2043 - 2086. Let t = -61 - -104. Let j = t + n. Which is greater: j or 0.4?
0.4
Let w = -56 - 91. Suppose 2*o = 38*j - 33*j - 749, 0 = -o - 7. Let r = j + w. Do r and 1/61 have the same value?
False
Let z = -57 + 81.6. Let y = z + -24.7. Is y not equal to -53?
True
Let y be 7*(-24)/(-42) - 24. Is 1 at most y?
False
Let u be (-34)/9 + (-9)/(162/4). Let p be u + 155/40 - (-81)/8. Let s be 65 - ((-12)/p)/((-6)/(-20)). Which is bigger: 68 or s?
s
Suppose -c + 5*o + 1192 = 0, -4*o + 8*o - 3576 = -3*c. Let a be (-62)/93 + c/1770. Is a < 1?
True
Let c be 304/(-19)*1/2. Let k be (1*24)/(c - -7). Let p be 33*(-4)/k*1/(-1). Is p != -7?
True
Let t be 7/(-3 - 32/(-12)). Let a be (t/9)/7*-54. Suppose -m = 3*q - 7, -2*m = 3*m - 3*q + 1. Which is smaller: m or a?
m
Suppose 4*t - 3*r = 2*r - 29, 3*t + 4*r + 14 = 0. Let s be 2/6 + (-545)/105. Which is smaller: s or t?
t
Let b = -3 - -2. Let p be 3/2*(-800)/(-48). Let z be (-1)/(47/(-92)) - (-23 + p). 