 l(j) = j**3 + 14*j**2 + 17*j + 51. Let s be l(-13). Is s less than 3/208?
True
Let a be 14/(-63) - 2/(-10). Is a > -1/2?
True
Let g = 717800/91 - 7888. Is g less than 0?
True
Let o = 12571 + -12570. Let y = -1/99 + 10/99. Which is smaller: y or o?
y
Let o be ((-30)/12 + 5)/((-4)/(-56)). Which is smaller: 242/7 or o?
242/7
Let f(s) = s**3 - 3*s**2 + 2*s + 1. Let k be f(2). Suppose -3 = 2*m + k. Which is bigger: -1 or m?
-1
Suppose 5*t = -1 - 14, 4*k + t = -27. Let u(w) = -w**3 + 5*w**2 + 5*w - 5. Let m be u(5). Let x be 12/m*k/9. Which is smaller: -1/8 or x?
x
Suppose -x = -3*s - 61, 2*x - 3*x + 21 = -s. Which is smaller: s or -17?
s
Let o = -1348 - -1342. Let p = 2 + -6. Is o <= p?
True
Let g(o) = -2*o**2 - 4*o - 3. Let x be g(-1). Let r be 1/(-82)*(-4 + 2). Which is smaller: x or r?
x
Suppose 0 = 15*l - 11*l - 184. Let m = 46 - l. Are m and -10/11 nonequal?
True
Suppose -118*p + 138 = -124*p. Let d(o) = 2*o**3 + 4*o**2 + 2*o - 2. Let g be d(-3). Let r = p - g. Is r equal to 3?
True
Let i = 4 - 5. Let o = -0.1262 - -0.0482. Are o and i nonequal?
True
Let b(j) = -11*j + 10. Let n(f) = -13*f + 9. Let a(t) = 3*b(t) - 2*n(t). Let p be a(2). Is p at least -3.6?
True
Suppose -3*s = -0*s + 72. Let r = s + 10. Let u be (r/8)/((-1)/(-4)). Is u at most -7?
True
Let a be (28/(-8))/7 - (-7)/16. Suppose -3*b + o + 3 = -o, -4*b = 2*o - 4. Which is smaller: b or a?
a
Let j(l) = l**2 + l - 16. Let v be j(11). Let w be 2 + 2 + v/(-30). Is 1 less than or equal to w?
False
Let s = 3013/7 + -429. Let z = 206.1 + -206. Is z greater than or equal to s?
False
Let u = 93 - 85. Suppose -4*m - 2*v = -u, 0*v = 2*v + 8. Is 4 greater than or equal to m?
True
Let n be 0/(6/(-1 + 4)). Let t(x) = x + 7. Let i be t(n). Suppose i*g - 2*g + 55 = 0. Is g greater than -10?
False
Let i be 1719/12*146/(-30). Let x = i + 697. Let w = -79/260 - x. Is w < 1?
True
Let w be (2 - -2)/((-14)/(-63)). Let p be 5/(-30) + (-15)/w. Are -6 and p unequal?
True
Let j be 12/1*3/(-42)*3. Suppose 5*w + 5*v = 0, 0*v - 4 = 2*v. Suppose 6 = -0*p - w*p. Is p >= j?
False
Let v be 14/6 - (-6)/9. Let h be 1 - -15*20/(-12). Let f be (2 - (-44)/h)*16. Which is bigger: f or v?
v
Let g(y) = -144*y**3 - 2*y**2 - 5*y - 3. Let w be g(-1). Let q be (-220)/w - (-3)/(-12). Which is greater: q or -3?
q
Let i be (-18)/(-20) - (-24)/(-60). Let c be 2 + (-1 - (-3 - -1)). Which is bigger: i or c?
c
Let f = 353 - 337. Which is smaller: f or 44/3?
44/3
Let i = -153 - -258. Let n be 209/7 + 15/i. Let p be (-6)/n + 147/(-15). Is p less than or equal to -9?
True
Let q(y) = 10*y + 13. Let a be q(7). Suppose 2*g - 13 + a = -2*o, 5*o = 5*g + 185. Is g less than or equal to -36?
True
Let g be 5 + -3 + -2 + 3. Let b be g - ((-19)/21 + 4). Which is greater: -1 or b?
b
Let a = -2/809 - -3322/34787. Which is greater: 1 or a?
1
Let a = 23 - 14. Suppose 6*c = a*c + 6. Which is greater: -13/7 or c?
-13/7
Let i be (-7)/(7/4)*(0 - -448). Let g = i - -7225/4. Which is greater: 13 or g?
g
Let j(o) = -3*o - 17. Let g be j(-6). Let n be 52/90 - ((-11)/9 + g). Which is bigger: 0 or n?
n
Let z = 810 - 807. Which is smaller: 155 or z?
z
Let q(w) = w**3 + 4*w**2 - 17*w - 4. Let t be q(-8). Is t less than or equal to -129?
False
Let y be (-52)/(-6)*(-138)/23. Is -52 >= y?
True
Suppose 5*w + 4 = -1. Let x be 204/459 - (-1694)/(-3852). Which is smaller: x or w?
w
Let b(x) = -2*x**3 - 15*x**2 - 6*x + 2. Let o be b(-6). Are -620/9 and o non-equal?
True
Let d = 1126 + -7880/7. Is d bigger than 0.002?
True
Let v = -3 + 2. Let n be 12/15 + (-17)/(35190/1701). Is v smaller than n?
True
Suppose -15 = -b + 1. Suppose 2*u + 28 = 2*a, 0*a - 5*u = -4*a + 52. Are a and b equal?
False
Let d be (-5 + 0/3)/(-1). Let g = -4 + d. Is -2/125 at least as big as g?
False
Let n be 1*((-6)/15 - (-9)/(-15)). Let v be 3/4 + (-40)/55. Let k = v - -35/396. Is n >= k?
False
Suppose 20 = -8*u + 12*u. Let m be (3/9)/(2/(-6)). Let c be 0/(u/m - -3). Is 1/6 at most c?
False
Let h be 55/363*7/(1225/15). Let o(y) = -y**2 - 5*y + 5. Let r be o(-6). Which is greater: h or r?
h
Suppose 38*t = 35*t - 3. Is t less than 7?
True
Let u = 0.563 - 0.027. Which is smaller: 1 or u?
u
Let u(k) = 96*k - 9. Let c be u(-1). Is -106 bigger than c?
False
Suppose 30*t + 7520 = 22*t. Is -939 >= t?
True
Let k(n) = -7*n + 86. Let b be k(10). Which is bigger: 9 or b?
b
Let p = 1145 + -1257. Which is bigger: p or -443/4?
-443/4
Let j = -196 + 221. Let c(w) = 5*w**3 - w**2 - 9*w + 3. Let y(q) = -4*q**3 + q**2 + 8*q - 2. Let n(d) = -5*c(d) - 6*y(d). Let i be n(-3). Are j and i non-equal?
True
Let j = 0.12 + 3.68. Let r = 4 - j. Let n = 0.8 + -0.6. Are r and n equal?
True
Let x be ((-4)/7)/1 - 1824/1120. Suppose -4*i - 9 = -1. Which is bigger: i or x?
i
Let d = 86581/1112 + -623/8. Is 1 less than or equal to d?
False
Let d be ((-3)/(-14))/((-3)/(-4)). Suppose 53*s = 48*s + 240. Let f be (1/6)/((-12)/s). Is f equal to d?
False
Let g be (-150)/(-5) + -2 + -4. Let d = -18 - -41. Is d <= g?
True
Let n be 7*(-1 - (2 + -4)). Suppose 5 + n = -3*q. Let d = 28 + -27.9. Which is smaller: q or d?
q
Let q(x) = -x**2 - 5*x + 31. Let k(j) = -12*j - 68. Let r be k(-6). Let u be q(r). Are u and -60/13 unequal?
True
Let z = 1709/28 - 394/7. Is 6 at most z?
False
Let m be (-12)/(-5) + 4 + -5. Let w = -59/35 + m. Is -1 less than w?
True
Let g = 23 + -14. Suppose -4*i + 2*n = 7*n + g, -2*i + 2*n = 0. Let f(m) = -m**2 - m. Let s be f(-2). Is i less than s?
False
Suppose 2*x + 2 = -0*x. Let n be 5/5*(-20)/(-45). Is x greater than or equal to n?
False
Let o(d) = 35*d + 172. Let k be o(-5). Which is smaller: k or -15?
-15
Let s(n) = n**3 - n**2 + n - 1. Let m be s(1). Suppose 0 = -m*d - d - 11. Suppose -v = 11 - 1. Which is smaller: v or d?
d
Let t(d) = -d**3 - 16*d**2 - 17*d - 14. Suppose 5*h + 4*p + 61 = -30, 5*h + p = -79. Let f be t(h). Which is smaller: f or 15?
15
Let q(p) = p - 4. Let b be q(0). Suppose 8*i + 27 = -i. Is b bigger than i?
False
Let t(j) = -j**2 - 5*j - 4. Let q be t(-4). Suppose -3*a - 9 - 3 = q. Let d be (-7)/2 - 5/(-10). Is a at least as big as d?
False
Let o = 1436/28833 + -3/1373. Let s be 1 - -2*(0 - 1). Let i = 1 + s. Which is smaller: i or o?
i
Suppose -3*v = 2*v - 15. Let c be 43/559 + (-64)/(-13). Is v less than c?
True
Let l be 0/(4 + (1 - 3)). Suppose v - 45 - 10 = l. Suppose 5*a - 4*w = -0*w - 62, -4*a - v = -5*w. Which is smaller: -8 or a?
a
Suppose 7 = -3*w - 5*x - 3, -2*w - 8 = 4*x. Which is greater: -3/197 or w?
w
Let r be (94/(-8) - -3)*-4. Suppose r = -2*t + 135. Let m be 3 + 1/((-16)/t). Which is greater: m or 1?
1
Let p(d) = -d**3 - 12*d**2 - 9. Let k be p(-12). Let x = k - -11. Suppose -2*v = 5*w - 27, -v + 3*v - 12 = -x*w. Which is greater: w or 2?
w
Let h = 2883 + -2856. Which is bigger: -26 or h?
h
Let b be 8 - ((-6)/(-27) + 112/63). Which is smaller: 0.5 or b?
0.5
Let t be (-10)/(-600)*12 - 1522/10. Which is bigger: -150 or t?
-150
Let k = -2 + 3. Let p be 6/(-6) + (-3)/2*-46. Let c = -1154/17 + p. Which is smaller: c or k?
c
Let z be (8 - 95/10)/(12/104). Let s = -0.6 - -0.3. Does s = z?
False
Let a = 472 - 471. Is -7/67 greater than a?
False
Let a be (-2 - 0)/(6 - 7). Let t be 38/20 - 4/a. Do t and -0.1 have different values?
False
Let r = 7/2 - 3. Let h = -0.5266 + -0.0734. Which is smaller: h or r?
h
Suppose 15*j + 13*j + 4900 = 0. Which is smaller: -172 or j?
j
Let o = -719.1 + 719. Does -28/33 = o?
False
Suppose 0 = 5*t - 2 + 17. Let n be t/((-54)/12) + (-122)/(-6). Which is greater: n or 20?
n
Let m = -11.09 - -11.1. Let n = 24.8 + -25.81. Let r = n + m. Which is smaller: -2/7 or r?
r
Let q be 1 + -3 - (-1 - 1). Suppose 0 = -2*d + 3*v - q*v + 1, d = 2*v. Suppose d*h = -0 + 4. Which is smaller: h or 2/5?
2/5
Suppose 8 = s + 2*q, 3*s = 4*q - 23 + 7. Suppose -2*w - w + 30 = s. Which is smaller: 11 or w?
w
Let z = -9.8 + 10. Let m = 20.3 - 19. Let u = -0.3 + m. Which is smaller: u or z?
z
Let l = 7/22 - 5/154. Is 1/62 != l?
True
Let n = 79 + -119. Let m = n + 40. Is 1 bigger than m?
True
Let q = 4 - -1. Suppose 4*m - 6*m - q*a = 16, -5*a = 5*m + 25. Let s = -17/9 - -4/45. Which is greater: m or s?
s
Let f be ((-36)/30)/6*0. Let o = 5 + -3. Suppose 2*c + o*c + 16 = f. Which is bigger: c or -2?
-2
Let u(l) = -33*l**2 - 2*l + 2. Let k be u(1). Let s = -27.2 + 27. Are s and k uneq