 -1267 + l. Are f and z non-equal?
True
Let m be ((-77)/35 - -3)/(1/(60/(-8))). Is m < -143/30?
True
Let k be 84968/(-117) - (-6)/27. Is k < -727?
False
Let u = 26.365 + -1.34. Let v = -0.025 + u. Let m = 50 - v. Which is smaller: 3/2 or m?
3/2
Let m = 4110 + -4069. Do m and 81/2 have the same value?
False
Let r be (3198/(-15) - -3) + (-192)/(-160). Is r greater than or equal to -837/4?
True
Let l = -0.945 - -1.945. Which is smaller: -0.48 or l?
-0.48
Let o be 4*(-3)/6 + ((-873)/63 - 6). Let g = 3 + 17. Let m = o + g. Does m = -1?
False
Let h = 398 + -361.3. Let f = h + -38. Let a = 1.4 + f. Is a less than 4?
True
Let h = -1993/68 - -630/17. Let w be ((-3)/8 - 1)*6. Let m = h + w. Is m less than or equal to 0.2?
True
Let r be 25/(-5)*(-7 - -13). Let p be (-888)/(-54)*9/r. Is p at least as big as -6?
True
Suppose 3*k - 104*r = -105*r + 188, -k + 56 = -r. Is k equal to -8?
False
Let u = -402.048 - -401.994. Let i = -0.1 - 0. Let d = i - -0.2. Is d greater than or equal to u?
True
Let l = 7701 - 7834. Which is greater: l or -120?
-120
Let j(p) be the third derivative of -p**4/3 + 29*p**3/2 - 291*p**2. Let m be j(11). Is m > -32/55?
False
Let k = 40.9 + -11.7. Let j = k + -30.4. Is j != 18?
True
Let i = -82 + 102. Let m = i + -20.1. Which is smaller: m or 210?
m
Let t(k) = 48*k**2 - 5*k + 2. Let a be t(-4). Let n = 2339/3 - a. Which is smaller: -10 or n?
n
Let a = 86.75 + -58. Let c = a + 0.25. Are c and 2 non-equal?
True
Let v(g) = 68*g + 4. Let t be v(2). Suppose -3*m - t = -7*m. Which is smaller: m or 33?
33
Let l be (1 + (-15)/16)*4 + (-18)/(-24). Is l bigger than 14/295?
True
Let f = -4432 - -5907. Is f <= 1478?
True
Suppose -4*r + 3*r = 154. Suppose 0 = 4739*t - 109*t + 713020. Is r != t?
False
Let d = -306 + 321. Let u be (-90)/936 + -1 + d/12. Which is bigger: u or -33?
u
Let q be (23/3)/((-1)/3). Suppose 919*c + 161 = 758*c. Is c >= q?
True
Let f = 1182 - 987. Suppose -c = -x - 198, 4*x + 9 - 1 = 0. Which is smaller: f or c?
f
Let d = 99.782 + -23.582. Which is smaller: -3 or d?
-3
Let z be (6/(-10) - (-36)/(-90))/(-1). Let b be (-4595)/(-10) + (7/(-14) - z). Do 459 and b have the same value?
False
Let s = 72 - 69. Let c be 0*3/3 + -1 + s. Let k be 1 + c/(0 + 1) - 2. Which is greater: k or -1?
k
Let o = 2927/36 + -311/4. Are o and 4 unequal?
True
Let m(x) = 2*x + 27. Suppose -5*g - 51 = -l, g + 18 = -g + l. Let u be m(g). Let w be (-721)/(-245)*u + 4/14. Which is greater: 14 or w?
w
Let f = 0.0355 - 282.0355. Let h = f + 280. Which is smaller: h or 13?
h
Let b = 788740266891/11194 + -70460985. Let u be (56/54040)/((-2)/5). Let q = b + u. Is -1 != q?
True
Let g(z) = -z**3 - 3*z**2 - 4*z - 16. Let w be g(-3). Let v be 0 + w + -2 + 6. Which is bigger: v or 3/170?
3/170
Let a be (-1 + 1)/(2 + -1). Let i be 5 + 1298/1118 - 3. Let r = 42/13 - i. Which is smaller: a or r?
a
Let q be ((-2)/3)/(4/12). Let u = -2575 - -15443/6. Is u greater than or equal to q?
True
Suppose -38*m + 12 = -34*m + 4*x, -x = 4*m - 12. Suppose -f + 20 = 5*i - 6, f - m*i = 2. Which is smaller: f or 15?
f
Suppose -2*x = -9*a + 4*a, x + 4*a - 13 = 0. Suppose -5*l + 17 = -w, 4*l - 21 = 5*w + 1. Let y be (w/x)/(-32*2/(-100)). Is y greater than or equal to 0?
False
Suppose -1100 = 5*h + i, -440 = 2*h + 6*i - 5*i. Let l = -220 - h. Which is smaller: -3/37 or l?
-3/37
Let z = 91 - 43. Suppose -7*l - z = -3*l. Let g be (-4*6/(-48))/(98/l). Does 0 = g?
False
Suppose 0 = 9*v - 405 - 891. Let q = v - 430/3. Let a = 21.5 - 22. Is a greater than or equal to q?
False
Let k be 1252/28 + 1 + 6/21. Suppose -17 = 2*g - 103. Is k at least as big as g?
True
Let c = -1522 + 1521. Let m be (6/(-21))/(354/14). Is m less than c?
False
Suppose 68 + 2 = 14*u. Suppose 3*n = 3*l + 6, -2*n + 4 = -u*l - 0*n. Let s = -27298/35 - -780. Which is smaller: l or s?
l
Let y = 19 - -34. Let i = 29 - y. Let q = 31 + i. Are q and 7 unequal?
False
Let x = 988 + -470. Let j = 500.55 - x. Let g = -0.55 + j. Which is smaller: 0.1 or g?
g
Let p be (((-18084)/(-90))/(-11))/((-3)/10). Let m = -182/3 + p. Is -10.6 bigger than m?
False
Let o = 12779.9 - 13090. Is -1/4 <= o?
False
Let u = 1418 + -3063. Is -1643 at most u?
False
Let c(b) = b + 3. Let p be c(0). Let m(u) = -2*u - 7 - 3*u + 4*u - u**2 + 7*u - u. Let z be m(p). Are -1 and z non-equal?
False
Let p(v) = -v + 1. Let u(y) = -4*y**3 - 6*y**2 + 17*y - 6. Let s(d) = -5*p(d) - u(d). Let f be s(3). Which is smaller: 126 or f?
126
Suppose -4*y = -3*y - 1. Let a(o) = 10*o**2 + o - 1. Let r be a(y). Suppose 5*u + 0 = -r. Which is bigger: u or -3?
u
Suppose 5*s + 97*b - 94*b = -14, 2*b + 8 = -2*s. Which is smaller: s or 2/65011?
s
Let b = 4 + 33. Suppose -3*p - b = 2*r, 3*r + r - p = -81. Let z(m) = m**3 + 9*m**2 - 39*m + 150. Let d be z(-13). Which is smaller: r or d?
r
Let q = 29229 + -29228.946. Which is smaller: q or 126?
q
Let j = 1593 - 255. Which is smaller: 1339 or j?
j
Let t = -16832.0332 - -16832. Is t <= 1?
True
Let p be 4/6*3/8. Let k(y) be the third derivative of y**5/30 + y**4/24 - y**3/3 - 6*y**2. Let o be k(1). Is o >= p?
True
Let n be (4/(-5 - 3))/(2/(-200)). Suppose -147 + 141 = v, 4*v = z - 76. Is z less than n?
False
Let p = 152 + -146. Let o be ((-27)/54)/((-5)/p). Which is greater: 0 or o?
o
Let w = 4686 - 5732. Which is greater: -1049 or w?
w
Let f = 65 - 70. Let l be (-3)/(-15)*(4 + f + -10). Which is greater: l or -1/4?
-1/4
Let c(f) = -25*f - 305. Let o be c(-12). Let l = -35 + 15. Which is greater: l or o?
o
Suppose -l + 14 - 12 = 4*a, 0 = 4*a - 5*l + 10. Let b = 515/23124 - 4/141. Which is bigger: b or a?
a
Let x = 166 - 174. Let l be ((-72)/x)/(-9)*(1 - 1). Which is greater: -3/17 or l?
l
Let v = -115 - -45. Let w = v + 67.2. Let z = -3.1 - w. Are 19 and z nonequal?
True
Suppose 0 = -2*a - a + 5*x + 118, -2*a + 2*x = -80. Let f be (-18)/(9 + -3) + a. Suppose f*p - 356 = 34*p. Which is smaller: 90 or p?
p
Let o = 1 + -8. Let b = 104 - 114. Which is smaller: o or b?
b
Suppose 46*y - 8*y - 65 = 25*y. Which is greater: 0.0183 or y?
y
Suppose 4*a = 5*a + w, -2*w = 6. Suppose -c + 9 = 3*v, -3*c + 9 = v - 10. Is c >= a?
True
Suppose -2*a - 36 = -r, -8*a + 3*r - 13 = -7*a. Let m = a + 2. Is m at most -18?
False
Let y = 1.4953 + -2.4953. Are -4/1187 and y equal?
False
Suppose 4*y + 10 - 22 = 0. Let q be (-8 - -2)*y/((-45)/(-200)). Is -81 equal to q?
False
Suppose 2*y + o = -0*o - 59, -2*o = -3*y - 71. Which is greater: y or -47?
y
Let c = 1587 + -4762/3. Which is greater: -237/4 or c?
c
Suppose -2*r + 92 = 5*u, -4*u + 12 = r - 28. Suppose 0 = -4*d - 5*h + 36 + 124, h + 120 = 3*d. Let b = d - r. Which is smaller: -18 or b?
-18
Suppose 5 = 3*c + 2*c. Let t = -81485/369 - -1273/41. Let r = 190 + t. Which is smaller: c or r?
r
Let s = -3637 + 25458/7. Let r = -0.36 - -0.06. Let o = r - -1.3. Which is smaller: s or o?
s
Let z = 37307 + -37300. Is -662 less than z?
True
Let r = 2513 + -988. Suppose -f - r = -4*o, 2*f = 4*o - 1867 + 341. Which is greater: o or 382?
382
Let g(v) = v**3 - 8*v**2 - 15*v + 59. Let w be g(9). Let b be w + (7552/(-540) - -9). Which is smaller: -1/5 or b?
-1/5
Let l be -15188*(-3)/8760 - 10/2. Let p = l + -1/730. Let v = -0.3 - -0.2. Which is smaller: v or p?
v
Let q = -23209 - -23394. Which is smaller: 151 or q?
151
Suppose -2*m + a - 3*a = -590, -2*m + a + 599 = 0. Let r be 24/(-40) - m/(-5). Let f = r + -65. Are -6 and f unequal?
False
Suppose 3*b - 22 = 3*w - 2*w, 5*b = -4*w + 48. Suppose 5*o - b = 22. Suppose -o*n + 3 = -9*n. Which is greater: n or 3/23?
3/23
Suppose 2*w + 5 = n - 1, 0 = -3*w + 6. Suppose n*p - 19*p = -558. Let f = 85 - p. Is 25 < f?
False
Let a be ((-4)/5 - (-44)/(-220))*1. Is -13/269 >= a?
True
Suppose 5*c + 90 = 35. Suppose 2*s + 11*h - 4 = 12*h, 4*s - 4*h = 0. Suppose 3*q - s*q - 12 = 0. Is q not equal to c?
True
Let v = 92 + -89. Let j be ((-36)/(-21))/(4/14). Suppose s - h - j = 0, s = -3*h + 7 + 3. Which is smaller: v or s?
v
Let w = 1967 + -1860.26. Let t = w - -2.26. Is t <= -1/3?
False
Let t be (6/(-4))/((-21)/28). Suppose 0 = -2*x - 2*a + 4, -2*a = 5*x - 5 - t. Let g be 410/(-3075) + (-101)/(-195). Which is smaller: x or g?
g
Let m = -49.892 - 0.108. Let z = -58 - m. Let b = -0.08 + 0.03. Are b and z non-equal?
True
Let x(t) = 29*t + 754. Let o be x(-23). Which is smaller: o or 89?
o
Let q = 4.