 greater: 1/8 or a?
1/8
Let r be (-2)/(-5) + 18/(-45). Let d(b) = -b**2 - b. Let v be d(-2). Let l be 2/(-3) + v/(-3). Is l > r?
False
Let i be ((-35)/(21/(-3)))/((-10)/(-4)). Is 2 < i?
False
Let w = -1 + 0. Let x = 23 - 22.1. Let m = x + w. Which is greater: m or -1?
m
Let q = -35 - -40. Is 6 less than q?
False
Let v = 0.66 - 0.06. Let c = 0.4 + v. Let w(f) = f**3 - 7*f**2 - 7*f - 8. Let y be w(8). Is y equal to c?
False
Suppose 3*x + 16 = 7*x. Suppose 0 = 5*w + 5, -5*j - x - 15 = 4*w. Is -4 at least as big as j?
False
Let q = 121 + -1088/9. Is -1 >= q?
False
Suppose 2*g = 4*k - 14, -g = -0*k + k - 2. Suppose 3*x - 3 - k = 0. Let m be 3/(-4)*6/(-9). Which is smaller: m or x?
m
Let v(s) = s**3 - 2*s**2 - 4*s + 4. Let y be v(3). Which is bigger: y or -1/5?
y
Suppose -2*s + 16 = -0*s. Let b be (6/9)/(s/(-12)). Is -2 > b?
False
Suppose -4*o = o - 5. Let y be -2 + 1/(222/445). Let m = y - -433/2442. Which is greater: o or m?
o
Let u = 172/7 - 25. Let p be 2 + 1 + -1 + -1. Which is smaller: u or p?
u
Let x = 4.2 + -5. Which is greater: x or -2/3?
-2/3
Let s = -13 + 5. Which is bigger: -41/5 or s?
s
Let p(q) = -q**3 - 3*q**2 + q + 1. Let t be p(-3). Let w be 1 + 6/(-10) + -2. Is t bigger than w?
False
Let a = 23/2 - 11. Let p = -4.64 - 1.46. Let r = -6 - p. Which is smaller: a or r?
r
Let h(i) = -i - 1. Let y be h(-6). Which is smaller: y or 3?
3
Suppose 3*v + 19 = i, 3*i - 19 = -v - 2. Suppose 2*t = i*t. Let p be (t + -2 - -4) + 1. Is p at least 2?
True
Let n = -95 - -100. Let y = 1.3 - 0.3. Which is bigger: y or n?
n
Suppose 3*v + 14 - 2 = 0. Let m be 3 + 0 - (-25)/(-9). Which is smaller: v or m?
v
Let c = -94/3 + 32. Let a = 0 - 0.7. Which is smaller: c or a?
a
Let x = 13 + -3. Let k(w) = w**3 - 10*w**2 + w - 10. Let o be k(x). Is o less than or equal to -1/10?
False
Suppose 5*z - 4 - 11 = 0. Suppose 2*i - z = -i. Does -2/7 = i?
False
Let j be (-24)/(-14) - (-2)/(-1). Let t = 2 + -2.2. Let w = 2.8 - t. Do w and j have different values?
True
Suppose 3*w - 12 = -0*w. Suppose -5*z + 6*u - 3*u = -21, 14 = 2*z - w*u. Let c = 6 + -4. Which is smaller: c or z?
c
Let w = -4 + 3. Let r be -1 + 6/5 + -1. Which is bigger: r or w?
r
Suppose 2*r - 35 = 3*y, -3*r - 3*y + 5 = 2*y. Suppose 3*u = -4*o + 21, 4*u + 17 = o + 64. Is r bigger than u?
False
Let d be ((-84)/18 + 5)/(5/24). Are d and -0.4 equal?
False
Let d be (-13 - -3) + (-1 - -1). Let f be (-4)/(-10)*d/(-6). Which is smaller: 2 or f?
f
Let g be (6 + -7)*(-1 - -2). Is 0.05 at least g?
True
Let p(m) = -4*m + 2. Let r be p(3). Which is greater: -1 or r?
-1
Suppose 11 - 1 = 5*k. Suppose 1 = 2*r - 3. Suppose 0 = -4*d + r - 10. Which is smaller: k or d?
d
Let d be 4 - (-5 + 4 - -5). Let u(c) = 3*c + 4. Let m be u(-3). Let w be m/12 - 4/(-6). Is w > d?
True
Let f be -2 - 2*3/2. Let u = -5 - f. Let z = 161/1067 - -3/97. Which is bigger: z or u?
z
Let g = -23 + 23. Which is bigger: 1 or g?
1
Let x = 69/44 - 9/11. Let o(j) = j + 2 + 2 + 4 - 6. Let u be o(0). Which is greater: u or x?
u
Let n(m) = m - 1. Let w(u) = u**2 - 3*u + 3. Let g be w(3). Let h be n(g). Suppose 2 - 4 = -h*c. Is 1 < c?
False
Suppose 0 = -2*s + l, -3*l + 6 = -4*s - 4*l. Let h be (-3)/(-3) + 2*1. Suppose -h*j = -2*j + 2. Is s >= j?
True
Let g = 347/6 + -58. Let w = -2.6 + 0.6. Is g at least w?
True
Let i be 1 - 14/(-12)*(-20)/35. Which is smaller: -7 or i?
-7
Let q = 18.262 + -0.162. Let i = 18 - q. Are 2 and i unequal?
True
Let c be (-140)/(-32)*174/15. Let q = -51 + c. Which is bigger: -1 or q?
q
Suppose -2*v - 5*m = 69, 4*v - 4*m + 39 + 141 = 0. Which is smaller: -43 or v?
-43
Suppose 2 - 19 = m. Let x = -17 - m. Are x and -3 nonequal?
True
Let n = 1 - -1. Let v be (-123)/42 + n + 1. Is 1 greater than v?
True
Suppose 3*s - 24 = -2*o - 2*s, -3*o + 3*s = -15. Let t(b) = -b**2 + 8*b - 1. Let m be t(o). Suppose -4*v + 7 = 3*i - 10, 4*i - m = -2*v. Is -1 equal to i?
True
Let n = -11 - -45. Let y = -100/3 + n. Is y != 2?
True
Let k = 26.6 + -29. Which is bigger: k or -2?
-2
Let r(p) = -p**3 - 8*p**2 - 8*p + 1. Let t be r(-7). Let o = -5 + t. Let d be o - 4/(48/26). Is 2/7 greater than or equal to d?
False
Let i be 1 + 3 + -2 + -2. Suppose -4*h - w = -8 + 20, 0 = 3*h - w + 2. Is i < h?
False
Let n = 4 - 3. Let q be (3 - n)/((-2)/1). Let z = 1292/7 + -185. Which is smaller: z or q?
q
Let t be (-2)/(-10)*(10 - 5). Is t equal to 9/8?
False
Let d = -0.6 - -3.6. Let n = -2.5 + 2. Let x = 0.5 + n. Which is smaller: d or x?
x
Let o = -3/293 + -499/8497. Which is greater: 1 or o?
1
Let u = -53/4 - -13. Is u at least 2?
False
Suppose 4*y - 2*x = 86, -29 - 33 = -3*y + 4*x. Suppose -5*s - 2*p = 1 - y, -s - 3*p = 1. Which is bigger: s or 3?
s
Let g = 165 + -94. Is g < 71?
False
Let t be (-1)/(-2) + (-6)/(-4). Let v = 1 + 0. Let n be (1 + 0 - 0)*v. Is n <= t?
True
Suppose j = -j - 4. Let y be 2/(-9) - (-66)/(-189). Which is greater: j or y?
y
Let c = -31 - -37. Is 29/4 >= c?
True
Let n = 93/10547 - 1/53. Let q = -2571019 + 1534897939/597. Let w = n - q. Which is smaller: w or 0?
0
Let k = -2.96 - -0.06. Let c = k - 0.1. Let m = c - -1. Is m != 1/7?
True
Let q be (-1 + 30/27)*2. Let n = 154/45 - 16/5. Are n and q non-equal?
False
Let x be (-5)/20 - 62/(-56). Let c(w) = -2*w - 1. Let z be c(-3). Suppose 0 = z*b - 4*o + 20, 2*b + 4*o = 15 + 5. Is b > x?
False
Let c(d) = 21*d. Let r be c(-1). Let j = -17 - r. Which is bigger: 5 or j?
5
Let s be 1*(0/2 + 0). Let g = 1 - s. Which is greater: g or -2/11?
g
Suppose -k = k - 6. Suppose -k*b = -5*b - 8. Is b greater than -3?
False
Let c = 27 + -29. Is c greater than or equal to -8/13?
False
Let s = 122 - 608/5. Let b = -4 + 8. Let n = b - 6. Is n at most as big as s?
True
Let q = -121/7 + 17. Let w = 12 - 13. Is w equal to q?
False
Let f = -46 + 46.04. Which is greater: -3 or f?
f
Let q(y) = 405*y - 12. Let m be q(-9). Let u = m - -10834/3. Let x = u + 46. Is 2/11 at least x?
False
Let k = -2 - -2.2. Let h = 1.4 - 0.4. Let c = h - -1. Which is bigger: c or k?
c
Let i = 7/2 + -47/6. Which is smaller: -3 or i?
i
Let d be 38732/(-95) + 20/(-50). Let k = d - -408. Which is bigger: k or 0?
0
Let i = 11 - 3. Suppose 3*w - 8*q - 26 = -3*q, 2*w = -3*q - i. Let c be 3/w*2/5. Is 0 at most as big as c?
True
Suppose 0 = r + 2*i, 0 = 4*r + i - 23 + 9. Suppose 4*v + 4 = -r. Is -5 less than v?
True
Let y = 4/11 + -19/22. Is -2 bigger than y?
False
Let z = 0.35 - -3.65. Is 2 at least z?
False
Let a = 440 - 5713/13. Are 0 and a non-equal?
True
Suppose -4*p - 2 - 2 = 0. Let l = -14 - -15. Suppose -3*q - 6 = -2*k - 3, -l = 4*k + q. Which is bigger: p or k?
k
Let q be -2*(9/2 - 3). Let j be -8*(q - (-51)/18). Is 2 bigger than j?
True
Let a = 41 - 39. Which is greater: a or 17?
17
Suppose -4*f - 40 = -16. Let v = f - -9. Suppose 4*i + u = 2*u + 10, -5*i + 13 = -u. Is v > i?
False
Let f be (-126)/7 + -2 + 0. Let b = f - -21. Which is smaller: -1/4 or b?
-1/4
Let q be -6*(-3)/(9/1). Let h = 11 - 5. Suppose -h*c = -4*c - 6. Is q at least c?
False
Let f = -2 - -1.5. Let v = 14 + -15. Let b = -1.1 - v. Which is smaller: f or b?
f
Let v = 13 + -11.4. Let h = v - 0.4. Which is greater: h or 1?
h
Let z = -31/2 - -151/10. Let o = 4 + -9. Let s(r) = r**2 + 5*r + 2. Let b be s(o). Which is smaller: b or z?
z
Let g = -33/5 + 533/80. Is g at most as big as 1?
True
Let c = -167 - -300. Let n = c - 527/4. Which is smaller: 0 or n?
0
Suppose 0 = -o + 4*b - 9*b + 21, -2 = -2*o - 2*b. Let d be ((-4)/(-5))/(o/10). Is -3 at least as big as d?
False
Let s = 4 + 16. Is 20 >= s?
True
Let x(i) = i**3 + 7*i**2 - 3*i - 4. Let a be x(-5). Let g = a + -26. Let c be ((-4)/g)/((-6)/7). Which is smaller: -1 or c?
-1
Let h = -4 - 3. Let u = 7 + h. Which is bigger: 2/5 or u?
2/5
Let l = -68 + 57. Which is bigger: l or -10?
-10
Suppose 6*r + 5 = r. Let j be (-3)/r + (8 - 7). Is j at least as big as 6?
False
Let i = 2.26 - 0.26. Are 1 and i non-equal?
True
Suppose -4*z - 5*a = -8, -4*z + 2*a + 2 - 22 = 0. Let s = -1/54 + -103/270. Which is greater: s or z?
s
Let v = 23/8 - 3. Let l = 3/152 + v. Let r = -33/133 - l. Are r and -1 unequal?
True
Let i be 3/(-12) + (-22)/(-24). Let o = 0.607 - 0.007. Does o = i?
False
Let t be (-2)/(-6) + (-132)/(-36). Suppose 2*r = 4*x + 44, -2*r - 4 = 4*x - 32. Suppose 0 = 4*z - 2*m - r, 0*z - 4*m + 9 = z. Is z > t?
True
Let n = 55 - 74.