88943/7382930. Which is smaller: -1 or s?
-1
Let z be (58/6)/(-24 + (-102179)/(-4257)). Is z greater than -3?
True
Suppose 0 = 179*o - 10834 - 14405. Let b = 284 + -141. Which is smaller: o or b?
o
Suppose -4*a + 5*k = 15, -4*a - 5*k + k + 12 = 0. Let b = -216632727/2204 - -393161/4. Let i = -21/29 - b. Is i equal to a?
False
Let g = 770 - 765. Let k = -308 + 627/2. Is k at least g?
True
Let b be (3 + 3)/(4 - 2). Suppose 2*j + 468 = -2*c + 136, 2*j - b*c = -347. Which is greater: -171 or j?
j
Suppose 2*q - 2 = 0, -2*b - q = 2*q - 3. Let y be 188/(-60) + 3 - 232/60. Let h be 9/9 + y - (-4)/2. Which is greater: h or b?
b
Let c = -0.22 + 151.22. Let d = -165 + c. Is d >= -0.1?
False
Suppose 0 = -5*z + 39*j - 36*j - 4223, 2529 = -3*z + j. Do -840 and z have different values?
True
Let z = 275.915 + -276. Let k = z - 0.515. Let b = -6 + 4. Does b = k?
False
Suppose 106 = 7*x + 134. Let j = 13 + -8. Suppose 4*i + 23 = -j*y + 2, -8 = i + 4*y. Is i < x?
False
Suppose -9 - 1 = 5*u. Let j(k) = k**3 - 122*k**2 + 236*k + 171. Let n be j(120). Which is greater: n or u?
u
Let z be (-13795)/93 + 5*(-6)/45. Which is bigger: -124 or z?
-124
Suppose -14*p - 132 = -18*p. Let l be 2 - 1 - (990/12)/p. Let k = 65/99 + -7/33. Which is smaller: k or l?
l
Suppose -5*k - 4*p + 19 - 3 = 0, 3*k - 4*p + 16 = 0. Let l = 670 + -380. Let o be (-6)/8*l/348. Is k >= o?
True
Let x(v) = v**3 + 3*v**2 - 8*v + 19. Let i(k) = 14*k - 33. Let c be i(2). Let r be x(c). Let d be 2/(1 + 3 - -4). Is r equal to d?
False
Let a(i) = -10*i**2 + 21 - 2 + 2*i + 5*i**2. Let s be a(7). Is -212 equal to s?
True
Let m be 1*(1 + 0 + 0) + -4 + -1808. Which is bigger: -1813 or m?
m
Let u(b) = 6*b - 5. Let v be u(1). Suppose 2*h - 5*h = g + 6363, -5*g - 4*h - 31760 = 0. Let l be -3 + (-1)/5 + g/(-1990). Is v smaller than l?
False
Let u = -20 + 22. Suppose -u*l + l = -7. Suppose 0 = 3*c + 4*c + l. Is c at least -2/37?
False
Let h(c) = -2*c**2 + 208 - 418 + 9*c + 189. Let z be h(5). Which is bigger: z or -28?
z
Let k(r) = -r**2 - 21*r - 73. Let m be k(-12). Suppose -m = 4*n - 3*i, -7*n = -6*n - 5*i + 13. Which is bigger: n or -7?
-7
Let v(q) = q**2 - 8*q - 7. Let j be v(12). Suppose 448 = 5*f - 21*f. Let z = j - f. Is z at most 68?
False
Let o = 115842967/2135 + -54259. Which is greater: -2/9 or o?
o
Let u = -10884 - -10891. Does u = -5/23?
False
Let m(a) = 1. Let o(t) = -t + 8. Let i(k) = m(k) + o(k). Let j be i(9). Let g be 12/130 + 10/100. Is g less than or equal to j?
False
Let d = 8138/38475 + -2/2025. Which is greater: d or 1?
1
Suppose 6 = 3*c, -21*c = 2*m - 25*c + 8. Is m >= -160/287?
True
Let n = 1379 - 2738. Is n bigger than -1/9?
False
Let u(k) = 21*k**2 - 10*k + 2. Let r be (-1)/6 - (-125)/30. Suppose 4 + 4 = r*o. Let m be u(o). Is 67 bigger than m?
True
Let h(r) = r**3 + 6*r**2 + 2. Let v be h(-6). Let l = -3 + v. Let z = -1.1 + -9.9. Does z = l?
False
Let s = 437/1120 + -9/224. Let m = 3678 - 3677. Is s smaller than m?
True
Let i(m) = m**2 + 39*m + 201. Let q be i(-6). Let z be (2/3)/(1/(-42)). Let o be 136/63 + (-8)/z. Which is smaller: q or o?
o
Let o(x) = -x**2 + 15*x - 3. Let z be o(14). Suppose 6*f - z = 13. Suppose -4 - 41 = -5*v. Which is bigger: f or v?
v
Let k be (-3)/((-15)/(-2)) + 65688/4420. Let h = k - 59045/4082. Is h less than 1?
True
Suppose 2*o + 3*s - 49 = 0, 37 = 4*o - 3*s - 34. Suppose -5*t - 4*a - o = 0, -t = -3*t - 2*a - 6. Which is bigger: t or -9?
t
Let b be 4/1448*77/308. Which is smaller: b or 1?
b
Suppose 16*n - 582 = 1738. Let k = -145 + n. Which is bigger: k or -8/31?
k
Let w = 97/5 + -20. Suppose -4*q - 4*k - 6 = -3*q, 4*q - 3*k + 43 = 0. Let x = q - -9. Which is smaller: w or x?
x
Let q = 124.31 - 121.21. Which is smaller: q or 4.2?
q
Let n = -9939 + 3723. Let k be (1 + -4)/(2268/n). Which is greater: k or 9?
9
Suppose 8*g = 6662 - 1510. Let k = -669 + g. Does -18 = k?
False
Suppose -2 + 0 = 2*t. Let u = 59.33 + -59. Let w = u + -0.7. Which is smaller: w or t?
t
Suppose -j = s + 193, -3*s - j + 231 - 812 = 0. Let d = -149 - s. Which is greater: 47 or d?
47
Let n(b) = 1235*b - 1240*b + b**2 - 2*b**2. Let g be n(-7). Is -9 bigger than g?
True
Let j be ((-6)/(-4))/((-1295460)/(-112944938)) - 2. Let p = j - 1/47980. Let s = -129 + p. Which is smaller: s or 0.01?
s
Let g(d) = d**3 - 18*d**2 - 18*d - 22. Let j be g(19). Let a be ((-10)/20)/(j/(-6)). Is a < 3/38?
True
Let l be ((-1)/84)/(4/(-642)) + 1060/(-424). Is 0 < l?
False
Let t = 815/6 - 1867/12. Let h = 29 + -48. Which is smaller: h or t?
t
Let v = -111.04 + 112.04. Does v = -2351?
False
Suppose 5*x - 2*s = -7*s + 20, 4 = -x + s. Let f be (161/(-14) - -11)*6/183. Which is greater: x or f?
x
Let t(a) = 60*a - 121. Let s be t(2). Let z = 8 - 4. Let g be (-16)/z - (-1 + 53*s). Which is smaller: 52 or g?
g
Let v = 230 + -230. Suppose v = 3*i - 0*i + 36. Which is bigger: -11 or i?
-11
Let f = -263.8 + 263.3. Which is smaller: f or -25/3?
-25/3
Let w = 136568/9 + -15171. Is w less than 2?
False
Let j = 49.725 - -5.295. Let p = -16 + -39. Let n = p + j. Which is smaller: 7 or n?
n
Let u(z) = -23*z - 357. Let o be u(-17). Does 32 = o?
False
Let t = -61005 + 60996. Suppose l = 3*z + 16, z + 2*z = 3*l - 18. Which is bigger: l or t?
l
Let f(z) = z**3 + 10*z**2 + 5*z - 1. Let m be f(-9). Suppose -10 = 5*w - m. Suppose 0 = 3*p + 4*g - 42 + 8, 0 = 4*p - 5*g - 4. Do p and w have different values?
True
Suppose -13*l + 0*l = 2*l + 90. Let i = -38 + 12. Do l and i have different values?
True
Let s = -0.189 + 0.089. Let o(i) = i**3 + 4*i**2 - i - 2. Let n be o(-4). Suppose -3*j = n*j - 25. Is j at most s?
False
Let v = 32 + -27. Let k be 2 - (15/(-3))/v. Suppose -4*r - 5 = -2*l - 5*r, -r - 4 = -l. Is l >= k?
True
Suppose -5*w + 3*v = -0*w - 30, -2*w - 2*v - 4 = 0. Let q = 3 - w. Let y = 1310 - 90388/69. Does q = y?
False
Let a = -1964 + 1963. Is -48/767 smaller than a?
False
Suppose -3*f - h - 5 + 27 = 0, -f = -3*h + 6. Suppose -48 = f*v + 66. Is -23 less than v?
True
Let w be 660/12 - (-2 + -2 + 4). Let j be ((-166)/w)/((-5)/((-125)/(-1470))). Let z = j - 2/539. Do z and -1 have the same value?
False
Let p(b) = -24*b - 115. Suppose 32*i = 35*i + 39. Let y be p(i). Is y != 197?
False
Let l = 46153 - 3138345/68. Which is smaller: l or 1?
l
Let l be -1 + 3/((-132)/(-68)). Let m be (-5)/((-10)/6) + 2. Suppose 5*f - m - 5 = 0. Is l equal to f?
False
Let h be -27 + 27 + 1*4. Suppose 3*q = 2*t - 6, -2*q = -0*q - h. Let d be 56/t + 4/(-12). Is d > 9?
False
Let m = -8945 + 8943. Let u = 3 - -67. Which is bigger: m or u?
u
Let b = 107 - -45. Let t be b/(-50)*(-5)/14. Let c = t + -2/7. Is 2 bigger than c?
True
Let t(m) = m**3 - 25*m**2 + 32*m - 194. Let b be t(24). Let i be -36*((-3)/b)/(4 - 1). Are i and -13 equal?
False
Suppose -14*g + 48 = -18*g. Let y be (-11 - g) + (-83)/120. Let b = -7/24 - y. Which is greater: -2/9 or b?
-2/9
Let i = -403.942 - -391.92. Which is greater: -0.1 or i?
-0.1
Let s(t) = -t**3 + 3*t**2 - 2*t - 5. Let h be s(4). Let m = -181 - h. Is m at least -153?
True
Suppose -149 = -5*q + 4*i, -39*q - 2*i = -36*q - 107. Let n = 1.1 - 1. Which is greater: n or q?
q
Suppose -5*z + 1312 = -4*g - 1261, 2*z + 1264 = -2*g. Is g at most as big as -635?
True
Let o = 22007 - 20543. Which is bigger: 10258/7 or o?
10258/7
Let f = -81.4 + 4.4. Which is bigger: -0.1 or f?
-0.1
Suppose -3*p - 2*o + 9 = -0, 4*p + o = 12. Suppose -4*m + 2*f + 78 = 0, p*m + 2*f + 5 - 81 = 0. Suppose m - 24 = -2*h. Is 2/5 not equal to h?
True
Let h = -36.87 - -35.87. Is h >= 2/1235?
False
Suppose 3*y - 12 = 0, 178 = -2*h - y - 212. Suppose 158*g - 4*c - 436 = 160*g, -2*g - 356 = -4*c. Is h != g?
True
Let t = -144.6 + 144.59. Is -5/59 less than t?
True
Suppose 4*w - 52*n + 23894 = -54*n, -2*n = -3*w - 17917. Are -5975 and w non-equal?
True
Let h = -36 - -54. Let r be (-420)/770 - 193/(-11). Is h less than or equal to r?
False
Let w = 4/2133 + -4033/2133. Suppose -4*i - p + 3*p = 6, 0 = -i - p. Is i less than w?
False
Let q = 0.05 + 1.95. Let v = -229.9 + 224. Let x = v + 4.1. Is x smaller than q?
True
Let p = -110 + 186. Let t = p - 75.953. Let k = 0.053 + t. Is k > -25?
True
Let o(t) = -229*t - 5496. Let i be o(-24). Is i bigger than -1/46043?
True
Suppose 3*m + 0*m = -2*p + 53, 57 = 3*m + 3*p. Suppose -15*b = -10*b - m. Let o be (-27)/(-5) - b - (