-s**3 - 9*s**2 - 6*s + 6. Let i be x(-9). Let d = i + v. Is d less than or equal to -1?
False
Let b be (-5)/((-15)/(-12) + -1). Let r = b - -29. Let h = r + -6. Is 2 at most as big as h?
True
Let j = 4.9 - 33.9. Is 2/7 bigger than j?
True
Let b be (-2)/5 + (-696)/10. Let k be 33/b - (-28)/70. Is 1 at least as big as k?
True
Let v(x) = -x + 2. Let n be v(6). Let i(o) = o - 2. Let g be i(n). Let a be (-2)/(-4) - 9/g. Is 3 at least a?
True
Let g be (-40)/1*32/(-80). Do g and 18 have different values?
True
Let j(s) = s**3 - 7*s**2 + 5*s + 3. Let v be j(6). Is v <= -17/6?
True
Let t = 11 - 14. Let a = 0.2 - 1.2. Which is smaller: t or a?
t
Let o = 2.8 - -0.2. Let r = o + -2.8. Let m = 0.1 - r. Is m smaller than -1/3?
False
Let i = -0.22 + -0.08. Let c = i - 0. Let z = -0.2 - c. Do -3 and z have the same value?
False
Suppose c + 0 = 3. Let x be c/(0 + 3/2). Which is smaller: 0.1 or x?
0.1
Let x = 4 - 2. Let j be 2/(-24)*x*-4. Let m = -55.4 - -55. Is j >= m?
True
Let b = 3 + -3. Let j = -0.1 + 0.12. Let u = j + 1.98. Is u not equal to b?
True
Suppose -v = -f + 4*f - 11, -2*v + 18 = 5*f. Which is greater: v or 3/7?
3/7
Let s(t) = t**3 - 4*t**2 - 5*t - 1. Let f be s(5). Let l = 79 + -78.13. Let b = -0.8 + l. Do b and f have different values?
True
Let w = 3 + -6. Let z = 3.1 + w. Is 3/7 != z?
True
Let b = 16 + -15. Let y be (-1 + 2 - -1)/(-1). Let o be (1/y - 0) + b. Which is smaller: o or 0.3?
0.3
Let i(k) = -k**2 + 6*k - 4. Suppose -4*p + 0*p = -16. Let q be i(p). Which is smaller: q or 5?
q
Let j = 1040 + -50962/49. Are j and 0 equal?
False
Let l(n) = -n**2 + n + 2. Suppose 2 = 4*i - 3*i. Let u be l(i). Which is greater: -1/8 or u?
u
Let j be 1*(1 - 0) - 1. Let c(z) = -z**3 + 18*z**2 + 2*z - 40. Let v be c(18). Do v and j have the same value?
False
Let m be 33*8/18*9/(-3). Is m greater than -45?
True
Let p = -12.2 - -12. Is p bigger than 1.1?
False
Let x = -0.3 - -0.4. Let p = 2.8 + -3. Let l = 0.3 + p. Is l less than or equal to x?
True
Let l(y) = -y**2 - 5. Let t be l(6). Is -41 at least as big as t?
True
Let f = 2.6 - 0.6. Is -3 at least f?
False
Let f(i) = -3*i**2 - 4*i - 2. Let p be f(-2). Is -5 less than p?
False
Let h = -1 + -1. Let j = 21 + -23. Let m = h - j. Is m at least 3?
False
Let k be -2 - -4 - (2 + -32). Suppose -l + k = 3*l. Is 10 bigger than l?
True
Let a(r) = -r - 9. Let k be a(-8). Let w = -4 + 1. Which is smaller: k or w?
w
Let g be (1 - 6)*8/(-4). Let u be 4/g - 6/5. Which is smaller: u or 0?
u
Let r = 88 - 121. Which is bigger: 2 or r?
2
Let y = 17 + -19.8. Let q = y - -0.8. Do q and -3/8 have the same value?
False
Let s = -1/3 - 19/15. Let q(x) = 2*x - 6. Let m be q(2). Which is bigger: s or m?
s
Let q = -11/15 - -2/5. Which is smaller: q or 3/5?
q
Let h(j) = j**2 - j + 3. Let o be h(0). Is o less than or equal to 9/5?
False
Suppose -2*p + p - 8 = 0. Let k be p/10*(-15)/(-10). Which is greater: 0 or k?
0
Let o = -13 - -15. Suppose 0 = 2*x - 3*s - 25, -o*x - x = s - 54. Which is bigger: x or 18?
18
Let y = -2 - -1. Let b = -0.11 + 0.1. Let x = b - -1.01. Which is greater: x or y?
x
Let x(w) = w - 2*w**2 - 3 + 4 - w**3 + 4*w**2. Let s be x(2). Is 3 at most as big as s?
True
Let h = -3 + -1. Let w be (h/(-10))/((-3)/15). Is w not equal to -2?
False
Let v be (3/(-2))/((-6)/32). Suppose -4*m - v = -0. Which is smaller: -1/2 or m?
m
Let c be (-1)/4 - (-17)/4. Let w be c/3*6/4. Suppose 0 = -0*n + w*n + 16. Are n and -8 non-equal?
False
Suppose -2*j = -0*j. Is 2/67 at least as big as j?
True
Suppose 2*j + 0*i = 5*i - 3, i - 49 = -4*j. Is 2 < j?
True
Let g(u) = -u**2 - 6*u - 4. Suppose 9 = -3*d, 0*i - d + 7 = -2*i. Let r be g(i). Let z be ((-4)/((-12)/(-3)))/(-3). Are z and r equal?
False
Let z(m) = -m**2 + 19*m + 9. Let b be z(18). Which is greater: b or 1?
b
Suppose 4*r = 31 - 3. Let d be (-2)/r + (-8)/(-28). Let q = d - 2. Is -1 <= q?
False
Let c(a) = a**3 + 8*a**2 + 3*a + 9. Let d be c(-8). Is -16 <= d?
True
Let x = 0.5 - -0.5. Let l = -1 + 1.02. Let h = l + 1.98. Are x and h non-equal?
True
Let q = 3 + -3. Which is bigger: q or 0.09?
0.09
Suppose 3*z + 1 = -11. Let x be (0 + -3)/((-3)/z). Is -2 <= x?
False
Let d = 1.98 - 0.08. Let g = d - 12.9. Which is smaller: g or -1/4?
g
Suppose 3*x - 5*x + 8 = 0. Suppose -3*y - 2 = x*v + 9, 2*v = 4*y + 22. Let a be (v/8)/(3/(-18)). Is a < 0?
True
Let u = -0.169 - 0.031. Is -0.08 > u?
True
Suppose -5*s - 2*k - 200 = 0, 0*s + s = -5*k - 63. Which is smaller: -40 or s?
-40
Suppose -3*i + 10 = 2*i + 5*a, -3*i = 2*a - 3. Let l = 420 - 1280/3. Let g = l + 13/2. Which is smaller: i or g?
i
Let j be 3/(-2) + 2/(-4). Let f(g) = -g**2 + 4*g - 4. Let k be f(4). Let c be ((-1)/k)/(1/(-2)). Which is smaller: c or j?
j
Suppose -24 = -2*g + g. Let i be g/(-15)*5/(-2). Which is smaller: -1 or i?
-1
Let x be (-4)/(-18) - 29/9. Let k(h) = -h - 1. Let i be k(0). Which is smaller: x or i?
x
Suppose -7*l + 238 = -147. Which is smaller: 54 or l?
54
Let q be 2/(-6) - (-84)/36. Let p(y) = 28*y - 2. Let u be p(-4). Let k be u/(-240) - 6/10. Which is greater: k or q?
q
Let d = 6/197 - -1104/2561. Is d > -1?
True
Let u be -3 - (-1)/(1/4). Which is smaller: u or 2/91?
2/91
Suppose -2*h + 5*r + 21 = 0, h + 4*h + 2*r = -20. Is -8/13 greater than h?
True
Let n(q) = -q**2 - 7*q + 2. Let i be n(-7). Suppose 6 = i*s - 8*s. Which is smaller: 0 or s?
s
Let c = 74 - 52. Which is smaller: c or 23?
c
Let q = 5.9 + -5.7. Let i = 1 - 1. Which is greater: q or i?
q
Let r = 47 + -29. Let f = -37/2 + r. Is f bigger than -2?
True
Let y = 0 + 4. Let r(a) = -a**2 + 3*a + 1. Let x be r(y). Let g = x - -4. Is g greater than 0?
True
Let f = -8/95 - -393/5795. Which is smaller: 1 or f?
f
Let k = -2.79 - -16.69. Let w = -14 + k. Which is smaller: -1/6 or w?
-1/6
Let c = 14 + -13.8. Let j = 0.1 - 0. Which is bigger: j or c?
c
Suppose 2*n + 0*n = -5*q + 37, 43 = 3*n + 5*q. Let o(c) = -c**2 + 6*c. Let v be o(5). Which is smaller: v or n?
v
Let u = 81 - 144. Does -63 = u?
True
Suppose 2*r + 0*r - 5*n + 142 = 0, r - 2*n = -71. Is r smaller than -71?
False
Let u = 1010 + -16151/16. Which is smaller: 2 or u?
u
Suppose -5*s + 6 = -4. Suppose -s*r - 4*x - 20 = -6, -4*r = -3*x - 16. Let w be 0/((-1)/(r/(-1))). Is 1 less than w?
False
Let c be (-4)/(3 + -11)*12. Which is bigger: 5 or c?
c
Let c(m) = 2*m - 12. Let v(x) = -3*x + 13. Let z(r) = 4*c(r) + 3*v(r). Suppose -4*n + 5 - 41 = 0. Let s be z(n). Which is smaller: 1/15 or s?
s
Let d = 85 + -69. Are d and 14 unequal?
True
Suppose 0 = 3*t - o - 7, 3*o + 5 - 24 = -t. Suppose a + 4*p + 11 = 6*p, 0 = -5*a - t*p + 15. Let r = -70 - -772/11. Is a at least as big as r?
False
Let f = -4 + 3. Let t(n) = n**3 - 6*n**2 - 8*n + 10. Let j be t(7). Let u be (2/j)/(3/9). Is u > f?
True
Let q = -47 - -187/4. Is q greater than -0.2?
False
Let t be (-1)/7 + 2588/(-14). Let c = t - -3143/17. Which is smaller: c or 1?
c
Let z = 1/164 - -1133/2460. Is 0 smaller than z?
True
Let d(j) = -j + 6. Let u be d(3). Suppose -s + u*y = -13 + 3, -3*s + 25 = -4*y. Is 7 >= s?
True
Suppose 21 = 3*k - 2*k. Let n = 18 - k. Which is smaller: 0 or n?
n
Let r = 143 + -125. Which is greater: 17 or r?
r
Suppose -h + 2 = -2. Suppose h*k = 7 - 3. Let v be (-1)/2*4/6. Which is greater: v or k?
k
Suppose -2*k = -4, -3*k = 4*b - 2 + 4. Let h be (1/(-2))/((-1)/(-2)). Is b greater than h?
False
Let j(l) = 5*l**3 - 3. Let u be (1 + 8)*6/(-18). Let k be j(u). Let h = 1240/9 + k. Is h at most as big as -1?
False
Let a = 12 + -14. Let t = -8 - a. Which is greater: t or -1/4?
-1/4
Suppose -2*o + 4*n = 6 - 2, 0 = 5*o + 5*n + 40. Let q be o/(-27) - 60/27. Suppose -j = -0*j + 3. Which is smaller: q or j?
j
Suppose 25*d - 24*d + 3 = 0. Which is smaller: -28/11 or d?
d
Let w = -22.8 + 24.8. Let s = -6 - -2. Which is smaller: w or s?
s
Let w be 15/2 - (-2)/(-4). Let f = -18 - -46. Let s be 2/f*(-3 + w). Does 1 = s?
False
Let l = -1924 + 1932.03. Let u = l + -0.03. Let a = u - 8.3. Is a greater than -0.1?
False
Suppose -4*a + 7 = -13. Suppose 0 = 5*z + 4*t + t, -a*t = z - 4. Let p = 36 + -215/6. Is p greater than z?
True
Let t = -28 - -39. Is 11 greater than t?
False
Let m = -75 + 61. Which is greater: m or -4?
-4
Suppose 3*k - m = 4*m + 727, -941 = -4*k + m. Let q = -10996/47 + k. Is 1 at least as big as q?
True
Suppose 0 = 4*o, 0 = -2*f + 3*f + 5*o - 5. S