e 0 - -2 - 6/4. Let g be (0/((-2)/(-1)))/(0 + -2). Do g and o have the same value?
False
Let k = -49 + 73. Let s be -3 + (-3)/(k/(-26)). Which is smaller: s or -1?
-1
Suppose -2*w + 10 = 8. Is w at most 0?
False
Let h = 0 - 0. Let b = 22 - 32. Let f be 8/b*5/10. Which is smaller: h or f?
f
Let i = 26.11 - 26. Let d = i + 1.89. Let p = d + -2.1. Which is greater: p or 2?
2
Suppose -g + 576 = c + g, 3*c = -2*g + 1744. Suppose -a + c = -3*a. Let d = a - -10802/37. Is d < -1?
False
Let w(f) = -f + 5. Let c be w(11). Let p be 8/12*(-1 + -7). Does p = c?
False
Let t = 14149/43 + -329. Are 1 and t nonequal?
True
Let l = -15.7 + 15.5. Which is greater: l or 7/5?
7/5
Suppose -s - 1 = -3. Suppose 0 = -2*c + u + 9, -4*c = -8*c - s*u + 14. Is -0.1 <= c?
True
Let q = -559085 - -290724319/520. Let u = q - 3/40. Which is smaller: 0 or u?
0
Let t be (-143)/(-52) - (-1)/4. Which is greater: t or 2?
t
Let z be (-5)/1*6/75. Let i(k) = -k - 6. Let r be i(-5). Is z < r?
False
Let b be 0/3 + 4/14. Let u = 2 + -1.8. Let n = u + 0.8. Are b and n unequal?
True
Let q = 65 - 60. Suppose 4*s - 2 - 9 = -b, -4*b + s + 27 = 0. Let r = -2 + b. Are q and r non-equal?
False
Let w(z) = -z - 6. Let h = 7 - 13. Let a be w(h). Which is smaller: -1/13 or a?
-1/13
Let s = 2 + -3. Let a be 3/(-3) - (-3 + -56). Let r = a + -172/3. Which is smaller: r or s?
s
Suppose 0 = -m + 2*m + 3. Let p be (-56)/9 + (-2)/(-9). Let n be (6/(-8))/((-3)/p). Which is bigger: m or n?
n
Let c be 18/63 + (-80)/(-14). Is 6 >= c?
True
Let f = 3.1 + 2.98. Let o = f - 6. Let t(w) = w - 5. Let l be t(4). Are o and l non-equal?
True
Let i(s) = -s**3 + 6*s**2 - 6*s + 3. Let z be 2*6*2/8. Suppose 0 = -z*b - 2*b + 25. Let x be i(b). Is 0 < x?
False
Let z(t) be the second derivative of t**4/12 + 3*t**3/2 - 15*t**2/2 - 3*t. Let j be z(-11). Is 7 > j?
False
Let i(h) = 2*h + 5. Let s be i(-6). Let b = -10 - s. Is b greater than or equal to -3?
True
Let b = 15 + 58. Is 73 at least as big as b?
True
Let o = 8 - 9. Let g be (-4 - o)*(-1)/3. Which is smaller: g or 1/8?
1/8
Let r be (-3 - -6)*(-1)/10. Which is greater: r or -1?
r
Suppose -i - 2*i = 366. Let z = i + 612/5. Which is smaller: -2/3 or z?
-2/3
Let i = -1.99 + -0.01. Let h = 2.1 + i. Let p = -1756/5 + 351. Do p and h have different values?
True
Let h(s) = -s**2 + 5*s + 4. Let w(x) = 2*x - 3. Let v be w(4). Let r be h(v). Suppose 10 = -z - r*z. Which is greater: z or -3/2?
-3/2
Let y(a) = -4*a - 2. Let w be y(-6). Is w at least 0?
True
Let f(k) = k**3 - k**2 - 2*k + 3. Let g be f(2). Suppose -3*p - 2*p = -20. Do p and g have the same value?
False
Let w = -44 - -98. Is w smaller than 53?
False
Let m = -5 + 4.6. Let u = -0.4 - m. Let a = u - 0. Does 0 = a?
True
Let o = -0.33 - -0.63. Which is greater: o or 5?
5
Let i(o) = -2*o - 14. Let t be i(-7). Which is greater: -1/9 or t?
t
Let h = 89/10 - 32/5. Let w be (-2 - 2)/((-1)/(1/2)). Is w < h?
True
Let v(r) = r**3 + 6*r**2 + 4. Let d be v(-6). Let b be (d*3/(-6))/(-2). Which is greater: 1/15 or b?
b
Let j be (0 + 1)*(-24)/(-136). Which is smaller: 0 or j?
0
Let l = -15 - -10. Which is smaller: -3 or l?
l
Let r = 13 - 11. Is 12 <= r?
False
Let q = 37 - 39. Suppose 2*b + 4*r + 12 = 0, 3*b - 2*r + 7 = -3. Let y = b - q. Is -1 < y?
False
Suppose 0 = -3*b - 5*b - 88. Which is smaller: b or -29/3?
b
Suppose -4*s - 1 = -3*s. Let w = 20 + -13. Let v = 6 - w. Is s smaller than v?
False
Let n = -178 - -181. Let m be 2*-1*2/(-4). Is n < m?
False
Let k(h) = 2*h - 1. Let v be k(3). Suppose 0 = -3*q - a + 10, -v*a + a = -4*q + 8. Is 3 bigger than q?
False
Let p be (1 - 1)/(1 + 2). Let b = -5 - p. Is 1 bigger than b?
True
Suppose r + 0*g + g = 3, -5*r - 20 = -2*g. Suppose -4*t + 6*t + 4*k = 2, 3*t + 2*k - 15 = 0. Let c be (t/(-4) - r)*4. Is c greater than or equal to 0?
True
Let u = -5 + 0. Suppose 0 = -0*v - 4*v + 20. Let o = v + u. Which is bigger: 2/7 or o?
2/7
Let z be 340/225 - 6/4. Which is smaller: z or 0?
0
Suppose 4*b - 8 = -0. Suppose -2*d = 5*t - 9, -3*d = -3*t + 3 + 15. Which is greater: b or t?
t
Let b be 11/(-22) - 3/(-2). Which is greater: 2 or b?
2
Let v = -8.7 - -7. Let u = -0.5 - v. Let x = u + -1. Which is greater: -0.1 or x?
x
Let a = -51 - -46. Which is smaller: -4 or a?
a
Let s = 2 - -2. Let n = s - 2. Suppose 4*o + 2 = -g, -2 = 4*o + n*g + 2. Is o at most 2/5?
True
Let x be (13 - 11) + (-1)/((-6)/10). Do x and 5 have different values?
True
Let o(s) = -s**2 - s + 1. Let l be o(0). Which is bigger: -2/13 or l?
l
Let x(n) be the first derivative of n**3/3 + n**2 - 3*n + 1. Let h be x(-3). Do 3/7 and h have the same value?
False
Let p = 10 - -6. Which is smaller: p or 18?
p
Let p be 1/3*(16 + -1). Suppose p*m + 0*m = -55. Let j = -16 - m. Is j less than -6?
False
Let z be (-1)/(-3) + (-55)/(-15). Suppose 6*w = -3*k + 2*w - 16, 5*w = -z*k - 20. Which is bigger: k or 1?
1
Let m(k) = -2*k - 4. Let u be m(-5). Let j = 0.0101 + -0.1101. Is u greater than j?
True
Suppose -23*u + 24*u - 1 = 0. Which is greater: 8/9 or u?
u
Let q be (29 - 1)*4/(-8). Let x be (-12)/q*(-2)/18. Is x equal to -1?
False
Suppose 0*c - 2*c + 16 = 0. Suppose -6*r = -2*r + c. Let d be (7 + r)/(-1) + 2. Is -3 at most d?
True
Let q(v) = v**2 - 5. Let h be q(3). Is h greater than 5?
False
Let l = 58 - 54. Let h = -2.05 - -0.05. Let p = 2.1 + h. Is l <= p?
False
Let a = 0 - 0.3. Is 3 smaller than a?
False
Let i = 127 + -74. Which is smaller: i or 0.1?
0.1
Suppose 2*w = 5*w - 4*f - 19, -23 = -3*w + 5*f. Do w and 2/81 have different values?
True
Suppose 0 = 4*g - 2*g. Suppose 2*w = -g*w. Let k = w - 1. Is 0.1 not equal to k?
True
Suppose -3*o - 4*i = 28 + 19, -36 = 2*o + 5*i. Let x = o - -13. Which is smaller: x or 2/25?
x
Let t = 0.15 + 0.75. Let w = -0.4 + t. Let s = -0.5 - w. Is s at most -1?
True
Let o(d) = -d**3 + 7*d**2 + 9*d - 9. Let g be o(8). Let b be (g/(-2))/(14/(-4)). Let u = b + 10/21. Is 1 at least as big as u?
True
Let b = -3.72 - 0.28. Which is smaller: 3 or b?
b
Suppose 4*c = -6*c - 10. Is c at most as big as 0.23?
True
Let z = 0.3 + -0.5. Let d be (-8)/14*(-7)/((-84)/(-6)). Which is greater: d or z?
d
Let m = -2 - -1. Let r be ((-80)/(-7))/5 + -2. Which is smaller: m or r?
m
Let q = 41197/6 + -6843. Let d = q - 45/2. Which is bigger: 1 or d?
1
Let i be -3 - -2 - (-21 - -2). Let r = 2 - 15. Let g = i + r. Is 4 not equal to g?
True
Let v be (-4)/(-20) + (-14)/(-80). Suppose 3*k + 2*d = -11, -5*k + 3 = d + 12. Let x = k - 0. Is v less than x?
False
Let t be 16/(-30) - 6/(-18). Let r = -0.2 - -0.1. Which is bigger: r or t?
r
Suppose -d + 1 = -2*n, -5*d = 4*n + n + 10. Which is smaller: -2 or d?
-2
Let x = 92 + -91. Which is smaller: 2/37 or x?
2/37
Let x = 0.43 - 0.03. Let b = -0.7 - -3.7. Let l = -3 + b. Is l smaller than x?
True
Let z = 562/5 + -112. Let a = -1 - 0. Which is smaller: a or z?
a
Suppose 5*f + 11 = 2*d, -3*f - 10*d = -14*d + 15. Which is smaller: -54 or f?
-54
Let l(g) = -g**3 - 4*g**2 + 6*g + 5. Let s be l(-5). Suppose 0*w = 2*w. Let c(z) = z**2 + 2*z - 1. Let r be c(w). Which is bigger: s or r?
s
Suppose -u - 14 = j, -29 = -5*j + 4*u - 81. Is -13 less than j?
True
Let r(n) = -2*n + 2. Let p be r(-5). Suppose -2*y - p - 8 = -4*w, 5 = 3*w + y. Let m be w*(-1 + 0) - -2. Is m smaller than -1?
False
Let t = -5 + -1. Let d = -6 + 2. Let b = d - t. Which is greater: b or 3?
3
Suppose 1 - 8 = f. Let w = f + 4. Which is smaller: w or -2?
w
Suppose -x - 7 = -2. Let g = 5 + x. Do 0 and g have the same value?
True
Let i = 1.8 + -1.5. Let c = 1.3 - 1.4. Is i greater than c?
True
Suppose 5*m - 81 + 21 = 0. Let s be (m/15)/((-2)/(-30)). Suppose 0*i = -5*i - 2*v - 11, -4*v - s = 0. Which is bigger: i or -2/7?
-2/7
Let r be (-23)/(-22) - (-5)/(-10). Suppose 2*t = 3*t + 4*x + 12, -4*x - 12 = 0. Which is smaller: r or t?
t
Let f be (-164)/(-124) - (0 - -1). Let k = 54/217 + f. Let s be (-2)/(-11) - 240/(-132). Is s >= k?
True
Suppose 5*j - 11 = -4*y, -y - 6 = -2*j + 1. Is 2/5 at most as big as y?
False
Suppose -3*j + 40 = -j + 4*p, 0 = -5*p + 20. Let c be (-6)/10*8/j. Which is greater: -1 or c?
c
Let w = 182 - 60. Suppose -5*t - 340 = 5*r, 2*r - t = 4*t - w. Let l be 12/r + (-2)/(-11). Which is bigger: -3/4 or l?
l
Let i be (32/80)/(7/5 - 2). Which is smaller: -2 or i?
-2
Let c = -1949/7 + 279. Let w = -3 - -4. Which is smaller: c or 