)/22. Let l be (2/o - 0)*-1. Which is smaller: l or -4?
-4
Let f = 65.1 - 65. Which is smaller: 2 or f?
f
Let h be (-1)/(-3) - 98/(-3). Suppose 1 + 11 = -4*t, -5*b + h = -t. Is 7 < b?
False
Let w = -0.12 - -0.72. Let k = 16.7 + -16. Let p = -0.3 - k. Is w at least as big as p?
True
Let m = -14 + 10. Let g = -2 - m. Is g less than -0.3?
False
Let k be 68/51*3/(-106). Which is smaller: k or -1?
-1
Let m be 16/244*3/(-2). Let s = -13/488 + m. Suppose -5*q + 5 = -0. Is s greater than or equal to q?
False
Let a = -3 - -2. Let r = -62 - -60. Which is bigger: r or a?
a
Let j be 5/2*1/8*-2. Which is smaller: -2 or j?
-2
Let h = 121 - 124.05. Let y = -0.05 - h. Is 0.1 equal to y?
False
Let l be 144/(-14) - 8/(-28). Is l <= -11?
False
Let u = -23/42 + 3/14. Let o = 4 + -2. Let j = 1 - o. Is j >= u?
False
Let c(m) = -35*m - 2. Let h be c(1). Which is bigger: -38 or h?
h
Suppose 4 = 3*i - i. Let w be i/((-4)/(-202)) - 1. Let c be 6/4 + w/(-56). Are c and 2/7 equal?
False
Let i = 63 + -56.7. Let c = 1.3 - i. Which is smaller: c or 1?
c
Let r(w) be the first derivative of -w**4/4 - w**3/3 + w**2 - 6. Let k be r(1). Is 1/7 at most as big as k?
False
Suppose -p = -2*r + 4*r - 6, -3*p = 2*r - 14. Suppose 0 = -3*m - w + 3*w - 17, m = -p*w + 13. Let i(a) = -a**2 - 6*a - 3. Let d be i(-6). Are m and d non-equal?
False
Let n = 1 - -3. Suppose -3*l = 3*l - 18. Suppose k - 4*k = l. Is k at most as big as n?
True
Let t(k) = 2*k - 10. Let z be t(7). Suppose 0 = 2*v - 5*s + 7, s - 25 = -4*v - 2*s. Is v at least z?
True
Suppose 0 = 3*j - 1 - 8. Let l(x) = -x**3 + 13*x**2 - x + 17. Let p be l(13). Is p < j?
False
Let t = -4 + 2. Let g = t - 0. Is g greater than -2/7?
False
Suppose -d + 5*d = 12. Let t be 0/(-2 - (d - 3)). Which is smaller: -1/3 or t?
-1/3
Let n = 257 + -170. Which is smaller: 86 or n?
86
Let s = 0.5 + -0.3. Let t = 0.1 - s. Let q(x) = -2*x**2 - 5*x. Let g be q(-3). Which is bigger: g or t?
t
Suppose 3*d + 6*b - 2 = 2*b, 0 = -2*d - 5*b + 6. Is d smaller than 8?
True
Let f = -0.17 - -0.87. Which is bigger: -1/3 or f?
f
Let u(c) = -c**2 + 4*c + 2. Let o be u(4). Let a = 2 - o. Let n = -43/147 + -2/49. Is a >= n?
True
Let b(d) = -d**3 - 8*d**2 + 7*d - 11. Let n be b(-9). Let z be 3 + 0 + -1 - -3. Which is smaller: z or n?
z
Let p = 104 - 102. Suppose 4*f - 5*t = 12, -2*f - 3*t - 16 = -0*f. Let l = p + f. Is l at most -1?
False
Suppose -2*o = 2*f - 28, -3*o - 2*o = -2*f. Suppose 5*l = -5 - f. Suppose -9 = c - 4. Which is greater: c or l?
l
Let g(a) = -a + 13. Let t be g(10). Suppose t*j + 0 = -3. Is -2/7 >= j?
True
Let o be (-1*2 - 0)*2. Let s = -6 - o. Let f = -32 - -34. Is s at least f?
False
Let k = 91 + -89. Is k < -1?
False
Suppose -3*r - r = -8. Suppose r*n = n + 3. Is 1 <= n?
True
Suppose -2*p - 4 - 13 = -q, 0 = 5*q - p - 94. Let r = -37/2 + q. Which is smaller: 2 or r?
r
Let m = 0.8 + -0.9. Which is greater: -5 or m?
m
Suppose -c - 2 = -0*c. Let v be c/(-3) + (-150)/9. Does v = -17?
False
Let u = -677217529/990 + 684058. Let o = u - -1/99. Which is smaller: -1 or o?
-1
Let j = -43/10 - -1237/290. Does j = -1?
False
Let c = 7 - 7. Suppose 2*t - 3 = 4*y - 9, -9 = -3*t - 3*y. Is t <= c?
False
Let v(i) = -i - 1. Let q be v(-2). Let p be (8/220)/(-3 - (-68)/20). Is p != q?
True
Let l = 4 - 1. Suppose 5*s = l*s + 408. Let x be (s/(-21))/4 + 2. Is x less than or equal to -1?
False
Let m = 1.919 - -0.031. Let g = -2 + m. Which is bigger: g or 1/3?
1/3
Let v(g) = -g + 2. Let b be v(3). Suppose -i - w - 10 = -3, -10 = 2*w. Are i and b unequal?
True
Let l be 3 + (-87)/27 - 184/(-18). Which is smaller: 15 or l?
l
Let m = -909 + 5449/6. Let i(f) = f**3 + 3*f**2 - 5*f - 6. Let a be i(-4). Which is smaller: m or a?
a
Let n(m) = m**3 - 5*m**2 - m + 3. Let h be n(5). Let q be (2/(-1) - h) + 0. Let b = -51/4 - -13. Which is smaller: b or q?
q
Suppose -43*i - 2 = -41*i. Which is bigger: -3/17 or i?
-3/17
Let l = 0.4 + -0.3. Let y(r) = r**3 + 6*r**2 + 5*r + 9. Let h be y(-5). Which is smaller: l or h?
l
Let k = 0.029 - 5.029. Is 2/3 at least as big as k?
True
Let x be (-2)/((1 - -3) + -2). Is x at most as big as -0.13?
True
Let b = 0 + 2. Let s = -0.2 - -0.2. Let x = 0.1 + s. Which is smaller: x or b?
x
Let o be (-2)/4*452/(-7). Let l = 32 - o. Suppose -r = -0*r - 3. Which is bigger: r or l?
r
Let d be (2/4*0)/(-1). Suppose r + d*r = -5. Which is smaller: r or -6?
-6
Let s = 0 + 3. Let a be -3 + (1 - (-9)/s). Let p = a + -1. Which is smaller: 3/5 or p?
p
Let l = 5.8 + -0.8. Let u = -12 + l. Is u at most as big as 0?
True
Let b = 28/345 + 2/345. Suppose 4*q - 9 = -4*f + 3, -q = 5*f - 15. Is b at least as big as q?
True
Let x = -9.9 + 11. Let u = 1.32 + -0.32. Let h = u - x. Are -0.1 and h equal?
True
Let g be (-45)/(-6)*(-2)/3. Let r = -19 - -27. Let m = r + g. Is 2 >= m?
False
Let v = 49/20 + -27/10. Which is smaller: v or 2/61?
v
Let o = 2 + -2.3. Let j = 0.3 + o. Which is greater: j or -2/5?
j
Let k be (3 + (-2 - -1))/2. Let u(w) = w**2 - 1. Let x be u(1). Is k less than x?
False
Let f = -22.8 + 23. Which is bigger: -2/7 or f?
f
Let c = -3 - -6. Let x(o) = o - 4. Let m be x(c). Does -1/7 = m?
False
Let l = 0.1 - 1.1. Are -4 and l equal?
False
Let t = 107.9 + -103. Let x = 5 - t. Is -1 not equal to x?
True
Let m = 3 + -1. Suppose -v = m*v - 6. Let q = v - 2. Is 1 < q?
False
Suppose 4*c = 6*c - 32. Let k be (10/c - 1)*-12. Let f = 4 - k. Is f equal to -1/4?
False
Let f = 7 + -4. Let b be f*(3 - (-44)/(-14)). Is b at least as big as -4?
True
Let a be -2 - 0 - 12/(-5). Let u = 0 + 0.2. Let p = 0.4 - u. Is p greater than or equal to a?
False
Let b(x) = -x**2 - 4*x + 2. Let o be b(-4). Let k be 1 + -2 - o/(-2). Let p be (-26)/56 + (-4)/14. Which is greater: p or k?
k
Let m = -0.21 + -0.09. Does -1/7 = m?
False
Suppose 5*o - 2*c = 4, -8*o + 3*o - 2*c - 4 = 0. Is o equal to 7/20?
False
Let b = -80 - -398/5. Let i = 0.1 - 0.1. Let q = -1 - i. Which is greater: q or b?
b
Let c = 0.05 + -0.08. Let p = 0.23 + c. Is 0.2 greater than or equal to p?
True
Let q = 3 + 0. Suppose -2*r - 5*w = 8, q*w = 7*w + 8. Is r at most 1?
True
Suppose -30 = -6*t + 3*t. Suppose 2*r - 6 = t. Which is bigger: 7 or r?
r
Let x be 5 + (0 - 3/3). Suppose x*g - g + 3 = 0. Which is smaller: g or -4/7?
g
Let w be (-13)/(1*(2 - 3)). Let v = w + -9. Suppose -q + 2*t = -14, -38 = -5*q + 7*t - 5*t. Is v less than or equal to q?
True
Let v = -3/5 - -21/10. Let h = 22 + -67/3. Are h and v nonequal?
True
Let d = -905/33184 - 3/544. Do -1 and d have the same value?
False
Let o(s) = -s - 10. Let c be o(-11). Is c >= -1/12?
True
Let t(b) be the second derivative of -b**5/20 + 5*b**4/12 - 2*b. Let m be t(5). Suppose -a + m + 1 = 0. Is -1/3 at most a?
True
Let a(z) = 18 - 5 - z + 7. Let q be a(19). Does q = 1?
True
Suppose 4*z + 2*b + 62 = 0, -b + 16 = -2*z - 5. Which is greater: -14 or z?
z
Let q(m) = -2*m**2 + 32*m - 29. Let r be q(15). Let o be 46/42 - (-1 - -2). Which is bigger: r or o?
r
Let d(w) be the first derivative of w**4/4 + 2*w**3/3 + 3*w**2/2 + 2*w + 2. Let r be d(-2). Let c be r/(-2)*2/(-14). Is c <= 0?
True
Let i = 0.383 - -0.017. Which is bigger: i or -2/5?
i
Let o = -5 - -8. Let v = 2.9 - o. Which is bigger: -2 or v?
v
Suppose -14*x + 25 = -9*x. Let h be 2/4 + (-9)/(-2). Is h greater than x?
False
Let j = 6.3 - -0.7. Let z = 7.1 - j. Is z <= 0.01?
False
Let d = 952 - 2942/3. Let p = -27 - d. Which is smaller: 1 or p?
1
Suppose 2*t = 3*t - 2. Let i = 166 - 494/3. Is i at least as big as t?
False
Let f(r) = -r**3 - 3*r**2 + 5*r + 6. Let i be f(-4). Which is bigger: i or 4/7?
i
Let m be 3/81*66/(-4). Let b = m + -1/18. Which is greater: -1 or b?
b
Suppose 10 = 6*g - g. Suppose g*p + 2*p + 3*b + 12 = 0, -5*p + b + 4 = 0. Which is smaller: -2/9 or p?
-2/9
Suppose -4*c - 45 = 5*k, 19 = -c - 4*k - 6. Which is greater: -7 or c?
c
Let h = 289/56 - 30/7. Which is smaller: h or 0?
0
Let d(r) be the first derivative of r**2/2 - r + 3. Let m be d(4). Which is greater: m or 0.1?
m
Let v = 18 - 12. Let u be (-10)/(((-18)/(-3) - 2)/(-2)). Is u equal to v?
False
Let k be (-6)/8 + 12/8. Let p = 5 - 4. Is k >= p?
False
Let j(f) = -2*f**3 + 3*f**2 + 3*f. Let x be j(4). Let u be x/28 - (2 + -5). Does u = 2?
False
Suppose -2*s + 4*a = -20, 3*s - a - 5 = -2*s. Suppose 0*l - 4*g = -2*l - 2, -3*g = 0. Which is smaller: l o