t f be -2 + 19/4 + -2. Suppose 2*a + 2 = c - 2, 0 = -4*c. Let q = -1 - a. Is q > f?
True
Let j be (-55)/(-2)*(-156)/(-10). Let z = j + -287. Let l = z + -1705/12. Which is smaller: 0 or l?
l
Let o be (-4)/(-2) + (-1 - 289). Let z = -2481/149 + 499621/1639. Let n = z + o. Is n != 1?
True
Let f(i) = -i**2 - 9*i - 6. Let n be f(-8). Let k be (1/(-1) + n)*1. Let m be 1/(-2)*(-1)/3. Is k bigger than m?
True
Let s(l) = -l**2 - 1. Suppose 5*h + 10 + 7 = -4*d, -2*d + 14 = -2*h. Let m be s(d). Is m at most 0?
True
Let g = -245/4 - -61. Let k = -4 - -1. Let d be (0 - -2)/(k + 8). Which is bigger: g or d?
d
Let f = 1 + -1. Let r = -2.72 - -2.62. Which is greater: f or r?
f
Suppose -2*c - 45 + 11 = 0. Which is smaller: -18 or c?
-18
Suppose 5*d = d - 24. Let m be 3/d + 2/12. Suppose -17 = 4*r - 21*r. Which is bigger: r or m?
r
Let o = -0.44 + 0.44. Is o != 18?
True
Let p = 53/7 + -8. Let j = 160 - 159. Is p greater than j?
False
Let p be (-1)/((-2)/(-34)) + (1 - -1). Which is smaller: -14 or p?
p
Let m be 11/13 - (-10)/65. Which is smaller: -2/31 or m?
-2/31
Let s = -2.67 - -0.37. Let u = s - -2.7. Which is bigger: -2/5 or u?
u
Let p be 2 - (-3 - (2 + -2)). Let q = p + -6. Is -1/4 < q?
False
Suppose 2*l = 4*l - 8, 0 = -f + 2*l - 3. Is f greater than 5?
False
Suppose -2*y - 3*a - 216 = -a, 0 = 2*y - 3*a + 191. Which is bigger: y or -102?
-102
Let i(x) = x**3 + x**2 - x + 1. Let g be i(1). Suppose -g*h - 3*h + 135 = 0. Let m be 3*((-6)/h - 0). Which is smaller: -2 or m?
-2
Suppose 2*w = -3*t - 0*w - 13, -t - w = 5. Is t equal to -3/8?
False
Let f = 94 + -3383/36. Which is smaller: 1 or f?
f
Let l = 17 - 10. Let z(b) = b**3 - 8*b**2 + 8*b - 3. Let w be z(l). Is w not equal to 11/4?
True
Suppose 5 = 3*b + 23. Which is bigger: -0.1 or b?
-0.1
Let x = 0 + 1. Let o = x - 3. Suppose 0*i + 15 = -5*i. Which is smaller: o or i?
i
Let j(l) = -5*l - 5. Let s be j(-5). Suppose -5*x - 5*d - s = 0, -2*d - 7 = -2*x + d. Which is bigger: x or -5/3?
x
Let w be 6/2 + ((-115)/(-35))/(-1). Which is smaller: w or 0?
w
Let s = 0.05 - 0.75. Let k = 6.7 + -7. Let f = k + s. Which is greater: f or -0.1?
-0.1
Let m(r) = -r**2 - 5*r + 1. Let p be m(-6). Let g be (p - 2)*74/130. Let d = g + 44/13. Which is smaller: d or -1?
-1
Let n(d) be the first derivative of d**4/4 - d**3 - 3*d**2/2 + 4*d - 2. Let h = 0 + 3. Let v be n(h). Which is smaller: -6 or v?
-6
Let v be ((-68)/8 - 4)*2. Do v and -25 have the same value?
True
Suppose 11 = 2*y + 37. Let v = y + 13. Let j be (-3)/6 + (2 - 1). Which is bigger: j or v?
j
Suppose -3*h + 15 = 3*c, 4*c + 4*h + 5 = 5*c. Are 6 and c non-equal?
True
Let i = -2 - -1. Suppose -2*g + 4*c = -12, 5*g - 3*c = -4*c + 63. Let n be ((-4)/6)/(4/g). Do i and n have the same value?
False
Let d be (-6)/(-2)*(-1 - -2). Suppose -8*n + 15 = -d*n. Is n smaller than 4?
True
Suppose 3*z = z + 10. Let o be 3*z/((-30)/8). Is o not equal to -4?
False
Let o = 200 - 344. Let y = 1587/11 + o. Let t = y + -17/22. Is 0 greater than or equal to t?
True
Let x = 9 + -14. Let l be (16/(-280))/(1/x). Suppose -3*h - 1 = -2*h. Which is bigger: h or l?
l
Let f be -4 + (-80)/231 + 4. Let g = 1/77 + f. Is 0 less than g?
False
Let z = 189/4 + -47. Let f = -0.33 - 0.37. Is f at most as big as z?
True
Let l be 20/(-75)*-6*2/(-8). Are l and -19 equal?
False
Let d = 22 - 288/13. Suppose -21 = -3*n + 3*v, -4*n + 24 = v - 4*v. Suppose 5*a + 2*o + 1 = 6, 0 = 2*a + n*o - 13. Is a < d?
True
Let v(t) = 10*t**3 - t**2 + 1. Let g be v(-1). Let d(a) = -a**2 - 23*a - 11. Let p be d(-23). Is g at least as big as p?
True
Suppose -4*s - 6 = 2. Let v = -5 - 3. Let x = -10 - v. Is s at least as big as x?
True
Let b = -69 - -80. Which is smaller: b or 10?
10
Suppose -16 = -3*g - 1. Which is smaller: g or -1?
-1
Let w(s) = -s**2 - 4*s + 5. Let o be w(-4). Suppose -o*f = -18 + 3. Let y be 3/(f*(-2)/4). Which is smaller: -1 or y?
y
Let u = -12 + 34/3. Which is greater: u or 0.3?
0.3
Let r = -20 + 23. Suppose -2*p = -3*m + 39, m = -5*p + r*m - 92. Does 1 = p?
False
Let z = 12.1 - 12. Is z not equal to 6?
True
Suppose 4*o = 5*o. Let q(g) = -g + 3. Let r be q(o). Which is bigger: 1 or r?
r
Let s = -2.8 + 3. Let m = 0.09 + -0.89. Let r = s - m. Is r at least 2?
False
Let r = -21288 + 149584/7. Let m = r + -81. Which is smaller: m or 0?
0
Let y = -164 - -545. Let l = y - 1133/3. Is l > 3?
True
Let r = 3 + 4. Is 54/7 less than r?
False
Suppose m + 3*j = -0*m - 2, -m + 3*j = 14. Is -42/5 at least m?
False
Let d be 2320/8316 - (-4)/(-14). Let n = d + 608/2079. Which is bigger: 0 or n?
n
Let c be (-4)/(-8)*12/39. Which is bigger: -2 or c?
c
Let m be (3/(-6))/(-1)*0. Let u = m - -1. Does 4/3 = u?
False
Let t = -1.8 - -2. Let c = 0.1 + t. Let x = c + 0.1. Which is greater: 0 or x?
x
Let c = 1 + 1. Let d = -321 + 315. Which is smaller: c or d?
d
Let m = 74.76 + -75. Which is smaller: m or 3/2?
m
Suppose z = 3*z + 242. Let g = z - -1087/9. Are g and 0 nonequal?
True
Let j = 4.444 - 0.044. Let t = j + -0.4. Let k = -7 + 6. Is t > k?
True
Suppose 0 = -0*b + 4*b + 4. Let o be 7/14 - (-6)/(-4). Let r be (-6 - -6)/(1/o). Which is bigger: r or b?
r
Let d = -1 + 6. Suppose -4*y - y = d. Let f be 1/(-2) - (-27)/66. Which is smaller: f or y?
y
Let z(b) = b**2 - b - 2*b - 3*b - 1 + 0*b**2. Let i be z(6). Is i at least as big as 3/8?
False
Let v(s) = -244*s**3 + s**2 - 1. Let a be v(1). Let k = a + 2194/9. Let c = 97/3 - 289/9. Is c greater than k?
True
Let a(m) = 29*m - 7. Let l be a(-6). Let s = l - -1451/8. Which is smaller: 0 or s?
0
Let p = 0.08 - 4.08. Let z = 5 + p. Let a = z - 1.2. Which is smaller: 0.3 or a?
a
Let v(o) = -o**2 + 8*o - 3. Let d be v(7). Let g be 1 + 7/((-21)/d). Which is smaller: g or -1?
-1
Let i = 2 + -7. Let y(l) = l. Let g be y(-6). Is i < g?
False
Let c be (35/(-25))/((-6)/(-15)). Let m(x) be the third derivative of x**6/24 + x**4/24 + x**3/6 - 2*x**2. Let i be m(-1). Which is smaller: i or c?
i
Let x(m) = m - 12. Let p be x(0). Suppose 5*v = -30 - 20. Let u be (p/15)/(4/v). Does u = 1?
False
Suppose 0 = -4*h - 16, v + 0*v - 3 = -4*h. Do 2/5 and v have the same value?
False
Let p = 22 - 20.7. Which is bigger: 3 or p?
3
Let m be (-2)/(-3) - 10/6. Suppose -6 = -2*z + 16. Suppose 5 - z = -2*s. Does s = m?
False
Let w be ((-3)/(-2))/(9/12). Suppose 5 = -5*f + w*x, -5*f + 3*f + 12 = 2*x. Let p = 0.5 + -0.4. Is p not equal to f?
True
Let h(i) = -i**3 + 4*i**2 + 6*i - 2. Let o be h(5). Suppose 6*z + 15 = 9*z. Suppose -1 = -o*x + z. Do x and 2 have the same value?
True
Let a = -1 - 0. Which is smaller: a or -0.8?
a
Suppose 0*d = 2*d. Is 0 > d?
False
Let m be 24/(-16)*1/(-3). Is 11 less than m?
False
Let t be (0 + -1)*1*1. Let a be (-2)/(-9) + (-50)/(-18). Let u = t + a. Which is smaller: 0 or u?
0
Suppose 3*c - d = -6*d + 2, -3*d - 22 = -4*c. Let b be (4/1)/c + -3. Which is smaller: -3 or b?
-3
Let i = 24 + -24. Which is smaller: i or -1.1?
-1.1
Let a be (1*(0 - 2))/1. Suppose -4 = 4*k - 80. Suppose -2 = 2*s - 3*s - p, 4*s - 5*p + k = 0. Which is bigger: a or s?
s
Suppose -q + 2*f = -2*f - 24, 10 = -2*f. Which is smaller: q or -1?
-1
Let p be (-56)/96*2/(-7). Is p equal to 1.1?
False
Let y be (6 - -12)/(-3 + (-9)/(-4)). Is -25 at most y?
True
Let g be (-2 + (-92)/(-24))/(-1). Which is greater: -1 or g?
-1
Let u = 1/2161 + -103735/15127. Is -7 != u?
True
Suppose -3*x + 14 = -s + x, 0 = 3*s + 4*x + 10. Let v = s + 8. Suppose -v*z - 2 = -3*d, -3*z + d - 3 = -0*z. Is z bigger than -2/11?
False
Suppose i = 5*h + 4100, -h = -3*i - 0*h + 12328. Let b = i + -20316/5. Let o = b + -47. Which is greater: o or 1?
1
Let x = 803 + -5857/8. Let r = x - 71. Is r != -1?
True
Let t be -2 - (-1 + -1)*1. Let m be t/((-6)/3 - -1). Let a be ((-2)/3 - m)*6. Do a and -3 have the same value?
False
Let n = 3 + -4. Let k = 0.8 + -0.2. Let w = k - 0.4. Which is bigger: n or w?
w
Let m be (-8)/(-44) + 9/11. Let d = 12046/345 - -61/69. Let j = d - 36. Which is greater: m or j?
m
Let d be 12/9 + 6/9. Is d less than 1/3?
False
Suppose 0*k + 4 = 2*k. Suppose -x - 2 = -2*s, 2*s + k*x = 2 - 0. Suppose -4*h + 3*y + 3 = 0, -5*y = -5*h - 3*y + 2. Is s less than or equal to h?
False
Let n = -78.8 + 79. Which is smaller: n or 10?
n
Let u = -28 - -26. Is u smaller than -3?
False
Let g = 11 + -9. Which is smaller: g or 0.02?
0.02
Let p = -4287/1543