-17201/91. Which is smaller: c or b?
c
Suppose 2*g + 543 = -5*w, w + 0*g + g + 108 = 0. Let l = w + 113. Which is smaller: 29/6 or l?
l
Let h(d) = d**3 - 24*d**2 + 7*d + 78. Let v be h(22). Is v at most as big as -734?
True
Let i = -982.9088 + 983. Let y = 7.9088 + i. Which is greater: y or -29/4?
y
Let p be (1285924 + 0/3)*(-2)/466. Let g = p + 5519. Which is greater: g or 1?
1
Let o be (-2)/4 - 91746/(-182580). Let y = -168720503/547740 + o. Let z = -308 - y. Which is greater: 0 or z?
z
Suppose -2*o - 12*i + 14*i = 382, o = 3*i - 189. Let f be 160/o + 2*(-10)/(-24). Do -15/29 and f have different values?
True
Let q be 3/(-8) + (-36)/144*31548/(-40). Which is smaller: 196 or q?
196
Suppose -4*m + 1084 = 4*u, -535 = -2*u + 128*m - 131*m. Which is smaller: u or 298?
u
Let d(y) = -y**2 + 2*y + 4. Let w be d(4). Let s = 432 - 434. Let q be (4/(-30)*-3)/(s/10). Are q and w non-equal?
True
Let q(o) be the first derivative of o**3/3 + 2*o**2 + 8*o + 46. Let i be q(-8). Which is bigger: i or 43?
43
Let z = -278.9 + 277. Let v = -0.43 - -0.83. Which is greater: z or v?
v
Let b = -1 + 3. Let h = 1407 + -1330. Suppose -7 = -78*n + h*n. Is b less than n?
True
Let s = -2214 + 2527. Is s greater than 315?
False
Let a = -43.124 + 43. Let w = a + 3.088. Let p = 0.036 + w. Does p = 3?
True
Let r be (4/6)/(4/336). Suppose -r*z - 3 = -55*z. Which is bigger: z or -11?
z
Let c(l) = 164*l**2 - 91*l - 183. Let y be c(-2). Which is bigger: 657 or y?
657
Let g = 26/1843 - 18768/23959. Is g greater than -47?
True
Let f(s) = -6*s - 8. Let y be f(-3). Suppose y*d + 2*d - 36 = 0. Suppose 2*p = 3*c - 8, d*p + 2*c - 2 = p. Is 2/17 equal to p?
False
Let b(c) = c - 2. Let h be b(2). Suppose h = -2*w + 12. Let i be (-4)/w + (-1)/3. Which is smaller: i or -1/8?
i
Let q = 1/37618 + -54169939/714742. Which is greater: -76 or q?
q
Let i = 109.3 - 109.5. Let a = -37.7 - -13.7. Is a equal to i?
False
Let k = -74492 + 74498. Let d = 0.08 - -0.22. Let a = d - 0.34. Which is smaller: a or k?
a
Suppose -5*y + 190 = -155. Let n = 272 - y. Let r = n - 6698/33. Is r bigger than -1?
True
Let t = -671.54 + 672.04. Suppose -3*h + 77 = 29. Suppose -4*m + 3*n - 26 = 1, -3*m + h = 5*n. Is m not equal to t?
True
Let k(i) = -i**2 + 60*i - 233. Let j be k(4). Is 832 greater than j?
True
Let o(y) = 8*y**2 - 14*y + 43. Let q(c) = 7*c**2 - 13*c + 43. Let t(a) = 3*o(a) - 4*q(a). Let b be t(3). Is b equal to -47?
False
Let z = -5627 - -5628. Is -2/2929 >= z?
False
Let v = 11/18 - 377/558. Let p be ((-24)/18)/((11 - 9)/24) + 15. Is p > v?
False
Let b = 5 + -5. Let o be (b/(-1 - 1))/1. Let a be 5/((-300)/(-361)) - 6. Which is smaller: o or a?
o
Let h = -66 + 93. Let i(q) = 1. Let p(x) = x**2 - 6*x - 30. Let g(y) = 3*i(y) + p(y). Let m be g(11). Which is smaller: m or h?
h
Let j(m) = m**3 - 11*m**2 - 11*m - 18. Let k(b) = b**3 - 6*b**2 + 2*b. Let h be k(6). Let g be j(h). Is g >= -31/5?
True
Let c be 1 + 0 + 44/(-10). Let x(u) = -u**3 - 24*u**2 - 47*u - 70. Let w be x(-22). Let z be 55/11 + (w - 5). Is c <= z?
False
Let i = 6939 - 5063. Is i > 1873?
True
Let q be 3/18 - 55/(-66). Which is smaller: 2/3707 or q?
2/3707
Let h(s) = s**3 + 2*s. Let j(x) = -x**3 - 3*x**2 - 1. Let f(a) = h(a) - j(a). Let i be f(-1). Which is greater: 2/917 or i?
2/917
Let d = 488 - 467. Let s be (-1)/((-9)/d)*225/(-800). Is s greater than 1/4?
False
Suppose -830 = -24*s + 682. Suppose 0 = 20*o - 17*o - s. Is 7 > o?
False
Suppose -35 = 11*h - 156. Suppose h*z = -z - 7704. Let l be (-1 - z/(-18))/((-1)/3). Is l greater than or equal to 110?
True
Suppose 2*f + 14 = -4*r, -6 = f + 3*r + 2. Let v be 4/(-12)*f*3. Suppose -v*t + 8*t = 0. Which is smaller: 3/50 or t?
t
Let y = -5 - -3. Let m be (70/(-4))/(13/26). Let r be -5 + m/28 + 3. Which is smaller: r or y?
r
Let t = -10179 - -10177. Suppose -5*m + 9*m - 128 = 0. Which is smaller: t or m?
t
Let d = 16402 - 16397. Suppose 5*a + 5*n = 90, -4*a = a + 3*n - 100. Which is smaller: d or a?
d
Let v = 39.4 + -15.8. Let z = 23.7 - v. Do z and -90 have the same value?
False
Suppose 11 = -6*w - 7. Let r(j) = 17*j - 4. Let z be r(w). Let t be 2 + 3*z/15. Which is smaller: t or 0?
t
Let p be (897/(-6))/(((-6)/8)/(75/(-10))). Is p at most -1496?
False
Let a be ((12 - 16) + -2 - -13) + -131 + -1. Let f(z) = -z**2 - 3*z + 6. Let v be f(10). Is v greater than a?
True
Let k be ((-2)/(-3))/((-1253)/(-630) + -2). Let s be -3 + ((-12723)/(-46))/(36/k). Let b = 464 + s. Is b at most as big as 1?
True
Let z = 148.79 - 35.65. Let t = -113 + z. Which is bigger: -5 or t?
t
Let r be 14/175*-5*(-645)/(-4). Let z = r + 2713/42. Which is greater: -1/3 or z?
z
Suppose -a + 5 = -5*v + 15, -2*v - a + 4 = 0. Suppose l + v*b = -0*b, -8 = -3*l - 2*b. Which is smaller: l or 18/5?
18/5
Let d = 700/2407 + -161870531/967614. Let j = -167 - d. Is j greater than -2?
True
Let h = -0.4 - -0.1. Let q(o) = 13*o**2 + 2*o**3 - o**3 + 41*o - 8 + 10*o**2. Let s be q(-21). Which is bigger: s or h?
s
Let h = 13050 + -25473601/1952. Is h not equal to 0?
True
Let f = -4478 - -4596.12. Let b = f - 118. Does 2/3 = b?
False
Let b(v) = -17*v + 686. Let g be b(41). Is g <= 2/13?
True
Let b(x) = x**2 - 95*x + 702. Let n be b(7). Suppose 0 = -4*w + 3*j - 5*j - 300, -5*w = 5*j + 380. Let o = n + w. Does o = 13?
False
Let z = 186 + -210.7. Let r = z - -62.7. Which is bigger: r or -3?
r
Let t(m) = -m**2 - 30*m - 77. Let c be t(-27). Suppose y + c*j + 21 = 0, -4*j + 3*j - 5 = 0. Which is smaller: -2/357 or y?
y
Let o = 196 - 194. Suppose -46 = -5*l - 4*f, 12 = -3*l - o*f + 40. Which is greater: 7 or l?
l
Suppose -9 = -d - 2*z, 2*d + 0*z = -3*z + 13. Let g be -912 + -5 + 2 - 0/1. Let i be (-550)/g - (-34)/(-51). Which is greater: d or i?
i
Let t = -78 - -80. Suppose -2*z - c = t*c + 173, -1 = c. Is -85 at least z?
True
Let c = -0.482 + 0.203. Let m = 21.279 + c. Which is smaller: -3 or m?
-3
Suppose 0 = 5*a + 5*k + 10, 5*a = 33*k - 36*k - 8. Which is greater: -277 or a?
a
Let b = -2547/8 - -318. Suppose -22*p = 8 - 8. Let v be p + -1 - 13/(169/(-26)). Which is greater: b or v?
v
Let d(b) = -b**2 + 13*b - 23. Let j(t) = -4*t**2 + 53*t - 92. Let v(k) = -9*d(k) + 2*j(k). Let w be v(7). Let r be (6/15)/(6/(-66)). Is r greater than w?
True
Let f(b) = b**2 - 8*b - 10. Let r be f(9). Let d be -15 + 8 + r + 4. Let q be (-90)/4*(2 + d/6). Is -29 < q?
False
Let j(z) = -7*z + 334. Let s be j(47). Which is greater: s or 52?
52
Let m = 183 + -130. Let v = 73 - m. Let t = -74.8 - -75. Which is greater: v or t?
v
Suppose 12*o - 22*o + 120 = 0. Suppose 0 = 4*y - o*y + 8. Let n be (-3 - 222/(-73))/(-1). Which is smaller: n or y?
n
Let k(i) = i**3 - 68*i**2 + i - 57. Let c be k(68). Let z be ((-3)/9)/(1/(-21)). Is z bigger than c?
False
Let h = -45 + 64. Let w = 681 + -660. Which is smaller: w or h?
h
Let u be 19/6 - 7/14. Let c(s) be the second derivative of s**4/12 + s**3 - 3*s**2 - 18*s. Let b be c(-7). Which is bigger: b or u?
u
Suppose 4*s = 7 + 13. Suppose -7*a + 14 = 3*q - 2*a, 18 = s*q + 3*a. Let z be (-1)/q - (-208)/39. Does 5 = z?
True
Let u = -52 - -33. Suppose h = 6, -h + 6*h = -m + 21. Do u and m have different values?
True
Let f(b) = 43*b**3 - b**2 - 2*b. Let l be f(-1). Let t = -47 - l. Let a be (-77)/70 + 2/t. Do 3 and a have the same value?
False
Let p(c) = c**2 + 8*c + 8. Let g = -106 - -96. Let i be p(g). Is 27 > i?
False
Let c = -6172 + 11647. Is c < 5476?
True
Let z(h) = -2*h**2 - 88*h + 91. Let p be z(-45). Let d be -1*(p - 4 - -3). Which is greater: d or 1/1004?
1/1004
Suppose p + 2*y - 874 = 0, 216*y - 2629 = -3*p + 217*y. Which is smaller: 875 or p?
875
Suppose -1233 = 4*t + n, 0*n - 4*n = -12. Let l = -309 - t. Which is smaller: -3/142 or l?
-3/142
Let d = 0.64 + -0.6. Let v = 1.96 + d. Let h = -8464 + 8465. Is h greater than v?
False
Suppose 3*l - y + 3 = 0, -5*l + l - 4 = 4*y. Let f(m) = 953*m - 9. Let q be f(1). Let n be (q/124)/(-4) + 2/1. Which is smaller: n or l?
l
Suppose 139*l + 16149 = 118*l. Which is smaller: -761 or l?
l
Let o = -10357 + 10358. Is -2/22885 at least as big as o?
False
Suppose -5*n + 2*s = 5*s - 175, -42 = -n - 2*s. Let j = n - 31. Which is smaller: j or 6/59?
6/59
Suppose -6*w = -30*w + 1808 - 4592. Is -107 greater than w?
True
Let v = -6637 + 6637.3885. Is v smaller than 1?
True
Let d(t) = -t**3 + 8*t**2 -