2. Which is bigger: b or a?
a
Let b = -23.4 - -27. Let u = b - 4. Let n = u - -0.2. Is 2/3 > n?
True
Let w = -231 - -208.6. Let o = w - -22. Which is smaller: o or -3?
-3
Suppose 0 = 40*d - 42*d + 42. Which is smaller: 20 or d?
20
Let o = 1.7 + 4.3. Let a = -6.82 - 0.18. Let m = a + o. Which is greater: -1/3 or m?
-1/3
Suppose -2*p = 3*p + 10. Let c = 4 + p. Are c and 3 equal?
False
Suppose 8*y = 6*y - 2. Is -2/29 at most y?
False
Let h(y) = 2*y**2 + 39*y - 22. Let z be h(-20). Is z < -17/5?
False
Let j = 2.6 - -0.4. Let b = -1.4 - -3.3. Let l = b + -2. Which is smaller: j or l?
l
Let u = -0.08 - -0.08. Is u less than 0?
False
Let q be 1 - (0 + 5/2). Let t(d) = -d**2 - 8*d + 6. Let r be t(-9). Which is bigger: r or q?
q
Let d = 0.35 + -0.35. Let s = -6 - -20/3. Which is bigger: s or d?
s
Let c = -3 - -6. Let z = c + -3. Let k = z - 1. Is k at least 0.1?
False
Let n(q) = 11*q**2 + q - 5. Let t be n(4). Let y be t/(-435) - 2/(-6). Which is bigger: 1 or y?
1
Let h(q) = -q**3 - 3*q**2 + q + 3. Let t be h(-4). Let p = -16 + t. Is 0 > p?
True
Suppose 0 = -s + 20 - 19. Which is smaller: s or 3?
s
Suppose -11 = 3*j - 2*j. Let a = -5 - j. Let z be 26/a - (-2)/(-6). Is z <= 5?
True
Suppose 3*v + 15 = 6*v. Suppose 5*p - 25 = -j, 5*j - p + v = -0*p. Suppose 4*d - d = j. Is 1/4 > d?
True
Suppose -9 = -5*x + g, x + g + 2 = -1. Let a = 1181/13 - 91. Let f = a - -17/26. Is x < f?
False
Let r be ((-32)/20)/(-4) + 0/5. Is r > -1?
True
Suppose -2*q = -4*q + 36. Suppose 0 = -5*y - 3 + q. Does 2 = y?
False
Let l be 5*((-2)/22 - 3/(-15)). Which is greater: l or 2?
2
Let a = -2 + 3.5. Let h = a - 2. Let s = h + 0.6. Is s greater than -1/4?
True
Let o = -46 + 46. Is o at most -0.57?
False
Let w = -52 + 51.97. Which is bigger: -2/9 or w?
w
Let t be 108/(-16) + (2 - 15/12). Is -34/5 less than t?
True
Let o = -9.9 - -10. Is -4/11 smaller than o?
True
Let r be 1/(-4) - (-49)/4. Let i be ((-3)/r)/(10/(-16)). Which is bigger: 0.1 or i?
i
Let j be (-12)/9 + (-2)/3. Let p be (-2)/4 + j/(-20). Let f = -3 + 0. Is f greater than or equal to p?
False
Let q = 31 + -30. Is 20 less than or equal to q?
False
Let g = -17 + 11. Let o be (-1)/(-2 + (-9)/g). Let l be (6/15)/(1/5). Do l and o have different values?
False
Suppose 3*m - 1 = 2*h - 4*h, 4*h - 5 = -3*m. Let f be h*(-3)/(-12)*-2. Let z = 1 - 2. Is f at least z?
True
Let l = 0.38 + -0.08. Let h = l - 0.29. Let y = 0.01 - h. Is y less than or equal to 2/9?
True
Let s be (-130)/(-4)*1/(-5). Let j = s - -6. Is -3 smaller than j?
True
Let l = -11 + 9. Let c = l - 0. Let k = -11/6 + 4/3. Which is greater: k or c?
k
Let o(i) = 2*i - i - i - 6 + i. Let g be o(6). Let t be 4/(2/((-2)/(-7))). Is g greater than t?
False
Let g = 2.04 - 2. Let z = 0.96 + g. Is 1 < z?
False
Let j be (2 + 0)*(-1)/3. Let a(q) = q + 4. Let g be a(3). Let u = g + -7. Which is greater: u or j?
u
Let v = 5 - 2. Let m = v - 2. Which is smaller: 6 or m?
m
Suppose 3 = -w + 4. Is -3/29 greater than or equal to w?
False
Suppose 3 = n, 4*u - u - 33 = -3*n. Is 8 equal to u?
True
Let m(s) = s**3 + 4*s**2 + 3*s + 1. Let p be m(-3). Let n = -18 - -29. Let l = 10.9 - n. Which is greater: p or l?
p
Let o = 87 + -50. Is 36 <= o?
True
Let d be (-22)/(-44)*(1 + -1). Let w = 9 - 6. Suppose d = -w*a - 2*a. Which is greater: 0.2 or a?
0.2
Let j(q) = -q - 4. Let h be j(-4). Suppose h = n + 1. Which is greater: -6/7 or n?
-6/7
Let g = 12 + -13. Is 1/18 equal to g?
False
Let z = 0 - 3. Suppose 22*l - 5 = 27*l. Which is smaller: z or l?
z
Let y be (-102)/410 + (-2)/(-10). Which is greater: -1 or y?
y
Suppose 4*x = -0*x + 4*d + 16, 3*d = -2*x - 12. Let h = -0.05 - 7.95. Which is smaller: h or x?
h
Suppose 5*x + 0 - 15 = 2*j, 3 = x. Let g be 0 + 1 + 0 - 2. Is j bigger than g?
True
Suppose 0*i + 5*i + 7 = -2*g, 0 = -5*i - 15. Let w = 14 - g. Let y be 2 + (-14)/w + -1. Is y > 0?
False
Let t = 0.13 + -0.23. Which is greater: 10 or t?
10
Let n = 256 - 4868/19. Which is greater: -1 or n?
n
Suppose -4*t + 2 = t + 2*y, 4*t = 4*y - 4. Which is bigger: t or 6/25?
6/25
Let k = 0.3 + -0.31. Let z = 1.99 - k. Let s be 8/(-6) - 1/(-1). Is s at most z?
True
Suppose -14*j = -8*j - 624. Is j bigger than 103?
True
Let p(l) = -l**2 - 13*l - 42. Let u be p(-7). Which is smaller: u or 2/535?
u
Let q(l) = 3*l**3 - 7*l**2 - l - 2. Let o(h) = 13*h**3 - 27*h**2 - 5*h - 8. Let f(w) = -2*o(w) + 9*q(w). Let s be f(9). Which is bigger: 9 or s?
9
Let z(a) = a**3 + 2*a**2 - a + 2. Let c be z(-2). Let m be (-4)/3*(-6)/c. Suppose 30*u - 33*u = -3. Which is greater: m or u?
m
Suppose -8*m = -11*m + 15. Is 7 >= m?
True
Let d = 1 - 5. Suppose 0 = -4*j + 6 - 26. Is d smaller than j?
False
Let l(u) = -u**2 - u + 2. Let q be l(0). Do 1 and q have different values?
True
Suppose -4*r = 3 - 15. Which is smaller: r or 4?
r
Let m = 8.3 - 9.3. Which is smaller: m or -138?
-138
Let a = -43 + 10. Let h be ((-44)/a)/(4/9). Which is smaller: h or 4?
h
Let o = -124 - -85. Is -3 > o?
True
Let r be 6/(-4)*4/(-9). Let w = -2114 - -12743/6. Let j = -10 + w. Is r bigger than j?
True
Let n = -8 + 11. Suppose n*j + 3 = -f, -2*f + 0*j = 3*j. Which is smaller: f or 2?
2
Let a(x) = 9*x - 1. Suppose 3*i + 2 = 3*j + 8, -5*j - 4*i + 17 = 0. Let o be a(j). Let p be ((-2)/o)/(15/12). Which is greater: 2/7 or p?
2/7
Let j = 45 + -29. Suppose -36 = -3*l + 5*c - 13, 0 = 4*l - 3*c - j. Which is smaller: -0.4 or l?
-0.4
Let n be ((-8)/(-6) - (-2)/3)/(-4). Is -22 bigger than n?
False
Suppose -2*c = 2*j - 7*c - 24, 5*j + c - 6 = 0. Suppose -l + 2*s = -j, 5*s + 5 = -5*l - 0. Suppose 4*y + 3 + 1 = l, -5*k + 9 = y. Which is bigger: k or -0.1?
k
Let d = 123 + -137. Which is greater: d or 1?
1
Let x = -397 + 7541/19. Which is smaller: 0.1 or x?
x
Suppose -a - 8 = -11. Which is smaller: a or 8/5?
8/5
Let x = 63/2 - 947/30. Let o be ((1 + 0)/5)/((-84)/(-148)). Let h = x + o. Is h less than 2?
True
Let l = 367162 - 4775712/13. Let q = l + 200. Is q bigger than 0?
False
Let j(s) = -s**2 + 3. Let f be j(0). Suppose t + 5*o + 43 = -3*t, 0 = -f*t - 3*o - 33. Let b be t/(-80) - 3/(-5). Do 1 and b have the same value?
False
Suppose 4*i - 3 = i, 3*t = -i - 2. Let s be (0/(-2))/(2 + -4). Let b be (0 - 1)*(0 + s). Which is smaller: t or b?
t
Let n(b) = -b**3 - 9*b**2. Let g be n(-9). Suppose 4*z = -g*z + 16. Suppose -z*i = -i. Which is smaller: 2/11 or i?
i
Let j = -2/10413 + 21836/5258565. Let v = 2006/3535 + j. Is v bigger than 1?
False
Let d = 61 + -56. Which is bigger: d or 1?
d
Let w = -191 + 2866/15. Suppose 0*u = -3*u. Is w less than or equal to u?
False
Suppose -w + 1 = -0. Which is greater: -2/19 or w?
w
Suppose -4*s + 5 + 7 = 0. Let d = s - 3. Which is greater: -1/3 or d?
d
Suppose 0 = 2*b - b - 20. Let q be 13040/(-110)*(-3)/b. Let k = q + -88/5. Is 1 at least k?
True
Let c = -1/8 - 1/24. Let a be 1/(-3) - 4/6. Which is bigger: a or c?
c
Let q(f) = -2*f - 6. Let m be q(-8). Are 10 and m equal?
True
Let d = -57 - -53. Is -4 at most as big as d?
True
Let c = -2.1 + 16.1. Let r = c - 14.04. Which is smaller: r or 0.1?
r
Let i = -0.112 + 3.112. Is i >= 4/5?
True
Let n = 2 + -6. Let r be 11/(-15) + n/(-12). Suppose 0 = -6*c + 3*c. Which is smaller: c or r?
r
Suppose -60 = -4*g - 3*s, 2*g = -3*g - 4*s + 74. Let d = g - 13. Is 6 >= d?
True
Let z(n) = 4*n - 2*n**2 + 3*n + 3*n**2 - 6*n. Let r be z(-1). Is r smaller than -1?
False
Let q = 2 - 0. Let z = 2.4 - q. Let d = 0.6 + z. Which is smaller: -3 or d?
-3
Suppose 0 = 4*j + 633 - 113. Let p = -1172/9 - j. Which is smaller: p or 0?
p
Let g be -2 - (-3)/2*32/12. Which is smaller: g or 7/6?
7/6
Let o be -2 + -7 - (-3 - -3). Which is greater: -11 or o?
o
Let g be (2/(-10))/(-11 + 12). Suppose 3*i = 7*i + 4. Which is smaller: g or i?
i
Let o be (-2 + -19)*(8/(-36) + 0). Is o != 4?
True
Suppose 4*m + 2 = 14. Suppose -3*i - m*b + 36 = 0, -3*i - 4*b + 14 = -21. Which is smaller: i or 14?
i
Let n be (3 - 188/(-24)) + 2. Is 14 > n?
True
Let h = 20945/12137 + -91/53. Let l = h + 444/1603. Is l >= -3?
True
Let c = -20 - -21. Which is greater: c or 1/2?
c
Let i = -30/11 - -117/55. Is 3 at least i?
True
Let m = -12 - -16. Let r be (m/18)/((-4)/(-6)). Which is smaller: r or 0.08?
0.08
Let d = -1.77 + -6.33. Let j = 6 - 14. Let h = d - j. Is h equal to 2?
False
Let x = -36 - -361/10. Let n = 2 - 3. Which is smaller: n or x?
n
Let 