uppose w + 22 = 5*t, -o - 3 = -t. Which is bigger: -16/11 or w?
-16/11
Let w = -1896 + 157373/83. Let x = w + -719/913. Do x and -2 have different values?
True
Let d be 2/((0 - -2) + 12/(-3)). Let a be 3*d/(-6)*-4. Which is greater: a or 0.15?
0.15
Let h = -4552 - -22843/5. Let r = h + -17. Let v be (-12)/16 - (-1 - 0). Which is greater: v or r?
v
Let n = 316 - 481. Let b = -2309/14 - n. Which is bigger: b or -1?
b
Let v(t) = -4*t**3 + 4*t**2 - 3*t + 6. Let w(k) = 3*k**3 - 4*k**2 + 2*k - 5. Let d(x) = -5*v(x) - 6*w(x). Let m be d(-2). Is m at least as big as -10?
True
Let b(j) = -9 + j + j - 1. Let w be b(5). Suppose -5*c - 5*x + 2*x - 11 = w, 4*c = -2*x - 8. Which is smaller: c or 1/8?
c
Suppose -2*i = -0*i + z - 4, -3*z = 5*i - 9. Suppose 0*s - 5*t - 5 = 4*s, -5*s + 3 = -i*t. Is s at least as big as 2/23?
False
Let l = -0.7 + 0.8. Let n = 0 - l. Let q be (42/(-44))/(-3) + (-26)/(-143). Which is smaller: q or n?
n
Let j = -9 - -8.77. Let q = j - -1.13. Is q smaller than 0.2?
False
Let c be 30/40*(4 - 0) + -15. Let q = c + 10. Which is smaller: -3 or q?
-3
Let h be (-585)/231 - (-86)/(-473). Which is greater: h or -2?
-2
Let t = 0.51 - 21.51. Let h = -19 - t. Which is smaller: h or -1/4?
-1/4
Let r be 3/((16/60)/4). Let n = r - 32. Which is smaller: 14 or n?
n
Let b = 159 - 157. Let c be (9 - (1 + 3)) + b*1. Which is smaller: c or 5?
5
Suppose l + 241 = 3*n, -n - 502 - 15 = 2*l. Which is greater: l or -255?
-255
Let j be ((-3)/2)/(3/(-8)). Suppose -q = -j - 0. Let k be (75/(-9) + 3 - 0)/(-2). Which is smaller: q or k?
k
Let x = -640 - -642. Let z = 9 + -6. Suppose z*p - 5 = 4. Is p less than or equal to x?
False
Suppose -5*k - 3*k = -184. Which is greater: 24 or k?
24
Let b(y) = y + 1. Let a be b(-1). Suppose 2*n = -3*l + 13, -6*l + 4*l + 5*n - 23 = a. Let s = 2/143 - 445/1144. Is s > l?
False
Let b be 0 + (-3 + -1)/(-1). Suppose 0 = f - 3*f + 3*z + 3, b*f - 5*z = 5. Which is smaller: -2/119 or f?
-2/119
Suppose 5*s + 3 = 8. Let y(k) = 2*k - 97. Let l be y(49). Is l greater than s?
False
Let g(f) = -f + 2. Let a be g(1). Let w be (-1002)/20*a/30. Let k = 2/25 - w. Is k not equal to 3?
True
Suppose -5 = -4*g + 5*h, -h - 3 = -g - 1. Suppose -2*j - g*b - 6 = 6, -j - 3*b = 7. Let c = -90 + 1348/15. Does c = j?
False
Let f be 225/(-30)*(-1 + 166/10). Which is smaller: -118 or f?
-118
Let i be -1*44/(-8)*-16. Let x = 127 + i. Let y = 28 - x. Is 0 != y?
True
Let p = -11 - -10. Let l be (-2)/p + 2304/(-1128). Which is smaller: 1 or l?
l
Let a(f) = -2*f - 20. Let y be a(-10). Suppose 0 = -2*l - z - 26, 13 = -y*l - l + 3*z. Which is smaller: -14 or l?
-14
Let s be -4 + 6 - -1*2. Let d be 14/s + (-1)/(-2). Let u be (-6)/d*(-14)/63. Is u bigger than 0?
True
Let j be 1 - (-4)/(-756)*183. Let t = j - 1/7. Let k be (-2 + 0 + 1)*-1. Is t less than or equal to k?
True
Let x(t) = -2*t**2 - 10*t - 7. Let o be x(-5). Let n be (-8 + o)*(-2)/(-6). Is -2 >= n?
True
Let m be (-10)/(-3164)*(-11405)/(-25). Let d = m + -3/226. Let u = -56 + 58. Which is smaller: d or u?
d
Let s = -10.2 + 10.2. Are -0.016 and s equal?
False
Let k = -7.41 + 0.41. Let y = k + 7. Is y less than or equal to -29?
False
Let r be (-188)/(-235)*(-2)/(-76). Is r smaller than 0?
False
Let x = 1784 + -1852. Which is smaller: -11 or x?
x
Let j be (52/18)/(3/42). Is j at most as big as 39?
False
Let f be (-10)/(-60) + 4/(-6). Let z(p) = -33 - 9*p**2 + p**3 + 7*p + 65 - 30. Let x be z(8). Which is greater: f or x?
f
Suppose -5*f = v - 125, 25 = -4*f + 5*f - 4*v. Are 24 and f nonequal?
True
Let m(a) = -a**2 + 5*a - 6. Let g be m(3). Suppose 0 = s - g*s - 0*s. Is s <= -7/5?
False
Let z = 146/55 + -22903/8690. Is 0 <= z?
True
Let c = -2.2 - 0.8. Let f = -2.8 - c. Let h = 75 + -78. Is h greater than f?
False
Let x be (6/(-7))/((-39)/182). Which is smaller: -0.4 or x?
-0.4
Let y(t) = 2*t**3 - 21*t**2 + 17*t + 23. Let w(n) = n**3 - 11*n**2 + 8*n + 12. Let g(r) = -5*w(r) + 3*y(r). Let h be g(6). Which is greater: 5/6 or h?
h
Let t = -12.04 + 12. Let v = t + -0.96. Let l = 0.06 + -0.46. Is l greater than v?
True
Let r be (-9)/(-379)*((-85)/15 - -5). Let w = r + -12429/4927. Which is smaller: w or -4?
-4
Let i(d) = d + 1. Let j(k) = 6*k + 3. Let f(r) = 5*i(r) - j(r). Let z be f(2). Let h(g) = -g**2 - g + 2. Let x be h(z). Which is smaller: 1 or x?
1
Let v = -18.7 - 10.3. Let i = -29.1 - v. Let d = 4 - 1. Does d = i?
False
Suppose 122 = 38*v - 68. Let h = -14 - -7. Let l be (-2)/(-7) - 19/h. Do v and l have the same value?
False
Let d be (5/45)/(1 - 8/6). Suppose 30 = 4*n - x + 2*x, 0 = -2*n + 2*x + 10. Which is smaller: d or n?
d
Let t be ((-4)/8)/(1/(-4)). Suppose -4*x - t = -5*x. Suppose 0 = x*g - 0*g. Are g and 5/8 nonequal?
True
Let u(i) = -2*i**2 + 13*i - 21. Let a be u(9). Is -199/3 at most a?
True
Let b = 194 + -193.9. Let x = 3.472 - 0.562. Let q = -0.09 - x. Which is smaller: b or q?
q
Let j = -3170/11 - -288. Let k = 177.98 - 183. Let c = -5 - k. Is j at most as big as c?
True
Suppose 0 = 36*g - 23*g + 1885. Let l = 26445 + -184098/7. Let x = l + g. Which is smaller: x or -0.1?
-0.1
Let a be (1/2)/((-7)/602). Let d = a + 44. Does d = 0.32?
False
Suppose 0 = p + 2*d - 5 + 14, 0 = 2*p - d + 23. Which is greater: -67/7 or p?
-67/7
Let w be 44*(-18 + 5 + 12). Is w >= -39?
False
Suppose 4*j - 11 + 7 = 0. Is 28/51 greater than j?
False
Suppose 0 = 2*r + f - 402, 2*f - 2 = 6. Is 198 equal to r?
False
Let x(y) = -2*y + 34. Let q be x(15). Suppose 22 = q*j - 2*j. Is 82/7 less than j?
False
Let k = -4871 + 7482. Let l = -44361/17 + k. Let n = -275/102 + l. Is n at most as big as 0?
True
Let g(o) = -17*o**2 + o + 1. Let y be g(-1). Is y less than or equal to -17?
True
Suppose 4*u + 39 + 50 = -5*q, -q - 41 = -5*u. Is -21 smaller than q?
False
Let v = 202 + -98. Let i = -737/7 + v. Which is smaller: i or -1?
i
Suppose -4*h = -3*h. Suppose 0 = -h*m - 4*m - b - 2, -2*b + 3 = m. Is m < 3?
True
Let l be -38 + (-9)/((-36)/(-16)) + 2. Which is greater: l or -42?
l
Let w = -4650/19 + 245. Let y = w - -13/95. Which is smaller: -1 or y?
-1
Let n = 421 + -422. Is 16/47 greater than n?
True
Let d be 10/(-12)*2262/52. Which is bigger: -37 or d?
d
Let d = -322 - -346. Is 22 less than d?
True
Suppose -2*x + x = -6. Let i be (26/x)/((3/(-36))/(-1)). Is i equal to 52?
True
Let g = 473 - 455. Which is smaller: 14 or g?
14
Let n be 0 - (-3)/(30/(-4)). Let j = -21.8987 + -0.1013. Are j and n non-equal?
True
Let l = 125396239/343163275 + 2/2580175. Let o = l - -6/95. Is o at least 0?
True
Suppose 2*u + 2*i - 13 = 9, 0 = 2*u - 3*i + 3. Let j = -30 + u. Let l be (6/(-92))/((-18)/j). Which is greater: l or 0?
0
Let v = 268 - 267. Let y = -8.8 + -2.2. Is y at most as big as v?
True
Let f = -1.6 + 4.6. Let n be (0/(-2))/(5/((-5)/(-1))). Is f >= n?
True
Let s = -99 + 105. Which is smaller: 16 or s?
s
Let l be 3*(-2)/(-62) + 0. Let o(x) = -4*x - 49. Let q be o(-12). Which is smaller: q or l?
q
Let y = 6/1067 + 233649/4268. Which is bigger: y or 55?
55
Let a be (-81)/1296 + (-15)/16. Is a at least as big as 1/727?
False
Let v be 3/(4 + (0 - 5)). Suppose -n + 4*t + 28 = 0, t + 2 = -3*n + 21. Suppose h = -h - n. Is v >= h?
True
Let u(x) = 2*x - 2. Let a be u(5). Let k be 2 - ((-10)/a - 0). Suppose -5*s - 5*y + 30 = 0, 2*s = -3*y + 3 + 13. Is s greater than or equal to k?
False
Let c be (0 - 5)/(-40)*(-18)/3. Which is bigger: 55 or c?
55
Suppose -5*s + 5*h + 25 = 0, 2*s + s - 4*h - 13 = 0. Let z be (-3)/(-1 + 8/s). Let d = -122354 + 122334. Which is smaller: z or d?
z
Let u = 0.082 - -31.918. Which is smaller: u or -2?
-2
Suppose 0 = 2*b + 2*b - 12. Let l be (((-8)/b)/4)/((-10)/(-15)). Let q = 36 + -107/3. Is l greater than or equal to q?
False
Suppose j + 3 = -2*w, w + 1 + 0 = 0. Let z = -25 + 42. Let b be z/36 - 20/90. Which is bigger: j or b?
b
Let o = 80.1 + -80. Let p = -3 + 1. Let r be p/9 + (-34)/(-72). Is o at least as big as r?
False
Let d be 8/6 - 2/24*4. Let c be ((-1)/d + 6 + -8)/1. Which is smaller: c or 4/5?
c
Let x = 1 - 2.45. Let i = x + 1.15. Which is greater: i or 31?
31
Let q = 473 - 472.94. Suppose -4*j = 0, 4*d + 3*j = j. Which is smaller: d or q?
d
Let x(z) = -13*z + 127. Let b be x(14). Which is smaller: -61 or b?
-61
Let m = 17066/5 + -3426. Is -13 smaller than m?
True
Let n = -39.77 + 41.5. Let l = 0.27 + n. Which