). Which is smaller: w or -1/4784?
-1/4784
Let h = -14319/35 - -409. Is h greater than 1?
False
Let m be 19 - (3 - (10 - 3)). Suppose 23 = -2*y + m. Is 0 < y?
False
Suppose 0 = -963*a + 972*a - 9. Is -1/2555 equal to a?
False
Suppose -126*t + 87 = -97*t. Which is bigger: t or 6?
6
Let b(j) = -12*j - 286. Let w be b(-24). Let q = 5 + -8. Which is bigger: q or w?
w
Let m = 224 + -226. Are m and 0.125 non-equal?
True
Let s(u) = -u**2 - 10*u - 23. Let l be s(-11). Suppose 5*m + 185 = -5*i, m + 0*m + 4*i + 46 = 0. Is l at most m?
True
Let y = 258 + -278. Is -1/3 greater than y?
True
Let d be 1/(-1) + 228/(-4). Let n = d - -3. Let w be ((-4)/(-70))/(33/n). Which is smaller: 0 or w?
w
Let g = 6 - 24. Let o be (-12)/g - (-33)/(-9). Which is smaller: -14/9 or o?
o
Suppose 3*o = 2*o - 2*c - 22, -o = -3*c + 7. Suppose s = -2*s + 3. Which is bigger: o or s?
s
Let p = -588 - -602. Is p smaller than 6?
False
Let q be 2256/(-32)*(-4)/3. Let z = 102 - q. Which is smaller: 17/2 or z?
z
Suppose -5*l = -4*u + 163, -5*u - 4*l + 211 = -3*l. Let g be 18/4*8/u. Are 2 and g equal?
False
Let x = 19 - 28.2. Let h = 2 + -11. Let k = x - h. Is k > -2?
True
Let p be (-5 - (-11)/3) + 2/6. Which is greater: 6/17 or p?
6/17
Let k(i) = -i**2 - 13*i - 12. Let l be k(-10). Suppose -2*x + 3*h - l = 0, 6*x + 28 = x - h. Which is bigger: -8 or x?
x
Let p(o) = -15*o + 107. Let y be p(7). Suppose 4*c = 3*c + 1. Which is smaller: c or y?
c
Let q = 226 - 121. Suppose -3*t = -3*b + 201, -4*t - 2*b - q = 187. Is -72 at most t?
True
Let d(f) be the second derivative of -f**3 - 3*f**2 + 18*f. Let q be d(2). Which is bigger: -19 or q?
q
Suppose 5*u + u - 486 = 0. Suppose -198*t - 492 = -204*t. Which is smaller: t or u?
u
Let m = 3.588 + -36.718. Let j = m - -1.13. Is j greater than or equal to -2?
False
Let x = -1.04 - -0.94. Let p = -6.7 - -7. Let b = 0.3 + p. Which is bigger: x or b?
b
Let p = 11.24 - 447.24. Which is greater: p or 2?
2
Suppose 0 = 1883*x - 1884*x + 2. Suppose -3*a - 2*c = -7, 2*a + 0*a = -3*c + 13. Let t be 8/7 + 0 + a. Is x <= t?
False
Let y be 12/2 - ((-34760)/270)/(-22). Is 1/6 <= y?
False
Let k(h) = 2*h**3 - 9*h**2 + 17*h + 11. Let v be k(5). Is v less than or equal to 118?
False
Let i be 16/10*14 - (-8)/(-20). Which is greater: -1 or i?
i
Suppose -s = -5*j - 24, s - 90 = -4*s - 5*j. Which is smaller: s or 2?
2
Let w(s) = -s**3 + 22*s**2 - 26*s + 3. Let d be w(21). Which is bigger: d or -4?
-4
Suppose -5 = 4*k + g, 3*g + g = -k - 5. Let f = k + 0. Let q be ((-9)/6)/(55/(-10)). Is q < f?
False
Let l = -557 + 577. Is 15 < l?
True
Let h = -23 + 0. Let m = h + 25. Which is bigger: m or -1/3?
m
Let k = -1 - 1.8. Let f = k + 2. Let x = f - -1.8. Which is bigger: 0.09 or x?
x
Suppose 4*h - 14 = -m - 0*m, -5*h = -15. Suppose 0*l - m = -2*l. Which is bigger: -2/11 or l?
l
Suppose 2*f + 2 = 2*q + 36, -q = 3*f + 5. Do 1 and q have different values?
True
Let q = 5 - 3. Let z be 5/1 - (-1 + q). Let v = 0.0565 - -0.9435. Which is greater: z or v?
z
Let r be ((-4)/(-82))/(5/(15/6)). Let j be (-5 - -5)/(-1 + (3 - 3)). Is r bigger than j?
True
Let l = 0.1475 + 5.8525. Is 15 > l?
True
Let z be (-4)/(-36) + (-176)/(-36). Suppose -7*m + z*m - 10 = 0. Suppose -2*w - 2 = 6. Is m smaller than w?
True
Suppose -2*o - 30 + 11 = -3*y, 4*y - 22 = 2*o. Suppose 4*s - 2 = y*s. Suppose b + s = 3*b. Which is smaller: b or 2/27?
2/27
Suppose -h + 7 - 13 = 0. Let b = 8 + h. Suppose 0 = b*o - 2*y - 30, y + 3*y - 30 = -5*o. Do 11 and o have the same value?
False
Let u = 29 - 30. Let h = -14.2 + 17. Is u at most as big as h?
True
Let f = 190 + -191. Which is greater: f or -2/207?
-2/207
Suppose 2*t = -3*u + 289, -4*u = -16*t + 12*t + 588. Is t at most 723/5?
False
Let g = -12.14 + 0.14. Let d = 359.2 + -347. Let t = g + d. Does 3/2 = t?
False
Let v be -7*6/(-252)*-2. Suppose 2*x - 3*m + 295 = -2*x, 3*m = -3*x - 216. Which is greater: v or x?
v
Let h be (-5)/((-105)/9)*(26 - 2). Let v = -381/35 + h. Is 0 smaller than v?
False
Let j(d) = 2*d**2 + 7*d + 4. Let n be j(-3). Let v be n + -1 - 11/(2475/10). Suppose 5*l - 37 + 12 = -5*o, 10 = -l + 2*o. Which is smaller: v or l?
v
Suppose -3*s = -6*s. Let u = 1075 - 1074. Which is bigger: u or s?
u
Suppose -4*c - 2857 = -4*b - 537, 4*c + 2*b = -2314. Is c > -580?
True
Suppose -w - 7 = 3*h + 5, -2*h = -4*w - 6. Suppose -6*b - 68 = -86. Let c be (-15 + 16)/((1 - 2)/b). Is c smaller than w?
False
Let c be (3/(-21))/((-6)/(-42)). Is -6/41 smaller than c?
False
Suppose 26 + 22 = 3*u. Is u smaller than 21?
True
Suppose 0 = -f + 2*d + 4, -9 = -3*f - d + 3. Suppose -f*g + 5*g = 3*g. Which is greater: 1/36 or g?
1/36
Let u = 2279/21 + -335/3. Let f = -9 + 5. Is u equal to f?
False
Suppose 0 = 4*n, 3*n = 7*c + 792 - 22. Which is smaller: -980/9 or c?
c
Let o(q) = -q**2 - 7*q. Let x be o(-7). Let g be 6/(-1 + x + 11). Which is bigger: 1 or g?
1
Suppose -p - 2 = o, 2*o - o - 5*p - 28 = 0. Suppose 6 = 3*n - 5*g, n - 3*n = -3*g - o. Let f be 4/(-22) + (-4)/(-22). Is f <= n?
False
Let g be (-48)/(-10) + (-1)/(-5). Let l = 9 - g. Let s be 48/24 - (-2 - -1). Are l and s unequal?
True
Let v be (-1 + 0)/(1/(-3)). Suppose 2*r - 4*w = 4*r - 12, r + v*w - 2 = 0. Suppose -41*u + 78 = -35*u. Is r != u?
True
Let x = 15 + -13. Suppose -8*o = -7*o - x. Let v = o - 7/4. Is 1 smaller than v?
False
Let g be ((-48)/72)/(1*2/(-9)). Let c be (g + -1)/(4/(-84)). Which is smaller: c or -41?
c
Let a be (-13)/(-26)*(75/1 - 1). Which is smaller: 40 or a?
a
Let u(d) = d**2 - 24*d - 6. Let z be u(24). Is -5 smaller than z?
False
Suppose -5*o + 0*o + 15 = 0. Suppose 5 = -2*c - o. Let l be ((-42)/(-24))/(1/c). Which is bigger: l or -8?
l
Let a = -0.6 + 0.62. Let x = a + 0. Is -1/2 bigger than x?
False
Suppose 0 = -t - 6 - 1. Let z = t - -22/3. Let c = 1 + -0.6. Which is smaller: z or c?
z
Let f = -5.04 + -0.96. Let p(s) = s**3 + 3*s**2 - s - 2. Let z be p(-3). Let l be (2/8)/(z/(-2)). Is f at least as big as l?
False
Suppose 5*u = -3*w + 3*u, -5*u = -3*w. Is 2/1663 <= w?
False
Suppose 0 = -2*l - 2*g - 22, -3*l + 0*l - 32 = 2*g. Let z be (-9)/(-45) - (-152)/l. Is -14 at most as big as z?
False
Suppose 3*n = -2*n + 25. Let z(y) = 2*y**2 - 9*y. Let j be z(n). Suppose 0 = j*r - 0*r + l + 53, 4*r - 2*l = -34. Is r bigger than -11?
True
Let o = -299 - -284. Suppose -3*y + 200 = 2*y. Let u = -56 + y. Does u = o?
False
Let g be ((-51)/(-4))/(121/(-88)). Let p = 1072/99 + g. Which is greater: p or 3?
3
Suppose -3*c + 2 = 3*v + v, 0 = -4*c - 3*v + 12. Suppose -o + 3 = q, -2*o - 6 = -8*q + c*q. Let b = -5344/15 - -356. Which is smaller: b or o?
b
Let p(q) = q**3 + 17*q**2 - 5*q - 42. Let t be p(-17). Are 46 and t non-equal?
True
Suppose 64 = -15*u + 79. Are -8 and u equal?
False
Let j = 55 + -30. Let g be 19 + 0/(j/(-5)). Let v be 16 + -16 + (-3)/g. Is v less than 0?
True
Suppose 0 = -s - 3*s. Let m = 3004/3969 - 58/81. Which is bigger: s or m?
m
Let l = -0.076 + -4.024. Let a = l + 25.1. Which is greater: a or 0.1?
a
Suppose -19 = -3*c - 7. Let i be (-1 + 1)/(c/(-2)). Is i < -3/10?
False
Let n = 0.2 - 0.56. Let t = n + 0.36. Which is smaller: t or -0.6?
-0.6
Let d = 516 - 191. Let v = 967/3 - d. Suppose -4*p = -5*t - 3, -t + 2*p = t. Which is greater: t or v?
v
Suppose -4*q - 132 = -4*z, 2*q - 5*q - z = 87. Which is smaller: q or -29?
q
Let c = 3 - 7. Let f be 1 + c + (0 - -10). Let n(x) = -x + 5. Let o be n(f). Which is greater: -3 or o?
o
Let g(s) = -14*s**2 - 3*s + 3. Let j be g(-2). Which is greater: j or -49?
j
Let c be 1*4 - (2 + (-3 - 0)). Suppose -5*l = -5*o, -c*l + 7 = -o + 3. Which is smaller: l or -1?
-1
Let p = 12449/11 + -1131. Suppose -20*v = -6 - 14. Is p bigger than v?
False
Suppose 0*u = 3*u. Let b = -19432/29 + 5046201/7540. Let f = -4/65 - b. Is f bigger than u?
True
Let y = 194/93 - 44/31. Which is greater: -441 or y?
y
Let c be 6/(-15) - 32/20. Let k be 3 - (388/148 - c). Let u = k - -4/185. Is u less than or equal to -3?
False
Let t = -109.9 + 49. Let m = t - -61. Which is bigger: -3/14 or m?
m
Let s be (-11)/(77/35) + (-182)/(-22). Is 3 > s?
False
Let o be (-3 + 1)*1 - -4. Suppose -4 = -o*i - r - 0, -3*r + 7 = i. Let c = -2.2 + 2. Which is bigger: c or i?
i
Let u = 77 + -45. Are 1/4 and u equal?
False
Suppose 19*h = -5*f + 16*h + 31, -23 = -3*f - 4*h. Let y be 1/27*6*(f - 0). Are 0.4 a