2). Let g = 3/16 - -11/112. Which is smaller: u or g?
g
Let l be ((-60)/66 + (-4)/44)*730. Are -730 and l equal?
True
Suppose 3*f + 0*s - 2*s = 152, -2*s = -4*f + 202. Let c be 10/6*f/(-235). Let i = c - -1/47. Is 2 smaller than i?
False
Suppose -t + d + 26 = -2*d, -2*t = -4*d - 54. Let v = 1 + t. Which is bigger: 2/7 or v?
v
Suppose 9 = -12*c + 21. Is -10/21 smaller than c?
True
Let b = 116 + -231. Which is smaller: b or -5?
b
Let b = 0.2 - -1. Let i(v) = v**2 + 16*v + 16. Let u be i(-15). Which is bigger: b or u?
b
Let q(o) = -16*o + 17. Let j be q(4). Let s = j + 21. Is -24 > s?
True
Let i = -9 + 9. Let h be 12/9*27/6. Let f be h/(-5) + 8/20. Which is greater: f or i?
i
Let a(p) = p**2 + 5*p + 2. Let u be a(-5). Suppose 0 = -3*j - 2*j - 25, 0 = -3*g + 4*j + 29. Suppose -u = f - g. Is f > -1/10?
True
Suppose 21 - 13 = 4*l. Suppose 1 + 5 = 3*i. Suppose -a - i*a - 3 = 0. Which is greater: l or a?
l
Let p = -2.17 - 85.83. Let z = p + 105. Is z at least as big as -0.1?
True
Suppose -4*q - 2 = -5*v, -v - q - 2 - 3 = 0. Let n be -18*v/(-8)*2. Is -10 < n?
True
Suppose 5*v = -4*i + 69, 0*v + 2*i - 9 = -v. Is 5 less than v?
True
Suppose -2628*u = -2618*u - 70. Which is bigger: 100/13 or u?
100/13
Let h = -2/1177 - 2340/8239. Is 38 at most as big as h?
False
Let y = 4315/2 - 6337/3. Let x = -45 + y. Is 8 smaller than x?
False
Suppose -2*i - 5 = -5*b + 1, 4*b - 14 = -3*i. Suppose 4*k + 2*y + 30 = 0, -b*k - 5*y - 45 = 2*k. Is k at least as big as 1?
False
Let t(a) = -a - 14. Let h(c) = c + 14. Let g(q) = 2*h(q) + 3*t(q). Let s be g(-14). Which is smaller: 11/8 or s?
s
Let p = -1.19 + -113.81. Are -0.1 and p non-equal?
True
Let y = 6.32 + -5.3. Let u = -1.28 - -1.3. Let s = y - u. Which is smaller: s or -1/5?
-1/5
Let v(n) = -n**2 + 12*n + 189. Let w be v(-9). Is w less than or equal to -15/56?
False
Let m = 0.035 - 0.045. Let n = 7 - 6.79. Let x = n + m. Is x less than -2/9?
False
Let f be (-46)/(-6) + (-8)/(-24). Let w(j) = j**3 - 7*j**2 + 7*j. Let g be w(6). Suppose -4*s + f = 4*l, -2*s = -5*s + g. Does l = 0?
True
Let v(c) = c - 1. Let o(q) = -12. Let k(z) = -o(z) + v(z). Let h be k(-11). Suppose h = 5*u - 14 + 34. Is -6 bigger than u?
False
Let m(i) = -8*i**2 + 41*i + 318. Let j be m(-7). Which is smaller: -363 or j?
-363
Suppose -a + 4*h + 3 = 0, -h - 2 = -3*h. Let j = 2099/4 - 517. Is j greater than a?
True
Let b = -2/27 - -230/189. Suppose -3*p = -l - 5, l - 10 = -p - p. Suppose -p*q + 3 = -3. Which is smaller: q or b?
b
Let z be -1 + 0 - (-2 + -1). Let t(f) = -f**2 + 5*f - 1. Let o be t(4). Suppose 5*x + 16 = -4*c, 6 = -2*x - o*c - 6. Which is smaller: z or x?
x
Let f = -709 + 682. Is f at least as big as -113/4?
True
Suppose d = -5*l + 14, -2*l + d + 6 = 3*l. Let j(u) = -3*u + 6. Let h be j(l). Which is smaller: h or -1?
-1
Suppose 29*v = 32*v - 174. Which is smaller: 60 or v?
v
Let m = 30/469 - 1/14. Let k(z) = z - 7. Let x be k(7). Which is smaller: m or x?
m
Let x = -5.2 + 4. Let n = x - -2. Let w = 4 - 3. Which is bigger: w or n?
w
Let l = -23 - -14. Let c = 0.196 + 20.604. Let b = c + -21. Which is smaller: l or b?
l
Let z be (-4)/(-6)*-213*1/2. Do -72 and z have the same value?
False
Let v = -59/18 + 125/126. Which is smaller: v or -2/3?
v
Let k = 3 - 2. Suppose -11*i + 2 = -10*i. Let f be 68/24 + ((-9)/i)/3. Is f less than or equal to k?
False
Let o be 3/(-21) + (-108)/(-21) + -4. Is o equal to 7/4?
False
Let t = 1351564/309 - 4374. Are 0 and t equal?
False
Let y be 0 - ((-2469)/(-21) - -2). Is y <= -120?
False
Let m = -31 + 27. Let r be (18 - -2)*m/(-10). Suppose 0*i = -i - r. Is -0.1 != i?
True
Suppose d + 2*j - 624 = 0, 9*d - 1872 = 6*d - 5*j. Is d != 624?
False
Suppose 3*k + 7 + 2 = 0. Suppose 4*x + 196 = -3*q, -x - q = -3*x - 88. Let c = -228/5 - x. Is c != k?
True
Suppose 0 = -33*n + 63 + 267. Which is smaller: n or 124/11?
n
Let j = -694 - -1159. Are 465 and j nonequal?
False
Suppose p + 0*p = 3. Let l be 9/(3 - 6) + 8 + -1. Let j = p - l. Which is greater: -2/35 or j?
-2/35
Let j = -128.57 - -22.47. Let p = j - -106. Does 1/17 = p?
False
Suppose -3*v = -8 - 1. Suppose v = -5*y + 13. Which is bigger: y or 7/4?
y
Let n be -8 - ((-96)/8 - -5). Let o = 456/4165 + 2/245. Which is smaller: o or n?
n
Suppose d - 3*d - 24 = -5*j, 4*j = d + 15. Suppose 4*h + 2*f + 3 = -29, 3*h + 24 = 5*f. Let u be h + 10 + (-6)/((-2)/(-2)). Which is smaller: d or u?
d
Let i(s) = -1 - 5 + 3*s - s + 4. Let k be i(2). Suppose -x = 3*m - 8*m - k, -x = 3*m + 6. Which is smaller: x or -1?
x
Let c = 2.2 - 6.7. Let y = 2.5 + c. Which is bigger: y or -1?
-1
Let g(r) = -16*r + 7. Let x be g(0). Which is smaller: 0 or x?
0
Let b be 8 - (3/(-3) + 2). Suppose 0 = f + 3 - b, -2*t - 2*f - 6 = 0. Let j = -0.2 - -0.1. Are t and j equal?
False
Suppose -106*m + 81*m = 550. Let n = 51 - 73. Is m bigger than n?
False
Let j(o) = -2*o**2 + 6*o. Let x be j(5). Let p(v) = 2*v**2 - 11*v - 4. Let k be p(3). Is k <= x?
False
Let o be (-74)/(-12) + (5/6)/(-5). Let g be (-3)/o*30/69. Is g > 0?
False
Suppose o - 3 - 26 = 0. Let n = -30 + o. Is 0.2 less than or equal to n?
False
Let o(p) = -2*p - 40. Let x be o(-5). Let s be (14/(-3 + -4))/((-4)/x). Is -15 greater than or equal to s?
True
Let b = -14002 + 266180/19. Is 7 smaller than b?
True
Let k = -1/3871 - -7585/3871. Are k and 1 unequal?
True
Let f(s) be the third derivative of s**6/30 - s**5/15 + s**4/8 - 34*s**2. Let z(u) = -u - 1. Let y be z(-3). Let d be f(y). Is d at most 23?
True
Let w(b) = 6*b + 10. Let o be 11 + -11 + (2 - -2). Let f be o/30 + (-376)/120. Let r be w(f). Which is greater: r or 0?
0
Let y(p) = p - 11. Let s be y(13). Let w(o) = o - 2 + 2*o - s*o. Let k be w(8). Is k bigger than 6?
False
Let n be (2321/(-110) - -7)/((-2)/(-4)). Which is greater: n or -28?
-28
Suppose -4*c + o + 486 - 483 = 0, -8 = -5*c - 3*o. Let d be (-69)/120 + (-1)/(-2). Is c > d?
True
Let j = -1123 - -1124. Which is smaller: j or 9/145?
9/145
Let s = 0.126 - -68.874. Are s and 0.1 equal?
False
Let s be -3 - (-9 + (-24)/(-4)). Suppose -4*m = 10 - 2. Which is smaller: s or m?
m
Let f(h) = -h**2 + 2*h + 2. Let y be f(3). Let n be (-23636)/(-1428) + -16 + 8/(-14). Are n and y nonequal?
True
Suppose -9*i + 4*i - 365 = 0. Which is smaller: i or -74?
-74
Let s = 3.5 - -1.4. Let w = 3.9 - s. Which is bigger: 7 or w?
7
Let w = -14.7 - -68.7. Let d = -125 + w. Which is smaller: 2/3 or d?
d
Suppose -30 = -l - 2*l. Let w = 61 - 25. Suppose 11*z - 135 = -w. Is z < l?
True
Let m = 0.07 + 1.93. Let h = 0 + m. Let i = -4 - -15/4. Which is greater: i or h?
h
Let w = -8/13 + -41/39. Suppose -6*i + 90 = -4*i. Let d be (-1)/4 - i/(-84). Which is bigger: d or w?
d
Let o(l) = 2*l + 35. Let v(w) = 2*w + 35. Let y(t) = -5*o(t) + 4*v(t). Let p be y(-19). Which is smaller: p or 5?
p
Let w be -2 + 14 + (11 - 20). Let x(i) be the first derivative of -3*i**4/2 + i**2/2 - 1. Let j be x(-1). Is w >= j?
False
Let s = -59 - -46. Let m be s - ((-8)/2 - -3). Is m smaller than -12?
False
Suppose 7 = -2*g - 19. Let c = 14 + g. Let t be 2 + (c - 4)/3. Is t less than or equal to 3?
True
Let n(y) = -y**2 + 1. Let p(d) = -d**3 - 9*d**2 - d + 2. Let o(a) = 6*n(a) - p(a). Let m be o(-3). Suppose -2*u = 0, 0 = 3*l - 0*l - 3*u - 3. Does l = m?
True
Let p be ((-26)/4 - 0)*-12. Let d = p - 80. Which is bigger: -1 or d?
-1
Suppose 0 = 4*v - 3*p - 6, -p - 6 = -3*v + 2*p. Suppose v = 2*u + u + 3. Let n be ((-2 - u) + 3)*3. Which is smaller: 5 or n?
5
Let w = -3 - -4. Let h(b) = 7*b**3 - 2*b**2 + 4*b + 5. Let p be h(-2). Let f = 68 + p. Are w and f non-equal?
False
Let b = 28.66 + -29. Let j = b + 0.3. Let o = -0.24 - j. Which is bigger: -0.4 or o?
o
Let i be (-112985)/(-300) + 1/4. Let p = i + -377. Suppose -f - 3 = -3*g, -4*f = 3*g - f + 9. Which is greater: p or g?
g
Suppose 4*o - 3*o - 6 = 2*w, -2*o - 3*w - 23 = 0. Let v be ((-120)/63 - o)/(4/18). Which is smaller: 9 or v?
9
Let m be ((-6)/(-2) - 4)*-5. Let b = 189 - 108. Let j be 2/(-8) + b/36. Which is smaller: m or j?
j
Suppose -319 = -4*f + 9*f - 4*a, -a + 127 = -2*f. Which is smaller: -62 or f?
f
Let o be (32 - 5 - 1)/((-36)/(-134)). Let x = o - 97. Is -1 at least as big as x?
False
Suppose -68*k + 5*z + 187 = -64*k, 0 = z - 1. Which is greater: k or 49?
49
Suppose -14 = -2*n + 2*p, p + 6 = 4*n - 13. Suppose 0 = -n*t - 48 - 28