88. Is d at least as big as 0?
False
Suppose -2*o + 1 + 5 = 0. Let z be -2 - (-21)/o - 1. Suppose s = z*s. Is s < 1?
True
Let f be (2/(-6))/(4/3). Let m be (5/585 - (-4)/18)/3. Which is bigger: f or m?
m
Let r(w) = w + 6. Let m be r(-9). Which is smaller: -2 or m?
m
Let b be 20/(-25) + 16/25. Are b and 1 unequal?
True
Suppose 6*i - 43 = -1. Which is greater: 8 or i?
8
Let v = 10 + -14. Let g be 6/v - (-4)/8. Which is smaller: -0.1 or g?
g
Let s = 8.9 + -10.9. Is s greater than or equal to -0.39?
False
Let t be 3 - 9/3 - 0. Suppose 5*l = -4*x - 9, l + t = -5*x - 6. Which is smaller: l or 4?
l
Suppose -k = -2*a, -2*k - 3*k + 5*a = 0. Suppose 2*p + 2*p = k. Is 2 smaller than p?
False
Let r be 8/(-6) - 150/(-72). Let n be -6*((-7)/3 + 2). Are r and n nonequal?
True
Let g = 37 + -38. Let m be (-144)/14 - 2/(-7). Let k be 21/15 + 4/m. Is g > k?
False
Let o = 1 + -2. Let q = -21 - -20.63. Let k = 1.63 - q. Is o at most k?
True
Let x be (-2)/3*(-4 + 1). Let m be 4 - (x + 0) - -11. Let k = m - 9. Which is smaller: k or 5?
k
Let g be (2 - (-22)/3) + -3. Let c = -92/15 + g. Does c = 1/3?
False
Suppose -1 = -3*w + 8. Suppose 3*m - j + 3 = 0, 0 = 5*m - 5*j + 2 + w. Do -4/7 and m have the same value?
False
Let q = 44 + -137/3. Let y = -1 + 1. Is q != y?
True
Let h = 0.129 - 0.2. Let j = h - -4.971. Let p = j - 5. Is p != 1?
True
Let s = 17 - 8. Let n be (-6)/4 + 6/s. Let y = 2/3 + n. Is 0 equal to y?
False
Let d = -33 - -18. Let n = d - -31. Which is smaller: 17 or n?
n
Let z = -0.5 - -0.34. Let c = -7 + 6.94. Let f = c - z. Which is greater: f or -4?
f
Let y be 4593/9 + (-5)/15. Let g = 320 - y. Let t = 1328/7 + g. Is t less than 0.3?
True
Let v(r) = -5*r - 4. Let z be v(-1). Which is bigger: -1 or z?
z
Suppose 0*f - 2*v + 2 = 2*f, 2*f = -3*v + 2. Let s(k) = -k**3 - k**2 + k. Let r be s(f). Suppose 0 = 6*y - 3 + 15. Which is bigger: y or r?
r
Let v(f) = 5*f + 1. Let o be v(0). Which is greater: -1 or o?
o
Let s = 1 + 1. Is s greater than or equal to -1/7?
True
Let c(n) = n**2 + 7*n + 6. Suppose 9 + 21 = t. Suppose -3*v + 0 - 6 = k, 5*k = v - t. Let d be c(k). Which is smaller: 1 or d?
d
Let a = 243 + -1704/7. Suppose 0*o + o + 1 = 0. Which is smaller: o or a?
o
Let c = -35755/4 + 8875. Let h = c + 64. Let z = 3 - 2. Which is greater: z or h?
z
Let s be (-423)/(-30)*90/56. Let w = -156/7 + s. Suppose 9*q = 4*q. Which is smaller: q or w?
q
Suppose -4 - 8 = 4*w. Let i(y) = -2*y**2 - 1. Let t(m) = m**3 + 6*m**2 + 6*m + 4. Let z be t(-5). Let j be i(z). Is j != w?
False
Let l be (-4 + 5)/(1/(-88183)). Let p = 969146/11 + l. Let f = p - -79. Which is bigger: f or 1?
1
Let h = -20 - -21. Are 5/3 and h nonequal?
True
Let j = -6 + 4. Suppose -f = f + 10. Let q be 3 - f*(-8)/12. Which is smaller: q or j?
j
Suppose 0 = 5*r - 5*l, -4*r - 1 = -3*l + 1. Which is smaller: 13 or r?
r
Let i be 29 + -30 + (0 - 2). Suppose -3*k + 5*t = 33 - 6, 3*k + 5*t - 3 = 0. Is k >= i?
False
Let f = -28 - -28.1. Let x = 3 - 2.8. Which is bigger: f or x?
x
Let c be ((-24)/(-14))/((-18)/(-63)). Which is smaller: c or 9/2?
9/2
Suppose -4*f = 4*r + 4, -2*r - 32 = -6*r + 5*f. Let n be 4*r/(5 + 1). Suppose -2*j + n = -0*j. Which is smaller: j or 2?
j
Let v = -0.4 - -0.2. Let p = -2.2 - v. Is p equal to -0.1?
False
Let u = 1.7 - 1.8. Let m = -3 + 2.9. Is m greater than u?
False
Let d = 0.8 - 6.8. Let p = -5 - d. Let k = p - -1. Do k and 2 have different values?
False
Let h be 2/9*(-1 + 0). Suppose 0 = -5*o + 2*o - 36. Let p = -11 - o. Are h and p equal?
False
Let i = 3 + -2. Suppose -i = -0*r - r. Let g be 24/(-13)*r - -2. Which is greater: 0 or g?
g
Let b = 9 - 9.5. Which is greater: b or 4?
4
Let g = 6 - 4. Let x = -24 - -26. Suppose 0 = 4*b - g*b + x. Is 1/4 greater than b?
True
Let i = 0.4 - -9.6. Let l = -2918/9 - -324. Which is smaller: i or l?
l
Let x = 7 - 6. Let g be 1*(-2 + -4 + x). Let n(q) = q**3 + 4*q**2 - 4*q + 5. Let l be n(g). Is -1 less than or equal to l?
True
Suppose 3*r + 12 = 2*r. Which is bigger: 0 or r?
0
Let y = 3.92 + 0.08. Let t = -7 + y. Do t and -0.1 have different values?
True
Let k be 609/9 - 2 - -3. Let i = k + -2069/30. Is i equal to 1?
False
Let z = 243191/8 - 30468. Let o = z + 69. Which is smaller: 0 or o?
o
Let f = -630 - -5662/9. Is f greater than -1?
True
Suppose -4*c - c + 5 = 0. Let v(r) = r**2 + 2*r - 2. Let z be v(-3). Is c smaller than z?
False
Let w = 11.1 + 1.9. Let g = -13.04 + w. Let i be 8/(-12) - 2/(-3). Is i at least as big as g?
True
Let a = -3.9 - -19.5. Let b = 15 - a. Which is bigger: -2/3 or b?
b
Let l be -1*((-5)/(-30) - (-5)/6). Which is greater: l or -7/9?
-7/9
Let p = -5 + 4. Let b be -2 + (-3 + 4 - p). Let x = 1/25 - -23/50. Which is smaller: x or b?
b
Let j = 47 + -95/2. Let q = 208/7 + -30. Which is greater: q or j?
q
Let u = 0.1 - 2.1. Let x = u + 1. Suppose 4*o = 4 - 12. Is o smaller than x?
True
Let o = 5 - 10. Let j = -18 - -23.2. Let w = o + j. Is 2 > w?
True
Let m(n) = n**3 + 5*n**2 + 5*n + 4. Let a be m(-4). Let u be 1*5*36/180. Which is greater: u or a?
u
Let u be 1 + (0/(-3) - -2). Let g = -11 - -13. Which is bigger: u or g?
u
Let x = -12/11 + -7/44. Suppose -3*s = 5*n - 0*n + 8, 5*n = -4*s - 9. Is x < s?
True
Let i(c) = c - 13. Let p be i(13). Is p bigger than -25?
True
Let r = -3 + 2. Suppose 0 = 4*h - 0*h. Suppose 2*i + 1 + 1 = h. Do i and r have different values?
False
Suppose 0 = -0*t + 6*t + 102. Are t and -17 unequal?
False
Suppose 5*n + 15 = 0, 0*n + 3*n = 5*k - 29. Let o = 77/195 - -8/39. Is o less than k?
True
Let a = -1.3 + 0. Let f = a + -0.7. Is 1 > f?
True
Let b = -1 - -7. Let h = 4 - b. Which is greater: 1/8 or h?
1/8
Suppose 2*m = -t + 8, -5*m - 5*t - 38 = -8*m. Suppose m*x = x - 10. Which is smaller: x or -4/5?
x
Let x be (-4)/7*98/(-140). Is x smaller than 1?
True
Let f(r) = -21*r + 1. Let i be f(-1). Let w be ((-4)/(-12) - 4)*-6. Is i at most as big as w?
True
Let i = 33 + -33. Which is bigger: i or -2/9?
i
Suppose b - 4*b = -s - 10, 4 = -4*s + 3*b. Let t = 79 + -80. Let a be (-2)/t*s/1. Is a greater than or equal to 5?
False
Let x = 10.8 - 11. Is x equal to -0.23?
False
Let s = 0.04 + -0.24. Let j = 0.8 - s. Let r = -6.96 + -0.04. Does j = r?
False
Suppose 3*m = 5 + 7. Let q be ((-4)/(-9))/(m/(-2)). Let r = 0.2 - -0.8. Is q not equal to r?
True
Suppose 3*h - 18 = -3. Suppose -3*c = -7*c + 12. Let f = c - 0. Which is smaller: h or f?
f
Let u = 39 + -18. Is 22 less than or equal to u?
False
Suppose -3*o - 2*t = 0, -4*o - 5*t = -t. Suppose 2*n + 2*n = o, -w - 2*n = 4. Is w at least -4?
True
Suppose 16 = v + 20. Is -23 < v?
True
Let l be 5/(-12)*(-6 + (-369)/(-60)). Which is greater: l or 0?
0
Let w = -9.21 - -0.21. Let v = -0.3 + 1.3. Which is greater: w or v?
v
Let x(b) = -2*b + 1. Let h be x(-1). Suppose 0 = 3*a - h. Is 0 >= a?
False
Let t be 4/10 - (-8)/5. Let v = t - -3. Is v smaller than 7?
True
Let m be 1224/(-96)*(-2)/6. Are m and 3 unequal?
True
Let g = 77 - 23. Let c be (-2)/9 - (-984)/g. Suppose 4*v + 13 = 3*x, 5*v = 3*x - x - c. Which is greater: x or 0?
0
Let r(b) = b**2 + b + 5. Suppose -4 = -5*t - 29. Let c be r(t). Suppose -3*o = 2*o - c. Which is bigger: 4 or o?
o
Let t(z) be the third derivative of -z**4/24 + 5*z**3/6 + 4*z**2. Let g be t(4). Which is greater: g or 3?
3
Suppose 0 = -7*c + 2*c. Suppose -4*i = i + 3*l + 36, c = 5*i - 3*l + 24. Is 1 greater than or equal to i?
True
Suppose 12 = 2*m + 2*m. Suppose m*f + 36 = 4*t, t = f + 3*f + 22. Suppose 0 = -2*v + 12 - 0. Is v equal to t?
True
Let b(i) = i**2 + 6*i + 10. Let s be b(-4). Is 3 greater than s?
True
Let r be (-20)/13 + (4 - 2). Suppose -2*n - 8 = 2*y, -4*y - 2*n = -6*n - 16. Which is smaller: y or r?
y
Suppose 4*u = -20, -p - u + 29 = -2*p. Which is bigger: p or -35?
p
Let m = 0 - 0. Let t be 2/(8 + m) - 0. Suppose 5*g - 5 = -0. Is t greater than g?
False
Let f(l) = l + 1. Let a(n) = n - 2. Let c be a(4). Suppose 0 = -c*b - b. Let h be f(b). Is 1 at most as big as h?
True
Let p be (-1)/(-2)*(-24)/21. Let s = 10 + -23. Let m = s + 13. Which is smaller: m or p?
p
Suppose -2*z + 5 = -w - 10, 0 = 5*w + 5*z + 120. Do w and -22 have the same value?
False
Let p be 1*(0/(-5))/1. Are p and -0.05 nonequal?
True
Let v be (4 + -3)/((-1)/(-14389)). Let h = v - 100518/7. Let t = h - 29. Are t and -1 equal?
False
Suppose 2*h - 65 = -5*x, 0 