 f?
70
Let t = -1407 - -823. Let o = t - -16932/29. Let b(v) = v**3 + 4*v**2 + 1. Let u be b(-4). Is u < o?
False
Let c(d) = d**2 - 13*d + 70. Let w be c(8). Suppose -5*l = -3*t - 40, 9*l - 8*l = 5*t + w. Which is bigger: -19/5 or t?
-19/5
Let b = 735 + -691. Let f be 1/b*3/(-27). Are f and -1 equal?
False
Let n(m) = -m**2 + 6*m - 7. Let x be 36/(-24) + (-14)/(-4). Let f be n(x). Suppose -4*k + 3*b + 37 = 0, f - 2 = 2*k + 5*b. Is 7 smaller than k?
False
Let l = -3.67 + 3.76. Which is bigger: l or 49?
49
Let i = -216.1992 + -0.2008. Let k = 217 + i. Is k >= -11?
True
Suppose 3*l = 7*l - 5*u - 67, 5*l + 4*u - 53 = 0. Let j(o) = 8*o - 21. Let p be j(3). Suppose -p*d + 54 = -3*g, -3*g = -2*d + 18 + 23. Is l at least d?
True
Suppose 0*k + 217 = w + 2*k, 5*k = w - 203. Let y be (-642)/(-2)*3/(-9)*-2. Are w and y equal?
False
Suppose 4*v + k = 52, 2*k + 35 = 27. Suppose 3*x - 15 = -2*x. Let p(i) = 4*i - 2. Let h be p(x). Which is smaller: h or v?
h
Let v be 269*-2*(12 - (-6)/4). Let j be (18/v)/(2/9). Which is smaller: -1 or j?
-1
Let c(t) = -8*t + 21. Let x(g) = g**2 - 3*g - 10. Let i be x(6). Let r be c(i). Let k = r - -48. Which is greater: 3 or k?
k
Suppose 0 = 4*v - 5*i + 10, -3*v - 2*i = -2*v + 9. Let q = 4 + v. Is -24/13 less than q?
True
Let m = 1327/1155 + -1/165. Let h = m + -38/21. Let x(w) = -7*w - 71. Let y be x(-10). Is h equal to y?
False
Suppose -c - 2*s - 45 = 3*s, 4*c + 180 = 2*s. Suppose 3*x = 6*x - 24. Suppose -4*g + 176 = -x*g + 4*p, -2*p - 137 = 3*g. Does c = g?
True
Suppose 5*j + 2*p = 53, 8*j + p - 13 = 7*j. Let y be (-1)/(j/52) - 0. Which is smaller: -6 or y?
-6
Let u be (9/(-1458))/(70/(-14)). Which is smaller: 0 or u?
0
Let i = 6107/2 - 2645. Is 410 bigger than i?
True
Suppose -i - 4*i = -v + 492, -2*i + 4*v = 204. Let h be ((-12)/(-14))/((-728)/i). Is 0 bigger than h?
False
Let g = -0.2 - 0.3. Let o be (-36)/18 - (3 - 7). Let h be (132/(-400) - o/(-8))/1. Which is smaller: g or h?
g
Let a = 11049 + -11050. Is 3/47 >= a?
True
Let x = 71 + -69. Suppose x*s + 3*j - 112 + 34 = 0, 4*s = 2*j + 124. Are s and 31 nonequal?
True
Let s = -470289/1496 - 2/187. Let f = -313 - s. Is f less than or equal to 1?
False
Let u = -12613 + 63067/5. Are -409/6 and u nonequal?
True
Suppose 15 = 5*c - b, -9 + 3 = -2*c - 2*b. Let w be 4/14 + 10/35*-1. Suppose w = m + c - 4. Is m <= 3.7?
True
Let d = 5.25 - -0.82. Let p = d + 3.93. Is -2/7 greater than or equal to p?
False
Let t be 226/(-3) - 10/(-30). Let i = t + 82. Suppose -4*g + 3*g - i = 0. Is -4 less than or equal to g?
False
Let v be 1 + 5/((-25)/10). Suppose 0 = 2*g + 2*g + 36. Let m be v*(g/(-3))/((-9)/(-15)). Is -4 bigger than m?
True
Let n be 631/14 - 828/1449. Do n and -6/29 have the same value?
False
Let q(p) be the second derivative of 53*p**4/12 - p**3/6 - 4*p**2 + 138*p. Let f be q(-2). Is 204 at least f?
False
Suppose 28 = 2*p + 6. Let n(j) = 4*j - 23. Let w be n(p). Let v = w - 31. Does v = -12?
False
Suppose 5128 - 130 = 17*v. Suppose -2*f + 5*i = 199, v = -f - 2*f + 3*i. Is f at least -98?
True
Let p = -31 + 16. Let x = -14 - p. Let v = 35.0315 - 0.0315. Is x at least as big as v?
False
Let q(c) = 16*c**2 - c - 1. Let p be q(-1). Suppose -f - m - 18 = 3*m, 4*f + 2*m = -p. Is -2/3 at most f?
False
Let f(n) = 5*n**3 + 2*n - 2. Let r be f(1). Suppose 158 = r*h - 142. Suppose p + h = 4*p. Is 21 greater than p?
True
Let f = -32.2 + 383.2. Let z = f - 359. Is 2/9 bigger than z?
True
Let w(r) = r**3 + 54*r**2 - 11*r - 585. Let z be w(-54). Suppose 0 = x + x - 32. Suppose g + x = z. Which is smaller: g or -11?
-11
Let u = 14405 + -5874. Which is bigger: 8529 or u?
u
Let m = 35 + -35. Suppose 3*r + 3 = m, 0*d - 5*r = d + 6. Let j be 1 + d - ((-54)/(-33) - 2). Which is greater: -1 or j?
j
Suppose 27*h - 24*h - 43 = -4*a, -h - a = -14. Which is greater: 130 or h?
130
Let d = -71079 - -71073. Let q be 15/10*16/6. Suppose -b + q*f = 4*b + 21, 4*b - 4*f = -16. Is d at least b?
False
Let w = -309 + 315. Let g(s) = -38*s + 227. Let x be g(w). Which is greater: -3/344 or x?
-3/344
Let x = -347.72 + 335. Let d = 12.9 + x. Which is smaller: 0.04 or d?
0.04
Suppose 40 = -3*j - j. Let q = 26 + j. Let i be (q + -18)*(-2)/(-4). Is 1 at most as big as i?
False
Let o be ((0 - 14) + -1)*(-7 + 435/(-75)). Is 192 less than o?
False
Suppose 28 = -506*b + 513*b. Suppose 928 = 4*a + 6*s - 4*s, -b*a = s - 928. Which is smaller: 465/2 or a?
a
Suppose -6 = 3*i - 36. Let d(x) = x**3 - 40*x**2 + 47*x - 302. Let s be d(39). Let f = i - s. Which is greater: f or 1?
1
Let q be (3/(-18)*-3)/(52/1300). Is q greater than 13?
False
Let w = -95.72 - -0.72. Let t = -100 - w. Let j(u) = u + 8. Let d be j(-6). Is t > d?
False
Let i = -1.087 + 1.0223. Is -0.1 greater than i?
False
Suppose l = 248 + 22. Suppose 3*r - l = 3*z + 2*z, 2*z - 2*r = -108. Let d = z + 51. Is d < -3?
False
Let x = 1776 - -49. Is x less than -1?
False
Let t be ((-135)/(-25))/(6/(-90)). Let y = 43 + t. Are -38 and y unequal?
False
Let b = -3 - -4. Let w be ((4995/40)/9)/(12/(-404)). Let g = w + 467. Is g less than b?
True
Suppose -165*t + 37912 = -137*t. Is 1356 not equal to t?
True
Let c = -175 + 181. Let w be -3 + ((-27)/(-6))/(c/4). Which is bigger: w or -3/101?
w
Let x(l) = l**3 - 4*l**2 - 5*l + 2. Let g be 1 - 3/(3/(-4)). Let c be x(g). Suppose -27*m + 1492 - 1465 = 0. Is c greater than m?
True
Let o = -382 + 326. Let l be ((-5)/2630)/((-7)/o). Is -1 less than l?
True
Suppose 758*v - 764*v = -1170. Suppose -v = 22*t + 25. Which is smaller: t or -67/6?
-67/6
Let r = 5095 + -5386. Is r smaller than -2331/8?
False
Let u = -5624.78 - -5623. Suppose x + 1 = 2*i, 2*i + 5 = 3*x + 4*i. Is x >= u?
True
Suppose 18*a - t + 20798 = 771, -a - 4*t = 1141. Is a greater than -1113?
False
Let p = -0.063 - 6.667. Let q = -6.43 - p. Is q greater than or equal to -48?
True
Let a = -4304/15 + 290. Suppose 224*b - 511*b = -250*b - 148. Is a less than b?
True
Let h = 20 - 18. Let i = -407 + 406.992. Is h > i?
True
Suppose 0 = -6*v - 14 + 38. Suppose 4*m - 3*z + 10 = -0*z, -5*m + 3 = v*z. Do 2/277 and m have the same value?
False
Let r(l) = l**3 - 24*l**2 - 26*l + 49. Let z be r(25). Let w(o) = o - 52. Let d be w(z). Let h = -28 - d. Which is bigger: -2/179 or h?
h
Let d(o) = -9*o**2 - 54*o + 63. Let b be d(-7). Is 1/2664 less than or equal to b?
False
Suppose -17*f + 1056 = -15*f. Suppose 3*v - 387 = f. Which is bigger: v or 304?
v
Let s = 11.77 - -0.23. Let m = 12.8091 + 0.1909. Let k = m - s. Is 1/22 < k?
True
Let d = 6702 + -4504. Is 0 at most d?
True
Let b = 38.995 + -39. Let t = b + 20.005. Let d = 10 - t. Which is smaller: d or 2?
d
Let q(s) = 3*s**2 - 12*s - 53. Let t be q(8). Is t equal to 60?
False
Let r(a) = 6*a + 13. Let p be r(-8). Suppose 25*m - 31*m = 0. Which is greater: p or m?
m
Let a = 2632 - 2632.015. Is a smaller than 18?
True
Let b be ((-1 + -6)/28)/(1/8). Let k be (9/(-75)*-5)/(b/30). Is k greater than -7?
False
Let h be (-16)/920*-5 + (-51462)/(-138). Is h < 373?
False
Let q(g) be the third derivative of -g**4/8 + 13*g**3/2 + 45*g**2 - 2. Let r be q(13). Is -7/31 smaller than r?
True
Let q(m) be the third derivative of m**4/6 + 14*m**3/3 + m**2. Let x = -311 + 311. Let b be q(x). Are 28 and b unequal?
False
Let v = 2349 - 2350. Which is bigger: 2/5621 or v?
2/5621
Suppose -2*u = -2*o - 4*u + 144, 0 = -o + 3*u + 72. Suppose -l - 4 = -2, 2*r = 4*l - o. Suppose -6*x - 2740 = 45*x - 700. Is r at least as big as x?
True
Suppose -4*q = -13 - 7. Suppose o - 40 = u, 0*u - 4*u = -q*o + 198. Let a be (o/475)/(1/20). Which is smaller: a or 3?
a
Suppose 2*p - 5*y = -5, -y = 2*p - 12 - 1. Suppose -3*o = -p*a - 32, 5*a + 7 = -13. Suppose 4*s - 64 = -2*c + 2*s, -o*s - 52 = -2*c. Is c greater than 31?
False
Let d(s) = -s**3 - 7*s**2 - 9*s - 21. Suppose -16*z = 113 - 17. Let t be d(z). Let n be 1 + ((-45)/35)/t. Is n >= 2?
False
Let m(i) = 18*i**2 - i. Let h be m(2). Suppose 18*u + 19*u = 217*u - 12780. Which is greater: h or u?
u
Suppose -2*v = -4*d - 514, -v - 2*v + d = -746. Let h(i) = 5*i**3 + 12*i**2 + 31*i - 88. Let g be h(3). Is g greater than or equal to v?
True
Let p = -328 - -144. Let s = p - -151. Is -33 greater than or equal to s?
True
Let p = 339.1767 - 339.1. Is p at most 1?
True
Suppose 0 = -14*w + 18*w - 48. Let v be (-8)/w + 22/(-3). Which is 