9/(-24). Let c = w + -48. Which is greater: c or 0?
0
Let p(l) = -6*l**2 - 5*l - 50. Let c(v) = -7*v**2 - 4*v - 50. Let n(u) = 5*c(u) - 6*p(u). Let a be n(-8). Which is smaller: a or 35?
a
Let s(r) = -5*r**3 - 125*r**2 + 11*r + 19. Let m be s(-25). Are -257 and m nonequal?
True
Let z = 0.112 - -51.088. Let u = 67 - z. Let y = -16 + u. Is y at least -2/5?
True
Let t(u) = -u - 4. Let v be t(-5). Let y be -3*(-3)/(-8) + v. Suppose 2*b = -2*j + 6, b + 3*b = -j + 12. Is j at most as big as y?
False
Let x(u) = -25*u + 88. Let p be x(3). Suppose i - 6*i = -65. Is i smaller than p?
False
Let r = 290 + -474. Is r less than or equal to -184?
True
Let c be -3 + 0 + 1 + -1. Let t(s) = s + 3. Let o be t(c). Let p be 4/(-6) + 20*(-6)/(-135). Which is smaller: o or p?
o
Let m = 20.5 + -23. Let w = -1.5 - m. Is w less than or equal to -0.12?
False
Let d = -27/91 - -5511/17654. Which is smaller: d or -1?
-1
Let f be 13432/((-124)/8 - 3). Let u = -726 - f. Is u at most as big as 0?
False
Let c = -1151.16 + 1151. Which is smaller: c or 12?
c
Suppose -3*f - 5*j + 277 + 2371 = 0, -f + 884 = 3*j. Which is smaller: f or 879?
879
Suppose -v - 147 = -4*l + 182, 3*l = 3*v + 258. Let s be 56/(-90) + 18/l. Which is bigger: -9/4 or s?
s
Let y = 0 + 0. Let a = -394591/532 - -12925/28. Let n = 280 + a. Which is bigger: n or y?
y
Let f(s) = s**2 - 6*s + 5. Let a be -3*(3 - 42/9). Let q be f(a). Let x be (-5 - 1) + 1 + 0. Which is greater: q or x?
q
Let n = -64.1 - -64. Which is bigger: -131 or n?
n
Let o(l) = l - 6. Let p be o(6). Let h be (0/(-2))/(1/1). Suppose 0 = 5*c - h - 5. Which is bigger: c or p?
c
Suppose -3*l + 1 = -4*l. Is -8/9 at least l?
True
Let z = 0.126 + -2.146. Let r = z + 0.02. Let t = -96/265 - 2/53. Which is smaller: t or r?
r
Let r = 0.06 - 0.46. Let b = -10.93 - -11. Let p = b + -1.07. Is p < r?
True
Suppose 0 = -3*h + 4*n - 3, -2*h + 0*h = n + 13. Suppose -d = 4, -70 + 2 = 4*a + d. Let t be (a/(-2))/2 - 8. Are t and h non-equal?
True
Let t be -3 + (-20)/(-14) - -1. Suppose 2*m = -2*g, 0 = 5*g - 4*m + 19 - 1. Which is smaller: g or t?
g
Let t be (3*(-1)/2)/(15/(-50)). Let i(f) = -f**3 + 5*f**2 - f + 3. Let w be i(5). Let z = 1 - w. Which is bigger: t or z?
t
Let a = -0.2 + 2.2. Let j = a + -9.3. Let s = -7 - j. Are 1 and s non-equal?
True
Suppose 4*b - 3*l - 2 = 3, 3*b + 2*l = -9. Let o(g) = -g**3 - 10*g**2 + 8*g + 8. Let d be o(-10). Let s be 114/d - 8/(-6). Is b less than s?
True
Suppose 0 = -l + g + 79827, -l + 0*l - g + 79825 = 0. Let h = 1038737/13 - l. Let s = -77 + h. Which is greater: s or 1?
1
Let g be ((-134)/670)/((-46)/24). Are -1 and g equal?
False
Let u = 2237/125081 - 3/913. Suppose 16 = -5*w + 4*o, 2 = -o + 6. Is w less than u?
True
Let w = 115 - 28. Is w <= 0.2?
False
Let k(r) = r**3 + 16*r**2 + 30*r + 28. Let x be k(-15). Which is bigger: x or -200?
x
Let d(g) = -g**2 + 3*g - 3. Let t be d(2). Let w be t*2*2/4. Let j be (2/8)/(312/384). Are w and j equal?
False
Let c = 13/35 - 4/5. Let j(s) = s**3 + 8*s**2 - 8*s + 10. Let w be j(-9). Let b be w/(2*(-1)/2). Are b and c non-equal?
True
Let r be 6/(-9)*(-1 + 0). Let o = -2.2 + 6.3. Let v = o + -2.1. Which is smaller: r or v?
r
Let y = -0.13 - 3.37. Let r = y + 4. Suppose -2*w - 5*l = 24, 2 = -2*w + 3*w - l. Which is smaller: r or w?
w
Let r = -8 - -25. Let o = r + -17.1. Let w = -3/10 + -39/70. Which is smaller: o or w?
w
Let c = -364/5 + 1097/15. Which is bigger: c or 0.09?
c
Let g(c) = -c**3 + 12*c**2 + 12*c - 15. Let v be g(13). Let j be v/35*-1*(-14)/4. Does j = -2?
False
Suppose 8*h - 12*h = 0. Suppose h = -47*a + 49*a - 48. Suppose 0 = -5*q - 8 + 133. Are a and q equal?
False
Suppose -11*s = -7*s + y + 3, -3*y = 9. Which is greater: 1/337 or s?
1/337
Let a = -5857 - -2167. Let h be (-781280)/a + (-4)/(-18). Let o = 212 - h. Do o and 0 have the same value?
False
Suppose 0 = -3*a + z + 2, 165*a = 167*a - z - 2. Which is smaller: -15/302 or a?
-15/302
Suppose -2*g = 35 - 37. Which is smaller: g or -1/98?
-1/98
Let c(f) = -14*f - 98. Let v be c(-7). Is 2/1017 less than or equal to v?
False
Let r be -1*(3 + (-6 - -1)). Let y(g) = -3 + 4*g - 1 - g**r - g. Let a be y(3). Which is greater: a or -3?
-3
Let p be (-8)/28 - (-822)/(-14). Suppose z - 4*m = -70, 2*z + m + 80 = -33. Which is smaller: p or z?
p
Let x be ((-18)/(-27))/((-2)/138). Which is greater: x or -45?
-45
Let u = 16230703643/2500024554 - -1/4863861. Let a = u - -2/257. Is a equal to 8?
False
Suppose d + 183 = -3*i, 84*i - 89*i - 319 = -3*d. Which is smaller: i or 0.02?
i
Let f = -40.1 - -40.1. Is 0.007 at least f?
True
Let y = 5/3 - 7/3. Let j = 910 - 910.081. Which is smaller: y or j?
y
Let t be 36/60 + (-586)/10. Which is smaller: -59 or t?
-59
Let z = -13 + 21. Let k be -1*7 - 3*(-3)/(-9). Let y(x) = -x**2 - 7*x + 15. Let c be y(k). Which is smaller: c or z?
c
Let j = 1349.9 - 1350. Which is smaller: j or -11/35?
-11/35
Let r = -0.37 - -0.07. Let u = -1 + r. Let j = u + 1. Which is smaller: 1 or j?
j
Suppose -3*k = -294 + 30. Let f be k/32 - 3/4. Let v = -2 + 2. Which is bigger: f or v?
f
Let k be 55/15 + -3 - (-3 - -2). Let x(b) = -3*b**2 + 23*b + 9. Let c(o) = o**2 - 8*o - 3. Let y(w) = -8*c(w) - 3*x(w). Let i be y(6). Is i bigger than k?
True
Let i = -51.13 + 48.9. Let r = i + 0.73. Is -0.1 greater than or equal to r?
True
Suppose -502 = -r - 500. Is r > -51?
True
Let p be (-6)/9*(-3)/4. Let u be ((-2)/(-8)*2)/(1/(-4)). Let k be ((-3)/u)/(-3) + (-27)/(-78). Which is smaller: p or k?
k
Let n be (3 - -59)/(8/(-12)) - -2. Which is bigger: n or -363/4?
-363/4
Let j = 191.77 + -191. Let n = j - 0.36. Which is smaller: 0 or n?
0
Let n = 3/7 + -1/7. Which is smaller: -0.037 or n?
-0.037
Let y = 60.3 - 65. Let p = -4.6 - y. Is -0.3 <= p?
True
Let y = -75 - -74.85. Let k = 0.05 + y. Which is smaller: k or 39?
k
Let t = -741/70 - -54/5. Let v(s) = -s**3 + s**2. Let h be v(1). Which is bigger: h or t?
t
Let u(b) = -27*b - 106. Let i(f) = 13*f + 53. Let t(x) = 13*i(x) + 6*u(x). Let j be t(-7). Are j and -6 non-equal?
True
Let p = -0.12 - 0.48. Let s = -1.2 - p. Let i = s + 0.8. Which is greater: -0.3 or i?
i
Let p = -22 - -36. Let i be (-24)/(-110) + p/(-35). Suppose 4*r = 2*r + 2. Which is smaller: i or r?
i
Let t = -390 + 378. Are -10 and t equal?
False
Let z be ((-94)/(-20))/(324/2970). Let g be (-62 - 0)*4/6. Let j = z + g. Are j and 1 unequal?
True
Let w(s) be the first derivative of -s**3/3 + 5*s**2/2 + 8*s + 8. Let i be w(6). Let o be 1/(-2) + 1/i. Which is smaller: o or -4?
-4
Let q be 1/6 - 4/24. Suppose 14 = -4*d + 2*m - 0*m, q = -3*m - 3. Let f(j) = -j**3 - 15*j**2 - 2*j - 32. Let w be f(-15). Is d bigger than w?
False
Let g(o) = 14*o**2 - 2*o + 2. Let m be g(4). Suppose m - 31 = -11*f. Which is smaller: f or -53/3?
-53/3
Let b = 46 + -41.8. Let d = -3.2 + b. Which is greater: d or -0.2?
d
Let x be ((-2)/(-4))/(17/510). Is x < -2/9?
False
Suppose -11*m + 13*m = -2. Which is smaller: m or -59/17?
-59/17
Let z be (-21)/10 + -5 + 6. Let q = 3/5 + z. Let l(d) = -2*d**2 - 2*d - 2. Let x be l(0). Do q and x have the same value?
False
Let c = 37 + -36. Suppose 2*g + 1 = 3*g, 0 = -2*t - g + 21. Is c less than t?
True
Let t be (56/(-12))/((-1)/3). Let l be (-4)/t - (-93)/105. Let k = -112 - -113. Is l at most as big as k?
True
Let s = -0.41 - 5.19. Is s at most as big as -3?
True
Let a(p) = 2*p. Let g be a(1). Suppose -2 = -q, 4*q - 2 = -g*t - q. Let w(n) = 2*n**3 + 20*n**2 + 20*n + 13. Let z be w(-9). Is z equal to t?
False
Let a = 20.9 - 20. Let p = a - 0.8. Is p < -2/11?
False
Suppose 575 - 159 = -4*w. Let f be 8/52 + 900/w. Which is smaller: f or -10?
-10
Let u(c) = -c + 4. Let g be u(0). Suppose 0 = -3*b + g*b + 3. Let s be 2*b/12*-11. Which is greater: 6 or s?
6
Let w = -17.056 - -17. Let m = w - 23.944. Let u = -25 - m. Which is bigger: -5 or u?
u
Let b = -477.2 - -477. Which is bigger: 5/3 or b?
5/3
Let x(k) = k**2 - k + 11. Let a be x(-6). Let r = a - 54. Is r greater than or equal to -1/25?
False
Let q = 69.2 + -68.2. Let p = 0 - 0. Let i = q + p. Which is greater: i or -2/5?
i
Let c = -218 - -134. Let l = -60 - c. Which is bigger: l or 23?
l
Suppose 3*d - 8 = -2*f, d - 3*d = -4*f. Let k(h) = h**2 + 22*h + 122. Let i be k(-12). Which is greater: f or i?
i
Let r(b) = -b**2 - 18*b + 23. Let f be r(-20). Suppose 2*d =