e (351/7)/(34976/(-1456) - -24). Which is smaller: b or -2282?
-2282
Let f(x) = -23*x. Let d be f(-4). Let s(n) = 19*n - 66. Let l be s(5). Let b(z) = 7*z - 112. Let m be b(l). Which is smaller: m or d?
m
Suppose 3*u = 3*d - 69, 0 = -2*d - 3*u + 58 - 22. Let r(s) = 9*s**3 + 3*s**2 - 4*s - 6. Let n be r(3). Let j = n + -232. Which is bigger: j or d?
d
Suppose 3622 + 7388 = -5*f + j, -4*j = 3*f + 6606. Is f at most as big as -2202?
True
Suppose 0 = p - 7*p + 336. Suppose -4*h - 4*v = -p, 13 = -5*h - 2*v + 86. Is h smaller than 162/11?
False
Suppose -2*a = 16*s - 15*s - 5, s - a + 1 = 0. Let w(b) = b**3 - 5*b**2 + 5*b - 2. Let d be w(3). Let h be s - 6*d/10. Do h and -3 have different values?
True
Suppose 2*i + l = -i + 6, 5*l + 30 = 5*i. Suppose i*s - 1 = -v + 4, 0 = v + 4. Suppose -2 = -s*g - 14. Is g smaller than -6?
False
Suppose -2*r = 4*j - 2, 3*j + j - 11 = r. Let p be (1/(-12))/(j + -1). Let k(s) = -s**3 + 23*s**2 - 44*s + 43. Let n be k(21). Which is smaller: n or p?
p
Let i = -29/184 - -18/23. Let y(t) = 3*t + 6. Let m be y(0). Suppose 26 = b - 5*u, -5 - m = -b + 2*u. Which is greater: b or i?
b
Suppose 234*h + 20 = 239*h. Suppose -h*l = -p + 6 + 6, 3*p - 15 = 5*l. Suppose 0 = -p*i - 2*i + 4*i. Which is bigger: i or 1/78?
1/78
Let w = -2031/49 + -2146/147. Let a = w - -56. Let y = 84 - 85. Is y greater than a?
False
Suppose -1732 = -6*f + 3008. Let g = f - 1175. Let x be ((-11)/(g/14))/((-18)/70). Which is smaller: -1 or x?
x
Let i(t) = 325*t - 31. Let r be i(3). Which is smaller: 2830/3 or r?
2830/3
Let v = -728 - -491. Which is bigger: v or 5?
5
Let j = 2084.12 + -2086. Which is smaller: -3/7 or j?
j
Let h be (-124)/(-312) - 2/4. Let o(s) = 7*s - 21. Let c be o(3). Suppose c = -x - 5*k - 20, -3*k - 20 = -4*x + 2*k. Which is greater: x or h?
x
Let u be (6*6/12)/(-4 + (-41575)/(-10390)). Is u equal to 2078?
True
Let u = -19086635809/1205 + 15839534. Let z be (-22)/(-99) + (-464)/2169. Let r = u - z. Which is smaller: 3 or r?
r
Let z = 172.0477 - 0.0477. Let x = z + -171.9. Which is greater: x or 23?
23
Suppose -20 = 4*t, 41 + 5 = -3*m + 4*t. Is -22 bigger than m?
False
Suppose 419*f + 1954 + 395 = -591 - 4602. Let m = 10/169 + -16274/845. Which is smaller: f or m?
m
Let t(v) = -v**2 + 6*v - 2. Let n be t(3). Let w = -2507 - -22616/9. Is n at most as big as w?
False
Let a = 0.3 - -2.7. Let s = a + -2.7. Let b = 3.6 - s. Which is smaller: -1 or b?
-1
Let r = -23 + 24. Suppose -1 = -b - 5*i, -b - i = -6*b - 21. Let t be b/(-18) - ((-1644)/(-351) + -4). Do t and r have the same value?
False
Let c = 2361 - 2361.07. Which is bigger: -247 or c?
c
Let r be (-1 - -2)/(22/(-4) - (-10)/5). Let v be (4/(-6))/(10/15). Let z be -1*0/(-1) + v. Which is smaller: r or z?
z
Let y = 3480 + -3485.05. Which is greater: 1 or y?
1
Let c = -922/155 + 261226/2015. Which is smaller: c or 124?
c
Let h = -7787 - -7907. Which is greater: 104 or h?
h
Let n(k) = 13*k**3 + 41*k**2 + k - 3. Let o be n(-3). Suppose -60 = 48*f - o. Which is smaller: -7/11 or f?
f
Let i = -3557/5 + 29246/15. Which is bigger: i or 1239?
1239
Let h = 12469 + -9796. Which is bigger: h or 2674?
2674
Let q be ((-7)/(-4))/(258/630552). Is q > 4276?
True
Suppose 54 = -5*i - 51. Let z(m) = m**2 - 4*m + 9. Let l be z(6). Let t be -3*((-1)/l - (-6)/i). Is t < 1.3?
True
Let s(h) = h**2 + 6*h - 217. Let y be s(12). Let t be (-2)/y + -101 + 94. Is -26 less than or equal to t?
True
Let u be (-5309)/(3 - 14/7). Let b = u - -16219/3. Are b and 97 non-equal?
True
Let i = 11103/397985305 - -4/45835. Which is smaller: i or -1?
-1
Let o = -54.4 - -20.5. Let h = o + 37.9. Which is smaller: 1/7 or h?
1/7
Let g(s) = -s**2 + 6*s + 1. Let v be g(6). Let h = -0.153 + 0.021. Let l = 0.068 - h. Which is greater: v or l?
v
Let b(g) = g**3 + 16*g**2 + 12*g + 308. Let p be b(-11). Which is smaller: 0 or p?
0
Let h be 5 + ((-21)/(-1) + -8 - 5). Let k be -22*(3 + -2)/(-1). Let r = k - h. Is 8 at most r?
True
Let q(i) = 98*i**2 + i. Let s be q(-1). Suppose 165*p - 7 = 172*p. Let z be (0 - 2 - p)/1. Which is bigger: z or s?
s
Let h be 3/(6*19/(-25612)). Is h at least -664?
False
Suppose 5*y + 4*u - 12 - 18 = 0, 0 = -4*y + 3*u + 24. Suppose -37*k = -y*k - 2387. Are k and 75 equal?
False
Suppose 4*b - 2*i = -10, -5*b - 13 = -i + 4. Suppose -3*p - 17 = -y + 8, -4*p + 30 = 2*y. Let x = 15 - y. Is x <= b?
True
Suppose 0 = 3*i + 5*q + 2183, -2*q + 825 - 112 = -i. Let w = i - -5048/7. Does w = 2/3?
False
Let c = 226 + -328. Let o be 4/(-6) + c/9. Which is bigger: o or -18?
o
Let n = 2339/41405 - -4/845. Let m(h) = -h + 15. Let b be m(9). Suppose -1 = -4*f + k, -3*f + b*k = 3*k - 3. Is f at least n?
False
Let m = -349.99 + 355. Let a = 0.01 - m. Which is greater: 2/3 or a?
2/3
Let b be 23 + ((-12)/(-21))/((-10)/35). Which is smaller: 102/5 or b?
102/5
Let y(n) = -n**2 - 3*n. Let d be y(-3). Let l = -11/14446 + -3001096/79453. Let f = -77/2 - l. Are d and f non-equal?
True
Let b be (-6)/(-16)*(-6)/9*6. Let m = b + 29/20. Which is bigger: 1 or m?
1
Suppose 89*w + 3654 = -76*w - 2616. Is -25 less than w?
False
Let k = 283 - 282.7. Let j = 0.265 - k. Is j smaller than 0?
True
Let l = 7.483 - 493.783. Let c = 486 + l. Suppose -4*k = 4*q + 8, 2*k - 31 = 2*q + 3*q. Is c != k?
True
Let b = 23490/91 - 1878/7. Let i = 139/26 - b. Let l = -136 - -151. Which is smaller: i or l?
l
Let i be (-1)/(-1)*-3*((-1118)/273 - -4). Is 371/5 < i?
False
Let a(z) = 18632*z - z**2 - 4*z**2 - 18601*z - 5. Let p be a(6). Is p bigger than 1/135?
True
Let o = 8 + -14. Let q = -2.16 - -2.2084. Let d = q - -0.9516. Do d and o have the same value?
False
Let b(z) = -7*z - 133. Let t(l) = -10*l - 200. Let w(q) = -8*b(q) + 5*t(q). Let x be w(-12). Do -14 and x have the same value?
False
Let h(o) = -2*o**2 + 7*o + 4. Let j = -35 - -39. Suppose 0 = -j*z + 37 - 21. Let s be h(z). Which is smaller: -1/54 or s?
-1/54
Let y(u) = 2*u**2 - 9*u - 3. Let v be y(0). Let w be (-2)/v - 8/((-72)/(-15)). Which is greater: w or -9/5?
w
Let d = -103268/3 + 34422. Let z = -8665/1182 - 1/394. Is z less than d?
True
Let k = 2757/38 + -1331/19. Which is smaller: k or 1099?
k
Let m(p) = 39*p**2 - 862*p + 21. Let r be m(20). Which is smaller: r or -1621?
-1621
Suppose -32 = -5*v + j, v + 2*j = 75 - 51. Do 184/25 and v have the same value?
False
Let f = -3034 + 3041. Which is greater: f or -4/79?
f
Let g(u) = -4*u**2 + 63*u + 85. Let r be g(17). Is -601 > r?
False
Let h be ((-2)/(-4) - 1)*678688/(-760). Let s = 2307/5 - h. Let b = 15 - s. Is b != 1?
True
Let r = -25/6 - -4. Suppose -17 = 4*f - 3*f - 2*i, 0 = 5*f + i + 85. Let b(x) = -x**2 - 14*x + 51. Let u be b(f). Is u bigger than r?
True
Suppose 0 = -36*z + 47*z - 22. Let k(m) = 13*m**2 - 8*m + 21. Let j be k(z). Let x = -68 - -124. Which is greater: x or j?
j
Let w = -3.1392 - -2.844. Does w = 2/7?
False
Let m = -3985057/244799 + 700/43. Which is greater: -2/5 or m?
m
Suppose -22 + 112 = 6*s. Suppose -i + s*i - 8*i = 0. Which is greater: 2/419 or i?
2/419
Suppose -5*y + 1440 = 3*y. Let m = y + -210. Is m at most as big as -28?
True
Let a = 150.8 + -148.8. Do 86/3 and a have the same value?
False
Let m = -50 - -52. Suppose 2 = -o - 0, -5*x + m*o + 59 = 0. Suppose -r + 2 = n, 4*n + 13 = -8*r + x*r. Is n < -2/11?
True
Let c = -7166 + 7235. Are c and -0.06 unequal?
True
Let z = -19 + 21. Let q(v) = 5*v**3 + 3*v**2 - 2*v. Let l be q(1). Let c be -1*l/2 - (-84)/16. Is c less than z?
False
Let o = -0.1226 + 0.1226. Which is bigger: o or 182/3?
182/3
Let z(w) = -32 - 2 - 67*w + 68*w. Let q be z(20). Is q at most -14?
True
Let i = 5 + -4. Let s = 45 + -25. Let f be i/(4/(s/(-75))). Is -1 < f?
True
Let m = -11 + 18. Let b(h) = h**3 + 3*h**2 - 2*h - 5. Let q be b(-2). Suppose q*l = m*l. Which is greater: -0.3 or l?
l
Let x = -130 - -132.41. Let v = 0.41 - x. Let b = v + 1.84. Are b and 0.2 equal?
False
Suppose s + 24 = -7*s. Let x be -224*(8/2 + s). Which is smaller: -223 or x?
x
Suppose 2*u - 4*j = -2*j + 1508, -u + 5*j + 734 = 0. Let y be (-638)/u + (-2)/(-3). Is -1 equal to y?
False
Let s(b) = b**2 - 5*b - 13. Let t be s(-2). Let d be ((-12)/(-148968)*4)/(t/3). Which is smaller: d or 0?
0
Suppose 0 = 35*d - 7*d + 28. Let z = -248 - -250.62. Let q = z - 2.5. Which is bigger: q or d?
q
Let n = -2909845/2506 + 8128/7. Which is smaller: n or 0