et n be 0 - ((-86)/6 + (-4)/6). Suppose -3*x - n = 12. Let o(b) = -b. Let h be o(9). Is x greater than or equal to h?
True
Let p be (50 + -118)*196/16. Is -834 < p?
True
Let g(c) = 20*c - 1. Let m be g(3). Let k = 17347 - 17288. Does k = m?
True
Suppose 0 = p + a - 1, -4*p = 3*a + 2 - 4. Let w be (24/6)/(-2 - p - -3). Let g(f) = -8*f + 4. Let k be g(w). Which is bigger: k or -13?
k
Let i(o) = -o**2 + o + 9. Let w be i(-3). Let a be 4/w - 13/(234/(-240)). Let s be 1/4 + 561/44. Are a and s equal?
False
Let l = 125 + -94. Let i = l - 27.1. Let t(g) = 2*g**2 + 2*g + 1. Let p be t(-1). Which is smaller: i or p?
p
Let m(x) = -x**3 + 2*x**2 + 38*x - 12. Let b be m(7). Let q(v) = -v**3 + 3*v**2 + 4*v - 3. Let p be q(4). Which is bigger: b or p?
b
Let c = -2/2267 + -1733/605289. Suppose 6*y + 4 + 2 = 0. Is c <= y?
False
Let y(o) = -2*o**2 - 47*o + 24. Let u be y(-24). Suppose 6*n - 49 = 5*l + 2*n, u = n - 1. Which is smaller: 0.8 or l?
l
Let d = 2.41 - 2.4478. Let c = -0.3022 + d. Which is smaller: c or -1?
-1
Let l(f) = 113*f + 5876. Let j be l(-52). Which is smaller: j or -1/2818?
-1/2818
Let j be ((-3)/(-18))/(7 + -5 + (-335)/160). Which is greater: -1 or j?
-1
Let p = -33 - -32.74. Let g = p + 74.26. Let v = -73 + g. Which is bigger: v or -0.009?
v
Let b(n) = -n**2 + 49*n - 103. Let d be b(47). Let f = 7 - 29/2. Which is smaller: d or f?
d
Let z = -43 + -245. Let n = -207 - z. Which is smaller: 83 or n?
n
Let u = -1 + 1. Let t be (805/550)/(-3 + 4). Let g = 2/55 + t. Which is smaller: u or g?
u
Let b = 8707 - 60946/7. Is -1/800 > b?
False
Let f = -3380 + 3460. Which is bigger: -1 or f?
f
Let x(g) = 1292*g + 6739. Let h be x(-5). Which is greater: 271 or h?
h
Let z = 4186 - 20317/5. Which is smaller: -1/2 or z?
-1/2
Let a = -18983/9 - -2109. Is -6/47 at least a?
True
Suppose 36 = -3*k - 3*s, 536 - 566 = 4*k - 2*s. Is k greater than 32?
False
Suppose -2*f = 2*f - r - 5517, 2*f = -r + 2763. Let y be f/8 + 5/((-50)/(-15)). Are 174 and y nonequal?
False
Let x = 45.28 - 44.98. Is x >= 3/10?
True
Suppose -26 = -6*r + 22. Suppose r*f - 91 = -5*f. Which is smaller: 6 or f?
6
Let s(g) = -733*g + 3453. Let m be s(23). Which is smaller: -13407 or m?
-13407
Let j = -18 - -17.2. Let a = j + 31.8. Let p = a + -33. Is p > -5/11?
False
Let i = 35.76 - 35.751. Is -2/9 smaller than i?
True
Let n(k) = 2*k**2 - 71*k + 54. Let c be n(34). Which is smaller: c or 8?
c
Let y = 101851 + -7435249/73. Which is greater: -1 or y?
-1
Let b(h) = -h**2 + h - 7. Let t be b(5). Let v = 761 + -734. Let m = t + v. Which is smaller: 2/239 or m?
m
Let y = -7698675/103 + 74745. Let c = 58573/412 + y. Let n = 139 - c. Which is smaller: n or -5?
-5
Suppose 34*q - 18*q = 10*q - 24. Is -145 less than q?
True
Suppose -1 = 3*v - 2*b - 0*b, -5*v = 5*b - 40. Suppose -5*c - v*x = 1534, 5*c + 993 = -2*x - 543. Is -307 >= c?
True
Let w(f) = -f**3 + 23*f**2 + 104*f - 2404. Let o be w(23). Let b be (-10)/(-5)*(-13)/2. Is b != o?
True
Let q(h) = 49*h**2 - 3*h + 2. Let w be q(1). Let j = 44 - w. Let m be j/6*51/(-1). Which is smaller: 35 or m?
m
Let h(b) = -b**2 - 2*b - 3. Let w be h(-1). Let v be (4/w - (-1 + -1))*1. Suppose -5*y + v*a = 5*a + 15, 5*y - 2*a + 1 = 0. Which is smaller: -2/87 or y?
y
Let f = -204 - -234. Suppose -250 = -f*v + 32*v. Which is smaller: -1/3 or v?
v
Let w = 595/6 + -36283/366. Let a be (-14)/(-8) + 6426/(-2520) - 2/10. Is a >= w?
False
Suppose 6*r = 4*r - 4*i + 12, 5*r + 2*i + 10 = 0. Let c(t) = 17*t - 8. Let o be c(1). Let s(k) = -k**2 + 2*k + 56. Let n be s(o). Which is smaller: n or r?
n
Suppose 29*h = 26*h - 6, -5*h + 1750 = 5*z. Which is greater: z or 347?
z
Let w be ((-19)/(380/(-24)))/((-18)/675). Which is greater: -19 or w?
-19
Let d = 265544/13 + -20372. Which is smaller: d or 53?
53
Let v(j) = j**3 - 11*j**2 + 23*j - 95. Let n be v(9). Which is bigger: -42 or n?
-42
Let v = -2570 + 2569.9094. Which is bigger: v or 2?
2
Let l(x) = x**3 + 5*x**2 + 3*x - 4. Let u be l(-4). Is -1/3309 at most u?
True
Suppose 33*a - 40 = 28*a. Let n be ((-27)/6)/(2/(-4)). Let s be n/(-7 - -4 - -4). Is s != a?
True
Let a(f) = -f + 35. Let z be a(32). Suppose 0 = -b + 8*v - 4*v + 1233, 0 = -v. Let n = b - 11083/9. Is n <= z?
True
Suppose -2*r - 2860 = -5*d, -4*r - 32*d - 5776 = -28*d. Do -1438 and r have the same value?
False
Let d(i) = 7*i + 53. Let o be d(-5). Let s be ((-8)/o)/(8/12). Which is smaller: s or -32?
-32
Let p(k) = 2*k**2 + 13*k + 18. Let v be p(-5). Is 46/25 >= v?
False
Suppose 5 = -b - x, 797*b - 794*b = 4*x + 13. Which is smaller: -2/1269 or b?
b
Suppose 2348 = 5*f - f. Suppose 124*y = 125*y + f. Let x = y - -44027/75. Is 0 not equal to x?
True
Let b = -1422 - -27028/19. Let f = -452/931 + b. Which is greater: f or 1?
1
Suppose -26 + 81 = -5*z. Let n = 16 + z. Suppose o + n*o = 54. Is 9 equal to o?
True
Let p(j) = -j**3 + 4*j**2 - 3*j - 5. Let z be p(5). Let t = z - -105. Let h(c) = -38503*c + 192573. Let w be h(5). Which is smaller: t or w?
w
Let s be (-360)/(-2 + 2 - 1). Suppose -864*x + 48*x - 788*x = -575836. Which is greater: s or x?
s
Let f be (-1)/2 + 132/(-24) + 8/2. Is -42/37 equal to f?
False
Suppose -2*g - 2 = -0*g. Let k(j) = -j**3 + j + 1. Let h be k(g). Let f be 7 + -2 - 1145/230. Which is bigger: h or f?
h
Let m = 0.098 + -48.098. Let f = 161 + -117. Let a = m + f. Which is smaller: 1/11 or a?
a
Suppose 122*k + 184713 = -11*k - 95784. Are -2109 and k non-equal?
False
Let d(y) = 212*y + 9. Let r be d(-1). Let w = r - -176. Is -6 >= w?
True
Suppose 5*b + 11*t = 11, 19*b - 16*b + 4 = 4*t. Let n be (-1235)/(-4690) - (-2)/(-7). Is n at most as big as b?
True
Suppose -6*j + 161 = 2*p - 63, -5*p + 20 = 0. Let d be (20/(-50))/((-1)/95). Is d at most j?
False
Let g = -1115.4 - -1137.4. Let a(u) = u**2 + u - 1. Let m be a(1). Which is smaller: m or g?
m
Suppose -b = 4*b. Let d = -13132 - -354560/27. Which is greater: d or b?
b
Let o(q) = 113*q**3 - 23*q**2 + 5*q - 5. Let x be o(3). Is 2853 greater than x?
False
Let p(d) = 11*d - 20. Let t be p(5). Suppose -i = 2*b - t - 240, 4*b = i + 535. Let u be 4/(-5)*(b/(-6))/1. Which is bigger: 19 or u?
19
Suppose -3*v = -2*n + 175, 0*n = n + 5*v - 68. Is 47 at most as big as n?
True
Suppose 4263 = 1559*u - 1588*u. Which is bigger: -144 or u?
-144
Suppose 160 + 104 = s. Let a be (-92)/(-990) - 48/s. Suppose 0 = -7*d - 6*d. Is a greater than d?
False
Let h be (-2)/4*(-132)/(-209). Suppose 34 = -7*m - 8. Let i be ((-763)/(-84) - 9)/((-2)/m). Is i less than h?
False
Let n be ((-3)/(5982/(-76438)))/(184/(-276)). Let s = n - -1/997. Which is greater: -59 or s?
s
Let z be ((-119)/(-21))/(96/18 - 5). Is -18 greater than z?
False
Suppose 0 = -21*o + 19*o + 96. Let s be o/(-10) - (-3 - 2). Is s less than 43?
True
Let i = 1289 + -847. Which is greater: 443 or i?
443
Let c(w) = -2*w**3 - 34*w**2 + 39*w + 50. Let d be c(-18). Suppose 4884 = 5*t - 4*p, -2*t + 4883 = 3*t - 3*p. Let h be d/10*(-40)/t. Are -1 and h unequal?
True
Let r be (-3)/12 + 10731/42876. Which is bigger: 1 or r?
1
Let m(k) = -69*k**2 - 32*k - 87. Let a be m(16). Are -18263 and a unequal?
False
Let c = 6301 - 6298. Which is smaller: 502 or c?
c
Suppose 20 = -5*m, 3*m - 20 = -2*w + 6*m. Suppose -3*h + 5*c + 1 = 0, -w*c - 4 - 4 = 0. Suppose 0 = i - 6*i - 15. Is i less than h?
False
Let l = -8045947/176 + 45716. Let c = -151/400 + l. Which is greater: c or -1?
c
Let v(q) = 3*q + 2. Let i be v(1). Let g be 1*((-4)/(-6) - i/(-15)). Let s be (1/5)/(34/10). Which is greater: g or s?
g
Let h = 96/23 + -5095/69. Let f = -69 - h. Are 2/9 and f nonequal?
True
Let a = -16.7 + 19. Let j = a + 11.1. Let r = j - 13. Is 0.1 > r?
False
Suppose 5*s + 0 - 75 = 0. Suppose 4*f = 4*p, 17*f + 3*p = 15*f + s. Is f less than -2?
False
Let p(x) = -x**3 + 9*x**2 + 14*x + 7. Let d be p(10). Let n(w) = d*w**3 + 11 - 3*w - 10 - 45*w**3 - 9*w**2 + 9. Let v be n(4). Which is smaller: v or -17?
v
Let f = -40 - -94. Let s be 21/108 + (-4)/f*-3. Is -1 not equal to s?
True
Let p(b) = -476*b - 1143. Let h be p(-3). Is 286 > h?
True
Let a = 152 - -6. Let h = 159 - a. Is 1/139 > h?
False
Let p = 735 - 765. Let j(a) = -a**3 - 31*a**2 - 30*a - 43. Let k be j(p). Which is bigger: -38 or k?
-38
Let m(v) = 13*v + 303. Let r be m(-24). Suppose 0 = -0*y + y + 3*d + 37, -5*y - 5*d - 155 = 0. Is y <= r?
True
Sup