. Suppose -4*y - 891 = -g*y. Let u be y/(-110)*(-4)/6. Is 3 less than or equal to u?
False
Suppose -1 + 25 = 4*u. Suppose p = -2, -2*h + 4*p + 55 = -79. Suppose -5*z + h = 28. Which is smaller: u or z?
u
Let r(z) = -z**2 - 15*z + 143. Let q be r(-24). Which is smaller: q or -297/4?
-297/4
Let q be -2 - -4 - (-73 - 1). Let n(a) = -7*a**3 - 252*a**2 - 4*a - 68. Let l be n(-36). Does l = q?
True
Let f be 7 + -5 + (-57)/(-3). Suppose -m + f = 2*m. Which is bigger: m or 6?
m
Let t(p) be the third derivative of -1/4*p**4 + 0 + 0*p + 1/6*p**3 + 1/60*p**5 - 6*p**2. Let d be t(6). Is 1 >= d?
True
Suppose 9*g = -6*g. Is g > -4/221?
True
Let m be (-12)/90*-155 + 8/6. Is m at most as big as 22?
True
Let w(l) = l**2 + l. Let x(t) = 8*t**2 - 3*t - 1. Let g(c) = 3*w(c) + x(c). Let n be g(1). Let y = n + -9. Which is greater: 3/2 or y?
3/2
Let a(v) = -v**3 + 10*v - 3. Let m be a(0). Which is smaller: m or -34?
-34
Let q be 1468/(-14) - 5 - (-2)/(-14). Is -110 < q?
False
Let c = 569 + -570. Which is greater: c or 4/135?
4/135
Suppose -26 = 4*v - 9*v - 3*i, v - 6 = -i. Suppose -15*w + v = -17*w. Let a be (w/(-5))/(72/60). Which is greater: -3/5 or a?
a
Let f be 2/2 - (0 - 6). Suppose 0 = 18*d - 22*d. Suppose 4*l = 5*m + 23, -2*m = -d*m - 2. Do l and f have the same value?
True
Let z = 2.25 - 0.25. Let d = z - 2.07. Which is greater: 0.1 or d?
0.1
Let b be (10 - 5) + (1 - 0). Suppose -b*f = -10*f + 4. Suppose d = 2*d - f. Do 2/5 and d have different values?
True
Let j = 53.4 - 36.5. Let c = j + -17. Which is greater: c or 0.18?
0.18
Suppose -3*s - 5*z = 14, -4*s = -2*z - 0 - 16. Suppose 2*q = -s - 0. Let k = -2320/2169 - 10/241. Is k >= q?
False
Let n be (-13)/(-6) + (-5)/30. Suppose -5*j - 4*z = 52 - 791, -n*j + 298 = z. Does j = 152?
False
Let v be ((-5)/(25/2))/1. Let q be 3/(-48)*(-30)/(-1). Let y = q - -13/8. Which is greater: v or y?
y
Suppose -5*h - 73 = 22. Let u be (-1)/(-3) - h/(-3). Let r be (-1*(3 + -2))/(-6 + 5). Is r greater than u?
True
Let m be (-10 + 4)/(-2) - 2. Let a be 1/28*m - (-3)/12. Is -0.5 > a?
False
Let i = -9 + -15. Let g be i/9*(-27)/12. Is g at most as big as 9?
True
Suppose -2*h + 5*h - 33 = 0. Let d(i) = -13*i**2 + 39*i + 31. Let g(u) = 3*u**2 - 10*u - 6. Let v(y) = 2*d(y) + 9*g(y). Let r be v(h). Is -3 >= r?
True
Suppose -38*i = -7*i + 496. Which is greater: i or -12?
-12
Let h(w) = -6*w**3 - 12*w**2 + 24*w - 7. Let g(o) = -5*o**3 - 11*o**2 + 23*o - 6. Let v(z) = -5*g(z) + 4*h(z). Let r be v(-9). Which is bigger: 10 or r?
r
Suppose -154*f + 157*f = 4*l + 30, -8 = -f + 2*l. Is 14 equal to f?
True
Suppose 2*x + 18 = 5*q, 4*q - 4*x + 1 = 25. Suppose 3*j + 1 = -5. Let c be j/(-16)*2*12. Is q != c?
True
Suppose 26 = -3*x - 22. Let p be (x/(-6))/((-84)/36). Which is greater: -1 or p?
-1
Suppose s = -s + 48. Let p = 24 - s. Is 1/21 < p?
False
Let y = -0.1 - -0.3. Let i = 4.97 + -0.77. Let n = -3.6 + i. Which is greater: y or n?
n
Let r be (-10)/((-846)/1386 + 6/14). Which is smaller: 54 or r?
54
Suppose -3*j + 5*h - 3*h = -17, -h = 5*j - 24. Suppose j*m - 140 = 5*n, 4*m - 30 = n + m. Which is smaller: n or -26?
n
Let i = 109 + -108. Let w = -2/17 - -47/255. Let k = 47/30 - w. Are k and i non-equal?
True
Let g = 970/9 - 73693/684. Let u = g - 13/1292. Is u greater than or equal to -1/5?
True
Suppose 4*s - 2*s = 0. Suppose s = 2*x + 3*x. Let d = 46/117 + -8/13. Is d > x?
False
Let o = 0.8668 + 0.2162. Let y = 0.083 - o. Let v be ((-2)/28)/(2/(-8)). Is y less than or equal to v?
True
Let c = -5068 + 5067.7. Let m be (-183)/(-30) + (-1)/(-2). Which is greater: c or m?
m
Let t be (-424)/(-4920) + -4*2/(-60). Is 0 > t?
False
Let c = -149 - -64. Let a be (-2)/c*(-10)/8. Which is bigger: 0 or a?
0
Let b = 1.07 - 0.07. Let q = 0.06 - -0.22. Is q smaller than b?
True
Let l be (-208)/20 - (0 + 1). Which is greater: -11 or l?
-11
Let f be 2 + 39/(-15) - 48/(-80). Let x be (-1 - (-17)/19)/2. Is x not equal to f?
True
Suppose -2*x - 2*j = x - 18, 0 = -4*j. Suppose -14 = 4*f + x. Is -4 at most f?
False
Suppose 0 = -5*o + 617 - 327. Are o and 640/11 non-equal?
True
Let r be 15 - 9 - (-348)/(-57). Is -1/2 at least r?
False
Let i be ((-7)/(-42)*0)/(0 - 1). Suppose 0 = -i*f - 2*f - 0*f. Which is smaller: 13 or f?
f
Let z be 307/5 + (-6)/15. Let r = -39 + z. Is r at least 25?
False
Let i be ((-40)/14 + 3)*-2. Let d = -1/18 - 5/18. Is i at least d?
True
Suppose 105*c + 45 = 150*c. Let r = 0 - -0.2. Is r bigger than c?
False
Suppose 0 = 5*t - 32 - 38. Let z be (t + 1)*(-10)/15. Let g(p) = p**2 - 8*p + 2. Let k be g(6). Is z bigger than k?
False
Let c be (1 + 123)/((-62)/31). Let t = 37 + -98. Is c greater than t?
False
Let i be -2 + 180/87 + 0. Let a be (2 - 3) + (-8)/(-2). Suppose 0*t - 3*t = -3, -a*t + 4 = p. Is i at most p?
True
Let x = -26 + 23.5. Let p = x - -2.5. Which is smaller: p or 20?
p
Suppose -5*l = -2*l + 12. Let m be (7 + l)/1 + 25. Which is greater: 29 or m?
29
Let p = -8.03 + 0.03. Let m(r) = -r**3 + 30*r**2 + 37*r - 189. Let a be m(31). Which is bigger: p or a?
a
Let l = -2.653 - 0.047. Let o = l - -2.7. Are 0.3 and o equal?
False
Let u be 40/(-14)*2/(-8). Let r(f) = f**3 - f**2 - f + 1. Let w(x) = -7*x**3 + x**2 + 13*x. Let i(d) = -6*r(d) - w(d). Let y be i(-6). Which is smaller: y or u?
y
Let t(r) = r**3 + 6*r**2 - r - 6. Let b be t(-6). Let h be ((-16)/(-12))/(56/(-21) - -2). Which is smaller: h or b?
h
Let i = 0.054 - -26.746. Is -2 at least as big as i?
False
Let f be (((-252)/45)/(-14))/(976/10). Which is bigger: 0 or f?
f
Let r be (3/5)/((-102)/(-170)). Which is greater: 1/511 or r?
r
Suppose 3*m + 5*c = -10, 2*m + 2*c + 4 = -3*m. Let w be ((-100)/(-55) - (m - -2)) + 0. Which is smaller: 0.1 or w?
w
Suppose -1 = -5*k - 16. Let j = -2 + 7. Let g = k - j. Are -8 and g unequal?
False
Suppose -4*y = v + 10, -3 = -y - 3*v - 0. Let u = 9 - 9. Let w be -1*(-3 + u)*-1. Is w less than y?
False
Let j = 3773/9 - 419. Is -19 != j?
True
Suppose 0 = -7*j - 28 + 308. Which is bigger: j or 41?
41
Let b be ((-3)/(-54)*-2)/((-2)/(-6)). Are 0.51 and b equal?
False
Let r = -294 + 294.1. Let n = 1.9 + -2. Let z = n - r. Is 0 at least z?
True
Let z = -87/715 - 1/55. Are z and 1 nonequal?
True
Let l(w) = -w**3 + 4*w**2 + w. Let d be l(3). Suppose 2*y = q + 1, 3*y - 4*q + q + 6 = 0. Is y at least d?
False
Let f be -27 - (2 - (-24)/3). Is f at most -37?
True
Let b = 543 + -542. Which is bigger: b or -2/603?
b
Let c(k) be the first derivative of k**4/2 + k**3/3 + 3*k**2/2 + 5*k - 3. Let x be c(-2). Which is smaller: -12 or x?
x
Let d(a) = 3*a + 5. Let q(v) = v - 7. Let l be q(0). Let h = -5 - l. Let r be d(h). Is 11 <= r?
True
Let u = -2 + -4. Let x(k) = -k**3 - 6*k**2. Let i be x(u). Let l = -41/315 + -7/45. Is l <= i?
True
Let m = 233 + -109. Let w = -125 + m. Is w bigger than -6/13?
False
Let u = 0.0209 + 27.9791. Suppose 4*k + 2*g - 10 = 0, k + 0*g = -2*g + 7. Which is bigger: u or k?
u
Let d(z) = 7*z + 61. Let w be d(-19). Is w at least as big as -74?
True
Let u(x) = -8*x - 24. Let z = 49 + -52. Let q be u(z). Do 1/34 and q have the same value?
False
Suppose -2*y - 262 = -4*r - 46, -5*r + 5*y = -260. Let j = -33 + r. Let w = j + -25. Is w bigger than -2?
False
Let v = 202836 + -3041116/15. Let y = 95 - v. Suppose -4*z = -5*l - 19, -2*l - 52*z = -48*z - 26. Which is bigger: y or l?
l
Let z(k) = -k**2 - 2*k + 4. Let w be z(-3). Let x = -110 - -118. Suppose x - 8 = -j. Is j >= w?
False
Let c = -10.1 + 10.1. Is c equal to -2/3?
False
Let w(u) = -u**2 - 6*u - 4. Let a be w(-4). Suppose 3*s - 61 = -5*d, 31 = 3*d + 3*s - a*s. Let o(g) = 10*g - 91. Let m be o(10). Is d at most m?
False
Suppose 0 = -3*w + 34 + 182. Let l = w - 69. Suppose 16 = 5*d - 4. Is l less than d?
True
Let w be (56/30 - 0) + -3 + 1. Let a = 5 + -5.1. Are a and w unequal?
True
Let q be ((-68)/(-136))/(2/(-108)). Is -35 bigger than q?
False
Let j = -1062 - -893. Is -170 at most as big as j?
True
Let j = -3.8 - -19.8. Let a = 5 + j. Is a smaller than 2?
False
Suppose -x = 2*j - 6*x, 3*j = 4*x. Which is smaller: j or -26?
-26
Let h = 11.4 + -1.4. Let s = -10.24 + h. Let w = -0.06 + s. Which is smaller: 2 or w?
w
Let r(g) = 112*g - 26. Let n be r(-1). Is n >= -138?
True
Let u = 588.97 - 589. Let a = 13 - 8. Let p = -4.8 + a. Which is smaller: u or p?
u
Let s be (-1)/3 - 68/12. Let v(d) = -2*