et d(z) = 5*z - 31. Let b be (2/1)/(6/30). Suppose -4*w - 36 = -b*w. Let f be d(w). Which is greater: f or 2/139?
2/139
Suppose -144*g = -136*g - 3008. Let h be (-2 - -1)/(8/g). Which is greater: -49 or h?
h
Let o = 143.69 + -146.056. Which is bigger: -2/5 or o?
-2/5
Let v be 10*-1 - (-113)/(138990/16920). Is 5 smaller than v?
False
Let i = -209 - -290. Suppose 5*b - 3*b = -7*n - i, 2*n - b + 31 = 0. Is -5/6 at least n?
True
Let g be ((-3)/21)/(-6 - (-230)/30). Which is bigger: -4 or g?
g
Let h = 239 - -184. Let z = h - 439. Let p = -7 + 9. Which is bigger: z or p?
p
Let k be -6 + (-116)/(-20) + 102/210. Suppose -5 + 2 = 3*i. Is i smaller than k?
True
Let o = 207290 + -821855/4. Which is smaller: o or 1825?
1825
Let f(t) = 11*t - 64. Let g be f(6). Suppose -241*i + 243*i + g = 0. Is i greater than 66?
False
Let r(c) = 1667*c + 161590. Let v be r(-97). Suppose 5*i + 5*y = -520, 3*i = -i + y - 441. Is i > v?
False
Suppose -c - 22*v = -27*v + 30, 0 = -v. Suppose -k = q - 3*q + 30, 5*k - q + 141 = 0. Is k greater than c?
True
Let d be (-14573)/2394 - 12/54. Is d smaller than -6?
True
Let o be (-5 + (-4135)/(-825))/((-4)/42*5). Is -3 <= o?
True
Let l = -126314 - -636979/5. Let p = l - 1077. Is p bigger than 5?
False
Let u = -1725/7 - -246. Let z be 2*6*24/18. Let q(n) = -n**3 + 15*n**2 + 17*n - 16. Let t be q(z). Which is smaller: t or u?
u
Suppose -3*n - 992 = 4*y - 3*y, 1291 = -4*n + 5*y. Let u(k) = -247*k + 659. Let h be u(4). Is h > n?
False
Let w = 170890 - 170889. Let b(k) = 3*k + k + 2 + 0 + 4*k**2. Let n be b(-2). Which is smaller: w or n?
w
Suppose -5*p - 11 = l, 34*p = -2*l + 35*p. Which is smaller: l or -1/1132?
l
Let q = -8304 - -8298. Which is smaller: q or 29?
q
Let p(s) = -s**3 + 29*s**2 - 57*s + 80. Let q be p(27). Is q at least as big as 13/190?
False
Let j be ((-23)/3)/(106/636) - 4. Which is greater: -341/7 or j?
-341/7
Let m = -12 - -20. Let u be (2/m)/(8/(-32)). Do u and -10/7 have different values?
True
Suppose 0 = 3*h + 2*h + 185. Let v(n) = -6*n**2 + 8*n + 7. Let z(m) = -5*m**2 + 8*m + 8. Let k(y) = -4*v(y) + 5*z(y). Let g be k(12). Which is bigger: g or h?
g
Let m = -10/5837 - 809153/1278303. Is -2 > m?
False
Let f be (-6438)/8 + -14 - 28/(-4). Is -2/3 > f?
True
Let k = 511 - 461.8. Let m = -49.3 + k. Which is smaller: -21 or m?
-21
Let a be 4 - 48/15 - 76054/605. Which is bigger: -126 or a?
a
Let z = -296 + 296.292. Let t = z - -2.808. Which is smaller: t or -0.08?
-0.08
Suppose 2*p = 16 - 8. Let z be (-444)/10*(p + (-66)/9). Let q = -111 + z. Are q and 37 unequal?
False
Suppose 4*d = -24, 3732 + 16236 = 5*w - 3*d. Is 3990 <= w?
True
Suppose o = -2*o + 3*g + 33, 0 = -2*o - 4*g + 22. Suppose o*q - 357 = 4*q. Which is smaller: q or 52?
q
Let g = -30699/5105243 + 12/2717. Which is smaller: g or 0?
g
Let s(p) = 5*p - 23. Let o be s(5). Let g(v) = -114*v - 11. Let j be g(o). Which is smaller: -240 or j?
-240
Let t = 611093/345 - 32826/23. Let g = t + -1627/5. Let s = -18 + g. Which is smaller: -5/4 or s?
-5/4
Let x(z) = -2*z**2 - 8*z - 2. Let p be x(6). Let j = 375804 + -375925. Which is greater: p or j?
j
Let g(b) = b + 9*b**2 - 29*b**2 + 1 + 9*b**2 - 5*b. Let d be g(-3). Is d <= -86?
True
Let f be ((-2)/4 - 0)*0/(-30). Suppose f = -x - 38*p + 36*p + 148, -3*p = -2*x + 296. Is x at most as big as 147?
False
Let l(j) = -3*j**3 - j**2 - 8*j - 4. Let n be (-1 - 3)/(16/(-4) - -6). Let b be l(n). Let m = 31 + 0. Does m = b?
False
Suppose -b = -2*i - 681, -5*b + i + 1602 + 1821 = 0. Let k = b + -967. Let h be ((-2)/1)/(k/(-6)). Is 1 >= h?
True
Let n = -5 + 8. Suppose a + 21 = -4*k, -k + 9 = a - n*k. Let s = -523147/515 - -5079/5. Which is smaller: a or s?
a
Let n = 1175.98 - 1176. Let r = -0.28 - -0.4. Which is smaller: n or r?
n
Suppose b + 8*i - 3*i = -276, 3*b = -5*i - 828. Which is smaller: -273 or b?
b
Let y = -5579 + 5680. Which is smaller: 123 or y?
y
Let t be 2/((-600)/(-1985)) - (-2 + -2). Let p = -51/5 + t. Suppose -2*a = -3*m + 3*a - 17, 2*a = -3*m + 11. Is m at least p?
True
Let s = 9225 - 9235.64. Is s at most 1/11?
True
Let p be (-2 - 1)*(-112)/(-48). Let d be -2*(3 + -10)*p. Let b = 98 + d. Is b at most as big as -6/19?
False
Let f = -0.109 - -0.109. Is f at least -4187?
True
Let y = 78.01 + -78.265. Is y at most as big as -0.54?
False
Let b(o) = -4*o**2 + 2*o + 4. Let t be b(0). Let p = -114 - -118. Suppose 3*k - t*d = -12, k = -5*d + p*d + 3. Which is smaller: k or -4/15?
-4/15
Suppose -5*n + 0*n + 3*p = -1355, 5*p + 293 = n. Let t be 2/(-5) - 1/10. Do n and t have different values?
True
Let s be 2/6*(15 + 0). Suppose 2*z - 6 = 0, -2*b - b - 12 = -s*z. Let p be ((-7170)/(-1026) + -7)*-9. Which is smaller: b or p?
p
Suppose -t + 3*a + 12 = -1, -5*t - 3*a + 11 = 0. Suppose 4*c - 4*q - 20 = -5*q, -t*c + 44 = -5*q. Suppose -127 = -3*o + 3*k + 71, -c = 2*k. Is 63 < o?
False
Let u = -185971/53 + 3509. Which is smaller: u or 21?
u
Suppose 5419 = 5*t - 4*v, 1061 = t - 52*v + 55*v. Which is smaller: 1080 or t?
t
Let t be ((-44)/33)/(16/(-60)). Suppose 9*w - 12*w - 3*z = -30, z - 50 = -t*w. Is w less than 10?
False
Let j = 0 - 0.073. Let k = -65.073 - j. Let h = 65.1 + k. Is h greater than -1?
True
Let n = -70 + 71. Suppose 12*o = 13*o + n. Suppose w + b + 5 = 0, -3*w - 3 = -5*b + 4*b. Which is smaller: w or o?
w
Suppose -5*k - 97 = 8*y + 38, 5*k + y = -100. Which is smaller: -9/2 or k?
k
Let v = 35.85 - 35.49. Is v less than 13/3?
True
Suppose -9*n + 3*k + 18 = -10*n, 4*n = 5*k + 30. Which is bigger: -37/131 or n?
n
Let x be ((-100)/(-15))/(6/9). Let l be 2/x + 58/10. Suppose -28 = -3*d - 4*d. Are d and l non-equal?
True
Let q = 775 + -761. Suppose 11*i + q*i - 200 = 0. Is 24 smaller than i?
False
Let q = 1997 - 2367. Which is smaller: -373 or q?
-373
Let d = -45 - -47. Let t(u) = -18*u + u**d + u**3 + 12*u**2 + 15*u + 26*u + 6. Let j be t(-11). Which is bigger: -6 or j?
j
Let r = -6.88 - -13.88. Do r and -103 have different values?
True
Let v = -82981.2 + 83258.2. Let p = 0.1 + -0.3. Is v less than or equal to p?
False
Let p = 3.2 + -3. Let w = -0.89 + 41.89. Let h = -29 + w. Which is smaller: h or p?
p
Let m(i) = i**2 + i - 1. Let d be m(0). Let w be ((-15)/(-1092))/(1/(-74)) - d. Is 1 at least as big as w?
True
Let o be 21/(-84) + (5 - 38/8). Is 203 < o?
False
Let f = -5662 + 4852. Which is bigger: f or -812?
f
Suppose 12*u = 2*u. Let a be (-6)/531*(-2)/2. Which is bigger: u or a?
a
Let a(s) = -127*s**3 - 2*s + 10 + 3*s**2 + 3*s + 2*s - 9. Let m be a(-1). Which is smaller: 127 or m?
127
Let u be ((-4)/21)/((-2)/(-3)). Let i be 1125/40625*2*2/(-18). Which is smaller: u or i?
u
Let i = -273 - -192. Let v = i + 127. Is v at least 2?
True
Suppose -32 = -10*x + 18. Suppose 9*a = x*z + 4*a - 85, -5*z + a = -69. Let i be ((-10)/(-30))/(z/(-5)). Which is smaller: 1 or i?
i
Let l be (-2)/(-6) - 52/(-6). Let t = -12845/2 + 6058. Let h = -356 - t. Which is smaller: h or l?
h
Suppose 9 = g + x + 3*x, 5*g - 13 = -4*x. Let v be ((-72)/(-90))/(g/(-235)). Which is bigger: v or -189?
v
Suppose 11*g = -11, -g = -5*v - 3*g - 7. Which is bigger: v or -1/2255?
-1/2255
Let b = -19 - -21. Suppose -2*v = 2*v + 3*s - 3, -4*v - b = -2*s. Suppose -5*l = 3*f - 13, -f + v*f = -4*l + 7. Which is greater: 1 or l?
l
Let p = -58 + 86. Suppose -i - 33 + p = 0. Which is smaller: i or -0.4?
i
Let n = -7.11 - -7. Let x = 0.23 + n. Let l = -3.1 + 3. Is x equal to l?
False
Let f = -22/48671 + 1035670319/243355. Which is smaller: f or 4256?
f
Let z be -6 + (20691/6955 - -3). Let n = z - -7/214. Which is smaller: n or 0?
0
Suppose -12*v = -33 - 3. Suppose 0 = 2*o + x - 10, x = v*o - 3 - 2. Suppose -f - 31 = -2*j, o*j + 49 = -4*f - 42. Do -24 and f have different values?
True
Let h = -74 + 119. Let p be 19/(-10)*30/h. Which is greater: p or -1?
-1
Let g = 48 + -48. Is -0.52 greater than g?
False
Suppose 0 = -w + 4 - 1, 5*w = -3*d + 213. Suppose 58*p + 8 = d*p. Do p and 2 have the same value?
False
Let h be (17/(30600/324))/(2*3/(-10)). Let u be 19/(-12)*(-1 + -3). Let r = -6 + u. Which is bigger: h or r?
r
Let f be (-214)/(-749) + (-33808)/(-7). Which is smaller: f or 14491/3?
f
Let d be (-11 - 619)/((-3 + 2)/(-1)). Let a be (-1)/2 - 339/d. Do -1 and a have the same value?
False
Let n = -781 - -769. Is n greater than or equal to -173?
True
Let d be (-2 - (-2