Let t be s(0). Are c and t nonequal?
True
Let b(p) = -2*p - 6. Let m(r) = 5*r - 1. Let l be m(1). Suppose -l = -z - 7. Let t be b(z). Which is smaller: t or -4/23?
-4/23
Let y be (-43)/(-1) + 2 - (-14 - -12). Let t = y + -36. Which is smaller: t or 9?
9
Suppose -s - 237 = -3*d, 2*s - 86 = 68*d - 69*d. Which is smaller: d or 71?
71
Let k = 189 + -188. Is k bigger than -1/69?
True
Let o(b) = b**3 + 5*b**2 - 2*b. Let d be o(-4). Let x = -20 + d. Let m be ((-3)/x)/(12/(-240)). Which is smaller: m or 0?
0
Suppose 0 = -0*l + 4*l - 96. Let j be 14/(-21) - (-19)/l. Is -1 at least j?
False
Suppose 3*n = d + 1686, 4*n - 483 = -4*d + 1781. Which is greater: n or 564?
564
Let f be 4*7/(-28)*1/(-4). Which is greater: -22 or f?
f
Let k be 0 - 3/(-18) - 3157/(-66). Which is smaller: k or 21?
21
Let w be (-1)/3 - (-58)/(-6). Let s be (3 - w/(-2)) + 0. Let r be (-7)/2 - 18/(-6). Which is smaller: s or r?
s
Let f = 397/7 - 57. Let l = 334 + -2009/6. Is f greater than l?
True
Let c(h) = -5*h + 31. Let j be c(14). Let s = 39 + j. Is s equal to -1?
False
Let x(r) = 0*r + 3*r + 21 - 4 - 5*r. Let b be x(8). Is b less than -5/33?
False
Let o = -487 - -488. Which is greater: -4 or o?
o
Let c(l) = 2*l**3 - 8*l**2 + 9*l - 5. Let d be c(3). Suppose 109 = d*m - 27. Is 34 at most m?
True
Let t be (-1)/(-1)*1 + 2. Suppose 5*x - 25 + 0 = -5*c, x + 11 = t*c. Suppose 25 = -5*z - 5*l, 0 = 3*z + 11*l - 9*l + 11. Which is smaller: z or x?
z
Let n = -0.002 + -0.318. Let x = n - 0.68. Is -7/2 < x?
True
Suppose f = -4*a - 4, 0 = a + 6 - 4. Suppose -4*x + 4*d - 7 = d, 0 = 5*x + f*d + 1. Let n be -4*(8/20)/1. Is n at most x?
True
Let k be (-12 - 1)/(5 - 6). Let l be (-2159)/(-170) + (-9)/30. Is l less than or equal to k?
True
Let h = 13 - 4. Let i = 7.4 - -0.6. Let l = h - i. Which is smaller: l or -0.5?
-0.5
Let l = -334 + 302. Do -2 and l have different values?
True
Let c(v) = 2*v**3 - 9*v**2 - 6*v + 2. Let m be c(5). Which is greater: m or 12?
12
Suppose 2*v - 5*v = 3. Let c = v + -1. Let a = -15/92 + -2/23. Which is smaller: a or c?
c
Let o = -77 + 184. Let g = -106.7 + o. Let d = -6 + 3. Are g and d unequal?
True
Let l = -468 + 468. Is l at most as big as 1/84?
True
Let i be (10/12)/(-2 - (-42)/12). Is i at least 0.2?
True
Suppose 7*s - 3475 = -1452. Is s at least 863/3?
True
Let x = -264 - -22442/85. Which is bigger: 1 or x?
1
Let m be 1 - (1 - -1*2). Let f = 79 - 75. Suppose -2 - 10 = f*n, -n + 5 = -4*l. Is l at most m?
True
Let q = 236/3 + -78. Let z = 24.8 + -23. Let k = 5.2 + z. Which is smaller: q or k?
q
Let j = 0.01 - -0.09. Let k = -17.92 - 0.08. Let s = 21 + k. Is s at most j?
False
Let v = 192 + -187. Let z(h) = 4*h - 9 - h - 2*h. Let s be z(v). Which is greater: 0.1 or s?
0.1
Let x = -43/186 + 2/31. Suppose -t - t = -56. Let k be (t/350)/((-2)/10). Is k at most as big as x?
True
Let h = 86 - 65. Suppose 5*m + h = b, -4*b + 14 = -2*b - 3*m. Which is smaller: b or 45?
b
Let h(k) = k**3 + 3*k**2 + 2*k + 3. Let z be h(-2). Suppose z*x = -9, -12 - 3 = -3*d + x. Suppose 3*l + 4 - 19 = 0. Is l <= d?
False
Let l = -1 - -7/3. Let r(d) = -5*d**2 - 42*d + 27. Let k be r(-9). Which is bigger: k or l?
l
Let o(n) = 3*n - 1. Let l be o(1). Suppose 3*q + 14 - 2 = 0. Let h be q + (12/15 - -4). Which is greater: l or h?
l
Let k be (-2 - 65290/9330) + 9. Is 0 < k?
True
Suppose 10*j = 358 + 52. Which is greater: j or 119/3?
j
Let b = -1.7 + 1.8. Let v = 0.12 + -5.12. Let c = 0 - v. Are b and c unequal?
True
Suppose 0 = -5*w - 4*q - 1406, -2*w + 3*w + 285 = 3*q. Is -283 less than or equal to w?
True
Let c be (-2)/(1 - 0) - (-96 - -89). Suppose 2*o + 171 + 27 = c*m, 5*m = 5*o + 465. Which is greater: -88 or o?
-88
Let t = 54 - 79. Suppose -v - 2*v = 75. Are t and v non-equal?
False
Let m(w) = 6*w + 4. Let f be m(-2). Let y = 5.04 - -0.86. Let c = 6 - y. Which is greater: f or c?
c
Let p = -2.0718 - -0.0718. Let j = 6 - 4. Is j not equal to p?
True
Let n(c) = 44*c - 349. Let k be n(8). Let f(j) = -2*j - 10. Let i(r) = 5*r + 29. Let a(o) = -11*f(o) - 4*i(o). Let b be a(k). Which is smaller: b or -3?
-3
Let h be (-70)/(-40)*(-20)/(-966). Is h smaller than 1?
True
Suppose -4*b + 134 + 62 = 0. Which is greater: b or 48?
b
Suppose 8 = 14*c - 6. Is c > 34/23?
False
Let n = -4 - -3.2. Let r = -0.4 - n. Let o = 5.39 - 3.39. Is r greater than o?
False
Let b = -86 + 13. Let q = b - -25. Is 0 > q?
True
Let c = 1327980/29 + -1484705739/32422. Let i = c - -27/43. Which is smaller: 0 or i?
i
Let j be 1/(-2)*(-3 - -5). Let p = -2023/22 - -92. Which is smaller: j or p?
j
Let h = 1 + -1.15. Let w = h + 0.04. Let a = w - -0.21. Is a != -1/16?
True
Let h = 1 + -2. Let x = 1901/45 + -688/9. Let d = x + 103/3. Is d at most h?
False
Suppose 6*t - 22 + 4 = 0. Suppose t*a + 20 = 17. Are a and 2/73 equal?
False
Suppose -4*m - 3*a = -7*m + 36, -m + 15 = 2*a. Does m = 35/3?
False
Let p = -16 - -27. Let f(z) = -z + 10. Let n be f(p). Which is bigger: 1/27 or n?
1/27
Let o = 93.7 + -101. Let m = -5 - o. Let n = m - 2.6. Is n greater than -1?
True
Let c be 3 + -2*(-36)/(-40). Let o = 1 + -1. Is o > c?
False
Let b be 5 - 1 - (1 - 0). Let a(s) = 11*s**2 - s - 2. Let u be a(-1). Let t be (5 + u/(-6))/((-4)/(-3)). Which is bigger: b or t?
b
Let h be 26/91 + (-58)/105. Let w be (-3)/(-4) + 42/(-24). Which is smaller: h or w?
w
Let l(q) = -q - 3. Let o be l(-12). Let c be (-12 - 0)/(-11 + o). Which is smaller: 2 or c?
2
Let o be 4/(4 + 0)*1. Suppose 2*x - c = -o + 13, 6 = 3*c. Suppose -3*p = -x*p + 4. Which is smaller: p or -2?
-2
Let u(c) = -c**3 + 6*c**2 - 4*c - 2. Let h be u(5). Let t(x) be the first derivative of x**2/2 - x - 12. Let w be t(6). Which is greater: h or w?
w
Let o = 22 - 22. Let d(a) = a**2 - 6*a + 1. Let u be d(o). Is 58/5 less than u?
False
Let b(j) = 766*j**2 + 6*j - 5. Let f be b(1). Are 767 and f unequal?
False
Suppose -2*p - 21 - 25 = 0. Is p bigger than -25?
True
Let s be ((-3024)/140)/((-1)/(-95)). Let u be (-1376)/s - 14/21. Which is greater: u or -1?
u
Let t be (-9)/(-45) + (-31)/5. Let l be ((-3)/9)/(7/t). Which is smaller: l or -11?
-11
Let v be (-3)/18*(-28)/(-1008). Is 0 > v?
True
Let y = 5 + -6. Let x = -1 - y. Let d = -1 - -1.1. Which is greater: x or d?
d
Suppose -4*m + 273 + 237 = -c, -3*c - 1594 = 4*m. Is c smaller than -525?
True
Let q be ((-1)/(-1))/(4/(-3) - -1). Let d be (-1 + 1)*7/14 - q. Suppose 6*i = 3*i - 5*a + 32, 0 = -4*i + 5*a - 4. Are i and d equal?
False
Suppose -2*a + 154 = 3*d, 0 = -35*d + 37*d + 5*a - 121. Which is bigger: 51 or d?
51
Let j(o) = 2*o**3 + 2*o - 1. Let t be j(1). Let s(l) = -2*l**2 + 8*l - 5. Let b be s(t). Let d be 0 + 0 - 1/(-4). Is b not equal to d?
True
Let q = 8 - 0. Let x(c) = -8*c**3 - c - 1. Suppose 0 = i + h - 3 - 0, -14 = -2*i - 4*h. Let v be x(i). Is v at least as big as q?
True
Let o = 1640 - 1614. Let g be 0 + (-5)/(15/(-84)). Which is smaller: g or o?
o
Let b be ((-8)/(-10))/(4/30). Let v be (-2)/((-36)/15*20/b). Is v > -15/2?
True
Let m = 109 + -73. Let q = 35 - m. Are q and -2 nonequal?
True
Let d(r) = r**2 - 2*r - 5. Let g be d(-2). Let j(w) = -3*w**2 + 11*w - 6. Let m be j(g). Let t = 8468/35 - 242. Which is greater: m or t?
m
Suppose -5*v - 192 = v. Let z = 33 + v. Is 2 <= z?
False
Suppose -5*h = -39 + 139. Is h at least -20?
True
Let a = 66 - 56. Suppose 0 = 5*f - a*f. Which is smaller: -4/25 or f?
-4/25
Suppose q + 4*x + 13 = 0, 0*x - 25 = -3*q + 4*x. Suppose 2*f - 4 = q*f. Suppose -2*z + 1 = -z. Which is greater: f or z?
z
Let a be ((-1)/2)/(3/(-6)). Let s be 625/(-350)*(-2)/5. Are s and a unequal?
True
Let t(p) be the third derivative of -p**5/60 - p**4/12 + 5*p**3/6 - 6*p**2. Let o be t(-5). Let y be (o/(-3) - 3)*-3. Which is bigger: 2/5 or y?
2/5
Let b be (-15304)/224 + (-2)/8. Let w = b + 69. Are -1 and w nonequal?
True
Let d(q) = q**3 + 5*q**2 + 5*q + 6. Let g be d(-4). Suppose 0 - 9 = -3*y. Let p be 2 - (y + (0 - 6)). Which is bigger: g or p?
p
Suppose -80*y + 90*y = -870. Is y equal to -88?
False
Let v = 0.54 + -1.24. Let k = 0.12 + -1.01. Let c = k - v. Which is smaller: c or 0?
c
Suppose -29*b = -34*b - 30. Is b > 15?
False
Let v be ((-40)/24 - -1) + 64/(-3). Which is greater: -23 or v?
v
Suppose 36*d = 23152 + 1580. Are -0.1 and d equal?
False
Let n be 56/(-7) - 1296/(-4). Which is smaller: n or 317?
n
Suppose -2*f - 3*k =