ch is smaller: 2/1583 or c?
c
Suppose -689268 + 204462 = 51*a. Is a >= -9506?
True
Let t be -7*132/(-21) - 1. Which is smaller: -16 or t?
-16
Let i be (2 + 50/6)*(2124/240)/(-59). Which is smaller: i or 2/7?
i
Let r = -48 - -45. Let s be (-1)/r - (5 + 33/(-9)). Let g be ((-133)/4)/7*s. Is g greater than 6?
False
Let b = 30957.06 - 30957. Which is greater: b or -140/23?
b
Suppose 0 = -3*o + 8*y - 11*y - 3, -4*y = -4*o + 12. Suppose -2*r + 2*k = -k + 96, -2*r = 2*k + 86. Is o <= r?
False
Let s = 1158212909/2058783 - 9625727/15162. Let v = s + 5/3802. Let y = -72 - v. Are y and 1/6 unequal?
True
Let u(a) = 11*a**2 - 104*a + 185. Let w be u(2). Which is bigger: w or -229?
w
Let y be -468 + 6/(0 + 3). Suppose 17*u + 5*u = -12949 + 2697. Is y not equal to u?
False
Let f(k) = 33*k**3 + 16*k - 14. Let r be f(3). Is -1 < r?
True
Let z = 7.97 + -11.97. Which is bigger: 1.843 or z?
1.843
Let a = -2168 - -2168. Does a = -11/21?
False
Suppose 2*t + 3*o - 7 = 0, -1375*t + 1376*t + 4*o - 11 = 0. Which is greater: t or 263?
263
Let l = 751 - 654. Which is smaller: 0 or l?
0
Let b = -23935 + 24851. Which is smaller: 923 or b?
b
Let b = -205.91 + -4.09. Let f = b - -205. Suppose 0 = 4*d + 7*z - 4*z, 2*d - 2*z + 14 = 0. Which is greater: f or d?
d
Let r be (-20)/6 + (-10080)/(-2700). Which is smaller: r or -0.099?
-0.099
Suppose 2*x = -4*r - 358, 4*x + 0*x = 2*r - 696. Let f = -175 - x. Are -2 and f equal?
False
Let k = -7431.01 - -7431. Which is smaller: k or -51?
-51
Let c be (-3139)/10 - 180/1800. Which is smaller: -1251/4 or c?
c
Let p(h) = -h**3 + 10*h**2 - h + 14. Let w be p(10). Suppose -4*b + 20 = -4*m + w, 5*m = 4*b - 24. Is m less than 5?
True
Let m = -164 + 243. Let g = -72 + m. Let o(w) = w**2 - 5*w - 12. Let t be o(g). Which is smaller: -3/31 or t?
-3/31
Suppose 18 = 64*f - 61*f. Suppose -4*r + 3*c + 0*c = -51, 2*r - 3*c - 33 = 0. Suppose -5*j + r = -6. Which is bigger: j or f?
f
Let i = -0.793 + 0.453. Suppose 2*j + 8 = 8. Which is smaller: j or i?
i
Let b = -500 + 504. Suppose 3*w - b*f = 451, -3*f - 294 = -2*w + f. Which is greater: 159 or w?
159
Let c(k) = k**3 + 9*k**2 - 4*k + 9. Let t be c(-9). Let n be 38 + ((-15)/(-9))/(5/6). Which is smaller: t or n?
n
Let n(r) = r**2 + 5*r + 3. Let o be n(-5). Suppose -24 = -2*y + 5*g - 9*g, -y + 2*g = 8. Suppose o*t + 19 = -y. Is -9 equal to t?
False
Let f be (-31)/(2108/8) - 1770/42755. Which is greater: 0 or f?
0
Let z(t) = -t**3 + 25*t**2 - 45*t - 29. Let h be z(23). Let k be (-15)/(-252)*h/(-15). Do -0.5 and k have the same value?
False
Let c = 174 - 188. Let j be 830/175*5 - 4/c. Which is greater: 25 or j?
25
Suppose 4*k + 5726 = 2*q, 4*k + k + 7112 = -4*q. Is k at most -2?
True
Let t(p) = -p**2 - 2*p + 1. Let l be t(-3). Let g be (2/(-6))/((-6)/90). Suppose 9*i = y + 4*i + 39, -g*i = -5*y - 235. Which is smaller: y or l?
y
Let h = 459.9 - 459.6. Let g be (6/(-5))/(2/(-5)). Let w be (2/12)/(g - 4). Is h at least as big as w?
True
Let k(o) = 308*o + 1. Let u be k(-1). Let v be (1901 - 59)*(-6)/72*(-8 - -10). Is u bigger than v?
False
Let w = 202 + -72. Let f(n) = w*n**2 - 129*n**2 - 7*n**3 + 1 + n - 2*n. Let a be f(1). Which is bigger: a or -2?
-2
Let p be (2 - 0)*((-240)/32 - -7). Do p and 22/159 have the same value?
False
Let t(g) = 7*g + 2. Let h(q) = -13*q - 4. Let w(d) = -6*h(d) - 11*t(d). Let m be w(1). Suppose m*u = 7 + 5. Which is smaller: 19/5 or u?
19/5
Let x = 13714.5 - 13714.41. Let q be 52/(-5) + (-4)/(-10). Which is smaller: q or x?
q
Let z = -9603179/62 - -154960. Let l = z + -70. Is 0 at least l?
False
Suppose -62 = 2*o - 58. Let p be -1 + 5/(-6) - o/(-12). Let k be 82/(-105) - p/5. Which is bigger: k or 1?
1
Let l = 17 - 2. Let a(o) be the third derivative of -o**5/60 + 5*o**4/8 + 6*o**3 + 1784*o**2. Let u be a(l). Which is smaller: u or 37?
u
Let p be (4/2 + 319)*(-47)/((-893)/(-399)). Is p at least -6739?
False
Let y = -52202/17 - -3071. Is y greater than -1?
True
Let g be 3 + 1*(522 - 3). Let h = -3671/7 + g. Which is smaller: h or -1?
h
Suppose k = 8*j - 9*j + 6, -2*k + 8 = -2*j. Suppose -3*w = k*s + 11, -3*w + s - 4*s = 9. Is -13/9 not equal to w?
True
Let d be 29441/28 + 3776/1652. Which is smaller: 1055 or d?
d
Let j = 36 + -23. Suppose j*r = -0*r - 52. Let h be (r - 1)/(-10 - -5 - -4). Is 6 less than h?
False
Suppose 0 = 28*z - 19*z - 828. Suppose -8*g - 192 = -928. Are z and g non-equal?
False
Let b = -589 - 103. Is b at most -692?
True
Let y(a) = -3*a**2 + 30*a + 11. Let f be y(10). Let x be (f - 9) + (2 - (6 + 2)). Is -0.06 less than x?
False
Suppose -3*a = a + 4*t + 4, 5*a + 2*t + 8 = 0. Let g be (7 - 1)/(2/a + -1). Is g <= -7?
False
Let y(l) = l**3 - 8*l**2 - l + 20. Let m be y(10). Let f = m - 210. Let b = -771 + 8473/11. Is f less than b?
False
Let a = -7 - -13. Let b = 6097.4 + -6097. Which is greater: a or b?
a
Let k(v) be the second derivative of v**4/12 - 4*v**3/3 - 14*v**2 + 30*v. Let g be k(10). Let t be 2/g + (-28)/(-240). Which is bigger: 1 or t?
1
Let c = 1.5 + 1.04. Let j = -2.46 - c. Which is smaller: 2/11 or j?
j
Let i = -6.8 - -8.4. Let a = i - 1.53. Which is smaller: -2 or a?
-2
Let a be (-42)/(-77) - (-1184)/(-2453). Is 1 smaller than a?
False
Suppose -f + 824 = 823. Is f smaller than 5/498?
False
Let u = 9157 - 9163. Let z = 156 + -482/3. Which is bigger: u or z?
z
Let a be 2 + (-1821)/(-7) - (-397)/2779. Which is greater: 261 or a?
a
Suppose 0 = -5*g - 3*h - 60, 2*h + 0*h = -5*g - 55. Suppose 19 = 5*b - u, 4*u - 42 = -5*b - 18. Suppose -v + s = b*v + 31, s + 32 = -4*v. Is v less than g?
False
Let x be ((-195)/2)/(213/568). Let t = -260 - x. Which is smaller: 1/2 or t?
t
Let i be (-750)/(-8) - (-2 + (-7)/(-4)). Let q be 1 + (-24)/(-168)*i/(-6). Which is smaller: q or 0.1?
q
Let h = -18065 - -18416. Which is bigger: h or -0.1?
h
Suppose 134*s - 61905 = 821959. Is 6594 != s?
True
Suppose -2*f = 4*q + 2*f + 32, 2*f = -6. Suppose -4*m - 3*y = 42, 150*m + 2*y + 6 = 151*m. Is m greater than or equal to q?
False
Let n = -1567 - -2882. Which is smaller: n or 1316?
n
Let f be (-14)/(-6) + 22225/(-75). Suppose 20*a + 2349 + 3491 = 0. Is a > f?
True
Let h = -0.1573 - 5.5727. Which is smaller: h or -0.2?
h
Let c = -84.09 - -84. Let j = -0.084 - c. Which is smaller: 2 or j?
j
Let v = 1.37 + -25.37. Let f = -3 + v. Let p = 26 + f. Which is bigger: p or -0.072?
-0.072
Suppose v + 9 = 3*a - 5*a, -3*v - 17 = a. Let j be 84/63 + a/6 - 40. Which is smaller: 1/3 or j?
j
Suppose -5*c - 5*x = -1990, -90*c + 92*c = 2*x + 780. Is c <= 395?
True
Let r be 159*(-172)/138*(-186)/(-165). Let y = r - -1117/5. Which is bigger: y or 1?
1
Let s be 5 - -6 - 0/2. Let a = 13 - 17. Is s at least as big as a?
True
Suppose -5954 = 140*b - 20374. Is b at least as big as 111?
False
Let q = 76.06 + -74.06. Which is bigger: -9625 or q?
q
Let p = -28 + 33. Let c be -14 - (4 - p) - 0. Let u be 3/2 - c/(-6). Which is bigger: 21 or u?
21
Suppose 5*u = u - 3*v + 44, 44 = 4*u - 2*v. Suppose 1 = -5*h + u. Let l = 6328 + -6328. Is h equal to l?
False
Let n = -1219/40 + 247/8. Let j = 32 + -18. Which is greater: j or n?
j
Let g(d) = -6*d + 18. Let t(v) = 2*v - 6. Let s(r) = 3*g(r) + 8*t(r). Let u be s(3). Is u >= 4/75?
False
Suppose u + 4*u = -3*f + 664, -f + 220 = 2*u. Let h = f - 67. Suppose 0 = 20*x - 27*x - h. Which is bigger: x or -24?
x
Let r = -65599/6 - -10908. Let f = r - -1867/78. Which is greater: f or 0?
0
Suppose 4*j = -5*x + 172, 4*x + 172 = 2*j + 2*j. Let a = -31 + j. Suppose 0 = 7*q - a*q + 165. Is 33 smaller than q?
False
Suppose -9 = 4*y - 5*y. Let q = -205 + 231. Suppose -4*w + 3*b = -q, -3*w + 24 = -w + 4*b. Which is smaller: y or w?
w
Let a = 3 - 8. Suppose 0*z + 3*z + 235 = -5*c, 3*z + 2*c = -247. Let d = -90 - z. Is a at least d?
True
Let f = 735 + -1065. Let m be (-11)/30 - (-44)/f. Let h = 0.5 + -0.3. Which is greater: h or m?
h
Let b = -188 - -191.61. Let r = 53.39 + b. Which is bigger: r or -1?
r
Let s be (301997480/4458350)/((-2)/(-32)). Let o = -1/89167 - s. Let d = 1080 + o. Which is greater: -4 or d?
d
Suppose 3180 = 21885*t - 21991*t. Let y(r) = -r + 4. Let g be y(0). Suppose 3*z + 0*c = 2*c - 87, -4*c = g*z + 116. Which is smaller: t or z?
t
Let z = 199173089074152002/2603 + -76516750234928. Let r = 4528377 + z. Let d = r + 6/137. Which is smaller: 1 or d?
d
Let l = 1