or 2/3881?
2/3881
Let z = -63 - -63.058. Let i = 89.942 + z. Let r = i - 87. Is -0.6 at most as big as r?
True
Let h = 29609 + -29616. Which is smaller: h or -398?
-398
Suppose -19*v + 18*v = -5*s - 14, -5*v = 6*s + 23. Which is smaller: v or 1/672?
v
Let s = 130.7 + 18.3. Let k = s + -149.05. Is -29 greater than or equal to k?
False
Let f = 87345.893 - 87287. Let s = -59 + f. Let h = s + 1.007. Are h and 2 nonequal?
True
Suppose 37*n - 4098 = 712. Which is greater: n or 132?
132
Let i(t) = 4*t**2 + 4. Let p be i(-3). Let a be (7 - 123/15)*-35. Do a and p have the same value?
False
Let z(d) = d**3 - 9*d**2 + 11*d - 23. Suppose -4*w = 3*t - 35, w + 5*t = 103 - 90. Let y be z(w). Let m = -0.392 + 0.43. Is y at most as big as m?
False
Let m be (-4)/(-11) - (-9 - (-96344)/11088). Is m equal to 1?
False
Suppose -11 + 2 = -3*g. Let q = g + -3. Let n be ((-49)/((-980)/(-60)))/1. Which is smaller: n or q?
n
Suppose g = -p + 1, 1080*g = -5*p + 1076*g + 5. Let f = 136 - 96. Let q be 2/(-7) - f/(-168). Is q >= p?
False
Let f be ((-1538)/44 - -35) + (-34519)/22. Are -1567 and f equal?
False
Let h = -21273 - -193027/9. Is 173 less than or equal to h?
True
Let t = -49 + 53. Suppose -3*j - 38 = -3*b - 2*b, -t*b = 2*j - 4. Let y be ((-1)/(-3))/(8/j). Is -0.15 less than y?
False
Let t = -0.7 - 1.3. Let v = 28.055 + -0.055. Let f = v + -32. Which is smaller: t or f?
f
Let k be 4 - ((-312210)/(-44602) + 1) - (-20 - -16). Which is smaller: k or -1?
-1
Let d = -3857 + 3857. Is 14/3701 <= d?
False
Let l = 448 - 448.0484. Let n = l + 5.0484. Is -14 at least as big as n?
False
Let j(g) = 3*g**2 + 3*g - 7. Let t be j(3). Let y = 0.094 + -2.094. Which is greater: t or y?
t
Let b be ((-10)/4)/(4/(-64)). Suppose 2*f - 6*f + b = 0. Suppose -62 = 4*l - f. Which is smaller: -11 or l?
l
Suppose 9*u + 1078 = -1019. Which is greater: -234 or u?
u
Let w(t) = -4*t**2 - 57*t - 10. Let x be w(-14). Let n be (x/1 + 0)*5/(-3590). Is n > 1?
False
Let q = 13947.0847 + -13947. Is -1 not equal to q?
True
Let s = -1064.7 - -1039.7. Is s > -6/49?
False
Let w(i) = 8*i**2 - 28*i + 130. Let g = 772 + -767. Let h be w(g). Which is smaller: 574/3 or h?
h
Let u be (12 - (-2542001)/(-221046)) + (2/(-4))/1. Are -1 and u equal?
False
Suppose -867*s + 163*s - 8234 - 41750 = 0. Let g = -2 - -2. Suppose -2*w - 129 - 13 = g. Is w <= s?
True
Suppose 24 = -3*r - 102*x + 106*x, 5*r = 3*x - 40. Let h(q) = -q**3 - 7*q**2 - q - 5. Let f = 1 - 8. Let t be h(f). Which is bigger: t or r?
t
Suppose -1046 = h + 2*t, 4*h + 526 = 4*t - 3694. Is -1053 at most h?
True
Suppose -205*p - 116*p - 18733 - 10157 = 0. Is 3/4 > p?
True
Suppose 2*q = q - 4*n - 26, 0 = -4*q + n - 87. Let r = 200 - 220. Let z be 33/q*r*(-2)/6. Do 1 and z have the same value?
False
Let z(s) = -s**2 + 2*s + 17. Let q be z(5). Suppose 0 = 3*h - h - q. Let r be 1/(-2)*(-4)/30. Are h and r equal?
False
Let s(c) = 4 - 26 + 6*c + 11*c - 31*c. Let i be s(0). Is -41/2 < i?
False
Let v = 96.29 + 2.71. Which is smaller: v or -0.8?
-0.8
Let m = 500 + -1170. Let i be (1 + m/685)/(-1). Which is greater: 0 or i?
0
Let m be (-15)/10*(-168)/9. Let h be (6 - 210/m)/(7/102). Is h < -22?
False
Let t(p) = -p**3 + 83*p**2 - 161*p + 99. Let o be t(81). Which is smaller: o or -13?
-13
Let a be (-7)/(-273) + 94347/(-3624777). Which is greater: 1 or a?
1
Let w be (-1)/(64 - 0)*-1. Let c = -10 - -57. Let k = c + -46. Which is smaller: w or k?
w
Let w be (134/(-8))/((-18)/72). Suppose -u - 13 = -3*q - q, -2*q - 5*u - 21 = 0. Let g be ((-33)/q)/(2/(-8)). Is g smaller than w?
True
Let g = 797 + -797.419. Let b = g + 0.225. Let r = 0.006 - b. Which is greater: 4/13 or r?
4/13
Let w be (32/(-3))/16*-1953. Which is bigger: 1304 or w?
1304
Suppose 14*k - 13*k = 1. Let u be (9/6 - k)/(-1). Which is smaller: u or -109?
-109
Let o(t) = -82*t**2 + 469*t + 1403. Let y be o(-3). Which is bigger: 5 or y?
5
Let m be (2*1)/((-16 - 208)/(-28)). Is m bigger than 231?
False
Let t = 6072 + -6158. Which is smaller: t or -16?
t
Suppose -5*r + 32 = -13. Let o be ((-9)/(-108))/((-3)/r). Let g be 17*(0 - 1) - 0. Is o >= g?
True
Let s be 8/(-132) - (-2020)/660. Let c(h) = -3*h + 8. Let j be c(-7). Let a be (-1)/j*(1 - s)*-1. Is -1 at least as big as a?
False
Suppose -3*z = z + 52. Let v(x) = 3*x + 55. Let y be v(-18). Suppose 4*l - 29 = a + y, 0 = -5*l + 20. Is z not equal to a?
True
Suppose 0 = 42*j - 9*j. Suppose -3*r = 3*o - j*o - 132, 3*o = 5*r + 116. Which is smaller: o or 43?
o
Let c = 51 + -56. Let k = c - 1. Let v = 5.8 + k. Do 0.21 and v have the same value?
False
Suppose -4*s - 4*s + 3*s = 0. Suppose s = 3*c + 12, 4 = -2*k - c - 16. Let o be ((-20)/k)/(-2*(-4)/(-6)). Is -1 greater than o?
True
Let y = 129 + -113.25. Let r = y + -1.75. Is r at most -0.3?
False
Suppose 137*o - 160*o = -23851. Is 1037 bigger than o?
False
Let z = 568034077 - 425457370514/749. Let k = -1431/7 + z. Let p = k + 291/535. Does 2 = p?
False
Suppose 0 = -23*v - 199 + 61. Suppose 0 = -4*c - 2*j + 10, 2*c + 3*j + 0 = 7. Suppose -9 - 1 = c*f. Which is greater: v or f?
f
Let h be (1 - -2) + -2 - -1. Suppose 10*b = -2*t + 5*b + 19, b = h*t - 13. Which is greater: 27/4 or t?
t
Let x(v) = -2*v**3 + 14*v**2 - v + 8. Let b be x(7). Suppose m - 1 = a, -5*m + b = a - 5*a. Is a < -45/13?
True
Let x = -59 + 67. Let c = -63 + x. Let j = -56 - c. Which is smaller: -3/4 or j?
j
Suppose 2*o - 5*t = -0*t + 70, -3*o + 124 = 2*t. Suppose -2*p - o = -5*q, -2*q = -4*p - q - 80. Is p at most 1?
True
Let y = 26 - 22. Suppose 660 = u + 2*p, 3293 = 5*u + y*p - p. Let r be (-3 - 1) + u/161. Is r bigger than 1?
False
Let w(n) = -n**3 + 30*n**2 + 33*n - 69. Let g be w(31). Let b be -5 - (g - (2 - 39)). Is b not equal to -29?
True
Let k be (-3)/(17/680*24). Is k at most -266/69?
True
Let d = -26 + 28. Let q be (d + -3)*1 - (0 + 312). Does q = -314?
False
Let q = -176.2 + 176. Is -246 less than q?
True
Suppose -12*a + 194 = 770. Let i be (3 - 117/6)*a/36. Is 22 less than i?
False
Suppose -951 = -21*n - 9666. Is -408 greater than or equal to n?
True
Let v = -2566257311/126 + 20367231. Let k = v - 219/2. Is k less than 0?
True
Let a be 1/((-10)/6) + 0. Let n = -748 - -754. Let u be 26/13*(-3)/n. Are a and u nonequal?
True
Let a = 5996 - 5984. Which is smaller: -3 or a?
-3
Let c = -9 + 13. Suppose -i + c*i = 531. Are i and 178 non-equal?
True
Let n = 346 + -380. Suppose 7*c - 4*c + 54 = 0. Let g be (4/n)/(3/c). Do g and 1 have the same value?
False
Suppose -2*l = u + 420 - 62, -2*u - 182 = l. Let n = 203 + l. Is 28 less than or equal to n?
False
Let b be (8*2/12)/((-6)/(-18)). Suppose b*l + q + 101 - 3 = 0, -q + 22 = -l. Let x be 3*1/l + (-51)/(-600). Are x and -1 equal?
False
Let x = 15107/4 - 7555/2. Let h(k) = 2*k**2 + 5. Let m(i) = 3*i**2 + 6. Let c(f) = 4*h(f) - 3*m(f). Let r be c(2). Which is smaller: x or r?
r
Let q be ((-15622)/4)/1*138/(-575). Let r = q + -937. Is -0.1 at least r?
False
Suppose 6*f + 10 - 34 = 0. Suppose f*t - 105 = 3*d + 42, -48 = -t + 3*d. Let m(g) = -4*g - 7. Let z be m(-10). Is t at least as big as z?
True
Let g(y) = 29*y**2 - 204*y + 4. Let n be g(7). Which is bigger: n or -5?
n
Suppose 0*c + 5*c - 244 = -3*v, 0 = 4*v + c - 348. Let l be 6 + ((-1616)/v - -6). Which is smaller: l or -6?
l
Suppose -u = 10 + 4. Let r(w) = w**2 + 12*w + 9. Let p be r(u). Let f = -33 + p. Which is smaller: 5 or f?
f
Suppose 72*n - 172 = 70*n + 2*s, n + 2*s - 68 = 0. Is n at least 115?
False
Let w(l) = -71*l - 2198. Let c be w(-32). Which is smaller: c or -6?
-6
Suppose -4*q - 166 = -r + 99, 3*r - 747 = -4*q. Let y = r + -306. Which is smaller: y or -50?
y
Let x(q) = 3*q + 21. Let p be x(-11). Let f(b) = b**3 + 13*b**2 + 11*b + 5. Let c be f(p). Suppose -19 = 6*m + c. Is m equal to -6?
True
Let z = 7527/5 + -1505. Is z at least 5209?
False
Let h = -8370 - -8370.2. Is h greater than 0.039?
True
Let g = -196 + 217. Suppose -g*r = 24*r + 360. Is r >= -9?
True
Let l = -131 - -17. Let d = l - -108. Let s(z) = -z**2 + 8*z + 7. Let c be s(9). Which is smaller: d or c?
d
Let a = -1 + 3. Let l = 440 - 0. Let b = 3082/7 - l. Which is bigger: a or b?
a
Suppose -6*c + 7690 = 4*c. Suppose -5*j = -401 - c. Suppose -5*d = 5*a + j + 1, 5*a = 2*d + 73. Which is smaller: d or -43?
d
Let d = 440574/17 - 25908. Which is smaller: d or 9?
d
Suppose -b = 