 -37. Let g = z + 54.1. Which is greater: g or -1?
g
Suppose -2*s - 5668 = -2*o, 2*s + 3*o = 7*o - 5666. Let a = s + 422417/149. Which is smaller: -1 or a?
-1
Let j = -6 + 5.9. Let v = 18 + -22. Which is smaller: v or j?
v
Let j = 6079 + -176273/29. Is 2 at most j?
False
Suppose -42 = h - 36. Which is greater: h or -19?
h
Let j = 4813/2 - 2332. Let r = 74 - j. Are -23 and r nonequal?
True
Suppose 3*j - 6*j = -5*m + 6, -5*j + 4*m = 10. Let h(y) = y**3 + 2*y**2 - 2*y - 1. Let g be h(j). Let t(l) = -l - 1. Let b be t(-5). Which is bigger: b or g?
b
Let u(d) be the first derivative of d**4/4 - 3*d**3 + 4*d**2 + 14*d + 12. Let z be u(8). Is 15 at least z?
True
Let t = -231 - -250.6. Which is bigger: 1/2 or t?
t
Let a = 9 + 0. Let l = -10.5 + a. Let h = 36 + -35. Is h < l?
False
Let b(d) = -2*d**3 - d**2 + 11. Let p be b(0). Which is smaller: p or 13?
p
Suppose k + 2*k = -h + 65, 4*h - 20 = 0. Is 25 less than or equal to k?
False
Let z = 388 + -388. Is 1/156 not equal to z?
True
Let y be (20/(-6))/(10 - 6440/645). Is -215 greater than y?
False
Let b be (11 + 9)/220*(-6 - -1). Is b not equal to 1?
True
Let u(t) = 9*t - 136. Let y be u(15). Let m = -6.04 + 0.04. Which is smaller: m or y?
m
Let u be -12*(25/(-4) - -8). Which is greater: u or -10?
-10
Let f = -27690/11 - -2526. Which is bigger: f or 9?
9
Let l = 0.13 + -0.03. Let p = -0.7 + 0.1. Let g = p - -2.6. Which is bigger: l or g?
g
Let p be 1*90/(-33) - -4. Which is bigger: 2/25 or p?
p
Let h = 35 - 31. Let m(j) = -j**2 + 7*j - 8. Let q be m(h). Suppose 3*y + 24 = 3*t - 0*y, -2*y = q*t - 44. Is t bigger than 10?
False
Suppose -v - 25 = -2*g, 4*v + 2*g - 231 + 281 = 0. Is -143/10 bigger than v?
True
Let z(g) = 197*g - 2. Let f be z(1). Suppose j = 6*j + f. Let h be (-13)/j - (-5)/3. Is h <= 3?
True
Let j = 30878 + -153539/5. Do 171 and j have the same value?
False
Let o = 541 - 333. Is o equal to 208?
True
Let g(z) = 297*z**2 + 16*z + 17. Let m be g(-1). Which is smaller: m or 299?
m
Let d(y) = 6*y**3 - 2*y**2 + 2*y - 1. Let n be d(1). Suppose -5*c - 50 = -n*h, 2*c + 1 - 11 = -4*h. Are -1 and c unequal?
True
Suppose -2*c = -d + 10, -5*c - 14 = -3*d + 11. Let s = 9029/7 - 1290. Are s and d equal?
False
Let y = 46.7 - 47. Let o = -1/119 + 251/1547. Is o less than y?
False
Let i = 14 + -13.3. Let t = 0.88 - i. Let b = 0.02 + t. Which is smaller: b or 1?
b
Suppose 0 = 8*h - 6*h - r - 5, 0 = h + 5*r + 3. Which is smaller: h or -22/3?
-22/3
Let n = -1 + -39. Let z = -60 + 19. Is z at most n?
True
Suppose -12*b + 5*b = 77. Let g = -30 + 17. Does g = b?
False
Let o = -226 - -224. Is 1/202 smaller than o?
False
Let z be (0 + 2)*1/(-7). Let t(k) = -k**2 + 16*k + 15. Let i be t(16). Suppose -3*q = -i + 18. Which is bigger: q or z?
z
Suppose 2*p - 4*p = -2, 4*p = 5*s + 9154. Let b be s/(-22) - 2/11. Let r = b + -247/3. Is r less than 2?
True
Let q(c) = 17*c - 18. Let w be q(1). Which is smaller: 1/24 or w?
w
Let h be 2/((-7)/9 - -1). Suppose -2*o - 4 = -0*o + 4*g, -4*g + 12 = 4*o. Which is greater: h or o?
h
Let t = 31 + -43. Let c be (8/t)/(4/66). Let s = c - -1. Which is smaller: s or -11?
-11
Suppose 0 = 3*b - u + 2104 - 621, -2*u - 506 = b. Are -494 and b non-equal?
True
Let o = 0.4 + -0.3. Let k be (-4)/((-8)/3) + (-13)/26. Suppose -5*b = -4*d + 26, -d - k + 4 = -3*b. Which is greater: d or o?
d
Let a be 14*6/(-6)*1. Let y(d) = -d**3 - 4*d**2 - 3. Let i be y(-4). Let b be 7/a*i/6. Which is smaller: -0.02 or b?
-0.02
Suppose -20*h - 114 = -17*h. Let v be (-6)/(-9) - (-238)/(-6). Is v <= h?
True
Let l = 79.52 - 98.6. Let p = -19 - l. Let m = 0.18 - p. Is -0.8 at least as big as m?
False
Let p = 31 + -27. Suppose 0 = -3*x + 2*x - 5*v + p, x = -2*v - 5. Is -8 not equal to x?
True
Let s = -447791/19 + 23576. Let u = s - 8. Is -1 <= u?
True
Let w be 19/38 + (-687)/12*2. Which is greater: w or -117?
w
Let b(q) = 5*q. Let r(a) = a**2 - 8*a + 12. Let z be r(6). Let h be b(z). Is h at least -1/14?
True
Let m = -29 - -27. Let a = m - 0. Is 0.08 > a?
True
Suppose -5*l + 2*t + 2 = 0, 5*t + 4 + 1 = 4*l. Is -17/12 not equal to l?
True
Let h = -5 + 4. Let j = -6 + 125/21. Is j >= h?
True
Suppose 9 = -q + 2. Suppose 1777 = -514*d + 111*d - 641. Does d = q?
False
Let z be (-4)/16 - (-20)/848. Which is smaller: 0 or z?
z
Let y = -1952325 + 5222469243/2675. Let l = -1/107 - y. Let u = -4 - -3. Is l at least as big as u?
True
Let d = 10 - 10.2. Is d <= 1/48?
True
Let j = 286 + -301. Which is smaller: -16 or j?
-16
Let d = 53 - 64.4. Let i = 4.4 + d. Is i >= 2/5?
False
Let l = -2.28 - 1.52. Let u = 0.8 + l. Is 23 not equal to u?
True
Let v = 29 + -14. Let y be ((-22)/9)/(20/v). Let s = 9 - 11. Which is bigger: s or y?
y
Let l = 1.6051 + -1.7051. Let m be 32/3*2/8. Is l bigger than m?
False
Let m be -11 - (-4)/(1 - 5). Let j be m/3 + 168/39. Which is smaller: j or 1?
j
Let t(h) = -2*h**2 + 7*h - 3. Let l be t(3). Suppose -2*n - 121 + 99 = l. Is -12 at most n?
True
Let b = 0.362 + -0.162. Which is bigger: 0.021 or b?
b
Let b = 61/3 + -21. Suppose 0*w - 4 = -4*w. Let n = 3 + w. Is n at most b?
False
Let n be 69*(68/(-6) - 2). Let u be (-2)/n*4*198. Let d = 12/23 - u. Which is greater: d or -2?
d
Suppose 5*h + 3*a - 177 = 0, -70 = -2*h - 5*a + 4*a. Suppose 4*n = -h - 3. Let o be n/1 + (8 - 4). Are o and -6 unequal?
True
Let a be 1/((-6 + 7 - 0) + -3). Let k = -0.58 + 0.7. Which is smaller: a or k?
a
Let v = -1478902/495 + 26884/9. Let g = -459 - -15148/33. Let w = v - g. Which is bigger: -0.1 or w?
-0.1
Suppose d - 2*s - 10 = 0, -2*d - d + 5*s + 26 = 0. Let o(z) = 1 - 9 - d - 6*z + 2*z. Let r be o(-6). Which is bigger: 15 or r?
15
Let p(q) = -26*q**2 + 8*q + 20. Let a(v) = -9*v**2 + 3*v + 7. Let u(c) = -17*a(c) + 6*p(c). Let k be u(1). Which is bigger: k or -24/5?
-24/5
Let z be (-6)/(-5) - 8/(-8 - -88). Is 1 at least z?
False
Let v = 0.458 - 1.458. Is -0.08 >= v?
True
Suppose 10 = -2*o + 5*u, -o + 7*u - 2*u = 10. Suppose o = -6*v + 13 + 65. Which is greater: v or 16?
16
Suppose -2*y + y = 2*b + 2, b + 6 = -3*y. Is y <= -9/23?
True
Suppose -5*t = 2*x - 6*x, 0 = 4*x + 5*t. Let k be 1/2*(-18 + 0 - x). Which is greater: -6 or k?
-6
Let p(m) = 7*m - 35. Let i be p(5). Which is smaller: -6/313 or i?
-6/313
Suppose 0 = 69*z - 75*z - 42. Which is bigger: 0.2 or z?
0.2
Let y(x) = 12*x + 613. Let o be y(-51). Is 16/29 less than o?
True
Let m = 10.3 + -23.05. Let l = m + 15. Let t = -0.25 + l. Which is bigger: t or -0.3?
t
Suppose -129 = -3*y + 6*y. Let w = y - -82. Is 40 at least as big as w?
True
Let u = -0.0957 - 0.0043. Which is bigger: u or -124?
u
Let t(j) = -4*j**2 - 8*j + 23. Let s be t(-8). Which is greater: s or -167?
-167
Suppose 4*c = 4, 0 = -4*w - 0*w - 4*c + 12. Let i = 1 + w. Let z be ((-6)/(-10))/(5/25). Is i greater than z?
False
Let z(f) be the first derivative of f**4/4 - 5*f**3/3 - f**2/2 + 6*f + 3. Let r be z(5). Suppose 0 = -i - 3, j - i - r = 4. Which is smaller: 3 or j?
j
Let z(n) = -n**2 + 12*n - 13. Let h be z(11). Let j be h/(-4) + 45/(-42). Let c = 158 - 160. Is j > c?
True
Suppose 0 = -9*a - 194 - 13. Is -121/5 less than or equal to a?
True
Let c = -18 + 50. Let i = c + -34. Which is smaller: i or -4?
-4
Let c be (-1587954)/(-40) + (-9)/(-12). Let r = -39557 + c. Let s = -143 + r. Are 0 and s non-equal?
True
Suppose -3*v = 4*b + 9, -5*b + 3*v = v - 6. Is b greater than -8/125?
True
Suppose 1 = -2*p + d + 2, 2 = -2*p + 4*d. Let g be (2 - 1 - 0) + p. Let h = 339/266 - 5/38. Is h > g?
False
Let x(j) = 64*j**2 - 42*j - 2. Let c be x(5). Which is smaller: 1387 or c?
1387
Let i = 4.107 - 0.107. Let c = -22 - i. Is -3 at most as big as c?
False
Suppose 4*s = 79 - 23. Let k be 0 - (-2 - -3) - s. Which is smaller: k or -12?
k
Let o be (-161)/42 + (-2)/12. Let a be 2583/36 + 3/o. Let l = a - 499/7. Which is smaller: l or -0.3?
-0.3
Let n = -2 + 3. Let a = n + -5. Let g = 3.9 + a. Which is smaller: g or -15?
-15
Let r = -22.1967 + 0.0467. Let s = 22 + r. Let k = -0.15 - s. Which is greater: -10/9 or k?
k
Let o = -0.038 - -74.338. Is o equal to 0?
False
Suppose 0 = 2*z - z. Suppose -8 + z = -4*u. Suppose a = -u + 10. Is 1/2 less than a?
True
Suppose 0 = -n - 5*i - 18, -6*n = -3*n - 5*i - 26. Suppose 0 = 4*j + 5*t - 17 - 6, -14 = -4*j - n*t. Suppose 3*m = j - 5. Is m at most as big as -2?
False
Let t = -3416/1639 - 1/