9 - t. Let m = -4 + d. Which is bigger: -1.6 or m?
m
Let u(a) = -a**3 + 4*a**2 - a - 4. Let t be u(3). Let d be 0 + 2/(t + -4). Let p be (8/(-45))/((-72)/(-90)). Is d not equal to p?
True
Let h be -1*2*(-155)/(-10) - 0. Let t = 0.1472 - 0.1472. Which is smaller: t or h?
h
Let o = -28 + 32. Suppose -s + 5 = -5*t, o*t = -s + 11 + 3. Let h be (-2)/s - 15/(-25)*2. Which is smaller: h or 5/11?
5/11
Let o be ((-169)/39 + 4)/(409989/204984 + -2). Which is bigger: o or -3253?
-3253
Let n be (12/20 + 9/(-90))/((-2)/4). Which is bigger: n or 1/211?
1/211
Suppose 15 = -2*c - 3*c. Suppose -152*k + 159*k = 21. Let t = k + c. Which is smaller: -4/9 or t?
-4/9
Let q(c) = 12*c - 141. Let s be q(12). Which is smaller: s or 31/7?
s
Let u(j) = 4*j**3 - 5*j**3 + 1 + 0 + 5*j**2 + 0. Let n be u(5). Let y = -122 + 138. Is n <= y?
True
Let g = -1.7633 + -0.3137. Is -1 at most as big as g?
False
Let n(u) = 205*u + 619. Let g be n(-3). Which is smaller: 101/30 or g?
101/30
Suppose 5*z - 2*m - 38 = 50, -m - 68 = -4*z. Let p be (17 - z)/((-1)/19). Let g = 1 - 0. Is g less than p?
False
Let h = 519455/198 + -28858/11. Let w be (2 + -1)*-1*0. Which is smaller: w or h?
w
Suppose -3*n = -4*t - 21, -21*t - n = -17*t + 25. Let x = -24865/4771 - 7/367. Which is smaller: x or t?
t
Let u be 88/(-20)*1035/53337. Which is smaller: -1 or u?
-1
Let f = 7602/5 - 1520. Is f <= -9655?
False
Let u(k) = k**2 - 28*k + 5. Let d be u(28). Suppose 0 = d*j - 4*j + 2*j. Which is greater: 8 or j?
8
Let j = -204407/183 + 1117. Which is smaller: 0 or j?
0
Let o(d) = -3*d**3 + 2*d - 3. Let w(j) = 16*j**3 - 9*j + 15. Suppose -7*t = -9*t - 22. Let h(y) = t*o(y) - 2*w(y). Let c be h(3). Is 18 != c?
False
Suppose 44 = -0*a - 4*a. Let u(h) = h**3 + 17*h**2 + 16*h + 37. Let i be u(-16). Let t = i - 51. Which is smaller: a or t?
t
Suppose 108*w - 29 = -137. Which is bigger: -106/85 or w?
w
Suppose 2*c - 4688 = 2*g, -3*c + 7038 = 15*g - 20*g. Is 2/13 >= c?
False
Let z = -17201 - -17201. Which is bigger: -0.598 or z?
z
Suppose 0 = 3*y - 4*p + p - 21, 4*y + 8 = -2*p. Is y at least 1/4619?
True
Suppose 9 = a + 5. Let x(i) = 2*i + a*i**2 - 2*i**2 + 3*i - 4*i**2 + 5 - i**3. Let h be x(-4). Is 17 greater than h?
False
Suppose -10 = 10*j - 8*j. Let v be ((-1 + 1)/j)/(-1). Let c = 15 - 13.7. Are v and c equal?
False
Suppose -505*n + 508*n + 5 + 1 = 0. Which is smaller: n or -95/79?
n
Suppose 44*u - 41*u - 4*f = 12, 4*u + 5*f + 15 = 0. Which is smaller: u or -3/1738?
-3/1738
Let c(u) = -6*u + 3. Let y be c(1). Let q(d) = -3*d - 3. Let k be q(y). Let t be (2/15)/(k/70). Is 3 > t?
True
Let v = -0.0709 - -1.0709. Let a = 703 - 702.617. Let y = -0.037 - a. Which is greater: y or v?
v
Let f(c) = 4*c - 34. Let w be f(9). Suppose -48*p + w = -46*p. Which is bigger: p or -1/314?
p
Let p(x) = -x**2 - 8*x - 9. Let t be p(-6). Suppose 5*q - s + 32 = 2*s, -s + 16 = -t*q. Suppose n - 6 = -3*k, -3*n + 84*k - 79*k = 24. Are n and q nonequal?
True
Suppose -297 = 2*h + 611. Let m be h/(-18) - (-54)/(-243). Which is bigger: 27 or m?
27
Let r(o) = o**3 - 18*o**2 - 3*o - 29. Let a be r(17). Let z be 3/a*(-1)/(-2)*-4. Are -1 and z non-equal?
True
Suppose -188 = -4*t - 5*b, -2*t = -3*b - b - 120. Let w = 100 - t. Let x be -14*((-28)/w - (-1)/4). Are 5 and x nonequal?
True
Let q = -541 - -530. Let r(u) = u + 7. Let l be r(-5). Suppose -s + 14 = 5*g, 3*s = g - l*g - 28. Is q bigger than s?
False
Let m be (0 - 1)/1*-24. Suppose 19*x - 392 - 201 + 194 = 0. Is x <= m?
True
Let k be 8528421/11858 + -3 + (-93)/(-33). Let u = -719 + k. Which is bigger: 1 or u?
1
Let b be (-494)/(-39) - (-24)/(-2). Is b < 71/13?
True
Let x be (-3612)/(-900) - 4/1. Let a = x - 42/25. Let o = 0.1 + -0.1. Is a at least as big as o?
False
Let w(n) = -7*n + 47. Let p be w(-5). Let x = -408/5 + p. Suppose 3*s - 4*d - 20 = 0, 2*s + 3*d = -0*s - 15. Which is smaller: s or x?
s
Let l(u) = 12*u + 18 - 6 - 34*u + 16*u + 3*u. Let v be l(-18). Let y(o) = -34*o - 1. Let n be y(-2). Which is bigger: n or v?
n
Let l(q) = -q**3 - 2*q**2 + 9*q. Let m be l(2). Let w be ((-112)/(-35))/m*10/(-4). Let z be 2 + -3*(-2)/(-2). Which is smaller: z or w?
w
Let n be -279*(15/(-4))/(27/(-24)). Let a be (-795)/n + 2/4. Is a smaller than 2?
True
Suppose -b = 5*l + 1155, 27*l + 2335 = -2*b + 22*l. Which is smaller: -1179 or b?
b
Let l be ((-51)/15 - -1)/((-1)/(-5)). Let j be (2/(-6))/(1/((-9)/l)). Let t = -0.03 - -0.06. Which is smaller: j or t?
j
Suppose -3*i + i + 30 = 0. Let g(y) = 0*y - 8*y + i + 6*y. Let o be g(8). Which is smaller: o or 2/5?
o
Let l be ((-1)/(1/(-2)))/((-238)/119). Let i be (-178)/(-10) + 3/l. Is i at least as big as 0?
True
Let r be -10 - (-210)/20 - 122/4. Let m = 55 - 154. Let u be 4/r*m/(-66). Which is bigger: 1 or u?
1
Suppose i - 120 = -0*i. Let v be 53/i + (-2)/5. Is v at least 1?
False
Let j be (-340)/(-17)*(1 - 0). Let p = 51 - j. Let v = 21 - p. Which is bigger: -8 or v?
-8
Let s(a) = -2*a + 9. Let z be s(6). Let i = 7 + z. Suppose -k = -c + 55, -c - i*k = -0*k - 30. Is 50 at least as big as c?
True
Let p(x) = x**3 - 4*x**2 - 33*x + 126. Let s be p(4). Which is bigger: s or -130/21?
s
Suppose -372*c - 92810 - 475615 = -107*c. Which is greater: -6436/3 or c?
c
Let t be (22/55)/((-1)/(-1785)). Let o be 8/(-21) - (-17)/(t/12). Is o bigger than 2/49?
False
Let q = -2/228835 + -444397564/686505. Let j = 530 + q. Let h = j + 116. Which is bigger: 0 or h?
0
Let y(i) = 2*i**2 - 10*i - 9. Let a be y(7). Let m = 166 + -36. Let s = m - 113. Is a not equal to s?
True
Let l be (1183/(-130))/((-20)/(-24)*12/(-40)). Which is smaller: 36 or l?
36
Suppose -2*h + 2*q = -3*q + 7, -5*h - q = -23. Suppose h*k = -k + 20. Let w be 2 - (-6 - 3/(-1)). Are k and w equal?
False
Let d = 183414/227 + -808. Let z(q) = 95*q**2 - 8741*q + 93. Let r be z(92). Is r at most as big as d?
False
Let s(b) = -4*b + 5. Let g be s(1). Suppose -114 = -2*c - 310. Let u be (1 - 2) + (-100)/c. Which is bigger: g or u?
g
Suppose -36*b = -5*b + 77314 + 10230. Is b at least -2824?
True
Let j = -578123/5 + 116051. Is j equal to 426?
False
Let s be (-388)/970 + (1 - -1) + 1744/(-15). Is -114 less than s?
False
Let z = -3783.1 - -3782.1. Let u be (-764)/6 + 6/(-9). Is u less than z?
True
Let o(c) = -c**2 - 17*c - 20. Let b be o(-15). Suppose 15 = -3*v - i + 251, 10 = 2*i. Let j be 9/24 - v/(-8). Is j less than b?
False
Let y(j) = j**2 - 2*j + 26. Let o be y(0). Suppose -22 = -l + 3*g, -4*l - g + 36 + o = 0. Is l at most 16?
True
Let b = 8.788 + -0.348. Let z = 8.1 - b. Let q = 0.84 + z. Which is bigger: 4/5 or q?
4/5
Let b be 72/(-33) - (-2 - 0). Let o = -63031 - -63030.9. Is b greater than or equal to o?
False
Let g(h) be the third derivative of 5*h**4/12 + 191*h**3/6 - 249*h**2. Let i be g(-55). Which is smaller: i or -360?
-360
Let c be (229*1/(-1))/(2 - 3). Suppose -c + 29 = -4*j. Let w = 43 - j. Is w at least as big as -3?
False
Let n(g) = -2*g**2 - 14*g - 14. Let t be n(-6). Let a be (-1)/t - (-372)/(-24). Let m be (a/(-2) + -5)*-2. Which is smaller: 0.1 or m?
m
Suppose -3*k - 4*n = 472903, -2*k - n - 315272 = -0*n. Let w be 0/(-1) + k/113*-1. Let s = 1395 - w. Which is smaller: -1 or s?
-1
Suppose -2*t - 54 = -12. Suppose 0 = -s - 5*u + u + 113, 4*s - 4*u = 492. Suppose 4*y + 4*v = 2*v - 76, -4*v = -5*y - s. Is y at least t?
True
Let c = -630 + 849. Suppose 0 = x + c - 219. Is x less than or equal to -3/247?
False
Let t(o) = o**3 + 8*o**2 - o - 6. Let k be t(-8). Suppose 2*r + 5*v + 13 = 0, 7*v + 20 = 5*r + k*v. Let m = -19997/26 - -769. Is m > r?
False
Let w(o) = 36*o - 28. Let q be w(3). Let b be 24/q + (-2)/(-40)*-166. Is b bigger than -8?
False
Let t = 256 - 106. Let c be (120/t)/(4/30). Is c smaller than 6?
False
Let h = 17.133 + -17.2232. Is -14 bigger than h?
False
Let t(x) = -33*x + 4. Let i be t(-9). Suppose 3*p - i = -c + 30, -2*p = c - 219. Let u be -3 - (-410)/p - 2/7. Is u smaller than 1?
True
Let w be (390/26 + 2082/(-4))*8/(-6). Is w >= 10?
True
Suppose -4*v - 3*f - 2196 = 0, -8*v + 5*v - 1647 = f. Which is smaller: -3 or v?
v
Let y = 85/22 + -4/11. Let i = -6 - -8. Let o be 9*i/12*2. Which is greater: y or o?
y
Let u be ((-12)/(-18) - -2) + 20/(-12). Which is smaller: u or -3/484?
-3/484
Let q = 43 - 41. Suppose -q*u - 1 = -43. Let c be 6*(1 + u/(-9)). Is -7 at most c?
False
Let p(n) 