 = s - -145. Is 4/429 less than z?
False
Suppose 2*f + 33 = -3*r, -2*r - 30 = -0*r + 4*f. Let u(c) = -c**3 - 9*c**2 + 11*c + 9. Let h be u(r). Let k be (h/(-35))/(3/21). Which is bigger: k or 1?
k
Let i = -9027 - -8553. Which is greater: i or -2/7?
-2/7
Let o(f) = -2*f - 18. Let z be o(-10). Let c = 5011 + -95169/19. Is c != z?
True
Let n be (2/(-6))/(2/(-30)). Suppose -1 - 4 = -n*w. Let k be 280/(-46) + (11/6 - 35925/(-8622)). Do k and w have the same value?
False
Let s = 2 - 3. Let o = -10973761/142 - -77280. Which is bigger: s or o?
o
Let g(r) be the second derivative of 11*r**3/6 - 126*r**2 - 58*r. Let c be g(23). Which is smaller: 6/493 or c?
6/493
Let d(w) = 37*w - 3656. Let h be d(3). Is h not equal to -3546?
True
Suppose 2*m - 3*g = 113, 5*m + 4*g = 6*g + 277. Suppose -m*l = -75*l. Are l and 1/878 equal?
False
Let u = 107.21 + -102.21. Let h = -0.1 - 0.02. Is h greater than u?
False
Let w(m) = -m**3 + 17*m**2 - 17*m + 14. Let d be w(16). Let y be (0 + (-5)/(-1790))*d. Which is smaller: -1 or y?
-1
Suppose -73*y + z = -68*y + 13, 3*y + 18 = 4*z. Which is smaller: -92 or y?
-92
Let s = 113 - 103. Let i be 114/s*(-30)/(-8). Which is bigger: 43 or i?
43
Let o = -260047253/6365329410 + 1/88624570. Let a = -2/1221 - o. Which is smaller: a or 1?
a
Let x be (-80)/640 + -1*1 + (-7)/(-56). Suppose 5*a - 4*t - 30 = 0, -5*t + 55 = 5*a - 2*a. Let v be a/(-13)*8/(-20). Is v > x?
True
Let x be (-5 - (-456)/91)*92/(-12). Let w = 5/21 + x. Is w > 51?
False
Let r = 43735.874 + -43686. Let m = -0.126 - r. Let c = -49.68 - m. Is 0 at least as big as c?
False
Let j = 4823 - 4541. Which is smaller: -4 or j?
-4
Let b be 6 - ((-138603)/(-138609) + 5). Let p = -13999499/231015 - b. Which is smaller: -60 or p?
p
Let q = -33 - -68. Let s be 2/10 - 1757/q. Is s greater than -48?
False
Suppose -91*n + 12 = -85*n. Suppose -3*z + u - 23 = -5*z, n*z - u = 17. Suppose -3*k + 2*k + 11 = 0. Is z greater than or equal to k?
False
Suppose -4807*p - 288507 = -4790*p. Which is smaller: p or -16972?
-16972
Suppose -l - 99 = -4*l. Suppose -l = -15*p - 3. Which is smaller: p or 15?
p
Let o = 110 - -163. Suppose -3*i - 13 = 2, 3*m + 3*i = o. Suppose 0 = -9*x + 604 + 269. Which is bigger: x or m?
x
Let x(u) = -u**3 - u**2 - 3*u + 6. Let z = 85 - 83. Let v be x(z). Let r be (13/((-130)/v))/((-22)/10). Which is smaller: 2/3 or r?
r
Let i = -95 + 97. Suppose 2*u + h = -3*h + 18, -2*h + i = 0. Which is greater: u or 52/9?
u
Let r = -43 - -42.1. Let t = 0.64 + r. Let s = -0.36 - t. Which is bigger: s or 17?
17
Let s be (-2 + 38/4)/((-12)/(-224)). Suppose -5*d + s = -3*h, d - 112 = -3*d - 3*h. Let k be 526/20 - (-2)/10. Which is bigger: k or d?
d
Suppose 2*d + 12 = -0*d. Let s = -5 - d. Let c = -9901 - -227720/23. Which is smaller: s or c?
c
Let y = 0.05339 + -0.01939. Is -1 at least as big as y?
False
Let w = -250927549/9961 + 25191. Which is bigger: 1 or w?
1
Let w = 53761 + -53667. Let k be 1 + 14*(-26)/(-4). Is w at most as big as k?
False
Let y = -9243 - -9310. Is 98 > y?
True
Let p(b) = -2 - 2 + 3 - 1 + b. Let o be p(7). Let d be (-6)/21 - ((-85)/(-14))/o. Which is smaller: d or 4?
d
Let m = -2 - -1. Let k = -3/2686 + -107401/34918. Which is bigger: k or m?
m
Let d(m) = m**3 + 8*m**2 - 20*m - 7. Let h be d(-10). Let u(s) = s**2 - 12*s - 129. Let o be u(h). Which is bigger: 8 or o?
8
Let j(v) = -4*v**3 + 30*v**2 + 51*v - 3. Let f be j(9). Which is smaller: f or -32?
-32
Let k be -1 - -8 - 10094/1236. Suppose -b + 5*b = 0. Suppose b = 7*g - 11*g. Are g and k equal?
False
Let k = -0.783 - 239.217. Let g = k - -244. Which is greater: g or 2/5?
g
Suppose 3*k = -k + 52. Suppose -14*a + 148 + 972 = 0. Let o = 94 - a. Which is greater: k or o?
o
Let j = -183 + 181. Let n be ((-76)/10)/(10/(-25)). Let c = -19 + n. Which is bigger: j or c?
c
Let s(d) = -6*d - 19. Let t = 31 - 32. Let j be (t - -7*1)*2/(-4). Let h be s(j). Is h > -2/63?
False
Let b = 5542 - 5693. Which is greater: b or -158?
b
Let k = 2/403 + -3631/806. Let c(x) = -5*x**2 - 6*x + 22. Let r be c(-3). Which is greater: r or k?
k
Let t = 18374 + -18373. Let i = -4516/45 + 446/9. Does i = t?
False
Let s = -11 + 43. Let f = s + -38. Let y = f + 5. Which is smaller: y or 0.14?
y
Suppose 48*l - 234 = -1962. Is l greater than 31?
False
Let l be (135/25 - 5) + (-896)/65. Let x = 9596/715 + l. Suppose -3*h = -0*h - 3. Which is greater: x or h?
h
Suppose 81*p - 35*p + 1978 = 0. Which is bigger: p or -37?
-37
Let q be (-1 + 8)/(-14)*-42. Which is bigger: q or 43?
43
Let u be (-9)/((-3)/(-2)*2 - 4). Let r be 4/u - 185/(-333). Is r equal to 7/61?
False
Let b = -709 - -761.9. Let p = -1.6 + -51.4. Let r = b + p. Which is bigger: r or -38?
r
Let k be 290/(-6) + (-11)/(-33). Let f = -91 - k. Let l = -38 - f. Which is bigger: l or 4?
l
Let j = -0.671 + 0.7. Let f be -1041*19/(-855) - 23. Does j = f?
False
Let w(c) = 633*c - 75. Let f be w(2). Let g = 713 - f. Is -479 < g?
True
Suppose 22*h + 0 + 484 = 0. Which is bigger: h or -24?
h
Suppose -2*n - 3*r - 16 = r, -3*n - 46 = -5*r. Let p(v) = -v**3 + 12*v**2 - 12*v + 6. Let h be p(11). Let t be (-508)/n - h/(-15). Which is greater: t or 41?
t
Let d = -15962 + 15961.5. Are d and -288 equal?
False
Let z be (-41)/8 - 7/16*(-40)/140. Which is smaller: z or 114?
z
Suppose 4*r - 5*k + 7370 = -7585, -9 = -3*k. Let y be (r/12)/1 + 6/(-8). Is y at least as big as -312?
True
Let g be (-9)/(-120)*8 - (-3)/(-5). Is g bigger than 1/1673?
False
Let b(t) be the third derivative of t**5/60 - 3*t**4/8 + 5*t**3/6 + 7*t**2. Let d be b(9). Suppose 8*j = 10*j - 8. Are j and d nonequal?
True
Let d be 21/6*(4 + 0/(-4)). Let r be (d/245)/(1 + 0 - 2). Which is smaller: r or -1?
-1
Suppose 0*j = 5*j + 2*g + 40, 5*g + 25 = -5*j. Let f be ((-234)/12 + -6)/((-21)/6 - -6). Is j >= f?
True
Suppose 168*r - 19860 - 17370 = 151*r. Is 2189 at most as big as r?
True
Let o(x) = -x**3 - 15*x**2 + 15*x - 88. Let y be o(-17). Let g = y + -265. Is -57/2 smaller than g?
False
Let i = -130061951687/132 - -985148159. Let q = 169656 + i. Let k = -2/33 - q. Which is greater: 0 or k?
k
Let n be (24/(-8))/((-21)/(-22)). Let w = -809/85 + 47/5. Which is smaller: w or n?
n
Let z be 21*(-60)/(-1890) + 10/(-6). Is z != -121/53?
True
Let n = 8 + -5. Suppose -5*t - n*v + 31 = 0, -5*t + 20 = v - 7. Suppose -36 = -13*g + 16. Do t and g have different values?
True
Let g be 3 - -6 - (-10)/(-2). Suppose -317 + 67 = s - g*v, 3*s + 3*v = -675. Is s less than or equal to -231?
False
Let l(r) = -r**3 + 4*r**2 + 13*r - 37. Let v be l(5). Suppose -4*p = -2*p - 8. Suppose 3*m = -v, -m - 3*m = -p*a + 8. Which is smaller: a or -8?
-8
Suppose 5*y + 3*c = -157 + 1053, 3*y - c - 532 = 0. Suppose 0 = 11*b + 108 + y. Is -26 bigger than b?
False
Let h(p) = -p**3 + 3*p**2 - 6*p + 4. Let u be h(4). Let r be 3 + -21 + 8 - -8. Let g be 44/u - r/9. Is -2/7 at least as big as g?
True
Let m = -0.12 + 0.22. Let i(y) = -44*y + 140. Let b be i(4). Which is bigger: m or b?
m
Let z = -241 - -470. Let x = z + -96. Let q = x - 144. Which is bigger: -1 or q?
-1
Let j = 231/29 - 1183/174. Is -51 not equal to j?
True
Suppose -2*z = 2*k - 1946, 5*z + 20*k - 4915 = 25*k. Is z <= 980?
True
Suppose -4*x + l = 0, -5*x = 8*l - 13*l + 15. Let i = 53/24080 - -1/1290. Is i smaller than x?
True
Suppose 0 = 5*u - 5*h - 940, 7*u + h - 970 = 2*u. Let g be 25/(1175/11186) + -46. Which is greater: g or u?
u
Let f = -219 - -220. Suppose -f = v + h - 6, v = -2*h + 9. Let l be -4 + (-548)/(-64) - 4. Is v equal to l?
False
Let m be (-60)/29 - (-4 - -2). Suppose 0 = -5*x + 5*d + 255, -5*x + 285 = -2*d + 39. Let i = x + -47. Is m greater than or equal to i?
False
Let g = -13999 + 13956. Are g and -675/16 nonequal?
True
Suppose 6*x = 3*y + 5*x - 3380, 4*y + x - 4509 = 0. Do 1130 and y have the same value?
False
Suppose -4*x + 6 = -2*x, o + 4 = 2*x. Suppose 5*y = -3*m - 188, -o*y = -4*y + 4. Is -69 >= m?
False
Let p = -1159981/8 + 145217. Which is greater: 220 or p?
220
Suppose -42*b + 1970 + 100 = 165*b. Let n(q) = -q**2 - q + 1. Let x be n(1). Let h be 6/1 + 0 + x. Is h less than b?
True
Let m = 2/8693 + -17928/2355803. Let y = -604/8401 - m. Let h(x) = -x + 14. Let g be h(14). Is g equal to y?
False
Let x = 1838 + -1804. Suppose x = 42*q - 92. Let k be (-82)/(-56) - (-1)/4. Do q and k have differe