et o = 107.14 - 108. Let z = 0.14 - o. Is -2 less than z?
True
Let n = -800634/17 - -46715. Let d = -381 - n. Let w = 50 - 49. Which is greater: d or w?
w
Suppose 22*l - 19*l + 576 = 0. Which is bigger: -191 or l?
-191
Let w = -21 + 22. Is w at most 2/25?
False
Let j = 0.39 - 1.39. Is j smaller than 16?
True
Suppose -z = -11 + 1. Let r be 108/(-14) - z/35. Which is smaller: -7 or r?
r
Let q = -1 - -3. Let l be (1 + 0)/(3 - q). Let a(d) = -d**3 + 6*d**2 - 8*d + 1. Let v be a(4). Is v greater than or equal to l?
True
Let w = 0.3 + 0.7. Do w and 1/11 have the same value?
False
Suppose -5*m - 61 = z - 1, m - z + 18 = 0. Let q = -8 - m. Let g = -7 + q. Is -1 at least as big as g?
True
Suppose 4*r - f - 3 = 2*f, 3*f = 3*r. Suppose 2*m - 2 - 4 = 0. Suppose 0*c = -r*j - 2*c + 1, -5*j = m*c - 2. Which is smaller: 2 or j?
j
Let x be -2 - ((-1808)/(-1302) + -3). Let k = x - -15/31. Is -1 < k?
True
Let k be (-2)/20 - (-2)/(-4). Let r be 6/8 - (-3)/(-12). Which is smaller: k or r?
k
Let q = -0.1 - 0. Let i(j) = j - 3. Let u be i(4). Suppose u - 4 = 3*k + f, 3*k - f = -9. Is k >= q?
False
Suppose c = -2*b - 3, 0 = 6*b - 3*b + 2*c + 6. Which is greater: b or -18/23?
b
Suppose 4*p = -35 - 181. Is -54 bigger than p?
False
Suppose -x - 18 = -6*h + 3*h, -3*x - 54 = -3*h. Which is bigger: x or -17?
-17
Let j(u) = 2*u + 17. Let d be j(-9). Let h be 8/(-12) + 13/(-21). Which is greater: d or h?
d
Let y be ((-1)/(-3))/((-4)/(-36)). Let g = y - 6. Let t be ((-1)/g)/(1/3). Which is greater: 1/4 or t?
t
Let x = 85 - 87. Which is smaller: x or -1/4?
x
Let m = -9 + 16. Let w be (m/21)/(2/15). Which is bigger: -2/3 or w?
w
Let o be (-9795)/(-33) - (-4)/22. Let l be (-4)/(-22) - 153/o. Let k be (-2)/(-4) - 1/2. Is l less than or equal to k?
True
Suppose 32 = 2*f + 4. Which is greater: f or 16?
16
Let s = 107/7 + -113/28. Is -1 bigger than s?
False
Let l = 5 + -5. Suppose 0*x + 2*x - 2 = 0. Let h be (-26)/18 - (-1)/x. Is h < l?
True
Let r = -1.43 - 0.57. Which is smaller: r or 0?
r
Let w(o) = 19*o**3 + 2*o**2 + 3*o + 2. Let g be w(-1). Let h be (-45)/g - (-1)/(-2). Which is greater: 4/7 or h?
h
Let b = -2/479 + 3363/2395. Is -2/5 at least as big as b?
False
Let m(c) = -1 - 5 + 0 - c**2 + 7*c. Let j be m(6). Do 1/4 and j have different values?
True
Suppose -5*o - 2*j - 38 = 0, 4*j = -4*o - 37 + 9. Let s be o + -3 + 4 + 1. Is s at most as big as 0.1?
True
Suppose 4*j + 20 = -0*j, 3*d + 3*j = -15. Suppose -3*o + 2*t + t - 18 = d, -2*o + 23 = 5*t. Which is smaller: o or -2?
-2
Let r = 4 + 0. Let f(g) = 4 - 2 + r + 2*g. Let w be f(-4). Which is smaller: -3 or w?
-3
Suppose 5*t - t = -4*t. Are -3/43 and t non-equal?
True
Let t(u) = u + 4. Let y be t(-5). Let w be y - ((-7)/5 - 0). Let g = 10 + -10. Which is smaller: w or g?
g
Let d = -80 + 398/5. Is d smaller than 1/6?
True
Let i be -4*1/2 - (-1 + 5). Let o = -21 + 15. Is o >= i?
True
Suppose 11 = -5*i - 14. Let n(y) = y**3 - 6*y**2 + 5*y - 3. Let c be n(5). Which is bigger: c or i?
c
Let h(v) = v**3 - 2*v**2 - 2*v + 3. Let j(s) = s**2 + 2*s + 2. Let g be j(-2). Let z be h(g). Do z and -1 have the same value?
True
Let j = 6/89 + -113/356. Is j greater than -0.085?
False
Suppose 5 - 2 = 3*g. Suppose 3*z = -u + 6, -u - 4*z - g + 8 = 0. Which is greater: 2 or u?
u
Let f = -7 - -5.6. Let k = f - -1.1. Let i be (-1 + 3)*(-1)/(-6). Which is smaller: k or i?
k
Let i be (8 + -2)*16/12. Let s = 7 - i. Suppose -2*l = 2*l. Is l bigger than s?
True
Let h = -5 + 10. Suppose 19 - 4 = -5*c - 5*u, 10 = -h*u. Is 4/9 at most as big as c?
False
Let j = -24 - -99/4. Let b = 0.7 - -0.3. Which is greater: b or j?
b
Let p(n) = -2*n - 14. Let g be p(-5). Is g less than -6?
False
Let q(w) = 3*w. Let j be q(2). Let i = -3 - j. Let y(g) = -2*g**2 + 4*g - 3. Let o be y(3). Do o and i have the same value?
True
Let h be ((-1)/(-2))/((-34)/(-29520)). Let z = h - 434. Which is greater: 1 or z?
1
Let c = 7 - 8. Are c and -1/6 equal?
False
Let k be 6/(-9) + 5/3. Let l be 3 + (2/2 - k). Let v = l - 2. Is 1 <= v?
True
Let y be (1 + 2)*(0 - 1). Do -3 and y have the same value?
True
Let n be (-10)/4*3/(-555). Let v = -141/518 - n. Let c = -0.6 - -0.4. Does c = v?
False
Let o(y) = 2*y**2 - 3*y. Let f be o(2). Let w be (4 - (-180)/(-44))*f. Which is greater: w or 0?
0
Let b = 3682 - 40532/11. Which is greater: b or -0.1?
-0.1
Suppose 3*v - 3*z + 7 - 31 = 0, v - 17 = 4*z. Suppose v*x - 4 = b - 2, -5*x - 2 = b. Which is greater: x or -1?
x
Let i = 21 - 18. Suppose 2*g - i*g = 0. Which is greater: g or -7/5?
g
Suppose 0*q - 3*q = 30. Which is smaller: q or -9?
q
Let p = 14 + -13.96. Let l = p - 2.04. Let v = 0.2 + -0.1. Is v less than or equal to l?
False
Let z be 2/22*10/(-30). Which is greater: 1 or z?
1
Let q = 2177/25 + -87. Let c(h) = -h**3 + 9*h**2 + 12*h - 14. Let w be c(10). Let n = -5 + w. Are n and q nonequal?
True
Let l = -0.04 - -2.04. Let q = l + -2.1. Let b = q - 0. Is b >= 2?
False
Suppose -2*z + 5 = 3*z. Is z at least -48?
True
Let x = 16.8 + -23. Let v = x + -2.8. Which is bigger: 0.2 or v?
0.2
Let o = 8 + -6. Suppose -o*z = 5*k - 33, 10 + 3 = 2*z + k. Let l be (z - (0 - 1)) + 2. Which is smaller: 8 or l?
l
Let g be (-1)/(-1 + 2 + 0). Is g at most as big as -10/17?
True
Let a(x) = -x**3 - 3*x**2 - x. Let i be a(0). Which is greater: i or -4?
i
Let b be (-6)/(-33) - 70/22. Let a be 33/2 - 3/(-6). Suppose -4*l - v - 5 = 3, 0 = -l - 5*v + a. Is b equal to l?
True
Let g = 47 - 44. Is g less than or equal to 14/5?
False
Suppose -2*z + 124 = 3*q + 38, 108 = 4*q - 4*z. Let m = q + -142/5. Let v = -9/10 - m. Is 3 > v?
True
Let f = -10 - -17. Suppose 4*r - f = -b, r + 2*r - b = 0. Let m = -19/18 + 8/9. Is r <= m?
False
Let v = 10.7 - 18.6. Let h = -12 - -20. Let o = h + v. Which is greater: o or 0.5?
0.5
Let i(y) = y**3 + 3*y**2 - y. Let l be i(2). Let k be (-1)/(4/l*3). Is k bigger than -2?
True
Let v = -1.3 + 0.3. Let y = -5.07 - -0.07. Is y <= v?
True
Suppose 0 = 3*g - 22 + 19. Is -3 >= g?
False
Let g(w) = w**3 - 7*w**2 - 6. Let v be g(7). Let z be (-7)/(-7)*-13 + 5/1. Which is bigger: z or v?
v
Let u be ((-15)/(-5))/((-9)/30). Let g be 0 + 1 + 14/u. Suppose -1 = 3*j + 5*q - 18, 5*j + 4*q = 11. Which is greater: g or j?
g
Let t be -1 + -22*18/(-400). Which is greater: t or 1?
1
Let z = 2.6 - 0.6. Suppose 4*q - 3*q = -1. Which is smaller: q or z?
q
Let h be (2/(-4))/((-2)/(-4)). Let t(q) = -28*q + 1. Let n be t(h). Suppose 5*i = 38 - 13, n = 4*l + 5*i. Are -2 and l nonequal?
True
Let y be (85/3)/((-24)/(-72)). Which is bigger: 84 or y?
y
Let y be (-6)/(-30) - (-22)/(-10). Let f be y*-3*8/12. Let u = -13/8 + 11/8. Is f at least u?
True
Let w(g) be the third derivative of -g**4/24 - 5*g**3/3 - 2*g**2. Let m be w(-8). Is m > -2?
False
Let j be 68/20 - (-2)/(-1). Which is greater: j or 0?
j
Let i(y) = -y**2 - 4. Let c(p) = -p**2 - 5. Let s(g) = 4*c(g) - 5*i(g). Let a be s(0). Which is greater: a or 2?
2
Let a = -4.4 + 3.2. Is -0.3 greater than a?
True
Let x(p) = -p**3 + 7*p**2 + 7*p - 9. Let m be x(8). Let w = m + 17. Which is bigger: w or 4?
4
Let h(a) = -1. Let n(k) = -k + 2. Let m(d) = 6*h(d) + n(d). Let u be m(-3). Is u != -1/3?
True
Let i = -2 - -1.5. Let u = 156 + -156.1. Is u <= i?
False
Let c be 21/6*2*-1. Let d be (-19)/(-7) + (-2)/c. Suppose h + d*h = -4*w, h = -2*w. Is 1/10 at most as big as w?
False
Let f be 56/252 - (4/18 - 0). Is 1/52 > f?
True
Let r be (-4)/6*3/(-6). Which is smaller: -0.2 or r?
-0.2
Suppose 9 = h - u - u, -h - 3*u - 16 = 0. Let m = -5937/13 + 50035/91. Let f = 93 - m. Which is greater: h or f?
f
Suppose 0*p + 12 = -4*p. Let g(t) = -t**3 + 6*t**2 - 3. Let v be g(6). Is v at most as big as p?
True
Suppose -5*z = -5*u - 5, -u + z + z = -4. Let q(f) = -f**3 - 6*f**2 + 1. Let h be q(u). Is 3 smaller than h?
False
Let j = 367/39 + -28/3. Which is smaller: j or 1?
j
Let h be (-10 + 9)*(-4 + 0). Is 4 at least h?
True
Suppose -56 - 76 = 4*b. Which is greater: b or -34?
b
Suppose 4*r = 116 - 4. Let g = r - 139/5. Does -3/5 = g?
False
Let c = -296.01 + 298. Let z = 0.07 - 0.06. Let j = z + c. Which is greater: j or 3/5?
j
Let z = 3 - 3. Does z = -1/9?
False
Let o = -6.7 + 7. Let d = 0.2 - o. Which is smaller: 1 or d?
d
Suppose 15 = 5*c + 4*o, -5*o = -4*c + 3*c + 3. Suppose 2*z + 4 = 0, -2*w + 4 = -c*w - z. Let q(y) = -y**2 + y + 3. Let r b