-1)). Is u greater than d?
False
Let x be -7 + -22 - (0 - 3). Are -53/2 and x non-equal?
True
Let m = 430 + -214. Which is smaller: m or 215?
215
Let p = -1606 + 1585. Does p = -108/5?
False
Let z be 21/(-7) - (-467)/156. Let q = 229/780 - z. Suppose -4*j + 3 - 1 = -2*r, -j = -r - 1. Are q and j unequal?
True
Suppose 958 = 2*f - 2*u, 2*f + u + 960 = 4*f. Is f < 481?
False
Suppose 4*b - s - 15 = 0, -2*b + 0*b = -4*s - 4. Let i = -0.143 + 2.143. Is b <= i?
False
Let d(s) = s**2 + 4*s + 4. Let r be d(-3). Do -0.7 and r have the same value?
False
Let g be 1*(-12)/((-12)/4). Let s(b) = -2*b + 4. Let n be s(g). Let a = 9 + -13. Is n less than a?
False
Let v = 2 + -3. Let a = v + 1. Suppose -5*b + 5 = -a*b. Which is smaller: 2/11 or b?
2/11
Let a = 8 - 26. Let b be 6/22*a/(-81). Suppose 36*s - 34 = 2. Which is greater: s or b?
s
Let m = 633 - 634. Let l be 3/((-10)/(-4) - 1). Let u be (l - -2)*(-2)/4. Is m less than or equal to u?
False
Let o = -3 - -8. Suppose b - 4*b + 30 = 0. Let q = b - 4. Is q >= o?
True
Let n = -433424/59 + 7346. Is n less than 0?
True
Let c(n) = n**2 + 3*n - 2. Let m be c(1). Suppose -v = m*v + t - 46, 4*v = 2*t + 68. Is v equal to 16?
True
Let x = -1.4758 + -0.0242. Which is bigger: -2 or x?
x
Let y(i) = -36*i - 542. Let t be y(-15). Which is bigger: t or -33/23?
-33/23
Let x be 11/55 - (-278)/35. Let w = -377/42 + x. Is -2/5 at least w?
True
Let p = -7 + 6. Let f be (-3)/2 + 309827/213066. Let i = f - -4/171. Which is bigger: i or p?
i
Suppose 193*w - 187*w + 600 = 0. Which is smaller: 3 or w?
w
Let f(v) = 2*v**2 + 9*v - 5. Let m be f(-5). Is 4/679 at least m?
True
Suppose 42*t - 35*t = -119. Are -18 and t unequal?
True
Let o be 0/6 + 8/2. Suppose p = 2*r - 1, 0*p - 1 = o*r - p. Which is smaller: r or -1/11?
r
Let t = 0.4 + -0.3. Let f = -0.1 + t. Let c = 1.366 - 0.366. Is c smaller than f?
False
Let u(r) = -r**3 - 4*r**2 - 5*r - 3. Let k be u(-3). Let p(m) = -m**2 - 17*m - 17. Let d be p(-15). Suppose -y + 8 = g, 2*y - y + 2*g = d. Is y smaller than k?
False
Suppose -8 = 32*u - 36*u. Let n be (-2)/9 + 94/18. Suppose 5*x = -n*b - 15, -6*b - 5*x - 17 = -u*b. Which is smaller: 5 or b?
b
Let o = -1119359/330 + 3392. Is o at most 0?
False
Let k = -2 - 1. Let x be 1/((-4)/(-4 + 20)). Let p be x + 2 + -3 - -3. Which is smaller: p or k?
k
Let s = 26 + -30. Let j be -24*(s - (-3 - 0)). Let u = -23 + j. Which is bigger: u or 0.6?
u
Suppose 51 = 3*y - 21. Suppose 0 = -j + 1, -2*o + 0*o + 2*j + y = 0. Which is smaller: o or 12?
12
Let f = -74 - -76. Suppose f*w = -2*w. Which is smaller: -2/47 or w?
-2/47
Let j = -100/187 - -6/17. Let i be (0 - 0/(-1))*(-1)/2. Is i greater than or equal to j?
True
Let v be -2*1*15/(-6). Suppose 6*i - 9 = -3*a + 3*i, -23 = 3*a - v*i. Which is smaller: a or 1?
a
Let q be 90/25 + -3 - 84/(-10). Let a(p) = 2*p + 1. Let y be a(q). Is 2 greater than or equal to y?
False
Let f(o) = 3*o**3 - 2*o**2 - o. Let q be f(-1). Let g = 1 - q. Let t = 43 + -44. Is g bigger than t?
True
Suppose 4*h + h = 10. Let o be (-44)/(-8) - h/(-4). Let y = -277 - -283. Are y and o equal?
True
Suppose 4*f + 5*w = 23, 0 = -2*f + w + 1. Let z be ((-16)/(-9))/((-78)/(-117) + 1/(-1)). Which is smaller: z or f?
z
Let g = -70.898 + -0.102. Let v = 70 + g. Suppose -6*s = -s + n + 28, -s + 4*n - 14 = 0. Are s and v non-equal?
True
Let f = -45047/7765 - -2/1553. Are f and -6 equal?
False
Let m be -4 + 124/(-16) + 1/(-4). Let a be (m/(-10))/(492/(-100) - -5). Is a != 14?
True
Let g = 1.93 + -42.93. Is g >= -6?
False
Let t = 70 + -229. Let n = t - -163. Let m be -1 - (-6)/(-10) - -1. Which is smaller: n or m?
m
Let u = 12565/2679 + -91/19. Is 1 greater than or equal to u?
True
Let r = 271 - 160. Let n = 125 - r. Is n equal to 1/4?
False
Let v = 0.022 - 23.022. Let q = -23.1 - v. Let c = q + 2.1. Is 9 less than or equal to c?
False
Suppose -2*o - 6 - 2 = 0. Let c be ((-47)/12 - o)*(-8)/5. Let i = -1.1 + 0.1. Which is smaller: i or c?
i
Let p be (193/196 - 1)*(-12382)/(-861). Let u = -2/343 - p. Let o = 2 + -1. Which is smaller: u or o?
u
Let w(b) = 41*b**2 + 10*b + 3. Let s be w(-5). Let y = 14663/15 - s. Which is greater: y or 1?
1
Suppose r + 4*q = -12, 1 = r + 5*q + 17. Let f be 12/9*(-3)/(-2). Suppose -r*i + f*i - 6 = 0. Is i >= -7/4?
False
Let o = 134 + -111. Suppose -27*x = -o*x - 4. Which is bigger: x or 12/5?
12/5
Let a be 2/20*15/6. Is -20 at most as big as a?
True
Let s be (-27)/12 + 7/28 - -3. Let a be ((-15)/(-400)*4)/(s/(-12)). Let i be 4*(-1 + 1/2). Is a at most i?
False
Let u(a) = 6*a**3 - a**2 + 1. Let g be u(2). Let p be ((-1)/6)/((-12)/g). Let y be (1/1)/(30/(-80) - 11/(-8)). Is y bigger than p?
True
Let b = 1296 - 22041/17. Suppose 8 = -x + 2*o + 9, -6 = x + 5*o. Is b at least as big as x?
True
Let y(g) = -g**3 - 6*g**2 + 1. Let i be y(-5). Let c = i + 26. Is c at most 6/5?
False
Let n = 94 + -84. Suppose -3*a - 2 = -2*i, -3*i - a - n = a. Is i smaller than -20/7?
False
Let w(k) = -k**2 - 2*k + 1. Let r be w(-2). Let i = 286.53 + -285. Let t = -1.5 + i. Which is greater: r or t?
r
Let v = -345/26 - -7661/546. Let u = v + -1/84. Which is smaller: u or 0?
0
Let v = -14 + 8. Let h(x) = x**3 + 6*x**2 - 3*x - 17. Let y be h(v). Is y < 2/5?
False
Let f(v) = -21*v**2 + 19 + 103*v**3 - 6*v - 102*v**3 + 25*v. Let x be f(20). Which is smaller: x or 2/15?
x
Let l(p) = p + 1. Let k(i) = 0*i - 6 + 5 + 2 + i. Let w(d) = 4*k(d) - 3*l(d). Let s be w(-2). Are -0.2 and s non-equal?
True
Suppose 0*j + 1260 = -4*j. Let a be 2/(-4) - j/6. Let g = 209/4 - a. Is 2 at least as big as g?
True
Let l = -617 - -618. Which is smaller: -311 or l?
-311
Let w = -1910 - -410649/215. Let z = w - 847/2795. Which is greater: 0 or z?
0
Let t be 9/6*(-1 + 0)*2. Let w be 6/(-44)*(-4 - -5 - t). Which is bigger: 1 or w?
1
Let z be 40/30 + 2/(-6). Let q(k) = -k**3 + 2*k**3 + 0*k**3 - k**2. Let b be q(z). Is -2/3 >= b?
False
Let o = -1258 + 1257. Which is bigger: 1/73 or o?
1/73
Suppose l - 88 + 89 = 0. Let b be (3 - 3)/(0 - (l - -4)). Is b less than -2/83?
False
Let x = 8 + -5. Suppose x*z - z = 0. Suppose 0*h - 3*h - 6 = z. Which is smaller: 8 or h?
h
Suppose 5*d + 25 = 4*f, -2*f - 5*d = 2*f + 25. Which is smaller: -3/25 or f?
-3/25
Let g = -1/3622 + -17188/59763. Do g and -1 have different values?
True
Let v(m) = m + 6. Let h = 2 + 8. Let g = 5 - h. Let z be v(g). Which is smaller: 3 or z?
z
Suppose 10139 - 2468 = -3*m + 5*q, -10239 = 4*m - 3*q. Is m greater than -2561?
False
Let t = -305 - -305. Is t bigger than 2/551?
False
Let a = 8 - -3. Suppose -168 = -a*z + 3*z. Suppose -z = -5*v + 5*k + 4, 18 = 4*v - 3*k. Is v not equal to 22/9?
True
Suppose b + 284 = 3*k, -4*b = k - 79 - 7. Which is greater: 96 or k?
96
Let u = -2 + 1. Let v = -3/170 - 53/850. Is u less than or equal to v?
True
Let i(m) = 2*m + 2. Let n be i(-2). Let f = n - -2. Let c = 781/10 - 78. Do c and f have the same value?
False
Let q be 358*(-1)/(-16) + 1 + -5. Does 19 = q?
False
Suppose 3*j + 5*f = 19, -j + 3 = -0*f + f. Let t be (45/(-12))/(12/j). Suppose 0 = 4*h - 3*n - 7, -3*h + 6 = n - 4*n. Is t not equal to h?
True
Let b = -7 + 8. Let p be 0 + b + 25 + -6. Suppose -5*d - p = -5*r, 0*r - r = 3*d. Which is smaller: -1/4 or d?
d
Let o = 0.03 - 1.83. Let k = -1 - o. Let f be 16/(-12)*3/10. Is k at most f?
False
Let t(q) = q + 1. Let a be t(-3). Let f be 60/45 - a/6*-4. Which is smaller: -9/13 or f?
-9/13
Let w be ((-2)/3)/((-4)/(-3))*-2. Let a(r) be the third derivative of -r**6/120 + r**5/20 - r**4/12 + r**3/6 + r**2. Let i be a(w). Which is bigger: -1/3 or i?
i
Let j(s) = -s**2 + 16*s - 47. Let k be j(13). Which is smaller: k or -0.8?
k
Let v be 2/8 - 129/4. Let s = -27 - -137. Let x = s + -109. Is v greater than or equal to x?
False
Let y = 403 - 350. Is 10 at most as big as y?
True
Let g = 116758 + -80329627/688. Let u = 4/161 - 977/6923. Let m = u - g. Which is smaller: -1 or m?
-1
Suppose -4*g = 3*r - 2 - 4, 5*r + 16 = 2*g. Let w be r - (-7 + -1 + -3). Let a(t) = t**2 - 11*t + 18. Let c be a(w). Is c >= -1?
True
Suppose -3*x + 34 = 2*p - 24, 0 = 5*x + 5*p - 95. Let z = 25 + -3. Which is bigger: x or z?
z
Let c = 0 - 1. Let p be (-1)/((-9)/(-2149) + 0). Let q = -239 - p. Is q equal to c?
False
Let y = 7.6 - 32.6. Let g = y - -25.07. Is g less than -2/3?
False
Let y be (2 + 2 - 4)/1. Supp