*a**3 - a**2 - 2*a + 1. Let d be m(0). Are 2/23 and d unequal?
True
Let t be (((-24)/(-3))/(5 + -3))/6. Is -3/2 less than or equal to t?
True
Suppose g = -0*g + 9. Let c be g/(-12) + 2 - 1. Which is greater: c or -1?
c
Let x = -0.11 - -0.05. Is x smaller than 1/4?
True
Let m(d) = 3*d - 7. Let y be m(2). Is y smaller than 1/5?
True
Let k(p) = -p - 2. Let v(c) = -c + 1. Let n be v(5). Let y be k(n). Suppose y*s - 3*s = 1. Which is smaller: s or -3?
-3
Let v be (-2)/4*2 + 2. Suppose 4 + 4 = 5*u - f, 4*u = -f + 10. Let b be u/5 + 2/(-5). Is v equal to b?
False
Let q = -203/844 + -2/211. Let k = 3 - 3.2. Let f = 0.2 + k. Which is smaller: q or f?
q
Let a = -350548/63 + 5564. Let g = a - -2/63. Is g < 0.2?
True
Let d(z) = z**2 - 4*z - 8. Suppose 0*o = 4*o - 28. Let w be d(o). Is w at most as big as 13?
True
Let f = -50 + 49.9. Is 0.005 at most as big as f?
False
Let l = -0.05 - 2.95. Let c = l + 3. Is 2 bigger than c?
True
Let k = -0.19 + 0.15. Do -1 and k have the same value?
False
Suppose -d = -5*d. Which is smaller: d or -2/47?
-2/47
Let h = 1.7 + -1.8. Which is smaller: h or 5?
h
Let y(f) = f - 5. Let q be y(7). Let b be 1/(-3) + q + -3. Let n = 59/2 + -29. Which is smaller: b or n?
b
Let b = 7 - 0. Let m be (-6)/4*(-24)/9. Suppose 0*k - 28 = -m*r + 2*k, 2*k = -r + 12. Is r greater than or equal to b?
True
Let b be -14 + 10 - (-1 + 1). Which is smaller: b or -19/5?
b
Let r(y) = y + 2. Let g be r(7). Let t be g/3 - 2/(-1). Do 5 and t have the same value?
True
Let z be (-30)/(-8)*64/24. Which is smaller: 37/4 or z?
37/4
Let y = 83 - 132. Which is smaller: y or -95/2?
y
Suppose -1 = 5*z - 6*z. Which is greater: z or 1/15?
z
Let v = 98 - 96. Let m = -122858/420045 + -2/10245. Let b = 171/164 + m. Does b = v?
False
Let f(r) = r**2 - 3*r - 3. Let b be f(4). Is -1 bigger than b?
False
Let w = -0.3 + -0.7. Which is greater: 2 or w?
2
Let j = 69 - 69. Which is smaller: j or 0.26?
j
Let d = -2 - -2. Let a be (-10)/(-8) - 2/8. Let h be (5/(-20))/(a/(-3)). Which is smaller: d or h?
d
Let v(x) = 3*x - 3. Suppose 2*b = -b + 6. Let o be v(b). Suppose -p = 3*d - 0*d - 13, -25 = -4*p - o*d. Is 4 < p?
False
Let y be (-7)/(-9)*(-5)/(10/(-6)). Which is smaller: -1/3 or y?
-1/3
Let n(v) = 3*v**2 + 1. Let g be n(1). Suppose j = -g*y + 6, -2*y - y = j - 5. Let s = -5 - -7. Is j > s?
False
Let c = 45 + -34. Are 12 and c unequal?
True
Let p = -1.2 - -1. Let d = 14.91 + 0.09. Let a = 13 - d. Which is smaller: a or p?
a
Let f be (-10)/25 + ((-54)/15 - 0). Is -4 <= f?
True
Suppose -3*m - m = -16. Let o = m - 3. Which is bigger: o or 0?
o
Let q be 2/(-26)*3 - (7 + -7). Is q <= 0?
True
Let u = -8 - -6. Suppose 4*n + 3*l + 0 + 2 = 0, 2*n + 3*l = 2. Is u equal to n?
True
Let j = -40 - -239/6. Which is smaller: -0.5 or j?
-0.5
Let n(v) = -v**3 + 20*v**2 + 45*v + 29. Let i be n(22). Is i > 51?
False
Let a(g) = 6*g - 5. Let u be a(1). Which is smaller: -2/7 or u?
-2/7
Let m(f) = f + 1. Let o be m(1). Suppose -2*n + 5*w - 23 = -0*n, 0 = -o*n - 3*w + 17. Let i(k) = k**3 - 2*k**2 - 4*k + 3. Let c be i(3). Does n = c?
False
Let x be (30/(-9))/((-8)/12). Which is greater: 6 or x?
6
Let h = 3 + -2. Let z be 2/10*(80/(-6))/(-8). Which is greater: z or h?
h
Let h = 3 - 1. Let x = -1.97 - 0.03. Which is bigger: x or h?
h
Let p be ((-396)/154)/(2*(-1)/(-14)). Is -4 less than p?
False
Let l be -2*(1 + 2 + -5). Let u = -6 + l. Is -2 > u?
False
Let x = 87 - 2. Let t = -936/11 + x. Which is smaller: t or 0?
t
Let o be (2 + -2)/(5 + -3). Suppose -3*f + 2*l + 2 = -0, o = f - 4*l + 16. Do f and 4 have the same value?
True
Let y = 8 + -6. Let q(l) = 21*l**2 + 2*l - 2. Let k be q(y). Let w be -3*(k/(-30) - -3). Which is greater: w or 1?
1
Let l = -6 + -2. Let w = 9 + l. Which is bigger: w or -4?
w
Let t = -6.4 + -0.6. Do -0.1 and t have the same value?
False
Let f = -22 + 21. Is f smaller than -10/23?
True
Let u(z) = -z**2 - 18*z - 57. Let p be u(-13). Which is smaller: 3 or p?
3
Let p be (-1)/4*-1*-1. Let w be 4/(-36)*2*1. Is w at most as big as p?
False
Let z be 26/(-8)*-2*2. Suppose 4*y = 5*y + 3*a - 11, 0 = y + a - 13. Is z equal to y?
False
Let m = -27/7 + 30/7. Suppose 5*q + 18 = 5*g - 7, -2 = -2*q - g. Is q at most m?
True
Let o = -1.1 + 1.1. Which is smaller: 10 or o?
o
Let v = 5 - 5.12. Let h = 9.88 - v. Let g = h + -7. Is g > 0.1?
True
Suppose -k + 3*s - 2*s = -5, 0 = 4*s + 16. Let t = -251/11 - -23. Is k not equal to t?
True
Suppose 0 = -5*l - n + 24, -l + 5*n = 1 - 11. Let z(p) = -p**3 + 12*p**2 + p + 8. Let j be z(12). Suppose -5*d + d = -j. Is l < d?
False
Suppose -2*y = -2 - 6. Let w be (-114)/22 - y/(-22). Let k be 0*3/(-2 - w). Is k > 1?
False
Let q = -40631/43 + 945. Which is bigger: 0 or q?
q
Let f = 1445/9 + -161. Which is greater: 0.03 or f?
0.03
Suppose -3*b = -10 - 2. Let i be 4 + -6 + (-16)/(-2). Suppose i*u = 2*u + b. Which is smaller: 3/2 or u?
u
Suppose 4*t + 0*t + 32 = 0. Which is smaller: t or -7?
t
Let x = -176/255 + 2/85. Let j be 13/15 - 2/3. Which is bigger: x or j?
j
Let r = -17 - -62. Let d be (-34)/(-9) + 10/r. Is d smaller than 2?
False
Let y = 13.1 + -14. Let v = y + 1. Is v bigger than 2?
False
Let t = -0.8 + 3.8. Suppose 0 = 2*w - 4. Let y be (4/(-14))/(-1 + w). Which is smaller: y or t?
y
Let r(l) be the third derivative of l**5/12 + l**3/6 + 2*l**2. Let k be r(-1). Suppose 1 = 5*i + k. Are 0.01 and i equal?
False
Let r be 7/(133/(-36)) - -2. Let o = -23/38 + r. Let b = 29/84 + -2/21. Is o at least b?
False
Suppose -2 + 8 = 3*r. Let p be (5/2 - 2)/r. Which is greater: -3 or p?
p
Let s be 556/234 - (-6)/156*-4. Which is greater: s or 2?
s
Let v(q) be the third derivative of -q**6/120 - q**5/12 + 2*q**3/3 - q**2. Let w be v(-5). Let b be 4/(-20) + w/(-5). Which is smaller: -1/3 or b?
b
Let z be ((-1)/(-2))/((-1)/(-2)). Which is smaller: 1/16 or z?
1/16
Let y be 0 - 0 - (-38)/416. Let n be 1 + -1 - 10/(-160). Let i = n + y. Which is greater: -1 or i?
i
Let k = -0.54 - -0.58. Let p = -14 - -13.76. Let u = k + p. Which is greater: 1 or u?
1
Let m = -3 - -2. Let o = 11 - 8. Let v = o + -2. Which is smaller: v or m?
m
Let d(n) = 2 + 6*n**2 - 7*n + 0 + 2 + 3*n. Let k be d(3). Suppose -5*y + 2*q = 38, -2*q = 5*y - 6*q + k. Is y greater than or equal to -5?
False
Let u = -52 + 53.2. Which is smaller: u or -1?
-1
Let h = 2 + -1.7. Which is smaller: 2 or h?
h
Let c = -4/15 + -1/15. Let f = -73/115 + 10/23. Which is greater: f or c?
f
Let k(v) = v**2 - 14*v - 3. Let x be k(15). Which is greater: 13 or x?
13
Let j(c) = -c + 4. Let h be j(2). Suppose -o + h*o = 3. Let f be o/((-15)/13) + 2. Do -2 and f have different values?
True
Let p = 29 - 29. Which is smaller: -4/15 or p?
-4/15
Let d = 0 + 8. Let m = -4 - -8. Let r = d - m. Is r bigger than 5?
False
Let h = -134 + 134.5. Is h greater than 2?
False
Suppose 12 - 2 = -5*h. Let q = -144 - -143.8. Is q > h?
True
Suppose 2*c = c + 2. Suppose y + 1 = c*y. Which is bigger: y or 0?
y
Suppose 1 = 2*u - 7. Suppose u*i = 12 + 8. Suppose -i*q - 5*b = -35, -q + b - 3 = -0*b. Is q bigger than 3?
False
Let v(s) = -s**3 + 4*s**2 - 3*s + 3. Let q be v(3). Let r(h) = h + 1. Let y(o) = -5*o - 9. Let w(x) = -6*r(x) - y(x). Let c be w(q). Which is smaller: c or -2?
-2
Let w = -64.3 - -64. Which is bigger: -2/51 or w?
-2/51
Suppose 2*b + 4*v - 26 = 34, -5*b + 192 = -4*v. Suppose 2*m - 1 = -q, m + b - 9 = 5*q. Let k be m/4*(0 - -2). Are k and 2 equal?
False
Let l be 105/170 + (-1)/2. Let a = -8 - -8. Which is bigger: l or a?
l
Let y(l) = -l**2 + l**2 - l**2 - 3*l. Let g be y(-3). Which is smaller: 1 or g?
g
Suppose 4 = 3*a + b - 1, 3*b + 3 = -3*a. Let j = 28 - 16. Let h be 2/24 + a/j. Which is smaller: 0 or h?
0
Let h be -9*4/6*5. Let g(x) = 5*x**2. Let d be g(1). Let t be (h/(-9))/d*3. Are t and 5 equal?
False
Let u = 4 + -3. Let y = -228 + 2512/11. Let g = y - -3/22. Which is smaller: u or g?
g
Suppose -3 = -y - 2. Which is greater: y or 5?
5
Let h = 1.054 + -0.054. Is -6 at most as big as h?
True
Suppose -3*f = -4*f + 4. Suppose 0 = f*c + 46 + 2. Let b be (21/c - -2)/1. Do -0.1 and b have the same value?
False
Let c(d) = -2*d + 12. Let q be c(6). Is q <= -5?
False
Let w = 486.91 - 499. Let g = 12 + w. Which is bigger: 1/4 or g?
1/4
Let u = -13 - -12. Let n be u*(0 + 0)/(-2). Does n = 1?
False
Let y(h) = h**2 - 8*h + 6. Let r be y(7). 