pose -6 = 5*b - 6. Suppose b = -3*n - 0*n + 12. Suppose 2*l - 10 = -2*g - n, 10 = 4*g + 2*l. Is g bigger than 7/5?
True
Suppose -22 = 7*k + 3*o, 20 = 5*k - o - 4*o. Which is smaller: 16/33 or k?
k
Suppose 0 = 2*m + 14, -5*i - 2*m + 5903 + 1823 = 0. Is 1546 at least as big as i?
False
Let w = -34448/21 - -1640. Let j be -2 - 1 - (8 + (-6 - 14)). Suppose 6*k = -3*k + j. Is k at most as big as w?
False
Let x = -0.506 - -1.506. Let w(u) = -10*u + 4. Let g be w(3). Is g smaller than x?
True
Let v = -11.49 - -2901.49. Which is smaller: -1/3 or v?
-1/3
Let j be (28/(-12) + 2)/((-10)/(-60)*2). Let b(l) = -l**3 + 3*l**2 + 4*l + 3. Let n be b(4). Let d(k) = k**2 - 4*k + 4. Let i be d(n). Which is smaller: i or j?
j
Let p = 18690 + -19652. Is -962 at most p?
True
Let q be (-6)/5*440/132. Let y be (23 + -24)*(-3 + 2)/q. Which is bigger: -27/2 or y?
y
Suppose -27449 = -2*a - 2*l - l, 5*a + 5*l - 68630 = 0. Let k = 205856/15 - a. Let n = 118/15 + k. Are n and 2 equal?
False
Let w = -0.03 - 0.07. Let d = 0 + -69. Let y = -70 - d. Which is smaller: w or y?
y
Let c = 16190 - 17918. Are -1724 and c equal?
False
Let x = -54.6 + 0.6. Let z = x - -49.2. Let u = 4.8 + z. Which is smaller: -0.4 or u?
-0.4
Let d(x) be the third derivative of x**6/120 - x**5/20 - 5*x**4/24 + 4*x**3/3 + 29*x**2. Let q be d(4). Let p be 2 - 2 - (-20)/q. Which is bigger: 4 or p?
p
Let r be 3004*(-23)/(828/27). Which is bigger: -3/4 or r?
-3/4
Let z = -19540883/901 - -21688. Let k = z + 2/2703. Which is greater: k or -1?
k
Let x be (0 - -1) + 44/(-1). Suppose -r + 3 = 3*w - 3, -r = 4*w - 8. Let c be (-2 - r)/((-18)/(-387)). Are x and c equal?
True
Let n = -633 - -660.9. Let c = -24.9 + n. Is -81 greater than or equal to c?
False
Let v = 48 - 54. Suppose 3*a + 238 = 58. Let l be -2*1*a/(-18). Which is smaller: v or l?
l
Let o be (-2)/(1/((-215)/(-2) + -2)). Let c = 174 + o. Which is smaller: c or 1?
c
Let g = 35.76 - 32.76. Is 128/5 not equal to g?
True
Suppose 0 = 2*m - 3*m - 28. Let k = -208003 - -623929/3. Is k at least m?
True
Let o be (-14 + 1)/(-1) + -7 + 6. Let i be 4 + (o/18)/((-1)/6). Which is greater: -1/198 or i?
i
Suppose 0*l - 147 = 7*l. Let k = l + 20. Let u be (-244)/(-300) - 1/3. Which is bigger: k or u?
u
Suppose 11*z - 22 - 44 = 0. Let r be ((-9)/2)/(75/(-800)). Suppose 8*v - 16 = r. Does v = z?
False
Let n be 1/(-16)*6 + (-16055)/(-26600). Let j be (-2)/(-1) - 3/3. Is j <= n?
False
Let w(c) = -547*c - 7117. Let l be w(-13). Is l > -196?
True
Let s = -959761/430 - -2232. Do -5 and s have the same value?
False
Let c be (56/12*(-54)/12345)/((-1)/5). Is -1 < c?
True
Suppose -5*r - 3*a = -6*a - 476, -5*r - a + 468 = 0. Suppose -3*g - 5*x + 409 = 0, x + 6 - 5 = 0. Let d = r - g. Which is smaller: d or -43?
d
Let a(n) = -15*n + 103. Let s be a(7). Let p be (-2)/(-6) + (-14)/(-21)*s. Are -9/19 and p nonequal?
True
Let r be ((-17384)/530)/((-1468)/(-10)). Which is bigger: 1 or r?
1
Suppose -5*t - 4*a - 186 = 0, 2*t - a - 3*a + 80 = 0. Suppose -5*d - 3*q + 14 = -51, 3*d - 2*q - 20 = 0. Let p = t - d. Is -2 less than p?
False
Let b = -96 - -94. Let a(c) = -10*c**3 - 4*c**2 + c + 9. Let m be a(b). Which is greater: m or 1?
m
Suppose 175*y - 88*y - 84*y - 1440 = 0. Which is bigger: y or 479?
y
Let v(x) = x**3 + 20*x**2 + 20*x - 7. Let j be v(-11). Suppose -8*h = -1186 - j. Is h smaller than 256?
False
Let h = -11 - -12. Let y be ((-14)/(-9))/(-7) + 80/198. Let q = 37/385 - y. Is q bigger than h?
False
Let q(g) = 14*g + 2116. Let y be q(-151). Suppose -3*i + 5*i - 12 = 5*z, 3*z = -5*i - 1. Suppose 2*b - i = 3*p, 0*p + 4 = -4*p + 2*b. Is p < y?
True
Let l = 414 - 373. Let u = l + -56. Let i = 25/12 - 7/4. Which is greater: i or u?
i
Suppose 2*p - 6*p + 64 = 0. Suppose -o - 3*o = p. Let n = -36/913 + -4446/913. Is o smaller than n?
False
Let b = -21154 + 21155. Which is bigger: 16.8 or b?
16.8
Let m = -96 + 95.9919. Let f = m + -12.9919. Let t(p) = p - 5. Let w be t(6). Which is smaller: f or w?
f
Let g = -465132665 - -4403876079593/9468. Let q = -327/11 - -344015/11572. Let x = q - g. Which is smaller: x or 0?
x
Suppose -3*z - 7 = -5*a, -4*z - 3*a + 9 = -7*z. Let i be z/20 + 248/40. Which is smaller: 5 or i?
5
Let m be (47 - 44)/((-3)/19). Which is smaller: m or 2/53?
m
Let o(y) = -3*y**2 - 167*y - 8. Let v be o(-51). Let g be v/(-12) + 9/(-54). Suppose 6*k = 4*k - 118. Is k >= g?
True
Suppose 91 = 3*k - l, 8*l + 34 = k + 4*l. Let m be (54*4/k)/((-1)/(-10)). Is m at least -1?
True
Suppose 2*n = 4*k - 607 + 627, 5*k - 4*n + 34 = 0. Let h(d) be the second derivative of -d**4/6 - d**3/6 - d**2/2 - 2*d. Let f be h(-1). Is f greater than k?
False
Let i be (7/(-6))/((-33)/((-4752)/64)). Is -9 < i?
True
Let h = 400 + -403.1. Let j = h + 2.9. Which is greater: j or -4/29?
-4/29
Let f(j) = j - 29. Let l be f(-6). Suppose -4*m - 5*q = -116 + 5, -5*m + 145 = 5*q. Let b = m + l. Which is smaller: -6 or b?
-6
Suppose -5*g - 38 = 2. Let o be -4 - g - 0 - 1. Suppose -d + 100 = o*d. Which is bigger: d or 26?
26
Suppose -2*a + 26 = -5*u - 29, -2*a - 33 = 3*u. Suppose 3*p - 3*i = 705, 3*p + 3*i + i = 670. Suppose -18*g - p = 5*g. Which is smaller: u or g?
u
Let p(v) = -v**3 - 24*v**2 - 43*v + 22. Let w be p(-22). Suppose -1 = 5*u + b, w = 4*u + u - b - 1. Is u <= -0.47?
False
Let q be (-3)/((-2418)/1210 - (-2 - 0)). Let y be ((-12)/q*-1)/((-4)/30). Is -1 bigger than y?
False
Suppose -85*j - 101 = -186. Are 21/88 and j non-equal?
True
Suppose -q = -2*h - 348, h + 4 = -h. Let k = 324 - q. Are -15 and k nonequal?
True
Let t = -9528 + 32911. Is t at most -1?
False
Let m = -53 + 107. Let j = m + -92. Let n = j + 37.9. Which is greater: n or -13?
n
Suppose -103*k + 781 - 3562 = 0. Which is bigger: -8 or k?
-8
Suppose 0 = 26*b - 19522 + 125394. Which is smaller: b or -4071?
b
Let h be 4*(5 - (-652)/(-16)). Let o = h + 68. Do -75 and o have the same value?
True
Let h be (14 + -11)/((-3)/147) - 2. Is -153 equal to h?
False
Let k = 553 + -620. Let b be -4 + 3 + 195/(-3). Is b >= k?
True
Let s = 16/57 + -3337/5187. Which is smaller: 1 or s?
s
Let s = 190 - -114. Let p = s + -303.41. Is p < -0.1?
False
Let w = -27352 - -33543. Which is bigger: w or 18569/3?
w
Let j(u) = 56*u**3 - 132*u**2 + 30*u - 126. Let a be j(8). Is 20338 at most a?
True
Suppose -30 - 120 = 10*n. Let l be 2 - n/(-2) - (-30)/(-20). Is 8 greater than l?
True
Let o(b) be the second derivative of b**4/6 - 3*b**2/2 - 59*b + 2. Let d be o(-1). Is d > -5/64?
False
Let m(x) = -6*x**2 + 135*x - 65. Let f be m(22). Which is greater: 2/179 or f?
f
Suppose 21*o + 96570 = 19248. Is o at most as big as -3682?
True
Let w = -1217.02 - 73.08. Let j = 1344 + w. Let o = -8.1 - j. Which is bigger: 0.1 or o?
0.1
Let b = -51 - -51.075. Let y = b + 0.305. Let f = y + -0.39. Which is smaller: f or 1?
f
Let t = -269 + 7265/27. Let j be (-19 - 89)/27*2*(-3)/(-24). Is j at most as big as t?
True
Let n = -653 + 5233/8. Suppose -5*f + 215 = -190. Let r = f - 81. Is r equal to n?
False
Let t be (69/(-2))/((-44)/8 - -5). Suppose q + 2*g = 3*g - 65, q = -3*g - t. Is q greater than -66?
False
Suppose 0 = -2*i + 4*v + 10, 3*v = -3*i + 4*v. Let y be (-10)/(-34)*(-7 - (-945)/125). Which is smaller: i or y?
i
Let z = 53 - 47. Let i = 0.086 - 1.566. Let l = 0.52 - i. Is z at most l?
False
Suppose 13*y = 217 - 100. Suppose 0 = -s - 0 - 2, -l + s = 1. Let z be 1/(1/(-27)*l). Is z less than or equal to y?
True
Let a(c) = c**2 - 19*c + 90. Let d be a(8). Suppose -d*q + 3*f - 7 = 3*q, 5 = -3*q + 2*f. Is q bigger than 2/43?
True
Suppose 23*d = 18*d - a - 1617, 12 = 4*a. Which is greater: -323 or d?
-323
Suppose -5*u - 3 = -4*d, -u = 4*d - 7 - 2. Suppose -11*n + d = -9*n. Let z be ((n - -4) + -2)/(-74). Which is bigger: z or 1?
1
Let a = -2/37 + 77/740. Let l(x) = -15*x + 16. Let z be l(1). Which is smaller: z or a?
a
Suppose 3*y = -3*v - 2643, -4*v - 1977 - 1561 = -3*y. Let h = -593 - v. Is h at most 291?
True
Suppose 29 = -4*h + 5*t, 3*h - 3*t + 5 + 13 = 0. Let i be 33/(-132)*-1*4. Let v be h/((2 + 12/(-4))/i). Is v > -2/5?
True
Let v(i) = -1132*i - 6802. Let t be v(-6). Let z(x) = 3*x + 12. Let a be z(-10). Is t at least a?
True
Suppose -2*x + q = -20200, -21516 + 61940 = 4*x + 10*q. Is x greater than or equal to 10103?
False
Let l(t) = t - 6 + 17 - 2 - 1. Let z be l(5). Which is 