 Let z(i) = i**3 - 2*i**2 - 2*i - 1. Let w be z(3). Which is greater: w or t?
w
Let b(n) = -4*n**3 - 2*n**2 + n - 1. Let k be b(2). Let u be 6/k + 108/195. Which is smaller: u or 3?
u
Let s be (-96)/675 - (-2)/9. Which is greater: -1 or s?
s
Let v be (10 + -10)/(-2 - -3). Let h(z) = z**2 + 4*z - 1. Let r be h(-5). Let k be (-2)/r*2 + 1. Do k and v have the same value?
True
Suppose 2*g = -g. Suppose -s + 2 - 8 = g. Let x be 2/(-7) - s/21. Which is bigger: x or 4/7?
4/7
Let w = -42 - -303/7. Are w and 2 equal?
False
Let b = 5 + -14. Let n = -0.3 - -7.3. Let p = n + b. Which is bigger: 0 or p?
0
Suppose 0 = 3*h - 2*a + 19, 9 = -2*h + h - 2*a. Which is greater: -6 or h?
-6
Let c = -6 + 5. Let u = 0 - c. Let p be u + (15/(-18) - 1). Which is smaller: p or -2?
-2
Let b(o) = -o**3 - 12*o**2 + 13*o + 3. Let v be b(-13). Which is smaller: -0.1 or v?
-0.1
Let g(x) = -x + 6. Let k be g(3). Is k bigger than 5?
False
Suppose 4*x + 2*u = 6, 0*u - 2*u - 3 = x. Let h be x/2 - (-9)/6. Is 2 < h?
True
Suppose -4*u = -3*q - 14, 3*q + u + 10 = 3*u. Which is smaller: -1 or q?
q
Suppose 3*i + 15 + 12 = 0. Let f = i + 13. Suppose u - 7 = f*p, 4*p = 4*u - 7*u - 11. Which is smaller: u or 0.1?
u
Let s be ((5 - 2)/3)/1. Let t = -1 + 0.3. Let n = t - -0.8. Which is bigger: s or n?
s
Let i = -0.2 + 0.4. Let r = -3 - -23. Suppose -4*k - 12 = -2*a + 6, -5*a + 5*k = -r. Is i not equal to a?
True
Let l be (4 - 0)/4 + 0. Let n(x) = -54*x. Let g be n(-1). Let w = g + -215/4. Is l < w?
False
Let w(l) = -l**2 + 10*l + 7. Let t be w(9). Suppose -8 = c - 2*c + 2*k, 4*k + t = 0. Suppose -4*a - 3*s - 4 = -0*a, 5*a + 2 = -3*s. Is c at most a?
True
Let a be 6/(-33) - 94/88. Is a smaller than -2?
False
Let z = 12 + -17. Which is smaller: 1/2 or z?
z
Suppose -3*k = -5*k. Suppose k*b = -b. Let o be 4/(-6) + 24/27. Are b and o equal?
False
Let g(q) = -q**3 - 6*q**2 - q - 6. Let k be g(-6). Is -7/10 less than k?
True
Let q = -4 + 7. Suppose -6 = -o - q. Is 2 >= o?
False
Suppose -4 = -3*h - 10. Which is bigger: h or -3?
h
Let t(i) = -5 + 2*i + 1 - 7. Let k be t(12). Are k and 13 non-equal?
False
Suppose 5*t - 13 = -3*w, -2*w + 6 = t + 2. Suppose 0*s + 4 = 2*s. Suppose 3*f + s*n + 2 = -w, -4*f = 4*n. Is f equal to -3?
True
Let w = 16 + -22. Let b = w - -6.04. Is 0.1 greater than or equal to b?
True
Let l = 24 - 16. Suppose 2*t = 11 + 3. Is t bigger than l?
False
Let h = 2 - -2. Suppose -2*l = -h*y, 0*y + y - l = 0. Which is bigger: -3/7 or y?
y
Let r = 4894/21 + -233. Which is smaller: 1 or r?
r
Let f = -18 + 109/4. Do 10 and f have the same value?
False
Suppose 6*q + 3 = 9*q. Are 4 and q non-equal?
True
Suppose -p + 8 = -2*o, 3*o = -2*p + 4*o + 7. Suppose 9*m - 5*g - 5 = 4*m, 2 = 2*m + p*g. Is 4/7 less than m?
True
Suppose 2*w - 3*n = -4*n + 41, 4*w = -5*n + 97. Are 18 and w equal?
True
Let h = 2.3 + -2. Let c = 0.1 - h. Let o = 0.1 + c. Which is bigger: o or 1?
1
Suppose 14 = -2*f - 0*f. Suppose 1 = -0*i - 2*i - 3*m, 0 = -5*i - 3*m - 25. Which is bigger: f or i?
f
Let u = 9 + -7. Suppose 2*d + b = u*b - 2, 3*d + 10 = 5*b. Is -1 > d?
False
Let p be (-26)/5 - (1 - 24/20). Suppose 5*n + 23 = -2. Is p >= n?
True
Let y = 0.4 - -6.6. Is -1 at least y?
False
Let h = -0.1 + 0. Let m be (-5)/(50/(-4)) - (-135)/(-25). Which is smaller: h or m?
m
Let y(w) = 2*w**2 + 4*w - 1. Let p be y(-3). Suppose -p*r - 3*a + 6*a + 9 = 0, -4*r = -4*a - 4. Which is greater: r or 4?
4
Let x = 15.7 + -6.6. Let p = x - 9. Which is smaller: p or -1/6?
-1/6
Let s(u) = u**3 - 8*u**2 - 10*u + 13. Let n be s(9). Suppose -5*h = -3*r - 2*r - 15, 5*h = n*r + 15. Is h < 4?
True
Let m(u) = -u**2 + 7*u + 9. Let b be m(8). Which is smaller: b or -1?
-1
Suppose 91 = 2*n + 1. Let p be (-12)/n*-9 - 2. Is 5/2 at least p?
True
Let l = -0.1 - 0.07. Let i = l - -0.67. Is i at most 2?
True
Let w = -1 - -2. Suppose -5*z = -4 - w. Let l = -432/7 + 62. Are z and l equal?
False
Let j = 6 - 4. Let z be (1 - -1)/(6 - 4). Suppose v - z = j*v. Is v != -1?
False
Let b be -2 - 6 - (-2 - 2). Are b and -4 non-equal?
False
Let v(o) = o + 1. Let y be v(3). Let c = y - 3. Let q be (-3 + 1)/(2/c). Is q less than -3/5?
True
Suppose -5*w + 14 = -3*h, -2*h - w + 4*w = 11. Which is greater: h or -2?
-2
Suppose -5*n + 0*w = -4*w + 23, -5*n - w = 13. Suppose -24 = -0*m + 4*m - 2*y, 3*y = -3*m - 9. Let h = m - n. Is -3/4 >= h?
True
Let z be (2/(-39))/((-44)/(-3522)). Let i = z + 51/13. Let x(m) = -2*m**2 + 6*m - 3. Let y be x(2). Which is smaller: y or i?
i
Suppose 0 = -2*h - h - 5*w - 10, -3*h - w - 2 = 0. Let q = -86141 + 23430299/272. Let f = q + 5/16. Which is bigger: h or f?
f
Let v be -3 + 20/4 + 4. Which is bigger: v or 2?
v
Suppose -r = 3 + 2, 2*r + 31 = -3*w. Let j = 4 + -11. Is w greater than or equal to j?
True
Let y be 1/(-4) - 230/(-280). Let r = -9 + 9. Which is greater: r or y?
y
Let x = -16/95 + -14/95. Is x at least as big as 1?
False
Let g(m) = m**3 + 2*m**2 - 4*m - 4. Let i be g(-3). Let a be (1 + -2)/((-1)/2). Let x be (-2)/a + (-21)/(-15). Is i smaller than x?
True
Let y = 0.14 + -0.21. Which is bigger: -3 or y?
y
Let w = 4.31 - 2.3. Let h = 2 - w. Is h less than or equal to 1/3?
True
Let i = 2 + -3. Let s(o) = o**3 + o**2 - o + 3. Let g be s(0). Let j(f) = -f**3 + 3*f**2 + f - 4. Let c be j(g). Do i and c have the same value?
True
Let h(c) = -c**2 + 8*c + 10. Let t be h(9). Let m = 0 + 0. Which is greater: m or t?
t
Suppose -5*n = -3*n - 70. Suppose -3*r - 2*r = n. Which is smaller: r or -0.1?
r
Suppose 19*k = 5 + 14. Let y = -13/9 + 170/99. Is y at least k?
False
Let c = -2 + 2. Let n = c + -2. Let r(u) = u**2 + 4*u + 3. Let q be r(-2). Which is greater: n or q?
q
Suppose -4 = -4*g, 2*y - 3*y - 2*g - 16 = 0. Does -18 = y?
True
Suppose -4*k - 541 = -137. Let z = -709/7 - k. Let v = 4 - 2. Which is smaller: z or v?
z
Let i = 8 + -3. Suppose 0 = i*v - 10*v - 5. Let c be 4*(2/20)/v. Which is smaller: -0.3 or c?
c
Let t be (0 + -9)/(-2 + 4). Let g = -539/6 - -254/3. Let q = g - t. Is q >= 0?
False
Let w = 1 + -1. Are 10/13 and w nonequal?
True
Let j be 2 + (-4)/(-6)*3. Let h = 8 - j. Let q = -4 + h. Is q > 0.1?
False
Let a = -316 - -7897/25. Let g = a + 34/75. Suppose 4*x = -0*x. Which is smaller: g or x?
x
Let r be (3/3)/(18/(-24)). Which is smaller: r or 0?
r
Let p = 4 - 2. Is p at least 5/6?
True
Let c(l) = -l**2 - 5*l + 3. Let k be c(-6). Let f be (-4)/(k/3) + -3. Suppose p = -0*p. Which is smaller: f or p?
p
Let p = -1.04 + 0.04. Let j be (-1)/(-2)*(-5 - -11). Which is smaller: p or j?
p
Let a = -313/6 + 52. Suppose -3*p = -8 + 2. Let j be (-4)/(-10)*5 - p. Is a >= j?
False
Suppose -5*g - 4*z + 19 = 0, 4*g - 5*z - 1 = 2*g. Suppose 2*l + 3*l - 2*m = 17, -g*l + 5*m + 14 = 0. Let w be 0 + (-4)/l + 1. Is w at least as big as 0?
False
Let n be (-1)/4 + (-130)/(-72). Let j = 8/9 - n. Let q be (6/(-9))/(2/6). Do j and q have different values?
True
Let h be ((-49)/(-6))/(2/(-6)). Let a = 53 - 29. Let y = h + a. Do 1/6 and y have the same value?
False
Let f = -0.26 - 11.74. Let i = f + 8. Is 0.2 less than i?
False
Let x(b) = -b**3 + 7*b**2 - b + 8. Let o be x(7). Let a = 2 + 1. Suppose 2*t = 2*f - 2 - 0, 5*t = 4*f - a. Is f equal to o?
False
Let h be 0/(6/4*14/21). Which is smaller: 1/88 or h?
h
Suppose -16 = -2*w - 10. Is 20/11 != w?
True
Let d = -8 - -12. Let t be (-12)/(-5)*10/d. Is t greater than or equal to 4?
True
Let g = 5.5 - 5.42. Which is smaller: 0.3 or g?
g
Let j be 6/(-14)*5*(-7)/(-105). Let h(k) = -k**3 + 3*k**2 + 3*k + 4. Let z be h(4). Which is greater: z or j?
z
Let s = 3.1 - 3. Let o = s + 0. Let v = o + -0.1. Is 0 at least as big as v?
True
Let j(o) = o**2 - 6*o + 2. Let r be j(5). Let u = 13 + -16. Does u = r?
True
Let i be (41 - (-2 + 4))/2. Let r be -1*(0/1 - -19). Let c = r + i. Do c and 1 have the same value?
False
Let d be (-1063757)/(-39) + 2/(-3). Let b = d - 27140. Let v = b + -135. Is -2 smaller than v?
True
Let v = -3038/9 + 21335/63. Let f = 3/7 - v. Which is smaller: -1 or f?
-1
Suppose -18 - 12 = 5*l. Let h be 10/l*6/15. Is 2 != h?
True
Suppose -3*b + 12 = b. Suppose 4 = -2*f, 5*f = -y - y - 2. Which is greater: y or b?
y
Let i be 5/30 - (-146)/(-432). Let f = i - -8/27. Which is bigger: -1 or f?
f
Let b be 2/4*0 - -2. Let f = b + -5. Let l = 4 + f. Is l at most as big as 3/4?
False
Let r = -3.1 + 2.1. Which is