41 + -0.1141. Let l = 5 - 5.09. Is h at most l?
False
Let s = -0.4 + 0.18. Let o = s - -0.32. Do 6 and o have different values?
True
Let p be (-1)/4 - (-63)/(-36). Let u be 3*-4*(-1)/(-6) - p. Is u smaller than 2/45?
True
Let g = 1438 + -1437.25. Are g and 3 equal?
False
Let y be (0 - 1)*225/35625. Is 0 at least y?
True
Let k = -179 - -198. Suppose -3*p - 18 = -4*p. Is k > p?
True
Suppose 4*m + 132 = -4*k, -3*k + 8*m - 3*m = 107. Suppose 0 = -3*h + 4*c - 104, -75 = 2*h - 0*c + 3*c. Is k less than or equal to h?
False
Let k = 108 - 108. Which is smaller: k or 53?
k
Let h be (-1521)/(-52) - (-2)/(-8). Are 26 and h unequal?
True
Suppose 26*z = 36*z. Which is smaller: -1/47 or z?
-1/47
Let q be 62 + 5 - 1 - 2. Suppose -14 = 5*z - q. Which is bigger: z or 4?
z
Let n be (96/(-10))/((-8)/(-100)). Let a be 1 + -2 - 153/n. Let o = a - 1/40. Is 0 smaller than o?
True
Let c be 4/18*(1 + -4). Let l(g) = g**3 - 3*g**2 - g + 4. Let r be l(3). Let m be -3*(-6)/9 - r. Which is bigger: c or m?
m
Suppose s + 31 = -2*c, 0*s - 4*s - 59 = 3*c. Let q be (5/(-15))/((-1)/(-37)). Which is bigger: q or c?
q
Let u(l) = -2*l**2 - l**3 + 16*l + 21 - 2*l**2 - 10*l**2. Let h be u(-15). Suppose -h + 3 = 3*s. Which is greater: s or -0.1?
-0.1
Let d = 25.0046 - 0.0046. Let p = -143 + 118.2. Let x = p + d. Is x at most as big as -0.1?
False
Suppose -46*y = -24*y - 22. Which is smaller: 2/233 or y?
2/233
Let s = 0.126 - -3.874. Which is smaller: s or 0.21?
0.21
Let m be (-14)/(-4) - 2 - (3 + 5). Let k be 64/(-12) - 4/6. Which is bigger: m or k?
k
Let l = 103 - 213. Let d = l - -56. Which is bigger: -1 or d?
-1
Suppose 0 = 10*k + 31 - 11. Which is smaller: k or -3?
-3
Suppose 0*n + 3*n + 45 = 0. Let t be (n/(-25))/((-16)/5). Which is smaller: t or 1?
t
Suppose 0 = -5*b - 2 + 7. Suppose -3*u - 637 = 2*q, 5*u - 4*q + 662 + 385 = 0. Let j = -3375/16 - u. Is b >= j?
True
Let h(n) = -n**3 + 11*n**2 - 20*n - 10. Let y be h(2). Is -39 <= y?
True
Let i = -275/246 - 2/41. Suppose -3*t + 1 = -4*t. Is i < t?
True
Suppose -2*a + 32 = -32. Is a equal to 94/3?
False
Let h be ((-5)/(-4) - 0)*-2. Let d(f) = f**3 + 3*f**2 + 2*f - 3. Let j be d(-2). Is j bigger than h?
False
Suppose 3*j = 58 - 52. Which is greater: j or 75/38?
j
Let y(o) = -o**3 + 2*o + 1. Let h be y(-1). Let r be -3 + 1 - (-7)/1. Let l be r + -8 - (-466)/154. Which is smaller: l or h?
h
Let p = 4/23 + 11/69. Is 15 bigger than p?
True
Let w(m) = -m**3 - 3*m**2 + 2*m + 2. Let r be w(-3). Let y(f) = 7*f**3 + 6*f**2 - 5*f - 8. Let d be y(-1). Does r = d?
True
Let z(g) = -3*g**2 - 7*g + 5. Suppose 11 = -4*u - 5. Let o be z(u). Which is bigger: -17 or o?
o
Suppose -5*a = -10, 14*d + 7 = 15*d + 2*a. Let u = 4 - 5. Let r be (-13)/(-3) + u/3. Do r and d have different values?
True
Let s = -32 - 23. Let n be (6 + -1)*(-22)/s. Let o(p) = -2*p**3 + 2*p**2 + 1. Let g be o(n). Which is smaller: 1 or g?
g
Suppose 9 = 2*j - 7. Let u be (-4)/j + (-23)/10. Which is smaller: -4 or u?
-4
Suppose 41*x = 37*x - 1036. Are x and -257 nonequal?
True
Let a = 0.084 + 2.716. Let s = -0.8 + a. Is 0 > s?
False
Let w = -4 - -22. Suppose 0 = w*a - 17*a. Which is bigger: a or 11?
11
Let o = 7 - 25. Let w = o - -12. Let p = 124.5 + -124.5. Is p < w?
False
Let d = 388 + -375. Do 16 and d have the same value?
False
Let q = -3 - -9. Suppose 0*d = -3*d - q. Let s be (36/132)/(d/8). Is s bigger than 0?
False
Let k be ((-25)/(-10))/(1/2). Suppose -4*h - s = -0*h - 6, k*h + 4*s = 13. Let n be (4/(-12))/(h/(-5)). Is n less than 3?
True
Suppose 29 - 9 = 4*p. Let n = 2 - p. Let x be 6*8/(-12) - -1. Is n >= x?
True
Let g be 55/(-45) + 18/81. Is g bigger than 2/111?
False
Suppose -11*l = -7*l - 37*l. Is l <= -3/205?
False
Let v be (26 - 26)*1/4. Which is smaller: 1/885 or v?
v
Let m = -4844 + 4902. Let c = 18 + -37/2. Is m at most c?
False
Let r be 1/(-2) + 2/4. Let v(s) = 6*s**3 - 2*s - 4. Let u be v(2). Let p be (-2)/(-8) + u/96. Which is smaller: p or r?
r
Suppose -4*c = -0*c - 16. Let n(h) = h**3 - 3*h**2 - 6*h + 6. Let f be n(c). Let i = 57/41 + -449/205. Which is smaller: f or i?
f
Suppose -u - 3*o = 1, -2*u + 5*o = -4*u. Let k(j) = -6*j - 12. Let x be k(-3). Are u and x nonequal?
True
Let r = 2.871 + 0.129. Let t = 0 - r. Is 13 at least t?
True
Let p(l) = 19 - l**3 - 46 + 24 - 8*l - 6*l**2. Let q be p(-4). Which is bigger: -4 or q?
q
Let r = -185330/41 + 4520. Let n(b) = b**2 - 28*b + 26. Let k be n(27). Is r at least as big as k?
True
Let k(u) = 6*u**3 + 41*u**2 - 6*u + 6. Let l be k(-7). Is l less than -2/161?
True
Let x = 0.18 - 0.26. Let z = 0.11 + x. Let q = -0.13 + z. Which is smaller: q or -9?
-9
Let w = -125 + 110. Is w at most as big as 0?
True
Let y = -17/3 + 5. Suppose 4*d = 5*h + 25, -4 = 4*h + 4*d + 16. Let l be (1 + h/6)/((-4)/(-12)). Which is greater: y or l?
l
Let l(k) = -k**2 + 4*k + 116. Let o be l(-9). Which is smaller: o or 5/138?
o
Suppose 2 = -k + 3. Let p be k/((-8)/2 + -19). Are p and -1 nonequal?
True
Let u = -12 + 25/2. Let m = -5.9 + 2. Let a = m - -4. Which is smaller: u or a?
a
Let u(f) be the second derivative of 105*f**3/2 + f**2/2 + 5*f. Let l be u(1). Let s = 11375/36 - l. Is s equal to 1?
False
Suppose 4*a - 2*k - 112 = 0, 2*a - 5*k = 3*a - 50. Suppose 0 = 2*t + 40 - a. Is t < 0?
True
Let c = -560.8 + 561. Are c and -157 non-equal?
True
Let h = -2981 + 324927/109. Suppose 4*j - g - 4 = -3, 0 = -4*g + 12. Which is smaller: j or h?
h
Suppose -40*i = -28*i - 12. Let z = -2.7 + -12.3. Which is greater: i or z?
i
Suppose 2*l - 3*h = -9, 7 = -4*l + 5*h - 16. Is l at least 7?
False
Let m(a) = -3*a**3 + 2*a**2 - a - 2. Let r be m(-1). Let s be (r + 292/(-70))/((-1)/5). Is 1 >= s?
True
Let n be (0 - -57)/((-8)/(-8)). Suppose 6*m + 3 = n. Let r be ((-1)/3)/((-6)/m). Which is bigger: r or 0?
r
Let p(w) = -w**2 - 6*w - 6. Let a be p(-5). Let g be (-1 - a) + (-1945)/1320. Let t = 28/33 + g. Which is bigger: t or -1?
t
Suppose -4*m + 23 = 3*w, 5*w - 7*m + 2*m = -20. Let d(z) = 18 + z**2 + 0 - w - 9*z. Let k be d(5). Which is smaller: -5 or k?
-5
Let g be (7/147)/((-772)/12). Is 1 greater than g?
True
Let u be (-6 + 10)*(-17)/10. Let m = -0.1598 - -0.0598. Is m at most as big as u?
False
Let s(o) = -2*o**2 + 24*o + 4. Let q be s(12). Let f be (1 + 0)/(q/12*1). Is f bigger than 3?
False
Let c be 9/54 - 14/12. Is c greater than -17/19?
False
Let o = -503/35 - -102/7. Is 8.5 smaller than o?
False
Let q be (27/(-24))/((-11)/220)*-4. Is -89 at least q?
True
Let j = 360 + -6838/19. Let u(v) be the first derivative of v**4/4 - v**3 + v**2/2 + 2*v + 6. Let z be u(2). Is j < z?
False
Let d(p) = 6*p - 11 - 4 + 2 + 6. Suppose 3 = 2*z - 5. Let g be d(z). Which is smaller: g or 15?
15
Let t be (288/30)/(3/10). Let v = 2241 + -6817/3. Let y = t + v. Which is smaller: 9 or y?
y
Let g = 7 + -14. Suppose 4*l + 0*l = -32. Is g equal to l?
False
Let h = 59.1 - 58.9. Which is smaller: h or -65?
-65
Let n be 324/(-42) - 2/7. Let p be (0 - -1) + -5 - (51 + -49). Which is smaller: n or p?
n
Suppose -z = 2*z - 26*z + 437. Let o = 4 + 14. Is z <= o?
False
Let a(m) = -m**2 + 4*m - 6. Let t be ((-24)/(-18))/(2/(-174)). Let d be t/(-28) + (-2)/14. Let y be a(d). Is -7 at least y?
False
Let a = -0.66 + 0.96. Let i = -238 + 706/3. Is i at least a?
False
Let w(h) = -3 - 12*h**2 - 30*h + 2 + 22*h + 21*h - h**3. Let a be w(-13). Which is smaller: 1/57 or a?
a
Let r = 4.3 - 5. Let o = r + 5.8. Let y = o + -6. Which is greater: y or 2/5?
2/5
Let m = 14.4 - -6.9. Let a = m - 20. Let x = -0.3 + a. Which is smaller: x or 11?
x
Let g = -2208 + 2263. Which is smaller: g or 435/8?
435/8
Let p be (1/(-3))/(177/45 - 4). Let b be (-4 + p)/((-2)/(-74)). Which is smaller: 39 or b?
b
Suppose 4*a = 3*r - r + 24, -4*r - 4*a = 96. Is -20 equal to r?
True
Suppose 2*t - 14 = -o, o + 2*t = -t + 18. Suppose -2*a = -0*a - 8. Suppose 5*u = 4*h + h - 55, h - a*u = 23. Which is smaller: h or o?
o
Let d = 33 - 66. Which is greater: -34 or d?
d
Let u = -38 + -46. Let g be 2980/14*(-2)/(-5). Let b = u + g. Is 1 smaller than b?
True
Let b = 2 + -1. Let i be b/(-1)*8/(-40). Let x be (4 - 99/12) + 4. Which is smaller: i or x?
x
Let g = 2/1859 - 5963/358787. Is 1 bigger than g?
True
Suppose -3*r + 0 - 6 = 0. Let j be r/(-1) + (14 - 14). Let k be -2*1/(-1)*j. Which is greater: -1 or k?
k
Let u = 2.31 - 2.5. A