0.20718. Which is greater: 541 or o?
541
Suppose 352 = 4*z - 16. Let a = z + -96. Let w be (-84)/(-36)*(-16)/7 + a. Are -8 and w unequal?
True
Suppose -m + 3*m = 2. Suppose -b - 3 = -m. Let a be -6 - (1 - b)*-1. Which is bigger: a or -4?
a
Let o = -135 + 131. Let p(s) = 10*s + 356. Let h be p(-36). Is o <= h?
True
Let j(z) = 794*z - 399. Let p be j(2). Is 1187 greater than p?
False
Let w = -2517 - -2560. Is 46 <= w?
False
Let t = -23305 + 23304.97. Which is smaller: 8.08 or t?
t
Let i be 31976/288 + 3/(-12). Let l = -111 + i. Is l smaller than 0?
True
Let h be 3/(-6)*20/1. Let c = -6653.17 + 6653.2. Is h at least c?
False
Let b be (-9 - 1)*(-7 - (-512)/(-5)). Is 1095 less than b?
False
Suppose -436*z = -122*z. Is z <= -0.14089?
False
Suppose -15535 - 8941 = -287*c - 3238. Which is greater: c or 79?
79
Let n be (4/(-3))/((-12)/108). Suppose n*m - 25 - 11 = 0. Let b = 1724/519 + 2/173. Which is greater: m or b?
b
Let o(z) = -8*z**2 - 218*z + 1642. Let c be o(7). Is c not equal to -275?
True
Let d = 376 + -434. Let z = 74 + d. Which is smaller: 0.8 or z?
0.8
Suppose -4*j - 3*p - 16 = 0, -2*p = -5*j + 4*j - 4. Let k be (-75)/27 - j - -1. Let r(v) = 3*v**3 - v. Let f be r(1). Is f equal to k?
False
Let i be 1 - 9 - (5831056/11)/56. Which is smaller: -9473 or i?
i
Let w = 0.131 + 0.429. Which is bigger: w or -8?
w
Let p = 195.5 + -0.5. Let n = 194 - p. Which is smaller: 168 or n?
n
Let p be 0/(-2) + (1 - -1). Suppose -4*l - p - 72 = 2*n, 3 = 3*l. Let t = 35 + n. Is t at least as big as -6?
True
Let w(m) = -m**3 + 2*m**2 + 40*m - 79. Let p be w(2). Do p and -2/5121 have the same value?
False
Let s(j) = -j**2 - 8*j + 39. Let b be s(-11). Let q(x) = -20*x + 119. Let r be q(b). Let h be 1 + (-38)/15 - -1. Which is smaller: r or h?
r
Suppose 49*o = 2228 + 2084. Is o at most as big as 69?
False
Let x(i) = 6*i + 20. Let z be x(-8). Let k = z + 6. Let b be k/40 + (-4)/(-16). Which is smaller: b or 0?
b
Suppose -3*a = -t + 90, -2*a + 15 = 3*t + 75. Let u = 11.2 + -11. Which is bigger: a or u?
u
Let a be 1/8*-2 - (-61)/4. Suppose 2*t = 5*t + a, -3*t = 5*w + 5. Suppose 2*c + 0 = -5*n - 11, -4*n = w*c + 10. Is n < -2/41?
True
Let k = -1/70 + 3/35. Let c = 118 + -113. Suppose -5*m - 3*r = 6, c*m + 0*r - 2*r - 4 = 0. Which is greater: m or k?
k
Let z be -4*329/(-336) - -3. Which is greater: 6 or z?
z
Let b(y) = -77*y - 2619. Let n be b(-54). Which is smaller: n or 4619/3?
n
Let o be (-1)/3*(-24)/12*-3. Suppose 2*u - 7*u = -k + 9, -2*u - 22 = -5*k. Suppose 3*s + 6 = -3*y, -5*y - 4*s = 6 + k. Is o smaller than y?
False
Suppose 0 = -w + 8*w - 14. Let u(b) = 1 + b**w + 4*b**2 - b**2 + b**3 + 14*b - 19*b. Let m be u(-5). Which is smaller: m or 13/6?
m
Suppose 3*a - 4*q + 3 - 17 = 0, 2*q = -10. Let v be (29 + -17)*a/20. Which is greater: -2/13 or v?
-2/13
Suppose 0 = 16*m + 65 - 97. Are 39/16 and m non-equal?
True
Suppose 4*j + 2 = 3*m - 4, 3*j + 9 = 0. Let x be ((-5)/25*-6)/(m/(-5)). Suppose r + x*r = r. Which is bigger: 1 or r?
1
Suppose -5*b - 3*b + 8 = 0. Let g be (b/3)/(38*4/(-8)). Let u = 6/19 - g. Is -0.3 at least u?
False
Suppose 6*k - 4*i = k + 259, -3*k + 177 = 3*i. Let s be ((-11)/11)/((-2)/16). Suppose 49 + s = q. Which is greater: q or k?
q
Let i be ((-272)/2380)/((-181)/(-5)). Is 0 != i?
True
Let u be 28/(-2) + (-132628)/(-9474). Which is greater: u or 1?
1
Let w(f) = -197*f + 7. Let y be w(-2). Let o = y + -6814/17. Suppose 0*r + r = -5*m - 11, 2*m = r - 3. Do r and o have the same value?
False
Let f = 4955 + -3695. Are f and 1260 unequal?
False
Suppose 4*p = 3*p + 30. Suppose 3*g + p = -2*g + 3*u, 0 = -5*u. Let t be (-4)/g*3/6*-3. Which is greater: -12/7 or t?
t
Let z be ((-5)/(525/(-30)))/(-1). Is -49/12 > z?
False
Let f be (7 + 58086/(-8302))/((-4)/6). Which is smaller: 0 or f?
f
Let r = -3755 + 3774. Is 2/79 smaller than r?
True
Let x be (-15)/(-5745)*(2 + (-18)/8). Let y = x - 2809/390660. Let t be 1 + (-2 - -2)*1. Which is greater: t or y?
t
Let d = 10798.451 + 9.549. Is -0.1 at most as big as d?
True
Let o be (-5)/84*804/2010. Which is smaller: o or 2/9?
o
Let w(l) = -8*l - 8. Let u = 81 - 78. Let s be u/5 + 16/(-10). Let v be w(s). Which is smaller: -6 or v?
-6
Let b be 34/8 + (4 - 68/16). Let q be b/(-10) - (-72)/(-45). Let x be ((-4)/9)/(q/3). Is x <= -2/21?
False
Let n be (-20)/(-170) + (-1324)/(-17). Let j = -58 + n. Let t = j + -20. Which is smaller: t or -2/55?
-2/55
Let d(c) = 2*c**3 - 15*c**2 - 7*c - 17. Let p(s) = 5*s**3 - 33*s**2 - 16*s - 35. Let o(b) = -13*d(b) + 6*p(b). Let r be o(2). Is 31 less than r?
False
Let a be 3/((-21)/((-48090)/250)). Are a and 28 unequal?
True
Suppose 0 = 183*h + 216*h - 1995. Is h < 21?
True
Suppose 0 = -13*y + 4*y + 162. Suppose y*r - 32 - 58 = 0. Suppose 2*j = -2*j - 5*w + 24, -j + 6 = 4*w. Which is smaller: r or j?
r
Let t(u) = -7*u - 122. Let v be t(-18). Let k be ((-42)/644)/(v + -1). Which is smaller: 1 or k?
k
Let m = -0.0368 - 1.3632. Let i = -4.4 - m. Is -151 equal to i?
False
Let b = -17226 + 12639. Which is smaller: b or 1?
b
Let m = -606 + 606.13. Is 19 bigger than m?
True
Let z = 269 - 264. Suppose n + 4*k = 54, 0 = -4*n - z*k + 58 + 147. Which is smaller: n or 201/4?
n
Let g = 159 - 162. Let q be (g/(-63))/(1/(-6)). Suppose -2 = -2*l + 4*l. Is l > q?
False
Suppose -4*x + 9*x + 3*r = 5, -3*x - 8 = 4*r. Let u be (-1)/((-14)/32 + x/8). Suppose 0 = f - 6*f - 80. Are f and u equal?
True
Let y be -40 - (1 - 24) - -18. Which is smaller: -2/21187 or y?
-2/21187
Let j = -1080.165 + 987.2. Let k = 0.035 - j. Is 1 smaller than k?
True
Let j = -37 + 41. Let p = j + -7. Let c = p - 7. Is 0.1 smaller than c?
False
Suppose 8*c - 6*c + 16 = 0. Let g(x) = x**2 + 4*x + 5. Let h be g(-2). Let d be h*(-2)/c - 20/(-48). Which is bigger: -8 or d?
d
Let b = 742 + -5579099/7519. Which is greater: 1 or b?
1
Let y(p) = 69*p**3 + 5*p**2 - 9*p - 18. Let v be y(3). Is 1862 less than or equal to v?
True
Suppose 10*l - 6*l - 376 = 0. Let r = 99 - l. Let t be 1/((-5)/(r/(-8))). Which is greater: t or 4?
4
Let z be 1120/63 - 4/(-18). Suppose 4*d - z = 5*a - 6, a = -3*d + 9. Which is bigger: a or -8/31?
a
Suppose -3*c - 49 = 5*i, 2*i - c + 11 = -2. Suppose -3*q - 119 = 5*v, -1313*v = -1311*v - 5*q + 91. Are i and v unequal?
True
Let y = -3447412 + 1959770. Let s = -19361995/13 - y. Let c = -1741 - s. Are 2 and c equal?
False
Let n = 19 + -17. Let h = n - 3. Let w = 7 - 4. Is h greater than or equal to w?
False
Suppose 631 - 201 = 5*f. Let x be f/8*56/(56/(-8)). Which is smaller: -87 or x?
-87
Let f be 2/(-18) + 1299/27. Let t be (f/1188)/((-3)/((-27)/114)). Which is greater: t or 0?
t
Let m = 43407 - 1823201/42. Let u = m + 11495/4578. Is u at least -2/3?
True
Let o = -4186 - -2436. Is o at least -1753?
True
Let y be 34/10 + 2 + 14/(-10). Suppose 0 = y*f, 0 = -0*k + 3*k + f + 54. Let q be (40/k - -2) + 25/45. Which is smaller: q or -1/6?
-1/6
Let y = -23/7079 + -45171007/28316. Is 1 >= y?
True
Let a be 88/(-154) + (-663)/(-21). Suppose 1652 = -a*r + 3*r. Which is greater: -58 or r?
-58
Let u = -9 + 11. Let m = 322 - -43. Let w = 363.8 - m. Which is bigger: u or w?
u
Suppose l - 7*l + 96 = 0. Let m be (-50)/3*36/l. Let o = 39 + m. Which is bigger: o or 2?
2
Suppose 4*w - 27 = -5*y, 4*w + 2*y - 13 = 5. Suppose 0*v + 20 = 4*c + 5*v, 5*v - 15 = -w*c. Suppose -5*d = c*d - 3*d. Is 0.2 > d?
True
Suppose 15*p - 7*p = -120. Let q(k) = k**3 + 17*k**2 + 34*k + 4. Let f be q(p). Which is smaller: f or -109/2?
f
Let p be 97/2 - 2/4. Suppose 3*v - p - 74 = 2*o, -2*v = -5*o - 96. Let q be 6 + (-4680)/840 + (-256)/(-7) + 2. Is v > q?
False
Let q = 377 - -156. Let l = -471 + q. Which is smaller: l or 65?
l
Let x = -353 + 541. Let d be 2*(9/x)/9. Which is greater: d or -1?
d
Let g = 171 - 153. Let t be (g/(-45))/(2/(-40)). Is 10 != t?
True
Suppose -x + 16 + 101 = -o, -5*o - 2*x = 550. Let k be (-126)/o + 2/(-16). Which is bigger: k or 9/58?
k
Let d be (-99)/66 - 986/(-300). Let j = -11336/5925 + d. Is -1 greater than or equal to j?
False
Let l = -68 + 102. Let t = l + -35. Let f = 60 - 781/13. Are f and t nonequal?
True
Let j be 0 + (5 + -5 - -5). Suppose 2*d = -6*u + 2*u - 70, j*d = 5*u + 125. Which is smaller: u or 5?
u
Suppose -6 = -t + 4*a + 10, -4*t + 5*a + 9 = 0. Suppose -4*d - 1058 = 2*c, 3*d + c + 435 = -356. Let y = 257 + d. Is y 