s smaller: -1 or l?
l
Suppose -3*h + 5 + 10 = 3*x, 3*h + 13 = 4*x. Let b = 7 - x. Let o be 9*(7/b - 2). Do 5/3 and o have the same value?
False
Let i = 2361/52 - 181/4. Let v(g) = -g + 11. Let c be v(10). Suppose 1 = -2*d - c. Is i bigger than d?
True
Let t = -16 + -9. Let u be (t/(-5))/(4 - -3). Which is bigger: 2 or u?
2
Let n = -654 + 646. Which is smaller: n or -10?
-10
Suppose -13*i - 4492 = -4661. Is 28 smaller than i?
False
Let r(x) = -84*x - 171. Let k be r(-2). Which is greater: k or -35/11?
k
Let t = 0.146 - -0.054. Which is bigger: 4/3 or t?
4/3
Let z(x) = x**3 + 5*x**2 - 33*x - 2. Let f be z(-10). Is -172 != f?
False
Suppose 145 = -5*y - 700. Let m = y - -165. Is m smaller than 18?
True
Let q be 12/18 - (-22)/3. Let d(n) = n**2 - 9*n + 2. Let g be d(q). Let w be 8/(-4)*g/4. Is w less than 1?
False
Let p = 1.502 - 0.102. Let d = 7 + -5. Is d bigger than p?
True
Let k be (-12)/(-2) + 2 - 156. Is k greater than -1042/7?
True
Let t be (-6)/(-4) + 40/(-16). Which is greater: t or -4/533?
-4/533
Let l be (9/(-45))/((-7)/35). Do l and -111 have different values?
True
Let x = -1.74 + 8.64. Let i = x - -5.1. Is i less than or equal to -2/7?
False
Suppose 0 = -32*n + 333 + 115. Which is greater: n or -0.02?
n
Suppose -11*c = -10*c, 4*c - 4 = 2*t. Which is bigger: t or -147?
t
Let u be (28/(-35) - -4)*-5 + -5. Is -23 at least as big as u?
False
Let j be 52/(-21)*(-3060)/(-120). Which is smaller: j or -64?
-64
Let b = 9/106 + -275/742. Let s = 26/9 - 28/9. Which is smaller: s or b?
b
Let p(k) = 22*k + 1. Let y be p(1). Suppose -y*w = -16*w - 161. Which is smaller: 22 or w?
22
Let r = -771 - -10018/13. Which is smaller: 1/7 or r?
r
Let s(x) = x**3 + 11*x**2 + 17*x - 22. Let f be s(-8). Is 135/4 greater than or equal to f?
False
Let a = -2 - -5. Let k be -8 - ((-4)/1 + -6 + 6). Let x be a/(k + 3) - -8. Which is smaller: 6 or x?
x
Let k(j) = j**3 - 6*j**2 - 8*j + 6. Let u be k(7). Let i(y) = y**3 - 3*y**2 - y + 4. Let s be i(3). Let v be u/(10/(-12)) - s. Is 0 bigger than v?
False
Let p(a) = -a**2 - 9*a. Let r be p(-9). Suppose 4*n = -5*x + 15 + 2, 5*x - n - 2 = 0. Is x greater than r?
True
Suppose -2*b + 6*b + 121 = 5*h, 4*b = -3*h - 145. Let d = 113 + b. Is d at least 80?
False
Let f = -0.011 + -36.989. Let l = f + 36.98. Is 2 at most as big as l?
False
Let p(f) = f - 5. Let a be p(5). Suppose -1088 = 5*q - q. Let c = q - -2998/11. Is c greater than or equal to a?
True
Let u = 1273/22 - -744/11. Which is bigger: u or 126?
126
Suppose -2*c = 0, 5*c - 3 = 3*y - 4*y. Suppose -4*z = 2*k + 8 + 10, 4*k = y*z - 3. Is -30/7 less than z?
True
Let p = -86 - -87. Let c be 51/(-221)*2/2. Which is bigger: c or p?
p
Let d be -15*(-1 - 6/(-8)). Let q be (3/84)/(66/8). Let i = -65/231 - q. Are d and i unequal?
True
Suppose -2*b + 88 = -138. Let m be (8/(-4) - b) + 4. Let n be 4/2*(-3)/m. Which is smaller: 1/2 or n?
n
Suppose -3*n + 4*n = 3. Suppose n = -a + 5*q, 0 = -2*a + 2*q - 6*q + 22. Which is greater: a or 8?
8
Let h = -28211/7 - -4045. Which is greater: h or 0.1?
h
Let r be (570/(-45))/((-2)/(-3) - 0). Is r > -1.2?
False
Let t = -14.1 - -14.2. Which is smaller: t or -460?
-460
Let s = 0.83 + 0.17. Let r = 7 - 7.06. Let j = 0.94 - r. Are j and s unequal?
False
Let l(w) = 2*w + 2. Let t be l(3). Let k = -5 + t. Let p be (16/(-28))/(((-16)/(-24))/(56/(-12))). Is p greater than or equal to k?
True
Let i = -4787/5891 - -34/43. Which is smaller: 1 or i?
i
Let v = -0.755 + -0.245. Which is bigger: -343 or v?
v
Let j = 188 - 745/4. Let s = 5 + -3. Suppose -b + s = -0. Do j and b have the same value?
False
Let l be ((-16)/(-10))/((-7)/((-140)/(-8))). Let f(b) = b**3 - 4*b**2 - 8*b - 11. Let c be f(l). Is -0.1 less than c?
False
Suppose 11*c - 71 = 160. Suppose o = -3, -5*o = 2*f - c - 12. Which is bigger: f or 23?
f
Suppose -n + 2 = 0, n - 2*n - 62 = -4*a. Let k be (36/a)/((-356)/53008). Let g = -335 - k. Are g and 1 unequal?
True
Suppose 2*u - 10 = -3*j, -4*u - 8 = 2*j + u. Let i = -4 + j. Suppose -g - 1 = -i. Which is smaller: 4/5 or g?
4/5
Let q = 124 + -65. Let d = -17 + q. Is 43 less than d?
False
Let o be 324/(-12 + 6)*(-2 - 1). Is o greater than or equal to 162?
True
Let k = -634.2 + 338.6. Let s = 267 + k. Let u = s + 29. Which is smaller: -0.5 or u?
-0.5
Suppose 4*y - 3*y = 0, -v - 5*y = 30. Suppose -6*u - 404 + 180 = u. Is u less than or equal to v?
True
Let l = -2944.08 - -2944. Let x(s) = s**3 - 2*s**2 - 3*s + 1. Let i be x(3). Which is smaller: l or i?
l
Let x(k) = -k**3 - 5*k**2 - 4*k + 6. Let z be x(-5). Let c = -63 + 90. Which is greater: z or c?
c
Suppose f = -f. Let h(u) = u**3 - 17*u**2 + 29*u + 21. Let g be h(15). Let c = g + -5. Which is bigger: c or f?
c
Let f = 1077 - 1077. Do 4/119 and f have the same value?
False
Suppose 0 = -2*f + 4*w + 24, 3*f + 0*f - w = 11. Let p be ((-4)/59 - 0)/f. Which is bigger: p or -1?
p
Let m = 2.87 - -0.23. Let d = m - 4.1. Is 0.13 at least d?
True
Let r be (4/(-8))/((-2)/(-24)). Let g be r/21 - 51/(-7). Suppose u - g = -0*u. Which is greater: u or 13/2?
u
Let g be (-8)/36 + (-2)/(-2016)*92. Are g and -0.1 nonequal?
True
Suppose 8*r + 4*r = -12. Let t be ((-1)/(-60))/(-3*5/(-20)). Is r not equal to t?
True
Suppose -2*a = -4*a. Let r be ((-18)/60)/((-15)/4). Is r >= a?
True
Let y be 633/12 - 1/(-4). Let b be -3*416/(-60)*10/4. Is b >= y?
False
Let x(q) = q**2 - 14*q - 61. Let z be x(18). Suppose 180 = -14*w + z*w. Is w != -61?
True
Let x = -0.51 + 0.1. Let r = -0.31 - x. Which is bigger: -17 or r?
r
Let t be (-76)/437 + 0/(-2). Suppose -81*g - 4 = -77*g. Which is bigger: t or g?
t
Let m be (-8)/10 - 1768/(-85). Let l = 21 - m. Which is greater: l or 2/9?
l
Let a(t) = 2*t**2 - 21*t - 20. Let z be a(11). Let f be -2*((-18)/(-4))/z. Is 72 equal to f?
False
Let v = -2549 - -7741/3. Which is smaller: 32 or v?
v
Let w = -3 + 5. Let f = -817 + 786. Which is greater: f or w?
w
Suppose 10 = -5*f, 4 = -s + f + 5. Let n = -920/4727 + -2/163. Which is greater: n or s?
n
Let j = 5 + -3. Suppose -3*h - b - 3 = -2, -5 = h - j*b. Do h and 0.7 have the same value?
False
Suppose 142*i = 85*i - 57. Which is smaller: 7/78 or i?
i
Let d be (-1)/(-2)*1/(-4). Let t = d - -13/8. Let r be (-2)/5*5/(-2). Which is smaller: t or r?
r
Let x = -45 + 75. Let t be (1/(-2))/(5/x). Which is smaller: -5 or t?
-5
Let j = -23.966 - 0.034. Let o = 20 + j. Which is greater: o or -0.2?
-0.2
Let a be (-10286)/20 - (-4)/100*-5. Let d = 489 + a. Is -26 less than d?
True
Let t be 1/3*(948/18 + (-770)/165). Let j(y) = -y - 2. Let l be j(-2). Suppose l*i - i = -17. Is i > t?
True
Suppose p - 1 - 3 = 0. Suppose 0 = -2*j + p*j. Is j at most -11/8?
False
Let d(v) = -100*v - 439. Let o be d(-8). Which is smaller: 360 or o?
360
Let u(o) = o**2 - 6*o + 4. Let v be u(1). Which is smaller: v or 0.15?
v
Suppose i = 3*i + 2. Let y = -21453/13585 - -156/95. Let n = 1/11 + y. Which is smaller: i or n?
i
Suppose -2*y - 5*r - 8 = 0, -2*y + 20 = -5*r + 3*r. Suppose -y = -2*x - 4*n, -4*x + 2*x + 21 = n. Suppose 2*t - 3*t = x. Is -11 at most t?
False
Let d = 118.712 - -0.288. Let c = -88 + d. Which is smaller: c or -1?
-1
Let l(g) = -4*g - 18. Let j(r) = r**3 + 11*r**2 + 2*r + 14. Let p be j(-11). Let x be l(p). Let w = x + -14. Do w and 1/12 have different values?
True
Suppose -2136*x + 144 = -2145*x. Let w be 1/3 + 49/(-3). Is x smaller than w?
False
Suppose -5*q = -g + 1, 0 = 3*q - 2*g + 1 + 1. Let d be (-1444)/9 - (-42)/(-14). Let x = -163 - d. Is x at most q?
False
Let i = -106 + 99. Let g be i/(-3)*(-44)/4158. Which is bigger: g or 0?
0
Let i(a) = -5*a + 12. Let w be i(5). Let y(d) be the second derivative of d**5/20 - d**4/2 - 4*d**3/3 - 7*d**2/2 + 3*d. Let o be y(7). Is o equal to w?
False
Suppose -6*r = -24*r + 288. Which is smaller: 3 or r?
3
Let t = 403 - 403.019. Is -0.4 at least t?
False
Let s(x) = -x**3 + 32*x**2 - 33*x + 105. Let t be s(31). Are 259/6 and t unequal?
True
Suppose -62*u + 12*u = -5400. Which is smaller: u or 109?
u
Let l(p) be the third derivative of 0 + 1/12*p**4 + 2*p**2 + 0*p + 1/2*p**3. Let x be l(-2). Which is greater: x or -1/8?
-1/8
Let r = -0.298 + 0.198. Is r at least 31?
False
Let a be -2*(-3)/((-3)/(-1)). Suppose -2*w = -4 - a. Let u = 47 + -45. Which is smaller: u or w?
u
Let f(n) = -8*n + 1. Let z be f(-2). Suppose -2123*v + 