 3*s + 25, -13*w + 3*s = -16*w + 39. Let l be 5 + 40/w + 292/(-19). Which is smaller: l or -4?
l
Let p(n) = -n**3 + n**2 - 2*n. Let f be p(0). Let q be 3/((-6)/116 - f). Let s be 59/q - (-9)/9. Which is bigger: s or -1?
s
Let u = 3097 - 3018. Which is smaller: u or 393/5?
393/5
Let t(d) = -d**3 + 44*d**2 + 87*d + 241. Let c be 6762/196*(-4)/(-3). Let r be t(c). Suppose -2*m + 1 = x - 0, -64 = -4*x + 4*m. Is x > r?
False
Let z = -98789113/3478 + 28404. Which is bigger: z or 0?
0
Let g = -1.405 - 0.305. Let w = g + 1.8. Is w smaller than -3/4?
False
Let z be 1/(-2) - (-834)/12. Let r(t) = -t**3 - 8*t**2 - 3*t - 27. Let c be r(-8). Let f be c + (378/49)/(6/56). Are f and z nonequal?
False
Let n = 35 - 97. Let p = 84 + n. Let h be (3 - (-65)/(-20))/(2/p). Is -2 less than h?
False
Let b = -0.0979 + -76.9021. Let c be ((-2)/(-20))/(6/(-15))*0. Which is greater: c or b?
c
Let f be 15/(-12) + (-1 - -1) + (-22225)/(-17668). Which is smaller: f or 1?
f
Let l(n) = n**3 - 41*n**2 + 155*n - 118. Let y be l(37). Which is smaller: 140 or y?
140
Let h be 52/(-130) - (-604)/(-3465). Let f = h - -20/33. Is f at least as big as -0.2?
True
Let r(b) = -b**3 + 27*b**2 - 64*b + 348. Let c be r(25). Suppose o + 30 = -0*o. Let s be c*((-8)/4)/o. Which is greater: s or 1?
1
Let u = 3.3421 - 0.3421. Is u at least 1/47?
True
Let c = -662 - -285. Let z = -354.8 - c. Which is smaller: z or -0.1?
-0.1
Suppose -30*k = -11*k - 6479. Suppose -k = -y - 322. Is y smaller than 128/7?
False
Suppose 652651 + 703949 = -168*m. Which is bigger: -8074 or m?
-8074
Let r = 10703 - 138672/13. Which is smaller: r or 35?
35
Let c = 1285/1617 - 26/33. Suppose 5*u - 3*u - 6 = 0. Suppose -5*o - u = -2*y, 3*o + 6 = -5*y + 2*o. Which is greater: c or y?
c
Suppose 5*f - 5 - 5 = 0. Suppose 2*i - o - 26 = 0, f*i - 41 - 1 = 5*o. Which is smaller: i or 6?
6
Let q = 4235 + -4245. Is -2.72 < q?
False
Suppose 0*t = 2*t - 416. Suppose -64*p - 1813 + 12005 = -15*p. Are t and p equal?
True
Let y = -152.267 - 0.533. Let x = -153 - y. Which is bigger: -31 or x?
x
Let j be -5 + -1 + 17 + 0 + -1. Let k = j + -31. Let u be 4/((-48)/k) - (0 - -1). Is 0 bigger than u?
False
Suppose -4*r + 320 = -3*w, -2*r + 401 = -3*w + 73. Are -103 and w non-equal?
True
Let n be (-2)/2*(4 - -22). Let j = n - -19. Which is bigger: 0 or j?
0
Let a(q) = -4*q + 13. Let i(g) = -6*g**3 + g. Let l be i(-1). Let t be a(l). Is -6 at most as big as t?
False
Let h = 23 + -29. Let w(p) = -5*p - 32. Let g be w(h). Let c = 3 - g. Which is smaller: c or 3?
3
Suppose -2*v + 1672 = 4*j, 1688 = 76*j - 72*j + 4*v. Is j greater than 412?
True
Suppose 50 = -4*m - 2*n - 3*n, -4*n = -8. Let t be ((-16)/72)/(4/m). Is t less than -0.15?
False
Let s = -3 - -18. Suppose -2*w - 2067 = -s*w. Which is greater: w or 160?
160
Let k be (-565)/4408 + 18 + 6240/(-348). Is -0.2 equal to k?
False
Let c = -441 - 53. Let v = 493 + c. Which is greater: 22/61 or v?
22/61
Let r = -35 + 93. Let s = r + -112. Let p be (-1)/6*s/36. Which is smaller: p or 0.8?
p
Let w be (-165)/110*(-24)/18. Which is smaller: 5333 or w?
w
Let h be 381/5 - (-1)/(-5). Which is greater: h or 386/5?
386/5
Let s = 89 + -103. Let b be -2*(1 + 2/(-4)). Let n = s + b. Which is greater: -27/2 or n?
-27/2
Let d = 9125/6167588 + 1/3611. Is d >= 2/5?
False
Let d = -1497 + 1496.89. Which is bigger: -13.8 or d?
d
Let x(u) = -u. Let g be x(-6). Suppose -4*y - 5*n = 90, -3*n - 2*n = 3*y + 65. Let t be -6 - (0 - (-135)/y). Which is bigger: t or g?
g
Suppose 10 = 18*m - 368. Suppose 118 = m*j + 391. Which is smaller: -6 or j?
j
Let c(v) = -3*v**2 - 120*v + 154. Let a be c(0). Do a and -0.4 have different values?
True
Let o be (-3)/15*39450/(-18). Let p = -434 + o. Are 1/3 and p equal?
False
Let k(y) = -2*y**2 + 7*y + 54. Let a be k(7). Let s be 1*(a - (7 - 1)). Is 4/151 > s?
True
Let i = -238.0431 + 0.0431. Let f = i - -234. Which is smaller: -0.5 or f?
f
Let k(g) = 2*g**3 + 4*g**2 - 6*g - 14. Let r be k(-3). Let m(a) = -3*a**2 + 3*a + 1. Suppose 4*c + 10 = -c. Let f be m(c). Does f = r?
False
Let n = 2/233 + 9764/2563. Which is smaller: n or 1/3?
1/3
Suppose -637 + 117 = 4*m. Is -2 less than m?
False
Let o be -4*(-9 - (-20679)/2298). Is o at most as big as -1?
False
Suppose -92*n + 90*n = 2*a - 64, a - 20 = 3*n. Is 3 greater than a?
False
Let m be 501/(-9)*1 - (-4)/(-12). Let q = 57 + m. Let x be -2*q + (-26)/(-10). Which is smaller: 2 or x?
x
Suppose -p - 524 = 4*p + 21*h, -h = -5*p - 546. Is p != -111?
True
Suppose -z - 1790 = 4*z - n, 2*z + 719 = n. Let f = z + 254. Is f greater than or equal to -103?
True
Let c be -77*(2 - (-99)/(-15)). Let i = 352 - c. Suppose -42*u + 47*u + 26 = -2*f, -2*f - 3*u = 18. Is i equal to f?
False
Let g(w) be the third derivative of w**6/120 - w**5/12 - 3*w**4/8 - 88*w**2. Let x be g(-6). Is x at most 1/4?
True
Let k(o) = 5*o**2 - 158*o + 199. Let y be k(25). Do -616 and y have the same value?
False
Suppose -114*t + t = -17967. Are 122 and t nonequal?
True
Let o = -195 - -43. Let b = 159 + o. Which is greater: b or 11?
11
Let q = -69 + 58. Let f be (q/(-22))/(1/2). Let u = 21 - 20.83. Which is smaller: f or u?
u
Let t be (-468)/(-221) - (0 - 6/(-51)). Let d be (-2 + 1 + t)*36/10278. Are d and -1 nonequal?
True
Let d = 0 + 1. Let r = 22274 + -22276. Which is smaller: d or r?
r
Suppose 4*x - 20 = -9*h + 7*h, h - 9 = -x. Let l(y) = 104*y + 43. Let w be l(h). Suppose -1420 = -17*q + w. Which is smaller: q or 136?
q
Let o = 68.3 - 67.8. Let m(k) = k**2 - 11*k - 5. Let n be m(5). Let d = 107/3 + n. Which is smaller: o or d?
o
Let r = -22950807/155 - -148069. Let q = r - -14114/1085. Is q bigger than 0.1?
True
Let s = 10730 - 622305/58. Is s at most as big as 0?
False
Let z(d) = 2*d**3 + 17*d**2 - 109*d - 821. Let s be z(-8). Is s greater than 79?
True
Let r be 715962/536*6/9. Which is smaller: r or 892?
r
Let h be (7*(-4)/168)/(17/(-6)). Let w = 36 - 33. Which is greater: h or w?
w
Let l = 3/989 + -9977/28681. Which is smaller: -1 or l?
-1
Let y(o) = -20*o + 96. Let j be y(12). Let l be j/(-216) - (-7)/(-12). Is 1/37 less than l?
True
Let t = -37.87 + 38.77. Which is bigger: -0.94 or t?
t
Suppose 116*p = 42*p - 666. Which is greater: 22 or p?
22
Let c(x) = -x**2 - 57*x + 794. Let m be c(15). Are -2287/8 and m nonequal?
True
Let y = 6/28714021916155793 - 51191559356418026619514113/96171557749539519781177. Let v = y + 10/197017. Let d = v - -532. Does -1 = d?
False
Suppose -4*g + 8 - 2 = h, -2*g = h - 4. Let k be (-28)/14 + (-419)/(-8)*-1. Let m = 5751/104 + k. Which is smaller: m or g?
m
Let u be 6 - (-555)/(-30) - -12. Suppose 3*v = 17 - 47. Let c = -59/6 - v. Is u smaller than c?
True
Let o(l) = l**3 - 26*l**2 - 511*l + 155. Let x be o(39). Which is smaller: 1/43528 or x?
x
Let d = 18023/54051 - 2/18017. Is d < 3/4676?
False
Let o(f) = f**3 - 3*f**2 + 3*f - 1. Let s(x) = -10*x + x + x - 57 + 19. Let p be s(-5). Let a be o(p). Is a not equal to 9/11?
True
Let v be (556/(-695))/((-4)/70). Let b be 2/4*16/1. Is b != v?
True
Let d(m) = 7*m**3 - m**2 - m. Let c be d(-1). Let u be ((-8)/(96/20))/(-15) - 128/18. Is u equal to c?
True
Let y = -2/195 - -16/39. Suppose 2828 = -2*d - 2122. Let i be d/9009 + 1*2/(-13). Which is bigger: i or y?
y
Let a(i) = -2*i**2 - 6*i - 3. Let w be a(-2). Let y be 1/(((-18)/15)/w + 1). Which is smaller: -10 or y?
-10
Suppose -206*d - 264 + 774 = 7308. Do 82 and d have different values?
True
Let s = 19/890 + -13843/669280. Let v(n) = -3*n**3 - 38*n**2 + 60*n - 19. Let l be v(1). Which is smaller: l or s?
l
Suppose 151*c - 106*c + 129960 = 0. Which is greater: c or -2889?
c
Suppose 2*p + 2*i = 0, -2*i + 9 + 1 = 4*p. Suppose 6 = p*a - 2*a. Let x be (-1 - -2)/(a - (-12)/(-4)). Is 1/5 smaller than x?
False
Let u = 3557.44 - 3556. Is -11 less than u?
True
Suppose -2*h + 191 = 25. Suppose h = 18*i - 349. Is 24 less than i?
False
Let n = 1012 + -654. Which is smaller: 2865/8 or n?
n
Let i(q) = -1453*q - 214. Let u be i(-2). Is u < 2692?
False
Let m = -118 + 133.75. Let j = -46.83 + m. Let o = 31 + j. Which is bigger: o or 2?
2
Let u = 64 + -92. Let v be (595/u)/5 - -6. Is -2 >= v?
False
Let z be (-10 - 168/(-91)) + (-4)/(-26). Let a be 16/(-24) + z/(-12). Is a greater than -4/185?
True
Let q be (-134418)/(-774)*(-24)/2. Are -2085 and q nonequal?
True
Let o be