+ s = d. Is d >= -2/17?
True
Let g be 7 - (-8)/(-4) - (-57)/3. Which is bigger: g or 258/11?
g
Let c = 10.3 + -10.239. Let w = c - 0.051. Is 0 less than w?
True
Let w be (1 - 0) + 2742/(-10). Let f = 271 + w. Let j be (-3)/((-81)/45)*(-18)/15. Which is smaller: f or j?
f
Let s = 3.73 + -3.75. Is 0.27 at least s?
True
Let r = -2179/2 - -1090. Let g = -2156 - -196198/91. Is g less than r?
True
Let k be 1/2*((-34)/(-140))/17. Let v = k + 3/364. Which is smaller: -1 or v?
-1
Let n = 228 + -223. Is n at most 15?
True
Suppose -71*x + 62*x - 360 = 0. Suppose 5*o = 2*o + h - 124, 83 = -2*o + h. Which is smaller: o or x?
o
Suppose v - 2*v + u = -4, -5*u - 5 = 0. Let j be 72/2 - (-5 - (-12 - -4)). Let f be v/(-18) + j/270. Is f >= 0?
False
Let v be (-8)/(-12) - 4/(-3). Suppose 0 = -3*s + v*l + 108, 5*l = -2*s - 0*l + 53. Is s at most 34?
True
Suppose -2*b + 42 - 18 = 0. Let a = 11/2 + -7. Let l = -13/6 - a. Is b greater than or equal to l?
True
Let j = -271 + 502. Does j = 230?
False
Let f be (-14)/(-6) - (-7)/(-21). Let o be -7*(-2 + (-6)/(-21)). Let a be (-6)/(-4)*o/18. Is f at least as big as a?
True
Let d be (3 + (-4)/(-2))/1. Suppose d*q - 39 - 41 = 0. Let h be (-1 - (-14)/q)*-2. Is h > 4/5?
False
Let l = 1281 + -1287. Is l greater than or equal to 0.023?
False
Let p = -0.441 - 2.069. Is 1 != p?
True
Let b = -4 - -3. Let v = b + 3. Suppose o + 13 = -4*y, 4*o + o - y + v = 0. Which is smaller: o or -2?
-2
Suppose -j - 5*j = j. Which is smaller: j or -4/57?
-4/57
Let b(d) = -d + 7. Let y be b(7). Suppose 1 = 3*n - 4*i, 5*n + 3*i + i - 23 = y. Suppose 0 = n*q - 2 - 1. Is 3/11 at least as big as q?
False
Let h(p) = -3*p - 2. Let r be h(-6). Let u = 2942 + -2929. Which is smaller: u or r?
u
Suppose g - 5*f = 34, 4*g + 5*f + 10 = 146. Is g <= 38?
True
Let h = 476 + -466. Is -0.15 at least as big as h?
False
Suppose 0 = 4*p + 5*l + 5211 + 5217, -5*p - 13035 = l. Let z = 20733/8 + p. Let y = z - -15. Is y greater than -1?
True
Suppose -15 = -3*i + 2*u, -7 = -2*i + 2*u + 1. Which is smaller: 3.8 or i?
3.8
Suppose 0 = 2*c + 4*d - 3 - 13, 29 = 4*c + 5*d. Let u be (225/c)/(-5)*2. Let v be ((-42)/u)/2*1. Is v at most as big as 1?
False
Let j(r) = -3*r**2 - 4*r + 9 + 2*r**2 + 0*r**2. Suppose -3*y + 13 = -0*w - 2*w, -y = -2*w - 11. Let n be j(w). Which is greater: n or 3?
n
Suppose 0 = -55*z + 49*z + 24. Suppose 5*t = -3 + 23. Is z smaller than t?
False
Suppose 3*p - 12 = -3*z, -3*p + 8 = -127*z + 129*z. Is 6/67 < p?
False
Let d = 543/38 + -26/57. Let h = -14 + d. Which is smaller: h or -0.01?
h
Let m(k) = k**3 - 7*k**2 + 2*k + 9. Let r be m(5). Is r < -32?
False
Suppose 12*z - 102 = 6. Let m(s) = 3 + 0*s - 13 + s. Let w be m(z). Is w bigger than -21?
True
Let u be 2/10 + 44/(-10). Let m = 4 + u. Let p be ((-2)/(-6)*(0 + 0))/(-3). Is p < m?
False
Suppose -u + 3*s + 6 = 0, 2*s = -3*u - 0*u + 18. Let n(c) = c**2 + 11*c + 4. Let j be n(-10). Let m = j + u. Which is bigger: -2 or m?
m
Suppose -5*c + 1153974 = 7830194. Let m = c + 116164949/87. Let x = m - -44/3. Which is greater: 1 or x?
1
Let o be ((-9)/(-6))/((-21)/(-3)). Let p = o + -5/7. Let y be 0 - 3*(-6)/(-9). Which is greater: p or y?
p
Let o = 139.9 + -94. Let a = o + -46. Is -1 bigger than a?
False
Let f = 155.9 - 41.9. Which is smaller: 1/7 or f?
1/7
Let c = 1/14 - -9/70. Which is greater: c or -1/4?
c
Let u = -1.4522 - -1.3522. Let l = 6 - 3. Let c = l - 3.1. Is u greater than or equal to c?
True
Let z(b) = -b + 4. Let h be z(13). Let m(v) = -v**3 - 8*v**2 + 8*v - 9. Let k be m(h). Let o = 0 - k. Which is smaller: o or 2/3?
o
Let l(a) = -a. Let w(z) = 2*z**3 + 3*z**2 - 9*z + 3. Let n(y) = -6*l(y) + w(y). Let v be n(-3). Let p = 50635 + -50649. Is v greater than p?
False
Let f = -16 + 15. Let l be 147/35 + f/5. Suppose 0 = 2*h + h - 4*s + 6, h + 10 = l*s. Do 2 and h have the same value?
True
Let p = -25 - -74/3. Let n(w) = -3*w - 12. Let d be n(-7). Which is bigger: d or p?
d
Suppose 0 = 15*t + 3*t - 1710. Which is smaller: t or 284/3?
284/3
Suppose -10 = -5*a, 0 = 4*s + 3*a - 70 - 92. Suppose -s*q = -37*q + 18. Which is smaller: 1 or q?
q
Suppose 0 = 2*g - b - 2, -5*g + 5*b + 10 = -4*g. Let f(r) = 2*r. Let y be f(-1). Is y >= g?
False
Let l = -17.4 + 17.4. Let y = -188 - -1319/7. Is l equal to y?
False
Let c(y) = -y**3 + 7*y**2 + 3*y - 9. Let x be c(7). Let b = -11 + x. Do 2/65 and b have different values?
True
Let c be (-4*(-3)/5)/((-2)/(-30)). Let b = -36 + c. Which is smaller: b or -6/7?
-6/7
Let v = -55 + -64.9. Let l = v - -120. Which is smaller: -2.8 or l?
-2.8
Let r = -66.7 - -66.5. Are -1.2 and r equal?
False
Let i = 18 - 15. Suppose i*k - 6 = -2*s - 0, -5*s + 15 = 2*k. Is k > 0?
False
Suppose 5*c - 4 - 6 = 0. Suppose -c*z = -6*z + 8. Suppose 1 = z*s - 23. Is 13 at least s?
True
Suppose 2*o - 2*n + 685 = 1809, 5*n + 2252 = 4*o. Is 559 equal to o?
False
Let u be (-8 + (-1251)/(-27))/(4/(-3)). Is u at most -29?
False
Let d(a) = 2*a**2 - 2*a + 3. Let i be d(1). Suppose -s + i - 6 = 4*x, -s = 3*x + 3. Which is greater: x or 1/18?
1/18
Suppose -1330*c - 3808 = -1323*c. Which is greater: -543 or c?
-543
Let u = 14 + 138. Which is greater: 1/5 or u?
u
Let p be -6 - 496/((-32)/4). Which is smaller: -1 or p?
-1
Let j(f) = 5*f + 32. Let h be j(-5). Suppose -14*l + 14 = -h*l. Which is greater: l or -5?
l
Let u(d) = -3*d**3 + 32*d**2 + 8*d + 13. Let v be u(11). Which is greater: 0 or v?
0
Let u be 35/(-60)*(-256)/12. Is u less than or equal to 11?
False
Let n = 24 - 20. Suppose -n*z + 8 = 4*m, 3*z + 7 - 29 = m. Which is smaller: 7 or z?
z
Let i = 83.8 - 9.8. Let t = 84.2 - i. Let q = t + -10. Which is smaller: q or -4/7?
-4/7
Suppose 11*r + 5*c = 7*r - 6, -3*c - 2 = 4*r. Is 5/22 <= r?
True
Let d = -9.7 - -9.75. Suppose 2*x + 2*y = y + 1, -3*x = -4*y - 18. Is x at most d?
False
Let m = -134.5 + 134.95. Let p = 0.1 + -1.1. Which is smaller: p or m?
p
Let r = 223 - 246. Which is greater: r or -25?
r
Let t(i) = -i**3 + 14*i**2 - 15*i + 19. Let z be t(13). Let h = -5 - z. Suppose -3*g + 4*f + 7 = -1, h*f = 5*g - 4. Is 0 greater than g?
False
Let f(h) = 3*h + 2. Let n(w) = 6*w + 4. Let d(k) = 5*f(k) - 2*n(k). Let m be d(-1). Which is smaller: m or 5/21?
m
Let b = -25.025 + 25. Let y = b + 0.225. Is y >= -5?
True
Let y = 2/3001 - -57001/27009. Which is smaller: 3 or y?
y
Let g = 2003/7980 + -2/1995. Let r = 1 + -0.8. Let z = r - 0.2. Which is smaller: z or g?
z
Let i = 931 - 932. Is i bigger than 14/43?
False
Let o be 1/6 + 0 + (-455)/1794. Which is greater: 1 or o?
1
Let d = 806 + -862. Which is greater: -54 or d?
-54
Let x = -23 - -14. Let k = x - -6. Let n be (1/(-23))/(k/6). Which is smaller: n or -1?
-1
Let k = -24644575/821479224 + 1/276872. Let y = 2/129 + k. Which is greater: 0 or y?
0
Let z be (-718 + 2)*130/260. Which is smaller: z or -360?
-360
Let i(r) = -5*r - 39. Let z be i(-17). Which is bigger: z or 48?
48
Suppose 3*v + 6 = 6*v. Suppose -f = -3*f + 2*a + 48, a - v = 0. Which is smaller: f or 25?
25
Suppose -2*p = -2 - 6. Let f(s) = 2*s - p*s + 2*s - s - 3. Let x be f(-8). Which is smaller: x or 7?
x
Let t(g) = 6*g**3 - 3*g**2 - g + 2. Let d be t(1). Suppose -d*b + 65 = 297. Is b bigger than -60?
True
Let m = -30 + 28.6. Let d = -1.3 - m. Is 5 at most d?
False
Let d(w) = w**3 + 22*w**2 - 23*w - 1. Let k be d(-23). Let t be 2/k + (-11 - -12). Let g = 86 + -601/7. Which is greater: g or t?
g
Suppose -3*d + 5*o = 168, -d = -4*o + 3*o + 56. Is -56 greater than or equal to d?
True
Suppose 3*m = -8*m. Let s = 291 + -158. Let d = -395/3 + s. Which is smaller: m or d?
m
Let d = 0.146 - 0.076. Is 9 <= d?
False
Let j = -7.42 + 7.9. Let h = 0.38 - j. Is 1/14 equal to h?
False
Let a be 44/99*(-3)/2. Is a smaller than -0.013?
True
Let t(x) = 2*x**2 - 38*x + 131. Let i be t(17). Is 61 less than i?
True
Let g = -72.7 - -78.9. Let f = 0.5 - -0.5. Is g > f?
True
Let a be ((-1)/20)/(6/(-45)). Let q = -273 - -272. Which is smaller: q or a?
q
Let t = -634 - -635. Which is bigger: -7/88 or t?
t
Let d = 47.8382 - -0.1618. Is 0.8 at least as big as d?
False
Suppose 4*u + 21 - 49 = 0. Is u less than 6?
False
Let d be (4 - 145/35)/(3 - 4). Is d < 0.06?
False
Let z be (-8)/(0 - 6 - -4). Suppose -b = -3*q + 5*q + 2, z*b - 3 = 3*q. Suppose 2*u + 5*v - 28 = 0, 6*v - 4 = 4*u + v. Is q <= u?
True
Let r be (-2)/(-3) + (-8)/12. 