(h) = -h**3 + 10*h**2 - 26*h - 8. Let g be x(5). Are g and -44 unequal?
True
Let u = -486 + 946. Is 460 not equal to u?
False
Let u = -843 + 842. Which is bigger: u or -4/99?
-4/99
Let o = 273 - 468. Are -193 and o non-equal?
True
Suppose 8*m - 3*m - 10 = 0. Suppose 0 = 2*s - p - 4, -2 = -s + p - m*p. Which is smaller: 1 or s?
1
Suppose 3*d = 3*w - 0*d - 42, -5*d = -4*w + 58. Let n be (-39)/w + 3 + (-2)/(-8). Is 1/45 at least as big as n?
True
Suppose 0 = -4*f - 5*b + 16, 98*b = f + 102*b - 15. Let r = -64/7 - -178/21. Is f less than or equal to r?
True
Suppose -225 = 2*t - 47. Which is smaller: -90 or t?
-90
Suppose -2*r + 5*n = 2*r - 19, 0 = -r - 3*n - 8. Let g be ((-6)/(-16))/(r/(-4)). Let l = -4 - -9. Which is smaller: g or l?
g
Let c = -6 - -11. Let f be ((-1)/c)/(16/(-352)). Is f > 4?
True
Suppose -4*m - 10 = u, 2*u - m + 8 = -3*u. Let g be 5 - (-7 + (u - -6)). Which is smaller: 10 or g?
g
Let d = -1706 + 18778/11. Let i(b) = 4*b + 24. Let w be i(-6). Is w bigger than d?
False
Let v = -11 - -5. Let h = -1 - v. Suppose -5*x + 3*q = -x + 2, -h = x - 3*q. Is 4/15 != x?
True
Let y = 10 - 1. Let l = 0.02 - 0.12. Which is smaller: y or l?
l
Let q(y) = y**2 - 12*y + 6. Let k(g) = -g + 1. Let o(b) = 5*k(b) - q(b). Let h be o(4). Let c = h + -16. Which is bigger: -3 or c?
-3
Let w = -12.145 + -0.735. Let n = 13 + w. Let a = n + 0.18. Which is greater: -1 or a?
a
Let f(o) be the third derivative of o**4/12 - o**3/6 + 8*o**2. Let s be f(0). Is s bigger than -24/11?
True
Suppose -2*s + l = -6, 0*l - l + 2 = 2*s. Let w be s/(0 + 36/111). Let k = -6 + w. Which is bigger: -1 or k?
k
Suppose 0 = y + 3, -5*x + 0*y = 4*y - 98. Let c be 568/26 + x/143. Are c and 20 non-equal?
True
Let x(m) = -4*m**2 - 2*m + 0*m**2 + 2*m**2 + 1 + m - m**3. Let w be x(-2). Suppose -5*h + 2*h = 3*f + 12, -w*f - 4 = -5*h. Are h and -5/3 unequal?
True
Let s(m) = -m**3 + 9*m**2 + 23*m - 13. Let o be s(11). Let y be o + (-62)/(-4) + (-2)/4. Are y and 12 nonequal?
True
Let o = -0.02 - 0.04. Let i = 0.65 - 0.6. Let t = 0.95 + i. Which is bigger: o or t?
t
Let v(t) = -194*t**3 - t**2 + 2*t + 2. Let l be v(-2). Let r = -4576/3 + l. Is r equal to 22?
False
Let r(m) = m**2 + 9*m. Let c be r(-17). Let p = c + -135. Is 5/9 at least p?
False
Let d = -1803/10 - -180. Let g = d - 1/5. Suppose 2*c = -0*c - 2. Is g > c?
True
Let a(o) = o**2 - 4*o + 4. Let m(y) = y**2 + y - 1. Let z(j) = -a(j) - 3*m(j). Suppose 0 = -8*g + 3 - 11. Let t be z(g). Which is greater: t or -7?
t
Let g(x) = -2*x + 6. Let b be g(3). Suppose 12*l - 16*l = b. Which is bigger: -1/60 or l?
l
Suppose r + 33 = -2*r. Let n be -3 + 3 - 3 - (-20 - -25). Which is greater: n or r?
n
Let a = 1.298 + -1.098. Which is smaller: a or 0.198?
0.198
Let v(t) = t**2 - 4*t - 5. Let y(s) = -s**2 + 5*s + 1. Let c be y(4). Let k be v(c). Let r = 808 - 807. Are r and k equal?
False
Let y = -13.15 - -6.15. Is y > 30/17?
False
Let f be (-1)/(-2) + 725/(-1440). Is 1 greater than or equal to f?
True
Let z(g) = 2*g**3 + 6*g**2 + g + 3. Let q be 126/(-35) + 4/(-10). Let o be z(q). Let h be 1/(-3) - o/45. Is h greater than or equal to 11?
False
Suppose 4*w + 4*b + 57 + 31 = 0, 2*b + 98 = -4*w. Which is smaller: w or -53?
-53
Let w(c) = c + 4. Let f(y) = -y**2 - y - 2. Let o be (4/(-3))/((-2)/(-3)). Let t be f(o). Let d be w(t). Does d = 0?
True
Let i = -243 - -229. Which is smaller: -2/15 or i?
i
Suppose 422 = -5*b - 78. Are b and 2 equal?
False
Let x = 19243/6 + -3180. Is x at most 27?
False
Suppose -68 = 92*d - 58*d. Which is bigger: d or -17/10?
-17/10
Let f = 12 - 8. Let y be f + ((-80)/12)/2. Is 2 at most as big as y?
False
Let g = -0.0546 + -13.9454. Which is greater: -3 or g?
-3
Let f(t) = -t**2 + 6*t - 6. Let b = -6 + 10. Suppose -5*l - b*a = -38, -14 - 14 = -5*l + a. Let h be f(l). Is h > -4?
False
Let s = 50.61 + -49. Which is greater: 2 or s?
2
Let p = 56275762/173715 + 8728/1565. Let i = 989/3 - p. Is i at most as big as 0?
False
Let k = -289 + 288.473. Let z = k + -0.073. Which is greater: 6 or z?
6
Let o = -3 - -4. Let m = -85799/15 - -5721. Which is smaller: o or m?
o
Suppose -3*l - 25 + 7 = 0. Let i(y) be the third derivative of -y**5/60 - 7*y**4/24 - 2*y**3/3 - 97*y**2. Let d be i(l). Is 1 >= d?
False
Let k = 3768 + -629258/167. Is k != 0?
True
Let q be 6/4*(-3)/(-18). Suppose 2 = 2*r - 4. Suppose r = -6*p + 9*p. Is p at most q?
False
Let y = 1.72 - 1.74. Let r = -17/3 + 6. Is y greater than or equal to r?
False
Let y = 123 + -49. Let n = 224/3 - y. Let k be 5*((-28)/10 + 3). Which is bigger: n or k?
k
Let w = 890 + -889. Which is bigger: 2/235 or w?
w
Let o = 11 + 0. Suppose f - 4*f + o = 4*g, -3*g + 10 = 4*f. Suppose -w - 10 = -6*w. Is g smaller than w?
False
Let c = -32/15 + 9/5. Let h be (-2)/12*(-693)/418. Let o = 1/38 - h. Is o greater than c?
True
Suppose -12 = -4*a + 2*q, -a - 11 = 8*q - 5*q. Which is smaller: 10/37 or a?
10/37
Suppose -3*d - 4*x = -27, 0*x - 4*x + 12 = 0. Suppose -h + 4 = -d*h. Is -2/9 at least as big as h?
True
Let p = -27.4 + -86.6. Let b = p + 114.02. Is 0 less than b?
True
Let x = -3 + 2. Suppose 0 = -6*k + 10 + 20. Let o be ((-4)/27)/((15/9)/k). Which is bigger: o or x?
o
Let h be ((70/4)/(-5))/((-5)/160). Which is bigger: h or -3?
h
Let u be 2/(-11) - 976/440. Let a = -5491/1940 + 35/194. Let s = a - u. Which is greater: s or 1?
1
Let u be ((-55)/(-14) + 0)*8/(-34). Let y = u - -40/17. Is 2 greater than or equal to y?
True
Let t = 2.86 + -0.36. Let m = 1.5 - t. Let o = 0.3 + -0.2. Which is smaller: o or m?
m
Let o = 41 + -28. Suppose -93 + o = 5*t. Let y(z) = -18*z**2 - 3*z. Let b be y(-1). Is t at least b?
False
Let h = -15.67 + 16.16. Which is greater: h or 2?
2
Let j = -38.1 + -5.9. Let f = -42 - j. Is f at most as big as 1.2?
False
Let r = -347 - -337. Which is smaller: 2/37 or r?
r
Let u = 2767819/1181235 - -190/7159. Let c = 41/15 - u. Is -1 less than c?
True
Let g = 5831 + -5833.523. Let w = g - -0.023. Which is smaller: w or 1/3?
w
Suppose 4*u + 2*r - 3*r = 901, -3*r - 1135 = -5*u. Let y be (u/(-12))/(6/(-45)). Let s = -1258/9 + y. Which is bigger: 0 or s?
s
Suppose -4*n = -252 - 80. Which is smaller: 82 or n?
82
Suppose 2*s + 2 - 6 = -3*p, 0 = 5*s + p - 10. Let o(j) = j**3 - 7*j**2 + 6*j + 8. Let b be o(5). Is b > s?
False
Let s = 12 + -7. Let n be (2 - (-27)/(-12)) + 91/252. Is n greater than s?
False
Let p(h) = h**3 + 55*h**2 - h - 55. Let l be p(-55). Which is smaller: l or 9/119?
l
Let p = -1832 + 1133. Which is greater: -701 or p?
p
Suppose -2*h = -3*p + 5*p + 2, 5*p - 7 = h. Suppose 2*u = 5 + 1. Suppose u*b - p = 2*b. Is b less than -1/13?
False
Let o = -133 - -132. Suppose 0 = 4*w - 3*u + 9, 0 = -3*w - 5*u - 0 - 14. Which is greater: o or w?
o
Let f be (1 + 2/(-1))*31. Let q = 25 + f. Is -3 >= q?
True
Let o = 95 + -89. Is 3 != o?
True
Let h = -242 + 241. Which is smaller: 3/106 or h?
h
Let s(i) = -i**2 + 14*i + 9. Let y be s(15). Let n = 2 + y. Let x be 2/(-5) + (-44)/15. Which is smaller: n or x?
n
Let t be 120/(-40) + 6*1 - 3. Let g(h) = h**3 + 4*h**2 - 3*h - 3. Let m be g(-4). Is t != m?
True
Let z = -0.223 - -0.003. Let s = z - 0.78. Which is bigger: -1/91 or s?
-1/91
Let j be (-2)/(-4)*-2 + 4. Suppose m - j*g - 4 = 0, 5*m - 6*m - g = -24. Suppose 39 = 2*l + d + 2*d, d = 2*l - m. Which is smaller: l or 13?
l
Let w = -0.0847 + 0.1847. Is 1703 smaller than w?
False
Let q = 160 - 961/6. Which is smaller: q or -10?
-10
Suppose -u - 3 = 2*s, 14*u = 3*s + 16*u + 6. Is s at most as big as -5/41?
False
Let f(o) = o**3 + 3*o**2 - 3*o - 15. Let h be f(-5). Is h at least as big as -50?
True
Suppose -5*u + 2*u + 9 = 0. Let x be ((-48)/40)/(2/10). Let d be ((-4)/18)/(4/x). Are d and u equal?
False
Let p = -17431.83 + 17529. Let m = -97 + p. Is 3/8 at most m?
False
Suppose -1 + 5 = -2*d. Let r be d/12 - 307/(-546). Let t = r - -3/91. Which is greater: t or 1?
1
Let a be -29 - -29 - 2*10. Let y be -2 + 87/27 + a/90. Which is greater: y or -0.044?
y
Let t = -66 - -65. Let m be (2/2)/(t + 32/34). Which is smaller: m or -50/3?
m
Let n = 16 - 14. Suppose n*r + 2 = 0, -3*m + 7 = 2*m - 2*r. Suppose -z - m = -9. Is z smaller than 2?
False
Let p(v) be the second derivative of -v**4/12 - v**3 + 9*v**2/2 - v. Let r be p(-7). Suppose -4 - r = -3*o. Is 4 less than o?
False
Let t(u) = u**3 + u - 2. Let b