7/9. Let l = -102 - m. Which is greater: s or l?
l
Let a(c) = -7*c**2 + 232*c - 54. Let b be a(33). Which is greater: -173/8 or b?
b
Let o(b) = -b**2 - 25*b - 71. Let f be o(-22). Let h be 17/(-85)*f/(-1). Which is bigger: h or -10/19?
-10/19
Let p = 1530 - 1696. Let a = -579 + 411. Which is smaller: a or p?
a
Let x = 38848 + -38849. Which is smaller: 67/317 or x?
x
Let o = 2662 + -7987/3. Suppose 12 = 3*g, -3*y = -2*y + 3*g - 6. Let a be y/15*12/40. Is o at most a?
True
Let g(d) = 6*d**2 - 4. Let n be g(3). Suppose 3297*a + 446 = 3306*a + 149. Let c be 11/a - (n/6)/1. Which is bigger: -28/3 or c?
c
Let v = -0.27 + 0.3. Let h = -296.33 - -296.2. Let l = v + h. Is 49 at least l?
True
Let n be (-1*6/(-8430))/3. Let i = 75839/130665 + n. Which is smaller: i or 2?
i
Let u = 89 - 90. Let v be (-3 - u - 2)/109. Does -1 = v?
False
Let n be (60/80)/(126/(-1624)). Is n != 11?
True
Let x(p) = 7*p + 82. Let d be x(-8). Suppose -i = 4*o - 156, -o + 16 = i - d. Are o and 35 nonequal?
True
Suppose 105 = -2*q - 269. Let b = q + 182. Which is smaller: b or -120/19?
-120/19
Let l(o) = 74*o + 7096. Let h be l(-96). Let i = 15 + -21. Is h > i?
False
Suppose 4 = 2*r - t, -8 - 7 = -3*r - 3*t. Suppose 3*k + 12 = 0, 3*k - 77 = -3*f - 74. Suppose -2*m + 100 = f*x, -r*x - x = 2*m - 82. Is 20 >= x?
True
Let h = 0 + 8. Suppose 6*r - h*r = 118. Is r not equal to -57?
True
Let z = 20713 + -144994/7. Let b = 7 - 7.06. Is z smaller than b?
True
Let z = -8192 - -8119. Suppose -4*w - 4*o = 296, -w + 0*o = 4*o + 71. Which is smaller: w or z?
w
Let j(v) = 3*v**3 - 4*v + 3. Let h be j(2). Let t be (-12976)/(-704) - 4/22. Which is smaller: h or t?
t
Let y = 25 + 1. Suppose 0 = -6*k + 32 - y. Is 5/137 bigger than k?
False
Let q = 152 - 236. Let t = -547 + 632. Let g = q + t. Which is smaller: 6 or g?
g
Suppose -22*b - 17389 - 2191 = 0. Which is bigger: -6232/7 or b?
b
Let h = 2097 - 12581/6. Are -0.98 and h unequal?
True
Suppose 21*i + 45 = 12*i. Let h be (-108 - (-2 - i))/(-5). Are 22 and h nonequal?
True
Let f = 370 + -50. Let i = f + -353. Which is smaller: i or -35?
-35
Let y = 385843 + -606159307/1571. Are 0 and y nonequal?
True
Let x = -11 - -11.1. Let t = 142927/6380 + -3/1276. Let p = 346/15 - t. Are p and x non-equal?
True
Let j be 7/((-28)/8) + (-8 - -25). Which is greater: j or 71?
71
Let m = -84 - -92. Suppose -m = 6*l + 322. Let u be 1/(l/65) + 1. Which is smaller: -1 or u?
-1
Let p = -16.7 + 16.6. Let u = -0.4084 - -0.3984. Which is smaller: u or p?
p
Let u = -80 + 80. Suppose 0*s + 5*w + 18 = s, 4*s + 5*w + 3 = u. Suppose -s*o + y = 6*y + 12, -5*y = 2*o + 8. Does -4 = o?
True
Suppose 94*f - 14 = j + 98*f, 4*j + 2*f = -14. Let a = -273 + 811/3. Which is bigger: j or a?
j
Let n = 144 - 90. Let k = -52.97 - 0.73. Let i = k + n. Which is bigger: i or 7?
7
Let u(j) = j - 5. Let h(c) = 7*c + 8. Let w(a) = 3*a + 4. Let y(t) = -4*h(t) + 9*w(t). Let g be y(-5). Let z be u(g). Which is greater: z or 27/5?
27/5
Let b = 4.4953 - 0.4953. Which is smaller: b or 0.193?
0.193
Suppose -k - 5 = -6*k. Let z = -5235 + 539207/103. Is z smaller than k?
True
Let v = -6.48 + 5.9. Let y = -10861.8 - -10861. Let x = y - v. Are x and -2 equal?
False
Suppose 5*x - 4*a = -1157, -x + 39 - 253 = 5*a. Are -233 and x equal?
False
Let l be 12020/(-15)*(-42)/(-65472). Let g = l + 45/88. Which is smaller: g or 0?
g
Suppose r - 5*a + 0*a + 37 = 0, 0 = -r + 3*a - 39. Let u = r - -31. Let q be u/(-10) - (-1 + 4 + -1). Which is greater: -2 or q?
q
Suppose -10*i + 13*i - 4041 = 6*j, 2*i = 2. Which is smaller: -676 or j?
-676
Let u = -1583 - -115557/73. Let h = 4 - 3.9. Which is smaller: u or h?
u
Let g(s) = 35*s - 1102. Let k be g(31). Which is greater: -28 or k?
k
Let n(r) = -r**3 - 13*r**2 - 13*r + 8. Let m be n(-12). Suppose -12*d + 2*i = -10*d, 0 = 5*d - i + m. Which is greater: d or -19/3?
d
Let a = -38 + 203. Let x = a + -164. Which is greater: x or 3?
3
Suppose 8 = -29*x - 12 + 20. Is x at most 1/1196?
True
Let n = 1.99581 - -0.00419. Which is greater: -2944 or n?
n
Let z = -266 - -273. Is z less than -14?
False
Let m(j) = -j**3 - 22*j**2 - 14*j - 31. Let q be m(-21). Is q at most -192?
False
Let t(b) = -173*b - 12284. Let v be t(-71). Which is greater: v or -80/489?
-80/489
Let k = 63.2 - 19.1. Let l = k + -21.1. Do -9 and l have different values?
True
Suppose 5*x = -2*l - 341, l = -5*x - 64 - 279. Is -198 smaller than x?
True
Let k be (192/(-28))/(3/(-42)). Let t be k/(-240) + 106/(-10). Is -10 less than t?
False
Suppose 0 = 4*b - 7*b. Let o be (-3)/(-6) - (0 + (-20)/8). Let i be (-18)/(-52) + (6/(-4))/o. Which is greater: b or i?
b
Let h(k) = -16*k - 111. Let x be h(-27). Let j = x - 155. Is j >= 167?
False
Suppose 4*n - 2*k + k = 18, -3*n - 2*k = -8. Suppose n*u = 75 - 67, u - 2 = -5*x. Let v = -207/2 - -2901/28. Which is greater: x or v?
v
Let p(m) = -306*m - 1191. Let z be p(-4). Which is smaller: 384 or z?
z
Let u(a) = -65*a - 2167. Let n be u(-33). Is n > -621/29?
False
Let g = -86.14 + -1023.86. Which is smaller: g or 2/7?
g
Let o = -1091 + 1101911/1010. Is 0 greater than o?
False
Let n be (396/1320 - (-278)/(-60))/(3*2). Is 0 at least as big as n?
True
Let m = 26502/37 - 7548926/10545. Is m <= 1?
True
Let j = -1160 - -1012. Are -736/5 and j equal?
False
Let r = 7 - -7. Let x(l) = l**3 - 13*l**2 - 14*l - 14. Let i be x(r). Let z = -31 - i. Is -17 bigger than z?
False
Let t = 11394 + -11067. Is 327 smaller than t?
False
Let m = 0.3 + -0.2. Suppose 2*t + u = 296, 5*t + 4*u + 0*u = 737. Let v = t - 135. Is m bigger than v?
False
Suppose 2*l - 104 = -2*v - 0*l, -3*l + 12 = 0. Suppose -208 = -4*o - 4*y, -4*y + 17 = 1. Let p = v - o. Which is greater: 0.05 or p?
0.05
Suppose 6*x - 5*x - 5 = 0. Suppose -4*i + 458 = -0*i - 2*t, -x*t - 233 = -2*i. Which is bigger: 115 or i?
115
Let h(a) = 3*a + 11. Let x be h(-6). Let d be (x/14)/(1/48). Let v be ((-4)/d)/(2 + -3). Is v equal to 0?
False
Let k = 3046 + -2923. Which is greater: k or 110?
k
Let t = -1686 - -11066. Is 9379 at least as big as t?
False
Suppose -2*b - 4 = 28. Let p = -4090 + 4074. Is p < b?
False
Suppose 5*c - 3 + 8 = 0. Let k be c + ((-35)/(-9))/7. Let m = 1.82 - 1.92. Which is smaller: k or m?
k
Let n = -215 + 222. Let j(o) = 39*o - 33*o + 0*o**2 + 7 - o**2. Let t be j(n). Are 8/11 and t non-equal?
True
Suppose -813 = -2*u - 3*k + 760, 9 = k. Which is bigger: u or 775?
775
Let m = 94.911 - -0.089. Let q = m - 147. Let t = q + 51.3. Which is greater: -0.2 or t?
-0.2
Let u = 11666 - 11698. Which is smaller: u or -166?
-166
Let z = -88047 + 87978. Suppose 2*x = 4*x + 140. Which is smaller: z or x?
x
Suppose 2*d = -0 + 2. Let s be 5 + 1392/(-236) + d. Is -1 less than s?
True
Suppose -26731 = -5*b + h + 19743, 2*b = 3*h + 18613. Is b smaller than 9295?
True
Let m = 35/39 + -1163/1209. Let n(b) = b + 1. Let c be n(3). Let f be (-4)/(-6)*6/c. Which is greater: m or f?
f
Suppose 110 = 4*f + 5*u + 1901, -5*f + u - 2275 = 0. Are -3180/7 and f equal?
False
Let o(m) = -m**2 - 15*m + 11. Let n = -11 - 25. Let g = n - -22. Let k be o(g). Is k equal to 24?
False
Let r(a) = 79*a - 1184. Let b be r(15). Let l = 131633/87 + -1513. Is l at least as big as b?
False
Let k = -126399 - -1148587709/9087. Is k at least as big as 1?
False
Suppose 9*n + 3*d + 148 = 7*n, 0 = 5*n - 3*d + 370. Let t = n - -84. Let j be (t/1325)/(6/10). Which is greater: 0 or j?
j
Let d(c) = c - 4. Let i be d(8). Suppose 0 = 2*v + 12 - 16. Suppose 6*g - v = i*g. Which is smaller: g or 9/13?
9/13
Let u = -240.1 + -19.9. Let t = 262 + u. Which is smaller: -96 or t?
-96
Let z be (1001/(-11))/((-1)/(-4)). Let s be (-2*(-3)/(-630))/(z/130). Is s less than 1?
True
Suppose -33 = 3*t - 14*t. Suppose -4*a + 0*w = 2*w - 72, -3*a = t*w - 51. Let j be (2 - (-3 + a/4))/1. Which is smaller: 1 or j?
j
Let w = -15.1 + 7.4. Let d = 3.04 + -7.14. Let g = d - w. Which is bigger: g or -1/2?
g
Let p(v) = 2*v**2 - 40*v. Let k be p(20). Let m(o) = o**3 + 6*o**2 - 6*o - 5. Let f be m(-7). Let t be f/(-126)*(-2)/4. Is t greater than or equal to k?
False
Let m(y) = 5*y**2 + 95*y + 188. Let z be m(-2). Is z less than or equal to -175?
False
Let m = 9066 + -9056. Let t be 24/(5 - 2) + -3. Which is greater: t or m?
m
Let h = -4297 - -10737. Let u be ((-2)/(-4))/(-13 - (-83706)/h). Is -231 greater than or eq