8)/(-66) + 4/6. Suppose 136*n = 140*n. Suppose 3*b - 2*w - 22 = 0, n = -3*b - 8*w + 3*w + 29. Is b smaller than l?
True
Let r be (1302/28)/((-13)/(117/54)). Which is greater: -162 or r?
r
Let i(v) = -v**2 + 82*v - 959. Let a be i(15). Which is smaller: a or 56?
a
Let v = 250 + -216. Suppose 9 = -v*d + 25*d. Do d and -1/17 have the same value?
False
Let n be (12/(-750)*5)/(-8 - 2680/(-336)). Are 3 and n unequal?
True
Let t(l) = 34*l + 168. Let u be t(0). Which is smaller: 1522/9 or u?
u
Suppose -5*o + 2*o - 243 = 0. Suppose -244*n + 481*n - 880 = 248*n. Is o != n?
True
Let b(a) = -a. Let t(r) = 2*r - 3. Let o(i) = -4*b(i) - t(i). Let z be o(6). Suppose 2*n + n + z = 2*x, -n - 5 = 2*x. Are x and -2/31 nonequal?
True
Let k be 5 - 4/(4/(-1)) - -31. Let g = 872 + k. Is 909 at least g?
True
Suppose 4*r + 44 = 4*u, u - 43 = -2*u - 2*r. Let n = u + -8. Let t be 175/525 + (-128)/(-21) + -1. Which is smaller: n or t?
n
Suppose -8 = 21*g - 25*g - v, 2*g = 3*v + 4. Is -1.376 > g?
False
Let j = -6 - -8. Let v be (-8)/(192/(-56)) - (j - -1). Is -5/8 greater than or equal to v?
True
Let i be (-7)/(-21)*1*6. Let g(t) = 2*t**2 + 3*t - 2. Let j be g(-3). Suppose 2*r - 5 = -m, -2*r + i*m + j = -1. Do r and 3 have different values?
False
Let u = -10 + 14. Suppose 0 = 5*z - 0*f + u*f - 439, 0 = z - f - 95. Let q = 8 - z. Which is smaller: 0 or q?
q
Let q = -294 - -297. Suppose q*a - 116 - 179 = 2*s, 4*s = -2*a + 170. Which is smaller: 93 or a?
93
Suppose -39271 = 75*k + 13529. Which is smaller: k or -705?
-705
Let l = -2169183/110 + 214572/11. Let f = l + 213. Let x = 3.9456 - 3.9456. Which is bigger: x or f?
x
Suppose b - 11*x = -15*x - 3334, 2*b = x - 6632. Which is bigger: b or -3319?
b
Let m be (6 + -5)/((-1)/(-14)). Suppose m = 2*j - 22. Let g be 9/j*(15/(-6))/(-5). Are g and 0 equal?
False
Suppose 51*z - 212992 = 35*z. Is 13312 != z?
False
Let m(c) = -c**2 - 11*c - 27. Let s be m(-6). Suppose -180 = 3*q + s*x, 12 = -q + 3*x - 64. Is q less than -66?
False
Let p = 4 + -3.9. Let d = -85.4 - -87. Let b = d - 2.6. Is b >= p?
False
Let p = 61 + -56.3. Let n = p - -12.3. Let w = n + -16. Is w less than or equal to 2/145?
False
Let j be 954216/(-977184) + (-5)/(-4) + 0. Are j and -0.1 nonequal?
True
Let q = -2284 + 2312. Which is greater: -7 or q?
q
Let s be 16/(-12)*15/9. Let z = s + 22/9. Let j be (-2 - 3) + -3 + 16 + -8. Which is greater: j or z?
z
Let c = 1885/2604 + -13/124. Let d = -29535 + 29536. Is c at least as big as d?
False
Let g be 23/(-92) - 4138/(-8) - 4. Let j = 512 - g. Which is smaller: -6.5 or j?
-6.5
Suppose 5*g = 4*x + 159, -4*g + 141 = -x + 27. Which is bigger: g or 450/17?
g
Let l(f) be the third derivative of -f**5/60 + f**4/8 - f**3/2 + 2*f**2. Suppose 13*h = 18 + 21. Let x be l(h). Is x > -3?
False
Let p = 58639 - 37588. Is p at least as big as 21052?
False
Let w be 321 - (2/(-5) - (10 - (-1380)/(-75))). Is 331 < w?
False
Let l = -14702 + 14701.9. Is l equal to -16/63?
False
Suppose 0 = -0*l + l + 4*y + 1, 4*y = 4*l - 16. Suppose 2*h + l*c + 2 = 0, -2*h - 20 = -7*h + 5*c. Suppose 133*o + 124 = 195*o. Is o greater than h?
False
Let r be -1 + 14726/34 - (-14)/(-119). Suppose 4*f - r - 7 = -3*a, -2*f - 4*a = -232. Is 106 <= f?
True
Let x be ((-1486)/(-11))/(2/4). Let k = 270 - x. Let l = -241 - -240. Is k equal to l?
False
Let b = 7713 - 7713.1. Which is smaller: b or -112/5?
-112/5
Suppose -33 = 24*b - 177. Let d(l) = -2*l**3 + 11*l**2 + l - 7. Let g be d(b). Is g at least -35?
False
Let b be 4/18 - 2908/(-36). Let d = -3761 + 3843. Is b less than d?
True
Suppose -2*j - 2*j - 48 = 0. Let h be -1 - ((-3)/(j/3644) + -2). Let t be (-2)/(-5) + (-1316)/h. Which is smaller: 2 or t?
t
Let w be 2*11/((-44)/(-40)). Let j = 63 - w. Suppose -5*n = -j - 142. Does n = 37?
True
Suppose 0 = -5*c - u + 44, 0*c + 3*c + 5*u - 22 = 0. Let h = -93 + 88. Let r be (h/(-20))/(5/4). Are c and r equal?
False
Suppose 2*s - 1106 = -2*q, -9*q + 2239 = -5*q - 5*s. Suppose -4*t + 4*l - q = 0, 492 + 203 = -5*t - 5*l. Is -698/5 bigger than t?
False
Let y(z) = -3*z - 43. Let d be y(-14). Let h be (-1 - 1911/(-60)) + (-1)/(-5). Let w = h - 31. Which is greater: w or d?
w
Let b(f) = -6*f**2 + 18*f + 26. Let v(y) = -7*y**2 + 19*y + 29. Let q(u) = -4*b(u) + 3*v(u). Let m be q(6). Let s = -7 - -29/4. Is s less than or equal to m?
True
Let m = -22491 - -652238/29. Let o = -1 - -1. Is o bigger than m?
True
Let d = 11851/495 - 124/5. Are -2 and d equal?
False
Let v = -1582 + 1582. Is v greater than or equal to -1/933?
True
Let t(b) = -672*b**2 - 424*b + 844. Let q be t(2). Which is smaller: -2689 or q?
q
Let d = -1774 - -1771.841. Let n = 0.159 + d. Which is bigger: -27 or n?
n
Let r = 10 - 6. Suppose 0 = 5*i + 5*x - 15, 2*i = 5*x - 6 - 2. Let t be (i - (6 - r)) + 15/21. Which is greater: 1 or t?
1
Let s = 1565.1 - 1565. Suppose -4*i + 3 = -3*i. Suppose 2*z - i*z = -29. Which is bigger: z or s?
z
Let c be (-2)/(1 + 28/(-32)). Which is greater: c or -15?
-15
Let n = -421.4 + 421.6. Let a = 45 - 28. Is n at most a?
True
Let u(l) = -5*l**3 + 55*l**2 - 25*l + 290. Let k be u(11). Suppose 3*a = -60 - 81. Let z = -32 - a. Are z and k non-equal?
False
Let g be (-1 - -4)*(-48)/90. Let p = -5 - -2. Let x be ((-1)/3 + 1)*p. Which is greater: x or g?
g
Let z be ((-1449)/(-228))/(-7) - (-6)/(-24). Let w = 91/95 + z. Let b(c) = -c**2. Let h be b(1). Is w <= h?
False
Let j(c) = -c**3 + 6*c**2 + 8*c - 7. Let v be j(7). Let k be 10506/309 + (-30669)/902. Which is smaller: v or k?
k
Let u = -15 - -101/7. Let x be (1 - 2 - 0)/(1/(-35)). Let r be (-180)/x + 5 - 24/28. Which is smaller: u or r?
r
Let t = 531 - 533.41. Let k = -2.21 - t. Let u = 0.2 - 0.19. Which is smaller: u or k?
u
Let x = 120883 + -483527/4. Let d(o) = -3*o + 1. Let y be d(-1). Suppose 5*p - p - y = -m, -m - 12 = -4*p. Is x greater than or equal to p?
False
Let x = -46054 - -28507427/619. Let u be (2 - 6/4)*-2. Which is smaller: u or x?
u
Suppose 4*g = 3*i - 1, -2*g - 3*i + 5*i = 2. Suppose 3 = -t + g*d - 3*d, 5*t - 3*d - 9 = 0. Suppose t = -6*a + 37 + 101. Which is bigger: a or 21?
a
Let r(c) = -3*c - 129. Let m be r(-9). Let h = -87 - m. Are h and 57/4 equal?
False
Let r = -2 + 1. Let b = -2.89 - -87.89. Let a = -106 + b. Is a > r?
False
Let t be (-1422)/(-16) + (-3)/(-24). Let q = -149 + t. Let p = 34 + q. Which is smaller: -27 or p?
-27
Suppose -53*b = -61*b + 88. Suppose -b*f + 74 = -5*q - 9*f, 5*f = 10. Which is bigger: q or -12?
-12
Let b = 2563378/1527969 - 44/10119. Let m = b + -1/151. Is m less than -1?
False
Let o(c) be the third derivative of -c**6/40 - c**5/60 + c**4/6 - 7*c**3/6 - 4*c**2. Let h be o(3). Let v be 4/1*5/h. Which is smaller: v or -1?
-1
Let t = -161.6 + 162.818. Which is smaller: t or 0.1?
0.1
Suppose 548 + 932 = 4*p. Let t be (-22)/55 + 598/p. Is t less than 0?
False
Let g = -32 - -28. Let s be (2/g)/((-3)/30). Suppose 0 = -s*z - 0*z + 115. Is z greater than 24?
False
Let v = -5860 - -5860. Is v < -1/2940?
False
Suppose 33*a - 5707 - 10166 = 0. Which is greater: a or 488?
488
Suppose 2*k - 13280 = 5*g + 8655, -k + 11035 = 5*g. Are k and 10989 equal?
False
Let v be 2/4*(35/(-15) - 5/(-15)). Does -44/45 = v?
False
Let w be (0/17 - 1)/(0 + -1). Which is bigger: -2/7099 or w?
w
Let g = 5133 + -5134. Which is smaller: 2/1767 or g?
g
Let x be ((-9*10/(-1590))/2)/((-3)/6). Is x > -1?
True
Let c = 4330 - 4311. Do -35 and c have the same value?
False
Let v be (25/(-15))/5*0. Suppose -2*f - 4*k = -42, v*f = -5*f - k + 60. Do 8 and f have different values?
True
Suppose 30*v + 7 - 37 = 0. Suppose -v = f - 3*q, -2 = 4*f + 3*q + 2. Which is bigger: f or -4/17?
-4/17
Suppose 2*y + 4 = -5*l - 1324, 5*y = -2*l - 3341. Let g be (12/2)/1 - (43 - y). Which is bigger: g or -705?
-705
Let z be 3/(-236)*3520/1980. Suppose -3 = -24*d + 21*d. Which is smaller: d or z?
z
Suppose y + 16 = -4*j, 26 = 4*y - j - j. Suppose 55 = 38*s - 21. Suppose -3*h - 35 = 2*o, s*h - 2 = y. Is o less than or equal to -22?
True
Suppose -43114 + 41434 = -16*c. Which is smaller: c or 835/8?
835/8
Let d = 23238 - 23252. Are d and 2/13 equal?
False
Let t be (-88030)/234 - 4/(-18). Let z be ((-14)/(-16) - 1) + (-27081)/(-72). Let c = z + t. Is 1 at least c?
True
Suppose 5*p - 40 = -3*r, -3*r + 7*r = 4*p. Let b(i) = -i**3 + 5*i**2 + 2*i - 11. Let h 