be -3 + (1 - -2) + -2. Let g be 2 - 5/((-5)/t). Which is smaller: -4/7 or g?
-4/7
Let h = 130.2 + -117. Let b = 1.8 + h. Let p = b + -10. Which is greater: 1 or p?
p
Let d be 44/(-4) + 6 + 9. Let u = 2 - 1. Which is bigger: u or d?
d
Let h(y) = -y**2 - 2*y + 4*y**2 - y**3 - 4*y**2 + 1 + 2*y**3. Let u be h(1). Is -1 < u?
False
Let z be (-2)/(-5) - 96/40. Is z equal to -1?
False
Let x = -991/354 - 2/59. Let o = x - -7/3. Let h = 2 + -3. Does h = o?
False
Suppose -5*i - 2*s = -15, -i = -4*i - s + 8. Is i bigger than -2/23?
True
Suppose 4*i = 2*s - 6, 4*s + 2 = -i + 5. Let w = -90 + 901/10. Is w greater than or equal to i?
True
Let k(b) = 2*b - 2. Let q be k(7). Let d be q/(-27)*(-3)/(-2). Which is smaller: -1 or d?
-1
Let f = 0.15 - 0.15. Which is smaller: 8/9 or f?
f
Let s = 2 + -2. Suppose 0 = -s*l + l + 5. Let j = -3 - l. Is 2 != j?
False
Suppose 0 = 5*b + 74 + 21. Let n = 20 + b. Is n > -2/13?
True
Let t = -2/15235 - -792346/959805. Let i = 10/9 - t. Let f = -27/287 + -2/41. Is f bigger than i?
False
Let k(j) = -j - 11. Let z be k(-10). Let u be (-3)/15 - 3/(-15). Do z and u have different values?
True
Suppose -2*k = -4*k + 20. Is 4 smaller than k?
True
Let t(r) = 20*r**2 - 2*r - 1. Let b be t(1). Which is bigger: -0.1 or b?
b
Let b be (-4 - -3)*(-1 - 6/(-15)). Let a = -6/11 - -7/33. Which is smaller: b or a?
a
Let m(t) = -t**2 + 3. Let p be m(0). Suppose -1 = -4*q + p*q. Suppose -3*h + q = -2. Is 1 greater than or equal to h?
True
Let y be ((-2)/(-40))/((-3)/(-6)). Let f(g) = -g + 4. Let h be f(3). Let q = -1 + h. Which is bigger: q or y?
y
Let b = -17 + 24. Let d = -11 + b. Let z = -3 - d. Is 1 at least z?
True
Let s(g) = g - 7. Let u be s(9). Suppose -o - 28 = 5*v, u*o = 4*v - 0*v + 14. Let t be o + -2*(-6)/4. Which is bigger: t or -2/9?
t
Let j(y) = -y**3 + 2*y**2 + y + 2. Let n be j(3). Let t(s) = -s**2 - 9*s - 12. Let d be t(-8). Is n equal to d?
True
Let m = -57 + 398/7. Which is smaller: m or 9?
m
Suppose -3*r + 0 + 3 = 0. Is 2/7 greater than or equal to r?
False
Let g = 6 + -29. Is -2/7 greater than or equal to g?
True
Let c(l) = -l**3 + 5*l**2 + l - 6. Let g be c(5). Let d be ((-27)/(-18))/((-3)/4). Which is greater: d or g?
g
Let g = 25 - 24.9. Is 1/12 >= g?
False
Let v be 3 + 0 + -3 + 0. Let j be (18/21)/((-1)/(-7)). Suppose 5 = -j*y + y. Is v bigger than y?
True
Let o be 2 - (0/2)/3. Suppose 4*x + 2 = 2*x. Let t = x - o. Is t <= -1?
True
Let c = 0.065 + -2.065. Which is smaller: c or -1?
c
Suppose -12 = -6*t + 3*t, -5*l = 3*t - 32. Let s be l/6*(-12)/8. Which is smaller: s or -2?
-2
Suppose 0 = i + 2*x + 44, 0 = -i - x - 0*x - 48. Is -52 greater than or equal to i?
True
Let l = 26.932 + 0.068. Does -2/3 = l?
False
Let d = 3/25 - -4/175. Is -1 less than d?
True
Let i be -1 + 13*(-4)/(-4). Are i and 12 unequal?
False
Let i(d) = d - 9. Let x be i(13). Is 54/13 less than or equal to x?
False
Let u = 1.5 - 1.45. Which is bigger: 0.3 or u?
0.3
Let x(w) = -w**3 + 3*w**2 + 11*w - 5. Let t be x(5). Let a be (5/4)/5 + 0. Does a = t?
False
Let b be 1/4 + (-33)/(-12). Suppose -b*r + 5*r = 0. Let x be ((-2)/(-2))/(-1 - r). Is -2/7 smaller than x?
False
Let m be ((-24)/130)/(10/(-25)). Is -0.1 <= m?
True
Suppose 2 - 4 = -2*v. Let k be (2 + 0)*1 - v. Let z be (-2)/(-6) - (-15)/9. Are z and k equal?
False
Let t = -708 + 716.54. Let k = -0.84 + t. Let d = -8 + k. Is -1 > d?
False
Let u(b) = -2*b - 5. Let f be u(-4). Suppose -z - f*z = 0. Let s be 1*(0 + z - 1). Is s smaller than 1/4?
True
Suppose 6 + 10 = -4*o. Let z be (4 + o - 0)/(-2). Is 0 bigger than z?
False
Let k(z) = -2*z - 7. Let n be k(-8). Let t be ((-15)/n + 2)*0. Which is smaller: 2 or t?
t
Let a = -2.123 - -0.023. Let s = a + 2. Let z = -126 + 628/5. Which is bigger: z or s?
s
Suppose 9*s + 92 + 133 = 0. Which is smaller: 0 or s?
s
Suppose -2*g + 7*g = -2*c - 77, -3*c = g + 135. Let o be -6*(3 + c/15). Is 1 at most as big as o?
False
Let i be (-13)/(-65)*(2 - 219/102). Which is smaller: -1 or i?
-1
Let t = -32 - -35. Let d be (-10)/(-3)*(-6)/(-4). Is t bigger than d?
False
Let v = -2.5 + 3. Let n = v - -0.1. Let j = 0.0701 - -0.0299. Which is bigger: n or j?
n
Let q be 10*((-116)/(-20) + -5). Let k = 2 - 1. Which is greater: q or k?
q
Let x = 10/11 - 17/22. Let q be ((-53)/(-88))/(3/(-4)). Let a = x + q. Is a less than -1?
False
Let x be (-4 - (-95)/15)*(-4)/14. Let m(y) = y**3 - 6*y**2 - 8*y + 6. Suppose 0*f + 7 = f. Let a be m(f). Which is greater: a or x?
x
Let r = -48 + 242/5. Which is bigger: r or 16/5?
16/5
Suppose 0 = -88*v + 94*v + 6. Let n = -3174/13 + 244. Which is smaller: v or n?
v
Let d = 4 - 2. Let l = d - 2.2. Let b = 0.07 + -3.07. Which is smaller: b or l?
b
Suppose 2*w = -4*o + 2*o - 2, 3*w = 2*o - 18. Suppose 4*h = h + o. Suppose 0*y = y + h. Is y greater than -1/12?
False
Suppose -2*k = -2*r - 2, 3*k - 2*r - 3 + 4 = 0. Let s(c) = 2*c + 4. Let n be s(k). Is n != -2/9?
True
Suppose 6*k - k = -10. Let g = k + 1. Is g >= -1?
True
Let j be 1/3 - 1/3. Let u = 67 - 869/13. Which is smaller: u or j?
j
Let p be 1/(-2)*-2*3. Suppose -p*c - c = 8. Let y = -1 - c. Is 0 < y?
True
Suppose -o + 0 + 1 = 0. Suppose k - o = -5. Is -3 < k?
False
Let r be (2*-2)/2 + -1. Let b be -1 - (1 - -5)/r. Which is smaller: b or 2?
b
Let q(r) = r**2 - 1. Let j be q(2). Suppose j*m = -m. Which is greater: -4/9 or m?
m
Let v be (-3 + 3/2)/((-3)/(-8)). Let k = 4 - 8. Let h = k - v. Is h at least 0?
True
Let s(b) = -b**3 + 2*b**2 + b + 1. Let z be s(2). Let p be 84/35 - (-4)/(-10). Let j = z - p. Which is smaller: j or -2/5?
-2/5
Let k = 43 + -41. Which is smaller: k or -14?
-14
Suppose -5*x - 3*s + 12 = -0*s, -4*x + 5*s = -17. Suppose 2 = -x*r + 11. Let f = 3 - r. Is -1 < f?
True
Let k be 2/4*(3 - 3). Let c be 1/(-11)*(-2 + 0). Are k and c non-equal?
True
Let w(c) = c**3 - c. Let s be w(-1). Which is bigger: -6/23 or s?
s
Suppose j + 2*w + w = -5, -3*j + 9 = w. Which is greater: j or 3?
j
Let q be 6/((-1)/2*-3). Let p = q - 2. Is p >= -1?
True
Let l = 18 + -27. Let r = 23 - 30. Is l at least as big as r?
False
Let p = 218.9 - 219. Which is greater: -69 or p?
p
Suppose -4*c = b - 20, 4*b + 10 = c + c. Let p be (14/(-3))/(3 + 1). Which is smaller: b or p?
p
Let s be ((-56)/(-12))/(-7)*1*3. Which is smaller: -5/8 or s?
s
Let t be (-8 - (0 + 0)) + 1. Let a(h) be the second derivative of h**5/20 + h**4/2 - 4*h**3/3 - 3*h**2 + 2*h. Let z be a(t). Which is bigger: z or 2?
2
Suppose -5*m = -m + 4*i - 96, 3*i = m - 8. Suppose -2*y + 5*v - 20 = 0, 2*v + m = 7*v. Which is smaller: -5/4 or y?
-5/4
Let o be (-6 - -7) + (-3)/5. Which is smaller: -2 or o?
-2
Let u = -44 + 44. Are 2 and u equal?
False
Let n(j) = j**3 - 6*j**2 - 7*j + 2. Let a be n(7). Let v = 3 + -3. Let h be -2 + (a - (2 - v)). Which is smaller: h or -2/3?
h
Let h be 9/4 + 2/(-8). Let j(w) be the third derivative of w**6/120 + w**5/12 + 2*w**3/3 + 3*w**2. Let u be j(-5). Is h > u?
False
Suppose 0 = -0*x - 5*x + 20. Is 3 at most as big as x?
True
Suppose 3*s - 21 = -0*s - 4*i, 5*s - 3*i - 35 = 0. Is 5 <= s?
True
Let n = 8 - 9. Let r = 104 - 415/4. Does n = r?
False
Let o be (-30)/(-4)*2/(-13). Which is greater: 0 or o?
0
Let m be (-8)/2 + 1 + 6. Let p be (m - 0) + 0 + -3. Is 2/27 less than p?
False
Let x be 6/(-4)*(-3 + 2726/906). Which is greater: 0 or x?
0
Suppose -6*y + 10 = -7*y. Is -11 bigger than y?
False
Let v = -68 - -70. Let i be 3/(-12) - (-9)/4. Is v at most i?
True
Let d be ((-519)/105 + 5)*(-5)/(-1). Which is greater: d or -10?
d
Let p = -26 - -20. Do p and -5 have the same value?
False
Let w = 253 - 254.01. Let i = w + 0.01. Do i and -1 have different values?
False
Let q(o) = -o + 13. Let y be q(10). Suppose -4*n = -4*u + 4, -3*n = 2*n - 4*u. Suppose -g + n*g = -y. Which is smaller: g or 1?
g
Suppose -8 = -9*f + 5*f. Suppose 3*j + 6 = -2*q + 6*j, 3*q - 4*j + 7 = 0. Is q smaller than f?
False
Let b = -34 + -16. Is b greater than or equal to -51?
True
Suppose 0 = -2*u + 138 + 108. Let x = u + -991/8. Which is greater: x or -2?
x
Let i be (4 - 0) + (-11 - -8). Which is smaller: -4/25 or i?
-4/25
Let j be ((-25)/171)/((-14)/(-420)). Let m = j + 13/3. Which is smaller: 0 or m?
m
Let s be (-1 + (-22)/(-21))/(2/66). Which is smaller: 2 or s?
s
Let x = 7 - 8. Let i be 0/x + (-8)/(-12). Is 6 at least as big as i?
True
Let b = 42 + -43. I