0 = 4*w + w - 5*l - 130, 5*l - 140 = -5*w. Which is bigger: z or w?
w
Let y be (-745)/11*1122/110. Let v = 691 + y. Which is bigger: v or 19?
19
Let q = -0.1092 - -0.0092. Which is smaller: q or 163?
q
Let f = 13084 - 13337. Is f > -29?
False
Let z be (1*2/4)/((-1)/(-2)) + 81. Which is smaller: z or 73?
73
Suppose -2*y - 1 = 4*m - 15, -3*y = -3*m + 6. Let s be 660/1342 + m/(-6). Are s and -2/5 nonequal?
True
Let y = 253 + -249.629. Let g = 0.231 - y. Let v = 0.14 + g. Which is smaller: v or 6?
v
Let b = -125490 + 641111/5. Suppose -o - 5 = -6*o, -3*x - 8168 = -5*o. Let g = x + b. Which is smaller: 10 or g?
10
Let a = 105440 + -105440. Let x = -0.31 - 1.79. Let m = x - -2. Which is smaller: m or a?
m
Let j(c) be the first derivative of -3*c**2 + 3*c + 6. Let z be j(0). Suppose -2*u + z*u = 2*s + 14, -10 = -3*u - 2*s. Which is greater: u or 7?
7
Let y = 51 - 27. Suppose -18 = 4*z + 2*i, -5*z + 0*i - 4*i = y. Let a be z/10 - 4/((-1280)/268). Is a greater than or equal to 0?
True
Let v = -27.94 - -35.44. Is -11 > v?
False
Let s = -250.89 - -251.89. Which is greater: s or 0.24882?
s
Let f = 1.025 + -0.025. Let o = -1.396 - -11.686. Let a = o - 0.29. Is f smaller than a?
True
Let n = 90767/1276489 + 7/3121. Which is bigger: n or 1?
1
Suppose 5*i + 3 = 8. Let n be (-6)/33 - 448/77. Let y be (62/1302)/(1/n). Which is greater: y or i?
i
Let n be (3000/35)/(-15) + 6. Let p = 6.5 - -0.5. Let f = 7 - p. Which is greater: n or f?
n
Let m = -10316 - -10358. Which is smaller: 0.01 or m?
0.01
Let w = -8878 - -8887. Which is bigger: 5 or w?
w
Let r be -2 - (-15 + 18 + (1 - 1)). Let o be 1660/(-15)*(r + 26/4). Which is smaller: o or 0.2?
o
Let n be (-15 + (-740)/(-50))/(4/(-8)). Let r = 92/17 + -18/85. Which is bigger: n or r?
r
Let f be (63/(-126))/(2/4). Let s be (f/(-1779))/((-3 - 0)/6). Which is smaller: -1 or s?
-1
Suppose -5*y - q = -10, -2*y + 3*q = 2*y + 11. Let w be -2 + 0 - y*(1 - -113). Is -116 at most w?
True
Suppose 3*t - 4*l = 27, 3*t = -0*t - 4*l + 27. Let v be (t/135)/(40/(-12) - -3). Which is greater: 1/176 or v?
1/176
Suppose -837*c + 711*c + 221886 = 0. Is c < 1766?
True
Let l be 3/(-4)*(-800)/24. Suppose 33*a - l*a = 1360. Which is smaller: a or 339/2?
339/2
Let b(t) = t**2 + t. Let u(a) = -3*a**2 + 22*a + 8. Let n(m) = -4*b(m) - u(m). Let p be n(-27). Which is smaller: -34 or p?
p
Let i(g) = 72*g - 905. Let a be i(7). Which is smaller: -404 or a?
-404
Let q = 41 - 53.4. Let h = q - -12.43. Is 0.6 greater than or equal to h?
True
Let c(m) = -m**2 - 7*m - 47. Let f be c(-14). Let n = f - -146. Is 0 at most n?
True
Let s be -10*(-2)/6*(8 + -5). Suppose 5*z = s*z - 30. Let l be z + -2 - 60/16. Which is bigger: -50 or l?
l
Suppose 5*u - d = 2*d + 25, 0 = u - 2*d - 5. Suppose -u*l = -3*r + 13, -4*r + 12 = -2*l - 2*l. Let m be (-2)/36 - (-3)/l. Is m equal to -2?
False
Let x = -20737 + 20004. Is -725 < x?
False
Let l = 0.07886 + -0.08886. Which is smaller: -5/9 or l?
-5/9
Let s = 14255 - 8952141/628. Is -1 < s?
True
Let h = 2 + -3. Let l = -49822 + 3188605/64. Is l bigger than h?
True
Let o = 87418826/171 - 511227. Let g = -108/19 - o. Is g not equal to 0?
True
Suppose 4*s + 25 = 2*s + r, -5*r + 17 = -s. Let n be (-4)/(80/s) + (-24)/(-10). Do n and 2 have the same value?
False
Let z = 13.22 + -1.92. Let v = -3.8 + z. Let f = v + -7.47. Which is bigger: 3 or f?
3
Suppose 3*m - 5*o + 852 = 0, -m + 2*m - 5*o = -284. Let q = -298 - m. Is q greater than -11?
False
Let j = 4313303/230 - 18754. Let c = 1/115 + j. Which is greater: c or 0.024?
0.024
Let j = 11367/770 - 1129/77. Let s = -21 - -7. Let h = s + 44/3. Is j != h?
True
Let a = 771 + -767. Suppose -10*s - 52 = a*j - 9*s, 0 = -2*j + s - 32. Which is bigger: -12 or j?
-12
Let q = 752 - 752. Suppose -v + 4*h + 302 = q, 2*v + 2*v + 2*h = 1172. Are -1 and v non-equal?
True
Let m = 1462 - 1474.41. Let s = -40.9 + 29. Let g = s - m. Is 1 at least g?
True
Let f(i) = -325*i + 7480. Let u be f(23). Suppose 0*h + 5*k - 4 = h, 3*k = -2*h - 8. Which is smaller: u or h?
h
Suppose 12*r - u - 222 = 13*r, 3*u = -r - 226. Is -162 bigger than r?
True
Let p = 4856671273/87005 - 279103/5. Let y = p + -502997/4733072. Let f = y + 3/68. Is f not equal to 2?
True
Let x(j) = -j**3 + 23*j**2 - 20*j - 42. Let m be x(22). Let n be (-5865)/(-663) - (-2)/26*m. Does 68/9 = n?
False
Suppose -21*w + 18*w - 12 = 0. Let b be (-2 + -70)/(-2)*12/(-132). Is w > b?
False
Suppose -2*a = -2*j + 1 + 3, -3*a = 3*j - 6. Let t be 2*(1 - j/(-4)) + -3. Let p be 3 + -2 + 0 + 4. Which is smaller: p or t?
t
Let p = -3727 + 3726.981. Which is greater: 14 or p?
14
Suppose -2*d + 3*h - 4 = 0, -13*d = -11*d + 3*h + 4. Let v be 6*(d - 78/(-36)). Let n be -5*(1 + (-199)/205). Which is smaller: n or v?
n
Let y be 525/1380 + (-25)/20. Suppose 3*g = 4*g + 1. Which is smaller: g or y?
g
Let w = -30617 + 37628291/1229. Are w and -1 equal?
False
Suppose 41*g - 16236 + 3444 = 0. Is g at least as big as 316?
False
Let p = 110.87 + -111.2325. Is 2 greater than p?
True
Let o be 1*-1 - 284/(-276). Let h = -98 - -98. Suppose -7*v + 4*v + 7 = -b, h = 3*v - 6. Which is bigger: o or b?
o
Let q be ((-7)/2 - (-56)/14)*8. Let c(p) = 9*p**2 - 37*p + 1. Let u be c(q). Which is bigger: u or -0.4?
-0.4
Let t = -31.9 - 217.1. Let p = -247 - t. Is p greater than or equal to -2.4?
True
Let j = 5 + -4. Let k be j - (13/5 + -3). Let r = -80 - -75. Is r at most k?
True
Let n be ((-51)/(-24) - 2)*(-15 - -23). Does -7/1647 = n?
False
Let m = 13.589 + 0.511. Which is smaller: m or -9?
-9
Let d = -402.91 - -371.929. Let w = d - 0.019. Which is bigger: w or 3/2?
3/2
Let d = -12896 + 38140/3. Let q be 4000/(-22) + (-2)/11. Which is bigger: d or q?
q
Let j = 72 + -120. Suppose 5*z = -k - 17, 0 = 27*k - 29*k + 4*z - 118. Which is bigger: j or k?
k
Let c(v) = -7*v - 14*v**2 + 13*v**2 - 2*v - 8*v + 2. Let b be c(-17). Suppose 5*m - b*z = 138, 0 = m - z + 2*z - 29. Is m at most as big as 28?
True
Let m = -10545 - -10497. Are m and -47 unequal?
True
Let x = 27/14 - 10/7. Let p(q) = -q**3 - 2. Let s be p(-3). Let f = s - 74/3. Is f less than or equal to x?
True
Let y(z) = -2*z**2 - 87*z + 452. Let n be y(5). Suppose -2*i - 59 = 9. Which is smaller: n or i?
i
Let t = -579109/5560 - -2083/20. Are t and 0 nonequal?
True
Let n(v) = v**3 + 10*v**2 - 9*v + 27. Let m be n(-11). Suppose -2*s = l - 104, 0 = -m*l - 3*s + 104 + 451. Let g = 114 - l. Are 2/27 and g equal?
False
Let l = -9990 - -759351/76. Which is greater: -2 or l?
l
Let x = 76 - 68. Suppose 3*u = -19 - x. Let v = u - -17. Which is bigger: v or 7?
v
Let r = -3079.07 + 3079. Is r less than -262?
False
Let h be 65228/(-22) + (17 + -16)/(1 - 12). Which is greater: h or 4?
4
Suppose -6*k - 4*a - 23227 = -11*k, k = 4*a + 4639. Is k greater than -1/2?
True
Suppose c + m = -c + 23, -37 = -3*c + m. Suppose -c = 8*n + 4. Let k be (1 - (-49)/3) + n. Which is smaller: 2/3 or k?
2/3
Suppose 3*t - 7*t - 5*g - 23 = 0, 4*t = -3*g - 17. Let k be ((-58)/(-116))/(0 + t/(-8)). Is 7/5 at most k?
True
Let n = 129 + -137. Let c be ((-20)/6)/(n/48). Is 22 less than or equal to c?
False
Let s = 26175/7 + -3739. Which is smaller: 504.8 or s?
s
Suppose 518*f = 523*f - 110. Which is smaller: f or 51?
f
Let d = -3332 - -272. Is -3062 at least d?
False
Let s be (-8)/(-12)*28170/4. Is s bigger than 4695?
False
Suppose 4*y + 2*d = 206, 0 = -y + 5*y - 4*d - 200. Suppose -6*r + 21 = -y. Suppose 0*s = -2*o + 3*s + 14, 4*s + 32 = 4*o. Which is bigger: o or r?
r
Let k be 26/32 - (-1 + 2). Let n(h) = 8 + 2 - 3*h - 2*h + h + 5*h. Let j be n(-11). Which is greater: j or k?
k
Let t = 11.842 - 11.742. Which is greater: t or 44/21?
44/21
Let k = -3188 - -3189. Which is greater: 94/9 or k?
94/9
Let c = 68 + -98. Let d be 165/(-88)*(0 + c). Is d greater than 56?
True
Let g = 480109 + -145472828/303. Let s = g - -1/101. Which is smaller: 33 or s?
s
Let s = -65/107 - -3223/4601. Is s equal to 2/15?
False
Let r = 1.28 - 172.58. Let t = r - -171. Let n = -1 + -1. Is t < n?
False
Suppose 0 = 3*r - 2*v + 5, 3*r - 31 = -48*v + 41*v. Which is smaller: 1/914 or r?
1/914
Let l = 23.0497 - 16.0497. Let d = 4 - 7. Which is greater: d or l?
l
Suppose 53*q - 25 = 48*q. Suppose 4*r = 4*b + 52, 4*b - 73 = -5*r + q*b. Which is greater: 14 or r?
r
Let u = -2023.6 + 597.6. Which is bigger: 1/5 