True
Let z(d) = 2*d**3 - 8 - 5 + 13*d**2 + 7 + d. Let j(k) = 2*k**3 + 13*k**2 - 6. Let n(t) = 5*j(t) - 6*z(t). Let h be n(-6). Which is bigger: h or 11?
11
Suppose p - 179 = -4*b - b, b + 457 = 3*p. Suppose m - 5*z + 2 = 0, -z + 35 + 7 = 3*m. Suppose -m*k = k - p. Is k equal to 11?
True
Suppose -68 = -12*o + 11*o + 5*t, 4*o - 83 = -t. Which is smaller: 19.1 or o?
19.1
Let b = 15/311 + -9154/2799. Let m be (1 - 3) + (1 - 1). Which is bigger: m or b?
m
Let l(m) = 3*m**2 - 24*m + 1. Let p be l(7). Let r be ((-4)/(-16))/(((-112)/p)/(-7)). Which is smaller: 0 or r?
r
Suppose 3*y = -3*l + 45, -4*y + 44 - 20 = l. Let b(s) = -s + 0 + 4 - 2 + 0. Let x be b(-7). Which is smaller: x or y?
y
Let p = -885 - -886. Is -38/423 < p?
True
Suppose 35 - 29 = 3*g. Suppose g*i + 368 = 5*y - i, -4*i = -16. Suppose 4*u = -3*r + 240, -r = -3*r - 2*u + 158. Is y at most r?
True
Let f = 671 + -349. Let q be -1 + (-48)/(-14) + (-138)/f. Which is smaller: q or 1/13?
1/13
Let t(x) = -45*x**3 - 3*x**2 - 18*x - 7. Let z be t(-4). Which is smaller: 2899 or z?
z
Suppose -5*p + 0*p = 20, -p - 8 = -4*t. Which is smaller: t or 1/721?
1/721
Let o = 427/3 + -404/3. Are o and 8 equal?
False
Let p = -41.1685 - -41.2. Let t = 0.1315 - p. Are 172 and t unequal?
True
Let k(q) = q**3 + 3*q - 3. Let d be k(2). Let h(x) = x**3 - 10*x**2 - 9*x - 18. Let y be h(d). Suppose 5*b - y = f, 3*b + 2*f = -b - 8. Is 1/29 smaller than b?
False
Let f = -373.74 + 610.7. Let d = -237 + f. Are -0.01 and d equal?
False
Let v = 1731/5 + -50189/145. Suppose -8*m = -74 - 30. Is m at least as big as v?
True
Suppose q = 3*x - 76 - 172, -q + 244 = 3*x. Suppose -2*d - 4*y + 32 = -0*y, 2*d - 4*y + 8 = 0. Suppose r = 2*n + d*r - 179, -n + 3*r + 73 = 0. Is x equal to n?
True
Let r = -1/2 - -1/6. Let q(k) = -2*k**3 + 17*k**2 - 53*k - 6. Let l be q(7). Let z = 251 + l. Which is smaller: r or z?
r
Let b be ((-34)/(-4))/(191/(-382)). Which is smaller: -137/8 or b?
-137/8
Let m = 21 - 16. Suppose -4*s - 5*x + 18 = 0, 0*x - 2 = -m*s + 4*x. Let r = s - 17. Is r at least -15?
True
Let x = -0.1 - 73.9. Let w = x - -47. Let d = w - -26.9. Is d at least -9?
True
Let w = -9326 + 9319. Is -37 equal to w?
False
Let m = 137.16 + 1.84. Let k = m + -139.1. Which is smaller: -47 or k?
-47
Let m be (-97*16)/((-15 + (-288)/(-18))/(-3)). Which is smaller: 4657 or m?
m
Let a = -677 + 350. Let l = a + 326. Is 3/224 at most l?
False
Let n be 14 - (-15 + 7 + 5015). Which is smaller: n or -4992?
n
Let l be 10/6*(-2075 - 49). Is -17699/5 less than l?
False
Let m = -28.6 + -26.4. Let s be (2/11)/(0 - 2 - -3). Which is bigger: m or s?
s
Let z(a) = a**2 + a - 4. Let n be z(-3). Let u be (n/4)/((-2)/4). Let h = 156705823/126 + -1243697. Is h at least u?
True
Let g(x) = -2*x - 10. Let k be g(-7). Suppose 0 = -5*y + k*m + 4, 2*m + 3*m = -y - 5. Suppose p + 6*l - l + 34 = y, -11 = 4*p - 5*l. Which is smaller: -8 or p?
p
Let b = -5.5 - -0.5. Let j = 12873 + -12875. Does j = b?
False
Let b = -100 + 100. Let s(j) = -4*j + 11. Let w be s(b). Suppose -d + m = w, 0*m - 24 = 2*d - m. Is d greater than -8?
False
Let o be (2/(-4))/(3/(-36)). Suppose 39 = -o*d - 195. Which is greater: d or -42?
d
Let p = -207.24 - -209. Let x = p - 2.76. Which is greater: 23 or x?
23
Suppose -42*z + 355 = -1365 - 296. Let n = 61 - 13. Let c = 96 - n. Is c < z?
False
Let u be (-10)/(5026/(-2520) - -2). Is u >= -3?
False
Let h = 12.1599 - 0.1599. Which is greater: 21 or h?
21
Let z(u) = -u + 3. Let a(p) = p - 4. Let c(j) = 3*a(j) + 4*z(j). Let y be c(1). Let b = -1907/9 + 3817/18. Which is smaller: b or y?
y
Let y = 92 - 208. Let v = y - -124. Is v greater than or equal to 7?
True
Let j = -7.794 - 0.506. Let s = 1886 - 1886. Are j and s equal?
False
Let t be (-30)/((-420)/12422) - (-4)/(-14). Is t less than 885?
False
Suppose 3*p - 15 = 15. Suppose q - 2*o = -6 - 0, 0 = -q - 2*o + p. Suppose 26 = q*a - 10. Is 20 at most a?
False
Let a(w) = -w**2 + 8*w + 14. Let u be a(9). Suppose -m - 370 = u*q, -4*q = -2*q - 4*m + 126. Let n = q + 60. Which is smaller: -27/2 or n?
-27/2
Let y(q) = -q + 29. Let k(l) = 5*l - 116. Let u(n) = -6*k(n) - 26*y(n). Let b = -119 - -107. Let w be u(b). Is -60/7 greater than w?
True
Suppose -3*b = -55 - 158. Let a = b + -69. Suppose a*l = -108 + 80. Which is greater: l or -2/3?
-2/3
Suppose -u = 447718 + 373049. Let k = u - -28718549/35. Let m = -237 - k. Which is smaller: m or 1?
m
Suppose 4*v + 3*a = 5396, -5*v - 18*a + 17*a + 6756 = 0. Are v and 1352 non-equal?
False
Let n = 1053 - 157951/150. Let s be (-2)/7 - 16/(-56). Which is greater: n or s?
s
Let r be ((-64)/(-240))/(7/(-12)*5/5180). Which is smaller: r or -473?
r
Let r(f) = -41*f - 289. Let u be r(-7). Let i = 335.071 - 335. Which is bigger: u or i?
i
Let v(i) = 40*i + 41. Let h be v(-1). Let p be (-1 + 306/290)*(-15)/18. Is h < p?
False
Let l(j) = 21*j - 152. Let t be l(7). Let i be t - (-2)/(-4)*(5 + -199). Is i smaller than -2/9?
False
Let b = 3782 - 4030. Which is bigger: b or -19?
-19
Let h = 2609826 - 4580244308/1755. Let d = 4/135 - h. Is d at least -2/3?
True
Suppose -4*g = 4*u - 40, 4*u - 153 = 5*g - 59. Which is smaller: -158 or u?
-158
Suppose -8*w = -21*w + 65. Suppose -10 = -5*n - w*n. Let g be ((-55)/10 - -6) + n/(-2). Is -2/39 equal to g?
False
Let i be 0/(11*((-384)/66 + 6)). Is i greater than 6/427?
False
Let h = 0.11 + -0.31. Let s = -2.157 - -0.157. Let u = s - -17. Which is smaller: h or u?
h
Let x be (33 - 35)/(1/34). Let q be (-5 - -2) + (-156)/x. Is q greater than -2?
True
Let g = -3.862 - -0.062. Let p = 3.15 + g. Let t = p - -0.55. Which is smaller: 0.024 or t?
t
Suppose 99 = -4*q - 5*s, -667 = -2*q + 2*s - 721. Suppose 7*p - 3*p - 4*y = 184, p - 3*y = 52. Suppose 7 = -2*g - p. Is q at most as big as g?
True
Let p = -2627 - -8127. Let d be (-6)/(-62)*(p/(-33))/(-10). Which is greater: 3 or d?
3
Let x be 6*((-897)/(-2080) - 2/5). Suppose -3*k - 14 = -5*p + 15, 2*k = 4*p - 24. Let s = 7 - p. Which is bigger: s or x?
x
Suppose -4*a + 95 - 79 = 0. Suppose -2*c + 67 = -4*b - 11, 0 = a*b - c + 79. Which is smaller: b or -16?
b
Suppose 0 = 2*v + 2*v - 20. Let b be 39420/(-68328)*(-9 + 1). Is v at most as big as b?
False
Let r = -775 - -337. Is -1 less than r?
False
Let n = 6134 + -6134. Which is smaller: n or -546?
-546
Let g(v) be the third derivative of -v**6/120 + v**5/5 + v**4/8 - 17*v**3/6 - 116*v**2. Let s be g(8). Which is smaller: s or 264?
s
Let c = 0.23 - 83.23. Let p = -0.526 - -0.326. Which is smaller: c or p?
c
Let u = 2051 - 338417/165. Let c(b) = b**3 + 8*b**2 + 7*b - 1. Let n be c(-7). Is u at least as big as n?
True
Suppose -i - 9 = 14*a - 16*a, 0 = 4*a - 16. Which is bigger: -1/1189 or i?
-1/1189
Let a = 68 - 53. Let x be (125/5*(-22)/(-77))/(8/28). Which is smaller: x or a?
a
Let c = -52 - -53. Let i be c - 79/3 - (69 + -69). Let m = -26 - i. Is -4/27 > m?
True
Let l be 2/(-5) + (-4)/10 + 92/115. Which is smaller: -31/193 or l?
-31/193
Let j(m) = -2*m - 27. Let f be ((-35)/20 - -2) + 130/(-8). Let g be j(f). Let u be g/(-75)*3/(-5). Is -1 less than or equal to u?
True
Let h(p) = 18*p + 35. Let d(v) = -7*v - 18. Let g(x) = -7*d(x) - 3*h(x). Let j be g(5). Which is smaller: -29/8 or j?
j
Suppose 120*s + 410 = -290*s. Are -865 and s nonequal?
True
Let w(y) = -5*y + 238. Let x be w(48). Does x = -81/26?
False
Suppose -49*h = -13*h - 792. Let v = 157/8 - h. Which is smaller: -3 or v?
-3
Let v(i) be the first derivative of -i**3/3 - i**2 + 4*i + 1. Let q be (2 + 4)/(5/(20/(-8))). Let w be v(q). Which is smaller: 1/38 or w?
1/38
Let t = 41.553 + -42. Let o = t + -0.153. Does 2/67 = o?
False
Let s be ((-2478)/(-9))/(-7) + 0. Let i = s - -40. Let o(j) = -25*j + 78. Let y be o(3). Which is smaller: y or i?
i
Let p = 18109492/64847 - 5306/19. Is p >= 0?
True
Let v = 11.1874 + -3.1874. Which is smaller: -0.2204 or v?
-0.2204
Let a = 270 - 266. Suppose -18 = -3*i - a*c, 0 = 3*i + i - 4*c - 24. Do 31 and i have the same value?
False
Let d(t) = 6*t**2 + 19*t - 56. Let i be d(4). Suppose i*l = 107*l. Which is smaller: 4/19 or l?
l
Let t = 0.377 - 0.317. Suppose 0 = 4*i - z - 93, 4*z + 33 = 2*i - 31. Is t at least i?
False
Let r(w) = w**2 + 3*w + 3. Suppose 16 = -4*j + 12. Let h be r(j). Let d = -425/13104 + 1/1456. Which is bigger: d or h?
h
Let l(g) = -50*g - 2896. L