. Let g = -31184/9 + y. Which is greater: g or -7?
-7
Let i = 546 + -547. Let s = -6.7 + 0.7. Let a = s - -7. Is a bigger than i?
True
Let f = -83/8 + 43725/4216. Suppose 10 = -2*q, -3*h + 33*q - 22 = 38*q. Do f and h have different values?
True
Let d = -3438 - -3598. Which is greater: d or 158?
d
Let t be 6/((-24)/(-20)) + (-17437)/(-21). Let f = -15670/21 + t. Which is bigger: f or 90?
90
Let s be -54*18/16*64/(-24). Let q = s - 160. Is q at most as big as 7/10?
False
Let c be ((-2)/(-6))/((-4)/322070772). Let i = 1529791538/57 + c. Let g = i + 783. Is -0.2 bigger than g?
False
Let c = 125/2014 + -1/106. Let d(b) = -12*b + 16. Let k be d(-6). Let l = k - 87. Is l <= c?
False
Suppose 461 = 121*t + 98*t + 23. Is t at least as big as 1002?
False
Let u = -214 - -221. Suppose -5*v - 4*k - 13 = 0, 4*k + 3 = 12*v - u*v. Which is bigger: v or -3/125?
-3/125
Let j = -561.3 - -539. Let d = j + 22.36. Is 4 smaller than d?
False
Suppose -2*y = -4*l + 444, 89*l - 88*l = 5*y + 138. Which is smaller: l or 1174/11?
1174/11
Let o be 16/48 - (-592)/6. Let x be 4 - ((-3174)/33 + (-4)/(-22)). Which is smaller: o or x?
o
Let u = 3876.9 + -1628.9. Is 2 less than u?
True
Let n = 0.037 + 0.963. Let u = -216 - -96. Which is smaller: u or n?
u
Let c = -52 + 64. Let t = -45 + 35. Let d = t + c. Which is bigger: 11 or d?
11
Let m(j) = 36 - 16 - 22*j + j**2 + 52. Let v be m(7). Is -30 greater than v?
True
Suppose -4*t = -0*t - 708. Let y = 7221 + -7334. Let g = t + y. Is 63 > g?
False
Let h = -7312.972 - -7313. Which is bigger: h or 1.05?
1.05
Let m be 1 - ((7 + 1)/8 - -6) - 17. Let b be 2/(-6) + (-53)/3. Which is bigger: b or m?
b
Suppose -2*w - 3 = 3*j, -4*w + 9 = 4*j - 3*j. Suppose w*o = o - b + 2, 3*o + 4*b = 13. Let v = 1049/15 - 70. Which is smaller: o or v?
o
Let w = 9432 + -75897/8. Let q = -5445/104 - w. Is 4 >= q?
True
Let q = -310 - -430. Suppose 0 - q = -24*o. Let g(a) = 4*a**3 + 2*a - 1. Let r be g(1). Is o not equal to r?
False
Let v = 1 + -2. Let n = 236 - 237.08. Let g = 0.68 + n. Are g and v nonequal?
True
Let w(t) = 13*t - 278. Let l be w(9). Let c(k) = -32*k - 3. Let p be c(5). Is l >= p?
True
Let n = -1111 + 1100.94. Let v = -1120.06 - -1120. Let y = v - n. Which is smaller: y or 1?
1
Let s = 1255517/5 + -250112. Let g = -987 + s. Which is smaller: g or 0.1?
0.1
Let g = -12337 + 12552. Which is smaller: 219 or g?
g
Let t = -4/29 - -4262/203. Are 21 and t non-equal?
True
Let a(k) be the first derivative of k**4/2 - 29*k**3/3 + 8*k**2 - 27*k + 85. Let i be a(14). Do -102/5 and i have the same value?
False
Let o = 3730 + -3730. Which is bigger: -10/421 or o?
o
Let s be -33 - (35/(-7) + -9). Are s and 13 unequal?
True
Suppose -3*w + 549 + 555 = 0. Let z be 8/36 + w/(-36). Let h be -5*z/75*2. Which is smaller: 9 or h?
h
Let t be 7 - 0 - (2639/312 - 3 - -3). Suppose 0*l = l. Is l less than t?
False
Suppose 69*h - 2*h - 102149 = -39236. Do 2819/3 and h have the same value?
False
Suppose 38*o - 32*o + 1484 = 2*t, -3*t + 2190 = 3*o. Which is greater: t or 734?
734
Let a be 13 + 286/(-13) + (-20)/(-2). Which is bigger: a or -2/8845?
a
Let d(l) = -13*l - 29. Let c be d(-6). Let t = c + -104. Which is greater: t or -56?
t
Let q = 2980.3 + -2981.3. Is 803/10 != q?
True
Let q = -162 + 54. Are 13 and q unequal?
True
Suppose 91*i = 96*i - 50. Suppose 0 = -i*h + 19*h. Let n be ((-4)/5 - -1) + -1. Which is smaller: h or n?
n
Let h be (-578)/(-136) - (-2)/(-8). Let w = h + -4. Is -5/7 <= w?
True
Let u be 4/8*-2 + (-3888)/(-3944). Is u <= 1?
True
Let s = 376 - 376.627. Let u = s - -0.027. Let x = 5 + u. Which is greater: x or 0?
x
Suppose 5*q - 1296 = -4*l, -118*q + 122*q - 1036 = -3*l. Suppose 2*x - 5*v - 757 = -x, 0 = x - 2*v - 252. Which is smaller: q or x?
x
Suppose 28*z - 31*z - 4*g = 498, 720 = -4*z + 4*g. Is -159 bigger than z?
True
Let q be (-150 - -147)/(3/12). Which is bigger: q or -42?
q
Let r be (0 + 2878021448/142)*9/(-3). Let w = 60804304 + r. Let d = -1034 + w. Is d equal to -2/7?
False
Let s be 65/(-9) + (-14)/(-63). Let m(f) = -f**2 - 16*f - 63. Let o be m(s). Let w be 3 + (2 - 754/150). Which is greater: w or o?
o
Let k = -116 + -502. Let j = k - -618. Are -3/8 and j nonequal?
True
Let u(i) = -i**2 - 192*i - 1. Let l be u(0). Which is bigger: -1/4563 or l?
-1/4563
Let j = -12957 + 8258. Is -4698 at most as big as j?
False
Let j be -234 + 223 - (1 - 2289). Which is greater: j or 2278?
2278
Let t = -2391/6836 - -158866201/198244. Let u = t + -801. Which is bigger: 0 or u?
u
Suppose 0 = i - 7 + 3. Suppose 0 = 3*q + 5*p + 9, 4*q + 5*p + 3 = -i. Suppose 6*j - j + 51 = -q*r, 4*j = 3*r - 50. Is j smaller than -23/2?
False
Let c be (-17860)/(-296868) + 128/(-2112). Which is bigger: c or 0?
0
Let o = -0.38 + 0.23. Let p = o - -0.89. Let l = p + -0.14. Which is smaller: -0.3 or l?
-0.3
Let n(u) = u**3 + 17*u**2 + 2*u + 37. Let h be n(-17). Suppose i + 130 = h*z, -28*i + 25*i = -5*z + 374. Which is smaller: -120 or i?
-120
Suppose 3*a + 3 = -0, -5*a - 15 = -5*r. Suppose 5 = i - 2*k, -24 = -r*i + k - 5. Suppose -8 = i*v + 3. Which is smaller: -105 or v?
-105
Let o(t) = -654*t - 16. Let p be o(-5). Suppose 0 = 4*l - 4198 - p. Let s = -76389/41 + l. Is s >= 1?
False
Suppose 21 + 6 = 3*j. Let y be j/3 + -3*(0 + 1). Which is bigger: -1/2 or y?
y
Let g be (-21)/(-7) + -11 - (-144)/14. Suppose -147 = 5*f - 162. Which is smaller: f or g?
g
Let q = 541 + -416. Let k be 1/((3 + 2)/q). Is k at most as big as 26?
True
Let i(o) = 9*o**3 - 18*o**2 + 103*o + 64. Let u be i(8). Are u and 4345 unequal?
True
Suppose -2*c + 3*v - 1271 = 0, -2*c - 1302 + 1 = 3*v. Let k be c/42 - 6/4. Let q = -17 - k. Are q and 1 unequal?
True
Suppose 2*k + 5*t + 3 = -k, 3*t = 0. Let l be 19/6 - 10/60. Suppose -11 = 7*u - 2*u - h, l*u - 2*h = -1. Is k >= u?
True
Let q(n) = -8*n**2 - 81*n + 17. Let f(o) = -15*o**2 - 162*o + 33. Let x(w) = -6*f(w) + 11*q(w). Let c be x(-40). Which is smaller: -52 or c?
-52
Let k(r) = r**2 + 8*r + 19. Let m be k(-3). Suppose b + 130 = m*a - 153, a - 67 = b. Is 71 greater than a?
False
Let p = 4481/6 - 607153/813. Which is bigger: 1 or p?
1
Let n = 2441.7 - 2791. Let r = 365 + n. Let t = 1.3 + r. Is t less than 2/3?
False
Suppose 237 = 92*x - 13*x. Is x < 14?
True
Let z be -8 - 1970/1971 - -9. Which is bigger: 0 or z?
z
Let z = -6 + 6. Let r(q) = 5*q - 32. Let d be r(9). Suppose -17*j = -d*j + 8. Which is smaller: z or j?
j
Let d(i) = -4*i**2 - 16*i + 703. Let j be d(16). Which is greater: j or -581?
j
Suppose 2*k - 230 = 5*g, 4*g + 186 = k + k. Suppose -9*c + 81 = -27. Let x be -7 - -5 - g/c. Which is bigger: x or 1?
x
Suppose -11*y = 74 + 58. Let z be -16 - (8/y*-6 + -4). Which is greater: -63/4 or z?
-63/4
Let g(z) be the third derivative of z**5/30 + 2*z**4/3 - 7*z**3/6 + 70*z**2. Let r be g(-7). Suppose 64 = -6*c - 62. Is r at most c?
True
Suppose -57 = -4*h - 21. Let v(s) = s**3 - 8*s**2 - 8*s - 3. Let f be v(h). Let j be (0/7)/f + 9/(-19). Is j >= 1?
False
Suppose 7*c - 2*c = 325. Suppose 3*p = -4*d - d - 148, 2*d = 2*p + 104. Let x = p + c. Which is smaller: 0 or x?
0
Let v = -268 - -279. Suppose 26 = -4*m + 6, 2*r + 5*m = -39. Let a = r - v. Which is bigger: -15 or a?
-15
Suppose 105*l + 118684 = -456821. Which is smaller: -1 or l?
l
Let g be ((-5083)/195)/(-17)*-1. Which is greater: 0.08 or g?
0.08
Let f be (-3 + 10/4)*-30. Suppose 20 = -4*j + 2*s, s + f = -3*j - 4*s. Which is bigger: -31/5 or j?
j
Let k = -3333 - -3333. Is k bigger than 222?
False
Let f be (-2 - 2632/(-49))/(15/21). Which is smaller: -1 or f?
-1
Suppose 3*l + h = 7, -4*l + 4 = -4*h - 0*h. Suppose -l*k = 0, 2*r - 1 - 3 = -k. Let g be -10 - (r - 6/(-2)). Is g at least 1?
False
Suppose 190*v - 2 = 192*v. Let o be (-118)/10 + 18/(-90). Let z be (-10)/(6/36 + 26/o). Which is greater: v or z?
z
Let o = 422873 + -422872. Let i be 1 + 2 + (-988)/330. Which is greater: o or i?
o
Let r(h) = 4*h**3 - 3*h**2 + h - 1. Let i be r(2). Suppose -u - m + 2 = 0, 4 - 8 = -u - 2*m. Suppose u = 2*g + 35 - i. Is -6 less than or equal to g?
False
Suppose -23 = v - 2*g + 3*g, 0 = -5*v + g - 85. Let k be ((-6)/8)/(v/3). Let r = 0.7 + -1.7. Which is bigger: k or r?
k
Let i = -0.1 - -0.1. Let w = 55147 - 55147.2. Is i not equal to w?
True
Let d(a) = -a**3 - 26*a**2 + 405*a + 22. Let w be d(11). Are w and 1/6604 none