. Let a = -90 - g. Let m(v) = -4*v**3 - v - 1. Let h be m(-1). Is h less than a?
False
Let i(t) = -t**3 + 75*t**2 - 411*t - 3. Let q be i(6). Let n(d) = d**2 - 2*d - 1. Let v be (-3)/(-3*(-3)/9). Let x be n(v). Is q > x?
True
Suppose 1068*a = 1079*a + 187. Which is smaller: a or -177/11?
a
Let l(r) be the second derivative of r**5/60 + r**4/24 - r**3/6 + 9*r**2/2 + 7*r. Let j(w) be the first derivative of l(w). Let m be j(0). Is 4/9 <= m?
False
Let g = 302 + -293. Is g >= 32?
False
Suppose -4*u = -2*c - 0*c - 8, 3*c = -u - 12. Suppose u = -3*v + 5*v - d + 5, 5*d - 25 = -v. Is 2/7 < v?
False
Let w be (36/(-8))/((-2)/4). Let v(b) = 2 + b**2 + 10*b - w*b - 3. Let z be v(-3). Which is greater: 6 or z?
6
Let y = -93 + 155. Let f(d) = -3*d - 19. Let a be f(-6). Which is greater: y or a?
y
Let t = 80 + -92. Let k(b) = b**2 - 4*b + 7. Let v be k(5). Let h = v + t. Which is greater: h or 1/3?
1/3
Let i be (1/(-2)*-1)/((-15)/66). Let n(m) be the third derivative of -m**5/60 - 3*m**4/8 + 3*m**3/2 + 8*m**2. Let z be n(-10). Which is smaller: z or i?
i
Let i = -1456 + 1458. Let l = -15 - -16.2. Let j = l - 1. Which is greater: j or i?
i
Suppose 0 = 2*j - 13 + 11. Let z = 1307/2860 + 1/220. Which is bigger: j or z?
j
Let b be (-4)/30 - 544/(-30). Which is smaller: b or 16?
16
Suppose -89 = -4*f + p, 3*f - 42 = f - 2*p. Suppose -11*v = -9*v + f. Which is bigger: -9 or v?
-9
Suppose 5*m - 172 = -4*x - 0*x, 2*m - 80 = 4*x. Let t be 2/((-8)/m) - 1. Let h(a) = a - 5. Let u be h(-4). Is t >= u?
False
Let b = -2.1 - -13.1. Let g = b - 7. Let k = -141 - -1267/9. Are g and k unequal?
True
Let b be (-6)/(-320)*(-2)/3. Let q be -19 - -13 - (-2 - 4). Which is smaller: b or q?
b
Let f = 2032 - 2033. Which is smaller: 2/303 or f?
f
Let o = -405.9 - -406. Is 536 less than or equal to o?
False
Let t = -0.08 - 13.92. Let i = t + -3. Let g = -20 - i. Is -1/5 less than or equal to g?
False
Let r = -25.7 + 4.6. Let k = 22 + r. Let m = 1.1 - k. Is 5 > m?
True
Let h = 3.32 - -12.68. Is h bigger than 2/3?
True
Let n = -22 - -37. Suppose n*f + 10 = 25. Is 1/15 equal to f?
False
Suppose -229 = 5*x - 174. Let h(k) = -k**3 + 6*k**2 + 5*k + 3. Let o be h(7). Is o <= x?
True
Let q = 3/103 + 197/309. Let m = 11.6 + -0.6. Which is bigger: m or q?
m
Let k(w) = 3*w**2 - 5*w - 3. Let a be k(6). Suppose -2*f = 3*f - a. Let o be 145/f - 1/(-3). Which is greater: o or 8?
o
Let b be (24/18)/(2/9). Suppose -i - b - 2 = 0. Let r be (-4 + 3)*(i - 1). Is -1 at most r?
True
Let t = 28 + -8. Let u be (-1)/(2/1)*-40. Are u and t equal?
True
Let z = 0.01 + -0.04. Let q = -0.03 - z. Let j = -183/4 + 46. Are q and j non-equal?
True
Suppose -2*c + c + 1 = 2*u, -2*u - 5*c = -5. Is u at most as big as 268?
True
Suppose -5*c - 19 = -2*h, -4*h + 1 - 8 = 5*c. Suppose 9 = -m + 5*n, -6*m + 14 = -2*m + 5*n. Suppose 2*y + 5 = m. Is h at least as big as y?
True
Let k = 10/243 - 64/243. Which is greater: k or 13?
13
Let l(k) = 80*k + 247. Let z be l(-4). Is z smaller than -147/2?
False
Let d be (-54)/(3/9 + (-8)/(-12)). Let u = -53 - d. Is 5/4 < u?
False
Let i = -124/5 - -126/5. Is i < -186?
False
Suppose -4*v + 2*y = -350, -v - 2*v = 2*y - 252. Suppose -81 = 5*s - v. Suppose 0 = a + 5*k + 21, -5*a = -2*k - 2*k - 11. Is s < a?
False
Let x be 3*(-5)/30*2. Let g be (3 - 4)*x/(-1). Is g at most as big as -7/3?
False
Suppose 0 = 7*j - 10*j + 3. Are 2/355 and j equal?
False
Let m = 44.9 + 30.9. Let g = -76 + m. Which is greater: g or 35?
35
Let s be (1 + 74)*(-4)/(-10). Suppose -3*j - 3*j = s. Suppose -6*d = 9 + 21. Is j greater than d?
False
Let l = 9 + 7.2. Let p = l + -11.2. Let t = -5 + 7. Is t at least p?
False
Let c = -11.24 + 10.24. Let d = -0.05 + -0.01. Let s = d + -1.94. Is s >= c?
False
Suppose -9*y - 11*y = 0. Suppose 0 = 4*x - y*l + 2*l - 4, -5*l + 19 = x. Which is bigger: x or -3/29?
-3/29
Let j = 17 + -10. Let q(b) = -b**3 + 7*b**2 + b - 10. Let g be q(j). Let x be 84/195 - g/(-15). Which is smaller: -1/2 or x?
-1/2
Let n = 20.6 + 69.4. Let l = 63 - n. Which is smaller: l or -0.2?
l
Let j be 5/33 + 2/(-6). Suppose -6*n + n = -3*m + 40, -4*n - 35 = -3*m. Suppose -5*p + m + 0 = 0. Which is bigger: p or j?
p
Let h = -2 + -11. Let c(v) = -3*v - 25. Let f be c(h). Which is bigger: 13 or f?
f
Let d be 4/(-6) - (-728)/(-42). Let u be d/24*4/(-6). Suppose 2*y = 4*y - 2. Which is bigger: u or y?
y
Suppose f + 4 = -w - 2, -5*f - 3*w - 36 = 0. Suppose 12*h + 32 = 8*h. Do h and f have the same value?
False
Let u = 0.03 - 12.03. Suppose 5*b + 3*c = 110, b - 5*c + 8 - 2 = 0. Let r(g) = g - 19. Let f be r(b). Which is bigger: f or u?
f
Let y = 325.8 - 326. Is -7 at least as big as y?
False
Suppose 0 = 7*a - 10*a + 12. Suppose -a*t + 3*d + 138 = -7*t, -5*d = 3*t + 130. Which is bigger: t or -52?
t
Suppose -4*w = -58 + 10. Let x be 4*3/w*-2. Let d be x/(4*3/(-6)). Which is greater: 2 or d?
2
Let t = -7 - -10. Let i(o) = -4*o**3 + o + 1. Let p be i(-1). Are t and p equal?
False
Let u = 93 - -85. Which is smaller: 177 or u?
177
Let f = -29 + 37. Let y be 3*2*f/324. Are y and 0 nonequal?
True
Suppose s + s - 5*p - 34 = 0, -2*s + 46 = p. Suppose -6 = 4*k - s. Suppose 8 = 2*b, -3*b + 3 = -k*u - 1. Which is smaller: u or 1?
1
Let h = 0.7 + -0.8. Let c = 12 + 5. Let w = c + -16.86. Is w > h?
True
Let z = 12 - 10. Let l(s) = 2*s**3 - 4*s**2 - 1. Let p be l(z). Which is bigger: 1/27 or p?
1/27
Let w(a) = 18*a**2 + 77*a + 10. Let o be w(-4). Which is smaller: -7 or o?
o
Let p be -18*(52/(-12) + 4) - 0. Let m be p/(-8) + (-2608)/(-3136). Which is bigger: m or 1?
1
Let p = -153 - -195. Is p less than 40?
False
Let z(w) = 183*w - 1288. Let s be z(8). Which is smaller: 180 or s?
s
Let d(k) = 3*k - 11. Let n(a) = 119 - 2*a - 108 - a. Let l(o) = 5*d(o) + 6*n(o). Let b be l(-5). Which is smaller: 27 or b?
b
Let i = -187.7 + 216. Let z = -28 + i. Do 1.8 and z have different values?
True
Let o = -5 - -1. Let u(f) = 7*f - 161. Let v be u(22). Which is greater: v or o?
o
Let t(w) = w**3 + 9*w**2 - 15*w - 20. Let c be t(-13). Is -500 smaller than c?
False
Let i(p) = -8*p + 12. Let h(g) = 3*g - 4. Let q(m) = -11*h(m) - 4*i(m). Let s be q(-6). Is 13/4 not equal to s?
True
Suppose 0 = 5*l + g - 1, 2*l + 2*l - g + 1 = 0. Suppose l = 5*v + 5, -v - 17 = 2*p + 2*v. Is -8 less than or equal to p?
True
Let m = 8 - -2. Let y be 4/m + (-140)/(-25). Let p be ((-15)/y - -2)*-14. Is p greater than or equal to 0?
True
Suppose -4*c = -f + 3*f - 20, 3*f + 25 = 5*c. Suppose 2*z + 3*z + 2*w - 26 = f, z - 16 = -4*w. Suppose 66 = z*s - s. Is s less than 22?
False
Suppose 0 = -5*i - 2*k, 5*k = 6*i - i. Is i at most -1?
False
Let x = 22 + -21.95. Let k = x + 8.95. Let v = 10 - k. Which is smaller: 6/5 or v?
v
Let u be -4*((-57)/12 - -5). Which is greater: u or -3/41?
-3/41
Let m = 0 - 6. Suppose -2*x = 125 + 37. Let s = x + 77. Is s greater than or equal to m?
True
Let n(q) = 2*q + 4. Let t = -14 + 20. Suppose -t*z + z = 15. Let x be n(z). Is -2 at most as big as x?
True
Let j be ((1 - 42) + -1)*(21 + -20). Let y = 41 + -82. Are j and y nonequal?
True
Let j = -162/25 - 28/25. Are -7 and j non-equal?
True
Let f = -0.218 + 0.22. Let v = f - 0.102. Are -0.2 and v equal?
False
Let j = -115/238 - -4/7. Let x = -10/17 + j. Which is greater: -1/6 or x?
-1/6
Let s = 11 - 3. Let o = s - 7. Let w be 20/(-35) + 46/56. Is w > o?
False
Let l(o) = -8*o**2 - 6*o - 7. Let u be l(-3). Which is smaller: -62 or u?
-62
Let a(k) = -k**3 + 7*k**2 - 5*k - 3. Let x be a(6). Let i be 12/x + 1*-10. Let m be (-4)/(-6) - 68/12. Is m smaller than i?
False
Let c be 70 - (-4)/(12/(-3)). Which is smaller: 70 or c?
c
Let q(w) = -17*w - 114. Let t be q(-6). Which is smaller: t or -14?
-14
Let y = -1054 - -1055. Is y at most as big as 5?
True
Let r = 3144961/2730 - 1152. Is 0 at least as big as r?
False
Let d = -1.78 - -1.8. Let h = d + 3.98. Do -2/5 and h have different values?
True
Let g = -1 - 3. Let o = -8 - -10. Let m = -3 + o. Which is greater: g or m?
m
Suppose 0*t - 8 = -2*t. Suppose t*h + 3*i + 2 = 4, -i - 2 = 0. Suppose -2*x - 5*z = 9, 3*x + 0 = h*z - 4. Is x at least -2?
True
Let f = 1.22 + -1.12. Which is bigger: f or -1/69?
f
Suppose 14*j - 62 = 120. Suppose 49 = -5*v - 3*x + 2*x, 0 = 2*x - 2. Let f be 2/10 - 118/v. Which is smaller: j or f?
f
Let w = 92 - 90. Let h be (-3 - 2)/(-3 +