smaller: f or 98?
f
Let j = 0 - -1. Suppose 0 = -3*i + 4*o + 8 + 6, o = -2. Is i at most as big as j?
False
Suppose g - 22 = -2*h - 0*g, 2*g - 11 = -h. Suppose 0 = 3*o - 4 - h. Let k be 10/3*(-54)/(-30). Is k bigger than o?
True
Let n be (18 + 3)/(3 - 1). Let r be (0 + -13)*(1 + (-4 - -5)). Let u be (-4)/r - (-4)/(208/564). Which is smaller: u or n?
n
Let y = 819 + -840. Let k = -37 + 18. Is y equal to k?
False
Suppose 137 + 263 = -16*x. Is x != -33?
True
Let t = -5 + -12. Let g = -16.92 - t. Let d = g - 0.08. Is -5 at most d?
True
Let l = 103/4 - 293/12. Suppose -7*f = 12*f + 19. Is f greater than or equal to l?
False
Let o = -24 - -17.8. Let b = o - -6. Is -2/13 bigger than b?
True
Let c = 1577/4 + -966677/2452. Which is smaller: c or 0?
0
Let d = 21 - 53. Suppose -5*y - 157 = -2*z, -4*y - 3*z - 69 = 52. Which is smaller: d or y?
d
Let j = -16.07 - -17.1. Let a = j - 0.03. Suppose 2*k - 3 = z, 2*z + 1 = 5*k - 8. Is z equal to a?
False
Let l be (-6)/(-21) - (-598)/14. Let z = -35 + l. Let t = 2 + 5. Are z and t nonequal?
True
Let l = -1 + 8. Let o = 182 + -176. Let u = o - l. Do -2/123 and u have different values?
True
Let i = 1.05 + -0.43. Let r = -0.22 + i. Which is smaller: r or 0.09?
0.09
Let u be (-40)/(-16)*16/(-10) - -3. Is u at least as big as -2/305?
False
Let a(t) = 2*t**2 - t - 5. Let n be a(-4). Let r = n - 27. Let m = -2 + 4. Are m and r equal?
False
Let g be ((-612)/8)/9 + 10. Which is smaller: g or -85?
-85
Let s be 2/(-24)*-2 + (-73473)/798. Let k = s + 92. Which is smaller: k or 1?
k
Let g be 28397/(-56786) + (-2)/(-4). Let z = 10250185/4429308 + g. Let a = 22/39 - z. Which is greater: a or -2?
a
Let w be (-3)/(-309)*(0 - -2). Let h = 30 - 30. Is h equal to w?
False
Let u = 61 + -65. Let n be (u/(-5))/((-1)/(-5)). Is n <= 7?
True
Let v be (-4)/18 + (-6265)/(-126). Let x = v - 51. Which is smaller: 9 or x?
x
Suppose 12*i = 10*i + 148. Let t(h) = -h**3 - 25*h**2 - 27*h + 1. Let y be t(-24). Which is greater: i or y?
i
Suppose 0 = 2*n - s + 6, -s = -4*n - 2*s. Suppose t - 3*t + 14 = 4*i, i = 3*t + 21. Let a be (n/8)/(i/60). Is a less than -1?
True
Let m = 1/84 - 173/420. Let n(l) be the first derivative of -l**2 - 3*l - 4. Let g be n(-2). Are m and g non-equal?
True
Suppose j + 6*j - 14 = 0. Let n be j/8*(-28)/(-7). Which is smaller: n or 2/143?
2/143
Let u = 1487/9 + -165. Let t be 405/20 - 2/8. Let f be (t/75)/(12/(-10)). Which is smaller: u or f?
f
Let y = 41 + -39. Suppose -y*c - 9 = q, -6*c + 3*c = q + 6. Let v = 25 + -41. Which is smaller: v or q?
v
Let l(v) be the third derivative of -v**4/12 - 9*v**2. Let u be l(-1). Suppose -u*g = -7*g + 30. Which is bigger: 4 or g?
g
Let x = -0.5115 + -24.5985. Let p = -96.2 + 71.2. Let a = p - x. Is 0 at most a?
True
Let s(g) = -2*g**2 + 53*g + 54. Let l be s(25). Which is bigger: 132 or l?
132
Let f(t) = t**3 - t + 95. Let r be f(0). Suppose -r = -5*n - 20. Which is greater: -3/4 or n?
n
Let v = 368 + -348.1. Let z = 5.1 + v. Suppose 0*u - 1 = 3*u + 4*c, 5*u + 4*c = 1. Is z smaller than u?
False
Suppose 2*p = 3*v - 4*v - 15, 3*p = 0. Let x(h) = -h**3 - 13*h**2 - 18*h - 16. Let t be x(v). Let c = t - 2086/3. Which is bigger: c or 8?
c
Let r = -6.6 - -4.9. Let x = -9.1 - r. Which is smaller: 1 or x?
x
Let t = 695.2 + -695. Let u = -6 + 5.87. Is t < u?
False
Let k be 31 - ((-3)/1 - (-3 + 0)). Let l = k + -34. Let q be 1*4*(1 - 2). Is l less than q?
False
Suppose -117*b + 32 = -115*b. Which is smaller: b or 26?
b
Let c(n) = n**3 - 10*n**2 + 10*n - 4. Let f be c(9). Suppose -f = 2*z + 3*j, -3*z - 5 = -0*j + 2*j. Is -27 less than or equal to z?
True
Suppose -5*o = -3*k + k - 95, -o + 22 = -k. Suppose 2*m - o = -3. Which is bigger: 8 or m?
8
Suppose 16*h = 2743 - 439. Which is greater: 6 or h?
h
Let s(l) = l**3 - 9*l**2 + 6*l + 5. Let d be s(8). Let n be (-6 - -2) + (-8 - d). Which is smaller: n or -1/55?
n
Let m = -13 - -17. Suppose -m - 1 = 5*i. Is i greater than or equal to -3/7?
False
Let k be (2/(-12))/((-2)/6). Which is smaller: k or -141?
-141
Suppose 0 = 3*x - 3*l + l - 4, -x + 5*l - 16 = 0. Suppose 2*u - 6 = x*u, 5*q = 5*u. Let h be 2*-1*q/(-6). Which is smaller: -2 or h?
-2
Let g be 185/(-2) + (-3)/6. Let z = g - -747/8. Is 1 less than z?
False
Let x = -31.308 - 0.792. Let a = x + 32. Let m = -0.03 - -4.03. Which is greater: m or a?
m
Suppose -3*n - n = 100. Let h = n - -60. Which is greater: 34 or h?
h
Let m(h) = -h**2 - 7*h + 24. Let d be m(-9). Suppose -5*i - 21 = -d*i. Are i and 2 non-equal?
True
Let b be ((-214016)/33)/(-19) + 11. Which is smaller: b or 353?
b
Let d(f) = 6*f**2 - 16. Let b be d(-5). Let h = 405 + -272. Is b >= h?
True
Let q(z) = -z**3 - 24*z**2 - 24*z + 21. Let c be q(-23). Let a = -73 + c. Is -29 equal to a?
True
Let p = -0.96 + 1.1. Let y = 0.04 - p. Let b be (-24)/21 - 1 - -2. Is y >= b?
True
Let v = -12764/5 + 2577. Let b = v + -24. Which is bigger: b or 0?
b
Let z = -659 + 660. Is z less than -7/23?
False
Let p = 126551/4134 - 398/13. Is -1 < p?
True
Let n be (3/(-9))/(376/48 + -8). Is n greater than 5/11?
True
Let h = 9.86 + -10. Let r = h + 0.03. Let z = r + 2.11. Is z != -0.9?
True
Let t be (-3808)/(-182) + (-1)/(-13). Which is smaller: 12 or t?
12
Suppose 3*v + 233 = q, -v - 33 = q + 42. Let b = -85 - v. Which is greater: -2 or b?
-2
Suppose -4*l = 4*r - 24, l + 2*r + 4 = 3*r. Suppose t = -p + 3 - l, -2*t - 4*p = 0. Suppose 5*d - 40 + 8 = 3*n, -2*d - 2*n = 0. Is t less than d?
False
Let x be -2 - (-32)/18 - (-349)/(-9). Let i = x + 38. Is -5 at least i?
False
Let d = 62 + -59. Let j = 3.06 - d. Which is bigger: j or -4?
j
Suppose c = -3*z - 1, 0 = -c + 3*z - 0*z - 1. Let l be (-16)/95 - c/5. Let b = 143/1520 - l. Is b at most as big as 0?
False
Let h be 15/6*(-4)/(-10). Let o = -20264/45 - 458/9. Let d = o + 503. Which is smaller: h or d?
h
Suppose -5*q + 245 = -4*c - c, 3*c - 4*q + 151 = 0. Let o be (-126)/15*c/(-18). Is o at least -62/3?
False
Let u = 151 - 46. Which is smaller: u or -3?
-3
Suppose -n - 12 + 17 = 0. Suppose -j + z - 16 = 3*j, n*j = 5*z - 20. Is j bigger than -3?
False
Let m be (-26)/(-7) + (-16)/(-56). Suppose -3*q = 7 - m. Let v be 0*q/(-2)*-1. Is 3/5 < v?
False
Let m = -185/6 - -349/6. Suppose 33 = 2*o - 3*i, 88 = 3*o + 33*i - 32*i. Is o bigger than m?
False
Let a = 21 - 18. Let s be ((-16)/(-50))/(a/15). Suppose 5*l - 17 + 7 = 0. Which is greater: l or s?
l
Let w = -1686 - -1682.47. Which is greater: w or -3?
-3
Let c be 3 + 203*(-6)/405. Let k = 143/1080 + c. Is k <= 1/2?
True
Let d = 445869/23 + -19389. Let z = d - -643/115. Which is greater: z or 1?
z
Let x be (77/21)/(2/48). Let s = x - 89. Which is smaller: s or 2/47?
s
Suppose l = 4*l + 12, 2*p = -4*l + 16. Suppose 4*k = 40 + p. Let t be (-4)/k + (-35)/49. Are t and -4 nonequal?
True
Let v = 38 - 23. Let t = 347 + -346. Which is smaller: t or v?
t
Let g = 4.993 + -3.093. Which is smaller: g or 2?
g
Let f = 7 + -9.6. Let b = 2.54 + f. Let q = -1.14 + b. Which is smaller: q or -0.2?
q
Suppose -g = -4*g. Let f = 3 + g. Let u(i) = i**2 - i - 3. Let o be u(f). Which is greater: o or 10/3?
10/3
Let n be ((-18)/(-10) + -1)*-5. Let i(t) = 37*t - 7*t - 1 - 18*t - 10*t. Let r be i(n). Is -9 > r?
False
Let l be 4/34 + 2259425/110925. Let d = l - 185/9. Is 2 != d?
True
Let s = 29378 + -87388/3. Suppose 18*o - 2008 = 26*o. Let v = s + o. Is -1 at least as big as v?
True
Let z = -617/34 + -23/17. Which is bigger: z or -0.1?
-0.1
Suppose 4*h + 12 = -5*w + 3*h, 4*w = 3*h - 21. Let y be (-84 - (-3 - w))*3/4. Which is smaller: -62 or y?
y
Suppose -2*s + 5*s = -24. Let j = s + 7. Let q = -427/85 + 26/5. Which is smaller: q or j?
j
Suppose -7*x = x - 168. Let o be 6/(-4) + 4 + x/(-6). Is 2 bigger than o?
True
Let x(c) = -6*c**3 + 5*c**2 - 7*c - 12. Let r be x(-5). Which is greater: 899 or r?
899
Let u = -0.09 + -0.06. Let n = 0.021 - -1.129. Let y = u + n. Which is smaller: y or 2?
y
Let g = -0.08 - 5.22. Let u = g + 5. Let p = u - -0.1. Is 0.05 equal to p?
False
Let z be (39/(-16))/(42/364). Let x = z + 21. Which is smaller: x or -1?
-1
Let q(g) = -g**3 + 6*g**2 + 7*g - 9. Let y be q(7). Suppose u = 4*o - 7, o + 2*u = -0*o + 4. Is o bigger than y?
True
Let j be (2*(-2)/(-6))/(-2). Let c = 41.37 + -41.3. Is c bigger than j?
True
Let q = 0.076 - 0.176. Let t = -5476/71423 - -30/473. Which