*t - 18, 0 = -11*q + 10*q - t - 43. Suppose a - 2*c - 146 = 0, -5*c = -3 - 12. Suppose -4*o + a = -8*o. Which is smaller: o or q?
o
Let t = 17 - 18. Let j = 385.6 - 383. Which is smaller: j or t?
t
Let k be (2/(-9))/(9/(-81)). Let h = -22 + 32. Let j = h - 7.8. Which is smaller: k or j?
k
Let m = -240 + 107. Let q = 194 + m. Let n = q - 65. Is -1/4 greater than or equal to n?
True
Let x = -3684 - -3657. Is -58 greater than or equal to x?
False
Suppose 20*g + 21233 = -18327. Which is smaller: -1980 or g?
-1980
Suppose -4*i + 20 = -14*i. Let y = i + 3. Let t = 66692/65 + -1026. Which is greater: t or y?
y
Let f be -9*((-460)/(-80))/((-1)/12). Suppose 0 = t - 4*t + h - f, 5*t + 4*h + 1052 = 0. Which is smaller: t or -209?
-209
Let x be (-9)/(-2) + 3/(-6). Suppose -4*v + 17 - 1 = -2*f, -3*v + x*f + 22 = 0. Which is smaller: 8/9 or v?
8/9
Suppose 2*l + 138 = -11*l - 125*l. Let f = -8762/69 - -127. Which is smaller: l or f?
l
Let f(l) = l**3 + 16*l**2 - 12*l - 14. Let n be f(-17). Let o be ((-3 - -2)/(-1))/(1/n). Let b be (-1 - -19)/(o/132). Which is smaller: b or -26?
-26
Suppose -138 = -2*w + 182. Let p be (-1)/(-6 - (-952)/w). Is p at least 1/5?
True
Let r = 77 - -33. Suppose -2*u + r = 5*o - 2*o, -4*u - 4*o + 224 = 0. Suppose -3*l - 2537 = l - 47*l. Is l less than u?
False
Let u = -476 - -200397/421. Let v = -377/18524 - u. Suppose -18 = -7*c - 11*c. Which is smaller: v or c?
v
Let u be ((-657)/63 + 11)*((-140)/24)/(-5). Which is smaller: -9452 or u?
-9452
Let h = 82 - 78. Suppose -2 = 3*t - h*t. Let b be (t/2 + -2)/1*1. Is b > 2/7?
False
Let l be (3 + 7 - 10)/(2 + -1*4). Is l greater than or equal to 70/121?
False
Let w = 77 + -77. Suppose w = 9*k + 8 - 35. Suppose k*p - 2*h = 25, 4*p + h = -h + 24. Is 7 at least p?
True
Let w be ((-228)/190)/(4/(-26)). Let z = 0 - -9. Which is greater: z or w?
z
Suppose -f = 2*i - 32, -5*i = -2*f - f + 85. Let x be (f/(-16) - -2)/((-2)/20). Let g = -59 + 58. Which is bigger: g or x?
g
Let m = 341/204 + 4/51. Let y(f) = 3*f + 35. Let r be y(-12). Let x be 8/12 - 0/(r - -3). Which is greater: x or m?
m
Let c = 120 - -116. Suppose 16 - c = 11*y. Let a be (2/y)/((-4)/(-12)). Are a and 0 equal?
False
Suppose -33*s + 558 = -2*s. Let q be (-28)/(-21)*s/24. Let d be 2/68*(-3 - -1). Are q and d unequal?
True
Let k(v) be the third derivative of v**4/3 - 88*v**3/3 - 43*v**2. Let o be k(22). Is o >= -7/15?
True
Let g = 58699276/11135 + -26358/5. Suppose -3*v = 9, -2*v + 4 = -3*x + 7. Does x = g?
False
Let w be (4*15/100)/((-3)/15). Let d(f) = -5*f + 8 + 7 + 4*f - 4. Let n be d(14). Is w < n?
False
Let c = 3277 - 3278. Is c bigger than -1/29?
False
Let v be (-13776)/19885 + 2/(20/6). Which is smaller: v or 0?
v
Let r = -168/23 + 1590/161. Let q = -20/7 + r. Let w = -1 + 1. Is q > w?
False
Let j = 133 - 137. Let b be j + 45/12 - (-247)/(-4). Let t = -41 - b. Which is greater: t or 22?
22
Suppose -4*f - 12*r - 44 = -20*r, 3*r = 15. Which is smaller: -5/1609 or f?
f
Let o be (-4)/2*10/12. Let y = 163804 - 1474238/9. Which is greater: y or o?
y
Let q(d) = -2*d - 33. Let o be q(-18). Suppose 2*v - v + 5*c = 25, v + o = 2*c. Suppose 0 = v*h + 41 - 16. Which is bigger: h or -6?
h
Let q = 515.993 + -516. Let h = q + 0.407. Is 3 smaller than h?
False
Let r be (-19)/((-47576)/(-44)) - (-1 + 1). Is r >= -1?
True
Suppose 5*p - 3*y = 66, 5*p - 6*y + 2*y - 68 = 0. Let r(c) be the first derivative of -c**3/3 + 7*c**2 - 27*c - 304. Let f be r(p). Which is smaller: f or 0?
f
Let b = 232/3 + -78. Let z = -70113597/37 + 1895178. Let p = z + -216. Which is bigger: b or p?
p
Suppose 5*k + 2*h - 14 = 0, -5*h + h = -8. Let y = 58 + -54. Suppose 0 = -4*v + 3*x + 5 - k, -y*x = 3*v + 4. Which is smaller: v or -1/69?
-1/69
Let i = -169 + 172. Suppose -j - i*l + 15 = 2*l, 4*l - 12 = 0. Let p be 1 - (-1 - 68/(-64)). Is j greater than p?
False
Let p = 529 + -304. Let q = p + -370. Which is bigger: -144 or q?
-144
Let j = 81562 - 119043. Which is smaller: j or -37482?
-37482
Let a(k) be the second derivative of -k**5/20 + 7*k**4/12 - 4*k**3/3 + 6*k**2 + 23*k. Let b be a(6). Are 5/19 and b non-equal?
True
Let c be (-4)/(-22) + ((-491494)/954162 - 32/(-96)). Are -1 and c nonequal?
True
Suppose -4*w + 13*z = 12*z + 513, 0 = -w - 3*z - 125. Is w <= -0.17?
True
Suppose 98*j - 97*j = 78. Suppose -3*v - j = -2*y, 2*y - 42 - 36 = 5*v. Let s be -4 + (-3)/((-9)/y). Is s not equal to 11?
True
Let j(z) = 6*z**3 + 6*z**2 - 2*z - 12. Let y(s) = 5*s**3 + 6*s**2 - s - 11. Let p(x) = -4*j(x) + 5*y(x). Let l be p(-5). Is l at most 24/11?
False
Let u(f) = 98*f + 758. Let h be u(-8). Is -27 bigger than h?
False
Let z be 5 + ((-156138)/(-114) - -1). Let p = z - 1375. Which is smaller: p or 1?
p
Let b be 4 + 182/(-49) - (-1565)/35. Is b at least 52?
False
Let m = -0.126 + 0.082. Let z = -251 - -252.956. Let l = m - z. Which is smaller: l or 1?
l
Let x = -5455758477038/105 - -155869374188/3. Let q = -22043522/7 - x. Let i = q + 2594. Is i > 0?
False
Suppose -3*c + c + 26 = 0. Suppose -370 = c*m + 631. Let a = m + 78. Is 1/72 < a?
True
Let u be (-148)/(-5) - 4/(-10). Suppose -2*m + 25 = m - 2*x, -3*x - 15 = 0. Suppose i + 4*c = 45, -5*i - m*c + 58 + 107 = 0. Do i and u have different values?
True
Let u = -330 + 240. Let z = u - -89. Is -1/64 >= z?
True
Let c = -4051 - -3262. Which is bigger: -792 or c?
c
Let x = 0.0377 + -7.0377. Let w = 17 + -17.2. Is w less than x?
False
Let p be -4 + 4 + 10096/(-20). Let z = 571 + p. Do 65 and z have different values?
True
Suppose 0 = -61*h + 60*h - 113. Let s = h - -126. Let p = s - 5. Which is smaller: p or -2?
-2
Let f = -3996 - -963028/241. Are 0 and f unequal?
True
Let v be (-3)/((-2)/8*(-23 + 17)). Let j = -3951/1624 + 1/232. Which is smaller: j or v?
j
Suppose 2*m - a + 5 = 0, -a + 56 - 55 = 0. Let l be (-1)/(-4) - 54/8. Is m equal to l?
False
Let v be 4/(-11)*(-6)/8. Let p = 57 + -81. Let q be (3/2)/(1/((-16)/p)). Is q <= v?
False
Let u = 183400/107 - 1714. Let o = 99/428 + u. Let v = 10.23 - 0.23. Is o at least as big as v?
False
Let a = -0.1 + 0.3. Let p = -18110/17 - -1065. Let w = -95/34 - p. Which is smaller: a or w?
w
Let o = 22 + -22. Suppose 2*c - 7*c + 10 = o. Let u(a) = 2*a**3 + a - 1. Let l be u(c). Is 16 less than l?
True
Let w = -265 - -232. Let u be (w/(-968))/((-9)/(-12)). Is 4 <= u?
False
Suppose o + 7*o = -80. Let c(q) = -4*q + 57. Let r be c(8). Let f be 23 + -21 + r/(-2) + 0. Which is smaller: f or o?
f
Let i = 1219/25145 + -7/235. Which is greater: i or 5?
5
Let g be 108/(-30)*(-1050)/18. Which is smaller: g or 212?
g
Let c be (-2)/(-4) - (-3689)/(-420). Let x = c - -41/5. Let i(f) = f + 21. Let q be i(-20). Which is bigger: q or x?
q
Suppose 0 = 176*t - 96*t - 160. Let a be (-12)/(12/3) + 8. Let i = a - -1. Is i at most as big as t?
False
Let f = 237 + -236.62. Let p = -7.62 - f. Which is bigger: -1/4 or p?
-1/4
Let r = -12986 - -999896/77. Is r < -1?
False
Suppose 5*k = 3*k - 9*k - 16918. Which is smaller: k or 1/4?
k
Let y = 886 - 1453/2. Which is smaller: y or 160?
y
Let f = 200.4 + -363.3. Let u = f - -163. Which is bigger: u or 209?
209
Let z = -21 + 21.7. Let p = -8 + 7.3. Let w = p + z. Which is bigger: w or -1/3?
w
Let u = -387 + 312. Let a be ((-10)/u*1)/((-5)/25). Which is smaller: 0.2 or a?
a
Suppose 16*m = 17*m + 3*i - 2, -4*m = -2*i - 22. Suppose b - m*r + 117 = 0, 4*r - 2*r = -5*b - 639. Is b greater than -130?
True
Suppose -134 = 31*i - 10. Let c be i*1/5*55/(-1100). Let h be (-4)/(-6) - 2/3. Which is smaller: c or h?
h
Suppose -811*g = -830*g. Is g bigger than -44/79?
True
Let h(x) = x**2 - 2*x - 85. Let i be h(12). Suppose 4*w = 5*w. Suppose w = 7*r - 0 - i. Is 6 < r?
False
Let u = -348181/737919 - -2/13923. Which is smaller: 1 or u?
u
Let p be 1466790/91675 + 816/(-51). Which is smaller: -1 or p?
-1
Let u be (-2)/8*1 + -149*(-340)/196880. Is u >= -1?
True
Suppose 3*p + 89 = 99*p - 7*p. Which is bigger: p or 2/4969?
p
Let h = -0.856 - -0.556. Do h and 901 have different values?
True
Let r = -286186 + 4850671/17. Let t = r + 852. Is t at most 0?
True
Let s(m) = -m**2 - m - 2. Let u be s(0). Let n = 18915214 - 32855721338/1737. Let j = -8/579 - n. Which is greater: j or u?
u
Let z(x) = -x**3 - 6*x - 6 - 6 - 10*x**2 - 2*x + 1. Let j be z(-9). Let y be (30/25)/((-232)/j). Which is bigger: y or 