*l - 4*i, -2*l - 14*i - 4 = -11*i. Which is smaller: -19 or l?
-19
Let b(o) = 2*o**3 + 7*o**2 + 14*o - 9. Suppose 4*r - 2*r = d + 2, -5*d = 5*r + 25. Let w be b(d). Is 1/2 <= w?
False
Let b = 1/4823 - 3642/689. Let h be (0 + -2)*(5 - 2). Is h at least as big as b?
False
Let o be ((-42)/117108)/(-7)*3. Let h = -1099519/32530 + o. Which is greater: h or -35?
h
Let m(u) = -2*u**3 + 3*u + 4 - 7 + 10*u**3 - u**2. Let r be m(1). Suppose r*l - 32 = 3*l. Is 9 less than l?
False
Let s = -489 - -486. Let t be s/4*(-32)/(-4332). Which is bigger: t or -1?
t
Let x be 10 - 0*2/4. Let u be 658/84 + (-4)/(-6). Let o = 2 + u. Is o greater than x?
True
Let i be 0 - ((10110/(-5))/6 - -2). Which is bigger: i or 3016/9?
3016/9
Let m be -6 - (42/(-9) - 2). Which is bigger: 7/38 or m?
m
Let b = 166.25 + -0.25. Let y = b + -175. Let l = -0.08 - 3.92. Is y greater than l?
False
Let v be ((-8)/(-52))/((-6)/21). Suppose 4*w = 2*x, 5*x - 1 + 1 = -5*w. Which is smaller: v or x?
v
Let y be (-66)/(-15) - 3 - 18/45. Let l = 272 + -7886/29. Is l at most as big as y?
True
Let p = 1.05 - 1. Let o be (-28)/3 - (-44)/(-66). Let d be (o - (-272)/24)*(-6)/4. Is d greater than p?
False
Let d be (-10)/(-8) - 582/2328. Is 20/309 at least as big as d?
False
Let n be 6/2 - -123 - 2. Let g be ((-50)/(-28))/((-156)/(-546))*20. Which is smaller: n or g?
n
Let m = 402 + -468. Let w = 59 + m. Is w smaller than 15?
True
Suppose 17*u + 24*u + 41*u = 0. Is u bigger than -2/13639?
True
Let q = 341059/3233 - 7380/61. Let d = -45559/2226 - q. Let b = d + 36/7. Which is bigger: b or -1?
b
Let h(q) = 2*q**2 - 10*q - 8. Let t be h(6). Let y be 94/t + -1 - (-13)/26. Let b = y + -9. Is 10 at most as big as b?
True
Let z = -1.7 - -1.7. Which is greater: z or -1.78?
z
Let w(a) = -a**2 - 2 + 1 + a - a - a. Let p be w(1). Let c be p - (-180)/35 - 0. Is c at least as big as 1?
True
Suppose 0*p = 8*p + 8. Let i(h) = -h**2 + 2*h + 3. Let j be i(p). Which is bigger: -64 or j?
j
Let j be ((-14)/1848*-11)/((-2)/3489). Let i = j - -146. Which is smaller: i or 2?
i
Let u = -119.03 + 121. Let l = 2.17 - u. Which is greater: l or -9?
l
Let g = -15 - -14.27. Let r = 1.5 + -0.96. Let t = g + r. Is t at least -0.2?
True
Let j(u) = u**3 + 6*u**2 + 6*u + 8. Let g be j(-5). Suppose g*n - 79 = 5*b, 0*b + 5*n + 61 = -3*b. Which is bigger: -1 or b?
-1
Let q(a) = -a**3 - 2*a + 1. Let d be (14/(-6))/((-14)/6 - -2). Let p(g) = -2*g**2 + 15*g - 6. Let y be p(d). Let m be q(y). Which is smaller: m or -4?
-4
Let l = 4817/7 + -688. Let y = -25.046 + 0.046. Is y greater than or equal to l?
False
Let u = -0.329 + -1.071. Is 0.393 greater than or equal to u?
True
Suppose -5*g = -6*g + 5. Let i be (-134)/45 + g + -2. Suppose -12*r - 20*r = 0. Do r and i have different values?
True
Let h be 0 - (8 - -4) - -4. Let z = 8 + h. Suppose -5 + z = -w. Which is greater: w or -1?
w
Let z(j) = j**3 + 2*j**2 + j + 2. Let f be z(-2). Suppose f = 3*x + 26 - 122. Are 31 and x unequal?
True
Let z be 0 - -5256 - (-8 - (2 + -4)). Which is greater: z or -1?
z
Suppose -2*d + 49067 - 49099 = 0. Is d at least -224/15?
False
Let i = 65 - 81. Let f be -3 - ((-393)/150)/(i/(-20)). Let v = 1993/120 - f. Is 17 equal to v?
False
Let b be (-1885)/(-1450) + 9/(-30). Do 106/183 and b have the same value?
False
Let f be 2932/(-44) + (-12)/4 + 6. Is f > -64?
True
Let s be (-46904)/(-78) + (-10)/(-15). Is s < 603?
True
Let r be (63/(-42))/(0 + 1/(-4)*3). Which is smaller: 44 or r?
r
Let t = -4179 + 3726. Is t smaller than 2?
True
Suppose -2*b = -5*b - 3*r + 492, -4*b + r = -671. Let q = -168 + b. Which is smaller: 2/123 or q?
q
Let q be -6 - (-3*66/27 + 2/6). Which is bigger: -4/19045 or q?
q
Let n = -25 - -28. Suppose -3*p + 17 - 5 = 2*i, 3*i = -n*p + 12. Which is smaller: -2/319 or i?
-2/319
Let i be 480/(-33)*(-50)/85. Let v = -94/11 + i. Which is smaller: 0 or v?
0
Let n be 670503/266802 - 5/2. Which is bigger: 0 or n?
n
Let m(p) = -15*p - 4. Let w be m(10). Let c = w + 78. Let y be 1/(-2) + 361/c. Which is smaller: -5 or y?
y
Let y = -1747 + 2480. Let w = y - 735. Which is bigger: w or -10/29?
-10/29
Let h(v) = v**2 + 5*v + 6. Let r be h(-4). Let m(y) = y**2 - 37*y - 918. Let w be m(54). Is w at most r?
True
Suppose 0 = 14*l + 193540 - 195052. Let h(v) = -27*v + 1. Let q be h(-4). Do l and q have different values?
True
Suppose 1 = 10*z - 39. Let d be 1/z + 42/56. Let j be -1 - -2 - (-35)/(-34). Which is bigger: d or j?
d
Let x = 57 + -44. Let m = x - 16. Let q be (6/(-9) - -1)/(m/9). Is q < -3?
False
Let a be (295/10)/(2/10 - (-3)/10). Suppose j - 4*g = 38, -5*j + 3*g - 15 = -290. Which is smaller: a or j?
j
Suppose 4*c - n - 16 = -0*n, -5*c - 4*n = -20. Suppose 5*p - 17 = 4*d, -d = c*p + 3*d + 8. Which is smaller: p or 1/4?
1/4
Suppose 3 - 7 = -4*j. Let w(v) = 10*v**3 + v - 1. Let y be w(j). Suppose -5*g = -y*g - 2*i + 83, -4*i + 81 = 5*g. Which is smaller: 19 or g?
g
Suppose 3*h - 26*h + 10120 = 0. Suppose 5*i + h = -4*n, 0 = 5*n - 4*i + 91 + 459. Does n = -111?
False
Suppose -3*i + 0*c + c + 161 = 0, -3*i + 158 = -4*c. Let u(b) = -13*b - 21. Let o be u(-6). Which is smaller: i or o?
i
Let t(b) = b**3 - 7*b**2 - 18*b + 11. Suppose -2*g - 2*j + 83 + 1 = 0, 4*g - 162 = -2*j. Let c = g - 30. Let w be t(c). Is 10 > w?
False
Let g = 0.101 - 0.021. Let l = -5.48 + g. Let h = l - -10.4. Which is smaller: h or -5/3?
-5/3
Let r be 12 + 1 + 1 + -2. Suppose 13*o + 192 = r*o. Is -193 greater than o?
False
Let k = -35.7 + -581.3. Which is smaller: k or -1?
k
Let u be 5/(5/4) + -2. Suppose 0 = u*k - 10, -3*w - 3*k + 10 = 2*w. Let c be ((-12)/(-108))/(w - 0). Which is greater: 2/9 or c?
2/9
Suppose -2*u = -178 + 830. Let a = -324 - u. Which is smaller: a or -7/2?
-7/2
Suppose 2*b + 124 = -4*p, 5*p + 325 = -43*b + 38*b. Let a = 107 + -202. Let m = 28 + a. Is b less than or equal to m?
True
Let f = 96 + -102. Let r be f/(65/(-10) + 5). Suppose r*g + 23 = z, -5*g - 5*z + 2*z = 50. Which is smaller: 0.03 or g?
g
Let r = 177 + -113. Let h = r + -12. Let a be (-1)/(15/(-36)) + (-8 - -6). Is h not equal to a?
True
Suppose -53*k = 337870 + 154712. Which is smaller: 0 or k?
k
Let h(o) be the first derivative of o**3/3 - 2*o**2 - 6*o + 7. Let m be h(5). Let w be m/(-3)*(-3)/(-4). Are 7 and w non-equal?
True
Let o(k) = -4*k**3 - 9*k**2 - k + 1. Let l(z) = 11*z**3 + 26*z**2 + 5*z - 2. Let p(d) = -3*l(d) - 8*o(d). Let q be p(-2). Which is smaller: q or -22/7?
q
Let r be (-16200)/20875 + 4/5. Which is smaller: 0.1 or r?
r
Let p be 1 + 9/12*512/36. Let z(o) be the third derivative of -o**4/4 - 7*o**3/6 + 6*o**2. Let s be z(-3). Which is smaller: p or s?
s
Let o be (7 - 10)/((-4)/(12/3)). Suppose -3*h = g - 15 + 2, -o*g - 3*h + 15 = 0. Let t be (3/22)/((-12)/16). Which is greater: g or t?
g
Let x(i) = -2*i**2 - 13*i + 41. Let g be x(5). Which is greater: g or -77?
g
Let c be (3997/7)/((-2)/2). Let l = c + 214. Which is bigger: l or -356?
-356
Let q be (180/(-30))/((-3652)/8 + -1). Is q > -1?
True
Let r = 13/83 - -481/3818. Let t = -5/23 - r. Which is bigger: 46 or t?
46
Let d = -2/9141 - 2287/3473580. Which is smaller: 1 or d?
d
Suppose 4*j + 21 = 9, 5*d + 5*j = 55. Suppose -5*n + 28 = c, -d - 13 = -3*c + 4*n. Is 3 greater than c?
False
Suppose 0 = -3*j + 5*o - 3, -4*j - 2*o + 17 = -5. Let f = 40 - 143. Let h = -104 - f. Is h equal to j?
False
Let m(s) = -48*s - 4. Let p be m(-3). Suppose -3*v = 4*v - p. Suppose 2*w = -v + 26. Which is smaller: w or 0?
0
Suppose -c - c - g = 1, 4*c - 7 = -5*g. Let n be 1 + c - -1 - -73. Let r = n + -49. Is r smaller than 26?
True
Let z = 25928/40885 - -16/1105. Which is bigger: 2 or z?
2
Let o be ((-3064)/(-64))/(2/(-36)) + (-4)/16. Is -861 at least as big as o?
True
Let c be (-3228)/14607 - (-2 + 16/9). Let o = -21.39 + 21.49. Is c <= o?
True
Let m be (-14 - (-12)/6) + 4. Let c be m/1 + -5*(-3)/15. Which is greater: c or -1?
-1
Let s = -5891 - -6038. Does -2 = s?
False
Let x = 0.0182 - 0.2252. Let m = -0.387 - x. Do m and -4 have the same value?
False
Suppose -4*h = 4*t + 4, 3*h + 2 = -3*t - t. Suppose -w + 40 = -4*z - 0*z, -3*z - 31 = -w. Let y be (-2)/z + (-58)/18. Is y <= t?
True
Let b = -87136870792920821/39678 - -2196100378161. Let v = -6/6613 + b. Let i = -297 + v. Which is greater: -1 or i?
i
Let a = -4531/671 - -75/11. Suppose 5*n - y = -8, 23*n