+ -1304. Let x = -103 + 108.3. Which is smaller: x or g?
g
Let v be 10/12 - 8/24. Let t be 189/(-5) + -2 - 6/30. Let y be (24/(-100))/((-12)/t). Is y not equal to v?
True
Let z = -3833 + 3837. Is z greater than 46/11?
False
Suppose 3*k - 866 = -5*h, -k - 528 = -6*h + 3*h. Let l be (-98)/(-40)*75/h. Which is smaller: l or 2?
l
Let a(d) = -d**2 - 36*d - 99. Let x(f) = -17*f + 69. Let b be x(6). Let n be a(b). Which is greater: n or -9?
n
Let q = -92595/104 + 14046/13. Which is smaller: 191 or q?
q
Let l = 2115/4 - 10567/20. Which is smaller: l or -2/725?
-2/725
Let u be (-3)/(4 - 2/(8/12)). Let f be (-15)/u*18/45. Let r be (f + 1 + -3)/(8/4). Is 1/48 < r?
False
Suppose -35046 = 71*l - 248*l. Is l at least 199?
False
Suppose 11*o + 3*o = 0. Suppose 3*y + 13*y + 6*y = o. Is y greater than 2/165?
False
Let r = -377549/7 + 53784. Is -151 greater than or equal to r?
True
Let g = 8529/748 - 195/17. Which is smaller: -17 or g?
-17
Let c = -12800/13 + 980. Which is smaller: c or -6?
-6
Let b be 1 - (1/3)/((-22)/594). Let c be b/65*-2 - 0. Suppose 0 = -3*o + o + 2. Which is greater: c or o?
o
Let k = -28393 - -54259021/1911. Let p be (-3231)/(-5733)*(-110)/6. Let n = k + p. Which is bigger: n or -10?
-10
Suppose -312*q = 55*q - 2294484. Is q <= 6252?
True
Let j = -109 - -73. Let l = j + 36.002. Let u = l + 0.998. Do u and 2/7 have the same value?
False
Let r = 343/9 - 1697/45. Which is bigger: r or -8/37?
r
Let v = -5 + 2. Let m be (2/v)/(78/144). Let n = 106277 - 106279. Is m != n?
True
Let i = 171 + 630. Let o be (-11700)/(-22)*(-3 - 9/(-2)). Let c = i - o. Is c > 4?
False
Let s = -10 - -23. Suppose -s*f - 100 = -17*f. Suppose -3*d = 5*r - f, -r - 34 = -4*r + 2*d. Which is smaller: 9 or r?
r
Let m be 442/(-30) - (-10)/30. Suppose -3*q + 64 = -4*w, 8*q - 10*q + 73 = -5*w. Which is bigger: w or m?
w
Let k = 873 + -9617/11. Let p be 3/(-2*8/2384). Let t = 447 + p. Is t at least as big as k?
True
Let z be (334/4)/((-4)/(0 - -8)). Let k = -382 - z. Is -214 <= k?
False
Let c be ((-436)/(-14))/(1488/276). Let f = -230/31 + c. Let m = 8/7 + f. Is -2 less than or equal to m?
True
Let o be (-82)/(7 - 4 - 5). Let z be ((-2)/(-12))/(4 + o/(-9)). Suppose -11 = s - 4*l, s + 4 = -s + 2*l. Which is bigger: z or s?
s
Let k(t) = -23*t**2 + 3*t - 2. Let h be k(-2). Let w = 101 + h. Let o be 2/78*2/4. Is o bigger than w?
False
Suppose 8*i - 44 + 23 = -21. Is i at least 4/2163?
False
Let l(n) = n**2 - 118*n - 3312. Let g be l(-23). Is g < -28?
True
Suppose -15 - 81 = 16*a. Let q be 4 + (a/14 - 4). Suppose -o + 5*o + 3*h = -5, -4*o + 10 = -2*h. Are o and q non-equal?
True
Let s(k) = -11*k - 17. Let i be s(4). Let u = -152 + 90. Is u less than i?
True
Let f = 52.47 - 52.87. Is f greater than 11/17?
False
Suppose -4 = -4*w + 4*i - 8, 3*w + 6 = 4*i. Let r be (135/(-225))/(72/(-100)). Which is smaller: r or w?
r
Suppose 200*n + 54*n + 116 = -138. Is n bigger than -1/19331?
False
Let x be (34*3/9)/(6/9). Suppose 11 = 6*p + x. Which is greater: p or 2/709?
2/709
Let i = -203.41 + 180.14. Is -0.2 < i?
False
Let l = -1.445545 - -0.045545. Let h = -0.02 - 6.98. Is l less than h?
False
Suppose -2*f + 2*g = -2, -f - 5*g = 2*f - 3. Let u be (f - -4) + -5 - (-1)/(-298). Is 1 greater than u?
True
Suppose -b = -4*y + 9 + 1, 3*y - 7 = b. Let x = -227 - -126. Let a = x + 97. Which is greater: b or a?
b
Let r = 2/23721 + 10405610/23721. Let h = r - 438. Which is smaller: -6.6 or h?
-6.6
Let m(l) = l**3 - 23*l**2 + 76*l + 93. Let k be m(18). Let f be -162 - 6*(-4)/8. Is f < k?
False
Let w = -51268/15 + 252699962/73935. Which is smaller: w or -1?
-1
Let z be (8/(-210))/((-4)/(-26)). Let m be ((-42)/196)/((-9)/(144/(-40))). Let f = m + z. Do f and -3 have the same value?
False
Let m be 26 - (-3 + ((-24)/(-6) - 5)). Is 38 less than or equal to m?
False
Suppose 0 = r - o - 4, 5*o - 10*o = r + 20. Let d = -28/47 - -608/705. Which is bigger: r or d?
d
Let o be (0/(-3) - -3) + 1. Suppose -o*f - 5*y - 20 = -f, 4*f = -y - 4. Which is greater: f or -7/38?
f
Let q = 8 + -6. Let x(o) = 29*o - 172. Let n be x(6). Suppose 3*d + 32 = -2*g, -q*d + d - n*g = 16. Is d at least -22/3?
False
Let d = -6.8 + 150.8. Let t = -143 + d. Are 55 and t non-equal?
True
Suppose -8*u = -7*u - 2*l + 1, 5*u + 3*l - 60 = 0. Suppose 81*i - u = 90*i. Which is smaller: i or -4/395?
i
Let m = 1169 - 1253. Which is bigger: m or -669/8?
-669/8
Let n = 254/1863 - 4/81. Let r = 836.21 + -836. Is n smaller than r?
True
Suppose -3 = -0*b + b. Let f(m) = m**3 + m**2 - 5*m - 8. Suppose 13 = -5*u + 2*g - 0*g, 0 = -3*u + g - 8. Let c be f(u). Which is bigger: b or c?
b
Let g = 15191 - 15487. Which is greater: -5 or g?
-5
Let l be (-1)/21*(4 - 8740/12). Let a = 236/7 - l. Let y be ((0/5)/(-8))/2. Do y and a have different values?
True
Let r be (104 + -1)*(14 - 6 - 0). Is r < 824?
False
Let w be (-14)/(-28)*(-4)/102. Suppose 0 = 3*q - 2*f + 44, -5*f = -9*f + 16. Let h = q - -11. Which is greater: w or h?
w
Let d(s) be the first derivative of s**4/4 - 5*s**3 + 11*s**2/2 + 9*s - 25. Let v be d(14). Let b = v + 26. Is b at least as big as -6?
False
Let u = 3372/5 + -15042497/22305. Which is greater: 0 or u?
0
Let v = 4 - 7. Let h = 2014.1 - 2641. Let c = -627 - h. Are v and c nonequal?
True
Suppose 5 + 8 = 5*p - l, -4*p + 4 = -4*l. Suppose 4*x - 3*x = p*k - 19, -x - k = 3. Let j = -2/151 + -1959/302. Is j >= x?
True
Let x(q) = -q - 127. Let o be x(0). Let v be (2 + -4)*(4/78 - 153419/(-2418)). Is v < o?
False
Let a = 3631 - 3651. Which is smaller: -19 or a?
a
Let v be 18/(-27)*(-6)/(-16)*-4. Let u be (-3)/(-3) - (v - (-2 - -2)). Which is smaller: u or -6/11?
-6/11
Suppose 4*t = -6771 + 5951. Is t < -203?
True
Let q(l) = -l**2 + 57*l + 59. Let t be q(58). Is 18/281 <= t?
True
Let q be (5 - 3) + 22006/(-12230). Let c = q - 19773296/22179105. Let r = 2/1395 - c. Which is smaller: 1 or r?
r
Let o be (-255*(-22)/1056)/(1/(-4)). Which is bigger: -1/9 or o?
-1/9
Let b = -31922/609 + 1066/21. Is b greater than 1?
False
Let j be (-6)/9 + 320/30. Suppose -9*w + j*w = 10. Suppose -w*y + 60 = -4*y. Which is bigger: y or 9?
y
Let d = -4293 + 4294. Which is smaller: 325 or d?
d
Suppose 2*n + 3*s - 70 = -0*n, 5*n = -3*s + 175. Suppose -112*o + 101*o = -374. Is o > n?
False
Let y be (21 - 102)/(-3 + (-104)/(-32)). Is y != -308?
True
Let n be 2706/45 + -1 + 52/60. Suppose 0 = 2*g + t - 123, -g = -0*g + 2*t - 63. Is g != n?
True
Let z(w) = -w**3 + 4*w**2 - w + 4. Let m be z(4). Let f be 3/9 - (-1014530)/1065. Let p = f + -953. Which is greater: m or p?
m
Let r be -63 + 5 + (5 - 17). Let a = r + 100. Is 6 greater than a?
False
Let r = -707 + 362. Let t = r - -395. Suppose 200 = -u + 5*u. Are u and t non-equal?
False
Let v be (-2 + (-33)/(-6))*2 + 3. Let m be (-16)/78*(-3)/v. Which is smaller: 1 or m?
m
Suppose 4*r + 7998 = 5*h, 1381*r - 3196 = -2*h + 1383*r. Is h at least as big as 1611?
False
Let t = -3479 - -3479. Which is bigger: t or -1/116?
t
Suppose 142*r = 146*r + 4. Which is smaller: 56/163 or r?
r
Let x be (206/(-66) - -2*63/42)*-3. Which is bigger: -23 or x?
x
Let s = -1308 - -1275. Is 102 bigger than s?
True
Let o(v) = -v**3 + 2*v**2 + 9*v - 1. Let y be o(4). Suppose y*n + 85 = -182. Let t = 83 + n. Which is greater: t or -16/3?
-16/3
Let c = 26339/15 - 10698/5. Let t = 379 + c. Which is smaller: t or 1?
t
Suppose 4*n + w + 4 = 0, -5*w + 5 - 40 = 5*n. Is 1/7022 > n?
False
Let m(g) be the second derivative of -g**5/20 + g**4/2 - 69*g. Let s be m(6). Let l = -5788/177 - -98/3. Is s bigger than l?
True
Let i = 384.9 + -381.9. Is -2/303 bigger than i?
False
Let k = 1622 + -4933. Are k and -3310 unequal?
True
Suppose 15*u = 49*u - 816. Suppose 0 = 32*t - 8*t + u. Which is smaller: t or 2/1945?
t
Let a = 21569.1 - 21569. Is a greater than or equal to -93?
True
Let r = 27049/3 + -9221. Let u = r + 204. Is -8 at least u?
False
Suppose -w - 2 = -1. Let o be (49340*9/(-1809))/(2/15). Let g = -1841 - o. Is g at most w?
False
Let f = 100.481 + -101. Let b = -0.219 - f. Is b >= 28?
False
Let y = -7393 + 14446. Which is smaller: 7052 or y?
7052
Let x be (1 - -1) + -5 + (6 - 2). Let c be (-201652)/(-836) + x/(-2)*-2. Let s = 242 - c. Which is greater: -1 or s?
s
Let j(c) be the second derivative of -7*c**5/20 + c**4/2 + 2*c**3/3 - 7*c**2/2 + 49*c + 2. Let x be j(