es?
True
Suppose 6*y + 5*i = y - 20, 4 = -5*y - i. Suppose o + y*o = 3. Let z = 16 + -13. Is o > z?
False
Let t = 69 + -69. Is t greater than 2?
False
Suppose -7*s + 2*s = 40. Which is smaller: -7 or s?
s
Let i(q) = q + 1. Let m be i(1). Suppose m*y + 3 = 5*y. Let h be (88/36)/2 + -1. Which is bigger: h or y?
y
Let q(t) = t - 5. Let z be q(7). Suppose 2*x = x - z. Which is bigger: x or -8/9?
-8/9
Let t be ((-10)/15)/((-2)/156). Let y = t - 113/2. Which is smaller: -4 or y?
y
Let z be (5 + (-1 - 0))*-1. Let n = 0 - 4. Let d be n/3*6/4. Is d less than z?
False
Let f(s) = 9*s**3 + 2*s**2 - 1. Let j be f(-1). Let k be (8/(-21))/(j/(-12)). Which is greater: 2 or k?
2
Let o(t) = -t - 2. Let u be o(0). Let h = -373/1800 + -3/200. Is u at least as big as h?
False
Let h be 7 + -10 + 1*11. Let m be (1/h)/((-1)/2). Is m smaller than 1?
True
Suppose -5*d + 2*v + 0*v + 55 = 0, 5*v = -25. Let t = -17/2 + d. Which is smaller: t or 2?
t
Let o be (-9)/3*4/(-3). Let c(d) = -2*d**2 + 7*d - 5. Let j be c(o). Let q = j + 9. Which is smaller: q or 2/13?
q
Suppose -3*g = -3*t + 174, -8*g = -9*g - 5. Which is smaller: 51 or t?
51
Let o = -9 + 6. Let q be 3 + -4 + 9/o. Is -4 greater than or equal to q?
True
Let g be 143/(-165) + (-2)/15. Suppose i = -2*d - 12, -5*i - 4*d - d - 35 = 0. Which is greater: i or g?
g
Suppose 0 = -0*z + 3*z. Let o = -15 - z. Let l = o + 136/9. Is 0 smaller than l?
True
Let r = -692/11 + 63. Let a = -19 + 20. Which is smaller: a or r?
r
Suppose -3*h = -0*q - q + 17, 46 = 3*q - 4*h. Let p be (28/(-49))/((-4)/q). Suppose -i + 0*i = -3. Which is greater: p or i?
i
Suppose 2*b = -21 + 19. Are b and 1/21 equal?
False
Let g = -1 - -3.2. Let r = -2 + g. Let o = 0.4 + -0.3. Is o greater than r?
False
Suppose 0 = -4*i + 11 + 5. Suppose -2*l + h = 4, -4*l + i*h = 6*h. Which is greater: 1 or l?
1
Let i(j) = -j**2 - 7*j + 5. Let s be i(-8). Let m be (-1*(-24)/(-4))/2. Is s at least m?
True
Let t(v) = -3*v**2 + 10*v - 3. Let w(s) = s**2 + s + 1. Let m(h) = t(h) + 4*w(h). Let g be m(-14). Which is smaller: 0 or g?
0
Let r be (-4)/(-14) + (-185)/35. Let j = 5 + 2. Let p = j + r. Is 2 != p?
False
Let w(d) = -d**2 - 6*d - 2. Let y be w(-5). Suppose -2*x - y = x. Which is bigger: x or 1?
1
Let a(o) = -162*o + 1. Let q be a(2). Let x = -6785/21 - q. Which is greater: x or 0?
0
Suppose 6*v - v + 20 = 0. Let y = 0 - v. Which is bigger: 3 or y?
y
Let z be (-1)/(-4)*4*0. Which is smaller: 1/27 or z?
z
Let z be 4/(-10) + (-3)/105. Which is smaller: 1 or z?
z
Let x be -1*((-15)/3 + 3). Which is greater: x or 6/11?
x
Let f = -167 - -1501/9. Let y be 3/(3/(-2)) - -2. Which is smaller: f or y?
f
Let l(v) = 2*v - 20. Let h be l(9). Is h at most 1/4?
True
Let i be (-4)/6*9/(-39). Is 0.1 > i?
False
Let o(a) = 2*a - 1. Let f be o(-11). Let k = f + 24. Which is smaller: 3/14 or k?
3/14
Let d = -0.161 + 2.161. Suppose 0*n - 3 = -3*n. Let s be (n + 2/6)/2. Is s greater than d?
False
Let t = 1 - 1. Do 1/17 and t have the same value?
False
Let l = -5 - -11. Suppose -5*r - j = -12, -13 = -4*r + 5*j + 14. Which is smaller: r or l?
r
Let r be (10/(-6) + 1)*6. Let y(c) = -7*c + 26. Let z be y(16). Let t be z/30 - (r - -1). Is t greater than -1?
True
Let d = 0.44 - -0.06. Let j = -7.09 - -0.09. Let k = j - -8. Is d smaller than k?
True
Suppose 0 = -14*l - 28 + 14. Is l at least 2/267?
False
Suppose -3*o + 3 = -6. Suppose -a = o*a + 20. Let g(s) = -s - 2. Let y be g(a). Which is bigger: 1 or y?
y
Let x = 27 + -27. Is x equal to 0?
True
Let y = -0.3 + 1.3. Let z be 5/(-6) - (-1)/3. Is z < y?
True
Suppose -7 = 2*y - 3. Let t be y + (2 - 3/(-9)). Is t <= 1?
True
Let c be (-2 + 6)/((-4)/(-22)). Let m = 16 - c. Which is bigger: -7 or m?
m
Let w(n) = -n**2 - n. Suppose 5*i = 5*f - 30, 27 - 6 = f - 4*i. Let u be w(f). Suppose 2*k = 2*x + 7*k + 9, 0 = 2*k + 2. Is x bigger than u?
False
Let u be 1 - (3 + -2)/(-1). Let n be 10/(-4) + (-1)/2. Let x(o) = -o**2 - 4*o - 2. Let m be x(n). Is m >= u?
False
Let j be 3/(-5)*(-2 + -3). Suppose b - 2*x + 6*x + j = 0, b + 5*x = -4. Let k be (-1)/6*b*2. Which is smaller: -2 or k?
-2
Let p = -2 - -8. Suppose 5*g = -25, 2*j - p = 2*g + 2. Which is smaller: -5/4 or j?
-5/4
Suppose 0 = -2*m - m + 27. Let u be ((2 - 2)*1/(-1))/1. Is u >= m?
False
Let h = 0.27 + -0.07. Which is smaller: h or -0.01?
-0.01
Let d(n) = -2*n**3 + n**2 - 3*n + 3. Let s be d(2). Let i = s - -17. Are i and 12/11 non-equal?
True
Let t be 16/8*3/(-2). Let o be 2/6 + (-6 - t). Which is smaller: -2 or o?
o
Let i = -4 + 3. Let r be (i/(-14))/(1/4). Let z be (2 - 2)*(-1)/(-3). Is r at most z?
False
Let f be ((-21)/6 + 0)/((-22)/(-8)). Is 0 >= f?
True
Let c = -21.8 - -18. Let v = c - -4. Let u = 2.05 - 0.05. Which is bigger: u or v?
u
Suppose f - 4*m = 1533, 5*m - 4*m + 6087 = 4*f. Let x be 2/9 + (-320)/f. Let y = x + 328/845. Is 0 < y?
True
Let p = 0 - 0.2. Let k = 1 - 1.1. Let m = k - -0.2. Is m less than or equal to p?
False
Let w(i) = -i**3 + 4*i**2 - 4*i + 3. Let s be w(2). Let f = -4 - -5. Let a = 1 + f. Which is greater: s or a?
s
Let n(h) be the second derivative of h**5/20 - 5*h**4/12 + h**2/2 - 2*h. Let t be n(5). Let l be (-4)/(-10)*(-5)/(-10). Is l greater than or equal to t?
False
Let p be (0/(-1))/((-3)/3). Suppose -m - b + 10 = p, -5*b = -4*m - 2*b + 12. Let l be 6/9 + (-4)/m. Is l > -3/7?
True
Let q = -24 + 13. Is -10 > q?
True
Let x = -1274/17 - -75. Is x > -1/5?
True
Let w = -2.9 + 1.8. Let s = -0.8 - w. Which is smaller: -1 or s?
-1
Let u = -2 + 5. Let z = u - -5. Suppose -8 - z = -4*k. Is 4 != k?
False
Suppose d + 3*r - 6*r - 1 = 0, -4*d - 5*r + 21 = 0. Suppose 2*s - a + 69 = 6*s, -d*s = 5*a - 89. Which is smaller: s or 17?
s
Suppose 12 = 5*m + m. Let l be (-4)/6 + m/(-6). Which is bigger: 2/19 or l?
2/19
Suppose -5*f + 2 = 3*j - 0, -3*f = 3*j - 6. Let z be (13/j - 3)*2. Which is smaller: z or 1?
z
Let i = -5 - 0. Let d be i/20 + (-13)/(-4). Is 5 greater than d?
True
Let a = -35406/17 + 2082. Which is bigger: -2 or a?
a
Let t = -6.2 + 6. Let n(x) = x + 7. Let f be n(-9). Which is smaller: t or f?
f
Let l = 3 + -3. Let o = 90 + -632/7. Is l < o?
False
Let n be 3 - (-2 + -1)/(-1). Is n at least as big as -9/8?
True
Let r = 18/7 + -16/7. Which is bigger: r or -0.3?
r
Let v = 2.6 + 0.4. Let b = 3 + -4. Let t = v + b. Is 2 bigger than t?
False
Suppose 5*m = 4*d + 19, 7*m = 3*d + 4*m + 12. Suppose 0 = 4*a - 5*g + 8, -2*a - 4 = -0*g - 3*g. Let z = a - d. Which is greater: z or 1?
1
Let a = 0.06 - -1.94. Let y = -2 + a. Let d be (-2)/12 - (-3)/(-18). Which is smaller: y or d?
d
Let d(c) = c**3 - 2*c**2 - 2*c + 3. Let g be d(3). Are g and 6 equal?
True
Let k = 0.02 + -0.05. Let y = k + 0.03. Is y greater than -1?
True
Let c = 52/133 + -2/19. Let p = -0.5 - -0.4. Which is smaller: c or p?
p
Suppose -t = 2*t + 4*g + 2, 0 = -2*t + g - 5. Let o be 14/(-77) + t/(-11). Is 1/14 != o?
True
Let p = -15 + 14. Is -1 bigger than p?
False
Suppose -6 = 3*i + 2*k, 0 = 2*i + 2*k + 6. Suppose -v = -i*v. Is v at least as big as 0?
True
Let l(m) be the second derivative of m**5/20 - m**4/3 - 2*m**3/3 - 3*m**2 + 3*m. Let v be l(5). Which is smaller: -4 or v?
-4
Let d = 14.9 + -15. Which is smaller: d or -16?
-16
Suppose 2 = h + h. Which is smaller: 5/7 or h?
5/7
Let w(x) = x**2 - 7*x - 13. Let b be w(9). Suppose -b = 5*l + 5. Let v be -1 - (6/(-3) - l). Is 1 <= v?
False
Let h = -19 - -10. Let l = -8.9 - h. Let x(g) = -g**3 - 6*g**2 - g - 4. Let m be x(-6). Do m and l have the same value?
False
Let m = -67 + 73. Which is smaller: 5 or m?
5
Let m = -20 - -28. Let s be ((-3)/(-4))/(5 - m). Which is smaller: -0.2 or s?
s
Suppose 4 = -v + 3. Let g be (-54)/(-408) + (-2)/8. Is g smaller than v?
False
Let o(t) = t. Suppose -21 + 0 = 2*b - 5*f, -17 = -b - 3*f. Suppose 4*m - 6 = 5*i, b*i = -3*m + 7*m. Let u be o(m). Is u at most as big as -1/3?
True
Let b = -52 - -52.4. Suppose 0 = -4*g + 5*n + 13, -3 = -3*g - g + 3*n. Let j be 1/g*(-9)/(-12). Is j > b?
False
Let g = 3 + -9. Is -6 at most g?
True
Let f(z) = -z**3 + 6*z**2 + 16*z + 2. Let y be f(8). Which is smaller: y or 0.24?
0.24
Let x be 100/15 + 2/(-3). Suppose x*b - b - 23 = -i, -5*b + 26 = 2*i. Is i smaller than 3?
False
Let j be ((-1)/2)/(10/8). Let f = -7 + 7. Is f less than or equal to j?
False
Let s(x) = -x**2 - x + 1. Let j be s(-3). Let l(g) =