**3 + 26*f**2 - f + 12. Let z be i(a). Which is smaller: -14/9 or z?
-14/9
Let t = -2 - -36. Let m = t - 32. Which is bigger: 4/7 or m?
m
Let m(h) = h**2 + 6*h - 44. Let t be m(-15). Let x = 92 - t. Are x and 31 non-equal?
True
Let m(o) = -o**3 + 2*o**2 - 2. Let n be m(-1). Suppose 0*f = -5*f - 15. Which is greater: n or f?
n
Suppose 0 = -a - 3*t, -3*t + 26 + 10 = 5*a. Let g be (-3)/36*24/a. Which is smaller: 1 or g?
g
Let q = -2710 - -2881. Does 164 = q?
False
Let x be 2/(-3) - (-4)/6. Let s = -70 + 58.5. Let k = -4.5 - s. Are x and k unequal?
True
Let a be 4/26 - (-21093)/(-1157). Which is greater: a or -17?
-17
Let m(h) be the first derivative of -h**3/3 + 9*h**2/2 + 11*h - 5. Let s be m(10). Suppose 4*f + 3*c + 2*c + 1 = 0, 3*f = -3*c. Is s < f?
False
Let u(s) = 2*s - 25. Let v be u(12). Which is smaller: v or -1/619?
v
Let b = 16 + -31/2. Let f = -13 + 22. Let t be (1 + 2)*f/81. Does t = b?
False
Let c be (-10)/(-2) - (-20 - -27). Let b be (-1)/9*c + (-40)/(-36). Is b equal to -1/3?
False
Let b = 1 + 0. Let j = b - -2. Let a be (-8)/(-24)*(7 - (-7 + 8)). Which is smaller: j or a?
a
Let h be (10/(-40))/(8/(-194)). Let s = h - 6. Which is smaller: 1 or s?
s
Let b = -1674/5 + 334. Which is smaller: b or 1/6?
b
Suppose 0 = -6*u + 259 + 1949. Let k be (u/(-895) - (-16)/40)*1. Which is smaller: k or 0?
k
Let o(p) = p + 15. Let y be o(-7). Suppose -10 = -3*w - z, 0 = -5*w + z + y - 2. Let h be (-1)/2*w + 1. Does h = -2?
False
Let n = 2.838 + -0.038. Let q = -2.8 + n. Which is greater: q or -53?
q
Let y(v) = v**2 + 8*v + 8. Let u be y(-6). Let k = 19 - 15. Suppose -11*c = -k*c + 35. Is u bigger than c?
True
Let d = 139 + -551/4. Let a = d + -13/12. Which is smaller: 1 or a?
a
Let f(k) = -4*k + 1. Let q be f(-7). Let r = 28 - q. Is r greater than 1/11?
False
Suppose -8*c + 56 = 664. Which is greater: -78 or c?
c
Suppose -17*h - 3598 - 176 = 0. Which is smaller: -224 or h?
-224
Suppose -h + 5*k = 0, -2*h + 0*h = 5*k + 45. Let b be (-175)/h + (-2)/3. Which is smaller: b or 10?
10
Suppose -1775*y + 1772*y = -15. Which is bigger: y or -8?
y
Suppose -o - 3*j + 13 = -0*j, 2*o = 2*j + 2. Suppose -18 - 10 = -o*g. Suppose 0 = 2*f - g*f. Is f greater than or equal to 0?
True
Let u be ((-108)/23)/6*(-836)/(-6). Let g = u - -109. Which is bigger: g or 0?
0
Let y = -426 + 430. Is -60 <= y?
True
Let j be ((-1)/4 - -1) + 0. Let h = j + -1. Suppose 3*g + 4*n - 54 = -5, -5*n + 50 = 3*g. Which is bigger: g or h?
g
Let v = 5.1 + -5. Let z = 2.4 + 0.6. Let n = 2.9 - z. Are n and v equal?
False
Let x be 825/(-230) + (-34)/(-391). Which is smaller: -20 or x?
-20
Let s(n) = -n**2 + 15*n - 1. Let y be s(17). Are 2 and y equal?
False
Suppose -3*y + 2*p = 58, 5*y + 0*p - p = -99. Let s be (342/95)/(6/y). Let f be 10/7*18/s. Which is smaller: -2 or f?
f
Suppose 0 = -2*m + m + 263. Suppose -5*j + m = 3*d, -3*d + 8*d - 5 = 0. Suppose -3*g = -22 + j. Is -10 less than or equal to g?
True
Let w be 5/2 + (-2172)/72. Is w at least -27?
False
Let s be (2 + (-1461)/717)*(-7)/(-21). Which is smaller: s or 1?
s
Let x(m) = m - 7. Let y be x(6). Suppose 0 = -3*o - 3*z - 27, -o - 4*z + 2*z - 8 = 0. Let i be (2/(-6))/(o - -7). Which is smaller: y or i?
y
Let a(g) = g + 5. Let u = 9 + -14. Let n be a(u). Suppose 0 = 3*p + p. Is p < n?
False
Let u = 21 - 8. Suppose 4 - u = -t. Suppose o - 12 = -3*p, -3*p - t + 21 = 0. Is -3/14 < o?
True
Let u be 24/(-7) - -2 - -1. Let y = 0.29 - -0.58. Let r = -0.67 + y. Which is bigger: r or u?
r
Let t = -604 - -1209/2. Let c = 25 + -26.1. Which is smaller: t or c?
c
Let c = -357 + 368. Is c greater than 13?
False
Let u(l) = -l - 59. Let v be u(9). Let j = v + 70. Which is bigger: 1 or j?
j
Let c = 115451938/341 - 338569. Let u be (-9)/(-7) + -1 + (-451)/2387. Let h = u - c. Is 1 bigger than h?
True
Let x be (-60)/(-2350)*(-10)/(-8). Which is smaller: x or 1?
x
Let s(h) = 2*h**2 + 6. Let o be s(4). Let m = o + -37. Let r be ((-3)/1 + 2)/(-4). Which is smaller: r or m?
r
Let s be (-10 - 4)*1/2. Let v = -232/3 - -78. Which is bigger: s or v?
v
Let d(a) = 6*a - 16. Let k be d(3). Suppose -k = 2*q - 5*f, -2*q = f + 3 - 1. Let i be ((-16)/6)/(5 - -1). Is i equal to q?
False
Let d(m) = m**3 + 5*m**2 - 3*m - 66. Let q be d(-6). Is q at most as big as -84?
True
Let p(t) = -4*t - 39. Let r be p(-11). Is 21/4 bigger than r?
True
Let o = 1389 - 950. Is 440 equal to o?
False
Suppose 3*b - 22 = -v, -11*b + 13*b = 2*v + 28. Suppose 3*p = -0*p + 24. Is b >= p?
True
Let a be 2488/210 + (-4)/(-14). Suppose -132 - 24 = -13*g. Let j = g - a. Which is greater: j or 1?
1
Let y be (1 - 2) + 2 - 1. Suppose z - 189 = -0*l - 2*l, 4*l + 5*z = 375. Suppose y*o = -5*o - l. Is o bigger than 0.1?
False
Let b be (-3 - -3)*(-2)/4. Suppose 4 = 4*z - b. Suppose t - 4*x + 17 = 0, 4*x = 2*t + 3*t + 21. Is z > t?
True
Let v = -26 + 7. Let s = v - -15. Which is greater: s or 2?
2
Let y = -14.07 - -14. Let s be 4/(-1) + 304/72. Which is smaller: s or y?
y
Let i = -241.7 + 252. Is i at least 1/4?
True
Suppose 0 = -38*u + 31*u - 98. Suppose -4*z + 36 = 3*i - 49, i = 4*z + 55. Let d = i - 49. Does d = u?
True
Let x = -8 + 11. Suppose b = 5*p - 15, -2*p + x*p + 21 = -b. Let g(d) = -6*d**2 - d + 2. Let j be g(-2). Do j and b have the same value?
True
Let g(t) = -t**3 - t**2 + 3*t + 1. Let j be g(-3). Suppose -2*v - 38 = -j. Is v at least -15?
True
Let y = 11.5 - 11.6. Is y greater than or equal to 1/6?
False
Let p be 204/(-136) - (-1961)/1310. Is 0 != p?
True
Let c be 1/(2/2 + -2). Suppose 0*x = -5*x - 5*h + 480, -2*x + 188 = -2*h. Let p = 281/3 - x. Is p at most as big as c?
True
Suppose 4*f + f = 0. Suppose 4*h - 72 + 20 = f. Let s be ((-18)/8)/(((-120)/(-256))/5*-2). Which is bigger: h or s?
h
Let r = 16 - -9. Let x = r + -5. Suppose -o + 3*a + 0*a = -17, 4*a = -4*o + x. Which is bigger: o or 0?
o
Let y(v) = -4*v**3 + 2*v**2 - 7*v + 10. Let c be y(2). Let g = 0 - 15. Let h = g - c. Which is smaller: h or -1?
-1
Let c(v) = 4*v**2 - 205*v - 165. Let f be c(52). Which is bigger: 2 or f?
2
Let m(f) = f**3 + 2*f**2 - 9*f - 3. Let l be m(-4). Let k be (l*(-6)/(-16))/(57/2014). Which is greater: k or 13?
k
Let q be 5103/(-54)*(-10)/28. Is q at least 34?
False
Let l be (-2)/(-4) + 92/(-120). Suppose 5 = -12*f + 5. Is l greater than or equal to f?
False
Let g = -22 - -31. Let c = g + -9.1. Let o = c - -1.1. Is -1 at most o?
True
Suppose -t - 12 = -5*z, -4*z = -t - 3*t. Let i(c) = 6*c**2 - 7*c + 1. Let x be i(z). Suppose -q + 1 = -4*s - 67, 0 = 2*s - q + x. Which is greater: -18 or s?
s
Suppose 51*b + 30 = -72. Which is smaller: b or 16?
b
Let t be (-1084)/(-3) - 1/3. Let p be (t/(-57))/(2/(-6)). Which is smaller: p or 0.1?
0.1
Let m = -1/1145 + -7963/59540. Which is smaller: -1 or m?
-1
Let r be 12 - (1 - 8/(-2)). Is r <= 4?
False
Let j = -70 + 71. Let a(h) = -h**2 - 16*h - 37. Let k be a(-13). Which is smaller: j or k?
j
Let z = -0.15 - -0.11. Let o = z - 0.26. Let t = 0.14 + 0.06. Is o greater than t?
False
Suppose -9 - 1 = 5*l. Let a(i) = i**2 - 3*i - 68. Let w be a(-7). Is w smaller than l?
False
Let u(j) = -j**3 + 5*j**2 + 6*j + 2. Let m be u(6). Let x be m/(-72) - 1/(-4). Let i = -5 - 4. Does i = x?
False
Suppose 5*p - 2*c + 3187 = 10542, 4*p - 5886 = 2*c. Is 1468 at least as big as p?
False
Let n = 651 + -685.93. Let m = n - -35. Are 4 and m non-equal?
True
Let k be (-2112)/(-480)*(-200)/(-2). Which is bigger: 442 or k?
442
Let b = -6 + 1. Let n be 2 + -4 - (0 - 4). Suppose 8 + n = -2*h. Is b greater than h?
False
Suppose -20*w = -601 + 781. Suppose -3*x + 12 = -6*x. Are w and x nonequal?
True
Let z = -49 - -97. Let g be 13/4*z/54. Which is smaller: g or 3?
g
Let j = 21 - 23. Suppose 0 = -5*i - 5*r + 10, -i - 5*r + 4 = -2. Which is smaller: i or j?
j
Let m = 91 + -88. Suppose -4 + 8 = 4*z. Is m less than or equal to z?
False
Let a = 4034 - 1101284/273. Let q = 536/1365 - a. Let y = -68 - -64. Which is bigger: q or y?
q
Let g = -0.0138 - -1.0178. Let w = g - 0.004. Is w != -2/15?
True
Suppose 4*a + o = 20, 0 = 4*a + 3*o - 4*o - 20. Let d(l) = -l + 5. Let g be d(a). Let s be (-4)/(-26)*(-1)/(-1). Is s not equal to g?
True
Let c be (-37)/1 - (0 + 1). Let w = c - -56. Let x = -7 + 24. Is w less than x?
False
Let l = 5.1 + -5. Suppose -21*x + 467 = -163. Does x = l?
False
Suppose -6*b + 3*b = 9, -3