et x(i) = -i**3 - 6*i**2 - 11*i + 14*i + 7 - 2*i. Let o be x(-4). Let t = 26 + o. Are -3 and t equal?
True
Let t = 4 + -4. Suppose 2*n + n + 3 = t. Let b be (2/(-12))/((-14)/(-3) - 3)*-3. Which is bigger: n or b?
b
Suppose -25*a = -3*v - 24*a - 1577, 5*a = -5*v - 2635. Which is smaller: v or -6?
v
Suppose -45*u - 2196 = -48*u. Suppose 53*i - 56*i = 3*a + u, 5*i - 5 = 0. Is -246 >= a?
False
Let n = 2.6708 - -39.3292. Which is greater: 9.5 or n?
n
Let w = 9454/987 + -67/7. Suppose -55 = 6440*y - 6385*y. Are w and y equal?
False
Let a be 52070/(-220) - (0 + 2/(-4)). Which is greater: -237 or a?
a
Let f be 2 + -2 + (-82 - -5). Let r(y) = -21*y - 1696. Let s be r(-77). Which is bigger: s or f?
f
Let u = 0.245 - 0.471. Let c = 0.074 - u. Which is smaller: c or 9?
c
Suppose -5*f - 4*x = 11379, 3*x - 6537 - 285 = 3*f. Is f < -2273?
True
Let t = 5243 - 5242.7. Is t > -172?
True
Let z = -1.081 + 1.021. Are z and 153 non-equal?
True
Let y be 35*-7*(-162)/315. Which is greater: y or 133?
133
Let w(d) = d**2 + 0 - 4 + 12 + 8*d. Let t be w(-9). Suppose -8*g = -t*g. Which is bigger: -5/4 or g?
g
Let b be -19 + 19 - 5/(100/(-8))*-130. Are b and -59 nonequal?
True
Suppose 6*b + 315 = -5*k + b, 5*b - 234 = 4*k. Let q = -305937 - -1529686/5. Which is smaller: q or k?
k
Suppose -9*y - 2*y = -y. Which is smaller: y or -8/1041?
-8/1041
Suppose 0 = -p + 8*p + 21. Let s = -88 + 93. Suppose 15 = 5*y, 0 = 2*t + s*y - 1. Which is greater: p or t?
p
Let h(k) = k**3 + 7*k**2 - 10*k - 3. Let j be h(-8). Suppose 2*v = 5 + j. Let p = 37.55 - 37.48. Which is smaller: v or p?
p
Let f = -5720 - -5725. Which is smaller: -0.0112 or f?
-0.0112
Let k(o) = -5*o**3 + 3*o + 0*o + o**3 + 3*o**3 - 12 + 7*o**2. Let l be k(7). Suppose l - 3 = 3*n. Which is greater: 9/8 or n?
n
Let v = -359.6 - -440.6. Is -6 at most v?
True
Let k(a) = 6*a + 27. Let m(y) = -y - 1. Let l(c) = k(c) + 3*m(c). Let s be l(-7). Let g = s - 0. Do 5 and g have the same value?
False
Let r be 145 + 18/(-90) + 38/(-10). Let u = r + -147. Are -6 and u equal?
True
Let i = 3226 - 2282. Which is greater: i or 941?
i
Let q be -47 - (-2 - 2*(0 + -3)). Suppose -4*n - 2*t = -n + 2, 2*n + 3 = -t. Let z be ((-6)/n)/(7/(-238)). Is q bigger than z?
False
Let v be (-105)/(-10)*(-14)/(-7). Let m be (242/14 - 3)/(6/v). Which is greater: m or 47?
m
Suppose -4*u - 4 = -0*u. Let l be (7 - 3411)*1/(-63). Let q = l - 54. Which is smaller: u or q?
u
Suppose -34*n = 184*n + 31*n. Let c be 4/(-14) - 818/(-2716). Is n < c?
True
Let j = -0.01474 + -230.98526. Which is bigger: 1 or j?
1
Let p(c) = -3*c + 232. Let r be p(-41). Suppose -61 = -16*a + r. Suppose -2*b + 0*b + 110 = 4*g, 4*g = b + 95. Is a at least as big as g?
True
Let i be (-48)/(-8) - (1 + -25). Suppose 31*g - 21 = i*g. Are g and 20 unequal?
True
Let v = -148 + 159. Suppose -624*q = -635*q - v. Is q > 3/40?
False
Let l be 3 + (0/3 - (3 - -3)). Let q be 6/l - (-78 + 0). Suppose 74*z + 2 = q*z. Which is greater: 20/17 or z?
20/17
Suppose -34 + 3 = p + 2*x, 0 = -4*p - 5*x - 130. Suppose 3*i + 4*q = -82, i - 16 + 94 = 5*q. Which is smaller: i or p?
i
Suppose 0 = -4*t - 4*f + 28, -8 = -5*t - f + 23. Let d be (4/t)/((-4)/(-18)). Let o be 4*(1188/(-72) + 4 + 12). Which is bigger: o or d?
d
Let m = 2.159 - 2.036. Are -2 and m unequal?
True
Let v be 3*2/(-30)*0 - -5. Suppose -5*y - 5*b - 1 = -36, b - 19 = -v*y. Which is greater: y or 40/9?
40/9
Let g be 5/10 - 3/6. Let i be (72/23 + (4 - 7))/((-14)/(-126)). Which is bigger: g or i?
i
Let s = 266 + -261. Suppose -s*p = -p + 12. Let a be (134/(-4) + 2)/12. Which is greater: a or p?
a
Let x(i) = -i**3 - 3*i**2 + 4*i + 1. Let y be x(-4). Suppose -18*q = 419*k - 416*k + 5181, 5*q + 2*k + 1452 = 0. Are y and q nonequal?
True
Let u = 0.0302 - 145.0502. Let b = -145 - u. Which is greater: -39 or b?
b
Suppose -116 - 52 = 12*r. Let z(k) = 2*k**3 + 27*k**2 - 19*k + 8. Let d be z(r). Is 78 > d?
False
Suppose 2*k = 6 + 16. Suppose -117 = 248*d - 261*d. Which is bigger: k or d?
k
Let b(j) = j**3 - 6*j**2 - 22*j - 6. Let c be b(9). Let z = c - 49. Let x be -1*120/25*z/2. Is -3 bigger than x?
False
Suppose -4*d + 5*o = -19125, 2*d - 2*o = 9894 - 334. Let i = 62105/13 - d. Is i < 1?
False
Let p(d) = 133*d + 8630. Let j be p(-67). Which is smaller: j or -1127/4?
-1127/4
Let p = -35 + 41. Let x = p - 1. Let c = x - -2. Is c at most -2?
False
Let f = 0.2 + -0.1. Let a = 95.8 + -78. Let q = a - 19.8. Which is greater: f or q?
f
Let x = 1 + 4. Let m be (-21259)/14*1/x. Let w = -304 - m. Which is greater: 1 or w?
1
Let f be (-3152)/985*(-20)/8. Let n(q) = q**3 + 5*q**2 - 5. Suppose 16 = -5*m + m. Let t be n(m). Which is smaller: t or f?
f
Let u = -6620 - -6613. Is 24.1 less than u?
False
Let b be 1*(90/(-24) - (-3)/(-12)). Let u be (b/(-6))/(18/(-81)) + -100. Is -104 equal to u?
False
Let x be (-2 - 22/(-14)) + 114/21. Suppose 57 = 4*o + x*u - 272, -4*u = -5*o + 360. Suppose -5 = -3*f - 2*f. Which is smaller: f or o?
f
Let p be 10*383/2548 - 177/118. Suppose f - 2*f - 1 = -5*s, -s + 5 = -5*f. Which is smaller: p or s?
s
Suppose 4*p = -3*u + 29, 5*p - 4*u - 13 = -0*u. Suppose -p*i + 8*i = -3. Let x be (i/((-6)/4))/((-12)/(-36)). Which is smaller: 4 or x?
x
Let w = 4.2 + -2.2. Let q = w - 73. Let i = q + 70.9. Which is greater: i or 0.11?
0.11
Suppose -5*f - 2 = -2*t, -4*t + 2*f + 3*f = 16. Let a be (53 - 49) + 0*1/(-1). Suppose a*q = -2*u + q - 28, 5*q + 32 = -2*u. Which is smaller: u or t?
u
Let u be (-10)/(-4)*(-264)/(-20) - 2. Let i = u + -31. Suppose 3*h - q = 4, i*q = -5*h + 3*q. Is 3 > h?
False
Let v = 3.657 + -3.78. Let s = v - -0.103. Which is greater: s or -0.28?
s
Let f(k) = -k + 1. Suppose -5*q + 18 = -2*q. Let n be f(q). Suppose -j + 19 = -6 + 30. Is n less than j?
False
Let z(l) = -9*l**3 - 262*l**2 - 30*l - 11. Let g be z(-29). Let t(o) = -o**3 + 7*o**2 - 7*o + 8. Let p be t(6). Which is bigger: p or g?
g
Let c be ((-1024)/(-8))/((-5)/(-30)). Suppose -3*v + c = 771. Which is greater: v or 5/71?
5/71
Let c = -56 + 31. Let r(h) = -2*h**2 + 10*h - 13. Suppose 0 = -5*t + 101 - 71. Let d be r(t). Is d > c?
False
Let k = 202 + -277. Let n(i) = -17*i + 5. Let a be n(5). Let l = k - a. Which is greater: l or 1?
l
Let f(l) = -6*l - 1254 + 628 + 714. Let t be f(27). Is -68 less than t?
False
Suppose 2*s - 5*k = 7, -3*s + 9 = -s - 3*k. Suppose o - s = -5. Let l be 2/(-3)*(-297)/(-825). Is o <= l?
False
Let u(q) be the second derivative of q**4/12 - q**3/6 - 19*q**2/2 - 43*q. Let j be u(6). Is -0.06 at most j?
True
Let t(p) = p**3 - 3*p**2 - 7*p - 3. Let v be t(5). Suppose 5*m = -3*o - 70, -o - v = 4*m + 23. Is o less than or equal to -110/7?
False
Let p be -12 - (-67)/((-27671)/(-4998)). Is -43 less than p?
True
Let g be (-568)/(-213)*27/(-4)*(-139 + 1). Which is smaller: 2 or g?
2
Let b be (-316)/(-10) + 90/225. Suppose -8*a - b*a = -8560. Are 215 and a nonequal?
True
Let y(v) = v**2 + 15*v - 13. Let s be y(-13). Let w = s + 75. Let k be (-9)/w - 25/(-52). Is k less than 1?
True
Let m be ((-1)/137)/((-14)/(-40)). Let g = m + -22076/45073. Which is bigger: -1 or g?
g
Let r = 216.091 + -0.091. Let p = r - 309. Let x = p + 188. Which is bigger: 1 or x?
x
Suppose 0 = 3*w - 234 - 141. Let b be (-15)/(-1)*(-150)/w. Let s be ((-8)/16)/(3/b). Which is smaller: s or 17/4?
s
Suppose -d = -2*d + 5, -3*i - 143 = 5*d. Let u = 67 + i. Let r = -15 + 25. Is r less than u?
True
Let t be 24/(4/(-1)) + 120/12. Suppose -5*o + t*j + 30 = 0, -25 = -5*o - 4*j + 45. Is 4/9 less than or equal to o?
True
Suppose 3*q + z = 205, -2*z - 3*z + 73 = q. Let n be 36/77 - q/238. Do n and -20 have different values?
True
Let m be ((-21)/(-871))/(162/(-53748)) - -8. Which is bigger: m or 0?
m
Let v = -94 + 201. Suppose 0 = n + 3*q - 15, 3*n + 4*q - 61 + 26 = 0. Suppose -n*p + 35*p - 2808 = 0. Does v = p?
False
Let h be (-2)/18 + 2176/306. Let j be (-12)/(h*14/49). Is -23/4 bigger than j?
True
Let q be 1*(68/748)/(5/(-11)). Let r = -5303/14 - -379. Which is bigger: r or q?
r
Let y = -0.1587 + 0.0987. Let h = 260/779 - 18/41. Which is greater: y or h?
y
Let o be 2/((-24)/(-676))*15 - 0. Let u be -30*((-4)/(-26) + (-2496)/o). Which is smaller: u or 82?
82
Let i = -25/9 - -28/9. Let o = 132384 + -132378.5. Which is greater: o or i?
o
Let y = -23 + 52. Let p = y + -13. Let q = p - 17. Which is 