/t*-1. Is 1/14 < z?
True
Let t = 1735/6 + -25147/87. Let r(w) = -w**3 + 11*w**2 - 17*w - 8. Let g be r(9). Which is bigger: t or g?
g
Let y be (4 + (6 - 4))/((-6)/8). Let n(i) = -2*i**2 - 15*i - 54. Let k be n(y). Is -61 less than k?
False
Let f = 96 - 191/2. Let s = 9 - 6. Let o = 3 + s. Is o at least as big as f?
True
Let z(n) = -n**2 - 2*n - 1. Let m be z(-2). Let p(r) = 42*r**2 + 3*r + 3. Let f be p(m). Let g = f + -44. Which is bigger: -0.2 or g?
-0.2
Let m be 1/(-3)*(-14)/((-2308978)/21). Is m greater than 0.1?
False
Let y = -167 - -168. Let b be (2/(-4))/(y/(-4)). Let h(q) = q - 1. Let v be h(-7). Which is smaller: b or v?
v
Suppose l + 22 = 3*l. Let r(d) = -11*d**2 + 31*d + 4. Let k be r(3). Let q be (k/12*26)/(3/(-9)). Which is smaller: q or l?
l
Let u = 27.29 + -27. Let z = u + -11.29. Let f = 97 + -98. Which is bigger: z or f?
f
Let z(k) = k**3 + 18*k**2 + 11*k - 97. Let b be z(-17). Is b > 1/12?
True
Let b = -8292 - -6926. Is b at most as big as -1366?
True
Let h be 33632/6726 - (18 - 13/1). Is h >= 0?
True
Let p = -63 - -63.98. Let c = p - 11.18. Let q = c - -10. Which is smaller: q or -10/7?
-10/7
Let b be (-2)/4 - 4829/(-22). Let f = b + -240. Is -20 < f?
False
Let p(i) = -11*i + 4. Let f be p(0). Let x(l) = l**3 - 8*l**2 - 5*l + 7. Let c be x(f). Which is greater: c or -78?
c
Suppose 2*c = 6*w - 20, c - 5*w - 30 = -10*w. Let m = 3.5 + -3. Let u = m - 0.5. Are c and u nonequal?
True
Let d = -0.0628 - 89.9372. Is d >= 2?
False
Suppose 4*b - 3244 = 1968. Let j = b + -44299/34. Let f = -369 + 370. Which is smaller: f or j?
j
Suppose 0 = 5*j - 152*j - 15729. Which is greater: 64 or j?
64
Let t = 46.5 - 58. Suppose 2*m - 1255*b + 1258*b - 8 = 0, 0 = -m - 3*b + 10. Is m >= t?
True
Let t = 17847 - 17168. Are 670 and t unequal?
True
Let t be (-12 + 5 - -15) + (-13395)/1668. Which is smaller: -1 or t?
-1
Let b(t) = t - 4. Let u be b(4). Let l = 2 + u. Suppose 4 = -3*g + 4*v, l*g + 0*g + 4*v + 36 = 0. Is -8 less than or equal to g?
True
Let h be (2 - (-16)/(-12))/2*9. Let u be (12/8)/(-3)*2. Let i be -4 - (h + 8/u). Is i > 3?
False
Let m = 66621 - 66650.381. Let u = m - -0.381. Are 0.1 and u equal?
False
Let m = 364 + -6191/17. Let h = 1537/21 + -25828/357. Let u = h + m. Is u greater than 1?
False
Suppose 4572*u = 4604*u + 5024. Which is bigger: 17 or u?
17
Let k(v) = v**3 - 2*v**2 + 11*v - 21. Let f be k(2). Let z be ((-3)/(-8) + -1)/(74/8). Which is bigger: z or f?
f
Suppose 0 = 2*f - 2*j, 0 = 4*f - j - 4*j + 2. Suppose -x = -f*x - s, 2*x + 20 = 3*s. Suppose 62*r - 16 = 61*r - 3*a, 3*a = -2*r + 14. Which is greater: r or x?
r
Suppose -5*d = 5, -5*t = -6*t - d + 1. Suppose 8 - t = 2*v. Let c(f) = -4*f**3 + 3*f**2 + 4*f + 2. Let o be c(-1). Which is smaller: v or o?
v
Let f = -644 - -642. Let y be (8 - 6) + (-1)/(f + 3). Let r = 24/185 - -10/37. Which is smaller: y or r?
r
Let j(r) = 144 + 8*r - 180 + 106. Let v be j(-10). Let z = -21 - -13. Is v at least z?
False
Let f(o) = -6*o - 15. Let t be f(-2). Let h be t/(-5) - (-1 - 24/(-15)). Let r = 3395 - 451537/133. Is h less than r?
False
Let n(s) = -s**2 + 7*s + 3. Let c be n(7). Suppose 4*k - c = 7*k. Let p = -4569 + 4573. Which is greater: k or p?
p
Let u = 39.2 - 31. Let x = u + 21.8. Let w = 31 - x. Is w bigger than 0.5?
True
Let u = -4249742/81 - -52466. Let f(n) = n**3 + n**2 - n. Let w be f(1). Is u at least as big as w?
False
Suppose g - 3*u + 2 + 2 = 0, g - 17 = -4*u. Suppose 5*r - x - 101 = -386, g*r + 300 = 4*x. Let z be 32/r*7/2. Which is greater: z or -18?
z
Let t be 9/4*(-3264)/(-153). Suppose -2*y + 188 = 2*y. Which is smaller: t or y?
y
Let m(t) = -2*t**3 - 2*t**2 - 2*t - 2. Let k = 8 - 10. Let x be m(k). Let a be (-9)/((-45)/x) + 1. Which is smaller: -4 or a?
-4
Let w(s) = s - 40. Let g be w(32). Let n be (g - (-378)/45)/((-1)/(-80)). Is 34 less than or equal to n?
False
Suppose -12*m + 3*n - 842 = -7*m, -2*m - 314 = -5*n. Which is smaller: m or -10?
m
Suppose -10*h - 12 = -14*h. Let a(n) = n**3 - 4*n**2 + 6*n - 7. Let m be a(h). Suppose 0 = 7*x - 12 - m. Which is smaller: -16 or x?
-16
Let y = 1728 + -1726. Do -2/433 and y have different values?
True
Suppose 6*v - 7*v + 5*j = -405, -3*v + 1150 = -2*j. Let k be v/(-21000) - 2/(-28). Is k <= -1?
False
Let v(j) be the third derivative of -j**5/60 + 5*j**4/24 + 4*j**3/3 - 134*j**2. Let z = 2 + -6. Let h be v(z). Which is smaller: -2 or h?
h
Let b = -4 + 4.1. Let p = 0.1 - b. Let l be (1/(-68)*-6)/((-214)/428). Which is smaller: l or p?
l
Let v be ((-15)/6*(-252)/(-2205))/(8/14). Is 16/297 bigger than v?
True
Let d = -0.634 - 305.366. Let x = 306.03 + d. Are 0.22 and x equal?
False
Let i = 58835 - 21886655/372. Which is greater: -1 or i?
i
Let f be (-159)/156 - (-1)/(-8)*6. Let l = f - -263/156. Is l at most -1?
False
Let y be 3 - -2 - (-6 + (-453)/(-51) + 1). Which is smaller: -1/3 or y?
-1/3
Let r = -135 - -139. Suppose -r*j - 412 - 88 = 4*h, -2*j - 249 = 3*h. Which is smaller: j or 0?
j
Let h = -57/1580 - -60587/1668480. Which is greater: -1 or h?
h
Suppose x = -4*g - 2094, 0 = -3*g - 3*x - 1276 - 308. Is g > -522?
False
Let m(a) = -a + 1. Let v(o) = o**3 + 6*o**2 - 7*o - 3. Let u be v(-7). Let g be m(u). Suppose -4*p + g = -0. Which is smaller: p or 3?
p
Let r = -24002 + 24006. Which is bigger: 613 or r?
613
Let t = 19948 - 20654. Is -18 > t?
True
Let m be ((-50)/1 - 1)/1. Suppose 72*d - 68*d = -196. Is d >= m?
True
Let y = 12093 - 12421. Which is smaller: y or -322?
y
Let z be ((-1701)/18)/(-27)*68/(-7). Is z != 0?
True
Let w = 186.6 + -430.6. Which is bigger: 2/5 or w?
2/5
Let q(z) = z - 19. Let n be q(-5). Let o be (-2 - 1180/n) + 4/(-24). Which is bigger: o or 46?
o
Let w = -8 - -11. Suppose -4*v = -5*z - 8, 3*v + 4*z + 8 = 7*v. Let y be (-10)/v - w*5/(-5). Which is smaller: -9/10 or y?
y
Suppose 2*c - 5*w + 4 = -17, -2*w = 2*c - 14. Suppose -c*d + 332 = 258. Is d <= 34?
False
Let r(g) = g**3 - 13*g**2 - 3*g - 77. Let u be r(-10). Which is smaller: -2348 or u?
-2348
Suppose -3*c - w = -295, -3*w = 5*c - 5*w - 477. Suppose 0 = 3*o + 5*d - 0*d + 208, -2*o + 5*d = c. Does -0.3 = o?
False
Let l = 2033287/22726450 + -3/53474. Are -1 and l non-equal?
True
Let q be ((-220)/792)/(8/660). Is q smaller than -22?
True
Let i(y) = -2*y**2 + 13*y - 8. Let s be i(6). Let a = 10 + s. Which is smaller: a or -6/5?
-6/5
Let x be (-10)/6 + 1910/(-42). Let c = x - -41931/889. Which is bigger: 1 or c?
1
Let i(p) = 16*p**3 - p**2 - 5*p - 5. Let z be i(-1). Let j = z + 67/4. Let w be (-3)/4 - 5/20. Which is smaller: j or w?
w
Let w = -1044 + 1029. Which is greater: w or 3.6?
3.6
Suppose 4*j = 34*h - 39*h + 193, 2*j + 129 = 3*h. Is h greater than or equal to -3?
True
Let u = 35780 + -22372. Is u at least as big as 13408?
True
Let h(y) = 29*y + 12. Let b be h(2). Suppose -4*o = 326 - b. Which is greater: 0 or o?
0
Suppose -5*u + 0*u - 60 = 0. Let r = u + 25. Let g be 46/(-6)*(-12)/8. Is g <= r?
True
Let h = -1369 + 5889. Let r = h + -36081/8. Which is smaller: r or 9?
9
Let u = 5887 + -5889.42. Suppose -5*k + 20 = -2*h, 4*k = -2*h - 0*k + 16. Which is bigger: h or u?
h
Let h = -4824 + 4707. Is h smaller than -8?
True
Let o(w) = 5 + 5 + 6 - 7 + w. Let x be o(-7). Let l be (9/(-12) - 0) + 315/228. Which is smaller: l or x?
l
Let s be 170/(-1785) - (5443/(-42) - 2/1). Which is greater: 133 or s?
133
Let w = -0.435 + 0.215. Is -0.06 bigger than w?
True
Let n(f) = f**3 + f + 14. Let c be n(0). Let l be 6*2/4 - 45440/(-4480). Which is bigger: c or l?
c
Let s = 13 + -43. Let g = -18 - s. Let i = 19 - g. Is 0.1 < i?
True
Let l be -1*(-4 + 1 - (-2 + (4 - 5))). Is 20/227 at most l?
False
Let b be (1728/(-135))/(4*(-3)/30). Let n(c) = -c + 6. Let x be n(8). Let l be 2 - (6 - 3) - (b + x). Which is smaller: -30 or l?
l
Let k = 0.7 + -32.7. Which is greater: -0.27 or k?
-0.27
Let y be 5*(-2 + (-24)/(-5)). Let l = -237 - -254. Suppose 6*f = -29 + l. Which is greater: f or y?
y
Let l be (-2)/(2/(8/(-2))). Let r be (-11)/22*10/1*-5. Let b be (-20)/8*1/r. Is b not equal to l?
True
Let k be (10*1/(-8))/(2/(-8)). Let i be -7*k/((-15)/9). Let h = i + -19. Which is bigger: h or 11/5?
11/5
Let p be ((-15)/28)/(0 + 4/(-4400)). Let j = p - 589. Which is smaller: j or -3/38?
-3/38
Let d = -25 - 23. Let y = d + 47.966. Let b = y + -14.966. Which is bigger: b or -1?