) = -2*c + 45. Let i be a(21). Suppose 5*s - 3*w = 33, -s - 1 = i*w - 4. Let p = -5 - -6. Which is greater: s or p?
s
Let u(b) = -b**3 + 33*b**2 + 102*b + 216. Let j be u(36). Which is greater: 11/146 or j?
11/146
Let j = -0.2 + -0.8. Let d = 0 - j. Let t be 3 + ((-6)/(-96) - 10593/3344). Is t at least as big as d?
False
Let y = 0.4 - 0.8. Let g = -0.82 - y. Let z = -0.42 - g. Is 27 greater than z?
True
Let x be (0/(-2) - 355063482/45)/220266. Let v = x - 162/20395. Let h = -181/5 - v. Which is smaller: 0 or h?
h
Let g = -221 + 167. Suppose 2*a + x + 125 = -2*x, 270 = -5*a + x. Which is smaller: a or g?
a
Suppose -90 = -4*g + 34. Let j = g - 28. Suppose j*q = -2*z - 49, -q + 245 - 97 = -5*z. Which is greater: -30 or z?
z
Suppose 5*c - s = 30146 - 12447, 4*s = -2*c + 7084. Is c at least as big as 10619/3?
True
Let x = 114242647 + -66603438483/583. Let y = x - -6/2915. Which is bigger: 43 or y?
43
Let x = -85 - -89.5. Let h = -14.9 + 19. Let j = h - x. Which is smaller: j or 3?
j
Suppose 0 = 4*a - 21 + 1. Suppose a*b + 155 = 10*b. Let t = -29 + b. Is 4/3 at least as big as t?
False
Let d be (-15 - -2) + (-331942)/1326. Is d at most -263?
True
Suppose -10 = -7*v + 18. Suppose -5*w = o + v, -o - 4*o + 9 = -4*w. Is w at least as big as 1/6?
False
Let d = -668.9742 - -669. Let l = 0.0742 + d. Is -1.43 at least l?
False
Suppose -q + 0*q = 20. Let j(k) = -14*k**3 + 7*k**2 + 6*k - 12. Let b be j(-5). Let p = b + -1904. Is p smaller than q?
True
Suppose -3*s + 3*m - 2 = 2*s, -5*m = -5*s. Let q be ((-2)/(-298))/(s/10*-35). Is 1 greater than or equal to q?
True
Let m(i) be the second derivative of -17*i + 0*i**2 - 7/12*i**4 + 0 + 0*i**3. Let f be m(-1). Is f bigger than -4?
False
Let j = 78.5 + -78.5499. Let l = j - -143.1499. Let d = l - 143. Which is smaller: 1/32 or d?
1/32
Suppose -19*j + 3294 = 8*j. Suppose j*u - 25 = 117*u. Is u less than 78/17?
False
Let k = 7023 + -7220. Which is bigger: -186 or k?
-186
Suppose -5*s = -4*g - 18 - 6, g = 2*s - 9. Let i be g/(-3)*8/12. Is -78 at least i?
False
Let x = 4 - -7. Let r(v) = 2*v**3 - 24*v**2 - 29*v + 26. Let o be r(13). Let s = x + o. Is s <= -10/19?
True
Let u be (42/28)/((-3)/(-4)). Suppose 4*g + 0 + 2 = -u*y, 0 = -4*y - 20. Suppose -19 = -4*x - 3*c, -g*c = -4*x + 1 - 7. Which is greater: 8/9 or x?
x
Let v = 94 - 86. Suppose t - v = -4*u, 0 = 5*u - 4*t + 7 + 4. Which is bigger: u or 20/17?
20/17
Suppose -q - 24 + 71 = 0. Let x be 5 + (-3703)/(-84) + 39/(-364)*7. Which is smaller: x or q?
q
Let r(u) = u**3 + 10*u**2 + 2*u + 96. Let h be r(-10). Suppose c - 56 = 5*d, 168 = 5*c - 3*c + 4*d. Do c and h have the same value?
True
Suppose 3*w + 9 + 3 = 0, 2*w = 2*l + 2. Let x(m) = 2*m - 25. Let r be x(15). Suppose 4*t - t + 14 = -r*z, 4*t + 17 = -5*z. Which is bigger: l or t?
t
Let g be (846/39)/(-3) - 2. Let c = -574/65 - g. Suppose 70*t - 64*t = 6. Which is smaller: t or c?
c
Let z = 68 + -85. Let c = -895 + 894. Which is greater: c or z?
c
Let x = -4802090863/21485 + 223509. Is x less than or equal to 0?
False
Let b = 4307.538 + 7.462. Are b and 0 equal?
False
Let l be (-88)/(-60)*(-20)/(-6). Suppose 0 = -s - k + 8, 4*s - 23*k = -24*k + 26. Which is bigger: l or s?
s
Let g = 16081 - 16081.28. Suppose -2*c = -2*r - 8, 3*c = 5*c - 4*r - 14. Which is smaller: c or g?
g
Let f(k) = 4*k**3 - 267*k**2 - 340*k - 155. Let d be f(68). Is d <= -155?
True
Let p = -5 - -7. Let t = 633.3 + -633.3. Which is bigger: t or p?
p
Let g be -1 + 1 + 0 + 0. Let h = 1589.16 + -1590.6. Which is greater: h or g?
g
Let b = 248 + -186. Suppose b*t = 65*t - 93. Is t at least 28?
True
Let w = 4637.2 + -4637. Are w and 946 nonequal?
True
Let i be (-5 + 0)/((-76)/1564). Let f = i + -103. Is f less than -4?
False
Suppose -l - 50 - 90 = 2*s, 0 = s + 4. Let c be 1 - 0 - l/126*-3. Is c at most as big as -2/15?
True
Suppose 19034 = 143*g + 169*g - 4678. Is g != 538/7?
True
Let k(h) = 6*h + 11. Let l(b) = b + 30. Let g be l(-10). Suppose -83 + g = -7*q. Let x be k(q). Which is smaller: 66 or x?
x
Let o = 1/8663 + -1931853/34652. Let p = o - -56. Is -4 != p?
True
Let j(v) = v**2 - 30*v - 2595. Let n be j(-38). Suppose 2*g + 28 = -2*g. Is n smaller than g?
True
Let j(l) = -47*l + 279. Let y be j(44). Let q = y - -12494/7. Is -3 bigger than q?
True
Let k = -117/11 - -1459/132. Let l be 127/7 + -17 - (-195)/(-91). Are l and k unequal?
True
Let w = -0.2995 - -0.3995. Is w greater than or equal to 420?
False
Let r be (13 - -2) + (-50569)/244. Is r < -193?
False
Suppose -4*u + 5*k + 101 = 0, 3*u = 5*u - 4*k - 52. Let o be (-2)/8 - u/32. Let r be -1 + 2 + (-16)/24. Do r and o have different values?
True
Let x be 95 - ((-1)/(-4) + (-119)/28). Let w = x - 104. Let l be w*7/(38535/(-6)). Which is greater: l or 0?
l
Let x be 15/20 - (-34)/(-8). Let d = 32 - -10. Let p be d/(-16) - 18/48. Is x greater than p?
False
Let x = -234 + 239. Suppose 12*j - x*j = -32*j. Is j >= -48?
True
Suppose 2958 + 2512 = -5*w. Is -1093 bigger than w?
True
Let d = 34.923 + 0.077. Let o = -12 + d. Let q = o - 22.9. Which is smaller: -13/5 or q?
-13/5
Let b = -55.35906 + -0.06094. Let m = b + 56. Let i = m + 0.42. Which is greater: i or -10?
i
Let g = -616 + 950. Let v = 543 - g. Suppose -5*x - v = 3*d, 0*x + d = -2*x - 84. Which is bigger: -42 or x?
-42
Suppose 2*o + 14 + 2 = 2*v, -v - 32 = 4*o. Let x be 3420/80 - (-6)/o. Let z = -43 + x. Do 1/5 and z have different values?
True
Let o be -9*(32/(-16))/(19 + -1). Suppose -2*x - 29 - 15 = 0. Let s be (2/x)/(21/6). Which is smaller: o or s?
s
Let q be (-8)/20*-5*5/5. Let i be q/7*(-19)/(-19). Is i not equal to 70?
True
Let c(d) = d**2 + 16*d + 8. Let b be c(-16). Suppose 0 = -r - 2, -p + r = -3*r - 14. Suppose 2*n - p = n. Which is smaller: n or b?
n
Let i(o) = -39*o - 183. Let c(j) = 3*j + 14. Let b(m) = 27*c(m) + 2*i(m). Let r(a) = a**3 + a**2 - 23*a + 6. Let l be r(4). Let v be b(l). Is -6 at least v?
True
Suppose -5*b + 53 = f, -6*f + f = -15. Let l = 38 - 36. Suppose -l*q - 5*h = -12, -5*q + h = -q - 46. Which is bigger: q or b?
q
Let v(y) be the first derivative of y**3/3 + 2*y**2 + 2*y + 20. Let x be v(-2). Let l be (-5)/(-2) - (-3)/4*x. Is l equal to 5/11?
False
Let h be ((-2)/(-6) - -1)*42/7. Suppose c = 5*c - h. Suppose 0 = 4*u + a + 4*a - 49, 2*u = -c*a + 22. Is 6 <= u?
True
Suppose 3 + 41 = -2*b. Let z = b - -19. Let x be z/(-2 + -1) - 0. Which is greater: x or -1/6?
x
Let u = 798 - 793.769. Let p = 0.069 + u. Let f = 3.3 - p. Which is smaller: 1.8 or f?
f
Suppose -2*i = -4*o - 7*i + 1, 3*i - 21 = o. Let s be ((-3001)/(-4))/(o - (-147)/28). Let w = -1009 - s. Which is bigger: w or -10?
w
Let o(d) = 3*d + 62. Let m be o(-20). Suppose -1 = -2*x - x - f, -m*f - 16 = -3*x. Does 4/7 = x?
False
Let t = 6646 - 6092.4. Let j = 555 - t. Are -0.2 and j equal?
False
Let m = -15.3 + 1.3. Let c = 0.02 + -16.02. Let u = m - c. Which is smaller: u or 0.1?
0.1
Let j be (-4 + 70 - 60) + 1126/(-188). Suppose -13 = -3*d + 4*x, d + 9 = -0*x - 2*x. Are j and d equal?
False
Let v be 210/(-51) - (3 - (-106)/(-34)). Let f be (40/(-15))/v - 4/(-12). Is f < 2?
True
Suppose o = 6*o + r - 52, -4*o + r + 47 = 0. Suppose -5*a + 40 = 2*y, -24 = -3*y + 5*a + o. Let h be (9/y)/((-4)/10). Which is bigger: -3 or h?
h
Let h = -2/10679 - 491124/587345. Is h less than or equal to 0.2?
True
Let g(k) = -2*k + 12. Let d(h) = -1. Let y(i) = -2*d(i) - g(i). Let j be y(12). Let m be (-8)/j - 40/(-140). Which is bigger: -45 or m?
m
Suppose -11*d + 2 = -7*d + 2*a, 3*d + 1 = -4*a. Let b be ((-35)/(-15))/1*d*3. Let i = 104 - 112. Which is smaller: b or i?
i
Let n(x) = -x**3 - x**2 + 16*x - 5. Let d be n(3). Let m be (-140)/350 + (0 - d/(-5)). Is -2/701 >= m?
False
Let d(l) = -241*l + 2284. Let g be d(10). Which is smaller: -112 or g?
g
Suppose -c - 2*a + 4 + 2 = 0, 20 = 4*a. Let j be (-21)/(-3) - (-1 - c). Suppose 0 = -4*r + 4*y - 12, j*y = -r + 3*r. Is r smaller than -14/3?
True
Suppose -125 = -2*d + 7. Let b be (-130)/(-14) - 8/28. Let k be (4 - (-26)/(-6))/(d/b). Which is smaller: 0 or k?
k
Let s = 7081/2 + -3527. Which is greater: -11 or s?
s
Suppose p = -563*u + 565*u, -3*p = 24. Is -386/73 < u?
True
Let b = -17 - -19. Suppose -s + b*y = -7, -s + 3*y + 14 - 3 = 0. Let k = -63 - -249/4. Which is smaller: k or s?
s
Let h(o) = -o**3 - 5*o**2 + 2*o + 364. Let 