= -50.1 - -109.1. Which is smaller: d or 1/7?
1/7
Let i(h) = 4*h**2 - 26*h + 10. Let l be i(7). Let b be 9/2*l/(-18). Is 0 < b?
False
Let d be ((4/(-5))/(-4))/(11/55). Is -4/221 at least d?
False
Let a(j) = 43*j + 193. Let v be a(-9). Are -196 and v nonequal?
True
Let t(v) = v**2 + 11*v + 2. Suppose -2*x - 3*p = 23, 3*x = x + 5*p - 15. Let a be t(x). Is a at least as big as -6?
False
Let m = -0.46 + -5.54. Let s = -3 + 0. Let w = s - -2. Is m < w?
True
Let b(y) = -y**3 - 13*y**2 - y - 13. Let k be b(-13). Suppose k*h - 2*h = 0. Is -4/7 not equal to h?
True
Let b = -3259/3 - -1086. Is 380 greater than or equal to b?
True
Let f = 258 - 248. Which is bigger: 14 or f?
14
Suppose 3*y - 676 + 232 = 0. Suppose -l - 95 = -3*q + 18, 2*l = 4*q - y. Which is bigger: 75/2 or q?
q
Let k = -142/13 - -400/39. Are -159 and k unequal?
True
Suppose 37*s - 38*s = -182. Let n = s - 1634/9. Is n < -1?
False
Let y = -2 + 3. Let n = 3 - y. Is -8 >= n?
False
Let u = -86 + 146. Let r = u - 59. Which is smaller: r or -2/45?
-2/45
Let f = -1.09 + -9.71. Let w = f - 1.2. Is 1/4 at most as big as w?
False
Let n be 14532/372 + (-8)/124. Is n equal to 41?
False
Let p(j) = j**2 - 7*j + 7. Let u be p(6). Let i = 6119/132 - 557/12. Is i at least u?
False
Suppose 2*t - 4*u = -3524, -3*u + 5286 = -3*t - 5*u. Let k = t - -251965/143. Which is greater: k or 0?
0
Let l be ((-8)/6270*-5)/((-2)/(-3)). Are l and 1/5 nonequal?
True
Let y = -4561/56 - 59/7. Suppose 17*f + 990 = 6*f. Let s = y - f. Is 0 != s?
True
Suppose 13 = -5*r - 2*u, 13 = -5*r + 3*u - 5. Let q(v) = 2*v**3 + 1. Let d be q(1). Suppose 0 = -s + d*n - 9, s - 2 = -3*n + 1. Is s >= r?
True
Let z be 2/(-10) - (-3 + 3). Let u = -3/5 - z. Let w(h) = h**3 - h**2 - 14*h + 9. Let t be w(4). Is u at least t?
False
Let b(k) = -k**2 + 6*k - 2. Let a be b(3). Suppose 3*f - a + 16 = 0. Is f at most as big as -15/4?
False
Let f(p) = -p - 2. Let k be f(2). Let o be (7/k)/7 - (-79)/(-4). Which is smaller: o or -19?
o
Suppose -4*z = -0*z - 4. Let j = 685/16 - 173/4. Is j at least as big as z?
False
Let v(c) be the first derivative of -5/3*c**3 + 1/4*c**4 + c + 5/2*c**2 - 7. Let x be v(4). Is x bigger than 2?
True
Let a(s) = -4*s**2 - 31*s + 6. Let m be a(-8). Let c be 2 + 1*(-15)/6. Does m = c?
False
Let t(a) = -4*a**3 + 4*a**2 - 2*a. Let d be t(2). Let l = 1164 + -1183. Is d < l?
True
Let n = 78.5 - 63.5. Which is bigger: n or -2/39?
n
Let m = 81 + -82.17. Let b = 0.9 + m. Let f = -0.37 - b. Is -2 greater than f?
False
Let j(a) = -a**2 + 2*a + 4. Let h be j(3). Suppose -2*i = -h - 1. Does i = -0.5?
False
Suppose -5*p - v - 259 = 0, p - 8*v + 31 = -3*v. Do p and -50 have the same value?
False
Suppose 4*a - 5*y + 170 = 0, 3*y = y - 4. Let j be (-518)/a - (-4)/(-10). Let n = j - 34/3. Which is greater: n or -2/5?
n
Suppose 477 + 579 = -8*l. Which is smaller: -134 or l?
-134
Let j = 3361 + -6721/2. Let c be ((-2)/28)/((-2)/12). Are c and j unequal?
True
Suppose -5*h + 47 = 2*a, -5*h = -7*h + 4*a + 38. Let g = -5 - -7. Let m = g + 9. Is h at least m?
True
Let c(s) = s**3 - 27*s**2 - 15. Let k be c(27). Let v = -16 - k. Are 7 and v non-equal?
True
Suppose -3*c + 0 + 6 = 0. Suppose 5*t + 3*m = -c*m + 25, 2*t + m - 6 = 0. Suppose -37*o + 8*o + 29 = 0. Is t not equal to o?
False
Suppose 2552 = a + 3*a. Let r be -8*8373/(-210)*(-2 - 0). Let y = a + r. Is y greater than or equal to 0?
True
Let g(z) = -7*z + 2. Let i(f) = f. Let y(c) = g(c) + 6*i(c). Let x(n) = -n**2 + 11*n + 16. Let t be x(12). Let w be y(t). Is w at least as big as -4?
True
Suppose 0 = 5*s - 5279 - 4021. Let h be ((-1)/3)/(-2*5/s). Are h and 62 unequal?
False
Suppose -i + 0 - 17 = -4*t, -4*i - 26 = 5*t. Suppose 2*r - u + 16 = 0, 2*u - 66 = 5*r + 6*u. Let f = i - r. Is 1 > f?
False
Let b = 16720/63 + -820/9. Let h = b + -174. Which is smaller: -1.6 or h?
-1.6
Let d be (-1)/(-20) + (-1)/4. Let m(p) = 3*p - 1. Let i be m(4). Let l = i + -10. Which is bigger: l or d?
l
Let z = -696125/149 - -4672. Are 1 and z equal?
False
Suppose 12*c - 136 = -124. Which is smaller: 6/277 or c?
6/277
Let j = -1972 + 2342. Is j greater than 3?
True
Let t(x) = 2*x**3 + 13*x**2 + 22*x + 20. Let u be t(-7). Do u and -1652/9 have the same value?
False
Suppose -165 = 481*q - 470*q. Does q = 1/13?
False
Suppose -c = -0*c. Suppose 0 = -3*q - 5*h, c = -3*q + q + h. Suppose -5*f + f + 4 = q. Is f != 1?
False
Let j = -51 - -47. Let n be j/(-3) - 136/30. Is n smaller than -4?
False
Suppose 0 = 57*h - 81*h. Is -4/435 bigger than h?
False
Suppose 6*x - 25 - 125 = 0. Let u be 0 - (5*-5 + 1). Let v = u - x. Are v and 11 nonequal?
True
Let v(m) = 5*m**3 - 3*m**2 + 3*m - 2. Let b be v(1). Is 26 >= b?
True
Suppose -5*y = -g + 2187, 2*y + 3*g + g = -888. Let c be (-4)/6*y/4. Suppose -13 = 5*f - c. Is 12 bigger than f?
False
Let c = -2 + -4. Let b = -5.7 - c. Let h = 55 - 58. Which is smaller: b or h?
h
Let x = -31/14 + 263/182. Is x smaller than -1?
False
Suppose 23 = 5*k - r, 3*r + 14 = 4*k - 0*r. Suppose -k*z = -z + 4. Which is greater: z or 1/49?
1/49
Let n = -0.6 - -0.9. Let m = 38.971 - 42.94. Let u = -0.031 + m. Are n and u unequal?
True
Let q(t) = -t**3 - 8 + 9 + 0*t**3 - t + t**2. Let g(b) = -4*b**3 - 2*b**2 - 2*b + 9. Let o(l) = -g(l) + 3*q(l). Let z be o(-5). Which is bigger: z or -1/10?
-1/10
Let x = 106 - 97. Suppose 2*c - 4*j = 28, -5*c + 0*j + 52 = -4*j. Which is smaller: x or c?
c
Let q = 45 - 103. Is q less than -58?
False
Let t(h) = 9*h + 31. Let d be t(-6). Let y be (0 + 2 - d)*1. Which is bigger: y or 24?
y
Let m = -1873/189 - -73/7. Suppose 2 = -3*s + 4*o, -3*s = -0*s - o - 4. Is m greater than or equal to s?
False
Let y = -13 + 12. Let t be 10/(-4)*-12*y. Let g be t/(-9)*2*3. Does g = 20?
True
Suppose 0 = -0*z - z + 50. Let c = z - 32. Is 18 <= c?
True
Let r = 14929 - 26737841/1791. Which is smaller: 1 or r?
r
Let x = -4063 - -4050. Let d = -0.01 - -0.21. Which is bigger: x or d?
d
Let f = -103 + 317. Is f greater than 213?
True
Suppose 0 = 3*k - 5*n + 5, -2*k + 3*n - 2 = -0. Suppose -k*l - 15 = -2*l. Suppose 0*h = h + 4. Are h and l non-equal?
True
Suppose 0 = -2*m + 5*d + 5, 3*m - d = -3*d - 2. Is m at least as big as -5/58?
True
Let m = 220/67 + -84901/25795. Which is smaller: -1 or m?
-1
Suppose 5*x - 4*b - 15 = b, 0 = -x + 3*b - 5. Let c = x - 15. Let k = 1694 + -1700. Which is smaller: k or c?
c
Let p(j) = -j**2 - 3*j + 4. Let h be p(-5). Let u(k) = k - 8. Let d be u(h). Let v be (-1)/2 + (-7)/d. Which is smaller: 2 or v?
v
Let t be 4388/(-24) + (-9 - -14). Do -177 and t have the same value?
False
Suppose -9*o + 6 = 15. Which is greater: -12 or o?
o
Let d(f) = 4*f**2 - 4*f**2 + 3 + 0*f**2 - 10*f + f**2. Let o be d(7). Is o >= -18?
True
Let u be 1*((-8)/((-16)/(-3)))/2. Does -1 = u?
False
Let u = -0.01 - 0.03. Let z = 0.04 + u. Suppose 0 = 5*k + 5*v + 18 + 2, 4 = -2*k - v. Is k >= z?
True
Let t(b) = -b**3 - b**2 + b - 1. Let k be t(1). Suppose 5*h = 4*f + 14 + 5, -3*f = 3. Let c be (-20 - -2)/3 + h. Which is smaller: k or c?
c
Let z = 705 - 652. Which is bigger: z or 107/2?
107/2
Let k = 8.2 + -8.3. Which is smaller: k or 2/7?
k
Let g be (14/(-28))/((-2)/(-4)). Let i(f) = f**3 - 5*f**2 - 6*f. Let r be i(6). Let q be -3 - r - (-15)/8. Which is smaller: q or g?
q
Let o = 3.4 - 0.4. Let j = -0.04 + 2.04. Let l = j - 2.2. Is l > o?
False
Suppose -6*g + 60 = -2*g. Suppose 0 = -41*y + 32*y - 52*y. Suppose g = -5*r - y. Which is greater: -1 or r?
-1
Let l(h) = -h**3 - 10*h**2 - 8*h + 12. Let n(p) = 1. Let o(j) = -l(j) + 2*n(j). Let m be o(-9). Which is bigger: 0 or m?
0
Let q be 342/230 - (-406)/(-290). Let b(h) = -h**3 - 3*h**2 + 3*h - 5. Let j be b(-4). Which is bigger: q or j?
q
Let i(k) = -7*k + 197. Let g be i(28). Which is smaller: g or 3/212?
3/212
Let f = 37 - 25. Let g = f + -6. Suppose c = -3*c - 5*r + 4, 0 = -r. Which is greater: c or g?
g
Let v = -52 - -51.9746. Let s = v + 20.3254. Let f = s - 20. Which is greater: f or 4?
4
Let u = 190 - 191. Is u != -1?
False
Let c be 23712/(-58805) + (-2)/(-5). Which is smaller: c or 0?
c
Let n(o) = 9*o - 2. Let m be ((-12)/10)/((-2)/5). Let s be n(m). Let q be (-12)/(-26) + (-294)/63*498/(-91). Which is bigger: q or s?
q
Let n = -3.1 + 3. Let w = -4731 + 52091/11. Let b = w + -233/44. Does n = b?
False
Let q = 42.8 - 43. Suppose 89 = 3*g + 23. L