-179*t - 58*t = 31*t - 11*t + 257. Which is smaller: t or l?
t
Let g = 68 - 25. Suppose -982*p + 13254 = -8488 - 22448. Is p at most as big as g?
False
Let l(m) be the first derivative of -7*m**2/2 + 28*m + 2. Let s be l(4). Is s at most as big as -8/17?
False
Let l = 12231.5 - 12226. Which is smaller: l or 0.111?
0.111
Let y = 3.0511 + 18.9759. Let a = -0.027 + y. Let x = 43 + a. Is x < 0?
False
Suppose -397*i - 3852 = 887*i. Let q = 742 - 3727/5. Is i > q?
True
Suppose 2*u - 6*u + 912 = 0. Suppose -u = 112*w - 106*w. Is -38 at most w?
True
Let u be (-2)/15 + 2176/120. Let g be u + (-2 - -5) + -1. Is g at most as big as -0.1?
False
Let n = -2679 - -2680. Which is smaller: n or -16/2875?
-16/2875
Let w(b) = -1 - 36*b**2 - 9*b**3 + b - 28*b**2 + 65*b**2. Let u be w(-1). Is u <= 7?
False
Let r(j) = j**3 + 16*j**2 - 14*j - 224. Let y be r(-16). Which is smaller: -2/5891 or y?
-2/5891
Let g be 3877 + (-5)/25 + 1/5. Suppose 0 = 28*d - g + 1245. Which is bigger: 93 or d?
d
Let c(o) = 4*o**2 + 7*o + 4. Let a be c(5). Suppose -4*w = 3*f - a, 3*w + 200 = 4*f + w. Let u = 145/3 - f. Does u = -26?
False
Suppose -67898 = -4*b + 2*h, 9*b - 11*b + 33907 = 5*h. Does 16971 = b?
True
Let o = -136034/15 - -9081. Which is smaller: 12 or o?
12
Let w be (24605/836 - 4/22)/(99/(-120)). Is 0.04 greater than or equal to w?
True
Let i = 5.88 - 3.81. Which is greater: 0 or i?
i
Let m = -13816.2 + 13816. Is 6626 != m?
True
Suppose 17 = -2*h + 43. Let u be 5132/(-16679) + (-54)/(-91). Is u > h?
False
Let i = 87.61 + -88. Let z = i + 0.59. Let m = z + 1.8. Is -0.9 at most m?
True
Suppose 8*o + 170 = 3*o. Let r be (-564)/15 + (-2320)/(-1450). Which is greater: o or r?
o
Let g(y) = y**3 - 88*y**2 + 18*y - 1584. Let z be g(88). Let l = 187 + -201.3. Is l greater than z?
False
Let l(c) be the second derivative of c**3/3 - 34*c**2 - c + 139. Let n be l(-11). Are n and -90 non-equal?
False
Let j be (-20)/(-92)*6/(-5). Let u = 11824 + -11824.1. Which is smaller: u or j?
j
Let z(j) = -j**2 - 131*j - 386. Let i be z(-3). Let s be 14/(-13) + 0/(-1). Let x = s + 352/351. Is i greater than x?
False
Let g be -9 - 186785/(-103775)*5. Is g <= 0?
True
Let k = -3.555 + 1.555. Is -146 greater than k?
False
Suppose -6*h - 6*s + 16 = -10*s, -8 = h + 2*s. Which is smaller: h or -13/119?
-13/119
Let p = -36630 + 36631. Suppose -5*j - 18 - 9 = -3*f, 5*f + 2*j - 14 = 0. Let b be 516/8 - 2/f. Is p at least as big as b?
False
Suppose 0 = -104*u + 113*u - 8865. Let n = -3907/4 + u. Which is smaller: -1/8 or n?
-1/8
Let c = -59.9 + 107. Let b = c - -14.9. Let v = b - 62. Are v and -0.1 equal?
False
Let i(y) = -y**3 - 4*y**2 + 32*y + 2152. Let m be i(0). Is m <= 2157?
True
Let x be (-140)/308*(-55)/(-1). Is -38 greater than or equal to x?
False
Let y be (-51)/(-102)*(-2)/6 + 1995/(-666). Which is smaller: y or 1?
y
Suppose 4*g + 88 = -0*g. Let c = -127 + 292.1. Let b = -165 + c. Is b less than or equal to g?
False
Let x = -10047 - -9626. Are x and -419 equal?
False
Suppose -2*k - 3*c - 4603 = -4612, 2*k - 4*c + 12 = 0. Let p = 40815/37 + -1103. Is p != k?
True
Suppose 5*a = 8 + 12. Suppose -30*y = -26*y - 20. Suppose -4*s - 21 = y*c, -c - 4 - 5 = -a*s. Which is smaller: -2 or c?
c
Let l be -1*(-2)/(-4)*0. Let s = -86/509 + -8476/40211. Which is bigger: s or l?
l
Let j = 1.4 + 3.9. Let b = j + 39.7. Let m = 47 - b. Is -2/37 equal to m?
False
Let s be ((-495)/2)/(((-2)/(-8))/(304/(-2432))). Which is smaller: s or 123?
123
Let y = 133/61 + 11851/244. Let f(h) = h**3 - 4*h**2 - 3*h - 3. Let t be f(6). Let a = t - y. Is a != -1?
True
Let l be (1102/80*2)/(9 + 10 + -17). Which is greater: 14 or l?
14
Let x be (-6 + -11 + 1518/90)*6. Which is smaller: 4/11 or x?
x
Suppose 0 = 47*r + 67*r + 798. Let o = -135 + -223. Let z = 1052/3 + o. Which is smaller: z or r?
z
Let n = -7949/13 - -205807546/336583. Which is greater: 0 or n?
0
Suppose 4*n - 13 = -5*g, n - 114*g + 111*g + 1 = 0. Which is smaller: 14.39 or n?
n
Let d be 117/(-429) - ((-8142)/1419 - -4). Do 1 and d have the same value?
False
Let b = -5.875 + -12.125. Let o = 1 + 0. Let p be (1 + o + -2)/(-1). Is p at least as big as b?
True
Let m = -13039/10845 - -5/2169. Is 0.02 greater than m?
True
Suppose -66*v = -49535 + 6727 - 43124. Which is smaller: 4 or v?
4
Suppose 0 = -149*l + 285*l - 15232. Which is bigger: 885/8 or l?
l
Let b be 2 + 6500 - (7 - 0). Let s be 3/(-9) + b/45. Is 144 != s?
False
Let a be (0 - (-4)/(-3))*513/(-798). Let z = -0.3 + 0.2. Does a = z?
False
Let y(u) = -u**2 + 5*u - 18. Let v be y(6). Let i = -21 - v. Suppose 9 = 3*r - 3, -i*p + 43 = r. Is 1/2 >= p?
False
Let m(a) = 2*a**2 + 37*a + 7. Let s be m(-19). Suppose s*k = 17*k - 9. Is 3/418 bigger than k?
True
Let s be (-1 + 30/24)/(198/16). Suppose 9*a - 5*a + 4 = 0. Is s greater than or equal to a?
True
Let n be ((-1)/(-10))/(-4 - 198/(-55)). Which is bigger: 33 or n?
33
Let d = 183 + -182.6. Let q = -2.62 - -2.4. Let g = q + 1.22. Which is smaller: d or g?
d
Suppose 8*z = 5*z + a - 1, a = -z + 5. Let f(s) = s**2 - 21*s - 133. Let k be f(22). Does k = z?
False
Let a = -66 - -2113/32. Let u be 159/9 + (-8)/12. Suppose -13*q = -u*q. Which is bigger: q or a?
a
Suppose 2*h + 39 = -3*q - 2*h, -2*q - 4*h = 22. Let g = 220 - 232. Let j = q + g. Are j and -28 unequal?
True
Let g = -9943 + 556781/56. Which is smaller: g or 0?
g
Suppose -3*b + 2 + 1 = 0, -3*d = 4*b - 4. Let g = -19 + 0. Let x = -739/39 - g. Which is bigger: x or d?
x
Suppose -1018*a + 1265*a - 46189 = 0. Are a and 931/5 non-equal?
True
Suppose z + 3*c - 5 = 0, -3*z - 4*c = -4*z - 2. Let q be 8/(-60) - (-6602)/15. Let m = -4383/10 + q. Which is bigger: z or m?
z
Let d be 224/(-560) - (-4)/60*(0 - 6379). Are d and -426 non-equal?
True
Suppose -28*h + 992096 = -127*h - 107*h. Which is bigger: -1 or h?
-1
Suppose -4*m - 7 = 3*x - 38, 4*x - 88 = 4*m. Let p be 2*-1 + (-16 - 3). Let d = x + p. Does d = -10?
False
Let c = 250 - 158. Is 106 greater than c?
True
Let s be (-4)/10 + -9 + (-29343)/(-195). Let h = s - 141. Which is smaller: 1 or h?
h
Let w(n) = n**2 - 27*n + 199. Let b be w(11). Let k = -92 - -65. Let j = k + b. Do j and -22/7 have different values?
True
Let l(h) = h**3 - 28*h**2 + 30*h - 52. Let m be l(27). Suppose -r = -3*d - 0*d - m, 5*d + 5*r = -15. Which is smaller: d or -12?
-12
Let o be (-4)/(-16)*-8*(-13)/(-52). Which is bigger: o or 11/58?
11/58
Suppose 0 = -2*i, 3*h - 3*i = -0*i - 11097. Let g = h - -26307/7. Is 58 less than g?
True
Let l = 2/62083 + -3725102/3787063. Which is smaller: l or 0?
l
Let d(l) = l**3 - l**2 - l - 1. Let f(i) = -i**3 + 3*i**2 - 7*i + 8. Let w(u) = -2*d(u) - f(u). Let q be w(4). Let x be (-3)/(-792)*q + (-1)/(-4). Is x <= 0?
False
Let f = -243 + 242. Let l be (15 + -15)*(-2)/(-8). Suppose 4*k - 5*p - 152 = -0*k, -2*k + 2*p + 76 = l. Is k less than or equal to f?
False
Suppose -2515 + 799 = -12*d. Suppose d*m - 2421 = 134*m. Do 269 and m have the same value?
True
Let m(l) = -l**2 + 10*l + 12. Let n be m(11). Let q be 1179/36 + n + 6/(-8). Which is greater: 35 or q?
35
Let i = -18 - -18. Let x(v) = -v**2 + i*v - 17 + 6*v + 6*v. Let a be x(11). Which is smaller: a or -3?
a
Let v = -4 - -6. Suppose -3 = -3*s, k + v = -0*k + 4*s. Suppose -2*t + k = b + 19, 2*b = 5*t + 47. Is t not equal to -31/3?
True
Let c(l) = -20*l - 51. Let j be c(9). Let o = 231 + j. Which is smaller: 6/67 or o?
o
Let j(w) = -w**2 - 14*w - 9. Let i be j(-14). Let d be (8141/22 - 2)/(i/3). Let k = d + 243/2. Which is smaller: k or -2?
-2
Let w be (333/42)/((-1122)/357). Which is smaller: w or -3?
-3
Let a be -2 - (-9 - 13 - 492)*(-7)/(-2). Which is bigger: a or 7187/4?
a
Let n = -39235/8 + 4904. Which is bigger: n or 168?
168
Let g be 1/(3/(-6)) - -2. Suppose -15*l - 132 = -567. Let h(c) = -5*c + 145. Let t be h(l). Is g less than t?
False
Suppose 0 = -2*w + w + 322. Suppose 132 = 5*q + w. Suppose 0 = -2*x - 3*x - 190. Is q at most as big as x?
True
Let v = -3286 + 3290. Which is bigger: 2171 or v?
2171
Let y be (-2*(-9)/36)/((-25)/(-50)). Which is smaller: y or -53/199?
-53/199
Let u be ((-1)/2)/(2/(-4)). Let q = -127 - -1024. Let g = 29599/33 - q. Are g and u unequal?
True
Let z = -321305 - -979360/3. Is 5147 at most z?
True
Let b = 360 - 344. Let g be (6 - -2)*(4 + (-72)/b). Which is smaller: -1/3 or g?
g
Let p 