5 = -5*i + 3*g. Let w(t) = -2*t**2 + 6*t**2 + 3*t**2 + 0*t + 2*t + 9 + t**3. Let u be w(i). Is -5 bigger than u?
False
Suppose l - 31 = -30. Let p be 6/(-1004)*(-4)/12. Let u = -1023/9538 + p. Is l at least u?
True
Let x = 0.13 - 6.13. Let k = x - -5.2. Let a = 2/63 + 19/63. Is k <= a?
True
Let v be 162476/(-39) + (-51)/(-85). Let q = 52902/13 + v. Let t = q - -96. Which is smaller: t or -1?
-1
Let o = 66.63 + -67. Are -2 and o equal?
False
Let c = -26 + 31. Let u be 16/6*(-1 + -2). Let j = u + 14. Which is bigger: j or c?
j
Let h = 7 - 4. Suppose -h*f = 2*f + 5. Let y be (0 - 4/(-57))/2. Which is greater: f or y?
y
Let k = -2 + 1. Let n = -3 + k. Suppose -4*f = -1 + 9. Is f greater than or equal to n?
True
Let h be 5/(-1) - (-3 + -2). Suppose 2 = 2*d - 2. Suppose 2*a + 3*j - 5*j + 18 = 0, d*j - 4 = h. Is -7 less than a?
False
Suppose d = -4*w - d - 310, -81 = w + 4*d. Let u = -76 - w. Which is greater: u or 2?
2
Suppose 0 = -5*y + 8*y - 2*l + 49, -5*l = 3*y + 14. Let m be ((-42)/(-4))/(9/(-12)). Let x = m - y. Is x < 2/33?
True
Let s be (-8736)/(-30) + (-28)/(-35). Does s = 292?
True
Suppose -5*b = -4*a + a + 1767, -2*b = -3*a + 714. Let c be 24/b*3/(-4). Which is smaller: 0 or c?
0
Let d = 6 - 9. Let o be -2 + (-1 - (-3 - 5)). Let g be 4/o + (-2)/(-10). Is d greater than g?
False
Let k = -146 - -146.05. Which is greater: k or 0?
k
Suppose 5*o = 15, 9*n - o - 3 = 7*n. Suppose -3*y + 46 = 5*t, t - 67 = -7*y + n*y. Which is greater: y or 22?
22
Let g(c) = -c**3 + 4*c**2 + 1. Let n = -2 + 4. Let y be g(n). Let x = 15 - y. Are x and 7 equal?
False
Let r = 814.137 + -0.137. Is r less than -2?
False
Suppose 5*z + 11 = 5*v + 1, -4*z = 16. Let u be (v*(2 - -3))/(-1). Let y = -8 + u. Which is smaller: y or 13/4?
y
Let o = 113 - -57. Suppose 0 = 5*q - 0*c + 5*c + o, 4*q + 3*c = -131. Is q < -28?
True
Let n = 14 + -45. Let o = n + 9. Let k = -37 - o. Are 1/3 and k non-equal?
True
Let m be (4/(-8))/(2/(-4)). Let j = 93 + -96. Let b be (-10)/14 + j/(45/(-10)). Is b equal to m?
False
Suppose -2*c = 3*c - 3*c. Suppose -3*a + 9 = 0, -2*a + 8 + c = 2*r. Do 0 and r have different values?
True
Suppose 2*d - 2 = -4*o, 12*o - 18 = 15*o - 5*d. Is -3/67 at least o?
True
Let j = 278 - 278. Which is smaller: -0.088 or j?
-0.088
Let x(o) = -6*o + 112. Let w be x(17). Which is greater: 80/7 or w?
80/7
Suppose -23*u - 64 = 5. Let b = -0.2 - -0.2. Are b and u nonequal?
True
Let f = -4838 - -4850. Suppose -2*n - 3*n = -65. Which is bigger: f or n?
n
Let v(q) = q**3 - 8*q**2 + 6*q - 2. Let d(t) = -2*t + 9. Let f be d(6). Let k be (-14)/f*21/14. Let i be v(k). Which is greater: -10 or i?
i
Let p = -1 + -5. Let h = p + 6.03. Suppose i = 5*q + 1, -5*i + 24 = -4*q - 10*i. Which is smaller: q or h?
q
Let n(f) = f**3 - 6*f**2 - 6*f - 8. Let t(c) = c - 1. Let l be t(-1). Let p be (56/(-24))/(l/6). Let g be n(p). Which is bigger: 2/7 or g?
2/7
Let c = -1/117 + -929/819. Let n = -16 - -13. Let f = -5 - n. Which is smaller: c or f?
f
Let k = 933 - 934. Do k and -1/956 have the same value?
False
Let w = 934 + -939. Is -137 greater than or equal to w?
False
Let d = 19484491875/43 + -453740015. Let x = d + 612226. Let n = x - -71. Is 1 at most as big as n?
False
Suppose 2*a + a - 12 = 0. Let l be 24*2*(-1)/a. Let d(g) = g**3 - 8*g**2 + 24*g - 44. Let h be d(4). Is l > h?
False
Suppose 5*x = 2*t - 27, 3*t + 0*x - 3*x = 18. Let r be ((-4)/78)/t*(-26)/52. Which is smaller: r or -1?
-1
Suppose 0*g + 7*g = 4*g. Suppose -5*h + 4*d - 53 = g, 0*h + 3*d - 17 = 2*h. Which is smaller: h or -12?
h
Let h = 393 + -4333/11. Suppose -4*v = -5*u - 3 + 5, 3*v = 3*u - 3. Which is greater: h or u?
h
Let d(i) = 2*i**2 + 14*i + 11. Let t be d(-6). Let j(n) = -3*n - 3. Let a be j(t). Let m(p) = -p**3 + 4*p**2 - 3*p + 1. Let w be m(3). Which is bigger: a or w?
w
Let g = 103.079 + 0.921. Which is bigger: 0 or g?
g
Let c = 73 - 72. Is c less than or equal to -3/13?
False
Let l = -33 + 241/7. Let b be (-14)/(-10) + (-3)/3. Which is smaller: b or l?
b
Let q be ((21/(-3))/14)/((-1)/(-2)). Which is smaller: -5/83 or q?
q
Suppose 0 = -2*r - 2*r + 20. Let i be 6/6*21/r. Which is bigger: 4 or i?
i
Suppose 6*a + 329 + 487 = 0. Are -137 and a equal?
False
Let n = 3921 - 35387/9. Let k = 1292/117 + n. Which is smaller: 0.2 or k?
k
Let w(m) = -2*m**2 + 4*m - 1. Let j be w(0). Let k = 2915 + -387697/133. Which is bigger: j or k?
k
Let u be (6 - 2) + (-12)/(0 - -4). Is 20/9 at most u?
False
Let f(n) = n - 18. Let l be f(14). Suppose 0*g - 15 = 3*g. Which is bigger: g or l?
l
Let z be 10 - 5 - 39 - 0. Which is smaller: z or -35?
-35
Let v be (-1 + 0)*(-54 + 5). Let x = -21 + v. Let q be x/(-5) - (-12)/(-30). Are 1 and q equal?
False
Suppose 6*c - 18 = 8*c. Let v be (-1 - 2)*c/135. Suppose 2*o - 4*o - 2 = 0. Which is smaller: o or v?
o
Let q = 17 + -11. Let u(p) = p**2 - 5*p - 2. Let n be u(q). Let z be 3 - ((n - 2) + 0). Which is greater: z or 2/19?
z
Let r = 16.76 + 0.24. Let k = -16 + r. Which is bigger: k or 3?
3
Let b(r) = r**3 + 2*r**2 - r - 1. Let t be b(1). Suppose -3*c + 0*g + 4*g = 4, -t = 5*c - g. Let i be 4/(-10) + (-51)/(-165). Is i equal to c?
False
Let f = -261/68 + -24/17. Which is bigger: -4 or f?
-4
Let f(b) be the first derivative of b**4/4 - 5*b**3/3 - b**2 - 31*b + 7. Let u be f(6). Let c be (5 + 0/(-2))/(-1). Which is bigger: c or u?
c
Suppose 4*g - 18 = 5*q + 20, -44 = 5*q - 2*g. Let o be 34/(-4) - 5/q. Suppose 20*t - 11*t + 81 = 0. Which is smaller: t or o?
t
Let m be (3 - -1) + -8 + 7. Let s be 1/m - (-34)/6. Let n be -3 + (4 - s/2). Which is smaller: -9/7 or n?
n
Suppose -406 = -6*u - 160. Suppose 0 = -3*o + 9, 0*t + 3*t + o = 0. Which is greater: u or t?
u
Let p = 71 + -59. Suppose -9*c - 21 = -p. Let d be ((-6)/(-8))/(14/(-8)). Which is greater: c or d?
d
Let o = -69 - -74. Suppose -o*t + l = -20, -5*t + 2*l + 25 = -0*l. Is 2 < t?
True
Suppose 3*n - 5*v = -4, -2*v + 5 + 1 = n. Suppose 2*s = -n*s. Which is smaller: s or 3/8?
s
Let o(k) = -k**2 + 5*k - 5. Let h be o(2). Suppose 4*d + 3 = -h. Let b be 4 - (-1 - 7/d). Which is smaller: 1.3 or b?
b
Let c = 251.93 - 252. Is -28 equal to c?
False
Suppose -5*b + 21 = -r, 0 = -4*r - 2*b + 4. Let h = 35 - 18. Let g = h - 17. Is g greater than or equal to r?
True
Suppose -6*q = -q. Let r = -14 - -21. Suppose 4*z + 3*o = q, -4*z = r*o - 3*o. Which is bigger: 3/4 or z?
3/4
Let x be 20/(-6)*(7 + 338)/5. Let v = 1615/7 + x. Is v at most 2?
True
Let j = -406 - -405. Which is smaller: j or -1/45?
j
Suppose 0 = 5*b + 2*z + 388, -2*z + 302 = -5*b - 70. Which is greater: b or -75?
-75
Let m(c) be the third derivative of -c**5/60 + c**4/3 + 11*c**3/6 - c**2. Let t be m(9). Suppose 1 = -n + t. Is 1 <= n?
True
Suppose -r + 3*r = -3*w - 98, 0 = -r + 4*w - 49. Are r and -43 equal?
False
Let m = 220 - 218. Let x = -10.09 + 10. Is m != x?
True
Let z(q) be the third derivative of -q**8/20160 - q**7/1680 + q**6/180 - q**5/20 - 11*q**2. Let k(s) be the third derivative of z(s). Let r be k(-3). Is 5 <= r?
False
Let v = 9 - -19. Let l = v - 53. Let w = l + 24. Which is smaller: w or -8?
-8
Let r = -1860 + 1858.68. Is r greater than -5?
True
Let o be (-27)/108 + (-658)/(-8). Is -2 less than o?
True
Let n(w) = -9*w + 4. Let r be n(12). Let h be (-2)/1*(r/16 + 6). Which is bigger: 6 or h?
6
Suppose -16 = -2*x + 4. Suppose -3*z - 6*b = -b - x, -3*z + 2*b + 17 = 0. Suppose -z*q + 11 = 2*h, -4*h + h + 4*q + 5 = 0. Is h < 2?
False
Suppose 4 = -2*n + x + 2, -5*n = -2*x + 7. Let s be (n - -5) + 2 + -76. Let b be 30/s - 2/8. Which is greater: b or 0?
0
Let j = -0.6 - 0.4. Let u = -0.8 - j. Let q = 0 - u. Are q and -1/2 non-equal?
True
Let l = -0.3 + -3.9. Let i = 0.2 + l. Let s = 4 + i. Is s >= 2/9?
False
Suppose -33*c = -319 - 110. Is c equal to 37/3?
False
Let j(b) = -4*b - 15. Let z be j(-6). Let o be (-1 + 3)*(5 + -1). Which is greater: o or z?
z
Let j(b) = -b**2 - b - 5. Let q be j(5). Let h be -6*(-7)/q*80/(-6). Is h < 16?
False
Suppose -15 = -0*r + 2*r - 3*k, -r - 4*k - 13 = 0. Let t(d) = -2*d. Let w be t(-3). Let a = r + w. Which is greater: a or -4?
a
Suppose 0 = -2*h + 305 + 223. Let p = 225201/854 - 3/2135. Let x = h - p. Which is smaller: -1 or x?
-1
Let p be 306/(-10) - (-6)/(-15). Let l = 64 - 94. Which is smaller: p or l?
p
Let r = 1369 - 1367. Is r bigger than -1040?
T