uppose -16*b = -6*b + 10. Let u = -3/83 - -286/10209. Which is bigger: b or u?
u
Let c = 4/41 - -2981/123. Is 4 <= c?
True
Let s be (-115)/30 - 1*(-2)/(-12). Let t be ((s + 25)/(-3))/1. Is -7 bigger than t?
False
Suppose z + 4*x = 21, -4*z - z = -2*x - 127. Is -4 less than z?
True
Suppose 3 = 48*s - 45*s. Let h be 18/(-4) - (-21)/14. Let m be 0/(-3 - (h - -2)). Is s at most as big as m?
False
Suppose 3*p = 0, 5*p + 0*p + 25 = -5*z. Suppose -76*q + 18 = -70*q. Let k be -3 - (q + 26/z). Which is greater: k or -2?
k
Let q be (-8407)/(-105) + (-1)/15. Which is smaller: q or 81?
q
Let m be (3/(-12) - (-24)/32)*-22. Is m greater than -86/7?
True
Let t be ((-4)/1)/12*-3. Let n be -3 + (3/(-9))/((-2)/(-6)). Which is smaller: t or n?
n
Suppose -4*p - 36 = -2*p. Let s = -18 + 21. Let g be (-798)/(-28)*(-2)/s. Which is bigger: g or p?
p
Suppose 4*q - 2*q - 2 = 0. Let g be -12*(q + (-3)/2). Let d be ((-5)/2)/(3/g). Is -4 >= d?
True
Suppose 2*x = -3*l - 398, 4*l - 6*l - 201 = x. Which is smaller: x or 2/5?
x
Suppose 25*v - 23*v + 516 = 0. Which is smaller: -259 or v?
-259
Suppose h - v - 41 = -4*h, 0 = -2*v + 8. Let r(s) = -2*s**2 - 26*s + 7. Let l be r(-13). Which is smaller: l or h?
l
Suppose 3*k + 4*l = -29, 6*k + 3*l = 2*k - 34. Let b = 10 - 8. Suppose b*y - 12 = 2*n, -4*y = 3*n - 0*n + 32. Is k >= n?
True
Let c be ((-4)/(-6) - (-77)/(-21)) + -255. Is c <= -258?
True
Let s(w) = w + 9. Let b be s(-5). Suppose 3*t - 5 + 2 = 0, 4*y + 52 = b*t. Let u = 12 + -24. Is y at most u?
True
Let l be (4/8)/(2/(-8)). Let o(q) = -q**3 - 3*q**2 + 3. Let b be o(-3). Let x = b + l. Which is smaller: x or 2/9?
2/9
Suppose -3*k + 0 = -6. Suppose -3*y - 23 = -3*i - 77, 3*y - 56 = k*i. Let l = y + -13. Is 2/7 at most as big as l?
True
Suppose 0 = -10*b - 14 + 74. Is -1/5 < b?
True
Let g = 16 - 16.1. Let a = -30 - -4. Which is bigger: g or a?
g
Let p be (-4)/(5/((-20)/8)). Let v(r) be the second derivative of -r**5/20 - r**4/12 + 2*r**3/3 - 2*r**2 + 3*r. Let q be v(p). Which is bigger: q or -7?
-7
Suppose l + 18 = 4*l. Let d(z) = -2*z + 11. Let o be d(8). Let y = o + l. Is y not equal to -1/7?
True
Let k(c) = -c**3 + 21*c**2 + 17*c + 104. Let y be k(22). Is 56 <= y?
False
Suppose -3*n - 6*w + 11*w = -4312, 4*n + 5*w = 5761. Which is smaller: 1440 or n?
n
Suppose 0 = -4*o + 12, 4*p + o = 6*o - 755. Which is smaller: p or 1?
p
Let u(r) = -r**3 + 24*r**2 - 21*r - 48. Let v be -4 - (-28)/8 - 94/(-4). Let k be u(v). Which is smaller: -5 or k?
-5
Let v(g) = 19*g + 38. Let t be v(-2). Let s be -1 - ((-150)/57)/2. Is t < s?
True
Suppose -5*y + 21 = g + 6, 18 = 4*g - y. Suppose g*m = m. Let i be (m + 2)*(-2)/4. Is i > -2/45?
False
Let c(t) = -7*t + 1. Let z(i) = -20*i + 2. Let j(k) = -17*c(k) + 6*z(k). Let a be j(-4). Which is greater: 3/11 or a?
3/11
Let k = -10.6 - -10. Let g = 0.8 + k. Let l = 0.08 - 0.18. Is l greater than or equal to g?
False
Let u be 3*1 + (-9)/3. Let w be ((-9)/27)/(105/54). Which is smaller: w or u?
w
Let p = -9.52 + 34.52. Are p and -0.05 equal?
False
Let g be (-2)/15*(-1)/2. Suppose s = 12 - 3. Let v = s - 10. Which is bigger: v or g?
g
Let g = 41/13 - 317/117. Let i = 0.12 - 0.02. Is i >= g?
False
Let s(c) = -3*c**2 + 40*c - 116. Let a be s(3). Suppose -2*w + 6 = -18. Let p = a + w. Are -10 and p equal?
False
Suppose 3*b = 0, -8*y + 5*b = -4*y - 20. Suppose y*k - 5 = 15. Which is greater: k or -3?
k
Let v be (5/150)/(-3 - 55/(-20)). Which is smaller: -56 or v?
-56
Let k be (-1 - (-14 - 7)/7)/(-4). Do k and 1.5 have the same value?
False
Suppose 0 = -13*n - 1375 - 224. Let i = -102 - n. Which is smaller: i or 20?
20
Let u = 539 - 540. Is u at most as big as 2/17?
True
Let d = -13464271/29 - -464225. Let s = 60 + d. Is s equal to 1?
False
Let l be (-2)/(-4)*0 - -3. Let q be (51/15 + -3)*-5. Let b be (-12)/176 - q/8. Is l smaller than b?
False
Let i(q) = q - 3. Suppose 0 = -8*r + 4*r + 20. Let t be i(r). Suppose 0 = -0*u + t*u. Is u < -4/9?
False
Suppose -5*z + g - 72 = 0, 29 = -5*z - 3*g - 55. Let j(b) = b**2 - 9*b - 2. Let p be j(7). Is z at most as big as p?
False
Let t(h) = h**3 - 2*h**2 - h + 22. Let u be t(0). Suppose -66 = 2*p - 5*p. Are u and p nonequal?
False
Suppose 4*z = 6*n - n + 26, 2*n = 4. Suppose -2*p + 4*p = 3*f - 15, 0 = -3*f - 3*p. Does f = z?
False
Let t = 89.6 - 94. Let q = t + -16.6. Which is bigger: -2/5 or q?
-2/5
Let i = 2 - 3. Let y = 6990/14807 - 12/1139. Which is bigger: i or y?
y
Let n = 3 - -4. Let y = n + 4. Let j = y + -10. Is j bigger than 0.04?
True
Let u = -1.9 + -31.3. Let y = 33 + u. Which is smaller: 2/7 or y?
y
Let c be (10/9)/(2/6). Let p(v) = v**3 - 6*v**2 + 12*v - 8. Let u be p(4). Suppose u = -3*z + 3*b + 23, 13 = 3*z - b. Which is greater: c or z?
z
Let o = -7656 - -956994/125. Is 0 < o?
False
Suppose 0 = -82*y + 12*y - 560. Which is smaller: y or -66?
-66
Let f = -10/79 + -513/316. Suppose -19 = 35*r + 16. Which is smaller: f or r?
f
Suppose 0 = -f + 4*m + 940, -4*m = f - 578 - 378. Is 949 greater than or equal to f?
True
Let n be (8/(-28))/(1/(-7)). Suppose -3 + 19 = -n*t. Let w be 6/(-9)*18/t. Which is greater: w or 0?
w
Let o = -1036 + 997. Is 2/7 bigger than o?
True
Let n = -8/39 + 7/13. Let w = 4.7887 - -0.2113. Which is smaller: w or n?
n
Let q = -30 + 59/2. Let l = -111 - -78. Let t = l - -53. Are q and t nonequal?
True
Let o be 2 + 3 - 5 - 98/1. Is o at least -99?
True
Suppose -j + 38 = -2*a, -j - a - 76 = -3*j. Let b = j - 46. Which is bigger: b or -9?
b
Let l be (-2)/5 + (-4)/(40/6). Let w be -18*(-2)/(-6)*l. Which is smaller: 0.06 or w?
0.06
Let k = 0.16 - 0.12. Let c = 3.96 + k. Let g = c + -3.7. Is g equal to 3?
False
Let u(n) = n - 12. Let i be u(12). Suppose d + d = i. Let v be (1 - -3)*2/(-36). Which is bigger: v or d?
d
Suppose 60 = 4*c + 11*c. Which is smaller: 14 or c?
c
Let i be (-141)/(-24) + -2 + -4. Are i and 1 non-equal?
True
Let r = -130 + 131. Let f = -1 - 0. Let v = f + r. Is 0 less than v?
False
Suppose 6*l + 537 = 459. Which is greater: l or -58/5?
-58/5
Suppose 0 = -74*d + 69*d + 5. Let c = 33961133 - 163998310357/4829. Let k = c - 2/439. Which is smaller: k or d?
k
Let x(y) be the first derivative of 1/4*y**4 + 3*y + 1 + 3*y**2 - 8/3*y**3. Let t be x(7). Is t at least as big as 2?
False
Suppose 0 = -t + 4*t + 5425254. Let d = 7593547662/4199 + t. Let b = d - 2/221. Are -0.2 and b equal?
False
Let q = 212 + -173. Which is greater: -5 or q?
q
Let i = 0.14 + 2.86. Let x = i + -1.9. Let h = x + -0.9. Which is smaller: h or -0.2?
-0.2
Let x = 0.021 - -0.035. Let s = 0.346 - x. Which is greater: s or 0.1?
s
Suppose 0*u - 4*u = 0. Suppose 0 = 28*o - 31*o - 288. Let m = 670/7 + o. Which is bigger: u or m?
u
Let a be 24*(20/6 - (2 - -1)). Which is smaller: a or 9?
a
Let q(z) = -z**2 - 14*z + 15. Let y = -40 + 25. Let n be q(y). Are -3/29 and n equal?
False
Let r be 8/12 + 3378/(-6579). Let t = r - 3/17. Which is smaller: 1 or t?
t
Let h(j) = 3*j + 11. Suppose k = -2*k - 12. Let v be h(k). Is v < 2?
True
Let v = -330058/51 - -6472. Is v <= 0?
False
Suppose 4*d = 2*h + 5*d + 249, -3*h = -d + 366. Do -123 and h have the same value?
True
Let n = -48 + 46. Let y be (-33)/(-9)*-3 + n/(-2). Is y bigger than -9?
False
Let v = -14 - -14.4. Let s = 1159 + -1163. Is v >= s?
True
Let t = -13.98 + 14. Which is smaller: -3 or t?
-3
Suppose -2*d - 5*y = 12, -5*d - 6*y - 65 = -11*y. Suppose -4 = -4*o - 2*n + 2, 4*o - 12 = 4*n. Let w be (o/(-1))/((-2)/(-11)). Is w greater than or equal to d?
True
Suppose 0 = 4*n + 5*v - 13, -3*v + 2*v - 5 = -3*n. Let s = 0 + n. Suppose d + 3*c = 9, -s*d + d = -5*c - 25. Which is bigger: d or 14?
d
Let g be ((-42)/28)/(3/16). Let c be ((-76)/(-78) - 1) + 0. Let t = c + -25/39. Which is smaller: g or t?
g
Suppose -104 = -u + 95. Let p = u + -67. Let j be (-4)/(p/75) - -2. Is -1 bigger than j?
False
Let k = -40 + -139. Is -178 >= k?
True
Let x = 105675/1276 + 138/319. Are x and 83 non-equal?
True
Let j(c) = c**2 + 9*c + 14. Suppose -5*o - 36 = -1. Let y be j(o). Which is smaller: -3/14 or y?
-3/14
Suppose 8 - 16 = 2*k. Let o be 19/38 + 2/k. Suppose o = -3*x + 2 + 1. Which is greater: -1/51 or x?
x
Let k = 85 + -167/2. Let u = -0.89 + 0.29. Which is smaller: k or u?
u
Let s(n) = -46*n. Let t be s(-1). Let h be 20/(-16)*1544/t. Let g = h + 42. Is -1 != g?
True
Let s be (432/(-