*3 + a**2 + a - 1. Let w be m(0). Suppose -2*i = 2*i. Let d = 0 + i. Which is greater: w or d?
d
Let g = 14 - 0. Suppose 3*q - 2*r = g, -6 = -4*q - 5*r + 5. Let m be -1 - -2 - 3/(-3). Is q > m?
True
Let l be (-6)/(-28)*(-4)/3. Which is smaller: -1 or l?
-1
Let w(f) = f - 7. Let h be w(7). Is h at least -2/9?
True
Let s(v) = -v**3 + 5*v**2 - 4*v + 1. Let b be s(4). Is b bigger than -2/59?
True
Let p be -1 - ((-171)/(-56)*-1 + 2). Which is bigger: 0 or p?
p
Let x be 0/(-2) + 2/1. Suppose 0*b = -x*b. Let u = 5 + b. Is 5 at most as big as u?
True
Let q = -3 + 3.4. Let d be (-199)/(-21)*(-2 + 4). Let u = -56/3 + d. Is u bigger than q?
False
Let q be (3/54)/((-1)/(-4)). Let w = -0.6 - -0.8. Let a = -0.8 - w. Are a and q equal?
False
Let l = 0.26 - -12.14. Let d = l + -12. Do d and 0 have the same value?
False
Let v = -0.54 - -0.94. Suppose -3*i + 3*d = 8*d + 10, -3*d - 6 = -2*i. Which is greater: i or v?
v
Let f = -28 - -37. Does 8 = f?
False
Let q = 688/9 - 76. Is 1 bigger than q?
True
Let i = 34.8 + -32. Let u = 3 - i. Let a = u + -0.1. Is -4 greater than a?
False
Let c(u) = u**2 + 13*u - 11. Let g be c(-14). Is 1 greater than g?
False
Suppose 6*i - 1 - 11 = 0. Which is bigger: i or -1?
i
Let t = 4 + 3. Is -1 >= t?
False
Let k = -31 + 32. Is k at least as big as 1?
True
Let a = -21 - -13. Which is greater: 0.2 or a?
0.2
Let k = 948/665 + -26/19. Let m = k - 43/140. Is -1/3 != m?
True
Let u = 0.1 + 0.9. Let k = 1.1 - u. Which is smaller: k or 0?
0
Suppose -x = -0*x - 1. Let y = 1 - x. Let j be (8 + -7)*2 - (-24)/(-14). Which is smaller: y or j?
y
Let y(a) = a**3 - 2*a**2 + 4*a - 2. Let s be y(2). Let m = -80 + 64. Let c be (m/(-12))/(28/s). Is c at most -1?
False
Let z = 0.3 + -0.5. Is z less than or equal to -3/5?
False
Let t = -28 + 18. Let w = 9.6 + t. Do w and -2 have different values?
True
Let m be (-3)/2*(-3 + 1). Suppose 0 = 9*l - 10*l + 1. Is l >= m?
False
Let f be (-1)/(-3)*-1*3. Let n = -1.19 + 0.09. Let x = n + -0.9. Are f and x non-equal?
True
Let l be ((-20)/14)/((-21)/441). Are l and 33 unequal?
True
Let r be 1/1 + 2 + -2. Let s be (r/3)/(2/(-18)). Is -3/2 less than or equal to s?
False
Let u be -1*15/(-3*1). Let v = u - 5. Is 1 greater than or equal to v?
True
Let y(c) = -c**3 + 2*c**2 - 3*c + 3. Let n be y(2). Do n and -22/9 have the same value?
False
Suppose j + 4 = -j. Is -7/3 greater than or equal to j?
False
Let i = 11 + -11.09. Let x = i - -0.29. Which is bigger: 3 or x?
3
Suppose -5*t + 2*t = 0. Suppose -5*g = 4*k + 19, -5*k - 2*g = -t*k + 11. Is -10/9 > k?
False
Let y = 18 + -11. Let o be (0 - -1)*y/(-21). Is -0.1 <= o?
False
Let s = 11/3 + -167/48. Suppose -5*a + b - 2 = 0, 11 - 1 = -2*a + 5*b. Which is smaller: s or a?
a
Let s(z) = -z**3 - 10*z**2 - 11*z. Let u be s(-9). Is u >= 52/3?
True
Let n be (-1)/(-2)*(-180)/(-99). Is n at most 2?
True
Let l = 17.07 - 17. Which is bigger: l or 3/4?
3/4
Let c = 1.5 + -0.8. Let p = -0.3 - c. Let q = 0 - p. Is q at most -3/4?
False
Suppose 2*x + 4 = 6. Which is bigger: x or -2?
x
Let n be (-5)/(-2)*3/(-30). Do n and -1/3 have the same value?
False
Let a = 5.93 - -0.07. Let l = -5 + a. Is l at most -1?
False
Let k be -1 - 2/(-4)*-2. Suppose -16 = -4*p + 2*x, x + 2 = 3*p - 8. Suppose -2*c = -p*b + 15 + 1, -5*c - 3*b = 0. Which is smaller: k or c?
c
Let q(s) = -s**2 + 4*s + 7. Let n be q(5). Is -2 greater than or equal to n?
False
Let c = -3 - 11. Which is greater: c or -1?
-1
Let c = -3/7 + 19/28. Is 5 <= c?
False
Let p be (-46)/3 - (8 - 5). Let r = -18 - p. Let t = 0.2 + 0.2. Is t < r?
False
Let m be (-144)/27*(-6)/4. Is m <= 10?
True
Let a = -145/3 - -48. Let x = -3 + 4. Let y be (4 - 4) + (x - 0). Which is bigger: y or a?
y
Let n be (-8)/20 - 264/15. Let x = n + 18. Is x not equal to 6?
True
Let y be 2/6 + 40/(-12). Let u be -2 + -1*y/2. Which is greater: -4 or u?
u
Let f = 0 - 0.5. Let w = f + 0.7. Which is smaller: w or 0.3?
w
Let f be ((-5)/(-60))/(3/(-6)). Which is greater: 2 or f?
2
Let v be (4/5)/2*15. Suppose 9*l = v*l. Which is greater: 2/7 or l?
2/7
Let o(v) = v**2 - 26*v + 69. Let c be o(23). Do c and -20 have the same value?
False
Let i = 90 + -265/3. Is -1 >= i?
False
Let s be 2 + 0 + 438/8. Let n = 57 - s. Let p be (0/(-2))/(5 - 3). Which is greater: p or n?
n
Let j = 30 + -21. Let i = -7/6 - -3/2. Which is greater: j or i?
j
Let c = -1 + 6. Suppose 2*p - 25 = -3*p. Is p at most as big as c?
True
Suppose 0 = 5*v - i - 35, i - 8 = -3*v - i. Let o be ((-3)/6)/((-3)/v). Let r be ((-2)/10)/(-3 + 2). Which is greater: o or r?
o
Let d = -0.4 + 0.3. Let w = -8 - -5.6. Let j = 0.6 - w. Is j greater than d?
True
Let c = -3 - -2. Let m = c - -0.9. Let d = m + 0.3. Which is smaller: -1/3 or d?
-1/3
Let g(d) = 7. Let u(m) = m + 20. Let l(t) = 11*g(t) - 4*u(t). Let o(n) = 15*n + 11. Let c(r) = 22*l(r) + 6*o(r). Let q be c(-1). Which is bigger: q or 0.2?
0.2
Let c = 10 + -31/3. Suppose -5*o - 3*s - 9 = 32, -4*o + 2*s - 24 = 0. Let r(m) = m**2 + 7*m. Let x be r(o). Is x > c?
True
Suppose 4*j = -4*x + 64, 0 = -4*x + 5*j - 3*j + 58. Which is smaller: x or 17?
x
Let d = 22 + -23. Is d < -2?
False
Let p = 5.89 + 0.11. Let o = p + -7. Let q = -1 + o. Which is bigger: 0.2 or q?
0.2
Let n be (1 - -2) + 0/(-2). Let v = -12 + 18. Let i(o) = -o**3 + 6*o**2 + o - 4. Let j be i(v). Which is bigger: n or j?
n
Let u = 0.3 + -0.2. Let c = -1 + 2. Are u and c unequal?
True
Let r be (-4)/10 + 3/(-15). Is r less than or equal to 0?
True
Suppose -27 = -5*g + 4*f, -5*g - 8*f + 3*f + 45 = 0. Let i be (-4)/(1 + (-18)/10). Which is bigger: i or g?
g
Let b = -0.02 - -0.03. Is b at most -1?
False
Let i = -0.7 - -1.7. Which is smaller: i or -1?
-1
Let j be 0*(5/(-2) + 3). Is j smaller than 2/7?
True
Let g(o) = -o**3 + 5*o**2 - 3*o + 2. Let w be g(3). Suppose -4*b - r + w = -15, 3*b = -3*r + 24. Let i = -5 + b. Does 1 = i?
True
Let v(z) = z**2 - 28*z + 47. Let m be v(25). Is -26 less than m?
False
Let w = 0.2 - 0.14. Let t = -3.94 - w. Which is bigger: 1 or t?
1
Let h be 16/12 + 2/(-6). Let w = -0.4 - -0.2. Let g = 0.3 + w. Which is smaller: g or h?
g
Let h(f) = 2 - 2 + 5 + f. Let x be h(-4). Let c = 375 - 7877/21. Which is greater: x or c?
x
Let v = 31 - 277/9. Suppose l + 2*k + 0*k + 1 = 0, 2*l + 2*k = -2. Is v not equal to l?
True
Let z = 446 + -436. Suppose 0 = -2*f - c + 6 + 16, 44 = 4*f + 3*c. Is f less than z?
False
Let b(p) = -p**2 - 8*p + 10. Let k be b(-9). Let x be (k/3)/(7/3). Which is smaller: x or 1?
x
Suppose -3*a = 5*h + 5, -a = 2*a - 4*h - 4. Suppose 4*q = 20 - 0. Suppose 0*o - q*o = a. Is 2 greater than o?
True
Let a(v) = -v**2 - 2*v + 4. Let o be a(-3). Suppose 4*t - z = -0*z + 12, z - 2 = -3*t. Suppose -k = -t*k - o. Is 0 at least k?
True
Let m be 2/(-2 - (-9)/6). Let q be m/(-8) + 1/(-6). Is 0 > q?
False
Let d be ((-9)/(-6))/(5/20). Let m = -14 - -22. Suppose 3*h = -a - d, -3*h + 18 = a - m*h. Which is smaller: 1 or a?
1
Suppose -5*h - 27 = 2*p, -4*p - h - 3*h = 24. Let d be (-1)/p + (-12)/6. Do -2 and d have the same value?
False
Let n be 21/(-1)*14/(-21). Let q = n + -16. Is q at least as big as 0?
False
Let u be (15/(-15))/(14/4). Is u >= 0?
False
Let o = 1.1 + -1.5. Let u = -0.46 - o. Which is smaller: u or 0.1?
u
Let j = 0.4 - 2.4. Let d be (0/1)/(2/(-2)). Which is greater: d or j?
d
Let c = -24 + 23. Which is greater: 3/34 or c?
3/34
Let j(w) = w**2 + 2*w - 9. Let q(b) = -b**2 - 2*b + 8. Let y(g) = 6*j(g) + 7*q(g). Let z be y(-3). Which is smaller: z or 3/7?
z
Suppose 0 = -a - 3*o + 11, -5*a + o = -a + 21. Let y = a + 2. Which is smaller: -1 or y?
y
Suppose 2 + 4 = 3*h. Let q(b) = -8*b - 4*b**2 + h*b**2 + 10 + b**2. Let w be q(-9). Is 1/8 greater than w?
False
Let q = 2.027 + -0.027. Is 2 bigger than q?
False
Suppose 3*o + 4 = 4*o. Is 10 at least o?
True
Let y(h) be the third derivative of -h**5/60 + h**4/24 + h**2. Let u be y(-1). Let f(l) = l + 2. Let i be f(-5). Is i greater than or equal to u?
False
Let d = -1 + 1. Suppose 0 = -5*l - d*l. Let s be 112/(-120) - ((-4)/(-6) - 1). Which is bigger: l or s?
l
Let x be (2 + -3)/(-2 - -1). Let m be x - 3*4/(-6). Let v = m + 0. Which is bigger: 4 or v?
4
Let l = -2/3 - -7/9. Let s = -1 + 0. Which is bigger: l or s?
l
Let p be 88/10 + (-1)/(-5). Let r = -8 + p. Which is bigger: -1 or r?
r
Let f be 74/26 - 2/(-13). Let j be (-2 + 1)*f*-1. 