e (a/3)/(4/3). Is w <= k?
False
Let t be -193 + 63/(-5 + -4). Let g = t + 3. Is g smaller than -196?
True
Let u be 6/(-9) + (-8)/(-12). Suppose 115 = -u*h - 5*h. Suppose -5*x - 125 = -10*o + 13*o, 0 = 2*x + 5*o + 69. Is h >= x?
False
Suppose -5*l = -l - 4. Let t be (-6 - (-30882)/(-24))/((-290)/(-24)). Let u = t + 107. Which is bigger: u or l?
l
Let h = -95348 + 133816. Which is smaller: 0 or h?
0
Let c = 0.54 + 0.31. Let r = c + 13.15. Let j = r + -13. Which is bigger: 0.043 or j?
j
Let m = -62 - -62. Suppose m = -17*h - 122 + 20. Which is smaller: h or 4?
h
Let l = 1483 + -2001. Which is smaller: -520 or l?
-520
Let j = -458.76 - -402. Let q = j + 57. Let i = q + 1.76. Which is greater: -16 or i?
i
Let w = -4709.82 + 4546. Let h = w + -1.18. Which is smaller: -2/7 or h?
h
Let j = 84.9 + -63.9. Suppose 8 = -3*l + p, -l - 4*p = 4*l - 15. Let v be (l/6)/(1/(-2)). Do j and v have the same value?
False
Let t be (-39611)/(-429) + (0 - (-2)/3). Which is greater: 91 or t?
t
Let u = 7599 - 6957. Which is smaller: u or 4?
4
Let b be 1/8 - 31/((-6944)/(-5500)). Suppose -4*h + 2*h = 50. Which is smaller: h or b?
h
Let l(j) = -3*j**2 - 13*j + 12. Let g be l(1). Let k be -2 + 2431/1084 + 1/g. Which is greater: k or -1?
k
Let z be (1 - 33/36)/(10/(-6)). Let y = -37/60 + z. Let x = -185 + 185.4. Is y >= x?
False
Let a(q) = 4*q**3 - 21*q**3 - q**3 - 13*q + 20*q**3 - 2 + 3*q**2. Let z be a(-4). Which is bigger: -148/5 or z?
-148/5
Let v = -4.8 + -221.2. Let x = 226 + v. Are x and 0.7 non-equal?
True
Let r = 193 - 106. Let u = r - 83. Let d be 2/u*4*(-14)/(-4). Is 6 smaller than d?
True
Let d = 4198 - 4199. Are d and 56/75 nonequal?
True
Let u(m) = -15*m - 1. Suppose -3 = -10*d - 13. Let g be u(d). Let r(l) = 2*l**2 - 28*l - 2. Let k be r(g). Which is greater: k or -0.3?
-0.3
Let i(q) = q**2 - 6*q - 6. Let b be (-4)/(-20) - -29*3/15. Let o be i(b). Let h be o/(-33) - 390/(-33). Which is smaller: 14 or h?
h
Suppose m + 10*f = 7*f - 495, -2577 = 5*m - 2*f. Which is smaller: -514 or m?
-514
Let l(o) = -2*o**3 - 19*o**2 - 21*o + 10. Let n(p) = 5*p**3 + 39*p**2 + 43*p - 21. Let j(c) = 7*l(c) + 3*n(c). Let g be j(17). Which is smaller: -64/7 or g?
g
Let l(u) = -82*u**2. Let f be l(-1). Let j = f + 93. Suppose -6*t - j + 17 = 0. Which is bigger: t or 2/99?
t
Let t be 170/(-25) - -6 - (1776/(-100))/2. Which is greater: t or 8?
t
Let l = 39203 + -39204. Let h be 2/(-8) - 1661081/(-6455204). Let y = 2/5623 - h. Which is greater: y or l?
y
Let k = 2268095/183 - 12394. Do 0 and k have the same value?
False
Let s be (3 - 4)*-6 - (2211 - 24). Which is smaller: s or -2180?
s
Let o = 87 + -69. Let s = o - 16. Let b be (11/2)/((-1)/s). Is -8 at most as big as b?
False
Let j = 1.9 + 5.1. Let q = 8 - j. Let p = 15.003 - 2.003. Is q less than p?
True
Let v be (0/2)/4*-1. Let x(s) = 80*s + 23. Let b be x(-10). Let y = -18643/24 - b. Which is bigger: y or v?
y
Let c = 1728.62 + -1709.8. Is c bigger than 2/5?
True
Let a be (32/26 + -1)/(-13 + (-1335)/(-30)). Which is bigger: 0.01 or a?
0.01
Let i = 4 + -2. Suppose 30 = 2*u + 22. Suppose -2*l + 5 = -5*n, 0*n = 2*n - u*l + i. Are -1/8 and n nonequal?
True
Suppose -3*a = -a. Let k be (-96)/264 + (-34306)/99. Let d = k + 347. Is d at most a?
False
Let c be -1 - ((-5)/16 + -1). Let y be -3 + (-22)/(-7) + 13/7. Suppose 6*w = 5*w - b - 5, 6 = y*w - 2*b. Which is smaller: w or c?
w
Let b(q) = 18*q - 237. Let s be b(-11). Let r = s + 554. Which is smaller: r or 121?
r
Let h = 180.89 + -1817.89. Which is smaller: 1 or h?
h
Suppose 4*y + 3369 = 3*q, -4*q - 22 = -2. Let v = y - -845. Do -54 and v have different values?
True
Suppose 72*z - 95 - 52 = 141. Suppose 0 = q - 10 - 0. Which is smaller: q or z?
z
Let v be ((-1)/3)/1*-15. Let k be 1/v + (-57)/135. Let h = -1/3082 + 6167/9246. Which is smaller: k or h?
k
Let a be (-1)/(-1*(0 - -1)). Let y be (0 - (-3)/32)*2786/(-597). Which is smaller: y or a?
y
Let j be 44904/16*((-75)/45 - (-1 + -2)). Is j greater than or equal to 3737?
True
Suppose 0 = -f + 7*m - 8*m + 833, 0 = -3*f - 4*m + 2496. Let z = f + -560. Is -0.1 >= z?
False
Let o = 27123 + -27176. Which is bigger: 183 or o?
183
Let v = -135 + 74. Let s be 11/(-33) - v/3. Suppose -5*f = s - 45. Which is smaller: 4 or f?
4
Let f = 20593/4 - 5148. Which is greater: -1519 or f?
f
Suppose -472 = -26*p - 12198. Let c = 461 + p. Is c at least as big as 8?
True
Let y(h) = 6*h - 4. Suppose 0 = -b + 6*b - 10. Let m be y(b). Let i = m - 7. Is -1/28 smaller than i?
True
Let n = -5 - -4.9. Let r be ((-13)/(-12)*4 + -4)*(-512)/896. Is n at least r?
True
Suppose -53*i + 65*i - 60 = 0. Which is greater: 23 or i?
23
Let s = -6541559/11036 - 5407/356. Let v = s - -608. Which is smaller: v or 0.1?
v
Let c be 6 + (-135 - 4) + 1. Let n = -28 - -16. Let g be 9/n + (-107)/c. Which is bigger: 1 or g?
1
Let g = -7721 - -7741. Let q = -115 + 271/2. Are g and q non-equal?
True
Suppose -2*s = 8*s - 10. Let f be -3 + s + 0 + -5 + 9. Suppose -3*r - f*r = 4*g + 13, 3*r = 9. Which is bigger: 0 or g?
0
Let q = 1688 - -5133. Are q and -1 equal?
False
Suppose 21*m - 5 = 20*m. Suppose -2*s + 21 = -7*s - 3*n, -5*s = -m*n + 5. Let z(r) = -4*r**2 + 4*r + 7. Let w be z(s). Which is smaller: -40 or w?
w
Let p be 0 + -2 - (-7 + 3). Suppose 0 = -4*a - 3*h - 16 + 4, 0 = p*a + 2*h + 6. Let s be (a/(-6))/((-4)/(-8)). Which is smaller: -1 or s?
-1
Let x(v) = -1030*v - 5351. Let f be x(-14). Which is smaller: f or 9067?
9067
Let c be (-2 - -178) + 5 + -3. Suppose -c*q = -183*q. Is q at most 2.6?
True
Let r(i) = -704*i - 2207. Let c be r(-6). Which is greater: 14118/7 or c?
c
Suppose 7*f + 1088 = -186. Let a be (-158)/f + (3/1)/(-3). Let w = -486/455 + a. Is -2 greater than or equal to w?
False
Suppose -j - 98 = -15*j. Suppose -9*c + 4*l + 14 = -j*c, 4*c + 5*l = -11. Which is smaller: 2/1205 or c?
2/1205
Let h = -454.2 - -454. Let z = -30 - -21. Let t be (-24)/z + -3 - -1. Is t less than h?
False
Suppose 4*s + 5 = -s, 4*q - s = 5. Let k be 36/(-8)*(q - 5). Suppose k*u - 70 = 11*u. Which is bigger: 8 or u?
u
Suppose 5*k - 2055 = -3*w, 0 = -k - 14*w + 10*w + 428. Is -2 >= k?
False
Let f(c) = c**3 + c**2 - 3*c - 3. Suppose -2 = 5*z + 18, 5*z + 25 = -5*q. Let g be (-1 - -6)*q*(-28)/(-70). Let d be f(g). Are d and -6/47 unequal?
True
Let l be 0/(((-24)/18)/((-9)/(189/(-28)))). Is -18/179 bigger than l?
False
Let s(n) = n**2 + 14*n - 300. Let v be s(-36). Which is smaller: 488 or v?
488
Let c be -2 - (-9)/6 - 10524/(-24). Let j = c - 21023/48. Which is bigger: j or -1/5?
j
Let f(b) = -2*b - 50. Let t be f(-25). Suppose -2*l + l - 20 = -5*r, 4*l + 20 = t. Does -4 = r?
False
Let x be (2/(-14))/(37/(2582748/(-36))). Is x less than or equal to 27?
False
Let q = 478/3467 + -63170804/458236857. Is q at least as big as 1?
False
Let z(i) = -i**2 + i. Let s be (1 - 2/3) + 1/(-3). Let j be z(s). Are 2/85 and j equal?
False
Suppose -3*v + 130 = 2*t, -5*v + 13*t = 8*t - 200. Let k be (-3)/v - (-254)/28. Is k less than 69/8?
False
Let v = 4015 + -297109/74. Which is smaller: 1 or v?
v
Let l be ((-9)/(-6) + -1)/((-600)/(-48) + -13). Which is bigger: l or 48/119?
48/119
Let z(h) = -7 - 18*h**2 - 12*h + 13*h**2 + 6*h**2. Let y be z(14). Let c be (-2)/(-6) + y/27. Which is greater: 0 or c?
c
Let a = -25 + 34. Let r(w) = 144*w**3 + 1 - 3 - 4*w**2 - a*w - 143*w**3. Let o be r(5). Which is greater: o or -21?
-21
Let w = 624173/43 + -14515. Which is greater: 2 or w?
2
Let l = -9026 + 9038. Let v = -20 + 38. Which is greater: v or l?
v
Suppose -17936 = -866*h + 925*h. Which is smaller: -301 or h?
h
Suppose -15 = o - 4*o. Let y = -1 + o. Suppose -2*p = -i, 4*i - 12 = -0*p + 2*p. Which is greater: y or p?
y
Suppose 5*l - 25*x + 27*x = -774, 2*l = -2*x - 318. Which is smaller: 2 or l?
l
Suppose 861*p - 2*w = 857*p - 2374, 4*w - 2368 = 4*p. Is p at most -595?
True
Let i(q) = q**3 + 14*q**2 + 11*q - 8. Let y be i(-13). Suppose -4*n = -13*n - y. Are n and 2 equal?
False
Let a(y) = 197*y - 2165. Let z be a(11). Which is smaller: 56/97 or z?
56/97
Let u(t) = -15*t**2 + 2*t + 2. Let b be u(3). Let f = b - -102. Let x be ((-6)/(-5))/((-80)/f + -3). Which is bigger: 9/2 or x?
x
Let c be ((-1)/(1*-2))/(25 + 15216/(-608)). Which is smaller: -275 or c?
-275
Let v = 8 + -9. Let d = -1441 + 44645/31. Let h = -271/434 - d. Which 