uppose 3*l - 4 + t = 0. Which is greater: l or -2/141?
l
Suppose 0 = 13*x + 3142 - 555. Let b = x - -192. Is -8 not equal to b?
True
Let h be (-2 + (-55)/(-15))*3. Suppose 8*y - 9*y = h*w - 2, -3*y = -5*w + 74. Which is greater: -5 or y?
-5
Suppose 0 = 2*v + i - 28, 0*v + 17 = v - i. Let q be (v/(-9) - -1)*9/(-75). Let w be (1/(-4))/((-2)/(-4 + 2)). Which is smaller: w or q?
w
Let n be -21 - ((-229992)/(-147) + 16). Which is smaller: -1601 or n?
n
Suppose -5*c + 5*x = -155, -4*c + 26 + 90 = 4*x. Let w be ((-87)/9 + 9)/((-2)/93). Is c > w?
False
Suppose -1157*r + 1035*r = 43188. Which is smaller: -2/97 or r?
r
Let z be (-8 + (-485)/(-60))/(1/7072*3). Is 197 at least as big as z?
True
Suppose -4*o + o = -5*p - 142, 102 = 3*o + 3*p. Suppose -y + 28*f + 32 = 32*f, 2*y + f = 78. Which is smaller: y or o?
o
Let l(z) be the first derivative of z**4/4 + 2*z**3/3 - z**2 - 6*z - 19. Let h be l(-4). Let u be ((-3)/126)/(h/(-8)). Is u greater than 1?
False
Let p = -265 + 275. Suppose -5*a + p = -3*l, 10 = -l + 5*a - 0. Which is smaller: l or 2/575?
l
Let q = -812 + 772.9. Let h = -20.1 - q. Is -2 > h?
False
Let v = -0.33005 - -0.19005. Let h be 0/(-2) + -1 + 1. Is v bigger than h?
False
Let n = 9798/7 - 1380. Which is smaller: n or 20?
n
Let v = 77 - 71. Suppose 21 = 3*o - 4*w - 0, 0 = -5*o - 3*w + v. Is o <= 3?
True
Let o(v) = 3*v + 553 - v - 571. Let b be o(9). Which is greater: b or -8/35?
b
Let q = 5192 + -1618. Are q and 1 unequal?
True
Let d = 1/60 + 23/60. Let y = -21556.775 - -21557. Which is smaller: d or y?
y
Let y = -134 - -229. Let x be (y/15 - 6)*0. Which is bigger: -1/5 or x?
x
Suppose 3*q + 2*q - x = 35, x - 19 = -4*q. Let a = -507 + 6590/13. Does q = a?
False
Let m = 4564679/44 + -103755. Let x = 92438/11 - 8414. Let z = x - m. Does z = 1?
False
Let o be 1540/(-84)*(-15)/50*6. Is o not equal to 46?
True
Let i be (209/(-77))/((-14)/(-98)). Which is greater: -48 or i?
i
Let c = -54 - -125. Let l = -69 + c. Suppose l*o - 11*o = -18. Is o != -33?
True
Let b = -167.3 + -283. Let o = 397 + b. Let q = o - -54. Is q less than or equal to -0.2?
False
Let m = -1685.5 - -1290.4. Is m < 1?
True
Let g = -425.6 + 354.6. Which is smaller: 12 or g?
g
Let g = 160 + -159.83. Let c = 0.07 - g. Which is smaller: 1.34 or c?
c
Let v be 63/(-15) + 3/15. Let r be 70/(-55)*v/14. Which is greater: r or 1?
1
Suppose 2*p - 5*g = 40, 62 = 4*p + 4*g - 5*g. Let s be ((-747)/8)/(p/(-20)). Let f = s - 2743/22. Which is greater: 1/2 or f?
1/2
Let y = -0.178 - -2.278. Let w = 2.2 - y. Is -34 at most w?
True
Let w = -31/15 + -1/10. Does w = 0.04?
False
Suppose 0 = -2*q + 6*q - 16. Suppose 24 + 92 = q*k. Suppose k*h - 26*h - 21 = 0. Do 1 and h have different values?
True
Suppose 0 = 2*i - 14, 45*i - 4 = 3*g + 44*i. Which is bigger: 19/70 or g?
g
Let g = -176 - -61. Let a = 120 + g. Which is greater: a or 29/7?
a
Let d be 140/42 + 4/(-12). Suppose 3*f = -d*f. Which is smaller: f or -9/10?
-9/10
Let c be (-826)/8 - 2/8. Suppose 70*l = -5*u + 66*l - 529, 5*u - 5*l + 520 = 0. Which is greater: u or c?
c
Let j = 0.385 - 0.431. Let f = 3.046 + j. Which is bigger: -1/14 or f?
f
Let t(h) = h**3 + 32*h**2 + 60*h + 49. Let c be t(-30). Suppose 0 = 5*k + 46 - 11. Let o(a) = -a**3 - 6*a**2 + a + 8. Let u be o(k). Which is smaller: u or c?
c
Suppose -6*l = 316 - 946. Let m = l - 104. Is 7/6 greater than or equal to m?
True
Suppose -6*s = -1310 + 500. Suppose 0 = -2*x - 2*r - 60, 15*x + r = 19*x + s. Which is smaller: -40 or x?
-40
Let i be (4/(-16) - 21/39) + 0. Let t = i + 7659/52. Which is bigger: 146 or t?
t
Let n = -0.4 + 0.3. Let y = -344.0048 - -0.0048. Let d = 439 + y. Which is bigger: d or n?
d
Let o be (1*(0 - -1)*0)/(3 + -4). Do 52/105 and o have the same value?
False
Let s = 390 - 380. Suppose 0 = 5*c - s - 5, -2*t - 2*c = -12. Which is smaller: -1 or t?
-1
Let b = 25 - 3. Suppose -24*l + b*l + 2 = 0. Which is greater: 1/183 or l?
l
Let w = -3 + 3.2. Let v = -1.2463 - -0.1213. Let c = v + 50.125. Is c equal to w?
False
Let u be -76 - -76 - (-5629)/1. Which is bigger: u or 1?
u
Let z = 77 + -97. Let j = -163 + z. Which is bigger: 1 or j?
1
Let h be -63 + (-20)/(-8)*(-2)/(-1). Let i = 0 + 2. Is i < h?
False
Let k be (-42)/36*45/20. Suppose 3*c - 3*g - 15 = 0, g + 9 = -3*c - 4*g. Suppose -2*u = c*u + 8. Is k at least u?
False
Let g(v) = -3*v**2 - v**2 - 6*v + 0 - v**3 + 2 + 3*v. Let h be g(-3). Let f be 1/(-44)*2*2 - (-138)/66. Is h greater than f?
False
Suppose 0 = 19*c - 8*c - 770. Suppose 13*l = -389 + 1286. Which is bigger: c or l?
c
Let x be (-2)/(-4) - (231/6)/(-7). Let t = x + -34. Let m be ((-7)/t)/((-2)/8). Which is smaller: m or -11/8?
-11/8
Suppose -3*x - 201 = 15. Let p = 1203 - 1275. Is p smaller than x?
False
Let v = 6113/15 - 2516/15. Which is greater: 239 or v?
v
Let j = 8423/4 + -2106. Is j not equal to -1/6607?
True
Let w = 0.71 - 0.11. Let j = w + -0.6. Let n = -1032.9 - -1032. Which is smaller: j or n?
n
Suppose 611*z - 610*z = p + 1, -2*z - 6 = 2*p. Let b(w) = -w - w**2 + 0*w**3 + 1 + 2*w**2 + 0*w**3 - 2*w**3. Let o be b(1). Which is greater: o or p?
o
Let l = -110203 - -198728. Let k = 3983216/45 - l. Let q = -51/5 - k. Are 0 and q equal?
False
Let v be 3566/(-2236) + (-45)/(-30). Let b = 93468/43 - 2174. Let s = v - b. Is s at least -0.1?
True
Let s(r) = -2202*r**2 + 27*r + 3. Let t be s(-2). Does -8858 = t?
False
Let r = 143 - 299. Let m = 1552/2319 - 2/773. Is r <= m?
True
Let m(r) = r**3 + 3*r**2 + 3*r - 10. Let v(t) = -t**3 - 4*t**2 - 4*t + 12. Let f(g) = -6*m(g) - 5*v(g). Let w be f(4). Is w > -23?
False
Suppose -29*g = 19*g - 4800. Let z be (g/16 - 2)/((-10)/40). Is z less than or equal to -17?
True
Let b(a) be the third derivative of -a**4/6 + 37*a**3/2 - 51*a**2. Let o be b(19). Is 38 <= o?
False
Let b = -262 + 266. Suppose -3*n - 5*f = 807, -4*f - 378 - 698 = b*n. Is n <= -268?
True
Let q = 41 + -30.9. Let v = q + -11. Let k = 181901 + -181904. Which is bigger: k or v?
v
Suppose 15*u - 10*u = 20. Let r be u/3 - 28/(-6). Let q be r/(-12)*(-3 - -1). Is 2/53 at most q?
True
Let z be ((-4606)/20 - (-23)/(-115)) + 9/6. Is -229 greater than z?
False
Let y = 199 - 199. Suppose y = -5*c - 7 + 2. Which is smaller: -1/50 or c?
c
Let a = -6.92 - 3482.08. Is 0 > a?
True
Let c be ((-14)/((-336)/40))/(188/30). Is c equal to 0?
False
Let t = -101.61 + -0.39. Let n = t + 62. Let i = -40.44 - n. Is i smaller than -0.2?
True
Let w = -937277/17 + 55115. Is -20 greater than w?
False
Let a = 2923 - 2956. Is a at most as big as -19?
True
Let j(i) = -3*i**2 - 23*i + 156. Let r be j(-12). Is -1/274 greater than or equal to r?
False
Suppose -4*z + 53*z = -13*z - 124. Which is smaller: z or -92/47?
z
Let c be 98/42*-6 + 13. Which is bigger: 2/15001 or c?
2/15001
Let o = -77 + 84. Suppose -5*m + 280 = -5*a, -o = a - 5*m + 65. Is a at most -51?
True
Let n(x) = -4*x**2 + 40*x - 97. Let k be n(6). Let o be (-3)/(-6)*(-10)/56. Which is greater: o or k?
o
Let q = 0.03 + -36.03. Let r = 117 - 75. Let x = q + r. Which is smaller: x or -5?
-5
Let p = -84 + 86. Suppose p*j + 2*j = -8. Let s be (3/5)/((-6)/8). Is j < s?
True
Let b = 678 + -33220/49. Suppose 4*y = 4*p - 3 + 15, 4*p = -5*y - 21. Let w be (y - (-3)/4) + (-40)/(-32). Which is smaller: w or b?
b
Suppose -108*t + 111*t = 2*q - 67228, q = -3*t - 67240. Which is smaller: t or -22411?
t
Let f = 105 + -14. Suppose 15*b - f = 14*b. Which is greater: b or 90?
b
Let r = -97986 - -395985/4. Is r >= 1009?
True
Let c = -1262 - -152. Which is bigger: -1109 or c?
-1109
Let r = 2117 + -7783/4. Is r smaller than 171?
False
Suppose -o + 10 = 4*b, -2*o + 0*o + 5*b - 6 = 0. Suppose 0 = 3*w - 4*w. Suppose w = -h + o + 3. Which is smaller: 3 or h?
3
Suppose w + 2*i + 290 = 0, -w + 3*i - 1463 = 4*w. Let l = 293 + w. Suppose 5 = -2*q - 3*q. Is q greater than l?
False
Let o(q) be the first derivative of -q**3/3 + q**2 + 14*q + 3. Let r be o(-6). Let m = r + 27. Is m >= -25/4?
False
Let c = -226.886 - 0.114. Let f = c + 231. Is f less than or equal to 8/3?
False
Let w be (840/428)/2 + -1. Let a = 84 - 83. Which is bigger: a or w?
a
Let j be (20 - 8)/4 + (-1)/1. Suppose -j*f + 4 = 4*n, -27*n - 2 = 3*f - 29*n. Is f > 1/5?
False
Let f = 40 + -77. Let l = f - 30. Let m = l - -67.18. Is 1/3 != m?
True
Let o = -173.2 - 1.8. Which is smaller: -1.9 o