e u and l equal?
False
Suppose -3*y - 6*y = 0. Let w be ((-1)/(-1) - y)*(-87)/1. Is -87 greater than or equal to w?
True
Let w be 6/333*(-9)/3. Let f = -4282273/74 + 57870. Let j = w - f. Is -1 less than or equal to j?
False
Let w be 6/104*-16*9/162. Is 1 > w?
True
Suppose -5*c = 5*d + 5, 5 - 14 = 3*d + c. Let f be (2 + 372/(-16))*d. Let n be (-10)/(-45) + f/(-18). Is n at most as big as -5?
False
Suppose -5*n - 2*x + 68 = -6, 3*n = -2*x + 46. Let r be (-18)/n - 3 - -4. Is r bigger than -3?
True
Let f = -16.7 - -15.67. Let u = -0.03 - f. Is u at least as big as 1.2?
False
Let d(h) = 9*h + 10. Let g be d(-9). Let c be (-2)/g*(-4)/(-8). Which is bigger: 1 or c?
1
Let d be 7 - 48/6 - 0. Is d equal to -2/805?
False
Let q = 25 + -58. Are q and -36 non-equal?
True
Let w(t) = 2*t**2 + t - 1. Let n be w(3). Let z = 3996.9 + -3997. Is n >= z?
True
Let l = 179 + -127. Let r = 46 - l. Let n = 243 - 2185/9. Does r = n?
False
Let x be (-18 - -8)/((-1)/2). Let b = 81/4 - x. Which is smaller: 8 or b?
b
Let j be 21/(-12) + 1*2. Let f = 68 + -68. Let m be 2 + ((-15)/(-5) - f). Which is bigger: j or m?
m
Let s = -1488 - -1333. Do s and -155 have the same value?
True
Let h = -293 - -292. Which is bigger: -1/406 or h?
-1/406
Let m = 19 - 6. Suppose w = m + 11. Which is smaller: w or 25?
w
Let g = -92 + 93. Which is greater: g or -17?
g
Let m be ((-27)/(-18))/((-12)/16). Suppose 1 = -z + n + 4, n + 3 = -z. Suppose z*d - 6 = 3*d. Is d not equal to m?
False
Let n = -32291 - -160928/5. Let u = n + 106. Is 1 < u?
False
Suppose -i + 4*b - 48 = 0, -2*i + 0 - 81 = -5*b. Which is smaller: -30 or i?
-30
Let o = 307 - 306.982. Which is greater: o or 0?
o
Let b = 78.3 + -83.3. Let z be -1*((-6)/2)/(-6). Which is greater: z or b?
z
Let t = 0.274 + 1.726. Is -10.8 != t?
True
Suppose 2*f - 8 = 3*p, 43*p + f - 4 = 41*p. Is p < 254?
True
Let r be (40/32)/((-1)/(-4)). Let f be (-57)/21 - (-4 + r). Is f smaller than -4?
False
Let g = 1345/13 - 95. Is 8 at most as big as g?
True
Let c(y) = 11*y**3 - 4*y**2 + 4. Let f be c(2). Let m = 55 - f. Which is smaller: m or -22?
-22
Suppose -3*w - 325 = -8*w. Suppose w = -5*g - 2*q, 2*g + 12 = -0*g + 2*q. Let r = g + 8. Does -2/7 = r?
False
Let y = 95933/11 + -8697. Is y <= 25?
True
Let s = 169/471 - 4/157. Which is smaller: s or 2/61?
2/61
Let i = -1.1 - 3.9. Let g = -5.2 - i. Let v = g + 0.3. Which is greater: v or -3?
v
Let u = -3.3 - -2.6. Let c = -17.3 + u. Let h = 19 + c. Is h less than or equal to -19?
False
Let g(f) = -f**2 - f + 2. Suppose 4*u + 13 = 5*h + 1, 10 = -u + 3*h. Let c be g(u). Let y be 0 + (-8)/3 + 56/(-84). Is y equal to c?
False
Let t be (-4)/10 - (-44)/10. Suppose 2*x - 16 = -5*h, -x - 26 = -t*h + 4*x. Suppose -h*b + 5*b = 0. Which is bigger: -1/8 or b?
b
Let b = -606 - -852. Is b smaller than 246?
False
Let s = 87 + -190. Which is greater: -105 or s?
s
Let n(s) = -s**3 - 22*s**2 + 21*s - 46. Let y be n(-23). Is -148 greater than y?
False
Let r = -623 - -703. Which is greater: 82 or r?
82
Let h = 523.9 + -524. Is -603 at most h?
True
Suppose -4*g + 1274 = 58. Let p = g + -2731/9. Is p greater than or equal to 2?
False
Let k(w) be the first derivative of -w**3/3 - 5*w**2 - 7*w - 4. Let f be k(-8). Are 9 and f equal?
True
Let l(s) = -s**3 - 15*s**2 + 21*s - 9. Let g be l(-16). Is g less than or equal to -90?
False
Let q be -4 - -1 - (0 - -1). Let w = 118 + -119. Is w <= q?
False
Suppose -12*g + 266 - 278 = 0. Which is smaller: -3/37 or g?
g
Let s = -8659229/36 - -240512. Let n = -343/12 - s. Does n = -6?
False
Let u be (-2)/(-6) - (-475)/15. Let b = -2 + 35. Which is smaller: u or b?
u
Suppose i = -4*m - 83, 2*i + 0*m + 181 = -3*m. Suppose 0 = -14*a + 12*a - 3*v - 176, 0 = -5*v + 20. Is a > i?
True
Let t(q) be the first derivative of q**3/3 + 5*q**2/2 + 5*q + 2. Let z be t(-5). Suppose -2*p = -3*l - 0*l + 20, l - 8 = 2*p. Which is smaller: l or z?
z
Let h(j) = 9*j**2 + j - 2. Let x be h(1). Suppose 3*b + 2*b - 15 = 0. Suppose -4*v - 40 = -3*o, -5*v = -b*o + x + 30. Which is bigger: 17 or o?
17
Let x = -2313 + 2312. Which is greater: -6/433 or x?
-6/433
Let h(m) be the third derivative of 5*m**4/12 - m**3/2 - 7*m**2. Let c be h(1). Is 6 >= c?
False
Suppose -2*g - 2 = -5*b + g, b + 6 = -g. Are b and -3 equal?
False
Let q = -7009/69 + 305/3. Let v(f) = f**2 - 8*f - 10. Let c be v(9). Let p = 0 + c. Is q less than or equal to p?
False
Suppose 3*z = 5*z - 34. Suppose u + z = 4*o, 2*u + 3*o + 1 = -0*u. Is -9/2 greater than u?
True
Let x = -87 + 71. Is -14 greater than x?
True
Let s = -1/470 - -6113/1410. Let q = 8100 - 243133/30. Let r = q + s. Are -2/7 and r equal?
False
Let n = 119 + 66. Do 1298/7 and n have different values?
True
Suppose 8*w = 10*w + 112. Let f be -1*66/w + (-4)/(-16). Which is smaller: f or 1?
1
Suppose 0 = 3*z + 17*z - 880. Which is greater: 3 or z?
z
Suppose -6*y + 44 - 98 = 0. Which is greater: -41/5 or y?
-41/5
Let v be (-251)/38 + (-94)/(-893). Which is bigger: v or -6?
-6
Let w be ((-2)/4)/(99/90 + -1). Which is smaller: w or -0.2?
w
Let n = -88 + 88.6. Let o = n - 0.6. Is o equal to 2/85?
False
Let s = 28.84 - -0.16. Let r = -30.5 + s. Let j = 1.8 + r. Which is smaller: -0.3 or j?
-0.3
Let s(r) = r - 2. Let a be s(2). Suppose a = 14*z - 18*z. Let l be 2/(-8)*16/52. Which is bigger: z or l?
z
Let y be ((-4)/(-8))/((-1)/(-40)*-4). Suppose -4*c + 3*n + 16 = 0, 2*c - 3 = 3*n + 5. Suppose 2*a = -r - 14, -34 = 4*r + c*a + 6. Is y at least as big as r?
True
Let t(l) = -7*l**2 + 40*l + 13. Let m be t(6). Which is greater: -3/25 or m?
m
Let t = 59 + 25. Let c = t + -4. Which is bigger: 1 or c?
c
Let l(f) = -f**3 + 2*f**2 + f - 2. Let w be l(2). Let a = -374997179/288 + 1302070. Let p = a - -31/9. Which is greater: p or w?
w
Let g = 362 + -2532/7. Let y = 43/204 + 2/51. Which is smaller: g or y?
y
Let t = -35/2 + 18. Suppose -3*v - 4*b - b = -28, -2*v - 2*b + 12 = 0. Which is smaller: t or v?
t
Let c(f) = f**3 + f**2 - 4. Let d be c(0). Let w = -4 - d. Let r = 2391 - 11959/5. Which is greater: r or w?
w
Let p = -162 - -167. Is p less than 0?
False
Let u = 158 + -1108/7. Let c = -17521/26 + 674. Let w = c - 1/65. Is w bigger than u?
True
Let r = -5 + 4. Let p(d) = -d + 3. Let a be p(3). Let u = r - a. Which is smaller: 8 or u?
u
Let y be (-9)/(-4)*(-48)/(-9). Suppose z - 9 = 2*h, -3*z + y = -0*h - h. Suppose -28 = -47*m + 33*m. Is m <= z?
True
Let k = -8 + -5. Let u be 924/78 - 2/k. Suppose 0 = -2*s - 0*s - u. Is s > -7?
True
Let b(m) = -m**3 + 2*m**2 + 1. Let k be b(2). Let p = k + -23. Let w be 24/p*(-8)/(-16). Which is smaller: -1 or w?
-1
Suppose -12*t + 39 + 93 = 0. Is 14 <= t?
False
Let s = 0 - -0.1. Let y = -0.3 - s. Let b = 0.039 + -5.039. Is y < b?
False
Let b = 4 - 8. Let x(l) = 5*l - 5*l**2 + 12*l + 4*l**2 + l - 23. Let a be x(17). Which is greater: b or a?
b
Let i(z) = z**2 + 1. Let b be i(3). Let r = b + -7. Suppose -2*f = 0, 2*f + 3 = -r*n + 7*f. Is -1/4 > n?
True
Let j = -2078 + 16599/8. Let d be (-80)/90 + 14/(-6) - 8/(-36). Which is smaller: d or j?
j
Let c = 16 + -11. Let u be (-8 + c)/(3/(-2)). Let n be 9/(-6)*u/(-3). Is -1 bigger than n?
False
Let j be 4/(-140*(-5 + 4) + 2). Is j < 0?
False
Let j = -8711/952 - -1/136. Let c = 327/35 + j. Is c equal to 1/4?
False
Suppose 4*g - 21 + 5 = -2*f, -40 = -5*f - 2*g. Let x(w) = w - 7. Let z be x(f). Which is smaller: z or -3/28?
-3/28
Suppose -3*i + 0*q + 56 = -4*q, 4*i - 70 = 3*q. Let t = -15 + i. Is 3/22 greater than t?
False
Let w = 118 - 117. Which is bigger: -252 or w?
w
Let c = 3277 - 3287. Is 7/9 less than or equal to c?
False
Let c(g) = 2*g + 15. Let z be c(-8). Let x(n) = -n**2 - 8*n + 7. Let i be x(-7). Suppose 2*h + 4 = -f, -2*h - 2 = -5*f + i. Which is bigger: h or z?
z
Let z = 92.44 + -0.44. Let k = z + -92. Which is bigger: k or -5/4?
k
Suppose -3*h - 2*h = -145. Suppose 3 - 4 = m - 4*o, 4*o = -3*m + h. Which is smaller: 5 or m?
5
Suppose 5*m = -5 + 15. Let i be (-2)/68*15/10*m. Which is bigger: 0 or i?
0
Let k be ((-9)/11)/((-1)/10*-15). Is k < -1?
False
Let p = -173 - -167. Let a(b) = -b**2 + 13*b - 17. Let g be a(12). Is g < p?
False
Let r be ((-104)/2)/(-4) - -4. Are -4 and r unequal?
True
Let t be (-32 - 1/(-1))*89/89. Which is greater: -3 or t?
-3
Let n(z) = -6*z - 15. Let o(j) = -2*j - 5. Let t(y) = 6*n(y) - 17*o(y). Let b 