han or equal to -5?
False
Let g = -203.16 - -203.26. Is -1677 < g?
True
Let y be 33/21 + 0 + (-168)/294. Which is smaller: 8/2667 or y?
8/2667
Let u be 8*(-1)/3*(-12)/(-8). Let l(p) = 2*p**3 + 10*p**2 + 15*p - 5. Let f be l(u). Does f = -33?
True
Suppose -19*k + 1052 = 32 - 1830. Is 1958/13 <= k?
False
Suppose -27 = -148*t + 145*t. Let j be t*(-3)/(-9) - 18/22. Do 2 and j have different values?
True
Suppose 5*v - 3*b = 40, 0*v - 25 = -2*v + 3*b. Let h be -1 - 5*-12*4/v. Suppose 14 = -3*p + 3*y + h, -2*y + 10 = 2*p. Does 3 = p?
False
Let d(y) = -10*y + 42 + 113 + 18*y. Let u be d(-23). Which is smaller: -31 or u?
-31
Let r(f) = -60*f - 3599. Let d be r(-60). Do 4/2285 and d have different values?
True
Let k be 18/21 - (-3614)/(-182). Is -74 >= k?
False
Suppose -n + 80 + 20 = -b, n - 4*b - 103 = 0. Is 96 less than n?
True
Suppose -10*z + 1019 = -1141. Let u = 219 - z. Which is smaller: 42/23 or u?
42/23
Let r = -10880 + 10880. Which is greater: r or 1/3015?
1/3015
Let d = 9.92 - 10. Let v = 25868 + -25862. Which is greater: d or v?
v
Suppose 0 = -142*a + 11702 + 38367 + 3891. Are 1893/5 and a equal?
False
Let b = 3.2479 + -0.2479. Is b less than or equal to -153?
False
Let q(n) = n**2 - 82*n - 171. Let l be q(-2). Suppose -5*p + 106 = -799. Let y = -731/4 + p. Is l equal to y?
False
Let g be ((-2)/(-12))/(3/(-27))*4004/21. Is g bigger than -280?
False
Let d = 135/59 - -1524/649. Which is bigger: 6 or d?
6
Suppose 24*k - 13847 = -9119. Which is smaller: 203 or k?
k
Suppose -2*r - 20 = 3*r. Let l be 2/3*30/(-4 - -9). Suppose -l = 2*f + 2. Which is smaller: f or r?
r
Suppose 32*i - 5*i = 729. Let q be (-1 + 4 - -2) + (-663)/i. Is -20 not equal to q?
True
Let j be (9/(189/(-14)))/((-2)/(-123)). Let x = 43 + j. Let k = 10 + -8. Are x and k non-equal?
False
Suppose 9*b - 13*b = 3*i + 1463, 3*i = 7*b - 1507. Is -478 > i?
True
Let l(i) = 3*i + 1. Let h = -8 + 12. Let d be l(h). Let a be 18/(-168)*4 - (-5 + 96/21). Is d smaller than a?
False
Let w be ((-135)/(-225450))/(2/(-8)). Which is smaller: 1 or w?
w
Let j = -2033/5 + 14206/35. Do 4.5 and j have the same value?
False
Suppose -3*g + 5*m - 4*m - 21 = 0, 5*g = m - 33. Let t be 30/20 - (-3)/g. Let d be ((0 - t) + -4)/((-6)/48). Are d and -1 nonequal?
True
Let c be (30/(-32) - -1)/(15/(-50)). Let h = 51 + -48. Suppose h = -7*g - 4. Which is greater: g or c?
c
Let p(u) = 10*u + 5. Let t be p(3). Suppose c - 14 = 4*r - 3*r, -t = -2*c - 5*r. Do 15 and c have different values?
False
Let u = 43943/2760 - 366/23. Which is bigger: -1 or u?
u
Let p be 3168/4060 - ((-100)/(-875))/(2/14). Is p at most 0?
True
Let j = -3124 - -4501. Is 12392/9 at least j?
False
Suppose 2*z + 40 = n, -z + 145 = 5*n - 0*z. Suppose 0 = 2*q + q - n. Let g be -38*5/q - 2. Is -21 smaller than g?
False
Let i = 2/13027 + 78140/143297. Which is smaller: i or -2.18?
-2.18
Let d = -263.424 + 263. Let p = d - 2.776. Which is smaller: p or -0.1?
p
Suppose -7*y + 155 + 156 = 311. Is 1/7770 equal to y?
False
Let g(n) = 243*n - 4373. Let l be g(18). Is -2/8387 > l?
False
Suppose -5*a = -2*c + 35, -9*c + 11*a = 10*a - 7. Is -30/1057 at least c?
False
Let u be (77/(-14))/((-12)/(-24)). Does u = -65?
False
Let a = 0.26013 - 0.06013. Suppose -f + 8 = 2*f - 4*i, 2*f - 5*i - 10 = 0. Let l be 1 + f + -2 + 28. Which is smaller: a or l?
a
Suppose 91 + 305 = -3*v + 3*s, 0 = 5*v - 4*s + 668. Which is bigger: v or -167?
v
Suppose -3*o = -2*k - 3865, 22*o - 7725 = 16*o + 3*k. Is 1287 at most as big as o?
False
Let d = -140804/7 + 479155970/23821. Is -1 equal to d?
False
Let z be (((-16)/6)/(-2))/(601396/5391). Which is bigger: -5 or z?
z
Let v = -0.9 - -1.9. Let n = 2985.31 - 3010. Let b = 24.8 + n. Which is smaller: b or v?
b
Let f(y) be the third derivative of y**4/24 - 5*y**2. Let q be f(2). Suppose -4*h - 8 = -q*h. Which is smaller: h or 2?
h
Suppose -d - 3*s + 764 = 0, 2*d = -5*s + 2043 - 518. Are d and 755 equal?
True
Let f = -494/99 - 20825/198. Which is greater: f or -110?
-110
Let v be 12 + 180/48 + 2/8. Suppose -2*o = 3*j + 117 - v, j = 5*o - 11. Which is smaller: j or -30?
j
Let c(o) = -8*o - 64. Let r be c(-8). Suppose 3*w - 24 = 3*i, -i + r*w - w = -2. Let f be i*((-47)/5 - 8/(-20)). Is f bigger than 25?
True
Let r = 552463/4 - 138116. Let t = 2 + -15. Which is smaller: r or t?
t
Let o = 42 + -80. Let b = 5 + o. Let z be (22/b)/(2 + (-10)/3). Is z greater than -0.2?
True
Let m be (-1)/(-5) - 114/(-30). Suppose 32 = -m*i - 3*u, 0 = -4*i + 6*u - 4*u - 12. Let g(n) = -11*n - 39. Let l be g(i). Is 16 less than l?
False
Suppose -1359*s - 24 = -1383*s. Which is greater: s or 1/321?
s
Let w = 676 + -27053/40. Let m be (742/(-1113))/((-4)/6). Which is smaller: w or m?
w
Suppose -n + 5 + 1 = 0. Suppose a + 165 = n*a. Let p be -3 + a/9 + 0. Which is smaller: -0.1 or p?
-0.1
Let u be (-14)/91 - 50/13. Let x be (-5)/(u + 24/16). Let y = -1/269 + 2967/2152. Which is greater: x or y?
x
Suppose 0 = 5*a - 3*l - 66414 + 10116, -6*l = 4*a - 45072. Is a >= 11262?
True
Let v(f) = 93*f - 7. Let j be v(-3). Let m = 287 + j. Is m less than 6/163?
False
Let m be ((-306)/(-510))/((-6)/(-10)). Let g = 8/199 - 1951/3980. Let p = 6/5 + g. Which is smaller: m or p?
p
Suppose 0 = -142*f + 61*f + 54*f - 118638. Is f bigger than -17571/4?
False
Let t = -18917 - -6745. Is t >= 0.1?
False
Let c(f) = 29*f + 159. Let a(s) = -6*s - 32. Let z(q) = 11*a(q) + 2*c(q). Let t be z(-7). Is t smaller than 23?
True
Let l = -411/6580 - -1/188. Let r = -13 - 61. Let t = r + 75. Are t and l non-equal?
True
Let n = 41821781/2860 - 14623. Is -1 < n?
True
Let x(l) = 2*l**3 - 78*l**2 + 72*l - 92. Let m be x(38). Which is greater: m or -233?
-233
Suppose g + v + 629 = 76, -2*g = 3*v + 1112. Which is smaller: g or -546?
g
Let y(a) = a + 2. Let l be y(3). Suppose 0 = -14*w - 32 + 88. Suppose -4*d - w = 4*t, 10 = 2*t - 5*d - 9. Which is smaller: t or l?
t
Let p be 15029 - 0*(-8)/32. Let h = p - 104927/7. Is h > 38?
True
Let a(r) = -3*r - 6. Let q be a(7). Let i = -22 - -30. Let k(o) = -o**2 + 13*o - 40. Let x be k(i). Is q less than x?
True
Suppose -z + 5*z = 0. Let b = 316842997/1883 - 168265. Is z at least b?
False
Suppose 11*w - q = 15*w + 4, -4*q = 16. Is -9/19 greater than w?
False
Let q(s) be the second derivative of -11/6*s**4 - 19/6*s**3 + 0 - 1/20*s**5 - 4*s + 31/2*s**2. Let k be q(-21). Are k and -10 nonequal?
True
Let w = -15149 + 9679. Let a = w - -49112/9. Is -12 != a?
True
Let z = 18 + -35. Let k = -29 - z. Let o be ((-16)/k)/(4/60). Which is greater: o or 19?
o
Let f(m) = -28*m - 7. Let w be f(-2). Suppose -z = -8*z - w. Suppose c = 2*c + 8. Which is greater: z or c?
z
Suppose -3*a + 6*s + 1 = s, 0 = -5*a - s + 11. Suppose 0 = -a*v - 5*d + 126, 0 = 2*v + 2*d - 74 - 40. Which is smaller: 54 or v?
v
Suppose -5*i + 161 = -174. Let d = i - 56. Suppose -4*g - d*r + 7*r - 52 = 0, 2*g + 5*r = -35. Which is greater: -8 or g?
-8
Suppose -8*n = -58*n - 19*n + 157251. Is n < 4?
False
Let r(d) = 2*d**2 - 22*d - 50. Let s be r(13). Suppose b = -s*b - 477. Which is smaller: -162 or b?
-162
Let c = 26933/33 + -2473/3. Let u = -15/22 - c. Let a(d) = 6*d**2 + 4*d - 3. Let l be a(1). Which is bigger: u or l?
u
Let t = -315.9 - -315.82. Let k be 12/(-693)*408/(-26). Let j = k - -2/143. Which is smaller: t or j?
t
Let x = 438/5 - 88. Let f = -262 - -290.1. Let y = f - 25. Which is bigger: x or y?
y
Suppose 188*r = -44*r - 56*r + 288. Suppose 4*t = 3*t + 2*b - 2, -4*b + 16 = 4*t. Suppose 3*c = i + t, -5*c - 2*i - 14 = -c. Which is smaller: c or r?
c
Suppose -5*f + t + 10 = -8*f, 4*f - 4*t = 8. Let b be (-10)/(-4)*(236/5 + f). Is b at least as big as 113?
True
Let t = -10 + 14. Suppose -4*d + 2*w + 168 = 0, -w + 22 = t*d - 140. Let j be (2/(-2))/(29/(-1247)). Which is greater: d or j?
j
Let i = -12493 + 12322. Is i less than or equal to -206?
False
Suppose -140*n - 1740 = -17260 - 1420. Which is bigger: 10 or n?
n
Let o be (624/(-260))/(9/(-210)). Is 51 greater than o?
False
Let s = 60.44 + 0.56. Do 3/5 and s have different values?
True
Let l(r) = 420*r - 410*r - 7 - r**2 - 5. Let j be l(8). Suppose -t - j = -5. Is 2/63 at least t?
False
Let s = -8.5 - -34.3. Let f = -23 + s. Let r be ((-2)/(-22))/(-22 - (-729)/33). Is r >= f?
False
Let p = -646 - -124. Let f(t) = -2*t**3 + 71*t**2 + 6*t + 558. Let g be 