et k be w(f). Is k greater than 1/4?
True
Suppose -i - 3*v + 4*v = 0, -5*v = 0. Which is greater: 1/54 or i?
1/54
Let h(l) = -2*l - 3. Let p(o) = o - 7. Let f be p(3). Let w be h(f). Suppose -2*k + 10 = -x - 4*x, -w = -2*x - k. Which is bigger: x or -1?
x
Let y be (35/(-10))/(1/2). Let s(c) = -c**2 - 9*c - 9. Let k be s(y). Let b(g) = g**2 - 6*g - 2. Let q be b(7). Does q = k?
True
Let w = 0.8 - -0.2. Let c = w - 2. Let k = -0.01 - -1.01. Which is bigger: k or c?
k
Suppose -4*k = i - 3 - 11, 0 = -i + 4*k - 10. Let m be (8/12)/(i/6). Suppose m*p = 4*p. Are 0 and p equal?
True
Let u = -49/2 - -25. Let h = 42 - 41. Is u > h?
False
Suppose 2*f - 4*u + u - 2 = 0, 2*f - u + 2 = 0. Let w(j) = j - 2. Let q be w(0). Let p = q - f. Is -1 at least p?
False
Let x = -0.01 + -0.04. Let w = -89.95 + 93. Let n = x + w. Which is smaller: n or -1?
-1
Let g be (194/(-3))/(7/15). Let k = 139 + g. Are k and 1 nonequal?
True
Let t = 8 - 5. Suppose -2 = 5*d + t. Let v = 4.1 + -5.1. Is d at least v?
True
Let h = -3 - -5. Suppose h*l = l + 3*x + 23, -x = -5*l + 101. Suppose -3*d = d - l. Which is smaller: 4 or d?
4
Let k be (4 + (3 - 7))/(4/2). Is k > -2/133?
True
Let b = 532 + -5856/11. Which is greater: 1 or b?
1
Let r = -7 + 7.1. Which is bigger: -21 or r?
r
Let h be 2/(-14)*7/30. Let p be (-4)/6 - (-4)/(-12). Is p bigger than h?
False
Let w be 3/(-3) + (-1893)/(-3105). Let k = w + -2/207. Which is bigger: -2 or k?
k
Let r(l) = l**2 + 3*l - 1. Suppose 0 = 3*s + 6, -n + 10 = -4*n + s. Let o = n + 1. Let y be r(o). Which is smaller: y or -2/3?
y
Let f = -5/272 + -923/8976. Which is smaller: 0 or f?
f
Let b = -4 + 6. Let u = -3 + b. Which is bigger: u or -3?
u
Let i be (-3)/(-9) - 40/(-6). Suppose 2*o = o + 2. Suppose -i + o = -d. Are 1 and d non-equal?
True
Let p = -12 + 19. Let u(m) = -2*m + 3 + m + 3 + 0. Let t be u(p). Which is bigger: t or 10?
10
Suppose -12*i = 5 + 19. Which is smaller: i or 1?
i
Let w be (-2 - (-1)/(-1)) + 1. Let a = w + 2. Are a and 1/23 non-equal?
True
Let g be (-1)/(3*1/(-12)). Suppose 0 = 5*m + g*v + 41, -m - 5*v - 13 = -3*v. Let z = -3 - 1. Is z less than m?
False
Let m be (-3 - 20/(-4)) + -4. Which is bigger: 2 or m?
2
Suppose -3*a - 52 = -4. Are a and 1/2 equal?
False
Let g = 76.65 - 0.65. Is g at most as big as -1?
False
Let b(f) = f**3 + 4*f**2 - 6*f + 1. Suppose -2*u - 2*j = 12, -4*u - 3*j + 0*j = 23. Let x be b(u). Let d be 15/(-36) + (-2)/x. Is -2 smaller than d?
True
Let m = 26 + -12. Let s = -19 + m. Which is greater: -6 or s?
s
Let d = 0.38 + -0.28. Is -1/2 > d?
False
Suppose -44 = -4*t - 2*v, t - 5 = -2*v + 3. Let a = t + -7. Which is smaller: a or 6?
a
Let a = -133 + 65. Let p be a/(-8) - 2/4. Let m(h) = h**3 - 7*h**2 - 7*h - 10. Let d be m(p). Is d >= -2?
True
Let k = 1.95 - 0.15. Let b = 2 - k. Which is smaller: b or 0?
0
Let j = 0.3 - 0.4. Is -2 < j?
True
Suppose 2*v = 4*v + 5*s - 7, 2*s - 2 = 0. Let c be (v - 2)*(-3 + 2). Is 1 at least as big as c?
True
Let x = -23.5 + -0.5. Let v = x + 25. Is 1/2 smaller than v?
True
Suppose -5 = -3*b + 7. Let i = -5 + b. Which is greater: 1/12 or i?
1/12
Let h = -4 - -18. Which is smaller: h or 4?
4
Suppose -y + 0 = 3, -4*n + 5 = y. Let u be -3 + n + (3 - 4). Is u >= -0.1?
False
Let v be (3/27)/((-1)/(-3)). Let d = 0.041 - 2.341. Let u = 0.3 + d. Which is smaller: u or v?
u
Let k = 15 + -14. Let l be (-6)/8*(-4)/(-1). Let r be l - -2 - (-5)/4. Which is greater: k or r?
k
Let g = -0.23 - -0.24. Let q = -9.91 + 10. Let p = g + q. Is p greater than 1?
False
Let j = -2 - -3. Let g(y) = -y**2 - 3*y. Let u be g(-3). Suppose -2*z - z = u. Which is smaller: z or j?
z
Suppose -5*w = -12 - 8. Suppose 0 = -2*n + w*n - 6. Are n and 3 equal?
True
Suppose -5*n - 8 = 2. Let i = -3/65 - 121/195. Which is smaller: n or i?
n
Let o be ((-4)/(-3))/((-462)/1134). Is o <= -2?
True
Suppose 4*v + 9 = 5. Which is smaller: v or 1?
v
Suppose -3*r - 3 = -2*n, -5*n - 5 = -r - 4*r. Let c be (4 + -1)*n/18. Let h = -159 - -1747/11. Is c > h?
False
Suppose 4*s + 20 = 0, 3*k + 15 = -0*k - 3*s. Suppose k*g + 4 = g. Suppose 0 = -5*p + 10, p = 5*h + 3*p - g. Is h < 1?
True
Let j = -0.7 + -0.3. Which is bigger: 0.2 or j?
0.2
Let t be 43/9 + (-4)/(-18). Which is bigger: t or 3?
t
Let v = -0.33 - -2.33. Which is smaller: v or -10?
-10
Let j(r) = r**2 + 4*r - 1. Let f be j(-5). Let p be ((-4)/5)/(1/(-5)). Let d = 6 - p. Is f greater than d?
True
Let i = 1381/10 + -138. Let c be (-60)/5*(-1)/2. Let v = c - 6. Are i and v nonequal?
True
Let h(g) = 5*g**2 - 36*g - 7. Let q be h(7). Which is smaller: -40/3 or q?
q
Let d be -4*((-28)/16 + 3). Let s(r) = 7*r**2 + 3*r + 23. Let b(w) = -3*w**2 - w - 11. Let t(z) = 9*b(z) + 4*s(z). Let u be t(d). Which is smaller: u or 4?
u
Let t(h) = h**3 + 18*h**2 - 13. Let k be t(-18). Is -13 <= k?
True
Suppose i - 18 = -4*f, -4*f = -i - 3*i - 28. Suppose -b + f*b + 2*v + 6 = 0, -5*v - 15 = -5*b. Let k = 0 + 0.3. Which is smaller: b or k?
b
Suppose x = 6*x + 5. Let o = 6/11 + -64/77. Let z = -13/21 - o. Is z at most x?
False
Let d be (12/(-10))/((-15)/100). Which is bigger: d or 7?
d
Let s = 0.79 - 0.69. Let x = 21 + -41/2. Is s at least x?
False
Let d(i) = i**3 - 4*i**2 + 3*i + 4. Let j be d(3). Suppose -j*s - 12 = 0, -3*t - s - 27 = 3*s. Which is smaller: -7 or t?
-7
Let u = -0.06 - -3.06. Let g be ((-2)/28)/(3/12). Let o = g - 1/21. Which is smaller: u or o?
o
Let n be 150/35 - 2/7. Suppose 4*w - n*i - 44 = 0, 5*w + 2*i - 5*i - 61 = 0. Let c be 2/6*(-12)/w. Which is smaller: c or -0.1?
c
Suppose -2*u + 4 - 2 = 0. Suppose -3*c - u = -4. Which is smaller: -2/5 or c?
-2/5
Let x be (0 + -2 + 3)*-8. Let m = x - -11. Suppose 2*h - 4 = v, 2 = 4*h + v - 6*v. Is m less than h?
False
Suppose 0 = -0*d - 5*d + 70. Let r be 4/d - (-2)/(-56). Suppose z - 11 = 4*t, -3*z = 6*t - t + 35. Which is smaller: t or r?
t
Let u = -667/7 - -96. Suppose 12 = -z + 14. Which is greater: u or z?
z
Suppose -2*y + 6 = -0. Suppose 2*r + 16 = -y*z, 1 = z + 5*r + 2. Which is smaller: -7 or z?
-7
Let f = -0.02 - 0.78. Let g = f + 0.5. Let o = 36 + -107/3. Which is bigger: g or o?
o
Let t(m) be the second derivative of -m**5/20 + m**4/12 - m**3/6 - m**2/2 + m. Let z be t(-1). Suppose i - z - 2 = 0. Does 3 = i?
False
Suppose -3*k - 5 = 2*k. Let y = k - 0. Let c be ((-6)/(-15)*y)/(-2). Is -1 > c?
False
Suppose q + 3*b + 3 = 2, -4*b - 33 = -5*q. Let f be ((-12)/9)/(1/(-3)). Which is smaller: f or q?
f
Let h be ((-12)/4)/(-75)*4. Is h < 1?
True
Suppose 8*w - 3*w = 0. Suppose w = r + 3*r + 16, -2*r = -p + 13. Is 0 at least as big as p?
False
Let t be 273/196 - 15/12. Let b(k) = k + 5. Let l be b(-6). Which is smaller: t or l?
l
Suppose -10*n + 7*n = 171. Let h be -1 + 2 + (-352)/6. Let a = n - h. Is 2 bigger than a?
True
Let r be (-7 - 1) + (-6)/2. Suppose -182 + 62 = 12*o. Which is bigger: o or r?
o
Suppose -5*k - 135 + 10 = y, 4*y = 0. Which is smaller: -24 or k?
k
Suppose -10 = -2*s - 5*d, 5*s = -0*d + 4*d - 41. Is -21/5 at least as big as s?
True
Suppose -j - 39 = 5*o + 3*j, 4*o - j + 27 = 0. Which is greater: 0.2 or o?
0.2
Let j be (47/(-94))/((-2)/(-4)). Let a = 0.4 + -1. Is a less than or equal to j?
False
Suppose -5*t + 3*l + 13 = -12, 2*l = -t - 8. Suppose 0 = -5*u - t*w + 3*w, 23 = -3*u - 4*w. Let d be (-3)/15 + 17/35. Which is smaller: u or d?
u
Let c be (1 + -1)*19/57. Which is bigger: c or -5/6?
c
Let g = 6 + -2. Suppose -c + 0*c = g. Let o be (-1)/(1*(-3 - c)). Is o <= 3/7?
True
Let z = -12 - -12.7. Let n = -0.3 - z. Let g = 2.701 + 0.299. Which is smaller: n or g?
n
Let s = -76 + 74. Is 0 < s?
False
Let b = 0.2 - 0. Let x = -0.179 - 11.921. Let q = 12 + x. Which is smaller: q or b?
q
Let q = -1 - 0. Let s = q + 0. Let c = 83.1 - 83. Is c bigger than s?
True
Let d be (-135)/595 + (-6)/(-21). Which is smaller: d or 1?
d
Let p(c) = 3*c - 1. Let o be p(-2). Let h be 2/(-7)*o/9. Is 0 at least h?
False
Let n = 73 + -293/4. Which is smaller: n or -11?
-11
Let l = -80.28 + 80. Is l at least as big as 0.1?
False
Let p be 0 - -3 - (-3 + 4). Is 5/3 <= p?
True
Let g(k) = -7*k + 3. Let j be g(2). Is -11 greater than or equal to j?
True
Let w = -2192/73 - -30. Which is bigger: 1 or w?
1
Let z(d) = -d**2 - 17*d + 34. Let v be z(-19). Let y be ((-3)/(-1))/(3/(-4)). Is v < y?
False
Let m = -0.081 + -3.919. Which is smaller: m or 0?
m
L