es?
True
Suppose -g + 5*g + 8 = 0. Is -15/7 greater than g?
False
Let o = -42 - -42. Which is bigger: -11 or o?
o
Suppose -2*o = 2*g + 3*o + 109, -4*g + o - 163 = 0. Let l be g/(-110) - (-2)/(-10). Is -1 greater than or equal to l?
False
Let p = -119 - -117.93. Let s = p - -0.17. Let z = -0.8 - s. Is z >= -0.1?
True
Let y = 1 + 7. Suppose 3*x = 5*x - 18. Which is smaller: x or y?
y
Suppose 4*y - 36 = 4*q, -5*y + 4 = -2*q - 2. Which is greater: -5 or q?
-5
Suppose 5*f - 10 + 4 = 4*s, 2*s = 4*f - 6. Suppose y = 3*h + f, -5*y = 4*h - 10*y - 1. Let m be ((-10)/(-5))/(h - 1). Do m and -2/3 have different values?
True
Let m = 0.1 + -0.1. Let x(f) = -f**2 + 5*f + 4. Suppose 0 = l - 3*s - 6, 5*l + 0*s = -3*s + 30. Let k be x(l). Which is smaller: k or m?
k
Let l be 1 - (6/3 + 1) - -15. Is 90/7 bigger than l?
False
Let w be (-22)/(-6) + 2/6. Let i = -4 - -4. Suppose j - 5 = -i*j. Is j less than or equal to w?
False
Let j be (-14)/63 - 34/9. Let f = j - -8. Is f at most 4?
True
Let a = 0.28 - -0.72. Are -1 and a unequal?
True
Let v(k) = -k + 5. Let u be v(6). Do u and 2/7 have the same value?
False
Let l = 10 + -4. Is 6 less than or equal to l?
True
Suppose w + 4*n - 7 = 3*n, 5*n = 2*w - 49. Let s be (-9)/30*w/(-27). Are s and 1 equal?
False
Let f(q) = -4*q**2 + 0*q**3 + 0 + q**3 + 5 - 4. Let i be f(3). Is i equal to -1/2?
False
Suppose -110 = -7*j + 2*j. Let h be j/56 + 2/(-8). Suppose 5*f + n - 6 = 0, 2*f - n = n. Which is greater: f or h?
f
Let w(t) = t + 3. Let j be w(-3). Suppose -7*v + 15 = -2*v. Suppose 3*z - 4*z = -1, v*z = u + 4. Which is smaller: j or u?
u
Let m = -508.1 - -508. Let r = -0.1 + 0.3. Let o = 0.1 - r. Is o at least as big as m?
True
Let s = -97885/67 + 1461. Which is smaller: 0 or s?
0
Let w be (-2)/4*0/1. Suppose 3*b - 8 = 10. Suppose b = 5*u - 2*u. Is u greater than or equal to w?
True
Let j(d) = d**2 - 7*d - 8. Let q be j(8). Let c = 510991/66 - 7743. Let i = c + 1/22. Which is greater: q or i?
q
Let s = 78 + -78. Do s and 1.1 have the same value?
False
Let h = 7 + -4. Suppose -h*a + 0*a + 5*z + 5 = 0, 5*a + 2 = -2*z. Does a = -2/17?
False
Suppose 0 = 4*q + 8, -h - q - q = 9. Let w be -1 + h/3 + 3. Is 1 greater than or equal to w?
True
Suppose -v + 1 = 3. Suppose -i + 4 = -2*m, 0 = m - i - i + 8. Suppose h = -m*h - 1. Which is greater: h or v?
h
Let l be 15/(-6) + 225/10. Is 20 equal to l?
True
Let g = -209/36 - -50/9. Which is smaller: 6 or g?
g
Let j be (-1)/(-2) - 299/(-26). Is 13 > j?
True
Let k(j) = j**2 + 7*j + 1. Let s be k(-8). Let l = -9 + s. Which is smaller: 1/9 or l?
l
Let f = 4951/110 + -45. Is f smaller than 0?
False
Let d be (-2)/8 + 1/(-4). Let q = -8 - -8.05. Let o = 0.95 + q. Which is smaller: o or d?
d
Suppose 0 = -4*s + s + 18. Let h = s - 6. Do 2/3 and h have different values?
True
Let i = 46 + -47. Which is smaller: -2/95 or i?
i
Let h be (-3 - -1)*(-6)/4. Let c be 1/2*h/(-6). Is c smaller than -2/3?
False
Let c be (-34)/153 + 194/(-18). Which is smaller: c or -0.1?
c
Let p = -338 + 2364/7. Let q(s) = -s**2 + 5*s + 1. Let b be q(5). Which is bigger: b or p?
b
Let m = -8 + 21. Let s = m - 17. Which is smaller: s or -2?
s
Let c be 0/(-3) + -2 + 2. Suppose c*i = 4*i + 8. Which is smaller: -1 or i?
i
Let l be 0 - 2 - 625/(-3). Let o = 208 - l. Is o less than 3?
True
Let r(k) = -k - 5. Let y be r(-6). Let i = -5 - -6. Is y greater than i?
False
Suppose -5*w - 4*g = 36, -3*w = -0*w + 3*g + 24. Let a = -4 - w. Suppose h + h = a. Is 0 smaller than h?
False
Suppose -4*s + 20 = s. Suppose 0 = -s*m - 6 - 14. Are m and -5 unequal?
False
Let f = 16 + -14.8. Let o = -0.2 + f. Let s = 2 - o. Is 3 at least as big as s?
True
Let m be -2 + -2 + 200/55. Is m smaller than -1?
False
Let k be (-44)/(-99)*3/(-2). Which is smaller: -3 or k?
-3
Let g = 1 + -1. Let a = -7 + 8. Let z = a - g. Is 1 equal to z?
True
Let q = 9.3 + -9. Let z = -0.2 - 0. Let n = q + z. Are -0.1 and n equal?
False
Let x = 0.089 + -0.489. Is x bigger than -1.8?
True
Suppose 0 = -3*o - 0*o + 3. Let t be o/4 + (-28)/(-48). Is t greater than or equal to 1?
False
Let o(l) = -2*l**2 + 8*l + 1. Let t be o(4). Let d = 1353/596 - 3/149. Which is bigger: t or d?
d
Let v = -0.06 - 0.04. Let w = -0.08 + -0.06. Is w > v?
False
Let z = 8.09 + -8. Let p = 0.19 - z. Which is smaller: -0.3 or p?
-0.3
Let k(f) = -f**3 - 7*f**2 - 7*f - 6. Let w be k(-6). Suppose -22 = -3*j + 4*x, x + 14 = 5*j - w*j. Which is smaller: 1 or j?
1
Let p be 2/9*(-12)/8. Let x be (-2)/(4/(1 + 1)). Let c be (-1 - -1)*x/1. Which is greater: p or c?
c
Let t = -12 + 103/10. Let z = -11/5 - t. Are z and -1/20 equal?
False
Suppose -3*j - 3*w = -j + 6, 0 = -j - 2*w - 2. Suppose 0*v = -2*d + v - 11, 0 = -d - v - 7. Is j <= d?
True
Let s(m) = -m**3 - 2*m**2 - 4*m - 3. Let t be s(-2). Suppose -3*g - 4 = -t*g. Suppose 0 = -g*c + 2. Is 0 >= c?
False
Let d = 46 + -32. Is 13 greater than d?
False
Let r = -7 - -7. Which is bigger: r or -0.1?
r
Let s = 2 - 1.9. Let v(u) = u**3 + 3*u**2 + 2*u + 1. Let f be v(-2). Let t = 2 - f. Which is bigger: t or s?
t
Suppose 1 = -5*g - 4. Do 0 and g have the same value?
False
Let s = 2.4 - -0.6. Let a = 5 - s. Is a bigger than -2/3?
True
Let y = 27/2 - 137/10. Which is bigger: -2/7 or y?
y
Let o = 348 + -5914/17. Are -1 and o unequal?
True
Let c = -68 + 65. Is 1/6 < c?
False
Let m(r) = r**3 - r - 1. Let l be -3*1/(-3)*-1. Let v be m(l). Suppose 2*y = y. Is y > v?
True
Let l(y) = y**2 + 2*y - 7. Let b be l(-5). Let r(o) be the second derivative of -o**4/12 + 3*o**3/2 - 5*o**2 - 14*o. Let h be r(b). Is h < -3?
False
Let o(a) = -a - 3. Let q be o(-7). Suppose 5*w = -d - 2*d + 12, 0 = -3*d + q*w - 15. Which is bigger: d or 3/11?
3/11
Suppose -3*m + 5*h = -7*m + 24, -3*m - 2*h = -11. Which is smaller: m or -2/35?
-2/35
Suppose -12 + 3 = -3*t, 2*q - 11 = -t. Let d(n) = -1 - q*n - n + 0*n - n**2. Let k be d(-5). Is -1 equal to k?
True
Let p be 40/(-45) - 2/(-9). Let g = -2.7 + 0.7. Is p less than or equal to g?
False
Let y = -0.16 + -0.14. Is y > 2?
False
Let i be 6 - (-2 - (-10)/2). Suppose 3*r + i*j + 9 = 0, -3*r = -0*r + 4*j + 10. Let d = 2 + r. Is d equal to 0?
True
Let y(r) = 10*r - 6. Let d be y(-2). Let n be (12 + d)/((-8)/6). Which is smaller: n or 12?
n
Let r = 3 + -13. Which is bigger: -6 or r?
-6
Let a = 119113/169764 + 3/4042. Let n = 1/28 - a. Let p = -34 - -31. Is p <= n?
True
Let p(a) = -a**3 - 8*a**2 + 10*a + 2. Let m be p(-9). Is m at most as big as -7?
True
Suppose -5*i + 17 - 102 = 0. Let v = i - -23. Is v less than 6?
False
Suppose 7*i = 2 + 5. Which is smaller: i or -3/14?
-3/14
Let y = -215.93 + 217. Let m = 0.07 - y. Is m != -1?
False
Let l = -3 + 2.9. Let b = -0.4 + l. Let a = b + 1.5. Is a not equal to 0.1?
True
Let w(h) = h**3 + 8*h**2 + 6*h. Let f be w(-7). Suppose 12*y - f*y = -5. Let j = -1/2 + 7/10. Is j greater than y?
True
Suppose 4*l + 2*m + 12 = -2*m, -4*m - 18 = -2*l. Let u = -1 + l. Let b = 44/115 + 5/23. Is b greater than or equal to u?
True
Suppose -4*p + 88 - 24 = 0. Suppose 3*b - p = 7*b. Is b smaller than -5?
False
Let s = -11 - -5. Which is smaller: -5 or s?
s
Let m = -9376/17 + 552. Is -1 smaller than m?
True
Let m = 72 + -433/6. Let z = 4 + -3. Let d = z + -2. Is m at least d?
True
Let f = -12.8 - -10.8. Is -4 greater than or equal to f?
False
Let w = 9484961/15 + -631699. Let q = -632 + w. Let t = q - -31/60. Is 0 equal to t?
False
Let x(c) = 14*c + 8. Let t be x(10). Let a be 3 + ((-884)/t - -3). Is -1 greater than a?
False
Let t(v) = -3*v - 1. Let n be t(-1). Suppose 4*i = 2*i - 20. Let x be ((-2)/i)/(n/(-5)). Are -1 and x equal?
False
Suppose -2*a - g = 2*a - 8, 4*a - 5*g = 8. Which is smaller: 3/2 or a?
3/2
Let z = -24 - -22. Which is smaller: -5/4 or z?
z
Let q be ((-8)/15)/(4/(-10)). Which is smaller: 1 or q?
1
Let d be 12/(-81)*(-3)/(-2). Let c(x) = x**3 + 2*x**2 - 2. Let g be c(-2). Let l = -1 - g. Which is bigger: l or d?
l
Let v be (-1)/(2 - 1) + 0. Is v < 1/7?
True
Let p = -0.9 - -1. Let f(b) = -b**2 + 8*b + 7. Let r be f(9). Which is smaller: p or r?
r
Let c = 2 + -0.8. Let r = c - 0.2. Let f = 15 - 17. Do r and f have different values?
True
Suppose 0 = -y + 5 + 3. Suppose y*p - 25 = 3*p. Let r(d) = d**2 - 5*d. Let x be r(p). Which is greater: -6/5 or x?
x
Let v be (7/(-4))/(3/(-24)). Which is smaller: 15 or v?
v
Let a =