. Let z = o - -506. Which is bigger: l or z?
z
Let b = -28700642/12605355 - 5736/13339. Let o = -6/1097 + 76952/29619. Let r = b + o. Which is bigger: 0 or r?
0
Suppose 2*f = -2*x - 2, 5*f = 2*x + 2*x - 23. Suppose a - 15 = o, 2*a - o = -x*a + 51. Suppose 0 = -8*l + 4*l + a. Which is smaller: 11/6 or l?
11/6
Let a be 8/(-36) - (-2)/9. Let n = 128 + -12. Let z = -118 + n. Which is smaller: z or a?
z
Let v be -71 + 63 - (-30)/(-1). Let d be (v - 4)*(-2)/(-6). Is -103/8 > d?
True
Let u be (2/(-2))/(2/242). Let n be 0 + (-1 + 16/6)/((-1365)/(-234)). Which is bigger: u or n?
n
Suppose -z - j = -20, 0 = -3673*z + 3678*z - 4*j - 64. Is z < -38?
False
Let g = -5196.97 - -5197. Which is smaller: g or 529/3?
g
Let g(l) = l**2 - 20*l + 36. Let p be g(18). Let a(k) = -10*k**3 + 12*k**2 - 14*k + 3. Let f be a(8). Let b = -1110791/249 - f. Is b >= p?
False
Let z = -3151 - -3212. Which is smaller: 2/63 or z?
2/63
Let f(o) = 2*o**3 + 21*o**2 - 7*o + 46. Let g be f(-11). Suppose -3*i = -g*m + 1, -5*m + 6*i = 10*i + 9. Is m at least 1/11?
False
Let x be -11*(6*3/9)/2. Let v = 95669/11 - 8707. Is v less than or equal to x?
False
Suppose 0 = -5*b - 3*s - 820, -3*b - 492 = 11*s - 12*s. Is b at most as big as -159?
True
Let w(z) = -75*z**3 - 2*z**2 + 1. Let j be w(-1). Suppose r - 154 = -2*t, -8*t + 1347 = 11*t - 5*r. Are t and j nonequal?
True
Suppose 16 = -4*n, 3*k + 4 = -n + 3. Let j(s) = -s**2 - 14*s + 49. Let l be j(11). Let q be (4 - 7) + l/75*-1. Which is bigger: q or k?
k
Let n be ((-1)/(-1))/((1 + -5)/1892). Is -478 greater than n?
False
Let a = -88 + 117. Let d = 61 - a. Which is bigger: -2/5 or d?
d
Suppose 12*f + 31*f + 5 = 5. Which is greater: f or -1/8128?
f
Let z = 63 + -245. Let b = 182 + z. Which is bigger: -29 or b?
b
Suppose -7*w = -12*w + 2010. Let s be w/33 - 4/22. Let o be 30/s*(-1)/(-5). Which is bigger: 0.01 or o?
o
Suppose -9*j = -4*j - 240. Let s = j + -44. Let k be 8/(s + 24/20). Is k greater than 3?
False
Let h = -4056.99 + 4057. Let y = 6 + -18. Let g = 8 + y. Which is smaller: h or g?
g
Let m(q) = q**3 + 6*q**2 + q - 4. Let x be m(-6). Let o = -0.715 - -0.055. Let g = o - -0.76. Which is greater: g or x?
g
Let o(f) = -7*f - 14. Let r be o(-4). Suppose 0 = -4*q - 5*l - 61, -3*l = q + 3 + r. Let a be (-134)/8 + (-30)/(-40). Which is bigger: a or q?
q
Let d = 35 - -36. Let t = -139559/1972 - -10/493. Let j = t + d. Which is smaller: j or -2?
-2
Suppose 0 = 4*c - 9*c - 120. Let f = 3273 + -3295. Is c >= f?
False
Let b(h) = -6*h**2 + 3*h + 46. Let o(j) = -4*j**2 + j + 23. Let m(v) = 3*b(v) - 5*o(v). Let n be m(0). Which is smaller: n or 17?
17
Let j = -19556 + 17085. Is -2466 not equal to j?
True
Let m = -3262 - -3262. Is 2/13337 equal to m?
False
Let z = 119453632 + -8719703860/73. Let o = 5634 - z. Which is greater: o or 0?
o
Let s = -0.1 + 0. Let r = 111757 - 112046. Is s less than or equal to r?
False
Let v = -2690 - -2897. Which is smaller: v or 209?
v
Suppose 3*o + 0*o + 3 = 3*z, 3*o + 5*z - 21 = 0. Suppose 1 = o*k - 9. Suppose 0 = -5*p - k. Does -7/11 = p?
False
Let m(z) = 423*z - 2504. Let x be m(6). Which is bigger: -64 or x?
x
Let j be (3/2)/(15/(-380)*2/134). Is -2545 <= j?
False
Let j = -8759 + 8755. Which is smaller: 20 or j?
j
Let q = 340 + -343. Let g = 9101/10 - 5847/20. Let n = -622 + g. Is q greater than or equal to n?
True
Let c = -2183198 - -2180850.058. Let w = 2346 + c. Let s = 0.058 - w. Which is bigger: s or 0.19?
s
Suppose -2*j - 21 = -3*j. Let l = -49 - -6. Let p = l - -65. Which is smaller: j or p?
j
Suppose 3*v = v. Suppose -u - 149 + 691 = -3*q, -4*u + 3*q + 2159 = 0. Let m be u/(-462)*(-8)/630. Which is smaller: v or m?
v
Let v = -46 + 116. Suppose 54 + v = 4*s. Is 30 at least as big as s?
False
Let f(t) = 560*t - 73. Let s be f(1). Which is smaller: s or 0?
0
Let a = -519.3854 - 0.0146. Let v = a + 520. Which is bigger: v or -36?
v
Let f = -20797 + 116837547/5618. Is 0 not equal to f?
True
Let m = -3611 - -3695. Let p(q) = 2*q - 1. Let l be p(2). Suppose -l*y = -185 - 67. Is m at least as big as y?
True
Let i = 10988 - 7970. Which is smaller: i or 3019?
i
Suppose 0 = 2861*m - 2859*m - 5*i - 45, -3*i + 141 = 3*m. Are -4 and m nonequal?
True
Let x = -3 - -3. Let m(n) = -n**3 + 25*n**2 + 143*n + 210. Let q be m(30). Do x and q have the same value?
True
Suppose 6 + 6 = 3*t. Suppose -48*g - 1 = -49*g. Let r be (1 - 1)/7*g/(-2). Which is bigger: t or r?
t
Suppose 5529 = -22*i + 25*i - 60*i. Which is smaller: i or -682/7?
-682/7
Let w = 0.649 - 0.69. Let c = -3.441 - w. Let z = c - -16.4. Does -0.3 = z?
False
Let u = -45450721/12830553 + 2/217467. Which is smaller: u or -5?
-5
Let g = 277 + -498. Let u = 218 + g. Does u = -7?
False
Suppose 0 = -4*m - 7*r - 293, -3*m = -35*r + 36*r + 258. Let p = -114 - -22. Is m greater than p?
True
Let u be 2/7 + 235/770. Let z = -9/22 + u. Let r = 181 + -180.94. Which is greater: r or z?
z
Let z(n) = 4*n**2 + 82*n + 206. Let x be z(-19). Are 90 and x equal?
False
Let h be (-2753 + -48)/((3 - 6)/3*-1). Which is greater: -2803 or h?
h
Suppose 10*k - 1105 + 3225 = 0. Let d = -220 - k. Let v be 33/(-4) - (-2)/8. Does d = v?
True
Suppose 0 = -r + 2*l - 23, -5*r - 5*l + 50 = 135. Let f(k) be the first derivative of 3*k**2 + 24*k + 2. Let i be f(-7). Is r bigger than i?
False
Let v be 2 + -9 + (3 - -21). Which is smaller: v or 21?
v
Let l = -495099 - -13868851/28. Let c = l - 217. Suppose 5*s - 5*m - 30 = 0, -2*s - 2*s = -3*m - 19. Which is smaller: c or s?
c
Let s be (108/324 - (-13)/(-3)) + 4. Is s less than -3/1942?
False
Let b(z) = -z**3 + 18*z**2 - 57*z + 14. Let j be b(14). Which is bigger: j or 4/703?
4/703
Let b = 0.12 + 3.18. Let f = b - 46.3. Which is bigger: 0.1 or f?
0.1
Let v(s) = s**2 - 8*s - 80. Let y be v(-6). Suppose o = -o + 4. Suppose -9*k = -o*k - 21. Is k at most as big as y?
True
Let m = 2/1031 - -9269/5155. Let g = 224 + -230. Let q be 12/18*(-27)/g. Is m equal to q?
False
Suppose -429 = 2*z - 427. Suppose -740 = -0*h - 5*h. Suppose -4 = v - 3, 4*y + 4*v + h = 0. Is z at most y?
False
Let m(s) = -s**3 - s**2 + 1. Let b(w) = -14*w**3 - 3*w**2 - 4*w. Let g(r) = b(r) - 2*m(r). Let t be g(-1). Suppose -12 = -i - t. Is i at most as big as -2/53?
True
Let q = 59 + -55. Let p be (18/q)/(-3) - (-198)/12. Let z be 15/(-12) + p/(-10). Is -2 < z?
False
Let c = -2931 - -2932. Is 2/4201 less than or equal to c?
True
Let b = 5659 - 5719. Which is greater: b or -355/6?
-355/6
Let u be 1080/(-56)*(-8)/20. Let y = -166/21 + u. Does 0.1 = y?
False
Let w = -124 - -123.934. Let q = -1.654 + w. Let t = q + 0.72. Is 0.083 at least t?
True
Let c(l) = -2*l - 8. Let s be c(-4). Suppose s = -29*a + 31*a. Suppose a = -12*w + 11*w + 1. Is 5/7 smaller than w?
True
Let f be (-1 - (-14)/10)*((-705)/80)/47. Which is smaller: f or -0.6?
-0.6
Let h(y) = -y**3 - 7*y**2 + 10*y + 26. Let a be (2/(-3))/(-6 - (-1024)/168). Let d be h(a). Do -44 and d have the same value?
True
Suppose -6*h + 7*h - 1 = -u, -5*h + 12 = -2*u. Let r be 2/12*u*(-8)/(-84). Which is smaller: 0 or r?
r
Let m = -165 - -168. Suppose -q + 5*b = -7, m*q + 1 = b + 50. Is 15 greater than q?
False
Let t(j) = -j**2 + 2*j**2 - 10 + 7*j + 2*j. Let c be t(-10). Let y be (-6)/((-216)/(-20)) - -1. Which is bigger: c or y?
y
Let s be ((-138)/18 + 6)*-6. Let a be 204/(-85) - (-4)/s. Are -13/12 and a nonequal?
True
Let f be (-5 + (-1)/(-1))*(-3)/12. Let a be 0 + f - (-1425)/(-35). Let r = -1259/28 - a. Is r > -6?
True
Let i be 0/2 + (-461)/306. Let o = 1/153 + i. Is -4 <= o?
True
Let h be 2/12*(43 - 43). Is h not equal to 2/28595?
True
Suppose 6 = -s, -34*k + 33*k + 4*s + 198 = 0. Does k = 206?
False
Let h = 4.018 + 0.692. Let p = 4.81 - h. Are -1.4 and p equal?
False
Let j = -132 + 154. Let u = -35 + 30. Let l(c) = -c**3 - 2*c**2 + 13*c + 11. Let t be l(u). Is t equal to j?
False
Let m be 4184/(-1320) + 36/30. Which is smaller: m or -2?
-2
Suppose 147*l + 7579 = 158*l. Do 687 and l have the same value?
False
Let k = -485 - -489.54. Let g = k + -4.747. Is 2/3 equal to g?
False
Let m = -79672 - -165956780/2083. Is 1 <= m?
False
Suppose 13*c - 5379 = -829. Let y be 10/(-4)*320/c. Is -2 < y?
False
Let k = -6363 + 6364. Which is bigger: -1912 or k?
k
Let w = 0.0557 - 182.0557. Let z = w - 281. Do -1 and z have the same value?
False
Let v(f) = f